About the Execution of LoLA for ClientsAndServers-PT-N2000P0
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 10770.680 | 3600000.00 | 1772122.00 | 7268.10 | ??T???T???FT?T?F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 184K
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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.3K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.9K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 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-N2000P0, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357300179
=====================================================================
--------------------
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-N2000P0-CTLFireability-00
FORMULA_NAME ClientsAndServers-PT-N2000P0-CTLFireability-01
FORMULA_NAME ClientsAndServers-PT-N2000P0-CTLFireability-02
FORMULA_NAME ClientsAndServers-PT-N2000P0-CTLFireability-03
FORMULA_NAME ClientsAndServers-PT-N2000P0-CTLFireability-04
FORMULA_NAME ClientsAndServers-PT-N2000P0-CTLFireability-05
FORMULA_NAME ClientsAndServers-PT-N2000P0-CTLFireability-06
FORMULA_NAME ClientsAndServers-PT-N2000P0-CTLFireability-07
FORMULA_NAME ClientsAndServers-PT-N2000P0-CTLFireability-08
FORMULA_NAME ClientsAndServers-PT-N2000P0-CTLFireability-09
FORMULA_NAME ClientsAndServers-PT-N2000P0-CTLFireability-10
FORMULA_NAME ClientsAndServers-PT-N2000P0-CTLFireability-11
FORMULA_NAME ClientsAndServers-PT-N2000P0-CTLFireability-12
FORMULA_NAME ClientsAndServers-PT-N2000P0-CTLFireability-13
FORMULA_NAME ClientsAndServers-PT-N2000P0-CTLFireability-14
FORMULA_NAME ClientsAndServers-PT-N2000P0-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526571845387
info: Time: 3600 - MCC
===========================================================================================
prep: translating ClientsAndServers-PT-N2000P0 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating ClientsAndServers-PT-N2000P0 formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ ClientsAndServers-PT-N2000P0 @ 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-N2000P0-CTLFireability.task
lola: E (F (A (G (A (G (FIREABLE(msA))))))) : (E (F (E (G ((FIREABLE(srA) AND FIREABLE(crA)))))) OR A (F (NOT(E (F (FIREABLE(ssR))))))) : A (F (FIREABLE(maU))) : NOT((A ((FIREABLE(srA) U NOT FIREABLE(srF))) AND A (F (A (F (FIREABLE(ssG))))))) : ((NOT((E (G (FIREABLE(mrF))) OR E (G (FIREABLE(srA))))) AND (FIREABLE(msA) AND A (F ((FIREABLE(srA) OR FIREABLE(ssG)))))) OR (((FIREABLE(srG) OR FIREABLE(ssR) OR (FIREABLE(msG) AND FIREABLE(srR))) AND FIREABLE(msA)) OR A (F (FIREABLE(ssR))))) : E (((A (F (FIREABLE(ssR))) AND FIREABLE(csR)) U (E (F (FIREABLE(mrR))) AND A (G (FIREABLE(mrF)))))) : E (F ((NOT FIREABLE(csR) AND (E (F (FIREABLE(msA))) OR (FIREABLE(msG) OR NOT FIREABLE(srR)))))) : E ((E (G (NOT FIREABLE(ssG))) U NOT(A (F (FIREABLE(csF)))))) : E (F (A (G (E (X (FIREABLE(csF))))))) : ((NOT((A (F (FIREABLE(ssG))) AND NOT FIREABLE(msG))) OR NOT(A (F (FIREABLE(srG))))) OR E (G (E (X (FIREABLE(mrF)))))) : (A (F (E (G (FIREABLE(msA))))) OR FIREABLE(srR)) : (E (G (A (X (NOT FIREABLE(srA))))) AND (A (F (NOT FIREABLE(ssF))) OR E (F (E (X (FIREABLE(srR))))))) : A ((A (G (FIREABLE(csR))) U (FIREABLE(csF) OR FIREABLE(srG) OR (FIREABLE(csF) AND FIREABLE(mfU) AND FIREABLE(msA))))) : ((FIREABLE(crA) OR (FIREABLE(ssG) OR (A (X (FIREABLE(srG))) AND (FIREABLE(ssA) AND FIREABLE(crG) AND FIREABLE(ssA) AND FIREABLE(msG))))) OR (((FIREABLE(csF) AND E (X (FIREABLE(srF)))) OR (E (F (FIREABLE(msA))) AND E (X (FIREABLE(ssA))))) OR A (F (A (F (FIREABLE(mrR))))))) : E ((((FIREABLE(ssA) OR FIREABLE(maU) OR (FIREABLE(mrF) AND FIREABLE(mrR))) OR A (F (FIREABLE(msG)))) U ((NOT FIREABLE(ssG) AND NOT FIREABLE(srR)) AND A (X (FIREABLE(mfU)))))) : A (((A (F (FIREABLE(ssF))) OR FIREABLE(ssR)) U (FIREABLE(srG))))
lola: rewrite Frontend/Parser/formula_rewrite.k:389
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:392
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
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:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
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:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:395
lola: rewrite Frontend/Parser/formula_rewrite.k:479
lola: rewrite Frontend/Parser/formula_rewrite.k:392
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (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:737
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U NOT(E(TRUE U NOT(EX(FIREABLE(csF))))))
lola: processed formula length: 47
lola: 44 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-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: 1127785 markings, 4190266 edges, 225557 markings/sec, 0 secs
lola: 2114886 markings, 8519598 edges, 197420 markings/sec, 5 secs
lola: 3070812 markings, 12732400 edges, 191185 markings/sec, 10 secs
lola: 3994535 markings, 16988230 edges, 184745 markings/sec, 15 secs
lola: 5001681 markings, 21413270 edges, 201429 markings/sec, 20 secs
lola: 5906841 markings, 25621539 edges, 181032 markings/sec, 25 secs
lola: 6917417 markings, 29901940 edges, 202115 markings/sec, 30 secs
lola: 7821576 markings, 34269033 edges, 180832 markings/sec, 35 secs
lola: 8711234 markings, 38568589 edges, 177932 markings/sec, 40 secs
lola: 9587058 markings, 42990441 edges, 175165 markings/sec, 45 secs
lola: 10510138 markings, 47416376 edges, 184616 markings/sec, 50 secs
lola: 11500378 markings, 51709959 edges, 198048 markings/sec, 55 secs
lola: 12347214 markings, 55875623 edges, 169367 markings/sec, 60 secs
lola: 13248746 markings, 60086665 edges, 180306 markings/sec, 65 secs
lola: 14064298 markings, 64362353 edges, 163110 markings/sec, 70 secs
lola: 14883144 markings, 68637119 edges, 163769 markings/sec, 75 secs
lola: 15827732 markings, 73070731 edges, 188918 markings/sec, 80 secs
lola: 16715869 markings, 77274202 edges, 177627 markings/sec, 85 secs
lola: 17598303 markings, 81594954 edges, 176487 markings/sec, 90 secs
lola: 18455396 markings, 85676119 edges, 171419 markings/sec, 95 secs
lola: 19295371 markings, 89879865 edges, 167995 markings/sec, 100 secs
lola: 20160492 markings, 93947559 edges, 173024 markings/sec, 105 secs
lola: 21111940 markings, 98372309 edges, 190290 markings/sec, 110 secs
lola: 22046998 markings, 102780396 edges, 187012 markings/sec, 115 secs
lola: 22889126 markings, 107098930 edges, 168426 markings/sec, 120 secs
lola: 23843914 markings, 111351966 edges, 190958 markings/sec, 125 secs
lola: 24740599 markings, 115676295 edges, 179337 markings/sec, 130 secs
lola: 25563248 markings, 119662156 edges, 164530 markings/sec, 135 secs
lola: 26406712 markings, 124148862 edges, 168693 markings/sec, 140 secs
lola: 27325372 markings, 128378588 edges, 183732 markings/sec, 145 secs
lola: 28152468 markings, 132666578 edges, 165419 markings/sec, 150 secs
lola: 28987016 markings, 136707214 edges, 166910 markings/sec, 155 secs
lola: 29813294 markings, 140868995 edges, 165256 markings/sec, 160 secs
lola: 30652874 markings, 145235863 edges, 167916 markings/sec, 165 secs
lola: 31473295 markings, 149318733 edges, 164084 markings/sec, 170 secs
lola: 32432446 markings, 153823132 edges, 191830 markings/sec, 175 secs
lola: 33283491 markings, 157879624 edges, 170209 markings/sec, 180 secs
lola: 34156667 markings, 162146322 edges, 174635 markings/sec, 185 secs
lola: 35024374 markings, 166358031 edges, 173541 markings/sec, 190 secs
lola: 35894787 markings, 170619106 edges, 174083 markings/sec, 195 secs
lola: 36681009 markings, 174658524 edges, 157244 markings/sec, 200 secs
lola: 37481539 markings, 179019842 edges, 160106 markings/sec, 205 secs
lola: 38327147 markings, 183529915 edges, 169122 markings/sec, 210 secs
lola: 39154719 markings, 187665425 edges, 165514 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: 6354200 KB
lola: time consumption: 223 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 (G (NOT FIREABLE(ssG))) OR (FIREABLE(msG) OR (E (G (NOT FIREABLE(srG))) OR E (G (E (X (FIREABLE(mrF))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(ssG)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(ssG)))
lola: processed formula length: 25
lola: 41 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-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: 3777087 markings, 4712358 edges, 755417 markings/sec, 0 secs
lola: 7599865 markings, 9490831 edges, 764556 markings/sec, 5 secs
lola: 11496511 markings, 14361638 edges, 779329 markings/sec, 10 secs
lola: 15322067 markings, 19143583 edges, 765111 markings/sec, 15 secs
lola: 19159053 markings, 23939816 edges, 767397 markings/sec, 20 secs
lola: 23019410 markings, 28765262 edges, 772071 markings/sec, 25 secs
lola: 26935709 markings, 33660636 edges, 783260 markings/sec, 30 secs
lola: 30964945 markings, 38697181 edges, 805847 markings/sec, 35 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 32012005 markings, 40006005 edges
lola: ========================================
lola: subprocess 2 will run for 236 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(srG)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(srG)))
lola: processed formula length: 25
lola: 41 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-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: 2308130 markings, 4548726 edges, 461626 markings/sec, 0 secs
lola: 4448104 markings, 8808745 edges, 427995 markings/sec, 5 secs
lola: 6692892 markings, 13281152 edges, 448958 markings/sec, 10 secs
lola: 8887743 markings, 17655573 edges, 438970 markings/sec, 15 secs
lola: 11167444 markings, 22200165 edges, 455940 markings/sec, 20 secs
lola: 13399423 markings, 26650905 edges, 446396 markings/sec, 25 secs
lola: 15561871 markings, 30963218 edges, 432490 markings/sec, 30 secs
lola: 17756564 markings, 35340877 edges, 438939 markings/sec, 35 secs
lola: 19906875 markings, 39630039 edges, 430062 markings/sec, 40 secs
lola: 22042036 markings, 43890064 edges, 427032 markings/sec, 45 secs
lola: 24159378 markings, 48114113 edges, 423468 markings/sec, 50 secs
lola: 26267422 markings, 52320085 edges, 421609 markings/sec, 55 secs
lola: 28445365 markings, 56666446 edges, 435589 markings/sec, 60 secs
lola: 30609775 markings, 60985498 edges, 432882 markings/sec, 65 secs
lola: 32625080 markings, 65007019 edges, 403061 markings/sec, 70 secs
lola: 34785002 markings, 69317572 edges, 431984 markings/sec, 75 secs
lola: 36909822 markings, 73558681 edges, 424964 markings/sec, 80 secs
lola: 39032563 markings, 77795468 edges, 424548 markings/sec, 85 secs
lola: 41161325 markings, 82044136 edges, 425752 markings/sec, 90 secs
lola: 43304942 markings, 86323361 edges, 428723 markings/sec, 95 secs
lola: 45424106 markings, 90553554 edges, 423833 markings/sec, 100 secs
lola: 47515627 markings, 94728333 edges, 418304 markings/sec, 105 secs
lola: 49618329 markings, 98925345 edges, 420540 markings/sec, 110 secs
lola: 51643270 markings, 102967778 edges, 404988 markings/sec, 115 secs
lola: 53726073 markings, 107125839 edges, 416561 markings/sec, 120 secs
lola: 55814359 markings, 111294767 edges, 417657 markings/sec, 125 secs
lola: 57902088 markings, 115462482 edges, 417546 markings/sec, 130 secs
lola: 60144038 markings, 119938542 edges, 448390 markings/sec, 135 secs
lola: 62362142 markings, 124366812 edges, 443621 markings/sec, 140 secs
lola: 64564814 markings, 128764708 edges, 440534 markings/sec, 145 secs
lola: 66744094 markings, 133115713 edges, 435856 markings/sec, 150 secs
lola: 68893981 markings, 137408450 edges, 429977 markings/sec, 155 secs
lola: 71094776 markings, 141802930 edges, 440159 markings/sec, 160 secs
lola: 73260235 markings, 146126667 edges, 433092 markings/sec, 165 secs
lola: 75399728 markings, 150398398 edges, 427899 markings/sec, 170 secs
lola: 77521663 markings, 154634941 edges, 424387 markings/sec, 175 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: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2995568 KB
lola: time consumption: 447 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2995568 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 (F (NOT FIREABLE(ssF))) OR E (X (E (F (FIREABLE(srR)))))))
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: A (F (NOT FIREABLE(ssF)))
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: FIREABLE(ssF)
lola: processed formula length: 13
lola: 43 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-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: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: lola: subprocess 3 will run for 240 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: 43 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-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: 100001 markings, 100000 edges
lola: lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
========================================
lola: ========================================
FORMULA ClientsAndServers-PT-N2000P0-CTLFireability-11 TRUE 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: (FIREABLE(crA) OR (FIREABLE(ssG) OR ((A (X (FIREABLE(srG))) AND (FIREABLE(ssA) AND FIREABLE(crG) AND FIREABLE(ssA) AND FIREABLE(msG))) OR ((FIREABLE(csF) AND E (X (FIREABLE(srF)))) OR ((E (F (FIREABLE(msA))) AND E (X (FIREABLE(ssA)))) OR A (F (FIREABLE(mrR))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 240 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(crA)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(crA)
lola: processed formula length: 13
lola: 41 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(ssG)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(ssG)
lola: processed formula length: 13
lola: 41 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 283 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(ssA) AND FIREABLE(crG) AND FIREABLE(ssA) AND FIREABLE(msG))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(ssA) AND FIREABLE(crG) AND FIREABLE(ssA) AND FIREABLE(msG))
lola: processed formula length: 69
lola: 41 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 312 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(csF)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(csF)
lola: processed formula length: 13
lola: 41 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 7 will run for 347 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(mrR)))
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(mrR)
lola: processed formula length: 17
lola: 43 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-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: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 20001 markings, 20000 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA ClientsAndServers-PT-N2000P0-CTLFireability-13 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((((FIREABLE(ssA) OR FIREABLE(maU) OR (FIREABLE(mrF) AND FIREABLE(mrR))) OR A (F (FIREABLE(msG)))) U ((NOT FIREABLE(ssG) AND NOT FIREABLE(srR)) AND A (X (FIREABLE(mfU))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(((FIREABLE(ssA) OR FIREABLE(maU) OR (FIREABLE(mrF) AND FIREABLE(mrR))) OR A(TRUE U FIREABLE(msG))) U ((NOT FIREABLE(ssG) AND NOT FIREABLE(srR)) AND AX(FIREABLE(mfU))))
lola: processed formula length: 171
lola: 44 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-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: 3441912 markings, 4578047 edges, 688382 markings/sec, 0 secs
lola: 6961269 markings, 9270309 edges, 703871 markings/sec, 5 secs
lola: 10419066 markings, 13880544 edges, 691559 markings/sec, 10 secs
lola: 13839235 markings, 18440635 edges, 684034 markings/sec, 15 secs
lola: 17284455 markings, 23034142 edges, 689044 markings/sec, 20 secs
lola: 20699054 markings, 27586835 edges, 682920 markings/sec, 25 secs
lola: 24064801 markings, 32082042 edges, 673149 markings/sec, 30 secs
lola: 26734416 markings, 36531807 edges, 533923 markings/sec, 35 secs
lola: 29337816 markings, 40870986 edges, 520680 markings/sec, 40 secs
lola: 31938161 markings, 45205033 edges, 520069 markings/sec, 45 secs
lola: 34469825 markings, 49424587 edges, 506333 markings/sec, 50 secs
lola: 36946332 markings, 53552198 edges, 495301 markings/sec, 55 secs
lola: 39384014 markings, 57615089 edges, 487536 markings/sec, 60 secs
lola: 41778185 markings, 61605454 edges, 478834 markings/sec, 65 secs
lola: 44123086 markings, 65513696 edges, 468980 markings/sec, 70 secs
lola: 46425727 markings, 69351499 edges, 460528 markings/sec, 75 secs
lola: 48815367 markings, 73330516 edges, 477928 markings/sec, 80 secs
lola: 51434530 markings, 77696050 edges, 523833 markings/sec, 85 secs
lola: 54032363 markings, 82025936 edges, 519567 markings/sec, 90 secs
lola: 56665040 markings, 86413866 edges, 526535 markings/sec, 95 secs
lola: 59247939 markings, 90718809 edges, 516580 markings/sec, 100 secs
lola: 61785740 markings, 94948575 edges, 507560 markings/sec, 105 secs
lola: 64293823 markings, 99128802 edges, 501617 markings/sec, 110 secs
lola: 66702921 markings, 103144043 edges, 481820 markings/sec, 115 secs
lola: 69060224 markings, 107072954 edges, 471461 markings/sec, 120 secs
lola: 71359973 markings, 110905936 edges, 459950 markings/sec, 125 secs
lola: 73887396 markings, 115114695 edges, 505485 markings/sec, 130 secs
lola: 76448218 markings, 119382932 edges, 512164 markings/sec, 135 secs
lola: 79024677 markings, 123677178 edges, 515292 markings/sec, 140 secs
lola: 81642639 markings, 128040574 edges, 523592 markings/sec, 145 secs
lola: 84175600 markings, 132262280 edges, 506592 markings/sec, 150 secs
lola: 86582727 markings, 136274247 edges, 481425 markings/sec, 155 secs
lola: 89012666 markings, 140324230 edges, 485988 markings/sec, 160 secs
lola: 91346062 markings, 144213299 edges, 466679 markings/sec, 165 secs
lola: 93622907 markings, 148008109 edges, 455369 markings/sec, 170 secs
lola: 95837535 markings, 151699218 edges, 442926 markings/sec, 175 secs
lola: 98414198 markings, 155990079 edges, 515333 markings/sec, 180 secs
lola: 100959720 markings, 160232801 edges, 509104 markings/sec, 185 secs
lola: 103520156 markings, 164500336 edges, 512087 markings/sec, 190 secs
lola: 106057389 markings, 168729175 edges, 507447 markings/sec, 195 secs
lola: 108515950 markings, 172826876 edges, 491712 markings/sec, 200 secs
lola: 110875611 markings, 176759731 edges, 471932 markings/sec, 205 secs
lola: 113202915 markings, 180638650 edges, 465461 markings/sec, 210 secs
lola: 115445452 markings, 184376285 edges, 448507 markings/sec, 215 secs
lola: 117660576 markings, 188068225 edges, 443025 markings/sec, 220 secs
lola: 119818673 markings, 191665114 edges, 431619 markings/sec, 225 secs
lola: 122349124 markings, 195878950 edges, 506090 markings/sec, 230 secs
lola: 124845294 markings, 200039417 edges, 499234 markings/sec, 235 secs
lola: 127369511 markings, 204246586 edges, 504843 markings/sec, 240 secs
lola: 129890430 markings, 208448235 edges, 504184 markings/sec, 245 secs
lola: 132337866 markings, 212527396 edges, 489487 markings/sec, 250 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown yes unknown yes unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 260 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(maU)))
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(maU)
lola: processed formula length: 17
lola: 43 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-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: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 24001 markings, 24000 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N2000P0-CTLFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 286 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (A (G (FIREABLE(msA)))))
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(msA)
lola: processed formula length: 17
lola: 43 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-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: 2298439 markings, 5485777 edges, 459688 markings/sec, 0 secs
lola: 4637476 markings, 11462083 edges, 467807 markings/sec, 5 secs
lola: 6786780 markings, 17138976 edges, 429861 markings/sec, 10 secs
lola: 8703265 markings, 22729704 edges, 383297 markings/sec, 15 secs
lola: 10726940 markings, 28407361 edges, 404735 markings/sec, 20 secs
lola: 12626367 markings, 33694197 edges, 379885 markings/sec, 25 secs
lola: 14421187 markings, 39081095 edges, 358964 markings/sec, 30 secs
lola: 16198682 markings, 44447120 edges, 355499 markings/sec, 35 secs
lola: 18124629 markings, 50056598 edges, 385189 markings/sec, 40 secs
lola: 19963616 markings, 55431234 edges, 367797 markings/sec, 45 secs
lola: 21773365 markings, 60946266 edges, 361950 markings/sec, 50 secs
lola: 23476342 markings, 66092275 edges, 340595 markings/sec, 55 secs
lola: 25349327 markings, 71520473 edges, 374597 markings/sec, 60 secs
lola: 27088365 markings, 76725225 edges, 347808 markings/sec, 65 secs
lola: 28997023 markings, 82625281 edges, 381732 markings/sec, 70 secs
lola: 30880910 markings, 88407252 edges, 376777 markings/sec, 75 secs
lola: 32570103 markings, 93817562 edges, 337839 markings/sec, 80 secs
lola: 34267264 markings, 99189388 edges, 339432 markings/sec, 85 secs
lola: 36120816 markings, 104727396 edges, 370710 markings/sec, 90 secs
lola: 37803897 markings, 109888494 edges, 336616 markings/sec, 95 secs
lola: 39448082 markings, 115265057 edges, 328837 markings/sec, 100 secs
lola: 41476239 markings, 121018590 edges, 405631 markings/sec, 105 secs
lola: 43186624 markings, 126509566 edges, 342077 markings/sec, 110 secs
lola: 44955525 markings, 132195652 edges, 353780 markings/sec, 115 secs
lola: 46678500 markings, 137611476 edges, 344595 markings/sec, 120 secs
lola: 48345326 markings, 142865015 edges, 333365 markings/sec, 125 secs
lola: 50104866 markings, 148226931 edges, 351908 markings/sec, 130 secs
lola: 51815391 markings, 153829322 edges, 342105 markings/sec, 135 secs
lola: 53451940 markings, 158881715 edges, 327310 markings/sec, 140 secs
lola: 55301798 markings, 164324864 edges, 369972 markings/sec, 145 secs
lola: 56887815 markings, 169581770 edges, 317203 markings/sec, 150 secs
lola: 58613926 markings, 175134552 edges, 345222 markings/sec, 155 secs
lola: 60138141 markings, 180264896 edges, 304843 markings/sec, 160 secs
lola: 61637089 markings, 185384421 edges, 299790 markings/sec, 165 secs
lola: 63191111 markings, 190803723 edges, 310804 markings/sec, 170 secs
lola: 64724698 markings, 195608649 edges, 306717 markings/sec, 175 secs
lola: 66248372 markings, 200706915 edges, 304735 markings/sec, 180 secs
lola: 67726892 markings, 205724149 edges, 295704 markings/sec, 185 secs
lola: 69213903 markings, 210773031 edges, 297402 markings/sec, 190 secs
lola: 70802320 markings, 216116056 edges, 317683 markings/sec, 195 secs
lola: 72185941 markings, 220981655 edges, 276724 markings/sec, 200 secs
lola: 74007236 markings, 226680689 edges, 364259 markings/sec, 205 secs
lola: 75477389 markings, 231650758 edges, 294031 markings/sec, 210 secs
lola: 77187627 markings, 237104073 edges, 342048 markings/sec, 215 secs
lola: 78996846 markings, 242572717 edges, 361844 markings/sec, 220 secs
lola: 80465829 markings, 247748384 edges, 293797 markings/sec, 225 secs
lola: 81955457 markings, 252970410 edges, 297926 markings/sec, 230 secs
lola: 83401137 markings, 257855454 edges, 289136 markings/sec, 235 secs
lola: 85007661 markings, 262929754 edges, 321305 markings/sec, 240 secs
lola: 86650001 markings, 268186998 edges, 328468 markings/sec, 245 secs
lola: 88088671 markings, 273371079 edges, 287734 markings/sec, 250 secs
lola: 89591599 markings, 278356271 edges, 300586 markings/sec, 255 secs
lola: 91285102 markings, 283963307 edges, 338701 markings/sec, 260 secs
lola: 92832699 markings, 289105634 edges, 309519 markings/sec, 265 secs
lola: 94391801 markings, 294374570 edges, 311820 markings/sec, 270 secs
lola: 95786411 markings, 299515742 edges, 278922 markings/sec, 275 secs
lola: 97378880 markings, 304660247 edges, 318494 markings/sec, 280 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes unknown unknown unknown unknown unknown unknown unknown unknown yes unknown yes unknown unknown
lola: memory consumption: 9157116 KB
lola: time consumption: 994 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 286 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((A (F (FIREABLE(ssF))) OR FIREABLE(ssR)) U (FIREABLE(srG))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A((A(TRUE U FIREABLE(ssF)) OR FIREABLE(ssR)) U (FIREABLE(srG)))
lola: processed formula length: 63
lola: 43 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-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: 100001 markings, 100001 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N2000P0-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((NOT FIREABLE(csR) AND (E (F (FIREABLE(msA))) OR (FIREABLE(msG) OR NOT FIREABLE(srR))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: processed formula: E(TRUE U (NOT FIREABLE(csR) AND (E(TRUE U FIREABLE(msA)) OR (FIREABLE(msG) OR NOT FIREABLE(srR)))))
lola: processed formula length: 100
lola: 43 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-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: 100005 markings, 100005 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N2000P0-CTLFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (G (NOT FIREABLE(ssG))) U E (G (NOT FIREABLE(csF)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: E(NOT(A(TRUE U FIREABLE(ssG))) U NOT(A(TRUE U FIREABLE(csF))))
lola: processed formula length: 62
lola: 46 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-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 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 2318919 markings, 4403796 edges, 463784 markings/sec, 0 secs
lola: 4585848 markings, 8841560 edges, 453386 markings/sec, 5 secs
lola: 6864890 markings, 13318052 edges, 455808 markings/sec, 10 secs
lola: 9093541 markings, 17702953 edges, 445730 markings/sec, 15 secs
lola: 11305178 markings, 22051848 edges, 442327 markings/sec, 20 secs
lola: 13479292 markings, 26337157 edges, 434823 markings/sec, 25 secs
lola: 15649315 markings, 30614042 edges, 434005 markings/sec, 30 secs
lola: 17783237 markings, 34826486 edges, 426784 markings/sec, 35 secs
lola: 19940438 markings, 39076507 edges, 431440 markings/sec, 40 secs
lola: 22183745 markings, 43504197 edges, 448661 markings/sec, 45 secs
lola: 24363557 markings, 47814506 edges, 435962 markings/sec, 50 secs
lola: 26521117 markings, 52070845 edges, 431512 markings/sec, 55 secs
lola: 28641880 markings, 56264055 edges, 424153 markings/sec, 60 secs
lola: 30724440 markings, 60381477 edges, 416512 markings/sec, 65 secs
lola: 32779764 markings, 64435323 edges, 411065 markings/sec, 70 secs
lola: 34893188 markings, 68612653 edges, 422685 markings/sec, 75 secs
lola: 36949827 markings, 72686603 edges, 411328 markings/sec, 80 secs
lola: 38993912 markings, 76725657 edges, 408817 markings/sec, 85 secs
lola: 41008105 markings, 80705105 edges, 402839 markings/sec, 90 secs
lola: 42974523 markings, 84602297 edges, 393284 markings/sec, 95 secs
lola: 45013150 markings, 88629352 edges, 407725 markings/sec, 100 secs
lola: 46964528 markings, 92487246 edges, 390276 markings/sec, 105 secs
lola: 48937984 markings, 96393564 edges, 394691 markings/sec, 110 secs
lola: 50862521 markings, 100207158 edges, 384907 markings/sec, 115 secs
lola: 52821701 markings, 104076309 edges, 391836 markings/sec, 120 secs
lola: 54833765 markings, 108062409 edges, 402413 markings/sec, 125 secs
lola: 56876159 markings, 112110426 edges, 408479 markings/sec, 130 secs
lola: 58914430 markings, 116136070 edges, 407654 markings/sec, 135 secs
lola: 60906065 markings, 120081283 edges, 398327 markings/sec, 140 secs
lola: 62857538 markings, 123947603 edges, 390295 markings/sec, 145 secs
lola: 64784982 markings, 127766231 edges, 385489 markings/sec, 150 secs
lola: 66717238 markings, 131594628 edges, 386451 markings/sec, 155 secs
lola: 68682569 markings, 135488885 edges, 393066 markings/sec, 160 secs
lola: 70622467 markings, 139332327 edges, 387980 markings/sec, 165 secs
lola: 72530541 markings, 143101388 edges, 381615 markings/sec, 170 secs
lola: 74437510 markings, 146876546 edges, 381394 markings/sec, 175 secs
lola: 76328690 markings, 150627990 edges, 378236 markings/sec, 180 secs
lola: 78194772 markings, 154331887 edges, 373216 markings/sec, 185 secs
lola: 80052217 markings, 158010483 edges, 371489 markings/sec, 190 secs
lola: 81968287 markings, 161805833 edges, 383214 markings/sec, 195 secs
lola: 83937623 markings, 165706933 edges, 393867 markings/sec, 200 secs
lola: 85886102 markings, 169566399 edges, 389696 markings/sec, 205 secs
lola: 87805993 markings, 173368719 edges, 383978 markings/sec, 210 secs
lola: 89718814 markings, 177157104 edges, 382564 markings/sec, 215 secs
lola: 91630380 markings, 180943248 edges, 382313 markings/sec, 220 secs
lola: 93524711 markings, 184695446 edges, 378866 markings/sec, 225 secs
lola: 95362408 markings, 188340534 edges, 367539 markings/sec, 230 secs
lola: 97183534 markings, 191957556 edges, 364225 markings/sec, 235 secs
lola: 99073362 markings, 195699416 edges, 377966 markings/sec, 240 secs
lola: 101003603 markings, 199522255 edges, 386048 markings/sec, 245 secs
lola: 102925380 markings, 203328700 edges, 384355 markings/sec, 250 secs
lola: 104750806 markings, 206961820 edges, 365085 markings/sec, 255 secs
lola: 106596889 markings, 210615834 edges, 369217 markings/sec, 260 secs
lola: 108477437 markings, 214339145 edges, 376110 markings/sec, 265 secs
lola: 110364996 markings, 218077318 edges, 377512 markings/sec, 270 secs
lola: 112162264 markings, 221654501 edges, 359454 markings/sec, 275 secs
lola: 114011618 markings, 225314413 edges, 369871 markings/sec, 280 secs
lola: 115886632 markings, 229026802 edges, 375003 markings/sec, 285 secs
lola: 117679768 markings, 232597059 edges, 358627 markings/sec, 290 secs
lola: 119593381 markings, 236384751 edges, 382723 markings/sec, 295 secs
lola: 121637564 markings, 240432864 edges, 408837 markings/sec, 300 secs
lola: 123690703 markings, 244500362 edges, 410628 markings/sec, 305 secs
lola: 125625020 markings, 248350323 edges, 386863 markings/sec, 310 secs
lola: 127611191 markings, 252282273 edges, 397234 markings/sec, 315 secs
lola: 129614104 markings, 256248793 edges, 400583 markings/sec, 320 secs
lola: 131518769 markings, 260041083 edges, 380933 markings/sec, 325 secs
lola: 133480557 markings, 263923717 edges, 392358 markings/sec, 330 secs
lola: 135469765 markings, 267862923 edges, 397842 markings/sec, 335 secs
lola: 137340943 markings, 271588237 edges, 374236 markings/sec, 340 secs
lola: 139276170 markings, 275418131 edges, 387045 markings/sec, 345 secs
lola: 141225323 markings, 279278193 edges, 389831 markings/sec, 350 secs
lola: 143080498 markings, 282970344 edges, 371035 markings/sec, 355 secs
lola: 145060614 markings, 286889872 edges, 396023 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes unknown unknown unknown yes unknown unknown unknown unknown yes unknown yes unknown no
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((A (F (FIREABLE(ssR))) AND FIREABLE(csR)) U (E (F (FIREABLE(mrR))) AND A (G (FIREABLE(mrF))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: E((A(TRUE U FIREABLE(ssR)) AND FIREABLE(csR)) U (E(TRUE U FIREABLE(mrR)) AND NOT(E(TRUE U NOT FIREABLE(mrF)))))
lola: processed formula length: 111
lola: 46 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-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 4 significant temporal operators and needs 17 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1497183 markings, 4936386 edges, 299437 markings/sec, 0 secs
lola: 2791874 markings, 9533746 edges, 258938 markings/sec, 5 secs
lola: 4033017 markings, 14038519 edges, 248229 markings/sec, 10 secs
lola: 5297665 markings, 18661014 edges, 252930 markings/sec, 15 secs
lola: 6381142 markings, 22844060 edges, 216695 markings/sec, 20 secs
lola: 7424605 markings, 26960850 edges, 208693 markings/sec, 25 secs
lola: 8595567 markings, 31396851 edges, 234192 markings/sec, 30 secs
lola: 9889981 markings, 35969516 edges, 258883 markings/sec, 35 secs
lola: 11047993 markings, 40458931 edges, 231602 markings/sec, 40 secs
lola: 12072503 markings, 44528489 edges, 204902 markings/sec, 45 secs
lola: 13109986 markings, 48512403 edges, 207497 markings/sec, 50 secs
lola: 13994740 markings, 52194403 edges, 176951 markings/sec, 55 secs
lola: 14939712 markings, 56041854 edges, 188994 markings/sec, 60 secs
lola: 15880504 markings, 59902701 edges, 188158 markings/sec, 65 secs
lola: 16728087 markings, 63381691 edges, 169517 markings/sec, 70 secs
lola: 17740000 markings, 67470868 edges, 202383 markings/sec, 75 secs
lola: 18787743 markings, 71651480 edges, 209549 markings/sec, 80 secs
lola: 19908258 markings, 75840475 edges, 224103 markings/sec, 85 secs
lola: 21062848 markings, 80064389 edges, 230918 markings/sec, 90 secs
lola: 22231981 markings, 84389048 edges, 233827 markings/sec, 95 secs
lola: 23242473 markings, 88512484 edges, 202098 markings/sec, 100 secs
lola: 24212280 markings, 92499215 edges, 193961 markings/sec, 105 secs
lola: 25168627 markings, 96486031 edges, 191269 markings/sec, 110 secs
lola: 26189825 markings, 100600200 edges, 204240 markings/sec, 115 secs
lola: 27189081 markings, 104463116 edges, 199851 markings/sec, 120 secs
lola: 28116739 markings, 108168492 edges, 185532 markings/sec, 125 secs
lola: 28925897 markings, 111673597 edges, 161832 markings/sec, 130 secs
lola: 29715568 markings, 115241389 edges, 157934 markings/sec, 135 secs
lola: 30483530 markings, 118634656 edges, 153592 markings/sec, 140 secs
lola: 31388534 markings, 122264074 edges, 181001 markings/sec, 145 secs
lola: 32322063 markings, 126002414 edges, 186706 markings/sec, 150 secs
lola: 33155215 markings, 129621696 edges, 166630 markings/sec, 155 secs
lola: 33943885 markings, 133201535 edges, 157734 markings/sec, 160 secs
lola: 34763524 markings, 136785253 edges, 163928 markings/sec, 165 secs
lola: 35772176 markings, 140831609 edges, 201730 markings/sec, 170 secs
lola: 36740187 markings, 144736736 edges, 193602 markings/sec, 175 secs
lola: 37569076 markings, 148459850 edges, 165778 markings/sec, 180 secs
lola: 38435803 markings, 152345655 edges, 173345 markings/sec, 185 secs
lola: 39528511 markings, 156472275 edges, 218542 markings/sec, 190 secs
lola: 40605317 markings, 160597510 edges, 215361 markings/sec, 195 secs
lola: 41635736 markings, 164596391 edges, 206084 markings/sec, 200 secs
lola: 42653810 markings, 168521529 edges, 203615 markings/sec, 205 secs
lola: 43744174 markings, 172577369 edges, 218073 markings/sec, 210 secs
lola: 44881741 markings, 176719236 edges, 227513 markings/sec, 215 secs
lola: 45842702 markings, 180618232 edges, 192192 markings/sec, 220 secs
lola: 46765674 markings, 184408089 edges, 184594 markings/sec, 225 secs
lola: 47670477 markings, 188290009 edges, 180961 markings/sec, 230 secs
lola: 48595604 markings, 192096463 edges, 185025 markings/sec, 235 secs
lola: 49464568 markings, 195908330 edges, 173793 markings/sec, 240 secs
lola: 50379973 markings, 199673451 edges, 183081 markings/sec, 245 secs
lola: 51269687 markings, 203552561 edges, 177943 markings/sec, 250 secs
lola: 52203182 markings, 207444214 edges, 186699 markings/sec, 255 secs
lola: 53117657 markings, 211262712 edges, 182895 markings/sec, 260 secs
lola: 54095755 markings, 215193641 edges, 195620 markings/sec, 265 secs
lola: 55005571 markings, 218748114 edges, 181963 markings/sec, 270 secs
lola: 55824798 markings, 222241488 edges, 163845 markings/sec, 275 secs
lola: 56659732 markings, 225742862 edges, 166987 markings/sec, 280 secs
lola: 57541198 markings, 229307261 edges, 176293 markings/sec, 285 secs
lola: 58298355 markings, 232662315 edges, 151431 markings/sec, 290 secs
lola: 59023146 markings, 235965958 edges, 144958 markings/sec, 295 secs
lola: 59734032 markings, 239234145 edges, 142177 markings/sec, 300 secs
lola: 60441514 markings, 242579230 edges, 141496 markings/sec, 305 secs
lola: 61171791 markings, 245943468 edges, 146055 markings/sec, 310 secs
lola: 61925684 markings, 249336300 edges, 150779 markings/sec, 315 secs
lola: 62806441 markings, 252937020 edges, 176151 markings/sec, 320 secs
lola: 63645121 markings, 256469856 edges, 167736 markings/sec, 325 secs
lola: 64468541 markings, 259983050 edges, 164684 markings/sec, 330 secs
lola: 65370179 markings, 263585006 edges, 180328 markings/sec, 335 secs
lola: 66174154 markings, 267092345 edges, 160795 markings/sec, 340 secs
lola: 66925250 markings, 270478622 edges, 150219 markings/sec, 345 secs
lola: 67639623 markings, 273841504 edges, 142875 markings/sec, 350 secs
lola: 68363845 markings, 277196860 edges, 144844 markings/sec, 355 secs
lola: 69091953 markings, 280571987 edges, 145622 markings/sec, 360 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes unknown unknown unknown yes unknown unknown unknown unknown yes unknown yes unknown no
lola: memory consumption: 5163208 KB
lola: time consumption: 1730 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (E (G (FIREABLE(msA))))) OR FIREABLE(srR))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 368 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(srR)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(srR)
lola: processed formula length: 13
lola: 41 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 12 will run for 460 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G (FIREABLE(msA)))))
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 NOT FIREABLE(msA))))
lola: processed formula length: 42
lola: 44 rewrites
lola: closed formula file ClientsAndServers-PT-N2000P0-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: 100001 markings, 200001 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA ClientsAndServers-PT-N2000P0-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 460 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E ((NOT FIREABLE(srA) R FIREABLE(srF))) OR E (G (NOT FIREABLE(ssG))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes unknown unknown unknown yes unknown unknown unknown no yes unknown yes unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola: memory consumption: 14472 KB
lola: time consumption: 2190 seconds
lola: time limit reached - aborting
lola:
preliminary result: unknown unknown yes unknown unknown unknown yes unknown unknown unknown no yes unknown yes unknown no
lola:
preliminary result: unknown unknown yes unknown unknown unknown yes unknown unknown unknown no yes unknown yes unknown no
lola: memory consumption: 14472 KB
lola: time consumption: 3570 seconds
BK_TIME_CONFINEMENT_REACHED
--------------------
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-N2000P0"
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-N2000P0.tgz
mv ClientsAndServers-PT-N2000P0 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-N2000P0, 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-152646357300179"
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 ;