About the Execution of LoLA for ClientsAndServers-PT-N0500P0
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.050 | 3570544.00 | 3503026.00 | 25244.10 | ?F???TTFFFTTTF?F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 4.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.7K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 119 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 357 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 8 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 9.1K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ClientsAndServers-PT-N0500P0, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357300165
=====================================================================
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ClientsAndServers-PT-N0500P0-CTLFireability-00
FORMULA_NAME ClientsAndServers-PT-N0500P0-CTLFireability-01
FORMULA_NAME ClientsAndServers-PT-N0500P0-CTLFireability-02
FORMULA_NAME ClientsAndServers-PT-N0500P0-CTLFireability-03
FORMULA_NAME ClientsAndServers-PT-N0500P0-CTLFireability-04
FORMULA_NAME ClientsAndServers-PT-N0500P0-CTLFireability-05
FORMULA_NAME ClientsAndServers-PT-N0500P0-CTLFireability-06
FORMULA_NAME ClientsAndServers-PT-N0500P0-CTLFireability-07
FORMULA_NAME ClientsAndServers-PT-N0500P0-CTLFireability-08
FORMULA_NAME ClientsAndServers-PT-N0500P0-CTLFireability-09
FORMULA_NAME ClientsAndServers-PT-N0500P0-CTLFireability-10
FORMULA_NAME ClientsAndServers-PT-N0500P0-CTLFireability-11
FORMULA_NAME ClientsAndServers-PT-N0500P0-CTLFireability-12
FORMULA_NAME ClientsAndServers-PT-N0500P0-CTLFireability-13
FORMULA_NAME ClientsAndServers-PT-N0500P0-CTLFireability-14
FORMULA_NAME ClientsAndServers-PT-N0500P0-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526560997610
info: Time: 3600 - MCC
===========================================================================================
prep: translating ClientsAndServers-PT-N0500P0 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating ClientsAndServers-PT-N0500P0 formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ ClientsAndServers-PT-N0500P0 @ 3570 seconds
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: reading net from model.pnml.lola
lola: finished parsing
lola: closed net file model.pnml.lola
lola: 43/65536 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: computing forward-conflicting sets
lola: computing back-conflicting sets
lola: 25 transition conflict sets
lola: TASK
lola: reading formula from ClientsAndServers-PT-N0500P0-CTLFireability.task
lola: A ((NOT(E (F (FIREABLE(csR)))) U (A (F (FIREABLE(ssA))) OR FIREABLE(msG)))) : A ((NOT(E (X (FIREABLE(ssA)))) U E (X ((FIREABLE(msG) AND FIREABLE(srR)))))) : (E (((FIREABLE(ssA) OR FIREABLE(csF) OR (FIREABLE(ssG) AND FIREABLE(crG))) U A (F (FIREABLE(srG))))) OR ((((FIREABLE(srA) AND (FIREABLE(mfU) OR FIREABLE(srF))) OR FIREABLE(ssR)) AND ((FIREABLE(csF) AND (FIREABLE(srR) OR FIREABLE(csF))) AND A (F (FIREABLE(srG))))) AND FIREABLE(mrR))) : ((A (X (FIREABLE(srR))) AND NOT(NOT(A (F (FIREABLE(srA)))))) OR ((FIREABLE(crG) OR (A (X (FIREABLE(srA))) AND A (G (FIREABLE(csF))))) AND (((NOT FIREABLE(msG) OR NOT FIREABLE(srA)) OR A (G (FIREABLE(csF)))) OR FIREABLE(srA)))) : A (F ((E ((FIREABLE(srF) U FIREABLE(csF))) OR FIREABLE(srA)))) : E ((A (X (FIREABLE(mfU))) U A (F ((FIREABLE(ssR) OR FIREABLE(srF)))))) : (NOT(NOT((A (X (FIREABLE(msG))) AND (FIREABLE(ssF) AND NOT FIREABLE(ssA))))) OR E (F ((A (G (FIREABLE(maU))) OR (FIREABLE(ssA) AND FIREABLE(mrF) AND NOT FIREABLE(msG)))))) : (A (F ((A (X (FIREABLE(srA))) AND (FIREABLE(crG) AND FIREABLE(ssG) AND (FIREABLE(mrR) OR FIREABLE(crA)))))) OR NOT(E (F (E (G (FIREABLE(srR))))))) : A (F (((((FIREABLE(crG) OR FIREABLE(ssA)) AND FIREABLE(srG)) OR A (G (FIREABLE(msA)))) OR ((NOT FIREABLE(mrR) AND (FIREABLE(maU) OR FIREABLE(mfU))) OR A (G (FIREABLE(ssF))))))) : ((NOT FIREABLE(maU) OR NOT FIREABLE(ssR) OR (NOT FIREABLE(msG) AND NOT FIREABLE(srF))) AND A ((NOT FIREABLE(srA) U ((FIREABLE(csR) AND FIREABLE(ssR)) OR (FIREABLE(csF) AND FIREABLE(maU)))))) : E (X ((E ((FIREABLE(maU) U FIREABLE(csR))) AND NOT(A (F (FIREABLE(ssA))))))) : NOT((E (X (A (G (FIREABLE(ssG))))) OR NOT(A (F (FIREABLE(maU)))))) : NOT(NOT(E (F (E (G (FIREABLE(csF))))))) : (A (F ((E (G (FIREABLE(msG))) AND E (G (FIREABLE(csR)))))) AND E ((E (G (FIREABLE(maU))) U (NOT FIREABLE(crG) OR (FIREABLE(srG) AND FIREABLE(csR)))))) : A (F (FIREABLE(crG))) : (E (G (A (F (FIREABLE(msA))))) AND NOT(A (G (E (X (FIREABLE(srG)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:479
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:548
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
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:254
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:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k: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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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 ((A (X (NOT FIREABLE(ssA))) U E (X ((FIREABLE(msG) AND FIREABLE(srR))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:739
lola: processed formula: A(AX(NOT FIREABLE(ssA)) U EX((FIREABLE(msG) AND FIREABLE(srR))))
lola: processed formula length: 64
lola: 67 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 26998 markings, 26997 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-1 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (X (FIREABLE(srR))) AND A (F (FIREABLE(srA)))) OR ((FIREABLE(crG) OR (A (X (FIREABLE(srA))) AND A (G (FIREABLE(csF))))) AND ((NOT FIREABLE(msG) OR NOT FIREABLE(srA)) OR (A (G (FIREABLE(csF))) OR FIREABLE(srA)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(crG)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(crG)
lola: processed formula length: 13
lola: 64 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(srA)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(srA)
lola: processed formula length: 13
lola: 64 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(msG) OR NOT FIREABLE(srA))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(msG) OR NOT FIREABLE(srA))
lola: processed formula length: 41
lola: 64 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(csF)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (FIREABLE(csF)))
lola: processed formula length: 21
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: NOT FIREABLE(csF)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0500P0-CTLFireability-4-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(srA)))
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(srA)
lola: processed formula length: 17
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: 3044638 markings, 4553941 edges, 608928 markings/sec, 0 secs
lola: 6763037 markings, 10127024 edges, 743680 markings/sec, 5 secs
lola: 10442608 markings, 15640361 edges, 735914 markings/sec, 10 secs
lola: 14061949 markings, 21063353 edges, 723868 markings/sec, 15 secs
lola: 17674603 markings, 26477819 edges, 722531 markings/sec, 20 secs
lola: 21053851 markings, 31540671 edges, 675850 markings/sec, 25 secs
lola: 24571058 markings, 36811967 edges, 703441 markings/sec, 30 secs
lola: 28027609 markings, 41990772 edges, 691310 markings/sec, 35 secs
lola: 31500671 markings, 47195850 edges, 694612 markings/sec, 40 secs
lola: 34963623 markings, 52385764 edges, 692590 markings/sec, 45 secs
lola: 38388712 markings, 57517377 edges, 685018 markings/sec, 50 secs
lola: 41788391 markings, 62612381 edges, 679936 markings/sec, 55 secs
lola: 45112178 markings, 67592041 edges, 664757 markings/sec, 60 secs
lola: 48512750 markings, 72688384 edges, 680114 markings/sec, 65 secs
lola: 51879251 markings, 77733621 edges, 673300 markings/sec, 70 secs
lola: 55228347 markings, 82751245 edges, 669819 markings/sec, 75 secs
lola: 58498517 markings, 87651985 edges, 654034 markings/sec, 80 secs
lola: 61770901 markings, 92556046 edges, 654477 markings/sec, 85 secs
lola: 65246259 markings, 97763062 edges, 695072 markings/sec, 90 secs
lola: 68648114 markings, 102861331 edges, 680371 markings/sec, 95 secs
lola: 72057107 markings, 107968800 edges, 681799 markings/sec, 100 secs
lola: 75422539 markings, 113012432 edges, 673086 markings/sec, 105 secs
lola: 78754360 markings, 118005650 edges, 666364 markings/sec, 110 secs
lola: 82127876 markings, 123059903 edges, 674703 markings/sec, 115 secs
lola: 85439659 markings, 128023063 edges, 662357 markings/sec, 120 secs
lola: 88755465 markings, 132992256 edges, 663161 markings/sec, 125 secs
lola: 92010351 markings, 137870071 edges, 650977 markings/sec, 130 secs
lola: 95321251 markings, 142830401 edges, 662180 markings/sec, 135 secs
lola: 98679433 markings, 147863158 edges, 671636 markings/sec, 140 secs
lola: 101985982 markings, 152818466 edges, 661310 markings/sec, 145 secs
lola: 105321665 markings, 157815972 edges, 667137 markings/sec, 150 secs
lola: 108544168 markings, 162645211 edges, 644501 markings/sec, 155 secs
lola: 111848633 markings, 167597393 edges, 660893 markings/sec, 160 secs
lola: 115146052 markings, 172537502 edges, 659484 markings/sec, 165 secs
lola: 118331787 markings, 177311590 edges, 637147 markings/sec, 170 secs
lola: 121585253 markings, 182187273 edges, 650693 markings/sec, 175 secs
lola: 124789433 markings, 186989029 edges, 640836 markings/sec, 180 secs
lola: 128159537 markings, 192038164 edges, 674021 markings/sec, 185 secs
lola: 131568174 markings, 197146605 edges, 681727 markings/sec, 190 secs
lola: 134902477 markings, 202143545 edges, 666861 markings/sec, 195 secs
lola: 138246343 markings, 207153323 edges, 668773 markings/sec, 200 secs
lola: 141519390 markings, 212058379 edges, 654609 markings/sec, 205 secs
lola: 144854693 markings, 217056818 edges, 667061 markings/sec, 210 secs
lola: 148180941 markings, 222040170 edges, 665250 markings/sec, 215 secs
lola: 151459637 markings, 226953700 edges, 655739 markings/sec, 220 secs
lola: 154692489 markings, 231798462 edges, 646570 markings/sec, 225 secs
lola: 157914118 markings, 236626391 edges, 644326 markings/sec, 230 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6722976 KB
lola: time consumption: 238 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 6722976 KB
lola: time consumption: 239 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 2 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((A (X (FIREABLE(mfU))) U A (F ((FIREABLE(ssR) OR FIREABLE(srF))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: processed formula: E(AX(FIREABLE(mfU)) U A(TRUE U (FIREABLE(ssR) OR FIREABLE(srF))))
lola: processed formula length: 66
lola: 67 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: 8001 markings, 8001 edges
FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-5 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((A (X (FIREABLE(msG))) AND (FIREABLE(ssF) AND NOT FIREABLE(ssA))) OR (E (F (A (G (FIREABLE(maU))))) OR E (F ((FIREABLE(ssA) AND FIREABLE(mrF) AND NOT FIREABLE(msG))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 3 will run for 256 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((FIREABLE(ssA) AND FIREABLE(mrF) AND NOT FIREABLE(msG))))
lola: ========================================
lola: SUBTASK
lola: checking reachability
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: processed formula: E (F ((FIREABLE(ssA) AND FIREABLE(mrF) AND NOT FIREABLE(msG))))
lola: processed formula length: 63
lola: 65 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:625
lola: formula 0: (FIREABLE(ssA) AND FIREABLE(mrF) AND NOT FIREABLE(msG))
lola: state equation: Generated DNF with 4 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 29 markings, 28 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-6 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((A (X (FIREABLE(srA))) AND (FIREABLE(crG) AND FIREABLE(ssG) AND (FIREABLE(mrR) OR FIREABLE(crA)))))) OR A (G (A (F (NOT FIREABLE(srR))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 277 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F (NOT FIREABLE(srR)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:695
lola: processed formula: FIREABLE(srR)
lola: processed formula length: 13
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: no
lola: produced by: state space /EFEG
lola: The predicate does not eventually occur from all states.
lola: 25080 markings, 25107 edges
lola: ========================================
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A (X (FIREABLE(srA))) AND (FIREABLE(crG) AND FIREABLE(ssG) AND (FIREABLE(mrR) OR FIREABLE(crA))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (AX(FIREABLE(srA)) AND (FIREABLE(crG) AND FIREABLE(ssG) AND (FIREABLE(mrR) OR FIREABLE(crA)))))
lola: processed formula length: 105
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 25001 markings, 25000 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 5 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((E ((FIREABLE(maU) U FIREABLE(csR))) AND E (G (NOT FIREABLE(ssA))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: processed formula: EX((E(FIREABLE(maU) U FIREABLE(csR)) AND NOT(A(TRUE U FIREABLE(ssA)))))
lola: processed formula length: 71
lola: 68 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: 25000 markings, 25000 edges
FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 6 will run for 333 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (E (F (NOT FIREABLE(ssG))))) AND A (F (FIREABLE(maU))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 333 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(maU)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(maU)
lola: processed formula length: 17
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: 6001 markings, 6000 edges
lola: ========================================
lola: subprocess 7 will run for 370 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (E (F (NOT FIREABLE(ssG)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(E(TRUE U NOT FIREABLE(ssG)))
lola: processed formula length: 31
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 370 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (G (A (F (FIREABLE(msA))))) AND E (F (A (X (NOT FIREABLE(srG))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 370 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F (FIREABLE(msA)))))
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(msA)))))
lola: processed formula length: 43
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: 25001 markings, 25001 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 8 will run for 416 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(crG)))
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(crG)
lola: processed formula length: 17
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: 3317820 markings, 4141616 edges, 663564 markings/sec, 0 secs
lola: 6326731 markings, 8353851 edges, 601782 markings/sec, 5 secs
lola: 9299833 markings, 12515914 edges, 594620 markings/sec, 10 secs
lola: 12242209 markings, 16634940 edges, 588475 markings/sec, 15 secs
lola: 15163550 markings, 20723326 edges, 584268 markings/sec, 20 secs
lola: 18136169 markings, 24884843 edges, 594524 markings/sec, 25 secs
lola: 21074413 markings, 28998138 edges, 587649 markings/sec, 30 secs
lola: 23979152 markings, 33064487 edges, 580948 markings/sec, 35 secs
lola: 26671497 markings, 36833419 edges, 538469 markings/sec, 40 secs
lola: 29577851 markings, 40902009 edges, 581271 markings/sec, 45 secs
lola: 32475572 markings, 44958502 edges, 579544 markings/sec, 50 secs
lola: 35390792 markings, 49038415 edges, 583044 markings/sec, 55 secs
lola: 38333751 markings, 53158339 edges, 588592 markings/sec, 60 secs
lola: 41238255 markings, 57224370 edges, 580901 markings/sec, 65 secs
lola: 44099856 markings, 61230309 edges, 572320 markings/sec, 70 secs
lola: 46960718 markings, 65235201 edges, 572172 markings/sec, 75 secs
lola: 49803949 markings, 69215400 edges, 568646 markings/sec, 80 secs
lola: 52656210 markings, 73207069 edges, 570452 markings/sec, 85 secs
lola: 55477978 markings, 77157325 edges, 564354 markings/sec, 90 secs
lola: 58353309 markings, 81182535 edges, 575066 markings/sec, 95 secs
lola: 61185133 markings, 85146792 edges, 566365 markings/sec, 100 secs
lola: 63980936 markings, 89060596 edges, 559161 markings/sec, 105 secs
lola: 66801655 markings, 93009283 edges, 564144 markings/sec, 110 secs
lola: 69603357 markings, 96931334 edges, 560340 markings/sec, 115 secs
lola: 72415880 markings, 100868533 edges, 562505 markings/sec, 120 secs
lola: 75236330 markings, 104815702 edges, 564090 markings/sec, 125 secs
lola: 78137492 markings, 108877120 edges, 580232 markings/sec, 130 secs
lola: 81036094 markings, 112934898 edges, 579720 markings/sec, 135 secs
lola: 83902185 markings, 116947132 edges, 573218 markings/sec, 140 secs
lola: 86756085 markings, 120942280 edges, 570780 markings/sec, 145 secs
lola: 89583498 markings, 124900333 edges, 565483 markings/sec, 150 secs
lola: 92377943 markings, 128812218 edges, 558889 markings/sec, 155 secs
lola: 95194368 markings, 132753741 edges, 563285 markings/sec, 160 secs
lola: 98063192 markings, 136769880 edges, 573765 markings/sec, 165 secs
lola: 100900391 markings, 140741680 edges, 567440 markings/sec, 170 secs
lola: 103706638 markings, 144670118 edges, 561249 markings/sec, 175 secs
lola: 106511708 markings, 148596898 edges, 561014 markings/sec, 180 secs
lola: 109290154 markings, 152486392 edges, 555689 markings/sec, 185 secs
lola: 112059428 markings, 156363037 edges, 553855 markings/sec, 190 secs
lola: 114821342 markings, 160229372 edges, 552383 markings/sec, 195 secs
lola: 117699013 markings, 164256658 edges, 575534 markings/sec, 200 secs
lola: 120554971 markings, 168254776 edges, 571192 markings/sec, 205 secs
lola: 123359822 markings, 172181278 edges, 560970 markings/sec, 210 secs
lola: 126146608 markings, 176082467 edges, 557357 markings/sec, 215 secs
lola: 128934810 markings, 179985628 edges, 557640 markings/sec, 220 secs
lola: 131697689 markings, 183853326 edges, 552576 markings/sec, 225 secs
lola: 134430773 markings, 187679298 edges, 546617 markings/sec, 230 secs
lola: 137223555 markings, 191588856 edges, 558556 markings/sec, 235 secs
lola: 140015460 markings, 195495955 edges, 558381 markings/sec, 240 secs
lola: 142789559 markings, 199379487 edges, 554820 markings/sec, 245 secs
lola: 145534064 markings, 203221507 edges, 548901 markings/sec, 250 secs
lola: 148316847 markings, 207117108 edges, 556557 markings/sec, 255 secs
lola: 151074680 markings, 210977755 edges, 551567 markings/sec, 260 secs
lola: 153825519 markings, 214828600 edges, 550168 markings/sec, 265 secs
lola: 156617728 markings, 218737368 edges, 558442 markings/sec, 270 secs
lola: 159442013 markings, 222691042 edges, 564857 markings/sec, 275 secs
lola: 162257507 markings, 226632403 edges, 563099 markings/sec, 280 secs
lola: 165053360 markings, 230545068 edges, 559171 markings/sec, 285 secs
lola: 167870869 markings, 234489373 edges, 563502 markings/sec, 290 secs
lola: 170671096 markings, 238409415 edges, 560045 markings/sec, 295 secs
lola: 173447799 markings, 242296491 edges, 555341 markings/sec, 300 secs
lola: 176213756 markings, 246168511 edges, 553191 markings/sec, 305 secs
lola: 178987481 markings, 250051398 edges, 554745 markings/sec, 310 secs
lola: 181736889 markings, 253900229 edges, 549882 markings/sec, 315 secs
lola: 184452010 markings, 257701049 edges, 543024 markings/sec, 320 secs
lola: 187188994 markings, 261532478 edges, 547397 markings/sec, 325 secs
lola: 189877855 markings, 265296522 edges, 537772 markings/sec, 330 secs
lola: 192600114 markings, 269106177 edges, 544452 markings/sec, 335 secs
lola: 195312654 markings, 272903457 edges, 542508 markings/sec, 340 secs
lola: 198110190 markings, 276819733 edges, 559507 markings/sec, 345 secs
lola: 200875556 markings, 280690938 edges, 553073 markings/sec, 350 secs
lola: 203618858 markings, 284531235 edges, 548660 markings/sec, 355 secs
lola: 206353945 markings, 288360022 edges, 547017 markings/sec, 360 secs
lola: 209049391 markings, 292133296 edges, 539089 markings/sec, 365 secs
lola: 211732882 markings, 295889828 edges, 536698 markings/sec, 370 secs
lola: 214405389 markings, 299630978 edges, 534501 markings/sec, 375 secs
lola: 217126557 markings, 303440262 edges, 544234 markings/sec, 380 secs
lola: 219823106 markings, 307215073 edges, 539310 markings/sec, 385 secs
lola: 222511037 markings, 310976618 edges, 537586 markings/sec, 390 secs
lola: 225147816 markings, 314667808 edges, 527356 markings/sec, 395 secs
lola: 227833024 markings, 318426798 edges, 537042 markings/sec, 400 secs
lola: 230492514 markings, 322149754 edges, 531898 markings/sec, 405 secs
lola: 233142683 markings, 325859649 edges, 530034 markings/sec, 410 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown yes yes no unknown unknown yes yes unknown unknown unknown no
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 416 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (E (G (FIREABLE(csF)))))
lola: ========================================
lola: SUBTASK
lola: checking reachability of possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:640
lola: processed formula: FIREABLE(csF)
lola: processed formula length: 13
lola: 65 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: 4025 markings, 4025 edges
FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 10 will run for 485 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((E ((FIREABLE(srF) U FIREABLE(csF))) OR FIREABLE(srA))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (E(FIREABLE(srF) U FIREABLE(csF)) OR FIREABLE(srA)))
lola: processed formula length: 61
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: 1536130 markings, 5629722 edges, 307226 markings/sec, 0 secs
lola: 2994190 markings, 11135127 edges, 291612 markings/sec, 5 secs
lola: 4438242 markings, 16605055 edges, 288810 markings/sec, 10 secs
lola: 5847384 markings, 21962427 edges, 281828 markings/sec, 15 secs
lola: 7234989 markings, 27258574 edges, 277521 markings/sec, 20 secs
lola: 8607540 markings, 32499924 edges, 274510 markings/sec, 25 secs
lola: 9950931 markings, 37667802 edges, 268678 markings/sec, 30 secs
lola: 11308471 markings, 42843577 edges, 271508 markings/sec, 35 secs
lola: 12622022 markings, 47895593 edges, 262710 markings/sec, 40 secs
lola: 13978804 markings, 53119526 edges, 271356 markings/sec, 45 secs
lola: 15345129 markings, 58331326 edges, 273265 markings/sec, 50 secs
lola: 16687680 markings, 63490532 edges, 268510 markings/sec, 55 secs
lola: 17998559 markings, 68532839 edges, 262176 markings/sec, 60 secs
lola: 19321744 markings, 73642295 edges, 264637 markings/sec, 65 secs
lola: 20618703 markings, 78658074 edges, 259392 markings/sec, 70 secs
lola: 21928599 markings, 83690415 edges, 261979 markings/sec, 75 secs
lola: 23231312 markings, 88697016 edges, 260543 markings/sec, 80 secs
lola: 24548320 markings, 93762420 edges, 263402 markings/sec, 85 secs
lola: 25850464 markings, 98837472 edges, 260429 markings/sec, 90 secs
lola: 27166732 markings, 103887883 edges, 263254 markings/sec, 95 secs
lola: 28499567 markings, 109010292 edges, 266567 markings/sec, 100 secs
lola: 29781111 markings, 114008946 edges, 256309 markings/sec, 105 secs
lola: 31068117 markings, 118942696 edges, 257401 markings/sec, 110 secs
lola: 32384246 markings, 124011636 edges, 263226 markings/sec, 115 secs
lola: 33649608 markings, 128932319 edges, 253072 markings/sec, 120 secs
lola: 34989298 markings, 134079405 edges, 267938 markings/sec, 125 secs
lola: 36231528 markings, 138923755 edges, 248446 markings/sec, 130 secs
lola: 37554998 markings, 144002819 edges, 264694 markings/sec, 135 secs
lola: 38799881 markings, 148862433 edges, 248977 markings/sec, 140 secs
lola: 40116538 markings, 153911647 edges, 263331 markings/sec, 145 secs
lola: 41329456 markings, 158644911 edges, 242584 markings/sec, 150 secs
lola: 42661590 markings, 163759439 edges, 266427 markings/sec, 155 secs
lola: 43938581 markings, 168738587 edges, 255398 markings/sec, 160 secs
lola: 45313352 markings, 174027105 edges, 274954 markings/sec, 165 secs
lola: 46570639 markings, 178919800 edges, 251457 markings/sec, 170 secs
lola: 47876618 markings, 184035126 edges, 261196 markings/sec, 175 secs
lola: 49193653 markings, 189068409 edges, 263407 markings/sec, 180 secs
lola: 50465791 markings, 194044345 edges, 254428 markings/sec, 185 secs
lola: 51816631 markings, 199220971 edges, 270168 markings/sec, 190 secs
lola: 53040687 markings, 203997594 edges, 244811 markings/sec, 195 secs
lola: 54320883 markings, 209014461 edges, 256039 markings/sec, 200 secs
lola: 55633218 markings, 214026379 edges, 262467 markings/sec, 205 secs
lola: 56889594 markings, 218941028 edges, 251275 markings/sec, 210 secs
lola: 58248421 markings, 224162904 edges, 271765 markings/sec, 215 secs
lola: 59485934 markings, 228975266 edges, 247503 markings/sec, 220 secs
lola: 60733278 markings, 233859544 edges, 249469 markings/sec, 225 secs
lola: 62084547 markings, 239041900 edges, 270254 markings/sec, 230 secs
lola: 63314041 markings, 243830332 edges, 245899 markings/sec, 235 secs
lola: 64560986 markings, 248715954 edges, 249389 markings/sec, 240 secs
lola: 65911431 markings, 253894053 edges, 270089 markings/sec, 245 secs
lola: 67114928 markings, 258580545 edges, 240699 markings/sec, 250 secs
lola: 68331714 markings, 263346072 edges, 243357 markings/sec, 255 secs
lola: 69629742 markings, 268370526 edges, 259606 markings/sec, 260 secs
lola: 70912626 markings, 273318522 edges, 256577 markings/sec, 265 secs
lola: 72155841 markings, 278183288 edges, 248643 markings/sec, 270 secs
lola: 73452030 markings, 283270512 edges, 259238 markings/sec, 275 secs
lola: 74780225 markings, 288331820 edges, 265639 markings/sec, 280 secs
lola: 75992703 markings, 293069859 edges, 242496 markings/sec, 285 secs
lola: 77244504 markings, 297981845 edges, 250360 markings/sec, 290 secs
lola: 78600470 markings, 303176193 edges, 271193 markings/sec, 295 secs
lola: 79828028 markings, 307953417 edges, 245512 markings/sec, 300 secs
lola: 81047531 markings, 312730907 edges, 243901 markings/sec, 305 secs
lola: 82323097 markings, 317736561 edges, 255113 markings/sec, 310 secs
lola: 83652671 markings, 322806976 edges, 265915 markings/sec, 315 secs
lola: 84850493 markings, 327483459 edges, 239564 markings/sec, 320 secs
lola: 86060629 markings, 332223859 edges, 242027 markings/sec, 325 secs
lola: 87316006 markings, 337153669 edges, 251075 markings/sec, 330 secs
lola: 88641184 markings, 342201024 edges, 265036 markings/sec, 335 secs
lola: 89864895 markings, 346979460 edges, 244742 markings/sec, 340 secs
lola: 91098474 markings, 351814870 edges, 246716 markings/sec, 345 secs
lola: 92328012 markings, 356647106 edges, 245908 markings/sec, 350 secs
lola: 93669938 markings, 361756141 edges, 268385 markings/sec, 355 secs
lola: 94875900 markings, 366463723 edges, 241192 markings/sec, 360 secs
lola: 96081227 markings, 371187974 edges, 241065 markings/sec, 365 secs
lola: 97333101 markings, 376104298 edges, 250375 markings/sec, 370 secs
lola: 98680090 markings, 381250110 edges, 269398 markings/sec, 375 secs
lola: 99888197 markings, 385956716 edges, 241621 markings/sec, 380 secs
lola: 101075491 markings, 390607873 edges, 237459 markings/sec, 385 secs
lola: 102312980 markings, 395462784 edges, 247498 markings/sec, 390 secs
lola: 103598482 markings, 400516572 edges, 257100 markings/sec, 395 secs
lola: 104888775 markings, 405406220 edges, 258059 markings/sec, 400 secs
lola: 106064782 markings, 410003181 edges, 235201 markings/sec, 405 secs
lola: 107239733 markings, 414612051 edges, 234990 markings/sec, 410 secs
lola: 108458146 markings, 419396143 edges, 243683 markings/sec, 415 secs
lola: 109770240 markings, 424452125 edges, 262419 markings/sec, 420 secs
lola: 111041818 markings, 429360605 edges, 254316 markings/sec, 425 secs
lola: 112263479 markings, 434140381 edges, 244332 markings/sec, 430 secs
lola: 113498063 markings, 438984479 edges, 246917 markings/sec, 435 secs
lola: 114774636 markings, 444002363 edges, 255315 markings/sec, 440 secs
lola: 116145429 markings, 449236537 edges, 274159 markings/sec, 445 secs
lola: 117293825 markings, 453705011 edges, 229679 markings/sec, 450 secs
lola: 118474213 markings, 458325483 edges, 236078 markings/sec, 455 secs
lola: 119610510 markings, 462784523 edges, 227259 markings/sec, 460 secs
lola: 120832923 markings, 467588670 edges, 244483 markings/sec, 465 secs
lola: 122129976 markings, 472629097 edges, 259411 markings/sec, 470 secs
lola: 123338065 markings, 477242268 edges, 241618 markings/sec, 475 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown yes yes no unknown unknown yes yes yes unknown unknown no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown no unknown unknown unknown yes yes no unknown unknown yes yes yes unknown unknown no
lola: memory consumption: 9253168 KB
lola: time consumption: 1141 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 485 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((((FIREABLE(crG) OR FIREABLE(ssA)) AND FIREABLE(srG)) OR (A (G (FIREABLE(msA))) OR ((NOT FIREABLE(mrR) AND (FIREABLE(maU) OR FIREABLE(mfU))) OR A (G (FIREABLE(ssF))))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U (((FIREABLE(crG) OR FIREABLE(ssA)) AND FIREABLE(srG)) OR (NOT(E(TRUE U NOT FIREABLE(msA))) OR ((NOT FIREABLE(mrR) AND (FIREABLE(maU) OR FIREABLE(mfU))) OR NOT(E(TRUE U NOT FIREABLE(ssF)))))))
lola: processed formula length: 202
lola: 69 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: 40990 markings, 104983 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 607 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (((FIREABLE(ssA) OR FIREABLE(csF) OR (FIREABLE(ssG) AND FIREABLE(crG))) U A (F (FIREABLE(srG))))) OR (((FIREABLE(srA) AND (FIREABLE(mfU) OR FIREABLE(srF))) OR FIREABLE(ssR)) AND ((FIREABLE(csF) AND (FIREABLE(srR) OR FIREABLE(csF))) AND (A (F (FIREABLE(srG))) AND FIREABLE(mrR)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: (E((FIREABLE(ssA) OR FIREABLE(csF) OR (FIREABLE(ssG) AND FIREABLE(crG))) U A(TRUE U FIREABLE(srG))) OR (((FIREABLE(srA) AND (FIREABLE(mfU) OR FIREABLE(srF))) OR FIREABLE(ssR)) AND ((FIREABLE(csF) AND (FIREABLE(srR) OR FIREABLE(csF))) AND (A(TRUE U FIREABLE(srG)) AND FIREABLE(mrR)))))
lola: processed formula length: 289
lola: 67 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: 2122690 markings, 5056421 edges, 424538 markings/sec, 0 secs
lola: 4062369 markings, 9756989 edges, 387936 markings/sec, 5 secs
lola: 6059783 markings, 14619298 edges, 399483 markings/sec, 10 secs
lola: 8027634 markings, 19415089 edges, 393570 markings/sec, 15 secs
lola: 9949284 markings, 24105512 edges, 384330 markings/sec, 20 secs
lola: 11880638 markings, 28830620 edges, 386271 markings/sec, 25 secs
lola: 13767782 markings, 33448984 edges, 377429 markings/sec, 30 secs
lola: 15636592 markings, 38020885 edges, 373762 markings/sec, 35 secs
lola: 17496357 markings, 42581365 edges, 371953 markings/sec, 40 secs
lola: 19440289 markings, 47339262 edges, 388786 markings/sec, 45 secs
lola: 21307175 markings, 51926659 edges, 373377 markings/sec, 50 secs
lola: 23176410 markings, 56508202 edges, 373847 markings/sec, 55 secs
lola: 25027372 markings, 61046138 edges, 370192 markings/sec, 60 secs
lola: 26844060 markings, 65509226 edges, 363338 markings/sec, 65 secs
lola: 28646366 markings, 69938554 edges, 360461 markings/sec, 70 secs
lola: 30519553 markings, 74543291 edges, 374637 markings/sec, 75 secs
lola: 32345387 markings, 79030554 edges, 365167 markings/sec, 80 secs
lola: 34148400 markings, 83460471 edges, 360603 markings/sec, 85 secs
lola: 35944591 markings, 87873632 edges, 359238 markings/sec, 90 secs
lola: 37779539 markings, 92382449 edges, 366990 markings/sec, 95 secs
lola: 39581226 markings, 96810686 edges, 360337 markings/sec, 100 secs
lola: 41354577 markings, 101181617 edges, 354670 markings/sec, 105 secs
lola: 43146178 markings, 105582429 edges, 358320 markings/sec, 110 secs
lola: 44954020 markings, 110041569 edges, 361568 markings/sec, 115 secs
lola: 46889745 markings, 114797969 edges, 387145 markings/sec, 120 secs
lola: 48770308 markings, 119422774 edges, 376113 markings/sec, 125 secs
lola: 50635100 markings, 124017422 edges, 372958 markings/sec, 130 secs
lola: 52459606 markings, 128518297 edges, 364901 markings/sec, 135 secs
lola: 54299328 markings, 133036481 edges, 367944 markings/sec, 140 secs
lola: 56130466 markings, 137551934 edges, 366228 markings/sec, 145 secs
lola: 57957512 markings, 142059466 edges, 365409 markings/sec, 150 secs
lola: 59780010 markings, 146534985 edges, 364500 markings/sec, 155 secs
lola: 61566640 markings, 150939117 edges, 357326 markings/sec, 160 secs
lola: 63285238 markings, 155176381 edges, 343720 markings/sec, 165 secs
lola: 64970524 markings, 159331222 edges, 337057 markings/sec, 170 secs
lola: 66681104 markings, 163549262 edges, 342116 markings/sec, 175 secs
lola: 68497841 markings, 168030038 edges, 363347 markings/sec, 180 secs
lola: 70213306 markings, 172260028 edges, 343093 markings/sec, 185 secs
lola: 71923734 markings, 176477677 edges, 342086 markings/sec, 190 secs
lola: 73651394 markings, 180737224 edges, 345532 markings/sec, 195 secs
lola: 75388434 markings, 185020508 edges, 347408 markings/sec, 200 secs
lola: 77090444 markings, 189216523 edges, 340402 markings/sec, 205 secs
lola: 78773016 markings, 193363735 edges, 336514 markings/sec, 210 secs
lola: 80488732 markings, 197593581 edges, 343143 markings/sec, 215 secs
lola: 82234854 markings, 201898718 edges, 349224 markings/sec, 220 secs
lola: 83951256 markings, 206129737 edges, 343280 markings/sec, 225 secs
lola: 85649766 markings, 210316554 edges, 339702 markings/sec, 230 secs
lola: 87347854 markings, 214502619 edges, 339618 markings/sec, 235 secs
lola: 89049104 markings, 218696952 edges, 340250 markings/sec, 240 secs
lola: 90755000 markings, 222903587 edges, 341179 markings/sec, 245 secs
lola: 92421562 markings, 227031450 edges, 333312 markings/sec, 250 secs
lola: 94062712 markings, 231079015 edges, 328230 markings/sec, 255 secs
lola: 95814344 markings, 235396810 edges, 350326 markings/sec, 260 secs
lola: 97620278 markings, 239849699 edges, 361187 markings/sec, 265 secs
lola: 99424424 markings, 244298511 edges, 360829 markings/sec, 270 secs
lola: 101205849 markings, 248692215 edges, 356285 markings/sec, 275 secs
lola: 102928178 markings, 252963996 edges, 344466 markings/sec, 280 secs
lola: 104664152 markings, 257241715 edges, 347195 markings/sec, 285 secs
lola: 106401207 markings, 261522624 edges, 347411 markings/sec, 290 secs
lola: 108139090 markings, 265806945 edges, 347577 markings/sec, 295 secs
lola: 109851729 markings, 270033618 edges, 342528 markings/sec, 300 secs
lola: 111518675 markings, 274162805 edges, 333389 markings/sec, 305 secs
lola: 113234630 markings, 278391180 edges, 343191 markings/sec, 310 secs
lola: 114993156 markings, 282727256 edges, 351705 markings/sec, 315 secs
lola: 116687284 markings, 286930345 edges, 338826 markings/sec, 320 secs
lola: 118368589 markings, 291071597 edges, 336261 markings/sec, 325 secs
lola: 120031028 markings, 295167792 edges, 332488 markings/sec, 330 secs
lola: 121642366 markings, 299167367 edges, 322268 markings/sec, 335 secs
lola: 123267728 markings, 303168912 edges, 325072 markings/sec, 340 secs
lola: 124915958 markings, 307230312 edges, 329646 markings/sec, 345 secs
lola: 126511231 markings, 311189135 edges, 319055 markings/sec, 350 secs
lola: 128112185 markings, 315130235 edges, 320191 markings/sec, 355 secs
lola: 129727527 markings, 319112357 edges, 323068 markings/sec, 360 secs
lola: 131256547 markings, 322903708 edges, 305804 markings/sec, 365 secs
lola: 132876633 markings, 326893705 edges, 324017 markings/sec, 370 secs
lola: 134506960 markings, 330941016 edges, 326065 markings/sec, 375 secs
lola: 136194020 markings, 335095074 edges, 337412 markings/sec, 380 secs
lola: 137887988 markings, 339270477 edges, 338794 markings/sec, 385 secs
lola: 139498002 markings, 343264265 edges, 322003 markings/sec, 390 secs
lola: 141135582 markings, 347296984 edges, 327516 markings/sec, 395 secs
lola: 142739728 markings, 351279999 edges, 320829 markings/sec, 400 secs
lola: 144355502 markings, 355256632 edges, 323155 markings/sec, 405 secs
lola: 145990352 markings, 359287684 edges, 326970 markings/sec, 410 secs
lola: 147565363 markings, 363191458 edges, 315002 markings/sec, 415 secs
lola: 149196036 markings, 367209007 edges, 326135 markings/sec, 420 secs
lola: 150733388 markings, 371023072 edges, 307470 markings/sec, 425 secs
lola: 152328666 markings, 374951277 edges, 319056 markings/sec, 430 secs
lola: 153860040 markings, 378751902 edges, 306275 markings/sec, 435 secs
lola: 155467448 markings, 382708878 edges, 321482 markings/sec, 440 secs
lola: 157048044 markings, 386633180 edges, 316119 markings/sec, 445 secs
lola: 158689244 markings, 390672884 edges, 328240 markings/sec, 450 secs
lola: 160292810 markings, 394655426 edges, 320713 markings/sec, 455 secs
lola: 161899582 markings, 398608549 edges, 321354 markings/sec, 460 secs
lola: 163473242 markings, 402517745 edges, 314732 markings/sec, 465 secs
lola: 165042867 markings, 406378035 edges, 313925 markings/sec, 470 secs
lola: 166595797 markings, 410235745 edges, 310586 markings/sec, 475 secs
lola: 168184523 markings, 414143560 edges, 317745 markings/sec, 480 secs
lola: 169744765 markings, 418019550 edges, 312048 markings/sec, 485 secs
lola: 171321186 markings, 421896235 edges, 315284 markings/sec, 490 secs
lola: 172875508 markings, 425757563 edges, 310864 markings/sec, 495 secs
lola: 174448958 markings, 429627243 edges, 314690 markings/sec, 500 secs
lola: 175977958 markings, 433424597 edges, 305800 markings/sec, 505 secs
lola: 177541250 markings, 437269991 edges, 312658 markings/sec, 510 secs
lola: 179036270 markings, 440982797 edges, 299004 markings/sec, 515 secs
lola: 180683146 markings, 445036166 edges, 329375 markings/sec, 520 secs
lola: 182312521 markings, 449081966 edges, 325875 markings/sec, 525 secs
lola: 184047140 markings, 453353276 edges, 346924 markings/sec, 530 secs
lola: 185750064 markings, 457581801 edges, 340585 markings/sec, 535 secs
lola: 187462484 markings, 461797897 edges, 342484 markings/sec, 540 secs
lola: 189116652 markings, 465905123 edges, 330834 markings/sec, 545 secs
lola: 190799860 markings, 470049193 edges, 336642 markings/sec, 550 secs
lola: 192435716 markings, 474109926 edges, 327171 markings/sec, 555 secs
lola: 194100503 markings, 478209558 edges, 332957 markings/sec, 560 secs
lola: 195727408 markings, 482247093 edges, 325381 markings/sec, 565 secs
lola: 197383254 markings, 486326851 edges, 331169 markings/sec, 570 secs
lola: 199015281 markings, 490374270 edges, 326405 markings/sec, 575 secs
lola: 200653525 markings, 494416808 edges, 327649 markings/sec, 580 secs
lola: 202263797 markings, 498404078 edges, 322054 markings/sec, 585 secs
lola: 203832123 markings, 502300974 edges, 313665 markings/sec, 590 secs
lola: 205464306 markings, 506315408 edges, 326437 markings/sec, 595 secs
lola: 207028200 markings, 510199280 edges, 312779 markings/sec, 600 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown yes yes no no unknown yes yes yes unknown unknown no
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 13 will run for 607 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F ((E (G (FIREABLE(msG))) AND E (G (FIREABLE(csR)))))) AND E ((E (G (FIREABLE(maU))) U (NOT FIREABLE(crG) OR (FIREABLE(srG) AND FIREABLE(csR))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: (A(TRUE U (NOT(A(TRUE U NOT FIREABLE(msG))) AND NOT(A(TRUE U NOT FIREABLE(csR))))) AND E(NOT(A(TRUE U NOT FIREABLE(maU))) U (NOT FIREABLE(crG) OR (FIREABLE(srG) AND FIREABLE(csR)))))
lola: processed formula length: 183
lola: 72 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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 5 significant temporal operators and needs 22 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: 44021 markings, 87014 edges
lola:
FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 14 will run for 910 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((NOT FIREABLE(maU) OR NOT FIREABLE(ssR) OR (NOT FIREABLE(msG) AND NOT FIREABLE(srF))) AND A ((NOT FIREABLE(srA) U ((FIREABLE(csR) AND FIREABLE(ssR)) OR (FIREABLE(csF) AND FIREABLE(maU))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 910 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(maU) OR NOT FIREABLE(ssR) OR (NOT FIREABLE(msG) AND NOT FIREABLE(srF)))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(maU) OR NOT FIREABLE(ssR) OR (NOT FIREABLE(msG) AND NOT FIREABLE(srF)))
lola: processed formula length: 87
lola: 64 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: subprocess 15 will run for 1821 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(srA) U ((FIREABLE(csR) AND FIREABLE(ssR)) OR (FIREABLE(csF) AND FIREABLE(maU)))))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A ((NOT FIREABLE(srA) U ((FIREABLE(csR) AND FIREABLE(ssR)) OR (FIREABLE(csF) AND FIREABLE(maU)))))
lola: processed formula length: 99
lola: 68 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /ER)
lola: state space: using reachability graph (ER version) (--search=depth)
lola: state space: using ltl preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space /ER
lola: Predicate Phi does not hild until Predicate Psi on all paths.
lola: 25000 markings, 24999 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-9 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: subprocess 15 will run for 1821 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (F (FIREABLE(ssA))) OR (FIREABLE(msG) OR (A (G (NOT FIREABLE(csR))) AND A (F ((A (F (FIREABLE(ssA))) OR FIREABLE(msG)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1821 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(msG)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(msG)
lola: processed formula length: 13
lola: 64 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(ssA)))
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(ssA)
lola: processed formula length: 17
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown yes yes no no no yes yes yes no unknown no
lola: memory consumption: 44516 KB
lola: time consumption: 1750 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A (F (FIREABLE(ssA))) OR FIREABLE(msG))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (A(TRUE U FIREABLE(ssA)) OR FIREABLE(msG)))
lola: processed formula length: 52
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown yes yes no no no yes yes yes no unknown no
lola: memory consumption: 86776 KB
lola: time consumption: 1751 seconds
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: ((A (X (FIREABLE(srR))) AND A (F (FIREABLE(srA)))) OR ((FIREABLE(crG) OR (A (X (FIREABLE(srA))) AND A (G (FIREABLE(csF))))) AND ((NOT FIREABLE(msG) OR NOT FIREABLE(srA)) OR (A (G (FIREABLE(csF))) OR FIREABLE(srA)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: FIREABLE(srA)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(srA)
lola: processed formula length: 13
lola: 64 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: ========================================
lola: ...considering subproblem: FIREABLE(crG)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(crG)
lola: processed formula length: 13
lola: 64 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: ========================================
lola: ...considering subproblem: (NOT FIREABLE(msG) OR NOT FIREABLE(srA))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (NOT FIREABLE(msG) OR NOT FIREABLE(srA))
lola: processed formula length: 41
lola: 64 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: ========================================
lola: ...considering subproblem: A (G (FIREABLE(csF)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (G (FIREABLE(csF)))
lola: processed formula length: 21
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: RUNNING
lola: rewrite Frontend/Parser/formula_rewrite.k:631
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: formula 0: NOT FIREABLE(csF)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: state equation: write sara problem file to ClientsAndServers-PT-N0500P0-CTLFireability-19-0.sara
lola: lola: state equation: calling and running sara
0 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(srA)))
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(srA)
lola: processed formula length: 17
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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
sara: try reading problem file ClientsAndServers-PT-N0500P0-CTLFireability-19-0.sara.
lola: 3156635 markings, 4721937 edges, 631327 markings/sec, 0 secs
lola: 6865443 markings, 10280633 edges, 741762 markings/sec, 5 secs
lola: 10525463 markings, 15764643 edges, 732004 markings/sec, 10 secs
lola: 14132912 markings, 21169797 edges, 721490 markings/sec, 15 secs
lola: 17725384 markings, 26553990 edges, 718494 markings/sec, 20 secs
lola: 21239109 markings, 31818557 edges, 702745 markings/sec, 25 secs
lola: 24741861 markings, 37068171 edges, 700550 markings/sec, 30 secs
lola: 28203769 markings, 42255013 edges, 692382 markings/sec, 35 secs
lola: 31678725 markings, 47462931 edges, 694991 markings/sec, 40 secs
lola: 35152013 markings, 52666843 edges, 694658 markings/sec, 45 secs
lola: 38571472 markings, 57791517 edges, 683892 markings/sec, 50 secs
lola: 41980815 markings, 62901016 edges, 681869 markings/sec, 55 secs
lola: 45314290 markings, 67895209 edges, 666695 markings/sec, 60 secs
lola: 48725155 markings, 73006991 edges, 682173 markings/sec, 65 secs
lola: 52103178 markings, 78068006 edges, 675605 markings/sec, 70 secs
lola: 55451413 markings, 83085843 edges, 669647 markings/sec, 75 secs
lola: 58731662 markings, 88001701 edges, 656050 markings/sec, 80 secs
lola: 62005599 markings, 92908092 edges, 654787 markings/sec, 85 secs
lola: 65501028 markings, 98145216 edges, 699086 markings/sec, 90 secs
lola: 68919526 markings, 103268448 edges, 683700 markings/sec, 95 secs
lola: 72333003 markings, 108382643 edges, 682695 markings/sec, 100 secs
lola: 75700532 markings, 113429422 edges, 673506 markings/sec, 105 secs
lola: 79060848 markings, 118463876 edges, 672063 markings/sec, 110 secs
lola: 82427375 markings, 123509152 edges, 673305 markings/sec, 115 secs
lola: 85738042 markings, 128470637 edges, 662133 markings/sec, 120 secs
lola: 89075326 markings, 133470543 edges, 667457 markings/sec, 125 secs
lola: 92330757 markings, 138349175 edges, 651086 markings/sec, 130 secs
lola: 95657341 markings, 143334535 edges, 665317 markings/sec, 135 secs
lola: 99035268 markings, 148395406 edges, 675585 markings/sec, 140 secs
lola: 102350031 markings, 153363035 edges, 662953 markings/sec, 145 secs
lola: 105665072 markings, 158331083 edges, 663008 markings/sec, 150 secs
lola: 108897068 markings, 163174561 edges, 646399 markings/sec, 155 secs
lola: 112219765 markings, 168152586 edges, 664539 markings/sec, 160 secs
lola: 115479120 markings, 173037103 edges, 651871 markings/sec, 165 secs
lola: 118661935 markings, 177806811 edges, 636563 markings/sec, 170 secs
lola: 121885455 markings, 182637576 edges, 644704 markings/sec, 175 secs
lola: 124954985 markings, 187237357 edges, 613906 markings/sec, 180 secs
lola: 128323941 markings, 192284770 edges, 673791 markings/sec, 185 secs
lola: 131704639 markings, 197351303 edges, 676140 markings/sec, 190 secs
lola: 135034039 markings, 202339383 edges, 665880 markings/sec, 195 secs
lola: 138363079 markings, 207328428 edges, 665808 markings/sec, 200 secs
lola: 141620093 markings, 212209433 edges, 651403 markings/sec, 205 secs
lola: 144953130 markings, 217204474 edges, 666607 markings/sec, 210 secs
lola: 148272787 markings, 222177940 edges, 663931 markings/sec, 215 secs
lola: 151526349 markings, 227053768 edges, 650712 markings/sec, 220 secs
lola: 154748213 markings, 231882049 edges, 644373 markings/sec, 225 secs
lola: 157951725 markings, 236682802 edges, 640702 markings/sec, 230 secs
lola: 161304255 markings, 241705577 edges, 670506 markings/sec, 235 secs
lola: 164579749 markings, 246614303 edges, 655099 markings/sec, 240 secs
lola: 167834579 markings, 251492032 edges, 650966 markings/sec, 245 secs
lola: 171084345 markings, 256360662 edges, 649953 markings/sec, 250 secs
lola: 174254677 markings, 261111645 edges, 634066 markings/sec, 255 secs
lola: 177514789 markings, 265997297 edges, 652022 markings/sec, 260 secs
lola: 180689599 markings, 270754997 edges, 634962 markings/sec, 265 secs
lola: 183854925 markings, 275498472 edges, 633065 markings/sec, 270 secs
lola: 187045931 markings, 280278961 edges, 638201 markings/sec, 275 secs
lola: 190181205 markings, 284977356 edges, 627055 markings/sec, 280 secs
lola: 193535723 markings, 290004619 edges, 670904 markings/sec, 285 secs
lola: 196837025 markings, 294952056 edges, 660260 markings/sec, 290 secs
lola: 200101952 markings, 299843427 edges, 652985 markings/sec, 295 secs
lola: 203365108 markings, 304733646 edges, 652631 markings/sec, 300 secs
lola: 206567744 markings, 309533085 edges, 640527 markings/sec, 305 secs
lola: 209806646 markings, 314386923 edges, 647780 markings/sec, 310 secs
lola: 213032213 markings, 319219253 edges, 645113 markings/sec, 315 secs
lola: 216211316 markings, 323983393 edges, 635821 markings/sec, 320 secs
lola: 219345298 markings, 328679851 edges, 626796 markings/sec, 325 secs
lola: 222505793 markings, 333416078 edges, 632099 markings/sec, 330 secs
lola: 225773442 markings, 338313037 edges, 653530 markings/sec, 335 secs
lola: 229029522 markings, 343191137 edges, 651216 markings/sec, 340 secs
lola: 232198699 markings, 347940388 edges, 633835 markings/sec, 345 secs
lola: 235333272 markings, 352637731 edges, 626915 markings/sec, 350 secs
lola: 238417314 markings, 357259280 edges, 616808 markings/sec, 355 secs
lola: 241612403 markings, 362047399 edges, 639018 markings/sec, 360 secs
lola: 244773176 markings, 366784042 edges, 632155 markings/sec, 365 secs
lola: 247912481 markings, 371488486 edges, 627861 markings/sec, 370 secs
lola: 251050466 markings, 376189443 edges, 627597 markings/sec, 375 secs
lola: 254178006 markings, 380876237 edges, 625508 markings/sec, 380 secs
lola: 257445230 markings, 385772559 edges, 653445 markings/sec, 385 secs
lola: 260662503 markings, 390593954 edges, 643455 markings/sec, 390 secs
lola: 263872789 markings, 395404868 edges, 642057 markings/sec, 395 secs
lola: 267026471 markings, 400129370 edges, 630736 markings/sec, 400 secs
lola: 270158290 markings, 404822584 edges, 626364 markings/sec, 405 secs
lola: 273348236 markings, 409602987 edges, 637989 markings/sec, 410 secs
lola: 276482581 markings, 414299990 edges, 626869 markings/sec, 415 secs
lola: 279603807 markings, 418977315 edges, 624245 markings/sec, 420 secs
lola: 282686379 markings, 423596658 edges, 616514 markings/sec, 425 secs
lola: 285756284 markings, 428197000 edges, 613981 markings/sec, 430 secs
lola: 288940908 markings, 432969421 edges, 636925 markings/sec, 435 secs
lola: 292096838 markings, 437697296 edges, 631186 markings/sec, 440 secs
lola: 295244616 markings, 442414448 edges, 629556 markings/sec, 445 secs
lola: 298351832 markings, 447070757 edges, 621443 markings/sec, 450 secs
lola: 301429857 markings, 451683280 edges, 615605 markings/sec, 455 secs
lola: 304532354 markings, 456332510 edges, 620499 markings/sec, 460 secs
lola: 307595894 markings, 460923305 edges, 612708 markings/sec, 465 secs
lola: 310646607 markings, 465494860 edges, 610143 markings/sec, 470 secs
lola: 313670161 markings, 470025676 edges, 604711 markings/sec, 475 secs
lola: 316709410 markings, 474580034 edges, 607850 markings/sec, 480 secs
lola: 319855392 markings, 479294492 edges, 629196 markings/sec, 485 secs
lola: 323035188 markings, 484058166 edges, 635959 markings/sec, 490 secs
lola: 326173389 markings, 488760952 edges, 627640 markings/sec, 495 secs
lola: 329306835 markings, 493456606 edges, 626689 markings/sec, 500 secs
lola: 332379667 markings, 498061340 edges, 614566 markings/sec, 505 secs
lola: 335493917 markings, 502728200 edges, 622850 markings/sec, 510 secs
lola: 338616896 markings, 507408153 edges, 624596 markings/sec, 515 secs
lola: 341682063 markings, 512001389 edges, 613033 markings/sec, 520 secs
lola: 344756435 markings, 516608431 edges, 614874 markings/sec, 525 secs
lola: 347797143 markings, 521164978 edges, 608142 markings/sec, 530 secs
lola: 350872689 markings, 525773783 edges, 615109 markings/sec, 535 secs
lola: 353949566 markings, 530384583 edges, 615375 markings/sec, 540 secs
lola: 356986669 markings, 534935723 edges, 607421 markings/sec, 545 secs
lola: 360037299 markings, 539505647 edges, 610126 markings/sec, 550 secs
lola: 363077460 markings, 544061373 edges, 608032 markings/sec, 555 secs
lola: 366057302 markings, 548526622 edges, 595968 markings/sec, 560 secs
lola: 369114742 markings, 553108267 edges, 611488 markings/sec, 565 secs
lola: 372132895 markings, 557630982 edges, 603631 markings/sec, 570 secs
lola: 375159307 markings, 562166085 edges, 605282 markings/sec, 575 secs
lola: 378142513 markings, 566636378 edges, 596641 markings/sec, 580 secs
lola: 381134254 markings, 571119475 edges, 598348 markings/sec, 585 secs
lola: 383652952 markings, 574894512 edges, 503740 markings/sec, 590 secs
lola: 384358651 markings, 575951554 edges, 141140 markings/sec, 595 secs
lola: 384375864 markings, 575977375 edges, 3443 markings/sec, 600 secs
lola: 384400332 markings, 576014076 edges, 4894 markings/sec, 605 secs
lola: 384406197 markings, 576022923 edges, 1173 markings/sec, 610 secs
lola: 384419686 markings, 576043108 edges, 2698 markings/sec, 615 secs
lola: 384437685 markings, 576070106 edges, 3600 markings/sec, 620 secs
lola: 384450071 markings, 576088686 edges, 2477 markings/sec, 625 secs
lola: 384460543 markings, 576104394 edges, 2094 markings/sec, 630 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (X (FIREABLE(srR)))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: processed formula: AX(FIREABLE(srR))
lola: processed formula length: 17
lola: 65 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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 0 significant temporal operators and needs 0 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: 0 markings, 0 edges
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: lola: ================================================================================
FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-3 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(crG)))
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(crG)
lola: processed formula length: 17
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: 3357590 markings, 4197310 edges, 671518 markings/sec, 0 secs
lola: 6191754 markings, 8164845 edges, 566833 markings/sec, 5 secs
lola: 9004239 markings, 12102010 edges, 562497 markings/sec, 10 secs
lola: 11759522 markings, 15959071 edges, 551057 markings/sec, 15 secs
lola: 14363486 markings, 19604245 edges, 520793 markings/sec, 20 secs
lola: 17095989 markings, 23429401 edges, 546501 markings/sec, 25 secs
lola: 19831382 markings, 27258604 edges, 547079 markings/sec, 30 secs
lola: 22571097 markings, 31092613 edges, 547943 markings/sec, 35 secs
lola: 25328086 markings, 34952189 edges, 551398 markings/sec, 40 secs
lola: 28105377 markings, 38840127 edges, 555458 markings/sec, 45 secs
lola: 30799444 markings, 42611493 edges, 538813 markings/sec, 50 secs
lola: 33495898 markings, 46386196 edges, 539291 markings/sec, 55 secs
lola: 36201946 markings, 50174326 edges, 541210 markings/sec, 60 secs
lola: 38926690 markings, 53988630 edges, 544949 markings/sec, 65 secs
lola: 41645875 markings, 57795146 edges, 543837 markings/sec, 70 secs
lola: 44315764 markings, 61532632 edges, 533978 markings/sec, 75 secs
lola: 46986331 markings, 65271066 edges, 534113 markings/sec, 80 secs
lola: 49605645 markings, 68937733 edges, 523863 markings/sec, 85 secs
lola: 52174735 markings, 72534073 edges, 513818 markings/sec, 90 secs
lola: 54752880 markings, 76143094 edges, 515629 markings/sec, 95 secs
lola: 57399136 markings, 79847483 edges, 529251 markings/sec, 100 secs
lola: 60010782 markings, 83502125 edges, 522329 markings/sec, 105 secs
lola: 62576091 markings, 87093240 edges, 513062 markings/sec, 110 secs
lola: 65126325 markings, 90663213 edges, 510047 markings/sec, 115 secs
lola: 67768911 markings, 94362532 edges, 528517 markings/sec, 120 secs
lola: 70381508 markings, 98019828 edges, 522519 markings/sec, 125 secs
lola: 73011280 markings, 101701170 edges, 525954 markings/sec, 130 secs
lola: 75650761 markings, 105396103 edges, 527896 markings/sec, 135 secs
lola: 78354931 markings, 109181614 edges, 540834 markings/sec, 140 secs
lola: 81093259 markings, 113014949 edges, 547666 markings/sec, 145 secs
lola: 83792555 markings, 116793621 edges, 539859 markings/sec, 150 secs
lola: 86473792 markings, 120547000 edges, 536247 markings/sec, 155 secs
lola: 89120861 markings, 124252537 edges, 529414 markings/sec, 160 secs
lola: 91755470 markings, 127940620 edges, 526922 markings/sec, 165 secs
lola: 94355114 markings, 131579746 edges, 519929 markings/sec, 170 secs
lola: 96996704 markings, 135277605 edges, 528318 markings/sec, 175 secs
lola: 99648332 markings, 138989517 edges, 530326 markings/sec, 180 secs
lola: 102291117 markings, 142689048 edges, 528557 markings/sec, 185 secs
lola: 104902223 markings, 146344219 edges, 522221 markings/sec, 190 secs
lola: 107562963 markings, 150067683 edges, 532148 markings/sec, 195 secs
lola: 110168344 markings, 153714899 edges, 521076 markings/sec, 200 secs
lola: 112776261 markings, 157365647 edges, 521583 markings/sec, 205 secs
lola: 115380915 markings, 161011820 edges, 520931 markings/sec, 210 secs
lola: 118059352 markings, 164761310 edges, 535687 markings/sec, 215 secs
lola: 120725097 markings, 168493016 edges, 533149 markings/sec, 220 secs
lola: 123334077 markings, 172145226 edges, 521796 markings/sec, 225 secs
lola: 125930891 markings, 175780399 edges, 519363 markings/sec, 230 secs
lola: 128533585 markings, 179423802 edges, 520539 markings/sec, 235 secs
lola: 131128884 markings, 183056850 edges, 519060 markings/sec, 240 secs
lola: 133686503 markings, 186637133 edges, 511524 markings/sec, 245 secs
lola: 136270427 markings, 190254252 edges, 516785 markings/sec, 250 secs
lola: 138879256 markings, 193906243 edges, 521766 markings/sec, 255 secs
lola: 141482723 markings, 197550723 edges, 520693 markings/sec, 260 secs
lola: 144045334 markings, 201137994 edges, 512522 markings/sec, 265 secs
lola: 146629673 markings, 204755692 edges, 516868 markings/sec, 270 secs
lola: 149204036 markings, 208359417 edges, 514873 markings/sec, 275 secs
lola: 151791026 markings, 211980825 edges, 517398 markings/sec, 280 secs
lola: 154345220 markings, 215556310 edges, 510839 markings/sec, 285 secs
lola: 156932527 markings, 219178161 edges, 517461 markings/sec, 290 secs
lola: 159565593 markings, 222864081 edges, 526613 markings/sec, 295 secs
lola: 162199982 markings, 226551856 edges, 526878 markings/sec, 300 secs
lola: 164797646 markings, 230188208 edges, 519533 markings/sec, 305 secs
lola: 167417727 markings, 233854602 edges, 524016 markings/sec, 310 secs
lola: 170028487 markings, 237509428 edges, 522152 markings/sec, 315 secs
lola: 172351918 markings, 240763002 edges, 464686 markings/sec, 320 secs
lola: 174940441 markings, 244385264 edges, 517705 markings/sec, 325 secs
lola: 177573557 markings, 248071369 edges, 526623 markings/sec, 330 secs
lola: 180208949 markings, 251760606 edges, 527078 markings/sec, 335 secs
lola: 182797513 markings, 255384248 edges, 517713 markings/sec, 340 secs
lola: 185351912 markings, 258960032 edges, 510880 markings/sec, 345 secs
lola: 187914879 markings, 262547815 edges, 512593 markings/sec, 350 secs
lola: 190427265 markings, 266064762 edges, 502477 markings/sec, 355 secs
lola: 192940421 markings, 269582787 edges, 502631 markings/sec, 360 secs
lola: 195462817 markings, 273113751 edges, 504479 markings/sec, 365 secs
lola: 198045807 markings, 276729574 edges, 516598 markings/sec, 370 secs
lola: 200635558 markings, 280354859 edges, 517950 markings/sec, 375 secs
lola: 203198913 markings, 283943179 edges, 512671 markings/sec, 380 secs
lola: 205765002 markings, 287535329 edges, 513218 markings/sec, 385 secs
lola: 208307952 markings, 291095072 edges, 508590 markings/sec, 390 secs
lola: 210819622 markings, 294611016 edges, 502334 markings/sec, 395 secs
lola: 213318526 markings, 298109081 edges, 499781 markings/sec, 400 secs
lola: 215842818 markings, 301642699 edges, 504858 markings/sec, 405 secs
lola: 218395679 markings, 305216323 edges, 510572 markings/sec, 410 secs
lola: 220908588 markings, 308734001 edges, 502582 markings/sec, 415 secs
lola: 223372317 markings, 312182810 edges, 492746 markings/sec, 420 secs
lola: 225834276 markings, 315629142 edges, 492392 markings/sec, 425 secs
lola: 228322440 markings, 319112168 edges, 497633 markings/sec, 430 secs
lola: 230816799 markings, 322603871 edges, 498872 markings/sec, 435 secs
lola: 233302987 markings, 326084130 edges, 497238 markings/sec, 440 secs
lola: 235817405 markings, 329603920 edges, 502884 markings/sec, 445 secs
lola: 238370544 markings, 333177933 edges, 510628 markings/sec, 450 secs
lola: 240950910 markings, 336790070 edges, 516073 markings/sec, 455 secs
lola: 243475775 markings, 340324491 edges, 504973 markings/sec, 460 secs
lola: 245888221 markings, 343701488 edges, 482489 markings/sec, 465 secs
lola: 248382242 markings, 347192717 edges, 498804 markings/sec, 470 secs
lola: 250869389 markings, 350674320 edges, 497429 markings/sec, 475 secs
lola: 253304650 markings, 354083264 edges, 487052 markings/sec, 480 secs
lola: 255762068 markings, 357523238 edges, 491484 markings/sec, 485 secs
lola: 258208018 markings, 360947151 edges, 489190 markings/sec, 490 secs
lola: 260628761 markings, 364335763 edges, 484149 markings/sec, 495 secs
lola: 263003823 markings, 367660404 edges, 475012 markings/sec, 500 secs
lola: 265378703 markings, 370984785 edges, 474976 markings/sec, 505 secs
lola: 267774236 markings, 374338085 edges, 479107 markings/sec, 510 secs
lola: 270160402 markings, 377678259 edges, 477233 markings/sec, 515 secs
lola: 272592857 markings, 381083258 edges, 486491 markings/sec, 520 secs
lola: 274819883 markings, 384201775 edges, 445405 markings/sec, 525 secs
lola: 277274827 markings, 387638288 edges, 490989 markings/sec, 530 secs
lola: 279740530 markings, 391089866 edges, 493141 markings/sec, 535 secs
lola: 282242414 markings, 394592105 edges, 500377 markings/sec, 540 secs
lola: 284602683 markings, 397896052 edges, 472054 markings/sec, 545 secs
lola: 287041732 markings, 401310309 edges, 487810 markings/sec, 550 secs
lola: 289466482 markings, 404704544 edges, 484950 markings/sec, 555 secs
lola: 291828766 markings, 408011312 edges, 472457 markings/sec, 560 secs
lola: 294190884 markings, 411317846 edges, 472424 markings/sec, 565 secs
lola: 296595098 markings, 414683324 edges, 480843 markings/sec, 570 secs
lola: 299009229 markings, 418062687 edges, 482826 markings/sec, 575 secs
lola: 301401418 markings, 421411326 edges, 478438 markings/sec, 580 secs
lola: 303779447 markings, 424740136 edges, 475606 markings/sec, 585 secs
lola: 306173494 markings, 428091374 edges, 478809 markings/sec, 590 secs
lola: 308548705 markings, 431416236 edges, 475042 markings/sec, 595 secs
lola: 310933677 markings, 434754763 edges, 476994 markings/sec, 600 secs
lola: 313296566 markings, 438062367 edges, 472578 markings/sec, 605 secs
lola: 315683152 markings, 441403150 edges, 477317 markings/sec, 610 secs
lola: 318211326 markings, 444942205 edges, 505635 markings/sec, 615 secs
lola: 320830346 markings, 448608471 edges, 523804 markings/sec, 620 secs
lola: 323414613 markings, 452226074 edges, 516853 markings/sec, 625 secs
lola: 325992138 markings, 455834231 edges, 515505 markings/sec, 630 secs
lola: 328534442 markings, 459393070 edges, 508461 markings/sec, 635 secs
lola: 331063219 markings, 462932966 edges, 505755 markings/sec, 640 secs
lola: 333537919 markings, 466397141 edges, 494940 markings/sec, 645 secs
lola: 336039432 markings, 469898859 edges, 500303 markings/sec, 650 secs
lola: 338556670 markings, 473422599 edges, 503448 markings/sec, 655 secs
lola: 341086956 markings, 476964609 edges, 506057 markings/sec, 660 secs
lola: 343580126 markings, 480454645 edges, 498634 markings/sec, 665 secs
lola: 346088988 markings, 483966655 edges, 501772 markings/sec, 670 secs
lola: 348585644 markings, 487461574 edges, 499331 markings/sec, 675 secs
lola: 351055623 markings, 490919137 edges, 493996 markings/sec, 680 secs
lola: 353507275 markings, 494351037 edges, 490330 markings/sec, 685 secs
lola: 355988844 markings, 497824828 edges, 496314 markings/sec, 690 secs
lola: 358474579 markings, 501304455 edges, 497147 markings/sec, 695 secs
lola: 360980042 markings, 504811705 edges, 501093 markings/sec, 700 secs
lola: 363450039 markings, 508269293 edges, 493999 markings/sec, 705 secs
lola: 365919704 markings, 511726416 edges, 493933 markings/sec, 710 secs
lola: 368384403 markings, 515176584 edges, 492940 markings/sec, 715 secs
lola: 370833388 markings, 518604749 edges, 489797 markings/sec, 720 secs
lola: 373248902 markings, 521986042 edges, 483103 markings/sec, 725 secs
lola: 375684281 markings, 525395154 edges, 487076 markings/sec, 730 secs
lola: 378143088 markings, 528837069 edges, 491761 markings/sec, 735 secs
lola: 380595624 markings, 532270205 edges, 490507 markings/sec, 740 secs
lola: 382984088 markings, 535613615 edges, 477693 markings/sec, 745 secs
lola: 385354992 markings, 538932432 edges, 474181 markings/sec, 750 secs
lola: 387748243 markings, 542282536 edges, 478650 markings/sec, 755 secs
lola: 390176100 markings, 545681103 edges, 485571 markings/sec, 760 secs
lola: 392583984 markings, 549051691 edges, 481577 markings/sec, 765 secs
lola: 394987383 markings, 552415993 edges, 480680 markings/sec, 770 secs
lola: 397490002 markings, 555919264 edges, 500524 markings/sec, 775 secs
lola: 400064439 markings, 559523121 edges, 514887 markings/sec, 780 secs
lola: 402548418 markings, 563000284 edges, 496796 markings/sec, 785 secs
lola: 405020999 markings, 566461483 edges, 494516 markings/sec, 790 secs
lola: 407496673 markings, 569927011 edges, 495135 markings/sec, 795 secs
lola: 409970309 markings, 573389686 edges, 494727 markings/sec, 800 secs
lola: 412392741 markings, 576780631 edges, 484486 markings/sec, 805 secs
lola: 414793481 markings, 580141154 edges, 480148 markings/sec, 810 secs
lola: 417222440 markings, 583542575 edges, 485792 markings/sec, 815 secs
lola: 418729383 markings, 585651669 edges, 301389 markings/sec, 820 secs
lola: 418993899 markings, 586022056 edges, 52903 markings/sec, 825 secs
lola: 419001773 markings, 586033082 edges, 1575 markings/sec, 830 secs
lola: 419011549 markings, 586046773 edges, 1955 markings/sec, 835 secs
lola: 419026736 markings, 586068038 edges, 3037 markings/sec, 840 secs
lola: 419031524 markings, 586074741 edges, 958 markings/sec, 845 secs
lola: 419047224 markings, 586096724 edges, 3140 markings/sec, 850 secs
lola: 419063981 markings, 586120198 edges, 3351 markings/sec, 855 secs
lola: 419074235 markings, 586134547 edges, 2051 markings/sec, 860 secs
lola: 419082562 markings, 586146207 edges, 1665 markings/sec, 865 secs
lola: 419090412 markings, 586157199 edges, 1570 markings/sec, 870 secs
lola: 419105570 markings, 586178424 edges, 3032 markings/sec, 875 secs
lola: 419111221 markings, 586186337 edges, 1130 markings/sec, 880 secs
lola: 419126111 markings, 586207186 edges, 2978 markings/sec, 885 secs
lola: 419140989 markings, 586228018 edges, 2976 markings/sec, 890 secs
lola: 419142764 markings, 586230505 edges, 355 markings/sec, 895 secs
lola: 419145449 markings, 586234263 edges, 537 markings/sec, 900 secs
lola: 419163955 markings, 586260177 edges, 3701 markings/sec, 905 secs
lola: 419177025 markings, 586278478 edges, 2614 markings/sec, 910 secs
lola: 419184420 markings, 586288833 edges, 1479 markings/sec, 915 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA ClientsAndServers-PT-N0500P0-CTLFireability-14 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (F ((E ((FIREABLE(srF) U FIREABLE(csF))) OR FIREABLE(srA))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:726
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: processed formula: A(TRUE U (E(FIREABLE(srF) U FIREABLE(csF)) OR FIREABLE(srA)))
lola: processed formula length: 61
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0500P0-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: 1470376 markings, 5389194 edges, 294075 markings/sec, 0 secs
lola: 2894946 markings, 10753890 edges, 284914 markings/sec, 5 secs
lola: 4302164 markings, 16084694 edges, 281444 markings/sec, 10 secs
lola: 5658000 markings, 21258594 edges, 271167 markings/sec, 15 secs
lola: 7014885 markings, 26415191 edges, 271377 markings/sec, 20 secs
lola: 8337057 markings, 31492495 edges, 264434 markings/sec, 25 secs
lola: 9657192 markings, 36525673 edges, 264027 markings/sec, 30 secs
lola: 10989039 markings, 41615576 edges, 266369 markings/sec, 35 secs
lola: 12270202 markings, 46530395 edges, 256233 markings/sec, 40 secs
lola: 13570487 markings, 51529061 edges, 260057 markings/sec, 45 secs
lola: 14889890 markings, 56604256 edges, 263881 markings/sec, 50 secs
lola: 16207538 markings, 61672771 edges, 263530 markings/sec, 55 secs
lola: 17493164 markings, 66615844 edges, 257125 markings/sec, 60 secs
lola: 18773968 markings, 71537763 edges, 256161 markings/sec, 65 secs
lola: 20067218 markings, 76509101 edges, 258650 markings/sec, 70 secs
lola: 21358415 markings, 81471790 edges, 258239 markings/sec, 75 secs
lola: 22658219 markings, 86475380 edges, 259961 markings/sec, 80 secs
lola: 23884603 markings, 91243902 edges, 245277 markings/sec, 85 secs
lola: 25189151 markings, 96253622 edges, 260910 markings/sec, 90 secs
lola: 26519930 markings, 101369953 edges, 266156 markings/sec, 95 secs
lola: 27789646 markings, 106322548 edges, 253943 markings/sec, 100 secs
lola: 29059847 markings, 111189977 edges, 254040 markings/sec, 105 secs
lola: 30367941 markings, 116220780 edges, 261619 markings/sec, 110 secs
lola: 31575519 markings, 120925261 edges, 241516 markings/sec, 115 secs
lola: 32868444 markings, 125886615 edges, 258585 markings/sec, 120 secs
lola: 34127178 markings, 130799869 edges, 251747 markings/sec, 125 secs
lola: 35417047 markings, 135742350 edges, 257974 markings/sec, 130 secs
lola: 36668817 markings, 140635523 edges, 250354 markings/sec, 135 secs
lola: 37908853 markings, 145379064 edges, 248007 markings/sec, 140 secs
lola: 39132054 markings, 150162771 edges, 244640 markings/sec, 145 secs
lola: 40376205 markings, 154922211 edges, 248830 markings/sec, 150 secs
lola: 41565838 markings, 159570929 edges, 237927 markings/sec, 155 secs
lola: 42860295 markings, 164530463 edges, 258891 markings/sec, 160 secs
lola: 44086174 markings, 169314708 edges, 245176 markings/sec, 165 secs
lola: 45315655 markings, 174036128 edges, 245896 markings/sec, 170 secs
lola: 46530716 markings, 178765643 edges, 243012 markings/sec, 175 secs
lola: 47817060 markings, 183800433 edges, 257269 markings/sec, 180 secs
lola: 49111746 markings, 188748293 edges, 258937 markings/sec, 185 secs
lola: 50357439 markings, 193620286 edges, 249139 markings/sec, 190 secs
lola: 51683320 markings, 198704719 edges, 265176 markings/sec, 195 secs
lola: 52886568 markings, 203396569 edges, 240650 markings/sec, 200 secs
lola: 54141701 markings, 208311010 edges, 251027 markings/sec, 205 secs
lola: 55441896 markings, 213279433 edges, 260039 markings/sec, 210 secs
lola: 56675483 markings, 218099179 edges, 246717 markings/sec, 215 secs
lola: 57982094 markings, 223193231 edges, 261322 markings/sec, 220 secs
lola: 59247458 markings, 228044041 edges, 253073 markings/sec, 225 secs
lola: 60479391 markings, 232864755 edges, 246387 markings/sec, 230 secs
lola: 61806010 markings, 237971651 edges, 265324 markings/sec, 235 secs
lola: 63041463 markings, 242765195 edges, 247091 markings/sec, 240 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown yes yes no no no yes yes yes no unknown no
lola:
preliminary result: unknown no unknown unknown unknown yes yes no no no yes yes yes no unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no unknown unknown unknown yes yes no no no yes yes yes no unknown no
lola: memory consumption: 4777536 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no unknown unknown unknown yes yes no no no yes yes yes no unknown no
lola: memory consumption: 4777536 KB
lola: time consumption: 3570 seconds
BK_STOP 1526564568154
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ClientsAndServers-PT-N0500P0"
export BK_EXAMINATION="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-N0500P0.tgz
mv ClientsAndServers-PT-N0500P0 execution
cd execution
pwd
ls -lh
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool lola"
echo " Input is ClientsAndServers-PT-N0500P0, examination is 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-152646357300165"
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 ;