About the Execution of LoLA for ClientsAndServers-PT-N5000P0
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.210 | 3570722.00 | 3533180.00 | 20121.70 | ?T??TT?TF?F????T | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 172K
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K 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.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K 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.1K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K 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.2K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ClientsAndServers-PT-N5000P0, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357300186
=====================================================================
--------------------
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-N5000P0-CTLFireability-00
FORMULA_NAME ClientsAndServers-PT-N5000P0-CTLFireability-01
FORMULA_NAME ClientsAndServers-PT-N5000P0-CTLFireability-02
FORMULA_NAME ClientsAndServers-PT-N5000P0-CTLFireability-03
FORMULA_NAME ClientsAndServers-PT-N5000P0-CTLFireability-04
FORMULA_NAME ClientsAndServers-PT-N5000P0-CTLFireability-05
FORMULA_NAME ClientsAndServers-PT-N5000P0-CTLFireability-06
FORMULA_NAME ClientsAndServers-PT-N5000P0-CTLFireability-07
FORMULA_NAME ClientsAndServers-PT-N5000P0-CTLFireability-08
FORMULA_NAME ClientsAndServers-PT-N5000P0-CTLFireability-09
FORMULA_NAME ClientsAndServers-PT-N5000P0-CTLFireability-10
FORMULA_NAME ClientsAndServers-PT-N5000P0-CTLFireability-11
FORMULA_NAME ClientsAndServers-PT-N5000P0-CTLFireability-12
FORMULA_NAME ClientsAndServers-PT-N5000P0-CTLFireability-13
FORMULA_NAME ClientsAndServers-PT-N5000P0-CTLFireability-14
FORMULA_NAME ClientsAndServers-PT-N5000P0-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526575464754
info: Time: 3600 - MCC
===========================================================================================
prep: translating ClientsAndServers-PT-N5000P0 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating ClientsAndServers-PT-N5000P0 formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ ClientsAndServers-PT-N5000P0 @ 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-N5000P0-CTLFireability.task
lola: NOT(E (X (E (G (NOT FIREABLE(msA)))))) : A (F (E (G ((NOT FIREABLE(msA) AND NOT FIREABLE(mrF)))))) : E (G (E (G (NOT FIREABLE(msA))))) : A (F (FIREABLE(mfU))) : (E (F (E (G ((FIREABLE(ssG) AND FIREABLE(srR)))))) OR NOT(NOT(A ((FIREABLE(ssF) U FIREABLE(ssR)))))) : A (F (FIREABLE(msG))) : NOT(NOT(E (F (A (G (FIREABLE(mrR))))))) : E ((NOT FIREABLE(csR) U NOT(A (F (FIREABLE(srA)))))) : A (F (A (F ((FIREABLE(crA) AND NOT FIREABLE(ssR)))))) : E ((NOT FIREABLE(ssG) U E (X (FIREABLE(csF))))) : (E (G (NOT(E (X (FIREABLE(srA)))))) AND A (G ((E (F (FIREABLE(crA))) OR A (X (FIREABLE(mrR))))))) : E (G (A (F ((NOT FIREABLE(maU) AND NOT FIREABLE(srF)))))) : E (X (A (F (A (F (FIREABLE(maU))))))) : NOT(E (F ((A (G (FIREABLE(srG))) AND (FIREABLE(ssR) OR FIREABLE(mfU) OR FIREABLE(mrR)))))) : ((A (G (A (F (FIREABLE(csR))))) AND E ((NOT FIREABLE(csF) U FIREABLE(maU)))) AND E (F ((FIREABLE(mrR) OR FIREABLE(srF))))) : E (F (NOT(NOT(E (G (FIREABLE(srA)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:461
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:392
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:392
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (F (FIREABLE(msA)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:664
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: NOT FIREABLE(msA)
lola: processed formula length: 17
lola: 48 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 3797946 markings, 4429124 edges, 759589 markings/sec, 0 secs
lola: 7411234 markings, 8712539 edges, 722658 markings/sec, 5 secs
lola: 10886934 markings, 12862667 edges, 695140 markings/sec, 10 secs
lola: 14310902 markings, 16943478 edges, 684794 markings/sec, 15 secs
lola: 17703511 markings, 21011315 edges, 678522 markings/sec, 20 secs
lola: 21204734 markings, 25168454 edges, 700245 markings/sec, 25 secs
lola: 24556843 markings, 29175207 edges, 670422 markings/sec, 30 secs
lola: 27893360 markings, 33163273 edges, 667303 markings/sec, 35 secs
lola: 31209027 markings, 37126339 edges, 663133 markings/sec, 40 secs
lola: 34558035 markings, 41129449 edges, 669802 markings/sec, 45 secs
lola: 37812279 markings, 45029286 edges, 650849 markings/sec, 50 secs
lola: 41017502 markings, 48899718 edges, 641045 markings/sec, 55 secs
lola: 44303668 markings, 52830016 edges, 657233 markings/sec, 60 secs
lola: 47666347 markings, 56812743 edges, 672536 markings/sec, 65 secs
lola: 51124028 markings, 60946318 edges, 691536 markings/sec, 70 secs
lola: 54361723 markings, 64857978 edges, 647539 markings/sec, 75 secs
lola: 57634522 markings, 68765345 edges, 654560 markings/sec, 80 secs
lola: 60960116 markings, 72718794 edges, 665119 markings/sec, 85 secs
lola: 64114261 markings, 76532203 edges, 630829 markings/sec, 90 secs
lola: 67337168 markings, 80356194 edges, 644581 markings/sec, 95 secs
lola: 70687143 markings, 84360517 edges, 669995 markings/sec, 100 secs
lola: 73729783 markings, 88091567 edges, 608528 markings/sec, 105 secs
lola: 76990524 markings, 91909441 edges, 652148 markings/sec, 110 secs
lola: 80122806 markings, 95706325 edges, 626456 markings/sec, 115 secs
lola: 83284383 markings, 99447043 edges, 632315 markings/sec, 120 secs
lola: 86458713 markings, 103265961 edges, 634866 markings/sec, 125 secs
lola: 89904123 markings, 107386854 edges, 689082 markings/sec, 130 secs
lola: 93480412 markings, 111651848 edges, 715258 markings/sec, 135 secs
lola: 96751935 markings, 115678948 edges, 654305 markings/sec, 140 secs
lola: 100266053 markings, 119779697 edges, 702824 markings/sec, 145 secs
lola: 103537109 markings, 123796006 edges, 654211 markings/sec, 150 secs
lola: 107003031 markings, 127849225 edges, 693184 markings/sec, 155 secs
lola: 110266762 markings, 131850129 edges, 652746 markings/sec, 160 secs
lola: 113706922 markings, 135879078 edges, 688032 markings/sec, 165 secs
lola: 117023068 markings, 139945599 edges, 663229 markings/sec, 170 secs
lola: 120457330 markings, 143964786 edges, 686852 markings/sec, 175 secs
lola: 123675093 markings, 147932376 edges, 643553 markings/sec, 180 secs
lola: 127115068 markings, 151939338 edges, 687995 markings/sec, 185 secs
lola: 130314972 markings, 155888961 edges, 639981 markings/sec, 190 secs
lola: 133828274 markings, 159980522 edges, 702660 markings/sec, 195 secs
lola: 137132986 markings, 163996958 edges, 660942 markings/sec, 200 secs
lola: 140598075 markings, 168090117 edges, 693018 markings/sec, 205 secs
lola: 143957672 markings, 172121966 edges, 671919 markings/sec, 210 secs
lola: 147516867 markings, 176412212 edges, 711839 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6025080 KB
lola: time consumption: 224 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((NOT FIREABLE(ssG) U E (X (FIREABLE(csF)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(NOT FIREABLE(ssG) U EX(FIREABLE(csF)))
lola: processed formula length: 40
lola: 48 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1305820 markings, 3352082 edges, 261164 markings/sec, 0 secs
lola: 2468134 markings, 6567504 edges, 232463 markings/sec, 5 secs
lola: 3628235 markings, 9788061 edges, 232020 markings/sec, 10 secs
lola: 4855412 markings, 13218102 edges, 245435 markings/sec, 15 secs
lola: 6059350 markings, 16601210 edges, 240788 markings/sec, 20 secs
lola: 7256047 markings, 19966829 edges, 239339 markings/sec, 25 secs
lola: 8467427 markings, 23384543 edges, 242276 markings/sec, 30 secs
lola: 9663130 markings, 26767783 edges, 239141 markings/sec, 35 secs
lola: 10707303 markings, 29730549 edges, 208835 markings/sec, 40 secs
lola: 11814967 markings, 32877364 edges, 221533 markings/sec, 45 secs
lola: 12923118 markings, 36025772 edges, 221630 markings/sec, 50 secs
lola: 14020964 markings, 39142418 edges, 219569 markings/sec, 55 secs
lola: 15106595 markings, 42223685 edges, 217126 markings/sec, 60 secs
lola: 16149613 markings, 45177974 edges, 208604 markings/sec, 65 secs
lola: 17235824 markings, 48259215 edges, 217242 markings/sec, 70 secs
lola: 18394555 markings, 51548760 edges, 231746 markings/sec, 75 secs
lola: 19385505 markings, 54386303 edges, 198190 markings/sec, 80 secs
lola: 20391012 markings, 57258579 edges, 201101 markings/sec, 85 secs
lola: 21490510 markings, 60374943 edges, 219900 markings/sec, 90 secs
lola: 22528422 markings, 63357191 edges, 207582 markings/sec, 95 secs
lola: 23524845 markings, 66195824 edges, 199285 markings/sec, 100 secs
lola: 24616402 markings, 69291916 edges, 218311 markings/sec, 105 secs
lola: 25628340 markings, 72219603 edges, 202388 markings/sec, 110 secs
lola: 26635160 markings, 75062260 edges, 201364 markings/sec, 115 secs
lola: 27716778 markings, 78199125 edges, 216324 markings/sec, 120 secs
lola: 28890573 markings, 81520541 edges, 234759 markings/sec, 125 secs
lola: 30009237 markings, 84773984 edges, 223733 markings/sec, 130 secs
lola: 31168033 markings, 88045995 edges, 231759 markings/sec, 135 secs
lola: 32298393 markings, 91280990 edges, 226072 markings/sec, 140 secs
lola: 33429227 markings, 94521199 edges, 226167 markings/sec, 145 secs
lola: 34539066 markings, 97725311 edges, 221968 markings/sec, 150 secs
lola: 35688646 markings, 100993277 edges, 229916 markings/sec, 155 secs
lola: 36779584 markings, 104170629 edges, 218188 markings/sec, 160 secs
lola: 37938214 markings, 107436889 edges, 231726 markings/sec, 165 secs
lola: 39020089 markings, 110581383 edges, 216375 markings/sec, 170 secs
lola: 40171073 markings, 113833146 edges, 230197 markings/sec, 175 secs
lola: 41256521 markings, 116981377 edges, 217090 markings/sec, 180 secs
lola: 42378714 markings, 120173363 edges, 224439 markings/sec, 185 secs
lola: 43480452 markings, 123347451 edges, 220348 markings/sec, 190 secs
lola: 44548371 markings, 126456274 edges, 213584 markings/sec, 195 secs
lola: 45698169 markings, 129701502 edges, 229960 markings/sec, 200 secs
lola: 46797171 markings, 132887763 edges, 219800 markings/sec, 205 secs
lola: 47880904 markings, 136048749 edges, 216747 markings/sec, 210 secs
lola: 49042991 markings, 139317525 edges, 232417 markings/sec, 215 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 5548372 KB
lola: time consumption: 447 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (A (X (NOT FIREABLE(srA))))) AND A (G ((E (F (FIREABLE(crA))) OR A (X (FIREABLE(mrR)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (X (NOT FIREABLE(srA)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(AX(NOT FIREABLE(srA)))))
lola: processed formula length: 41
lola: 48 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 250001 markings, 250000 edges
lola: ========================================
lola: subprocess 3 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (F (FIREABLE(crA))) OR A (X (FIREABLE(mrR))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: processed formula: NOT(E(TRUE U (NOT(E(TRUE U FIREABLE(crA))) AND NOT(AX(FIREABLE(mrR))))))
lola: processed formula length: 72
lola: 50 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 250017 markings, 750015 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA ClientsAndServers-PT-N5000P0-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (F (FIREABLE(maU)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: processed formula: EX(A(TRUE U FIREABLE(maU)))
lola: processed formula length: 27
lola: 48 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 3224962 markings, 4276618 edges, 644992 markings/sec, 0 secs
lola: 6133045 markings, 8154060 edges, 581617 markings/sec, 5 secs
lola: 8934629 markings, 11889505 edges, 560317 markings/sec, 10 secs
lola: 11347792 markings, 15107055 edges, 482633 markings/sec, 15 secs
lola: 13991305 markings, 18631739 edges, 528703 markings/sec, 20 secs
lola: 16800604 markings, 22377472 edges, 561860 markings/sec, 25 secs
lola: 19005379 markings, 25317172 edges, 440955 markings/sec, 30 secs
lola: 21548652 markings, 28708202 edges, 508655 markings/sec, 35 secs
lola: 23914873 markings, 31863164 edges, 473244 markings/sec, 40 secs
lola: 26278786 markings, 35015048 edges, 472783 markings/sec, 45 secs
lola: 28728403 markings, 38281204 edges, 489923 markings/sec, 50 secs
lola: 30857803 markings, 41120404 edges, 425880 markings/sec, 55 secs
lola: 33305851 markings, 44384468 edges, 489610 markings/sec, 60 secs
lola: 35654227 markings, 47515636 edges, 469675 markings/sec, 65 secs
lola: 37750000 markings, 50309999 edges, 419155 markings/sec, 70 secs
lola: 40220891 markings, 53604521 edges, 494178 markings/sec, 75 secs
lola: 42827779 markings, 57080372 edges, 521378 markings/sec, 80 secs
lola: 45387935 markings, 60493913 edges, 512031 markings/sec, 85 secs
lola: 47576168 markings, 63411557 edges, 437647 markings/sec, 90 secs
lola: 49732609 markings, 66286812 edges, 431288 markings/sec, 95 secs
lola: 52174384 markings, 69542512 edges, 488355 markings/sec, 100 secs
lola: 54284268 markings, 72355690 edges, 421977 markings/sec, 105 secs
lola: 56705405 markings, 75583873 edges, 484227 markings/sec, 110 secs
lola: 59267355 markings, 78999806 edges, 512390 markings/sec, 115 secs
lola: 61828997 markings, 82415329 edges, 512328 markings/sec, 120 secs
lola: 64078612 markings, 85414816 edges, 449923 markings/sec, 125 secs
lola: 66412098 markings, 88526130 edges, 466697 markings/sec, 130 secs
lola: 68848222 markings, 91774296 edges, 487225 markings/sec, 135 secs
lola: 71024593 markings, 94676124 edges, 435274 markings/sec, 140 secs
lola: 73303299 markings, 97714398 edges, 455741 markings/sec, 145 secs
lola: 75598555 markings, 100774739 edges, 459051 markings/sec, 150 secs
lola: 77860000 markings, 103789999 edges, 452289 markings/sec, 155 secs
lola: 80448460 markings, 107241279 edges, 517692 markings/sec, 160 secs
lola: 82559785 markings, 110056380 edges, 422265 markings/sec, 165 secs
lola: 84942948 markings, 113233930 edges, 476633 markings/sec, 170 secs
lola: 87046290 markings, 116038386 edges, 420668 markings/sec, 175 secs
lola: 89413674 markings, 119194898 edges, 473477 markings/sec, 180 secs
lola: 91914982 markings, 122529976 edges, 500262 markings/sec, 185 secs
lola: 94115613 markings, 125464150 edges, 440126 markings/sec, 190 secs
lola: 96561064 markings, 128724752 edges, 489090 markings/sec, 195 secs
lola: 98679770 markings, 131549693 edges, 423741 markings/sec, 200 secs
lola: 100755128 markings, 134316837 edges, 415072 markings/sec, 205 secs
lola: 103158371 markings, 137521161 edges, 480649 markings/sec, 210 secs
lola: 105245089 markings, 140303452 edges, 417344 markings/sec, 215 secs
lola: 107584329 markings, 143422438 edges, 467848 markings/sec, 220 secs
lola: 110215554 markings, 146930738 edges, 526245 markings/sec, 225 secs
lola: 112329551 markings, 149749401 edges, 422799 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 9282136 KB
lola: time consumption: 690 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 4 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (FIREABLE(mrR)))))
lola: ========================================
lola: SUBTASK
lola: checking possible invariance
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:636
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(mrR)
lola: processed formula length: 17
lola: 48 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 2708474 markings, 5286815 edges, 541695 markings/sec, 0 secs
lola: 5175341 markings, 10854639 edges, 493373 markings/sec, 5 secs
lola: 7674704 markings, 16721804 edges, 499873 markings/sec, 10 secs
lola: 10246012 markings, 22269995 edges, 514262 markings/sec, 15 secs
lola: 12469505 markings, 27769036 edges, 444699 markings/sec, 20 secs
lola: 14915622 markings, 33474658 edges, 489223 markings/sec, 25 secs
lola: 17185551 markings, 38906833 edges, 453986 markings/sec, 30 secs
lola: 19454427 markings, 43908772 edges, 453775 markings/sec, 35 secs
lola: 21647797 markings, 49193313 edges, 438674 markings/sec, 40 secs
lola: 23786214 markings, 54407792 edges, 427683 markings/sec, 45 secs
lola: 25878316 markings, 59643475 edges, 418420 markings/sec, 50 secs
lola: 27981983 markings, 64882638 edges, 420733 markings/sec, 55 secs
lola: 29880338 markings, 70149813 edges, 379671 markings/sec, 60 secs
lola: 31871609 markings, 75273649 edges, 398254 markings/sec, 65 secs
lola: 34015427 markings, 80546918 edges, 428764 markings/sec, 70 secs
lola: 35982080 markings, 85585179 edges, 393331 markings/sec, 75 secs
lola: 37966947 markings, 90934206 edges, 396973 markings/sec, 80 secs
lola: 39966578 markings, 96156578 edges, 399926 markings/sec, 85 secs
lola: 42323342 markings, 101517709 edges, 471353 markings/sec, 90 secs
lola: 44556944 markings, 106908309 edges, 446720 markings/sec, 95 secs
lola: 46591024 markings, 112354085 edges, 406816 markings/sec, 100 secs
lola: 48762793 markings, 117539784 edges, 434354 markings/sec, 105 secs
lola: 50730051 markings, 122723047 edges, 393452 markings/sec, 110 secs
lola: 52584140 markings, 128091805 edges, 370818 markings/sec, 115 secs
lola: 54813772 markings, 133492229 edges, 445926 markings/sec, 120 secs
lola: 56879142 markings, 138985945 edges, 413074 markings/sec, 125 secs
lola: 58943175 markings, 144063454 edges, 412807 markings/sec, 130 secs
lola: 60839976 markings, 149344548 edges, 379360 markings/sec, 135 secs
lola: 62585499 markings, 154627285 edges, 349105 markings/sec, 140 secs
lola: 64558819 markings, 159707804 edges, 394664 markings/sec, 145 secs
lola: 66757943 markings, 165031684 edges, 439825 markings/sec, 150 secs
lola: 68926927 markings, 170069645 edges, 433797 markings/sec, 155 secs
lola: 71040129 markings, 175246506 edges, 422640 markings/sec, 160 secs
lola: 73081792 markings, 180856545 edges, 408333 markings/sec, 165 secs
lola: 74967572 markings, 185790644 edges, 377156 markings/sec, 170 secs
lola: 76959756 markings, 190955964 edges, 398437 markings/sec, 175 secs
lola: 78848519 markings, 196138662 edges, 377753 markings/sec, 180 secs
lola: 80946052 markings, 201618318 edges, 419507 markings/sec, 185 secs
lola: 82958108 markings, 206862120 edges, 402411 markings/sec, 190 secs
lola: 84834552 markings, 212021938 edges, 375289 markings/sec, 195 secs
lola: 87028410 markings, 217467055 edges, 438772 markings/sec, 200 secs
lola: 88941980 markings, 222717680 edges, 382714 markings/sec, 205 secs
lola: 91102489 markings, 228191282 edges, 432102 markings/sec, 210 secs
lola: 92923048 markings, 233224599 edges, 364112 markings/sec, 215 secs
lola: 95083742 markings, 238682689 edges, 432139 markings/sec, 220 secs
lola: 96811515 markings, 243807980 edges, 345555 markings/sec, 225 secs
lola: 98833675 markings, 249187684 edges, 404432 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 9272632 KB
lola: time consumption: 931 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(msA)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(msA)))
lola: processed formula length: 25
lola: 46 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 3794296 markings, 4424479 edges, 758859 markings/sec, 0 secs
lola: 7312777 markings, 8597097 edges, 703696 markings/sec, 5 secs
lola: 11063784 markings, 13067150 edges, 750201 markings/sec, 10 secs
lola: 14259212 markings, 16881438 edges, 639086 markings/sec, 15 secs
lola: 17663397 markings, 20965066 edges, 680837 markings/sec, 20 secs
lola: 21159452 markings, 25114128 edges, 699211 markings/sec, 25 secs
lola: 24562990 markings, 29182583 edges, 680708 markings/sec, 30 secs
lola: 27905618 markings, 33177982 edges, 668526 markings/sec, 35 secs
lola: 30848448 markings, 36693629 edges, 588566 markings/sec, 40 secs
lola: 34188860 markings, 40688587 edges, 668082 markings/sec, 45 secs
lola: 37415866 markings, 44573566 edges, 645401 markings/sec, 50 secs
lola: 40635703 markings, 48460932 edges, 643967 markings/sec, 55 secs
lola: 43776509 markings, 52160540 edges, 628161 markings/sec, 60 secs
lola: 47134864 markings, 56174873 edges, 671671 markings/sec, 65 secs
lola: 50590937 markings, 60307740 edges, 691215 markings/sec, 70 secs
lola: 53597821 markings, 63980722 edges, 601377 markings/sec, 75 secs
lola: 56969978 markings, 67946182 edges, 674431 markings/sec, 80 secs
lola: 60160308 markings, 71758960 edges, 638066 markings/sec, 85 secs
lola: 63255101 markings, 75545948 edges, 618959 markings/sec, 90 secs
lola: 66601477 markings, 79473167 edges, 669275 markings/sec, 95 secs
lola: 69881921 markings, 83408220 edges, 656089 markings/sec, 100 secs
lola: 73081403 markings, 87275918 edges, 639896 markings/sec, 105 secs
lola: 76191457 markings, 90950458 edges, 622011 markings/sec, 110 secs
lola: 79311754 markings, 94775749 edges, 624059 markings/sec, 115 secs
lola: 82856540 markings, 98933537 edges, 708957 markings/sec, 120 secs
lola: 86300764 markings, 103084760 edges, 688845 markings/sec, 125 secs
lola: 89280268 markings, 106627042 edges, 595901 markings/sec, 130 secs
lola: 92621578 markings, 110637651 edges, 668262 markings/sec, 135 secs
lola: 96038861 markings, 114737987 edges, 683457 markings/sec, 140 secs
lola: 99141362 markings, 118431086 edges, 620500 markings/sec, 145 secs
lola: 102208426 markings, 122111064 edges, 613413 markings/sec, 150 secs
lola: 105247460 markings, 125757418 edges, 607807 markings/sec, 155 secs
lola: 108269572 markings, 129369387 edges, 604422 markings/sec, 160 secs
lola: 111440128 markings, 133195587 edges, 634111 markings/sec, 165 secs
lola: 114318656 markings, 136613300 edges, 575706 markings/sec, 170 secs
lola: 117492878 markings, 140484260 edges, 634844 markings/sec, 175 secs
lola: 120907918 markings, 144505600 edges, 683008 markings/sec, 180 secs
lola: 123714795 markings, 147977891 edges, 561375 markings/sec, 185 secs
lola: 126773901 markings, 151529886 edges, 611821 markings/sec, 190 secs
lola: 129999122 markings, 155471580 edges, 645044 markings/sec, 195 secs
lola: 133015861 markings, 159012315 edges, 603348 markings/sec, 200 secs
lola: 136137295 markings, 162751876 edges, 624287 markings/sec, 205 secs
lola: 139001517 markings, 166256959 edges, 572844 markings/sec, 210 secs
lola: 142405191 markings, 170258477 edges, 680735 markings/sec, 215 secs
lola: 145825332 markings, 174473452 edges, 684028 markings/sec, 220 secs
lola: 149424117 markings, 178666643 edges, 719757 markings/sec, 225 secs
lola: 152254088 markings, 182102183 edges, 565994 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 6231628 KB
lola: time consumption: 1170 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(mfU)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(mfU)
lola: processed formula length: 17
lola: 48 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 4061614 markings, 4442353 edges, 812323 markings/sec, 0 secs
lola: 8025685 markings, 8804616 edges, 792814 markings/sec, 5 secs
lola: 12279016 markings, 13486581 edges, 850666 markings/sec, 10 secs
lola: 16471333 markings, 18102706 edges, 838463 markings/sec, 15 secs
lola: 20631450 markings, 22684594 edges, 832023 markings/sec, 20 secs
lola: 24779559 markings, 27254363 edges, 829622 markings/sec, 25 secs
lola: 28919507 markings, 31816594 edges, 827990 markings/sec, 30 secs
lola: 33215830 markings, 36552117 edges, 859265 markings/sec, 35 secs
lola: 37012882 markings, 40738296 edges, 759410 markings/sec, 40 secs
lola: 41064315 markings, 45206212 edges, 810287 markings/sec, 45 secs
lola: 45127548 markings, 49687919 edges, 812647 markings/sec, 50 secs
lola: 49135635 markings, 54109688 edges, 801617 markings/sec, 55 secs
lola: 53124021 markings, 58510772 edges, 797677 markings/sec, 60 secs
lola: 56938849 markings, 62721652 edges, 762966 markings/sec, 65 secs
lola: 61091979 markings, 67306508 edges, 830626 markings/sec, 70 secs
lola: 65187122 markings, 71828186 edges, 819029 markings/sec, 75 secs
lola: 69231253 markings, 76294368 edges, 808826 markings/sec, 80 secs
lola: 73324516 markings, 80815927 edges, 818653 markings/sec, 85 secs
lola: 77354389 markings, 85268317 edges, 805975 markings/sec, 90 secs
lola: 81384487 markings, 89721935 edges, 806020 markings/sec, 95 secs
lola: 85373557 markings, 94130775 edges, 797814 markings/sec, 100 secs
lola: 89643772 markings, 98851109 edges, 854043 markings/sec, 105 secs
lola: 93811805 markings, 103459444 edges, 833607 markings/sec, 110 secs
lola: 97953057 markings, 108039202 edges, 828250 markings/sec, 115 secs
lola: 102064439 markings, 112586484 edges, 822276 markings/sec, 120 secs
lola: 106168621 markings, 117126679 edges, 820836 markings/sec, 125 secs
lola: 110225456 markings, 121615627 edges, 811367 markings/sec, 130 secs
lola: 114235531 markings, 126053333 edges, 802015 markings/sec, 135 secs
lola: 118302506 markings, 130554502 edges, 813395 markings/sec, 140 secs
lola: 122356534 markings, 135042299 edges, 810806 markings/sec, 145 secs
lola: 126385540 markings, 139502545 edges, 805801 markings/sec, 150 secs
lola: 130363882 markings, 143907880 edges, 795668 markings/sec, 155 secs
lola: 134362145 markings, 148335947 edges, 799653 markings/sec, 160 secs
lola: 138317895 markings, 152717093 edges, 791150 markings/sec, 165 secs
lola: 142264447 markings, 157088892 edges, 789310 markings/sec, 170 secs
lola: 146180521 markings, 161427933 edges, 783215 markings/sec, 175 secs
lola: 150188610 markings, 165868959 edges, 801618 markings/sec, 180 secs
lola: 154256406 markings, 170376432 edges, 813559 markings/sec, 185 secs
lola: 158254144 markings, 174807609 edges, 799548 markings/sec, 190 secs
lola: 162218331 markings, 179201527 edges, 792837 markings/sec, 195 secs
lola: 166160471 markings, 183571857 edges, 788428 markings/sec, 200 secs
lola: 170138126 markings, 187983256 edges, 795531 markings/sec, 205 secs
lola: 174053612 markings, 192324592 edges, 783097 markings/sec, 210 secs
lola: 177944938 markings, 196640025 edges, 778265 markings/sec, 215 secs
lola: 181817932 markings, 200935965 edges, 774599 markings/sec, 220 secs
lola: 185836770 markings, 205394271 edges, 803768 markings/sec, 225 secs
lola: 189772021 markings, 209760063 edges, 787050 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown no unknown unknown unknown unknown unknown
lola: memory consumption: 8082192 KB
lola: time consumption: 1411 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 239 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(msG)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(msG)
lola: processed formula length: 17
lola: 48 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 2932335 markings, 4363502 edges, 586467 markings/sec, 0 secs
lola: 5768829 markings, 8618241 edges, 567299 markings/sec, 5 secs
lola: 8586681 markings, 12845020 edges, 563570 markings/sec, 10 secs
lola: 11440031 markings, 17125046 edges, 570670 markings/sec, 15 secs
lola: 14301616 markings, 21417423 edges, 572317 markings/sec, 20 secs
lola: 17144665 markings, 25681995 edges, 568610 markings/sec, 25 secs
lola: 20002809 markings, 29969212 edges, 571629 markings/sec, 30 secs
lola: 22853269 markings, 34244901 edges, 570092 markings/sec, 35 secs
lola: 25467305 markings, 38165957 edges, 522807 markings/sec, 40 secs
lola: 28338061 markings, 42472089 edges, 574151 markings/sec, 45 secs
lola: 31221569 markings, 46797352 edges, 576702 markings/sec, 50 secs
lola: 33626777 markings, 50405163 edges, 481042 markings/sec, 55 secs
lola: 36367777 markings, 54516665 edges, 548200 markings/sec, 60 secs
lola: 38949879 markings, 58389817 edges, 516420 markings/sec, 65 secs
lola: 41802023 markings, 62668034 edges, 570429 markings/sec, 70 secs
lola: 44205110 markings, 66272664 edges, 480617 markings/sec, 75 secs
lola: 46722725 markings, 70049085 edges, 503523 markings/sec, 80 secs
lola: 49233083 markings, 73814623 edges, 502072 markings/sec, 85 secs
lola: 51762089 markings, 77608133 edges, 505801 markings/sec, 90 secs
lola: 54246371 markings, 81334556 edges, 496856 markings/sec, 95 secs
lola: 57051570 markings, 85542354 edges, 561040 markings/sec, 100 secs
lola: 59596154 markings, 89359230 edges, 508917 markings/sec, 105 secs
lola: 62400885 markings, 93566326 edges, 560946 markings/sec, 110 secs
lola: 64885763 markings, 97293645 edges, 496976 markings/sec, 115 secs
lola: 67645556 markings, 101433333 edges, 551959 markings/sec, 120 secs
lola: 70390577 markings, 105550863 edges, 549004 markings/sec, 125 secs
lola: 73134019 markings, 109666028 edges, 548688 markings/sec, 130 secs
lola: 75875263 markings, 113777892 edges, 548249 markings/sec, 135 secs
lola: 78366854 markings, 117515280 edges, 498318 markings/sec, 140 secs
lola: 81106706 markings, 121625058 edges, 547970 markings/sec, 145 secs
lola: 83643280 markings, 125429919 edges, 507315 markings/sec, 150 secs
lola: 86341589 markings, 129477384 edges, 539662 markings/sec, 155 secs
lola: 89121586 markings, 133647378 edges, 555999 markings/sec, 160 secs
lola: 91682031 markings, 137488045 edges, 512089 markings/sec, 165 secs
lola: 94423821 markings, 141600731 edges, 548358 markings/sec, 170 secs
lola: 96941493 markings, 145377239 edges, 503534 markings/sec, 175 secs
lola: 99710173 markings, 149530259 edges, 553736 markings/sec, 180 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 100040003 markings, 150025003 edges
FORMULA ClientsAndServers-PT-N5000P0-CTLFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 246 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ========================================
lola: ...considering subproblem: E (F (E (G (FIREABLE(srA)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: FIREABLE(srA)
lola: processed formula length: 13
lola: 47 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 180006 markings, 180006 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N5000P0-CTLFireability-15 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 281 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(crA) AND NOT FIREABLE(ssR))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: (NOT FIREABLE(crA) OR FIREABLE(ssR))
lola: processed formula length: 37
lola: 48 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 589992 markings, 609991 edges
FORMULA ClientsAndServers-PT-N5000P0-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 328 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F ((NOT FIREABLE(maU) AND NOT FIREABLE(srF))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U (NOT FIREABLE(maU) AND NOT FIREABLE(srF))))))
lola: processed formula length: 71
lola: 48 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 4003759 markings, 4050067 edges, 800752 markings/sec, 0 secs
lola: 8180696 markings, 8229880 edges, 835387 markings/sec, 5 secs
lola: 12341427 markings, 12392775 edges, 832146 markings/sec, 10 secs
lola: 16528806 markings, 16581974 edges, 837476 markings/sec, 15 secs
lola: 20645486 markings, 20700230 edges, 823336 markings/sec, 20 secs
lola: 24744246 markings, 24800402 edges, 819752 markings/sec, 25 secs
lola: 28872105 markings, 28929573 edges, 825572 markings/sec, 30 secs
lola: 33023441 markings, 33082133 edges, 830267 markings/sec, 35 secs
lola: 37155011 markings, 37214847 edges, 826314 markings/sec, 40 secs
lola: 41317693 markings, 41378621 edges, 832536 markings/sec, 45 secs
lola: 45431243 markings, 45493191 edges, 822710 markings/sec, 50 secs
lola: 49571570 markings, 49634502 edges, 828065 markings/sec, 55 secs
lola: 53720379 markings, 53784259 edges, 829762 markings/sec, 60 secs
lola: 57907680 markings, 57972476 edges, 837460 markings/sec, 65 secs
lola: 62045837 markings, 62111509 edges, 827631 markings/sec, 70 secs
lola: 66241706 markings, 66308233 edges, 839174 markings/sec, 75 secs
lola: 70429815 markings, 70497175 edges, 837622 markings/sec, 80 secs
lola: 74637083 markings, 74705250 edges, 841454 markings/sec, 85 secs
lola: 78865347 markings, 78934303 edges, 845653 markings/sec, 90 secs
lola: 82831560 markings, 82901240 edges, 793243 markings/sec, 95 secs
lola: 86803161 markings, 86873545 edges, 794320 markings/sec, 100 secs
lola: 90811017 markings, 90882097 edges, 801571 markings/sec, 105 secs
lola: 94811728 markings, 94883488 edges, 800142 markings/sec, 110 secs
lola: 98817914 markings, 98890338 edges, 801237 markings/sec, 115 secs
lola: 102834851 markings, 102907931 edges, 803387 markings/sec, 120 secs
lola: 106862556 markings, 106936276 edges, 805541 markings/sec, 125 secs
lola: 110907718 markings, 110982074 edges, 809032 markings/sec, 130 secs
lola: 114955690 markings, 115030670 edges, 809594 markings/sec, 135 secs
lola: 118975767 markings, 119051355 edges, 804015 markings/sec, 140 secs
lola: 122995118 markings, 123071302 edges, 803870 markings/sec, 145 secs
lola: 127033027 markings, 127109799 edges, 807582 markings/sec, 150 secs
lola: 131063382 markings, 131140734 edges, 806071 markings/sec, 155 secs
lola: 135036441 markings, 135114357 edges, 794612 markings/sec, 160 secs
lola: 139002082 markings, 139080554 edges, 793128 markings/sec, 165 secs
lola: 143004195 markings, 143083215 edges, 800423 markings/sec, 170 secs
lola: 146953671 markings, 147033227 edges, 789895 markings/sec, 175 secs
lola: 150884220 markings, 150967429 edges, 786110 markings/sec, 180 secs
lola: 154742354 markings, 154830988 edges, 771627 markings/sec, 185 secs
lola: 158882237 markings, 158974216 edges, 827977 markings/sec, 190 secs
lola: 163001126 markings, 163095695 edges, 823778 markings/sec, 195 secs
lola: 167125307 markings, 167222066 edges, 824836 markings/sec, 200 secs
lola: 171194614 markings, 171293288 edges, 813861 markings/sec, 205 secs
lola: 175273327 markings, 175373741 edges, 815743 markings/sec, 210 secs
lola: 179355103 markings, 179457117 edges, 816355 markings/sec, 215 secs
lola: 183463462 markings, 183566980 edges, 821672 markings/sec, 220 secs
lola: 187565794 markings, 187670723 edges, 820466 markings/sec, 225 secs
lola: 191682298 markings, 191788567 edges, 823301 markings/sec, 230 secs
lola: 195741091 markings, 195848620 edges, 811759 markings/sec, 235 secs
lola: 199836811 markings, 199945550 edges, 819144 markings/sec, 240 secs
lola: 203942834 markings, 204052743 edges, 821205 markings/sec, 245 secs
lola: 207411683 markings, 207522542 edges, 693770 markings/sec, 250 secs
lola: 207571460 markings, 207682371 edges, 31955 markings/sec, 255 secs
lola: 207652911 markings, 207763835 edges, 16290 markings/sec, 260 secs
lola: 207658201 markings, 207769125 edges, 1058 markings/sec, 265 secs
lola: 207677319 markings, 207788247 edges, 3824 markings/sec, 270 secs
lola: 207706257 markings, 207817195 edges, 5788 markings/sec, 275 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 337 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((NOT FIREABLE(csR) U E (G (NOT FIREABLE(srA)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: E(NOT FIREABLE(csR) U NOT(A(TRUE U FIREABLE(srA))))
lola: processed formula length: 51
lola: 49 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 250001 markings, 250001 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N5000P0-CTLFireability-7 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 421 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G ((NOT FIREABLE(msA) AND NOT FIREABLE(mrF))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U NOT(A(TRUE U (FIREABLE(msA) OR FIREABLE(mrF)))))
lola: processed formula length: 58
lola: 49 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 250001 markings, 250001 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N5000P0-CTLFireability-1 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 562 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (F (NOT FIREABLE(srG))) OR (NOT FIREABLE(ssR) AND NOT FIREABLE(mfU) AND NOT FIREABLE(mrR)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: NOT(E(TRUE U (NOT(E(TRUE U NOT FIREABLE(srG))) AND (FIREABLE(ssR) OR FIREABLE(mfU) OR FIREABLE(mrR)))))
lola: processed formula length: 105
lola: 50 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1821687 markings, 5494056 edges, 364337 markings/sec, 0 secs
lola: 3438965 markings, 11155463 edges, 323456 markings/sec, 5 secs
lola: 4888837 markings, 16258176 edges, 289974 markings/sec, 10 secs
lola: 6273993 markings, 21232090 edges, 277031 markings/sec, 15 secs
lola: 7679960 markings, 26218269 edges, 281193 markings/sec, 20 secs
lola: 9310951 markings, 31815109 edges, 326198 markings/sec, 25 secs
lola: 10833209 markings, 37212033 edges, 304452 markings/sec, 30 secs
lola: 12268075 markings, 42311858 edges, 286973 markings/sec, 35 secs
lola: 13638692 markings, 47206516 edges, 274123 markings/sec, 40 secs
lola: 15199320 markings, 52875114 edges, 312126 markings/sec, 45 secs
lola: 16724116 markings, 58349480 edges, 304959 markings/sec, 50 secs
lola: 18224028 markings, 63605654 edges, 299982 markings/sec, 55 secs
lola: 19452246 markings, 68557932 edges, 245644 markings/sec, 60 secs
lola: 20711113 markings, 73712866 edges, 251773 markings/sec, 65 secs
lola: 22088643 markings, 79021079 edges, 275506 markings/sec, 70 secs
lola: 23356364 markings, 84044003 edges, 253544 markings/sec, 75 secs
lola: 24600879 markings, 89041714 edges, 248903 markings/sec, 80 secs
lola: 26031083 markings, 94394824 edges, 286041 markings/sec, 85 secs
lola: 27232495 markings, 99675694 edges, 240282 markings/sec, 90 secs
lola: 28703961 markings, 104588850 edges, 294293 markings/sec, 95 secs
lola: 30090254 markings, 109753250 edges, 277259 markings/sec, 100 secs
lola: 31363203 markings, 114837803 edges, 254590 markings/sec, 105 secs
lola: 32685813 markings, 120160180 edges, 264522 markings/sec, 110 secs
lola: 33843199 markings, 124990495 edges, 231477 markings/sec, 115 secs
lola: 35131160 markings, 130544147 edges, 257592 markings/sec, 120 secs
lola: 36552587 markings, 135825816 edges, 284285 markings/sec, 125 secs
lola: 37751609 markings, 140623697 edges, 239804 markings/sec, 130 secs
lola: 39082659 markings, 145474539 edges, 266210 markings/sec, 135 secs
lola: 40267042 markings, 150057991 edges, 236877 markings/sec, 140 secs
lola: 41445208 markings, 155180545 edges, 235633 markings/sec, 145 secs
lola: 42849865 markings, 160774773 edges, 280931 markings/sec, 150 secs
lola: 44118248 markings, 165852196 edges, 253677 markings/sec, 155 secs
lola: 45488570 markings, 170813791 edges, 274064 markings/sec, 160 secs
lola: 46788540 markings, 176047050 edges, 259994 markings/sec, 165 secs
lola: 47980308 markings, 180533622 edges, 238354 markings/sec, 170 secs
lola: 49253731 markings, 185275096 edges, 254685 markings/sec, 175 secs
lola: 50626887 markings, 190613169 edges, 274631 markings/sec, 180 secs
lola: 51825218 markings, 195434779 edges, 239666 markings/sec, 185 secs
lola: 53205283 markings, 200641085 edges, 276013 markings/sec, 190 secs
lola: 54442682 markings, 205407915 edges, 247480 markings/sec, 195 secs
lola: 55705893 markings, 210499093 edges, 252642 markings/sec, 200 secs
lola: 57006550 markings, 215802023 edges, 260131 markings/sec, 205 secs
lola: 58363983 markings, 221269812 edges, 271487 markings/sec, 210 secs
lola: 59596021 markings, 226006480 edges, 246408 markings/sec, 215 secs
lola: 60826305 markings, 230814210 edges, 246057 markings/sec, 220 secs
lola: 62043092 markings, 236100735 edges, 243357 markings/sec, 225 secs
lola: 63346973 markings, 240967793 edges, 260776 markings/sec, 230 secs
lola: 64552051 markings, 245778066 edges, 241016 markings/sec, 235 secs
lola: 65718783 markings, 250457118 edges, 233346 markings/sec, 240 secs
lola: 66886877 markings, 255110574 edges, 233619 markings/sec, 245 secs
lola: 68156238 markings, 259974911 edges, 253872 markings/sec, 250 secs
lola: 69636511 markings, 264986838 edges, 296055 markings/sec, 255 secs
lola: 70927668 markings, 270238670 edges, 258231 markings/sec, 260 secs
lola: 72208133 markings, 274941318 edges, 256093 markings/sec, 265 secs
lola: 73360219 markings, 279497432 edges, 230417 markings/sec, 270 secs
lola: 74460544 markings, 283884911 edges, 220065 markings/sec, 275 secs
lola: 75611877 markings, 288608142 edges, 230267 markings/sec, 280 secs
lola: 76956592 markings, 293972927 edges, 268943 markings/sec, 285 secs
lola: 78187380 markings, 298809944 edges, 246158 markings/sec, 290 secs
lola: 79378057 markings, 303756982 edges, 238135 markings/sec, 295 secs
lola: 80532168 markings, 308753968 edges, 230822 markings/sec, 300 secs
lola: 81787585 markings, 313833908 edges, 251083 markings/sec, 305 secs
lola: 82994071 markings, 318779969 edges, 241297 markings/sec, 310 secs
lola: 84135681 markings, 323599525 edges, 228322 markings/sec, 315 secs
lola: 85280161 markings, 328520830 edges, 228896 markings/sec, 320 secs
lola: 86553234 markings, 332900541 edges, 254615 markings/sec, 325 secs
lola: 87692483 markings, 337324784 edges, 227850 markings/sec, 330 secs
lola: 88989722 markings, 342454991 edges, 259448 markings/sec, 335 secs
lola: 90037350 markings, 347509264 edges, 209526 markings/sec, 340 secs
lola: 91322446 markings, 352729512 edges, 257019 markings/sec, 345 secs
lola: 92462785 markings, 357614415 edges, 228068 markings/sec, 350 secs
lola: 93819849 markings, 363101143 edges, 271413 markings/sec, 355 secs
lola: 95089262 markings, 368032156 edges, 253883 markings/sec, 360 secs
lola: 96199014 markings, 372223609 edges, 221950 markings/sec, 365 secs
lola: 97254195 markings, 376620701 edges, 211036 markings/sec, 370 secs
lola: 98339969 markings, 381068148 edges, 217155 markings/sec, 375 secs
lola: 99439361 markings, 386065572 edges, 219878 markings/sec, 380 secs
lola: 100392220 markings, 390566638 edges, 190572 markings/sec, 385 secs
lola: 101475756 markings, 395372360 edges, 216707 markings/sec, 390 secs
lola: 102885900 markings, 400332738 edges, 282029 markings/sec, 395 secs
lola: 104131896 markings, 405108931 edges, 249199 markings/sec, 400 secs
lola: 105370506 markings, 410025677 edges, 247722 markings/sec, 405 secs
lola: 106531732 markings, 415071149 edges, 232245 markings/sec, 410 secs
lola: 107772442 markings, 419835174 edges, 248142 markings/sec, 415 secs
lola: 108972613 markings, 424664130 edges, 240034 markings/sec, 420 secs
lola: 110330386 markings, 429702455 edges, 271555 markings/sec, 425 secs
lola: 111614875 markings, 434364418 edges, 256898 markings/sec, 430 secs
lola: 112776181 markings, 438710388 edges, 232261 markings/sec, 435 secs
lola: 113820087 markings, 442937931 edges, 208781 markings/sec, 440 secs
lola: 114787017 markings, 447035817 edges, 193386 markings/sec, 445 secs
lola: 115652267 markings, 451036380 edges, 173050 markings/sec, 450 secs
lola: 116813858 markings, 455493182 edges, 232318 markings/sec, 455 secs
lola: 118139809 markings, 460426927 edges, 265190 markings/sec, 460 secs
lola: 119425348 markings, 465521367 edges, 257108 markings/sec, 465 secs
lola: 120549316 markings, 470030602 edges, 224794 markings/sec, 470 secs
lola: 121612297 markings, 474301486 edges, 212596 markings/sec, 475 secs
lola: 122999264 markings, 479146332 edges, 277393 markings/sec, 480 secs
lola: 124215279 markings, 483879291 edges, 243203 markings/sec, 485 secs
lola: 125469908 markings, 488551108 edges, 250926 markings/sec, 490 secs
lola: 125856628 markings, 490253050 edges, 77344 markings/sec, 495 secs
lola: 125874724 markings, 490334957 edges, 3619 markings/sec, 500 secs
lola: 125883805 markings, 490376059 edges, 1816 markings/sec, 505 secs
lola: 125908950 markings, 490469027 edges, 5029 markings/sec, 510 secs
lola: 125940311 markings, 490589770 edges, 6272 markings/sec, 515 secs
lola: 125956271 markings, 490651216 edges, 3192 markings/sec, 520 secs
lola: 125969950 markings, 490703877 edges, 2736 markings/sec, 525 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 576 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (E (G ((FIREABLE(ssG) AND FIREABLE(srR)))))) OR A ((FIREABLE(ssF) U FIREABLE(ssR))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 576 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((FIREABLE(ssF) U FIREABLE(ssR)))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A ((FIREABLE(ssF) U FIREABLE(ssR)))
lola: processed formula length: 35
lola: 50 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 1152 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G ((FIREABLE(ssG) AND FIREABLE(srR))))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: (FIREABLE(ssG) AND FIREABLE(srR))
lola: processed formula length: 33
lola: 47 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 40023 markings, 40023 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA ClientsAndServers-PT-N5000P0-CTLFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 1152 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (A (F (FIREABLE(csR))))) AND (E ((NOT FIREABLE(csF) U FIREABLE(maU))) AND E (F ((FIREABLE(mrR) OR FIREABLE(srF))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1152 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(mrR) OR FIREABLE(srF))))
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 ((FIREABLE(mrR) OR FIREABLE(srF))))
lola: processed formula length: 41
lola: 47 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.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: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 4 markings, 3 edges
lola: formula 0: (FIREABLE(mrR) OR FIREABLE(srF))
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F (FIREABLE(csR)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(csR)
lola: processed formula length: 17
lola: 48 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: local time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown yes yes unknown yes no unknown no unknown unknown unknown unknown yes
lola: memory consumption: 117620 KB
lola: time consumption: 2419 seconds
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (A (F (FIREABLE(msA)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:664
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: NOT FIREABLE(msA)
lola: processed formula length: 17
lola: 48 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 4056496 markings, 4731009 edges, 811299 markings/sec, 0 secs
lola: 7528153 markings, 8851879 edges, 694331 markings/sec, 5 secs
lola: 11039025 markings, 13038522 edges, 702174 markings/sec, 10 secs
lola: 14487695 markings, 17163307 edges, 689734 markings/sec, 15 secs
lola: 17911317 markings, 21250902 edges, 684724 markings/sec, 20 secs
lola: 21416329 markings, 25422374 edges, 701002 markings/sec, 25 secs
lola: 24792412 markings, 29457906 edges, 675217 markings/sec, 30 secs
lola: 28157083 markings, 33479770 edges, 672934 markings/sec, 35 secs
lola: 31503633 markings, 37479892 edges, 669310 markings/sec, 40 secs
lola: 34865688 markings, 41498650 edges, 672411 markings/sec, 45 secs
lola: 38188558 markings, 45470422 edges, 664574 markings/sec, 50 secs
lola: 41409399 markings, 49350107 edges, 644168 markings/sec, 55 secs
lola: 44879451 markings, 53535473 edges, 694010 markings/sec, 60 secs
lola: 48475014 markings, 57806943 edges, 719113 markings/sec, 65 secs
lola: 52062763 markings, 62072928 edges, 717550 markings/sec, 70 secs
lola: 55622308 markings, 66328783 edges, 711909 markings/sec, 75 secs
lola: 58975060 markings, 70387973 edges, 670550 markings/sec, 80 secs
lola: 62416062 markings, 74475138 edges, 688200 markings/sec, 85 secs
lola: 65893587 markings, 78623589 edges, 695505 markings/sec, 90 secs
lola: 69312658 markings, 82754860 edges, 683814 markings/sec, 95 secs
lola: 72751522 markings, 86841249 edges, 687773 markings/sec, 100 secs
lola: 76239858 markings, 91008549 edges, 697667 markings/sec, 105 secs
lola: 79539772 markings, 95037369 edges, 659983 markings/sec, 110 secs
lola: 82992806 markings, 99097078 edges, 690607 markings/sec, 115 secs
lola: 86400938 markings, 103199682 edges, 681626 markings/sec, 120 secs
lola: 89814291 markings, 107268343 edges, 682671 markings/sec, 125 secs
lola: 93370045 markings, 111519401 edges, 711151 markings/sec, 130 secs
lola: 96610409 markings, 115492190 edges, 648073 markings/sec, 135 secs
lola: 100108333 markings, 119590420 edges, 699585 markings/sec, 140 secs
lola: 103375641 markings, 123610836 edges, 653462 markings/sec, 145 secs
lola: 106870378 markings, 127690007 edges, 698947 markings/sec, 150 secs
lola: 110128510 markings, 131691599 edges, 651626 markings/sec, 155 secs
lola: 113595547 markings, 135745389 edges, 693407 markings/sec, 160 secs
lola: 116914348 markings, 139820946 edges, 663760 markings/sec, 165 secs
lola: 120372491 markings, 143862961 edges, 691629 markings/sec, 170 secs
lola: 123595632 markings, 147841278 edges, 644628 markings/sec, 175 secs
lola: 127058058 markings, 151870912 edges, 692485 markings/sec, 180 secs
lola: 130248747 markings, 155801444 edges, 638138 markings/sec, 185 secs
lola: 133716030 markings, 159845821 edges, 693457 markings/sec, 190 secs
lola: 136993681 markings, 163812846 edges, 655530 markings/sec, 195 secs
lola: 140359351 markings, 167813370 edges, 673134 markings/sec, 200 secs
lola: 143726416 markings, 171844378 edges, 673413 markings/sec, 205 secs
lola: 147232180 markings, 176085918 edges, 701153 markings/sec, 210 secs
lola: 150652526 markings, 180141032 edges, 684069 markings/sec, 215 secs
lola: 153986857 markings, 184234135 edges, 666866 markings/sec, 220 secs
lola: 157447117 markings, 188279949 edges, 692052 markings/sec, 225 secs
lola: 160698411 markings, 192286692 edges, 650259 markings/sec, 230 secs
lola: 164233959 markings, 196409761 edges, 707110 markings/sec, 235 secs
lola: 167444894 markings, 200263600 edges, 642187 markings/sec, 240 secs
lola: 170742154 markings, 204283589 edges, 659452 markings/sec, 245 secs
lola: 174135653 markings, 208277859 edges, 678700 markings/sec, 250 secs
lola: 177370467 markings, 212295774 edges, 646963 markings/sec, 255 secs
lola: 180911879 markings, 216395040 edges, 708282 markings/sec, 260 secs
lola: 184070385 markings, 220185961 edges, 631701 markings/sec, 265 secs
lola: 187333647 markings, 224189294 edges, 652652 markings/sec, 270 secs
lola: 190714397 markings, 228144232 edges, 676150 markings/sec, 275 secs
lola: 193885369 markings, 231997830 edges, 634194 markings/sec, 280 secs
lola: 197204193 markings, 235962999 edges, 663765 markings/sec, 285 secs
lola: 200481390 markings, 239850972 edges, 655439 markings/sec, 290 secs
lola: 203394547 markings, 243468288 edges, 582631 markings/sec, 295 secs
lola: 206525673 markings, 247118604 edges, 626225 markings/sec, 300 secs
lola: 209697800 markings, 250896959 edges, 634425 markings/sec, 305 secs
lola: 212622677 markings, 254542011 edges, 584975 markings/sec, 310 secs
lola: 215865376 markings, 258306131 edges, 648540 markings/sec, 315 secs
lola: 218685401 markings, 261668357 edges, 564005 markings/sec, 320 secs
lola: 221470165 markings, 265086813 edges, 556953 markings/sec, 325 secs
lola: 224307784 markings, 268476883 edges, 567524 markings/sec, 330 secs
lola: 227208948 markings, 271882840 edges, 580233 markings/sec, 335 secs
lola: 230271983 markings, 275559586 edges, 612607 markings/sec, 340 secs
lola: 233469125 markings, 279482367 edges, 639428 markings/sec, 345 secs
lola: 236793079 markings, 283370353 edges, 664791 markings/sec, 350 secs
lola: 239956308 markings, 287167386 edges, 632646 markings/sec, 355 secs
lola: 243068665 markings, 291000944 edges, 622471 markings/sec, 360 secs
lola: 246418479 markings, 294907463 edges, 669963 markings/sec, 365 secs
lola: 249504722 markings, 298611988 edges, 617249 markings/sec, 370 secs
lola: 252689286 markings, 302554833 edges, 636913 markings/sec, 375 secs
lola: 256089536 markings, 306499458 edges, 680050 markings/sec, 380 secs
lola: 259164542 markings, 310190400 edges, 615001 markings/sec, 385 secs
lola: 262254509 markings, 314056474 edges, 617993 markings/sec, 390 secs
lola: 265679209 markings, 317993915 edges, 684940 markings/sec, 395 secs
lola: 268686868 markings, 321603778 edges, 601532 markings/sec, 400 secs
lola: 271760994 markings, 325452141 edges, 614825 markings/sec, 405 secs
lola: 275043529 markings, 329261407 edges, 656507 markings/sec, 410 secs
lola: 278348233 markings, 333184149 edges, 660941 markings/sec, 415 secs
lola: 281551258 markings, 337094818 edges, 640605 markings/sec, 420 secs
lola: 284732823 markings, 340927486 edges, 636313 markings/sec, 425 secs
lola: 288247944 markings, 345050754 edges, 703024 markings/sec, 430 secs
lola: 291558515 markings, 349024831 edges, 662114 markings/sec, 435 secs
lola: 295083855 markings, 353362647 edges, 705068 markings/sec, 440 secs
lola: 298703146 markings, 357584180 edges, 723858 markings/sec, 445 secs
lola: 301939754 markings, 361469286 edges, 647322 markings/sec, 450 secs
lola: 305265581 markings, 365615188 edges, 665165 markings/sec, 455 secs
lola: 308890873 markings, 369796731 edges, 725058 markings/sec, 460 secs
lola: 312084163 markings, 373629511 edges, 638658 markings/sec, 465 secs
lola: 315280216 markings, 377647225 edges, 639211 markings/sec, 470 secs
lola: 318758671 markings, 381670794 edges, 695691 markings/sec, 475 secs
lola: 322085067 markings, 385617657 edges, 665279 markings/sec, 480 secs
lola: 325231655 markings, 389402072 edges, 629318 markings/sec, 485 secs
lola: 328348819 markings, 393268442 edges, 623433 markings/sec, 490 secs
lola: 331772852 markings, 397230289 edges, 684807 markings/sec, 495 secs
lola: 334844644 markings, 400917302 edges, 614358 markings/sec, 500 secs
lola: 337937086 markings, 404782633 edges, 618488 markings/sec, 505 secs
lola: 341221777 markings, 408636303 edges, 656938 markings/sec, 510 secs
lola: 344517316 markings, 412511602 edges, 659108 markings/sec, 515 secs
lola: 347533056 markings, 416131702 edges, 603148 markings/sec, 520 secs
lola: 350509668 markings, 419910565 edges, 595322 markings/sec, 525 secs
lola: 353821067 markings, 423701996 edges, 662280 markings/sec, 530 secs
lola: 356973824 markings, 427447487 edges, 630551 markings/sec, 535 secs
lola: 359935197 markings, 431002563 edges, 592275 markings/sec, 540 secs
lola: 362957436 markings, 434814116 edges, 604448 markings/sec, 545 secs
lola: 366229576 markings, 438560479 edges, 654428 markings/sec, 550 secs
lola: 369365439 markings, 442305610 edges, 627173 markings/sec, 555 secs
lola: 372394168 markings, 445941656 edges, 605746 markings/sec, 560 secs
lola: 375301021 markings, 449609646 edges, 581371 markings/sec, 565 secs
lola: 378594695 markings, 453380550 edges, 658735 markings/sec, 570 secs
lola: 381776073 markings, 457186604 edges, 636276 markings/sec, 575 secs
lola: 384860410 markings, 460889488 edges, 616867 markings/sec, 580 secs
lola: 388036452 markings, 464865074 edges, 635208 markings/sec, 585 secs
lola: 391445005 markings, 468777139 edges, 681711 markings/sec, 590 secs
lola: 394502498 markings, 472446767 edges, 611499 markings/sec, 595 secs
lola: 397544347 markings, 476108438 edges, 608370 markings/sec, 600 secs
lola: 400429691 markings, 479740042 edges, 577069 markings/sec, 605 secs
lola: 401170330 markings, 480587945 edges, 148128 markings/sec, 610 secs
lola: 401191751 markings, 480612468 edges, 4284 markings/sec, 615 secs
lola: 401219563 markings, 480644309 edges, 5562 markings/sec, 620 secs
lola: 401222087 markings, 480647198 edges, 505 markings/sec, 625 secs
lola: 401263496 markings, 480694605 edges, 8282 markings/sec, 630 secs
lola: 401278251 markings, 480711497 edges, 2951 markings/sec, 635 secs
lola: 401287653 markings, 480722259 edges, 1880 markings/sec, 640 secs
lola: 401303387 markings, 480740273 edges, 3147 markings/sec, 645 secs
lola: 401322286 markings, 480761910 edges, 3780 markings/sec, 650 secs
lola: 401347375 markings, 480790631 edges, 5018 markings/sec, 655 secs
lola: 401356888 markings, 480801522 edges, 1903 markings/sec, 660 secs
lola: 401371390 markings, 480818125 edges, 2900 markings/sec, 665 secs
lola: 401391535 markings, 480841188 edges, 4029 markings/sec, 670 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA ClientsAndServers-PT-N5000P0-CTLFireability-0 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: E ((NOT FIREABLE(ssG) U E (X (FIREABLE(csF)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(NOT FIREABLE(ssG) U EX(FIREABLE(csF)))
lola: processed formula length: 40
lola: 48 rewrites
lola: closed formula file ClientsAndServers-PT-N5000P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1350304 markings, 3477466 edges, 270061 markings/sec, 0 secs
lola: 2637272 markings, 7029990 edges, 257394 markings/sec, 5 secs
lola: 3821231 markings, 10338088 edges, 236792 markings/sec, 10 secs
lola: 5009838 markings, 13656814 edges, 237721 markings/sec, 15 secs
lola: 6160414 markings, 16890470 edges, 230115 markings/sec, 20 secs
lola: 7309681 markings, 20120449 edges, 229853 markings/sec, 25 secs
lola: 8408679 markings, 23243687 edges, 219800 markings/sec, 30 secs
lola: 9566204 markings, 26489372 edges, 231505 markings/sec, 35 secs
lola: 10737257 markings, 29816755 edges, 234211 markings/sec, 40 secs
lola: 11896714 markings, 33114776 edges, 231891 markings/sec, 45 secs
lola: 13078238 markings, 36433286 edges, 236305 markings/sec, 50 secs
lola: 14236323 markings, 39719307 edges, 231617 markings/sec, 55 secs
lola: 15409459 markings, 43053132 edges, 234627 markings/sec, 60 secs
lola: 16567478 markings, 46371310 edges, 231604 markings/sec, 65 secs
lola: 17721349 markings, 49665909 edges, 230774 markings/sec, 70 secs
lola: 18870031 markings, 52923915 edges, 229736 markings/sec, 75 secs
lola: 20014715 markings, 56170263 edges, 228937 markings/sec, 80 secs
lola: 21150678 markings, 59399264 edges, 227193 markings/sec, 85 secs
lola: 22225055 markings, 62502621 edges, 214875 markings/sec, 90 secs
lola: 23351813 markings, 65695050 edges, 225352 markings/sec, 95 secs
lola: 24467718 markings, 68866336 edges, 223181 markings/sec, 100 secs
lola: 25545298 markings, 71978228 edges, 215516 markings/sec, 105 secs
lola: 26700899 markings, 75252609 edges, 231120 markings/sec, 110 secs
lola: 27818817 markings, 78496317 edges, 223584 markings/sec, 115 secs
lola: 28868731 markings, 81456794 edges, 209983 markings/sec, 120 secs
lola: 29914089 markings, 84494047 edges, 209072 markings/sec, 125 secs
lola: 31077186 markings, 87781558 edges, 232619 markings/sec, 130 secs
lola: 32051837 markings, 90616684 edges, 194930 markings/sec, 135 secs
lola: 33151362 markings, 93717417 edges, 219905 markings/sec, 140 secs
lola: 34184780 markings, 96719554 edges, 206684 markings/sec, 145 secs
lola: 35286388 markings, 99829133 edges, 220322 markings/sec, 150 secs
lola: 36318375 markings, 102825415 edges, 206397 markings/sec, 155 secs
lola: 37415745 markings, 105927720 edges, 219474 markings/sec, 160 secs
lola: 38441442 markings, 108897122 edges, 205139 markings/sec, 165 secs
lola: 39461549 markings, 111871871 edges, 204021 markings/sec, 170 secs
lola: 40552288 markings, 114935895 edges, 218148 markings/sec, 175 secs
lola: 41566268 markings, 117883652 edges, 202796 markings/sec, 180 secs
lola: 42654836 markings, 120960087 edges, 217714 markings/sec, 185 secs
lola: 43671272 markings, 123900550 edges, 203287 markings/sec, 190 secs
lola: 44673478 markings, 126821305 edges, 200441 markings/sec, 195 secs
lola: 45770073 markings, 129908177 edges, 219319 markings/sec, 200 secs
lola: 46800408 markings, 132897100 edges, 206067 markings/sec, 205 secs
lola: 47816695 markings, 135862733 edges, 203257 markings/sec, 210 secs
lola: 48926441 markings, 138980208 edges, 221949 markings/sec, 215 secs
lola: 49952245 markings, 141960161 edges, 205161 markings/sec, 220 secs
lola: 50966292 markings, 144919802 edges, 202809 markings/sec, 225 secs
lola: 52069964 markings, 148017180 edges, 220734 markings/sec, 230 secs
lola: 53090815 markings, 150981953 edges, 204170 markings/sec, 235 secs
lola: 54099723 markings, 153926176 edges, 201782 markings/sec, 240 secs
lola: 55196155 markings, 157008721 edges, 219286 markings/sec, 245 secs
lola: 56214217 markings, 159959348 edges, 203612 markings/sec, 250 secs
lola: 57214449 markings, 162878598 edges, 200046 markings/sec, 255 secs
lola: 58282010 markings, 165894213 edges, 213512 markings/sec, 260 secs
lola: 59307967 markings, 168852221 edges, 205191 markings/sec, 265 secs
lola: 60297599 markings, 171733945 edges, 197926 markings/sec, 270 secs
lola: 61281653 markings, 174608787 edges, 196811 markings/sec, 275 secs
lola: 62383109 markings, 177697426 edges, 220291 markings/sec, 280 secs
lola: 63374513 markings, 180571936 edges, 198281 markings/sec, 285 secs
lola: 64351257 markings, 183421195 edges, 195349 markings/sec, 290 secs
lola: 65339043 markings, 186307426 edges, 197557 markings/sec, 295 secs
lola: 66435933 markings, 189374814 edges, 219378 markings/sec, 300 secs
lola: 67419554 markings, 192232647 edges, 196724 markings/sec, 305 secs
lola: 68393177 markings, 195074799 edges, 194725 markings/sec, 310 secs
lola: 69383931 markings, 197968920 edges, 198151 markings/sec, 315 secs
lola: 70479260 markings, 201029097 edges, 219066 markings/sec, 320 secs
lola: 71462671 markings, 203887086 edges, 196682 markings/sec, 325 secs
lola: 72435950 markings, 206726920 edges, 194656 markings/sec, 330 secs
lola: 73424565 markings, 209615228 edges, 197723 markings/sec, 335 secs
lola: 74533513 markings, 212719596 edges, 221790 markings/sec, 340 secs
lola: 75555580 markings, 215683566 edges, 204413 markings/sec, 345 secs
lola: 76569570 markings, 218639855 edges, 202798 markings/sec, 350 secs
lola: 77589518 markings, 221623706 edges, 203990 markings/sec, 355 secs
lola: 78723428 markings, 224810664 edges, 226782 markings/sec, 360 secs
lola: 79754615 markings, 227792614 edges, 206237 markings/sec, 365 secs
lola: 80768110 markings, 230744211 edges, 202699 markings/sec, 370 secs
lola: 81782891 markings, 233709615 edges, 202956 markings/sec, 375 secs
lola: 82831141 markings, 236781332 edges, 209650 markings/sec, 380 secs
lola: 83949320 markings, 239894020 edges, 223636 markings/sec, 385 secs
lola: 84964486 markings, 242842571 edges, 203033 markings/sec, 390 secs
lola: 85974112 markings, 245789165 edges, 201925 markings/sec, 395 secs
lola: 87001028 markings, 248793580 edges, 205383 markings/sec, 400 secs
lola: 88111137 markings, 251918897 edges, 222022 markings/sec, 405 secs
lola: 89100586 markings, 254772289 edges, 197890 markings/sec, 410 secs
lola: 90044442 markings, 257518184 edges, 188771 markings/sec, 415 secs
lola: 91043932 markings, 260436005 edges, 199898 markings/sec, 420 secs
lola: 92065357 markings, 263424893 edges, 204285 markings/sec, 425 secs
lola: 93153057 markings, 266489547 edges, 217540 markings/sec, 430 secs
lola: 94196285 markings, 269492472 edges, 208646 markings/sec, 435 secs
lola: 95201800 markings, 272417778 edges, 201103 markings/sec, 440 secs
lola: 96205679 markings, 275350988 edges, 200776 markings/sec, 445 secs
lola: 97217220 markings, 278310310 edges, 202308 markings/sec, 450 secs
lola: 98246087 markings, 281306841 edges, 205773 markings/sec, 455 secs
lola: 99340509 markings, 284357873 edges, 218884 markings/sec, 460 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown yes unknown unknown yes yes unknown yes no unknown no unknown unknown unknown unknown yes
lola:
preliminary result: unknown yes unknown unknown yes yes unknown yes no unknown no unknown unknown unknown unknown yes
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown yes unknown unknown yes yes unknown yes no unknown no unknown unknown unknown unknown yes
lola: memory consumption: 10268 KB
lola: time consumption: 3571 seconds
BK_STOP 1526579035476
--------------------
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-N5000P0"
export BK_EXAMINATION="CTLFireability"
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-N5000P0.tgz
mv ClientsAndServers-PT-N5000P0 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-N5000P0, examination is CTLFireability"
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-152646357300186"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 ;