About the Execution of LoLA for ClientsAndServers-PT-N0005P0
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.390 | 2885753.00 | 2873635.00 | 18862.50 | FFT?TFTFTFTTT?TF | 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 168K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.4K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.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 9.4K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 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.0K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 8 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 9.1K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ClientsAndServers-PT-N0005P0, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357200074
=====================================================================
--------------------
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-N0005P0-CTLFireability-00
FORMULA_NAME ClientsAndServers-PT-N0005P0-CTLFireability-01
FORMULA_NAME ClientsAndServers-PT-N0005P0-CTLFireability-02
FORMULA_NAME ClientsAndServers-PT-N0005P0-CTLFireability-03
FORMULA_NAME ClientsAndServers-PT-N0005P0-CTLFireability-04
FORMULA_NAME ClientsAndServers-PT-N0005P0-CTLFireability-05
FORMULA_NAME ClientsAndServers-PT-N0005P0-CTLFireability-06
FORMULA_NAME ClientsAndServers-PT-N0005P0-CTLFireability-07
FORMULA_NAME ClientsAndServers-PT-N0005P0-CTLFireability-08
FORMULA_NAME ClientsAndServers-PT-N0005P0-CTLFireability-09
FORMULA_NAME ClientsAndServers-PT-N0005P0-CTLFireability-10
FORMULA_NAME ClientsAndServers-PT-N0005P0-CTLFireability-11
FORMULA_NAME ClientsAndServers-PT-N0005P0-CTLFireability-12
FORMULA_NAME ClientsAndServers-PT-N0005P0-CTLFireability-13
FORMULA_NAME ClientsAndServers-PT-N0005P0-CTLFireability-14
FORMULA_NAME ClientsAndServers-PT-N0005P0-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526504609816
info: Time: 3600 - MCC
===========================================================================================
prep: translating ClientsAndServers-PT-N0005P0 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating ClientsAndServers-PT-N0005P0 formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ ClientsAndServers-PT-N0005P0 @ 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-N0005P0-CTLFireability.task
lola: E (G (A (F (NOT FIREABLE(maU))))) : A (G (((FIREABLE(ssF) AND FIREABLE(srG)) OR NOT(E (G (FIREABLE(crG))))))) : A (F (FIREABLE(ssR))) : A (G (E (F (A (X (FIREABLE(ssF))))))) : A (F (NOT(A (F (NOT FIREABLE(srG)))))) : (((A (F (FIREABLE(msA))) AND A (G ((FIREABLE(ssR) OR FIREABLE(csR))))) OR (FIREABLE(csF) AND ((FIREABLE(crA)) AND A (F (FIREABLE(srF)))))) AND (NOT FIREABLE(csF) AND NOT FIREABLE(ssF) AND NOT FIREABLE(srG) AND NOT FIREABLE(ssF) AND NOT FIREABLE(ssG) AND NOT FIREABLE(srA))) : A (((NOT FIREABLE(crG) AND NOT FIREABLE(mrR)) U E (G (FIREABLE(mrR))))) : A ((A ((FIREABLE(ssF) U FIREABLE(csR))) U E ((FIREABLE(srF) U FIREABLE(srA))))) : A (F (FIREABLE(ssR))) : A (F (FIREABLE(ssF))) : E (F (E (G (E (G (FIREABLE(ssF))))))) : A (F (FIREABLE(ssR))) : A (F (E (X (E (G (FIREABLE(crG))))))) : NOT(E (G (A (F (FIREABLE(csF)))))) : E (G (E (G (A (F (FIREABLE(ssG))))))) : (E (G (E (G (NOT FIREABLE(ssG))))) AND A ((FIREABLE(maU) U A (F (FIREABLE(ssF))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:461
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:461
lola: rewrite Frontend/Parser/formula_rewrite.k:461
lola: rewrite Frontend/Parser/formula_rewrite.k:470
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (A (X (FIREABLE(ssF)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: processed formula: NOT(E(TRUE U NOT(E(TRUE U AX(FIREABLE(ssF))))))
lola: processed formula length: 47
lola: 18 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-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: 948615 markings, 4941005 edges, 189723 markings/sec, 0 secs
lola: 1756104 markings, 9319883 edges, 161498 markings/sec, 5 secs
lola: 2511058 markings, 13484493 edges, 150991 markings/sec, 10 secs
lola: 3236814 markings, 17519576 edges, 145151 markings/sec, 15 secs
lola: 3941411 markings, 21469205 edges, 140919 markings/sec, 20 secs
lola: 4625577 markings, 25327826 edges, 136833 markings/sec, 25 secs
lola: 5296436 markings, 29123572 edges, 134172 markings/sec, 30 secs
lola: 5953853 markings, 32861722 edges, 131483 markings/sec, 35 secs
lola: 6607920 markings, 36586615 edges, 130813 markings/sec, 40 secs
lola: 7248868 markings, 40255035 edges, 128190 markings/sec, 45 secs
lola: 7882352 markings, 43891733 edges, 126697 markings/sec, 50 secs
lola: 8507244 markings, 47485047 edges, 124978 markings/sec, 55 secs
lola: 9123773 markings, 51038054 edges, 123306 markings/sec, 60 secs
lola: 9732303 markings, 54563651 edges, 121706 markings/sec, 65 secs
lola: 10334544 markings, 58058708 edges, 120448 markings/sec, 70 secs
lola: 10934824 markings, 61545777 edges, 120056 markings/sec, 75 secs
lola: 11530527 markings, 65008594 edges, 119141 markings/sec, 80 secs
lola: 12120124 markings, 68439934 edges, 117919 markings/sec, 85 secs
lola: 12709167 markings, 71869505 edges, 117809 markings/sec, 90 secs
lola: 13285669 markings, 75247984 edges, 115300 markings/sec, 95 secs
lola: 13872601 markings, 78682453 edges, 117386 markings/sec, 100 secs
lola: 14451317 markings, 82078522 edges, 115743 markings/sec, 105 secs
lola: 15027408 markings, 85460517 edges, 115218 markings/sec, 110 secs
lola: 15601014 markings, 88830918 edges, 114721 markings/sec, 115 secs
lola: 16168040 markings, 92168259 edges, 113405 markings/sec, 120 secs
lola: 16732212 markings, 95497581 edges, 112834 markings/sec, 125 secs
lola: 17298205 markings, 98835559 edges, 113199 markings/sec, 130 secs
lola: 17854606 markings, 102126132 edges, 111280 markings/sec, 135 secs
lola: 18411399 markings, 105414296 edges, 111359 markings/sec, 140 secs
lola: 18962852 markings, 108678695 edges, 110291 markings/sec, 145 secs
lola: 19514572 markings, 111941853 edges, 110344 markings/sec, 150 secs
lola: 20063779 markings, 115203714 edges, 109841 markings/sec, 155 secs
lola: 20620089 markings, 118493581 edges, 111262 markings/sec, 160 secs
lola: 21168536 markings, 121748080 edges, 109689 markings/sec, 165 secs
lola: 21712415 markings, 124988260 edges, 108776 markings/sec, 170 secs
lola: 22255762 markings, 128219024 edges, 108669 markings/sec, 175 secs
lola: 22797901 markings, 131445846 edges, 108428 markings/sec, 180 secs
lola: 23340380 markings, 134681237 edges, 108496 markings/sec, 185 secs
lola: 23874865 markings, 137873393 edges, 106897 markings/sec, 190 secs
lola: 24404478 markings, 141034895 edges, 105923 markings/sec, 195 secs
lola: 24931724 markings, 144188824 edges, 105449 markings/sec, 200 secs
lola: 25460794 markings, 147346972 edges, 105814 markings/sec, 205 secs
lola: 25982352 markings, 150474357 edges, 104312 markings/sec, 210 secs
lola: 26505260 markings, 153602145 edges, 104582 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: 5010956 KB
lola: time consumption: 224 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 1 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (X (E (G (FIREABLE(crG)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U EX(NOT(A(TRUE U NOT FIREABLE(crG)))))
lola: processed formula length: 46
lola: 19 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-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: 228477 markings, 1330864 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(ssR)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(ssR)
lola: processed formula length: 17
lola: 17 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-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: 41 markings, 40 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-8 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 3 will run for 257 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (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: NOT FIREABLE(ssF)
lola: processed formula length: 17
lola: 17 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 251 markings, 250 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 278 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (FIREABLE(ssF)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: FIREABLE(ssF)
lola: processed formula length: 13
lola: 16 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space /EFEG
lola: The predicate is possibly preserved from a reachable marking.
lola: 148 markings, 148 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 304 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(ssR)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(ssR)
lola: processed formula length: 17
lola: 17 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-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: 41 markings, 40 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 6 will run for 334 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(ssR)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(ssR)
lola: processed formula length: 17
lola: 17 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-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: 41 markings, 40 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-2 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 371 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G (FIREABLE(srG)))))
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:300
lola: processed formula: A(TRUE U NOT(A(TRUE U NOT FIREABLE(srG))))
lola: processed formula length: 42
lola: 18 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-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: 98273 markings, 271017 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-4 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 418 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F (NOT FIREABLE(maU)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U NOT FIREABLE(maU)))))
lola: processed formula length: 47
lola: 17 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-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: 6279 markings, 8084 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 477 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (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:732
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: A(TRUE U NOT(A(TRUE U FIREABLE(csF))))
lola: processed formula length: 38
lola: 18 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-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: 1946527 markings, 5768932 edges, 389305 markings/sec, 0 secs
lola: 3949279 markings, 11835701 edges, 400550 markings/sec, 5 secs
lola: 5988718 markings, 18064556 edges, 407888 markings/sec, 10 secs
lola: 7711153 markings, 23623167 edges, 344487 markings/sec, 15 secs
lola: 9135035 markings, 28522121 edges, 284776 markings/sec, 20 secs
lola: 10598111 markings, 33496581 edges, 292615 markings/sec, 25 secs
lola: 12029752 markings, 38650015 edges, 286328 markings/sec, 30 secs
lola: 13326551 markings, 43326592 edges, 259360 markings/sec, 35 secs
lola: 14528509 markings, 47773975 edges, 240392 markings/sec, 40 secs
lola: 15698651 markings, 52094052 edges, 234028 markings/sec, 45 secs
lola: 16863820 markings, 56419207 edges, 233034 markings/sec, 50 secs
lola: 18026749 markings, 60737348 edges, 232586 markings/sec, 55 secs
lola: 19201449 markings, 65064318 edges, 234940 markings/sec, 60 secs
lola: 20397826 markings, 69462282 edges, 239275 markings/sec, 65 secs
lola: 21849732 markings, 74578656 edges, 290381 markings/sec, 70 secs
lola: 23079732 markings, 79342882 edges, 246000 markings/sec, 75 secs
lola: 24252552 markings, 83896976 edges, 234564 markings/sec, 80 secs
lola: 25381564 markings, 88286484 edges, 225802 markings/sec, 85 secs
lola: 26578800 markings, 92731196 edges, 239447 markings/sec, 90 secs
lola: 27620625 markings, 96875584 edges, 208365 markings/sec, 95 secs
lola: 28735493 markings, 101084814 edges, 222974 markings/sec, 100 secs
lola: 29713412 markings, 105036457 edges, 195584 markings/sec, 105 secs
lola: 30813468 markings, 109143467 edges, 220011 markings/sec, 110 secs
lola: 31797528 markings, 113109716 edges, 196812 markings/sec, 115 secs
lola: 32836218 markings, 117093694 edges, 207738 markings/sec, 120 secs
lola: 33907745 markings, 121178879 edges, 214305 markings/sec, 125 secs
lola: 34893059 markings, 125100900 edges, 197063 markings/sec, 130 secs
lola: 35985670 markings, 129212290 edges, 218522 markings/sec, 135 secs
lola: 36965254 markings, 133124512 edges, 195917 markings/sec, 140 secs
lola: 38064315 markings, 137226660 edges, 219812 markings/sec, 145 secs
lola: 39019304 markings, 141109139 edges, 190998 markings/sec, 150 secs
lola: 40071104 markings, 145129867 edges, 210360 markings/sec, 155 secs
lola: 41139807 markings, 149228746 edges, 213741 markings/sec, 160 secs
lola: 42163982 markings, 153289254 edges, 204835 markings/sec, 165 secs
lola: 43568811 markings, 158236319 edges, 280966 markings/sec, 170 secs
lola: 44810260 markings, 163028379 edges, 248290 markings/sec, 175 secs
lola: 46022589 markings, 167661751 edges, 242466 markings/sec, 180 secs
lola: 47087086 markings, 172082370 edges, 212899 markings/sec, 185 secs
lola: 48228936 markings, 176496722 edges, 228370 markings/sec, 190 secs
lola: 49210223 markings, 180640876 edges, 196257 markings/sec, 195 secs
lola: 50223148 markings, 184813216 edges, 202585 markings/sec, 200 secs
lola: 51308691 markings, 189034852 edges, 217109 markings/sec, 205 secs
lola: 52236400 markings, 193027922 edges, 185542 markings/sec, 210 secs
lola: 53301322 markings, 197169183 edges, 212984 markings/sec, 215 secs
lola: 54238664 markings, 201016424 edges, 187468 markings/sec, 220 secs
lola: 55290225 markings, 205034001 edges, 210312 markings/sec, 225 secs
lola: 56376723 markings, 209206510 edges, 217300 markings/sec, 230 secs
lola: 57320699 markings, 213194921 edges, 188795 markings/sec, 235 secs
lola: 58219576 markings, 216963513 edges, 179775 markings/sec, 240 secs
lola: 59168045 markings, 220732080 edges, 189694 markings/sec, 245 secs
lola: 60165355 markings, 224570810 edges, 199462 markings/sec, 250 secs
lola: 61223724 markings, 228752382 edges, 211674 markings/sec, 255 secs
lola: 62081549 markings, 232418600 edges, 171565 markings/sec, 260 secs
lola: 63010541 markings, 236162206 edges, 185798 markings/sec, 265 secs
lola: 63934515 markings, 239906158 edges, 184795 markings/sec, 270 secs
lola: 65007532 markings, 243935473 edges, 214603 markings/sec, 275 secs
lola: 65923631 markings, 247683721 edges, 183220 markings/sec, 280 secs
lola: 66781334 markings, 251356441 edges, 171541 markings/sec, 285 secs
lola: 67717595 markings, 255090986 edges, 187252 markings/sec, 290 secs
lola: 68651968 markings, 258827733 edges, 186875 markings/sec, 295 secs
lola: 69704399 markings, 262821233 edges, 210486 markings/sec, 300 secs
lola: 70615065 markings, 266527595 edges, 182133 markings/sec, 305 secs
lola: 71445352 markings, 270133694 edges, 166057 markings/sec, 310 secs
lola: 72384117 markings, 273863863 edges, 187753 markings/sec, 315 secs
lola: 73327650 markings, 277613614 edges, 188707 markings/sec, 320 secs
lola: 74371365 markings, 281574983 edges, 208743 markings/sec, 325 secs
lola: 75275445 markings, 285277889 edges, 180816 markings/sec, 330 secs
lola: 76091805 markings, 288853112 edges, 163272 markings/sec, 335 secs
lola: 77061341 markings, 292647154 edges, 193907 markings/sec, 340 secs
lola: 77998053 markings, 296403281 edges, 187342 markings/sec, 345 secs
lola: 79070771 markings, 300436894 edges, 214544 markings/sec, 350 secs
lola: 79963850 markings, 304170251 edges, 178616 markings/sec, 355 secs
lola: 80810804 markings, 307834069 edges, 169391 markings/sec, 360 secs
lola: 81808171 markings, 311762700 edges, 199473 markings/sec, 365 secs
lola: 82825440 markings, 315721794 edges, 203454 markings/sec, 370 secs
lola: 84258953 markings, 320815651 edges, 286703 markings/sec, 375 secs
lola: 85494335 markings, 325516234 edges, 247076 markings/sec, 380 secs
lola: 86614590 markings, 330029932 edges, 224051 markings/sec, 385 secs
lola: 87763553 markings, 334460860 edges, 229793 markings/sec, 390 secs
lola: 88768560 markings, 338700007 edges, 201001 markings/sec, 395 secs
lola: 89791150 markings, 342931579 edges, 204518 markings/sec, 400 secs
lola: 90806624 markings, 347041075 edges, 203095 markings/sec, 405 secs
lola: 91884562 markings, 351277399 edges, 215588 markings/sec, 410 secs
lola: 92802429 markings, 355237544 edges, 183573 markings/sec, 415 secs
lola: 93679846 markings, 359157210 edges, 175483 markings/sec, 420 secs
lola: 94658828 markings, 363136192 edges, 195796 markings/sec, 425 secs
lola: 95623060 markings, 367084335 edges, 192846 markings/sec, 430 secs
lola: 96662716 markings, 371158559 edges, 207931 markings/sec, 435 secs
lola: 97543058 markings, 374932548 edges, 176068 markings/sec, 440 secs
lola: 98351793 markings, 378611919 edges, 161747 markings/sec, 445 secs
lola: 99282502 markings, 382477321 edges, 186142 markings/sec, 450 secs
lola: 100129898 markings, 386117229 edges, 169479 markings/sec, 455 secs
lola: 101160963 markings, 390149943 edges, 206213 markings/sec, 460 secs
lola: 102071739 markings, 393864276 edges, 182155 markings/sec, 465 secs
lola: 102908065 markings, 397475839 edges, 167265 markings/sec, 470 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown yes unknown yes unknown unknown unknown yes no yes yes yes unknown unknown unknown
lola: memory consumption: 7625320 KB
lola: time consumption: 703 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 477 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F (FIREABLE(ssG)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: processed formula: NOT(A(TRUE U NOT(A(TRUE U FIREABLE(ssG)))))
lola: processed formula length: 43
lola: 17 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-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: 2150098 markings, 6154918 edges, 430020 markings/sec, 0 secs
lola: 4041197 markings, 11859623 edges, 378220 markings/sec, 5 secs
lola: 5746733 markings, 17117341 edges, 341107 markings/sec, 10 secs
lola: 7349879 markings, 22192006 edges, 320629 markings/sec, 15 secs
lola: 8665535 markings, 27169055 edges, 263131 markings/sec, 20 secs
lola: 9897039 markings, 32200623 edges, 246301 markings/sec, 25 secs
lola: 11244516 markings, 36982770 edges, 269495 markings/sec, 30 secs
lola: 12511937 markings, 41639039 edges, 253484 markings/sec, 35 secs
lola: 13508827 markings, 46290431 edges, 199378 markings/sec, 40 secs
lola: 14703397 markings, 51234115 edges, 238914 markings/sec, 45 secs
lola: 16061992 markings, 56061976 edges, 271719 markings/sec, 50 secs
lola: 17339838 markings, 60760778 edges, 255569 markings/sec, 55 secs
lola: 18310714 markings, 65486101 edges, 194175 markings/sec, 60 secs
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 18499516 markings, 66702909 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 560 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((NOT FIREABLE(crG) AND NOT FIREABLE(mrR)) U E (G (FIREABLE(mrR)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A((NOT FIREABLE(crG) AND NOT FIREABLE(mrR)) U NOT(A(TRUE U NOT FIREABLE(mrR))))
lola: processed formula length: 79
lola: 18 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-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: 1679 markings, 3129 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 700 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (((FIREABLE(ssF) AND FIREABLE(srG)) OR A (F (NOT FIREABLE(crG))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: NOT(E(TRUE U ((NOT FIREABLE(ssF) OR NOT FIREABLE(srG)) AND NOT(A(TRUE U NOT FIREABLE(crG))))))
lola: processed formula length: 95
lola: 19 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-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: 333 markings, 426 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 933 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((A ((FIREABLE(ssF) U FIREABLE(csR))) U E ((FIREABLE(srF) U FIREABLE(srA)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A(A(FIREABLE(ssF) U FIREABLE(csR)) U E(FIREABLE(srF) U FIREABLE(srA)))
lola: processed formula length: 70
lola: 18 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-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: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 41 markings, 122 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 14 will run for 1400 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (NOT FIREABLE(ssG))) AND A (F (FIREABLE(ssF))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1400 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (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: NOT FIREABLE(ssF)
lola: processed formula length: 17
lola: 17 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 251 markings, 250 edges
lola: lola: SUBRESULT
========================================
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 15 will run for 2801 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((A (F (FIREABLE(msA))) AND A (G ((FIREABLE(ssR) OR FIREABLE(csR))))) OR (FIREABLE(csF) AND ((FIREABLE(crA)) AND A (F (FIREABLE(srF)))))) AND (NOT FIREABLE(csF) AND NOT FIREABLE(ssF) AND NOT FIREABLE(srG) AND NOT FIREABLE(ssF) AND NOT FIREABLE(ssG) AND NOT FIREABLE(srA)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2801 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(csF) AND NOT FIREABLE(ssF) AND NOT FIREABLE(srG) AND NOT FIREABLE(ssF) AND NOT FIREABLE(ssG) AND NOT FIREABLE(srA))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(csF) AND NOT FIREABLE(ssF) AND NOT FIREABLE(srG) AND NOT FIREABLE(ssF) AND NOT FIREABLE(ssG) AND NOT FIREABLE(srA))
lola: processed formula length: 129
lola: 15 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(csF)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(csF)
lola: processed formula length: 13
lola: 15 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-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 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(msA)))
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(msA)
lola: processed formula length: 17
lola: 17 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 13707 markings, 16437 edges
lola: lola: SUBRESULT
lola: ========================================
result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G (E (F (A (X (FIREABLE(ssF)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: processed formula: NOT(E(TRUE U NOT(E(TRUE U AX(FIREABLE(ssF))))))
lola: processed formula length: 47
lola: 18 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-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: 918199 markings, 4776124 edges, 183640 markings/sec, 0 secs
lola: 1728138 markings, 9167995 edges, 161988 markings/sec, 5 secs
lola: 2485071 markings, 13340991 edges, 151387 markings/sec, 10 secs
lola: 3211853 markings, 17381048 edges, 145356 markings/sec, 15 secs
lola: 3916015 markings, 21326287 edges, 140832 markings/sec, 20 secs
lola: 4602779 markings, 25199124 edges, 137353 markings/sec, 25 secs
lola: 5277926 markings, 29017357 edges, 135029 markings/sec, 30 secs
lola: 5937424 markings, 32767294 edges, 131900 markings/sec, 35 secs
lola: 6591947 markings, 36494481 edges, 130905 markings/sec, 40 secs
lola: 7235020 markings, 40174443 edges, 128615 markings/sec, 45 secs
lola: 7869119 markings, 43815568 edges, 126820 markings/sec, 50 secs
lola: 8495269 markings, 47416458 edges, 125230 markings/sec, 55 secs
lola: 9113948 markings, 50980754 edges, 123736 markings/sec, 60 secs
lola: 9723016 markings, 54509525 edges, 121814 markings/sec, 65 secs
lola: 10319110 markings, 57969151 edges, 119219 markings/sec, 70 secs
lola: 10914217 markings, 61426872 edges, 119021 markings/sec, 75 secs
lola: 11507305 markings, 64874316 edges, 118618 markings/sec, 80 secs
lola: 12090400 markings, 68267793 edges, 116619 markings/sec, 85 secs
lola: 12671220 markings, 71647743 edges, 116164 markings/sec, 90 secs
lola: 13242928 markings, 74997382 edges, 114342 markings/sec, 95 secs
lola: 13813872 markings, 78339102 edges, 114189 markings/sec, 100 secs
lola: 14378657 markings, 81650545 edges, 112957 markings/sec, 105 secs
lola: 14937688 markings, 84934650 edges, 111806 markings/sec, 110 secs
lola: 15500219 markings, 88236825 edges, 112506 markings/sec, 115 secs
lola: 16055635 markings, 91504340 edges, 111083 markings/sec, 120 secs
lola: 16605881 markings, 94752857 edges, 110049 markings/sec, 125 secs
lola: 17141308 markings, 97909776 edges, 107085 markings/sec, 130 secs
lola: 17669662 markings, 101024535 edges, 105671 markings/sec, 135 secs
lola: 18211089 markings, 104232037 edges, 108285 markings/sec, 140 secs
lola: 18763309 markings, 107498768 edges, 110444 markings/sec, 145 secs
lola: 19315344 markings, 110763506 edges, 110407 markings/sec, 150 secs
lola: 19862986 markings, 114006032 edges, 109528 markings/sec, 155 secs
lola: 20405132 markings, 117225037 edges, 108429 markings/sec, 160 secs
lola: 20953661 markings, 120470822 edges, 109706 markings/sec, 165 secs
lola: 21490000 markings, 123664835 edges, 107268 markings/sec, 170 secs
lola: 22029104 markings, 126864948 edges, 107821 markings/sec, 175 secs
lola: 22562558 markings, 130042335 edges, 106691 markings/sec, 180 secs
lola: 23094418 markings, 133215186 edges, 106372 markings/sec, 185 secs
lola: 23628035 markings, 136392588 edges, 106723 markings/sec, 190 secs
lola: 24155708 markings, 139550277 edges, 105535 markings/sec, 195 secs
lola: 24680896 markings, 142689338 edges, 105038 markings/sec, 200 secs
lola: 25204529 markings, 145820416 edges, 104727 markings/sec, 205 secs
lola: 25728525 markings, 148951846 edges, 104799 markings/sec, 210 secs
lola: 26249795 markings, 152072008 edges, 104254 markings/sec, 215 secs
lola: 26764089 markings, 155154556 edges, 102859 markings/sec, 220 secs
lola: 27285752 markings, 158269566 edges, 104333 markings/sec, 225 secs
lola: 27803946 markings, 161371192 edges, 103639 markings/sec, 230 secs
lola: 28316721 markings, 164447508 edges, 102555 markings/sec, 235 secs
lola: 28829663 markings, 167532002 edges, 102588 markings/sec, 240 secs
lola: 29336307 markings, 170578534 edges, 101329 markings/sec, 245 secs
lola: 29844915 markings, 173637843 edges, 101722 markings/sec, 250 secs
lola: 30354479 markings, 176694624 edges, 101913 markings/sec, 255 secs
lola: 30856281 markings, 179719675 edges, 100360 markings/sec, 260 secs
lola: 31358666 markings, 182741452 edges, 100477 markings/sec, 265 secs
lola: 31861068 markings, 185765399 edges, 100480 markings/sec, 270 secs
lola: 32362125 markings, 188788627 edges, 100211 markings/sec, 275 secs
lola: 32860146 markings, 191794531 edges, 99604 markings/sec, 280 secs
lola: 33355417 markings, 194791740 edges, 99054 markings/sec, 285 secs
lola: 33853020 markings, 197795616 edges, 99521 markings/sec, 290 secs
lola: 34349981 markings, 200793611 edges, 99392 markings/sec, 295 secs
lola: 34850948 markings, 203809849 edges, 100193 markings/sec, 300 secs
lola: 35344194 markings, 206792457 edges, 98649 markings/sec, 305 secs
lola: 35832260 markings, 209749227 edges, 97613 markings/sec, 310 secs
lola: 36322566 markings, 212713934 edges, 98061 markings/sec, 315 secs
lola: 36810969 markings, 215674172 edges, 97681 markings/sec, 320 secs
lola: 37297478 markings, 218623791 edges, 97302 markings/sec, 325 secs
lola: 37788153 markings, 221584460 edges, 98135 markings/sec, 330 secs
lola: 38276040 markings, 224540119 edges, 97577 markings/sec, 335 secs
lola: 38757847 markings, 227467919 edges, 96361 markings/sec, 340 secs
lola: 39243855 markings, 230413814 edges, 97202 markings/sec, 345 secs
lola: 39727942 markings, 233352069 edges, 96817 markings/sec, 350 secs
lola: 40211426 markings, 236284309 edges, 96697 markings/sec, 355 secs
lola: 40687897 markings, 239187705 edges, 95294 markings/sec, 360 secs
lola: 41162007 markings, 242072748 edges, 94822 markings/sec, 365 secs
lola: 41638784 markings, 244974502 edges, 95355 markings/sec, 370 secs
lola: 42118672 markings, 247884143 edges, 95978 markings/sec, 375 secs
lola: 42591318 markings, 250760428 edges, 94529 markings/sec, 380 secs
lola: 43062811 markings, 253638871 edges, 94299 markings/sec, 385 secs
lola: 43535292 markings, 256512206 edges, 94496 markings/sec, 390 secs
lola: 44009009 markings, 259398730 edges, 94743 markings/sec, 395 secs
lola: 44478880 markings, 262262071 edges, 93974 markings/sec, 400 secs
lola: 44947506 markings, 265124949 edges, 93725 markings/sec, 405 secs
lola: 45416321 markings, 267979649 edges, 93763 markings/sec, 410 secs
lola: 45880253 markings, 270806696 edges, 92786 markings/sec, 415 secs
lola: 46339183 markings, 273612740 edges, 91786 markings/sec, 420 secs
lola: 46806553 markings, 276457202 edges, 93474 markings/sec, 425 secs
lola: 47266843 markings, 279266738 edges, 92058 markings/sec, 430 secs
lola: 47729928 markings, 282090791 edges, 92617 markings/sec, 435 secs
lola: 48186243 markings, 284882099 edges, 91263 markings/sec, 440 secs
lola: 48642001 markings, 287669406 edges, 91152 markings/sec, 445 secs
lola: 49100942 markings, 290474301 edges, 91788 markings/sec, 450 secs
lola: 49558450 markings, 293266789 edges, 91502 markings/sec, 455 secs
lola: 50012415 markings, 296049477 edges, 90793 markings/sec, 460 secs
lola: 50467886 markings, 298837458 edges, 91094 markings/sec, 465 secs
lola: 50924224 markings, 301627715 edges, 91268 markings/sec, 470 secs
lola: 51377861 markings, 304401645 edges, 90727 markings/sec, 475 secs
lola: 51824657 markings, 307147849 edges, 89359 markings/sec, 480 secs
lola: 52278639 markings, 309928784 edges, 90796 markings/sec, 485 secs
lola: 52729968 markings, 312689713 edges, 90266 markings/sec, 490 secs
lola: 53182833 markings, 315464879 edges, 90573 markings/sec, 495 secs
lola: 53632687 markings, 318225573 edges, 89971 markings/sec, 500 secs
lola: 54080384 markings, 320968739 edges, 89539 markings/sec, 505 secs
lola: 54529716 markings, 323722292 edges, 89866 markings/sec, 510 secs
lola: 54979352 markings, 326481732 edges, 89927 markings/sec, 515 secs
lola: 55427140 markings, 329227245 edges, 89558 markings/sec, 520 secs
lola: 55876534 markings, 331987671 edges, 89879 markings/sec, 525 secs
lola: 56319610 markings, 334712137 edges, 88615 markings/sec, 530 secs
lola: 56764208 markings, 337445367 edges, 88920 markings/sec, 535 secs
lola: 57208836 markings, 340179675 edges, 88926 markings/sec, 540 secs
lola: 57649546 markings, 342893172 edges, 88142 markings/sec, 545 secs
lola: 58095560 markings, 345634757 edges, 89203 markings/sec, 550 secs
lola: 58541817 markings, 348379104 edges, 89251 markings/sec, 555 secs
lola: 58982819 markings, 351090736 edges, 88200 markings/sec, 560 secs
lola: 59423704 markings, 353805064 edges, 88177 markings/sec, 565 secs
lola: 59866666 markings, 356533348 edges, 88592 markings/sec, 570 secs
lola: 60306418 markings, 359238321 edges, 87950 markings/sec, 575 secs
lola: 60745082 markings, 361934139 edges, 87733 markings/sec, 580 secs
lola: 61186931 markings, 364648430 edges, 88370 markings/sec, 585 secs
lola: 61625438 markings, 367351742 edges, 87701 markings/sec, 590 secs
lola: 62066540 markings, 370074727 edges, 88220 markings/sec, 595 secs
lola: 62507425 markings, 372792333 edges, 88177 markings/sec, 600 secs
lola: 62944946 markings, 375485820 edges, 87504 markings/sec, 605 secs
lola: 63381851 markings, 378176696 edges, 87381 markings/sec, 610 secs
lola: 63813601 markings, 380846681 edges, 86350 markings/sec, 615 secs
lola: 64250253 markings, 383541045 edges, 87330 markings/sec, 620 secs
lola: 64689015 markings, 386239982 edges, 87752 markings/sec, 625 secs
lola: 65127677 markings, 388942733 edges, 87732 markings/sec, 630 secs
lola: 65560314 markings, 391618108 edges, 86527 markings/sec, 635 secs
lola: 65996490 markings, 394314027 edges, 87235 markings/sec, 640 secs
lola: 66435672 markings, 397019564 edges, 87836 markings/sec, 645 secs
lola: 66869956 markings, 399702836 edges, 86857 markings/sec, 650 secs
lola: 67304718 markings, 402385097 edges, 86952 markings/sec, 655 secs
lola: 67735617 markings, 405050852 edges, 86180 markings/sec, 660 secs
lola: 68164540 markings, 407707373 edges, 85785 markings/sec, 665 secs
lola: 68595802 markings, 410373116 edges, 86252 markings/sec, 670 secs
lola: 69023199 markings, 413018651 edges, 85479 markings/sec, 675 secs
lola: 69454194 markings, 415689541 edges, 86199 markings/sec, 680 secs
lola: 69884912 markings, 418350058 edges, 86144 markings/sec, 685 secs
lola: 70309656 markings, 420982175 edges, 84949 markings/sec, 690 secs
lola: 70738189 markings, 423639928 edges, 85707 markings/sec, 695 secs
lola: 71164980 markings, 426284171 edges, 85358 markings/sec, 700 secs
lola: 71594912 markings, 428947125 edges, 85986 markings/sec, 705 secs
lola: 72021596 markings, 431592280 edges, 85337 markings/sec, 710 secs
lola: 72447639 markings, 434230402 edges, 85209 markings/sec, 715 secs
lola: 72871344 markings, 436857689 edges, 84741 markings/sec, 720 secs
lola: 73298806 markings, 439507123 edges, 85492 markings/sec, 725 secs
lola: 73727089 markings, 442156251 edges, 85657 markings/sec, 730 secs
lola: 74150699 markings, 444780712 edges, 84722 markings/sec, 735 secs
lola: 74576281 markings, 447413622 edges, 85116 markings/sec, 740 secs
lola: 75001054 markings, 450050376 edges, 84955 markings/sec, 745 secs
lola: 75421477 markings, 452666213 edges, 84085 markings/sec, 750 secs
lola: 75843666 markings, 455283236 edges, 84438 markings/sec, 755 secs
lola: 76264147 markings, 457888459 edges, 84096 markings/sec, 760 secs
lola: 76688101 markings, 460514972 edges, 84791 markings/sec, 765 secs
lola: 77108026 markings, 463125847 edges, 83985 markings/sec, 770 secs
lola: 77528652 markings, 465733355 edges, 84125 markings/sec, 775 secs
lola: 77948016 markings, 468334419 edges, 83873 markings/sec, 780 secs
lola: 78365686 markings, 470934489 edges, 83534 markings/sec, 785 secs
lola: 78794973 markings, 473589784 edges, 85857 markings/sec, 790 secs
lola: 79219014 markings, 476213430 edges, 84808 markings/sec, 795 secs
lola: 79638879 markings, 478817794 edges, 83973 markings/sec, 800 secs
lola: 80061571 markings, 481437909 edges, 84538 markings/sec, 805 secs
lola: 80480357 markings, 484036310 edges, 83757 markings/sec, 810 secs
lola: 80896659 markings, 486630310 edges, 83260 markings/sec, 815 secs
lola: 81312606 markings, 489226386 edges, 83189 markings/sec, 820 secs
lola: 81727772 markings, 491811498 edges, 83033 markings/sec, 825 secs
lola: 82142098 markings, 494388841 edges, 82865 markings/sec, 830 secs
lola: 82559167 markings, 496986542 edges, 83414 markings/sec, 835 secs
lola: 82973892 markings, 499570740 edges, 82945 markings/sec, 840 secs
lola: 83388894 markings, 502148527 edges, 83000 markings/sec, 845 secs
lola: 83804828 markings, 504744961 edges, 83187 markings/sec, 850 secs
lola: 84217267 markings, 507314924 edges, 82488 markings/sec, 855 secs
lola: 84629752 markings, 509886765 edges, 82497 markings/sec, 860 secs
lola: 84911026 markings, 511635974 edges, 56255 markings/sec, 865 secs
lola: 84917995 markings, 511679257 edges, 1394 markings/sec, 870 secs
lola: 84925404 markings, 511724027 edges, 1482 markings/sec, 875 secs
lola: 84927862 markings, 511739300 edges, 492 markings/sec, 880 secs
lola: 84940555 markings, 511819615 edges, 2539 markings/sec, 885 secs
lola: 84949063 markings, 511871960 edges, 1702 markings/sec, 890 secs
lola: 84958787 markings, 511932360 edges, 1945 markings/sec, 895 secs
lola: 84959924 markings, 511939508 edges, 227 markings/sec, 900 secs
lola: 84966156 markings, 511978128 edges, 1246 markings/sec, 905 secs
lola: 84977286 markings, 512047333 edges, 2226 markings/sec, 910 secs
lola: 84986972 markings, 512108664 edges, 1937 markings/sec, 915 secs
lola: 84994901 markings, 512158771 edges, 1586 markings/sec, 920 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (F (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:732
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: A(TRUE U NOT(A(TRUE U FIREABLE(csF))))
lola: processed formula length: 38
lola: 18 rewrites
lola: closed formula file ClientsAndServers-PT-N0005P0-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: 2018975 markings, 5986441 edges, 403795 markings/sec, 0 secs
lola: 3945152 markings, 11822494 edges, 385235 markings/sec, 5 secs
lola: 5921778 markings, 17857197 edges, 395325 markings/sec, 10 secs
lola: 7611362 markings, 23273739 edges, 337917 markings/sec, 15 secs
lola: 8983298 markings, 27978745 edges, 274387 markings/sec, 20 secs
lola: 10324809 markings, 32621167 edges, 268302 markings/sec, 25 secs
lola: 11775851 markings, 37720959 edges, 290208 markings/sec, 30 secs
lola: 13028497 markings, 42282214 edges, 250529 markings/sec, 35 secs
lola: 14181967 markings, 46531789 edges, 230694 markings/sec, 40 secs
lola: 15318700 markings, 50709105 edges, 227347 markings/sec, 45 secs
lola: 16473479 markings, 54933853 edges, 230956 markings/sec, 50 secs
lola: 17599404 markings, 59081009 edges, 225185 markings/sec, 55 secs
lola: 18722389 markings, 63220970 edges, 224597 markings/sec, 60 secs
lola: 19850389 markings, 67380125 edges, 225600 markings/sec, 65 secs
lola: 21113413 markings, 71916285 edges, 252605 markings/sec, 70 secs
lola: 22396338 markings, 76713025 edges, 256585 markings/sec, 75 secs
lola: 23557747 markings, 81216916 edges, 232282 markings/sec, 80 secs
lola: 24666477 markings, 85532995 edges, 221746 markings/sec, 85 secs
lola: 25767005 markings, 89731106 edges, 220106 markings/sec, 90 secs
lola: 26889698 markings, 94011544 edges, 224539 markings/sec, 95 secs
lola: 27889881 markings, 97953539 edges, 200037 markings/sec, 100 secs
lola: 28984157 markings, 102083949 edges, 218855 markings/sec, 105 secs
lola: 29948052 markings, 105912801 edges, 192779 markings/sec, 110 secs
lola: 31024972 markings, 109952566 edges, 215384 markings/sec, 115 secs
lola: 31949716 markings, 113734881 edges, 184949 markings/sec, 120 secs
lola: 32995208 markings, 117676684 edges, 209098 markings/sec, 125 secs
lola: 34014456 markings, 121633508 edges, 203850 markings/sec, 130 secs
lola: 34985827 markings, 125480398 edges, 194274 markings/sec, 135 secs
lola: 36058686 markings, 129499638 edges, 214572 markings/sec, 140 secs
lola: 37023675 markings, 133338830 edges, 192998 markings/sec, 145 secs
lola: 38094083 markings, 137350605 edges, 214082 markings/sec, 150 secs
lola: 39028434 markings, 141144685 edges, 186870 markings/sec, 155 secs
lola: 40056796 markings, 145076479 edges, 205672 markings/sec, 160 secs
lola: 41110920 markings, 149106098 edges, 210825 markings/sec, 165 secs
lola: 42109018 markings, 153077979 edges, 199620 markings/sec, 170 secs
lola: 43483327 markings, 157915264 edges, 274862 markings/sec, 175 secs
lola: 44728610 markings, 162665757 edges, 249057 markings/sec, 180 secs
lola: 45913785 markings, 167227224 edges, 237035 markings/sec, 185 secs
lola: 46941501 markings, 171532618 edges, 205543 markings/sec, 190 secs
lola: 48076106 markings, 175914518 edges, 226921 markings/sec, 195 secs
lola: 49074607 markings, 180026925 edges, 199700 markings/sec, 200 secs
lola: 50063762 markings, 184129716 edges, 197831 markings/sec, 205 secs
lola: 51122323 markings, 188275872 edges, 211712 markings/sec, 210 secs
lola: 52028174 markings, 192144636 edges, 181170 markings/sec, 215 secs
lola: 53023090 markings, 196144285 edges, 198983 markings/sec, 220 secs
lola: 54022217 markings, 200062224 edges, 199825 markings/sec, 225 secs
lola: 54983291 markings, 203929000 edges, 192215 markings/sec, 230 secs
lola: 56061535 markings, 207925279 edges, 215649 markings/sec, 235 secs
lola: 57039139 markings, 211993704 edges, 195521 markings/sec, 240 secs
lola: 57916439 markings, 215706907 edges, 175460 markings/sec, 245 secs
lola: 58854338 markings, 219426821 edges, 187580 markings/sec, 250 secs
lola: 59785454 markings, 223121909 edges, 186223 markings/sec, 255 secs
lola: 60855192 markings, 227230316 edges, 213948 markings/sec, 260 secs
lola: 61752560 markings, 230940944 edges, 179474 markings/sec, 265 secs
lola: 62568396 markings, 234476647 edges, 163167 markings/sec, 270 secs
lola: 63517966 markings, 238201093 edges, 189914 markings/sec, 275 secs
lola: 64460305 markings, 241923285 edges, 188468 markings/sec, 280 secs
lola: 65505332 markings, 245921766 edges, 209005 markings/sec, 285 secs
lola: 66364661 markings, 249523298 edges, 171866 markings/sec, 290 secs
lola: 67186039 markings, 253061370 edges, 164276 markings/sec, 295 secs
lola: 68127876 markings, 256766494 edges, 188367 markings/sec, 300 secs
lola: 69082550 markings, 260490235 edges, 190935 markings/sec, 305 secs
lola: 70102049 markings, 264414535 edges, 203900 markings/sec, 310 secs
lola: 70961159 markings, 268012555 edges, 171822 markings/sec, 315 secs
lola: 71795119 markings, 271571789 edges, 166792 markings/sec, 320 secs
lola: 72715079 markings, 275232441 edges, 183992 markings/sec, 325 secs
lola: 73683403 markings, 278977501 edges, 193665 markings/sec, 330 secs
lola: 74686817 markings, 282856141 edges, 200683 markings/sec, 335 secs
lola: 75545629 markings, 286450991 edges, 171762 markings/sec, 340 secs
lola: 76393700 markings, 290037273 edges, 169614 markings/sec, 345 secs
lola: 77306215 markings, 293701490 edges, 182503 markings/sec, 350 secs
lola: 78296197 markings, 297500660 edges, 197996 markings/sec, 355 secs
lola: 79296856 markings, 301410530 edges, 200132 markings/sec, 360 secs
lola: 80170273 markings, 305077814 edges, 174683 markings/sec, 365 secs
lola: 81072038 markings, 308803264 edges, 180353 markings/sec, 370 secs
lola: 82007466 markings, 312603899 edges, 187086 markings/sec, 375 secs
lola: 83158643 markings, 316827797 edges, 230235 markings/sec, 380 secs
lola: 84495233 markings, 321759405 edges, 267318 markings/sec, 385 secs
lola: 85713640 markings, 326380838 edges, 243681 markings/sec, 390 secs
lola: 86792038 markings, 330771891 edges, 215680 markings/sec, 395 secs
lola: 87947082 markings, 335189435 edges, 231009 markings/sec, 400 secs
lola: 88903838 markings, 339321799 edges, 191351 markings/sec, 405 secs
lola: 89938412 markings, 343523063 edges, 206915 markings/sec, 410 secs
lola: 90946729 markings, 347589358 edges, 201663 markings/sec, 415 secs
lola: 91986254 markings, 351731869 edges, 207905 markings/sec, 420 secs
lola: 92895994 markings, 355655144 edges, 181948 markings/sec, 425 secs
lola: 93794240 markings, 359586809 edges, 179649 markings/sec, 430 secs
lola: 94729398 markings, 363437289 edges, 187032 markings/sec, 435 secs
lola: 95697072 markings, 367372553 edges, 193535 markings/sec, 440 secs
lola: 96684410 markings, 371242017 edges, 197468 markings/sec, 445 secs
lola: 97524668 markings, 374854639 edges, 168052 markings/sec, 450 secs
lola: 98269887 markings, 378274514 edges, 149044 markings/sec, 455 secs
lola: 99170348 markings, 382019673 edges, 180092 markings/sec, 460 secs
lola: 99952909 markings, 385332902 edges, 156512 markings/sec, 465 secs
lola: 100817892 markings, 388877705 edges, 172997 markings/sec, 470 secs
lola: 101733596 markings, 392452142 edges, 183141 markings/sec, 475 secs
lola: 102517831 markings, 395822744 edges, 156847 markings/sec, 480 secs
lola: 103243750 markings, 399048288 edges, 145184 markings/sec, 485 secs
lola: 104099037 markings, 402632865 edges, 171057 markings/sec, 490 secs
lola: 104894401 markings, 405996850 edges, 159073 markings/sec, 495 secs
lola: 105833770 markings, 409686989 edges, 187874 markings/sec, 500 secs
lola: 106629991 markings, 412930790 edges, 159244 markings/sec, 505 secs
lola: 107380840 markings, 416186806 edges, 150170 markings/sec, 510 secs
lola: 108171859 markings, 419410691 edges, 158204 markings/sec, 515 secs
lola: 108985625 markings, 422702774 edges, 162753 markings/sec, 520 secs
lola: 109802503 markings, 425869533 edges, 163376 markings/sec, 525 secs
lola: 110702687 markings, 429275204 edges, 180037 markings/sec, 530 secs
lola: 111566201 markings, 432840898 edges, 172703 markings/sec, 535 secs
lola: 112376691 markings, 436355060 edges, 162098 markings/sec, 540 secs
lola: 113157541 markings, 439793566 edges, 156170 markings/sec, 545 secs
lola: 113889930 markings, 442919773 edges, 146478 markings/sec, 550 secs
lola: 114616611 markings, 445972865 edges, 145336 markings/sec, 555 secs
lola: 115446670 markings, 449312763 edges, 166012 markings/sec, 560 secs
lola: 116262656 markings, 452775017 edges, 163197 markings/sec, 565 secs
lola: 117147029 markings, 456295407 edges, 176875 markings/sec, 570 secs
lola: 118071335 markings, 459897277 edges, 184861 markings/sec, 575 secs
lola: 119086651 markings, 463927414 edges, 203063 markings/sec, 580 secs
lola: 119903250 markings, 467410623 edges, 163320 markings/sec, 585 secs
lola: 120715523 markings, 470852255 edges, 162455 markings/sec, 590 secs
lola: 121459810 markings, 474209201 edges, 148857 markings/sec, 595 secs
lola: 122236761 markings, 477562076 edges, 155390 markings/sec, 600 secs
lola: 123128776 markings, 481097048 edges, 178403 markings/sec, 605 secs
lola: 123930315 markings, 484507794 edges, 160308 markings/sec, 610 secs
lola: 124813192 markings, 488018248 edges, 176575 markings/sec, 615 secs
lola: 125723039 markings, 491584600 edges, 181969 markings/sec, 620 secs
lola: 126718763 markings, 495468572 edges, 199145 markings/sec, 625 secs
lola: 127537255 markings, 498941532 edges, 163698 markings/sec, 630 secs
lola: 128350090 markings, 502373482 edges, 162567 markings/sec, 635 secs
lola: 129071041 markings, 505689914 edges, 144190 markings/sec, 640 secs
lola: 129839160 markings, 508997580 edges, 153624 markings/sec, 645 secs
lola: 130750798 markings, 512574849 edges, 182328 markings/sec, 650 secs
lola: 131554785 markings, 515968706 edges, 160797 markings/sec, 655 secs
lola: 132421786 markings, 519478643 edges, 173400 markings/sec, 660 secs
lola: 133298753 markings, 522969906 edges, 175393 markings/sec, 665 secs
lola: 134306336 markings, 526839420 edges, 201517 markings/sec, 670 secs
lola: 135123871 markings, 530294523 edges, 163507 markings/sec, 675 secs
lola: 135949979 markings, 533724519 edges, 165222 markings/sec, 680 secs
lola: 136677717 markings, 537045334 edges, 145548 markings/sec, 685 secs
lola: 137437383 markings, 540385925 edges, 151933 markings/sec, 690 secs
lola: 138327699 markings, 543914771 edges, 178063 markings/sec, 695 secs
lola: 139158843 markings, 547343269 edges, 166229 markings/sec, 700 secs
lola: 139996941 markings, 550849083 edges, 167620 markings/sec, 705 secs
lola: 140881543 markings, 554372821 edges, 176920 markings/sec, 710 secs
lola: 141906264 markings, 558226676 edges, 204944 markings/sec, 715 secs
lola: 142760952 markings, 561789126 edges, 170938 markings/sec, 720 secs
lola: 143587100 markings, 565261208 edges, 165230 markings/sec, 725 secs
lola: 144350758 markings, 568697237 edges, 152732 markings/sec, 730 secs
lola: 145115047 markings, 572093948 edges, 152858 markings/sec, 735 secs
lola: 146032181 markings, 575763583 edges, 183427 markings/sec, 740 secs
lola: 146912743 markings, 579366010 edges, 176112 markings/sec, 745 secs
lola: 147776446 markings, 583000559 edges, 172741 markings/sec, 750 secs
lola: 148696234 markings, 586649271 edges, 183958 markings/sec, 755 secs
lola: 149988123 markings, 591283939 edges, 258378 markings/sec, 760 secs
lola: 151215854 markings, 595947998 edges, 245546 markings/sec, 765 secs
lola: 152398074 markings, 600432609 edges, 236444 markings/sec, 770 secs
lola: 153431235 markings, 604751603 edges, 206632 markings/sec, 775 secs
lola: 154495392 markings, 608946313 edges, 212831 markings/sec, 780 secs
lola: 155614215 markings, 613230378 edges, 223765 markings/sec, 785 secs
lola: 156555593 markings, 617236694 edges, 188276 markings/sec, 790 secs
lola: 157441987 markings, 621175387 edges, 177279 markings/sec, 795 secs
lola: 158487285 markings, 625389249 edges, 209060 markings/sec, 800 secs
lola: 159462304 markings, 629420048 edges, 195004 markings/sec, 805 secs
lola: 160577477 markings, 633698084 edges, 223035 markings/sec, 810 secs
lola: 161496641 markings, 637642209 edges, 183833 markings/sec, 815 secs
lola: 162421118 markings, 641607785 edges, 184895 markings/sec, 820 secs
lola: 163264444 markings, 645470669 edges, 168665 markings/sec, 825 secs
lola: 164230752 markings, 649528155 edges, 193262 markings/sec, 830 secs
lola: 165148866 markings, 653382721 edges, 183623 markings/sec, 835 secs
lola: 166055270 markings, 657247479 edges, 181281 markings/sec, 840 secs
lola: 167024176 markings, 661184809 edges, 193781 markings/sec, 845 secs
lola: 168078365 markings, 665320864 edges, 210838 markings/sec, 850 secs
lola: 168943575 markings, 669060308 edges, 173042 markings/sec, 855 secs
lola: 169841617 markings, 672896897 edges, 179608 markings/sec, 860 secs
lola: 170614502 markings, 676491948 edges, 154577 markings/sec, 865 secs
lola: 171411285 markings, 680143264 edges, 159357 markings/sec, 870 secs
lola: 172329392 markings, 683958025 edges, 183621 markings/sec, 875 secs
lola: 173139352 markings, 687398343 edges, 161992 markings/sec, 880 secs
lola: 173919555 markings, 690839779 edges, 156041 markings/sec, 885 secs
lola: 174806428 markings, 694524335 edges, 177375 markings/sec, 890 secs
lola: 175707491 markings, 698208208 edges, 180213 markings/sec, 895 secs
lola: 176679124 markings, 702022890 edges, 194327 markings/sec, 900 secs
lola: 177501549 markings, 705512208 edges, 164485 markings/sec, 905 secs
lola: 178254610 markings, 708875076 edges, 150612 markings/sec, 910 secs
lola: 179038364 markings, 712319338 edges, 156751 markings/sec, 915 secs
lola: 179722655 markings, 715595081 edges, 136858 markings/sec, 920 secs
lola: 180498041 markings, 719068531 edges, 155077 markings/sec, 925 secs
lola: 181380793 markings, 722664943 edges, 176550 markings/sec, 930 secs
lola: 182163952 markings, 725995945 edges, 156632 markings/sec, 935 secs
lola: 182887438 markings, 729253321 edges, 144697 markings/sec, 940 secs
lola: 183760391 markings, 732846095 edges, 174591 markings/sec, 945 secs
lola: 184649563 markings, 736471378 edges, 177834 markings/sec, 950 secs
lola: 185556225 markings, 740071527 edges, 181332 markings/sec, 955 secs
lola: 186328859 markings, 743379511 edges, 154527 markings/sec, 960 secs
lola: 187097983 markings, 746740140 edges, 153825 markings/sec, 965 secs
lola: 187818553 markings, 749972392 edges, 144114 markings/sec, 970 secs
lola: 188520612 markings, 753233829 edges, 140412 markings/sec, 975 secs
lola: 189340973 markings, 756732843 edges, 164072 markings/sec, 980 secs
lola: 190115095 markings, 759965807 edges, 154824 markings/sec, 985 secs
lola: 190861799 markings, 763250424 edges, 149341 markings/sec, 990 secs
lola: 191747971 markings, 766918017 edges, 177234 markings/sec, 995 secs
lola: 192719753 markings, 770730005 edges, 194356 markings/sec, 1000 secs
lola: 193559008 markings, 774193924 edges, 167851 markings/sec, 1005 secs
lola: 194358929 markings, 777634955 edges, 159984 markings/sec, 1010 secs
lola: 195063341 markings, 780900559 edges, 140882 markings/sec, 1015 secs
lola: 195940941 markings, 784524346 edges, 175520 markings/sec, 1020 secs
lola: 196738477 markings, 787882004 edges, 159507 markings/sec, 1025 secs
lola: 197616260 markings, 791490158 edges, 175557 markings/sec, 1030 secs
lola: 198541693 markings, 795085138 edges, 185087 markings/sec, 1035 secs
lola: 199388587 markings, 798589580 edges, 169379 markings/sec, 1040 secs
lola: 200348281 markings, 802249590 edges, 191939 markings/sec, 1045 secs
lola: 201361547 markings, 806373339 edges, 202653 markings/sec, 1050 secs
lola: 202241449 markings, 810133387 edges, 175980 markings/sec, 1055 secs
lola: 203014965 markings, 813624762 edges, 154703 markings/sec, 1060 secs
lola: 203835358 markings, 817190339 edges, 164079 markings/sec, 1065 secs
lola: 204561835 markings, 820524555 edges, 145295 markings/sec, 1070 secs
lola: 205362501 markings, 823978139 edges, 160133 markings/sec, 1075 secs
lola: 206095620 markings, 827260776 edges, 146624 markings/sec, 1080 secs
lola: 206990620 markings, 830850249 edges, 179000 markings/sec, 1085 secs
lola: 207803797 markings, 834252360 edges, 162635 markings/sec, 1090 secs
lola: 208615996 markings, 837653675 edges, 162440 markings/sec, 1095 secs
lola: 209363094 markings, 841002339 edges, 149420 markings/sec, 1100 secs
lola: 210229532 markings, 844505501 edges, 173288 markings/sec, 1105 secs
lola: 211035257 markings, 847871596 edges, 161145 markings/sec, 1110 secs
lola: 211918307 markings, 851393911 edges, 176610 markings/sec, 1115 secs
lola: 213001953 markings, 855534887 edges, 216729 markings/sec, 1120 secs
lola: 213875305 markings, 859249788 edges, 174670 markings/sec, 1125 secs
lola: 214695892 markings, 862768923 edges, 164117 markings/sec, 1130 secs
lola: 215500637 markings, 866164505 edges, 160949 markings/sec, 1135 secs
lola: 216252426 markings, 869529848 edges, 150358 markings/sec, 1140 secs
lola: 216941887 markings, 872793616 edges, 137892 markings/sec, 1145 secs
lola: 217695436 markings, 876114736 edges, 150710 markings/sec, 1150 secs
lola: 218418218 markings, 879356216 edges, 144556 markings/sec, 1155 secs
lola: 219280055 markings, 882748481 edges, 172367 markings/sec, 1160 secs
lola: 219424611 markings, 883341484 edges, 28911 markings/sec, 1165 secs
lola: 219440151 markings, 883407149 edges, 3108 markings/sec, 1170 secs
lola: 219497614 markings, 883631447 edges, 11493 markings/sec, 1175 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA ClientsAndServers-PT-N0005P0-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: RESULT
lola:
SUMMARY: no no yes unknown yes no yes no yes no yes yes yes unknown yes no
lola:
preliminary result: no no yes unknown yes no yes no yes no yes yes yes unknown yes no
lola: memory consumption: 12996 KB
lola: time consumption: 2886 seconds
BK_STOP 1526507495569
--------------------
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-N0005P0"
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-N0005P0.tgz
mv ClientsAndServers-PT-N0005P0 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-N0005P0, 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-152646357200074"
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 ;