About the Execution of LoLA for ClientsAndServers-PT-N0200P0
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.190 | 3571144.00 | 3459271.00 | 29422.00 | F?FFFFFFF??FT?FF | 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 176K
-rw-r--r-- 1 mcc users 3.5K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K 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.5K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.5K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K 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 2.9K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 15 18:49 equiv_col
-rw-r--r-- 1 mcc users 8 May 15 18:49 instance
-rw-r--r-- 1 mcc users 6 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 9.2K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool lola
Input is ClientsAndServers-PT-N0200P0, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-smll-152646357300158
=====================================================================
--------------------
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-N0200P0-CTLFireability-00
FORMULA_NAME ClientsAndServers-PT-N0200P0-CTLFireability-01
FORMULA_NAME ClientsAndServers-PT-N0200P0-CTLFireability-02
FORMULA_NAME ClientsAndServers-PT-N0200P0-CTLFireability-03
FORMULA_NAME ClientsAndServers-PT-N0200P0-CTLFireability-04
FORMULA_NAME ClientsAndServers-PT-N0200P0-CTLFireability-05
FORMULA_NAME ClientsAndServers-PT-N0200P0-CTLFireability-06
FORMULA_NAME ClientsAndServers-PT-N0200P0-CTLFireability-07
FORMULA_NAME ClientsAndServers-PT-N0200P0-CTLFireability-08
FORMULA_NAME ClientsAndServers-PT-N0200P0-CTLFireability-09
FORMULA_NAME ClientsAndServers-PT-N0200P0-CTLFireability-10
FORMULA_NAME ClientsAndServers-PT-N0200P0-CTLFireability-11
FORMULA_NAME ClientsAndServers-PT-N0200P0-CTLFireability-12
FORMULA_NAME ClientsAndServers-PT-N0200P0-CTLFireability-13
FORMULA_NAME ClientsAndServers-PT-N0200P0-CTLFireability-14
FORMULA_NAME ClientsAndServers-PT-N0200P0-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1526556242633
info: Time: 3600 - MCC
===========================================================================================
prep: translating ClientsAndServers-PT-N0200P0 Petri net model.pnml into LoLA format
===========================================================================================
prep: translating PT Petri net complete
prep: check for too many tokens
===========================================================================================
prep: translating ClientsAndServers-PT-N0200P0 formula CTLFireability into LoLA format
===========================================================================================
prep: translating PT formula complete
vrfy: Checking CTLFireability @ ClientsAndServers-PT-N0200P0 @ 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-N0200P0-CTLFireability.task
lola: E (((NOT FIREABLE(ssR) OR (FIREABLE(ssA))) U (FIREABLE(csR) AND FIREABLE(crA)))) : NOT((E (F (A (G (FIREABLE(csR))))) OR A (((FIREABLE(crA) AND FIREABLE(ssG)) U FIREABLE(msG))))) : (NOT(((E (X (FIREABLE(msA))) OR A (F (FIREABLE(srG)))) AND ((NOT FIREABLE(csF) OR NOT FIREABLE(mfU)) OR E (X (FIREABLE(srG)))))) AND (FIREABLE(mrF) OR FIREABLE(crA) OR NOT FIREABLE(mrR) OR ((FIREABLE(csF) OR FIREABLE(ssR)) AND (FIREABLE(srG) OR FIREABLE(srR))))) : (((((NOT FIREABLE(ssA) AND NOT FIREABLE(srG)) OR (FIREABLE(srR) AND NOT FIREABLE(ssG))) AND E (F (NOT FIREABLE(ssF)))) AND E (((FIREABLE(mrR) AND FIREABLE(mfU)) U (FIREABLE(srA) AND FIREABLE(ssF))))) OR NOT(NOT((A (F (FIREABLE(srF))) OR (FIREABLE(mfU) OR FIREABLE(msA) OR FIREABLE(msA) OR FIREABLE(ssR)))))) : NOT(NOT(A (((FIREABLE(ssR) OR FIREABLE(csR)) U (FIREABLE(srG) OR FIREABLE(mrR)))))) : A ((NOT FIREABLE(srA) U FIREABLE(srF))) : (((A (G ((FIREABLE(msG) OR FIREABLE(csR)))) OR A (G ((FIREABLE(crG) OR FIREABLE(ssF))))) OR FIREABLE(msG)) OR E (X ((A (G (FIREABLE(ssR))) AND E (F (FIREABLE(srG))))))) : A (G (A (F (A (F (FIREABLE(srG))))))) : A (F (FIREABLE(srF))) : NOT(E (F (A (G (FIREABLE(mrF)))))) : A (G (A (F (E (F (FIREABLE(srG))))))) : NOT(A (((NOT FIREABLE(srF) OR NOT FIREABLE(maU)) U (FIREABLE(msA) OR (FIREABLE(ssR)))))) : A (F (NOT(NOT(E (G (FIREABLE(ssR))))))) : A (F ((E (X (FIREABLE(ssG))) AND E (G (NOT FIREABLE(msA)))))) : A (G (A ((FIREABLE(ssA) U NOT FIREABLE(ssA))))) : (A (G (E (G (NOT FIREABLE(ssA))))) OR A (G (FIREABLE(csR))))
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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: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:297
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:300
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:341
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:392
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:449
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:419
lola: rewrite Frontend/Parser/formula_rewrite.k:458
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((A (X (NOT FIREABLE(msA))) AND E (G (NOT FIREABLE(srG)))) OR ((FIREABLE(csF) AND FIREABLE(mfU)) AND A (X (NOT FIREABLE(srG))))) AND (FIREABLE(mrF) OR FIREABLE(crA) OR NOT FIREABLE(mrR) OR ((FIREABLE(csF) OR FIREABLE(ssR)) AND (FIREABLE(srG) OR FIREABLE(srR)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 223 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(csF) AND FIREABLE(mfU))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(csF) AND FIREABLE(mfU))
lola: processed formula length: 33
lola: 64 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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 1 will run for 238 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(mrF) OR FIREABLE(crA) OR NOT FIREABLE(mrR) OR ((FIREABLE(csF) OR FIREABLE(ssR)) AND (FIREABLE(srG) OR FIREABLE(srR))))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(mrF) OR FIREABLE(crA) OR NOT FIREABLE(mrR) OR ((FIREABLE(csF) OR FIREABLE(ssR)) AND (FIREABLE(srG) OR FIREABLE(srR))))
lola: processed formula length: 133
lola: 64 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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 2 will run for 255 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (NOT FIREABLE(srG)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: processed formula: E (G (NOT FIREABLE(srG)))
lola: processed formula length: 25
lola: 64 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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: 2412645 markings, 4785416 edges, 482529 markings/sec, 0 secs
lola: 4896402 markings, 9730310 edges, 496751 markings/sec, 5 secs
lola: 7320356 markings, 14559949 edges, 484791 markings/sec, 10 secs
lola: 9699241 markings, 19301338 edges, 475777 markings/sec, 15 secs
lola: 12169329 markings, 24226226 edges, 494018 markings/sec, 20 secs
lola: 14564168 markings, 29002283 edges, 478968 markings/sec, 25 secs
lola: 16908324 markings, 33677654 edges, 468831 markings/sec, 30 secs
lola: 19286256 markings, 38420700 edges, 475586 markings/sec, 35 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 21416201 markings, 42669600 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA ClientsAndServers-PT-N0200P0-CTLFireability-2 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 1 will run for 235 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G ((FIREABLE(msG) OR FIREABLE(csR)))) OR (A (G ((FIREABLE(crG) OR FIREABLE(ssF)))) OR (FIREABLE(msG) OR E (X ((A (G (FIREABLE(ssR))) AND E (F (FIREABLE(srG)))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 1 will run for 235 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-N0200P0-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 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(crG) OR FIREABLE(ssF))))
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(crG) OR FIREABLE(ssF))))
lola: processed formula length: 41
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 271 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(msG) OR FIREABLE(csR))))
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(msG) OR FIREABLE(csR))))
lola: processed formula length: 41
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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(msG) AND NOT FIREABLE(csR))
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0200P0-CTLFireability-3-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: 1601 markings, 1600 edges
lola: ========================================
lola: subprocess 4 will run for 293 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X ((A (G (FIREABLE(ssR))) AND E (F (FIREABLE(srG))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:737
lola: rewrite Frontend/Parser/formula_rewrite.k:719
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: EX((NOT(E(TRUE U NOT FIREABLE(ssR))) AND E(TRUE U FIREABLE(srG))))
lola: processed formula length: 66
lola: 68 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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: 1 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA ClientsAndServers-PT-N0200P0-CTLFireability-6 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 2 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((E (X (FIREABLE(ssG))) AND E (G (NOT FIREABLE(msA))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U (EX(FIREABLE(ssG)) AND NOT(A(TRUE U FIREABLE(msA)))))
lola: processed formula length: 62
lola: 68 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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: 3452941 markings, 3817517 edges, 690588 markings/sec, 0 secs
lola: 6536798 markings, 7447823 edges, 616771 markings/sec, 5 secs
lola: 9494941 markings, 11011308 edges, 591629 markings/sec, 10 secs
lola: 12258077 markings, 14422820 edges, 552627 markings/sec, 15 secs
lola: 14935415 markings, 17779198 edges, 535468 markings/sec, 20 secs
lola: 17332114 markings, 20815826 edges, 479340 markings/sec, 25 secs
lola: 19609146 markings, 23748021 edges, 455406 markings/sec, 30 secs
lola: 21859874 markings, 26668000 edges, 450146 markings/sec, 35 secs
lola: 24211050 markings, 29739694 edges, 470235 markings/sec, 40 secs
lola: 26415607 markings, 32636416 edges, 440911 markings/sec, 45 secs
lola: 28610868 markings, 35553811 edges, 439052 markings/sec, 50 secs
lola: 30704410 markings, 38358084 edges, 418708 markings/sec, 55 secs
lola: 32842842 markings, 41259407 edges, 427686 markings/sec, 60 secs
lola: 35282575 markings, 44572762 edges, 487947 markings/sec, 65 secs
lola: 37630654 markings, 47793507 edges, 469616 markings/sec, 70 secs
lola: 39971777 markings, 50973382 edges, 468225 markings/sec, 75 secs
lola: 42258574 markings, 54119664 edges, 457359 markings/sec, 80 secs
lola: 44541526 markings, 57347277 edges, 456590 markings/sec, 85 secs
lola: 46810290 markings, 60455831 edges, 453753 markings/sec, 90 secs
lola: 49012267 markings, 63594942 edges, 440395 markings/sec, 95 secs
lola: 51255250 markings, 66723012 edges, 448597 markings/sec, 100 secs
lola: 53401323 markings, 69763631 edges, 429215 markings/sec, 105 secs
lola: 55606825 markings, 72957811 edges, 441100 markings/sec, 110 secs
lola: 57888851 markings, 76177623 edges, 456405 markings/sec, 115 secs
lola: 60070560 markings, 79296005 edges, 436342 markings/sec, 120 secs
lola: 62225235 markings, 82415240 edges, 430935 markings/sec, 125 secs
lola: 64363132 markings, 85542905 edges, 427579 markings/sec, 130 secs
lola: 66467609 markings, 88636696 edges, 420895 markings/sec, 135 secs
lola: 68565262 markings, 91732755 edges, 419531 markings/sec, 140 secs
lola: 70763792 markings, 94886620 edges, 439706 markings/sec, 145 secs
lola: 72891978 markings, 97996976 edges, 425637 markings/sec, 150 secs
lola: 74976613 markings, 101069740 edges, 416927 markings/sec, 155 secs
lola: 77047847 markings, 104135165 edges, 414247 markings/sec, 160 secs
lola: 79128063 markings, 107230358 edges, 416043 markings/sec, 165 secs
lola: 81183234 markings, 110311741 edges, 411034 markings/sec, 170 secs
lola: 83201183 markings, 113376266 edges, 403590 markings/sec, 175 secs
lola: 85182555 markings, 116359331 edges, 396274 markings/sec, 180 secs
lola: 87361069 markings, 119624947 edges, 435703 markings/sec, 185 secs
lola: 89523447 markings, 122875331 edges, 432476 markings/sec, 190 secs
lola: 91645237 markings, 126061377 edges, 424358 markings/sec, 195 secs
lola: 93753250 markings, 129227266 edges, 421603 markings/sec, 200 secs
lola: 95845721 markings, 132395070 edges, 418494 markings/sec, 205 secs
lola: 97928659 markings, 135570604 edges, 416588 markings/sec, 210 secs
lola: 99981843 markings, 138742480 edges, 410637 markings/sec, 215 secs
lola: 101935240 markings, 141864289 edges, 390679 markings/sec, 220 secs
lola: 103960699 markings, 144908459 edges, 405092 markings/sec, 225 secs
lola: 106044219 markings, 148062985 edges, 416704 markings/sec, 230 secs
lola: 108110730 markings, 151250010 edges, 413302 markings/sec, 235 secs
lola: 110131762 markings, 154435608 edges, 404206 markings/sec, 240 secs
lola: 112063196 markings, 157497057 edges, 386287 markings/sec, 245 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no unknown unknown unknown no unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 8961164 KB
lola: time consumption: 296 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 251 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (FIREABLE(srF)))
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(srF)
lola: processed formula length: 17
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 10001 markings, 10000 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0200P0-CTLFireability-8 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 4 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (NOT FIREABLE(mrF)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: NOT FIREABLE(mrF)
lola: processed formula length: 17
lola: 65 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 2277415 markings, 6284200 edges, 455483 markings/sec, 0 secs
lola: 4314468 markings, 12498039 edges, 407411 markings/sec, 5 secs
lola: 6246374 markings, 18529329 edges, 386381 markings/sec, 10 secs
lola: 8061819 markings, 24367361 edges, 363089 markings/sec, 15 secs
lola: 9888198 markings, 30227818 edges, 365276 markings/sec, 20 secs
lola: 11649794 markings, 35946845 edges, 352319 markings/sec, 25 secs
lola: 13355174 markings, 41516451 edges, 341076 markings/sec, 30 secs
lola: 15024878 markings, 46942986 edges, 333941 markings/sec, 35 secs
lola: 16690658 markings, 52554763 edges, 333156 markings/sec, 40 secs
lola: 18369883 markings, 58018330 edges, 335845 markings/sec, 45 secs
lola: 19953714 markings, 63358094 edges, 316766 markings/sec, 50 secs
lola: 21502339 markings, 68479432 edges, 309725 markings/sec, 55 secs
lola: 23009641 markings, 73602384 edges, 301460 markings/sec, 60 secs
lola: 24487740 markings, 78589905 edges, 295620 markings/sec, 65 secs
lola: 25896853 markings, 83458561 edges, 281823 markings/sec, 70 secs
lola: 27387283 markings, 88503788 edges, 298086 markings/sec, 75 secs
lola: 28781217 markings, 93358265 edges, 278787 markings/sec, 80 secs
lola: 30119779 markings, 97981640 edges, 267712 markings/sec, 85 secs
lola: 31501443 markings, 102726207 edges, 276333 markings/sec, 90 secs
lola: 32821319 markings, 107279814 edges, 263975 markings/sec, 95 secs
lola: 34209016 markings, 112017572 edges, 277539 markings/sec, 100 secs
lola: 35549538 markings, 116696181 edges, 268104 markings/sec, 105 secs
lola: 36884653 markings, 121293203 edges, 267023 markings/sec, 110 secs
lola: 38207370 markings, 125850081 edges, 264543 markings/sec, 115 secs
lola: 39558167 markings, 130518556 edges, 270159 markings/sec, 120 secs
lola: 40744644 markings, 134740124 edges, 237295 markings/sec, 125 secs
lola: 41983249 markings, 139115134 edges, 247721 markings/sec, 130 secs
lola: 43188989 markings, 143376694 edges, 241148 markings/sec, 135 secs
lola: 44369560 markings, 147563893 edges, 236114 markings/sec, 140 secs
lola: 45561574 markings, 151764800 edges, 238403 markings/sec, 145 secs
lola: 46739076 markings, 155989785 edges, 235500 markings/sec, 150 secs
lola: 47992025 markings, 160266176 edges, 250590 markings/sec, 155 secs
lola: 49115181 markings, 164292408 edges, 224631 markings/sec, 160 secs
lola: 50237696 markings, 168262697 edges, 224503 markings/sec, 165 secs
lola: 51384888 markings, 172315196 edges, 229438 markings/sec, 170 secs
lola: 52560679 markings, 176414276 edges, 235158 markings/sec, 175 secs
lola: 53605879 markings, 180192995 edges, 209040 markings/sec, 180 secs
lola: 54682360 markings, 184097671 edges, 215296 markings/sec, 185 secs
lola: 55815747 markings, 188159817 edges, 226677 markings/sec, 190 secs
lola: 56915964 markings, 192053064 edges, 220043 markings/sec, 195 secs
lola: 57990250 markings, 195915475 edges, 214857 markings/sec, 200 secs
lola: 59130718 markings, 199933756 edges, 228094 markings/sec, 205 secs
lola: 60159065 markings, 203651640 edges, 205669 markings/sec, 210 secs
lola: 61206087 markings, 207423266 edges, 209404 markings/sec, 215 secs
lola: 62348845 markings, 211494551 edges, 228552 markings/sec, 220 secs
lola: 63400033 markings, 215251148 edges, 210238 markings/sec, 225 secs
lola: 64448727 markings, 219007281 edges, 209739 markings/sec, 230 secs
lola: 65459507 markings, 222619860 edges, 202156 markings/sec, 235 secs
lola: 66496529 markings, 226366369 edges, 207404 markings/sec, 240 secs
lola: 67490111 markings, 229979308 edges, 198716 markings/sec, 245 secs
lola: 68528763 markings, 233717138 edges, 207730 markings/sec, 250 secs
lola: 69512390 markings, 237284909 edges, 196725 markings/sec, 255 secs
lola: 70476624 markings, 240794940 edges, 192847 markings/sec, 260 secs
lola: 71478304 markings, 244423565 edges, 200336 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no unknown unknown unknown no unknown no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 7194852 KB
lola: time consumption: 569 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (FIREABLE(srG)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: FIREABLE(srG)
lola: processed formula length: 13
lola: 65 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 3487231 markings, 5523802 edges, 697446 markings/sec, 0 secs
lola: 6632330 markings, 10897493 edges, 629020 markings/sec, 5 secs
lola: 9611675 markings, 16054748 edges, 595869 markings/sec, 10 secs
lola: 12389749 markings, 20963754 edges, 555615 markings/sec, 15 secs
lola: 15194985 markings, 25887738 edges, 561047 markings/sec, 20 secs
lola: 17738530 markings, 30546098 edges, 508709 markings/sec, 25 secs
lola: 20179914 markings, 35055836 edges, 488277 markings/sec, 30 secs
lola: 22609004 markings, 39555322 edges, 485818 markings/sec, 35 secs
lola: 24902593 markings, 43873486 edges, 458718 markings/sec, 40 secs
lola: 27176146 markings, 48136823 edges, 454711 markings/sec, 45 secs
lola: 29408051 markings, 52351565 edges, 446381 markings/sec, 50 secs
lola: 31532093 markings, 56448316 edges, 424808 markings/sec, 55 secs
lola: 33529014 markings, 60307019 edges, 399384 markings/sec, 60 secs
lola: 35614453 markings, 64336359 edges, 417088 markings/sec, 65 secs
lola: 37634498 markings, 68276636 edges, 404009 markings/sec, 70 secs
lola: 39659776 markings, 72231544 edges, 405056 markings/sec, 75 secs
lola: 41596281 markings, 76038061 edges, 387301 markings/sec, 80 secs
lola: 43485617 markings, 79823411 edges, 377867 markings/sec, 85 secs
lola: 45382717 markings, 83566023 edges, 379420 markings/sec, 90 secs
lola: 47162600 markings, 87203166 edges, 355977 markings/sec, 95 secs
lola: 48914546 markings, 90779583 edges, 350389 markings/sec, 100 secs
lola: 50669497 markings, 94340335 edges, 350990 markings/sec, 105 secs
lola: 52373022 markings, 97866236 edges, 340705 markings/sec, 110 secs
lola: 53991060 markings, 101263328 edges, 323608 markings/sec, 115 secs
lola: 55547089 markings, 104516284 edges, 311206 markings/sec, 120 secs
lola: 57144408 markings, 107888411 edges, 319464 markings/sec, 125 secs
lola: 58802629 markings, 111325438 edges, 331644 markings/sec, 130 secs
lola: 60378897 markings, 114649875 edges, 315254 markings/sec, 135 secs
lola: 62003287 markings, 118047834 edges, 324878 markings/sec, 140 secs
lola: 63525720 markings, 121304063 edges, 304487 markings/sec, 145 secs
lola: 65095349 markings, 124622114 edges, 313926 markings/sec, 150 secs
lola: 66563402 markings, 127789188 edges, 293611 markings/sec, 155 secs
lola: 68041778 markings, 130978597 edges, 295675 markings/sec, 160 secs
lola: 69558010 markings, 134197741 edges, 303246 markings/sec, 165 secs
lola: 71034378 markings, 137384158 edges, 295274 markings/sec, 170 secs
lola: 72527618 markings, 140606474 edges, 298648 markings/sec, 175 secs
lola: 74005611 markings, 143741319 edges, 295599 markings/sec, 180 secs
lola: 75445484 markings, 146882771 edges, 287975 markings/sec, 185 secs
lola: 76862881 markings, 149953876 edges, 283479 markings/sec, 190 secs
lola: 78277309 markings, 153043571 edges, 282886 markings/sec, 195 secs
lola: 79691794 markings, 156125458 edges, 282897 markings/sec, 200 secs
lola: 81005370 markings, 159064810 edges, 262715 markings/sec, 205 secs
lola: 82360219 markings, 162055929 edges, 270970 markings/sec, 210 secs
lola: 83738993 markings, 165081467 edges, 275755 markings/sec, 215 secs
lola: 85121998 markings, 168120106 edges, 276601 markings/sec, 220 secs
lola: 86384632 markings, 170981639 edges, 252527 markings/sec, 225 secs
lola: 87714168 markings, 173943325 edges, 265907 markings/sec, 230 secs
lola: 89089784 markings, 176949260 edges, 275123 markings/sec, 235 secs
lola: 90367559 markings, 179785588 edges, 255555 markings/sec, 240 secs
lola: 91712265 markings, 182776040 edges, 268941 markings/sec, 245 secs
lola: 93042797 markings, 185727580 edges, 266106 markings/sec, 250 secs
lola: 94332030 markings, 188619472 edges, 257847 markings/sec, 255 secs
lola: 95674206 markings, 191554732 edges, 268435 markings/sec, 260 secs
lola: 96925487 markings, 194349434 edges, 250256 markings/sec, 265 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown no unknown unknown unknown no unknown no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 9763944 KB
lola: time consumption: 842 seconds
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 272 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F (FIREABLE(srG)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: NOT FIREABLE(srG)
lola: processed formula length: 17
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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: 4872794 markings, 5199425 edges, 974559 markings/sec, 0 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate does not eventually occur from all states.
lola: 5525318 markings, 5878925 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0200P0-CTLFireability-7 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 7 will run for 302 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F (NOT FIREABLE(ssA)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence in all states
lola: rewrite Frontend/Parser/formula_rewrite.k:644
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: FIREABLE(ssA)
lola: processed formula length: 13
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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: 7605 markings, 7605 edges
lola:
FORMULA ClientsAndServers-PT-N0200P0-CTLFireability-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 8 will run for 340 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (E (G (FIREABLE(ssR)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U NOT(A(TRUE U NOT FIREABLE(ssR))))
lola: processed formula length: 42
lola: 67 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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: 13621 markings, 18421 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0200P0-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 9 will run for 388 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(srA) U FIREABLE(srF)))
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(srF)))
lola: processed formula length: 39
lola: 68 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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: 10000 markings, 9999 edges
lola:
FORMULA ClientsAndServers-PT-N0200P0-CTLFireability-5 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
========================================
lola: subprocess 10 will run for 453 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((NOT FIREABLE(ssR) OR (FIREABLE(ssA))) U (FIREABLE(csR) AND FIREABLE(crA))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E (((NOT FIREABLE(ssR) OR (FIREABLE(ssA))) U (FIREABLE(csR) AND FIREABLE(crA))))
lola: processed formula length: 81
lola: 67 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: (FIREABLE(csR) AND FIREABLE(crA))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0200P0-CTLFireability-10-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EU
lola: There is no path where Predicate Phi holds until Predicate Psi.
lola: 1601 markings, 1600 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0200P0-CTLFireability-0 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 11 will run for 544 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (((FIREABLE(ssR) OR FIREABLE(csR)) U (FIREABLE(srG) OR FIREABLE(mrR))))
lola: ========================================
lola: SUBTASK
lola: checking universal until
lola: rewrite Frontend/Parser/formula_rewrite.k:645
lola: rewrite Frontend/Parser/formula_rewrite.k:609
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: rewrite Frontend/Parser/formula_rewrite.k:694
lola: processed formula: A (((FIREABLE(ssR) OR FIREABLE(csR)) U (FIREABLE(srG) OR FIREABLE(mrR))))
lola: processed formula length: 75
lola: 68 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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: 1600 markings, 1599 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0200P0-CTLFireability-4 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 12 will run for 680 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((FIREABLE(srF) AND FIREABLE(maU)) R (NOT FIREABLE(msA) AND (NOT FIREABLE(ssR)))))
lola: ========================================
lola: SUBTASK
lola: checking existential release
lola: rewrite Frontend/Parser/formula_rewrite.k:646
lola: rewrite Frontend/Parser/formula_rewrite.k:610
lola: processed formula: E (((FIREABLE(srF) AND FIREABLE(maU)) R (NOT FIREABLE(msA) AND (NOT FIREABLE(ssR)))))
lola: processed formula length: 85
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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: There is no path where Predicate Phi releases Predicate Psi.
lola: 1601 markings, 1600 edges
lola: ========================================
FORMULA ClientsAndServers-PT-N0200P0-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: subprocess 13 will run for 907 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (NOT FIREABLE(ssA))) OR A (G (FIREABLE(csR))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 13 will run for 907 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(csR)))
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(csR)))
lola: processed formula length: 21
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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(csR)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0200P0-CTLFireability-13-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: 1601 markings, 1600 edges
lola: ========================================
lola: subprocess 14 will run for 1361 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (NOT FIREABLE(ssA)))
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 (NOT FIREABLE(ssA)))
lola: processed formula length: 25
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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: FIREABLE(ssA)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to ClientsAndServers-PT-N0200P0-CTLFireability-14-0.sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 17 markings, 16 edges
lola: lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
========================================
lola: ========================================
FORMULA ClientsAndServers-PT-N0200P0-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: state equation: calling and running sara
lola: subprocess 14 will run for 1361 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (G (E (F (NOT FIREABLE(csR))))) AND E (((NOT FIREABLE(crA) OR NOT FIREABLE(ssG)) R NOT FIREABLE(msG))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1361 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((NOT FIREABLE(crA) OR NOT FIREABLE(ssG)) R NOT FIREABLE(msG)))
lola: ========================================
lola: SUBTASK
lola: checking existential release
lola: rewrite Frontend/Parser/formula_rewrite.k:646
lola: rewrite Frontend/Parser/formula_rewrite.k:610
lola: processed formula: E (((NOT FIREABLE(crA) OR NOT FIREABLE(ssG)) R NOT FIREABLE(msG)))
lola: processed formula length: 67
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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: yes
lola: produced by: state space /ER
lola: There is a path where Predicate Phi releases Predicate Psi.
lola: 0 markings, 0 edges
lola: ========================================
sara: try reading problem file ClientsAndServers-PT-N0200P0-CTLFireability-14-0.sara.
lola: subprocess 15 will run for 2722 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (E (F (NOT FIREABLE(csR)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: NOT FIREABLE(csR)
lola: processed formula length: 17
lola: 65 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 2831342 markings, 6387611 edges, 566268 markings/sec, 0 secs
lola: 5432946 markings, 12469609 edges, 520321 markings/sec, 5 secs
lola: 7800948 markings, 18143630 edges, 473600 markings/sec, 10 secs
lola: 9971296 markings, 23464502 edges, 434070 markings/sec, 15 secs
lola: 11895664 markings, 28266971 edges, 384874 markings/sec, 20 secs
lola: 13652914 markings, 32742222 edges, 351450 markings/sec, 25 secs
lola: 15423215 markings, 37255707 edges, 354060 markings/sec, 30 secs
lola: 17111693 markings, 41649801 edges, 337696 markings/sec, 35 secs
lola: 18735477 markings, 45852266 edges, 324757 markings/sec, 40 secs
lola: 20207759 markings, 49758071 edges, 294456 markings/sec, 45 secs
lola: 21739220 markings, 53746821 edges, 306292 markings/sec, 50 secs
lola: 23227540 markings, 57708918 edges, 297664 markings/sec, 55 secs
lola: 24704172 markings, 61601784 edges, 295326 markings/sec, 60 secs
lola: 26171248 markings, 65465796 edges, 293415 markings/sec, 65 secs
lola: 27532470 markings, 69206053 edges, 272244 markings/sec, 70 secs
lola: 28792088 markings, 72661759 edges, 251924 markings/sec, 75 secs
lola: 29974677 markings, 75966645 edges, 236518 markings/sec, 80 secs
lola: 31276774 markings, 79497449 edges, 260419 markings/sec, 85 secs
lola: 32632322 markings, 83063890 edges, 271110 markings/sec, 90 secs
lola: 33895412 markings, 86499134 edges, 252618 markings/sec, 95 secs
lola: 35089818 markings, 89790248 edges, 238881 markings/sec, 100 secs
lola: 36327492 markings, 93190662 edges, 247535 markings/sec, 105 secs
lola: 37582733 markings, 96670322 edges, 251048 markings/sec, 110 secs
lola: 38726015 markings, 99868439 edges, 228656 markings/sec, 115 secs
lola: 39887624 markings, 103087398 edges, 232322 markings/sec, 120 secs
lola: 41053001 markings, 106281238 edges, 233075 markings/sec, 125 secs
lola: 42132859 markings, 109342732 edges, 215972 markings/sec, 130 secs
lola: 43233665 markings, 112438384 edges, 220161 markings/sec, 135 secs
lola: 44257424 markings, 115355782 edges, 204752 markings/sec, 140 secs
lola: 45379838 markings, 118503313 edges, 224483 markings/sec, 145 secs
lola: 46666664 markings, 121944983 edges, 257365 markings/sec, 150 secs
lola: 47775309 markings, 125059986 edges, 221729 markings/sec, 155 secs
lola: 48899418 markings, 128185173 edges, 224822 markings/sec, 160 secs
lola: 49928835 markings, 131116218 edges, 205883 markings/sec, 165 secs
lola: 51014549 markings, 134172286 edges, 217143 markings/sec, 170 secs
lola: 52066636 markings, 137131319 edges, 210417 markings/sec, 175 secs
lola: 53085790 markings, 140052165 edges, 203831 markings/sec, 180 secs
lola: 54149512 markings, 143056049 edges, 212744 markings/sec, 185 secs
lola: 55147314 markings, 145917827 edges, 199560 markings/sec, 190 secs
lola: 56208881 markings, 148933243 edges, 212313 markings/sec, 195 secs
lola: 57215730 markings, 151813425 edges, 201370 markings/sec, 200 secs
lola: 58222157 markings, 154691939 edges, 201285 markings/sec, 205 secs
lola: 59233593 markings, 157605482 edges, 202287 markings/sec, 210 secs
lola: 60196883 markings, 160398096 edges, 192658 markings/sec, 215 secs
lola: 61239125 markings, 163332411 edges, 208448 markings/sec, 220 secs
lola: 62224456 markings, 166146645 edges, 197066 markings/sec, 225 secs
lola: 63238344 markings, 169040824 edges, 202778 markings/sec, 230 secs
lola: 64170559 markings, 171742203 edges, 186443 markings/sec, 235 secs
lola: 65081758 markings, 174401707 edges, 182240 markings/sec, 240 secs
lola: 66091977 markings, 177275922 edges, 202044 markings/sec, 245 secs
lola: 67016612 markings, 179964329 edges, 184927 markings/sec, 250 secs
lola: 67999978 markings, 182776922 edges, 196673 markings/sec, 255 secs
lola: 68928442 markings, 185464511 edges, 185693 markings/sec, 260 secs
lola: 69893448 markings, 188257623 edges, 193001 markings/sec, 265 secs
lola: 70860098 markings, 191030496 edges, 193330 markings/sec, 270 secs
lola: 71774682 markings, 193695348 edges, 182917 markings/sec, 275 secs
lola: 72696353 markings, 196357296 edges, 184334 markings/sec, 280 secs
lola: 73685758 markings, 199178516 edges, 197881 markings/sec, 285 secs
lola: 74592584 markings, 201830552 edges, 181365 markings/sec, 290 secs
lola: 75547250 markings, 204572877 edges, 190933 markings/sec, 295 secs
lola: 76527266 markings, 207398523 edges, 196003 markings/sec, 300 secs
lola: 77436411 markings, 210042957 edges, 181829 markings/sec, 305 secs
lola: 78404297 markings, 212799726 edges, 193577 markings/sec, 310 secs
lola: 79297949 markings, 215404213 edges, 178730 markings/sec, 315 secs
lola: 80174938 markings, 217954374 edges, 175398 markings/sec, 320 secs
lola: 81096927 markings, 220636768 edges, 184398 markings/sec, 325 secs
lola: 81992706 markings, 223239109 edges, 179156 markings/sec, 330 secs
lola: 82924023 markings, 225887630 edges, 186263 markings/sec, 335 secs
lola: 83836870 markings, 228540834 edges, 182569 markings/sec, 340 secs
lola: 84750154 markings, 231179966 edges, 182657 markings/sec, 345 secs
lola: 85654170 markings, 233816244 edges, 180803 markings/sec, 350 secs
lola: 86560510 markings, 236430719 edges, 181268 markings/sec, 355 secs
lola: 87466409 markings, 239041072 edges, 181180 markings/sec, 360 secs
lola: 88323999 markings, 241549584 edges, 171518 markings/sec, 365 secs
lola: 89214545 markings, 244147184 edges, 178109 markings/sec, 370 secs
lola: 90052541 markings, 246634681 edges, 167599 markings/sec, 375 secs
lola: 90923541 markings, 249152109 edges, 174200 markings/sec, 380 secs
lola: 91744525 markings, 251597917 edges, 164197 markings/sec, 385 secs
lola: 92606753 markings, 254120996 edges, 172446 markings/sec, 390 secs
lola: 93465968 markings, 256654137 edges, 171843 markings/sec, 395 secs
lola: 94357318 markings, 259226134 edges, 178270 markings/sec, 400 secs
lola: 95225217 markings, 261777008 edges, 173580 markings/sec, 405 secs
lola: 96066706 markings, 264270792 edges, 168298 markings/sec, 410 secs
lola: 96910617 markings, 266766913 edges, 168782 markings/sec, 415 secs
lola: 97756552 markings, 269271416 edges, 169187 markings/sec, 420 secs
lola: 98623280 markings, 271812846 edges, 173346 markings/sec, 425 secs
lola: 99529099 markings, 274421687 edges, 181164 markings/sec, 430 secs
lola: 100340162 markings, 276848926 edges, 162213 markings/sec, 435 secs
lola: 101221251 markings, 279438118 edges, 176218 markings/sec, 440 secs
lola: 102074890 markings, 281954321 edges, 170728 markings/sec, 445 secs
lola: 102927961 markings, 284469785 edges, 170614 markings/sec, 450 secs
lola: 103829630 markings, 287073708 edges, 180334 markings/sec, 455 secs
lola: 104676594 markings, 289570102 edges, 169393 markings/sec, 460 secs
lola: 105500107 markings, 292013156 edges, 164703 markings/sec, 465 secs
lola: 106321039 markings, 294448487 edges, 164186 markings/sec, 470 secs
lola: 107141594 markings, 296872755 edges, 164111 markings/sec, 475 secs
lola: 107992538 markings, 299384667 edges, 170189 markings/sec, 480 secs
lola: 108832509 markings, 301847451 edges, 167994 markings/sec, 485 secs
lola: 109659450 markings, 304294529 edges, 165388 markings/sec, 490 secs
lola: 110555348 markings, 306854777 edges, 179180 markings/sec, 495 secs
lola: 111400196 markings, 309327378 edges, 168970 markings/sec, 500 secs
lola: 112218193 markings, 311752516 edges, 163599 markings/sec, 505 secs
lola: 113083960 markings, 314288981 edges, 173153 markings/sec, 510 secs
lola: 113972709 markings, 316888188 edges, 177750 markings/sec, 515 secs
lola: 114793151 markings, 319328173 edges, 164088 markings/sec, 520 secs
lola: 115605228 markings, 321754362 edges, 162415 markings/sec, 525 secs
lola: 116381572 markings, 324110183 edges, 155269 markings/sec, 530 secs
lola: 117204546 markings, 326533510 edges, 164595 markings/sec, 535 secs
lola: 117991685 markings, 328883808 edges, 157428 markings/sec, 540 secs
lola: 118825650 markings, 331315024 edges, 166793 markings/sec, 545 secs
lola: 119635883 markings, 333727066 edges, 162047 markings/sec, 550 secs
lola: 120459617 markings, 336148567 edges, 164747 markings/sec, 555 secs
lola: 121241075 markings, 338477973 edges, 156292 markings/sec, 560 secs
lola: 122018572 markings, 340805902 edges, 155499 markings/sec, 565 secs
lola: 122820140 markings, 343178085 edges, 160314 markings/sec, 570 secs
lola: 123654630 markings, 345625836 edges, 166898 markings/sec, 575 secs
lola: 124497383 markings, 348104723 edges, 168551 markings/sec, 580 secs
lola: 125322780 markings, 350536945 edges, 165079 markings/sec, 585 secs
lola: 126109629 markings, 352897782 edges, 157370 markings/sec, 590 secs
lola: 126974609 markings, 355412637 edges, 172996 markings/sec, 595 secs
lola: 127783905 markings, 357803342 edges, 161859 markings/sec, 600 secs
lola: 128586991 markings, 360181465 edges, 160617 markings/sec, 605 secs
lola: 129401057 markings, 362596303 edges, 162813 markings/sec, 610 secs
lola: 130154260 markings, 364873162 edges, 150641 markings/sec, 615 secs
lola: 130990113 markings, 367315061 edges, 167171 markings/sec, 620 secs
lola: 131782693 markings, 369681802 edges, 158516 markings/sec, 625 secs
lola: 132559230 markings, 371998936 edges, 155307 markings/sec, 630 secs
lola: 133384464 markings, 374434962 edges, 165047 markings/sec, 635 secs
lola: 134171226 markings, 376761590 edges, 157352 markings/sec, 640 secs
lola: 134954452 markings, 379088030 edges, 156645 markings/sec, 645 secs
lola: 135775050 markings, 381500631 edges, 164120 markings/sec, 650 secs
lola: 136524344 markings, 383761676 edges, 149859 markings/sec, 655 secs
lola: 137323962 markings, 386123378 edges, 159924 markings/sec, 660 secs
lola: 138110629 markings, 388467393 edges, 157333 markings/sec, 665 secs
lola: 138894340 markings, 390802516 edges, 156742 markings/sec, 670 secs
lola: 139682350 markings, 393155106 edges, 157602 markings/sec, 675 secs
lola: 140454654 markings, 395444113 edges, 154461 markings/sec, 680 secs
lola: 141226688 markings, 397751676 edges, 154407 markings/sec, 685 secs
lola: 141976323 markings, 399996929 edges, 149927 markings/sec, 690 secs
lola: 142754249 markings, 402327756 edges, 155585 markings/sec, 695 secs
lola: 143531939 markings, 404652676 edges, 155538 markings/sec, 700 secs
lola: 144276725 markings, 406901500 edges, 148957 markings/sec, 705 secs
lola: 145025693 markings, 409152343 edges, 149794 markings/sec, 710 secs
lola: 145702046 markings, 411175089 edges, 135271 markings/sec, 715 secs
lola: 146471090 markings, 413451916 edges, 153809 markings/sec, 720 secs
lola: 147244707 markings, 415768850 edges, 154723 markings/sec, 725 secs
lola: 148009412 markings, 418065016 edges, 152941 markings/sec, 730 secs
lola: 148794325 markings, 420390490 edges, 156983 markings/sec, 735 secs
lola: 149562063 markings, 422689148 edges, 153548 markings/sec, 740 secs
lola: 150297198 markings, 424898707 edges, 147027 markings/sec, 745 secs
lola: 151019623 markings, 427094015 edges, 144485 markings/sec, 750 secs
lola: 151753123 markings, 429307403 edges, 146700 markings/sec, 755 secs
lola: 152515351 markings, 431599160 edges, 152446 markings/sec, 760 secs
lola: 153272858 markings, 433869169 edges, 151501 markings/sec, 765 secs
lola: 154027516 markings, 436148621 edges, 150932 markings/sec, 770 secs
lola: 154772496 markings, 438400712 edges, 148996 markings/sec, 775 secs
lola: 155556692 markings, 440733156 edges, 156839 markings/sec, 780 secs
lola: 156294047 markings, 442960105 edges, 147471 markings/sec, 785 secs
lola: 157059182 markings, 445251344 edges, 153027 markings/sec, 790 secs
lola: 157777748 markings, 447435955 edges, 143713 markings/sec, 795 secs
lola: 158497329 markings, 449605735 edges, 143916 markings/sec, 800 secs
lola: 159219853 markings, 451798175 edges, 144505 markings/sec, 805 secs
lola: 160005381 markings, 454135382 edges, 157106 markings/sec, 810 secs
lola: 160752098 markings, 456382017 edges, 149343 markings/sec, 815 secs
lola: 161519789 markings, 458694134 edges, 153538 markings/sec, 820 secs
lola: 162263532 markings, 460932893 edges, 148749 markings/sec, 825 secs
lola: 163046637 markings, 463257005 edges, 156621 markings/sec, 830 secs
lola: 163786338 markings, 465477908 edges, 147940 markings/sec, 835 secs
lola: 164494423 markings, 467636353 edges, 141617 markings/sec, 840 secs
lola: 165250129 markings, 469899614 edges, 151141 markings/sec, 845 secs
lola: 165975330 markings, 472106334 edges, 145040 markings/sec, 850 secs
lola: 166716123 markings, 474318901 edges, 148159 markings/sec, 855 secs
lola: 167462108 markings, 476557640 edges, 149197 markings/sec, 860 secs
lola: 168181897 markings, 478743620 edges, 143958 markings/sec, 865 secs
lola: 168920923 markings, 480963616 edges, 147805 markings/sec, 870 secs
lola: 169640448 markings, 483148653 edges, 143905 markings/sec, 875 secs
lola: 170377392 markings, 485374875 edges, 147389 markings/sec, 880 secs
lola: 171133803 markings, 487636853 edges, 151282 markings/sec, 885 secs
lola: 171877554 markings, 489873771 edges, 148750 markings/sec, 890 secs
lola: 172639230 markings, 492143977 edges, 152335 markings/sec, 895 secs
lola: 173396144 markings, 494395823 edges, 151383 markings/sec, 900 secs
lola: 174149480 markings, 496654216 edges, 150667 markings/sec, 905 secs
lola: 174895604 markings, 498902994 edges, 149225 markings/sec, 910 secs
lola: 175645281 markings, 501148788 edges, 149935 markings/sec, 915 secs
lola: 176363326 markings, 503328324 edges, 143609 markings/sec, 920 secs
lola: 177093059 markings, 505516507 edges, 145947 markings/sec, 925 secs
lola: 177796686 markings, 507662444 edges, 140725 markings/sec, 930 secs
lola: 178531394 markings, 509871796 edges, 146942 markings/sec, 935 secs
lola: 179273102 markings, 512099255 edges, 148342 markings/sec, 940 secs
lola: 179992103 markings, 514278923 edges, 143800 markings/sec, 945 secs
lola: 180704988 markings, 516431192 edges, 142577 markings/sec, 950 secs
lola: 181357737 markings, 518388029 edges, 130550 markings/sec, 955 secs
lola: 181594328 markings, 519088304 edges, 47318 markings/sec, 960 secs
lola: 181618125 markings, 519161010 edges, 4759 markings/sec, 965 secs
lola: 181622762 markings, 519174565 edges, 927 markings/sec, 970 secs
lola: 181630919 markings, 519200636 edges, 1631 markings/sec, 975 secs
lola: 181643344 markings, 519237750 edges, 2485 markings/sec, 980 secs
lola: 181648859 markings, 519253848 edges, 1103 markings/sec, 985 secs
lola: 181657239 markings, 519280021 edges, 1676 markings/sec, 990 secs
lola: 181662834 markings, 519298081 edges, 1119 markings/sec, 995 secs
lola: 181666273 markings, 519309078 edges, 688 markings/sec, 1000 secs
lola: 181671052 markings, 519323532 edges, 956 markings/sec, 1005 secs
lola: 181679133 markings, 519349059 edges, 1616 markings/sec, 1010 secs
lola: 181690452 markings, 519385306 edges, 2264 markings/sec, 1015 secs
lola: 181697233 markings, 519406117 edges, 1356 markings/sec, 1020 secs
lola: 181706720 markings, 519435319 edges, 1897 markings/sec, 1025 secs
lola: 181716278 markings, 519463767 edges, 1912 markings/sec, 1030 secs
lola: 181728934 markings, 519502527 edges, 2531 markings/sec, 1035 secs
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: subprocess 15 will run for 1674 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((((NOT FIREABLE(ssA) AND NOT FIREABLE(srG)) OR (FIREABLE(srR) AND NOT FIREABLE(ssG))) AND (E (F (NOT FIREABLE(ssF))) AND E (((FIREABLE(mrR) AND FIREABLE(mfU)) U (FIREABLE(srA) AND FIREABLE(ssF)))))) OR (A (F (FIREABLE(srF))) OR (FIREABLE(mfU) OR FIREABLE(msA) OR FIREABLE(msA) OR FIREABLE(ssR))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 1674 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (FIREABLE(mfU) OR FIREABLE(msA) OR FIREABLE(msA) OR FIREABLE(ssR))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (FIREABLE(mfU) OR FIREABLE(msA) OR FIREABLE(msA) OR FIREABLE(ssR))
lola: processed formula length: 69
lola: 64 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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(srF)))
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(srF)
lola: processed formula length: 17
lola: 66 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 10001 markings, 10000 edges
lola: ========================================
lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (NOT FIREABLE(ssF)))
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 (NOT FIREABLE(ssF)))
lola: processed formula length: 25
lola: 65 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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: NOT FIREABLE(ssF)
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: yes
lola: produced by: state space
lola: The predicate is reachable.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 19 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (((FIREABLE(mrR) AND FIREABLE(mfU)) U (FIREABLE(srA) AND FIREABLE(ssF))))
lola: ========================================
lola: SUBTASK
lola: checking existential until
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: rewrite Frontend/Parser/formula_rewrite.k:648
lola: rewrite Frontend/Parser/formula_rewrite.k:608
lola: processed formula: E (((FIREABLE(mrR) AND FIREABLE(mfU)) U (FIREABLE(srA) AND FIREABLE(ssF))))
lola: processed formula length: 75
lola: 67 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EU)
lola: state space: using reachability graph (EU version) (--search=depth)
lola: state space: using eu preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: formula 0: (FIREABLE(srA) AND FIREABLE(ssF))
lola: state equation: Generated DNF with 3 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EU
lola: There is no path where Predicate Phi holds until Predicate Psi.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
FORMULA ClientsAndServers-PT-N0200P0-CTLFireability-3 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (F ((E (X (FIREABLE(ssG))) AND E (G (NOT FIREABLE(msA))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:724
lola: rewrite Frontend/Parser/formula_rewrite.k:732
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: processed formula: A(TRUE U (EX(FIREABLE(ssG)) AND NOT(A(TRUE U FIREABLE(msA)))))
lola: processed formula length: 62
lola: 68 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-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: 3364672 markings, 3714006 edges, 672934 markings/sec, 0 secs
lola: 6089228 markings, 6910691 edges, 544911 markings/sec, 5 secs
lola: 8684579 markings, 10030858 edges, 519070 markings/sec, 10 secs
lola: 11160979 markings, 13059159 edges, 495280 markings/sec, 15 secs
lola: 13552881 markings, 16040416 edges, 478380 markings/sec, 20 secs
lola: 15822978 markings, 18895134 edges, 454019 markings/sec, 25 secs
lola: 18140882 markings, 21852316 edges, 463581 markings/sec, 30 secs
lola: 20384447 markings, 24763746 edges, 448713 markings/sec, 35 secs
lola: 22543755 markings, 27545516 edges, 431862 markings/sec, 40 secs
lola: 24711430 markings, 30402186 edges, 433535 markings/sec, 45 secs
lola: 26828120 markings, 33198623 edges, 423338 markings/sec, 50 secs
lola: 28932033 markings, 35997070 edges, 420783 markings/sec, 55 secs
lola: 30983485 markings, 38731329 edges, 410290 markings/sec, 60 secs
lola: 33156841 markings, 41658317 edges, 434671 markings/sec, 65 secs
lola: 35307533 markings, 44602638 edges, 430138 markings/sec, 70 secs
lola: 37356248 markings, 47392429 edges, 409743 markings/sec, 75 secs
lola: 39701032 markings, 50589906 edges, 468957 markings/sec, 80 secs
lola: 41998284 markings, 53787718 edges, 459450 markings/sec, 85 secs
lola: 44296028 markings, 56973475 edges, 459549 markings/sec, 90 secs
lola: 46588727 markings, 60154620 edges, 458540 markings/sec, 95 secs
lola: 48798666 markings, 63269619 edges, 441988 markings/sec, 100 secs
lola: 51055112 markings, 66464364 edges, 451289 markings/sec, 105 secs
lola: 53217661 markings, 69497618 edges, 432510 markings/sec, 110 secs
lola: 55420806 markings, 72671223 edges, 440629 markings/sec, 115 secs
lola: 57712536 markings, 75950266 edges, 458346 markings/sec, 120 secs
lola: 59916956 markings, 79073244 edges, 440884 markings/sec, 125 secs
lola: 62084235 markings, 82208825 edges, 433456 markings/sec, 130 secs
lola: 64234419 markings, 85343457 edges, 430037 markings/sec, 135 secs
lola: 66347068 markings, 88448373 edges, 422530 markings/sec, 140 secs
lola: 68445833 markings, 91540223 edges, 419753 markings/sec, 145 secs
lola: 70647266 markings, 94745124 edges, 440287 markings/sec, 150 secs
lola: 72800176 markings, 97877809 edges, 430582 markings/sec, 155 secs
lola: 74901612 markings, 100969019 edges, 420287 markings/sec, 160 secs
lola: 76984833 markings, 104051071 edges, 416644 markings/sec, 165 secs
lola: 79077123 markings, 107165386 edges, 418458 markings/sec, 170 secs
lola: 81144873 markings, 110263604 edges, 413550 markings/sec, 175 secs
lola: 83171757 markings, 113342692 edges, 405377 markings/sec, 180 secs
lola: 85161950 markings, 116335213 edges, 398039 markings/sec, 185 secs
lola: 87360653 markings, 119623491 edges, 439741 markings/sec, 190 secs
lola: 89513197 markings, 122864801 edges, 430509 markings/sec, 195 secs
lola: 91423214 markings, 125692806 edges, 382003 markings/sec, 200 secs
lola: 93314184 markings, 128532450 edges, 378194 markings/sec, 205 secs
lola: 95185484 markings, 131400676 edges, 374260 markings/sec, 210 secs
lola: 96972820 markings, 134247137 edges, 357467 markings/sec, 215 secs
lola: 98862311 markings, 137062360 edges, 377898 markings/sec, 220 secs
lola: 100935384 markings, 140190123 edges, 414615 markings/sec, 225 secs
lola: 102964293 markings, 143300723 edges, 405782 markings/sec, 230 secs
lola: 104969994 markings, 146427318 edges, 401140 markings/sec, 235 secs
lola: 106933959 markings, 149570737 edges, 392793 markings/sec, 240 secs
lola: 108989448 markings, 152660269 edges, 411098 markings/sec, 245 secs
lola: 111023113 markings, 155775416 edges, 406733 markings/sec, 250 secs
lola: 113033845 markings, 158916402 edges, 402146 markings/sec, 255 secs
lola: 114907642 markings, 161972295 edges, 374759 markings/sec, 260 secs
lola: 116947698 markings, 165061582 edges, 408011 markings/sec, 265 secs
lola: 118978399 markings, 168205106 edges, 406140 markings/sec, 270 secs
lola: 120946291 markings, 171375532 edges, 393578 markings/sec, 275 secs
lola: 122842165 markings, 174368106 edges, 379175 markings/sec, 280 secs
lola: 124849065 markings, 177453940 edges, 401380 markings/sec, 285 secs
lola: 126821771 markings, 180626065 edges, 394541 markings/sec, 290 secs
lola: 128770748 markings, 183771197 edges, 389795 markings/sec, 295 secs
lola: 130833322 markings, 186956154 edges, 412515 markings/sec, 300 secs
lola: 132847975 markings, 190186905 edges, 402931 markings/sec, 305 secs
lola: 134731541 markings, 193284432 edges, 376713 markings/sec, 310 secs
lola: 136745220 markings, 196398226 edges, 402736 markings/sec, 315 secs
lola: 138705268 markings, 199602025 edges, 392010 markings/sec, 320 secs
lola: 140589849 markings, 202641684 edges, 376916 markings/sec, 325 secs
lola: 142587386 markings, 205779567 edges, 399507 markings/sec, 330 secs
lola: 144429033 markings, 208950374 edges, 368329 markings/sec, 335 secs
lola: 146361107 markings, 211907089 edges, 386415 markings/sec, 340 secs
lola: 148300244 markings, 215052200 edges, 387827 markings/sec, 345 secs
lola: 150107305 markings, 218025497 edges, 361412 markings/sec, 350 secs
lola: 152082439 markings, 221156977 edges, 395027 markings/sec, 355 secs
lola: 153919644 markings, 224348852 edges, 367441 markings/sec, 360 secs
lola: 155906796 markings, 227407976 edges, 397430 markings/sec, 365 secs
lola: 157830847 markings, 230646097 edges, 384810 markings/sec, 370 secs
lola: 159669735 markings, 233599881 edges, 367778 markings/sec, 375 secs
lola: 161608069 markings, 236762396 edges, 387667 markings/sec, 380 secs
lola: 163389827 markings, 239746052 edges, 356352 markings/sec, 385 secs
lola: 165324375 markings, 242855918 edges, 386910 markings/sec, 390 secs
lola: 167102211 markings, 245923577 edges, 355567 markings/sec, 395 secs
lola: 169048643 markings, 248990490 edges, 389286 markings/sec, 400 secs
lola: 170813454 markings, 252093785 edges, 352962 markings/sec, 405 secs
lola: 172724982 markings, 255090935 edges, 382306 markings/sec, 410 secs
lola: 174475446 markings, 258200945 edges, 350093 markings/sec, 415 secs
lola: 176369888 markings, 261152171 edges, 378888 markings/sec, 420 secs
lola: 178105156 markings, 264255246 edges, 347054 markings/sec, 425 secs
lola: 180097439 markings, 267376508 edges, 398457 markings/sec, 430 secs
lola: 181939373 markings, 270728633 edges, 368387 markings/sec, 435 secs
lola: 183922311 markings, 273785979 edges, 396588 markings/sec, 440 secs
lola: 185812419 markings, 277151057 edges, 378022 markings/sec, 445 secs
lola: 187698049 markings, 280119559 edges, 377126 markings/sec, 450 secs
lola: 189557504 markings, 283449557 edges, 371891 markings/sec, 455 secs
lola: 191425985 markings, 286398416 edges, 373696 markings/sec, 460 secs
lola: 193220103 markings, 289704805 edges, 358824 markings/sec, 465 secs
lola: 195137027 markings, 292665854 edges, 383385 markings/sec, 470 secs
lola: 196915734 markings, 295952211 edges, 355741 markings/sec, 475 secs
lola: 198840580 markings, 298932103 edges, 384969 markings/sec, 480 secs
lola: 200070786 markings, 301148269 edges, 246041 markings/sec, 485 secs
lola: 200075241 markings, 301158172 edges, 891 markings/sec, 490 secs
lola: 200090007 markings, 301209854 edges, 2953 markings/sec, 495 secs
lola: 200113823 markings, 301235208 edges, 4763 markings/sec, 500 secs
lola: 200121848 markings, 301243481 edges, 1605 markings/sec, 505 secs
lola: 200136365 markings, 301288555 edges, 2903 markings/sec, 510 secs
lola: 200142307 markings, 301307795 edges, 1188 markings/sec, 515 secs
lola: 200151205 markings, 301316973 edges, 1780 markings/sec, 520 secs
lola: 200163820 markings, 301329979 edges, 2523 markings/sec, 525 secs
lola: 200169286 markings, 301335614 edges, 1093 markings/sec, 530 secs
lola: 200179085 markings, 301353884 edges, 1960 markings/sec, 535 secs
lola: 200190586 markings, 301394141 edges, 2300 markings/sec, 540 secs
lola: 200198903 markings, 301410022 edges, 1663 markings/sec, 545 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA ClientsAndServers-PT-N0200P0-CTLFireability-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G (E (F (NOT FIREABLE(mrF)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: NOT FIREABLE(mrF)
lola: processed formula length: 17
lola: 65 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 2275050 markings, 6277947 edges, 455010 markings/sec, 0 secs
lola: 4295721 markings, 12443339 edges, 404134 markings/sec, 5 secs
lola: 6245305 markings, 18525445 edges, 389917 markings/sec, 10 secs
lola: 8085247 markings, 24430476 edges, 367988 markings/sec, 15 secs
lola: 9927432 markings, 30357747 edges, 368437 markings/sec, 20 secs
lola: 11710062 markings, 36145361 edges, 356526 markings/sec, 25 secs
lola: 13363365 markings, 41545175 edges, 330661 markings/sec, 30 secs
lola: 15062672 markings, 47071148 edges, 339861 markings/sec, 35 secs
lola: 16739777 markings, 52713463 edges, 335421 markings/sec, 40 secs
lola: 18408509 markings, 58148894 edges, 333746 markings/sec, 45 secs
lola: 19986726 markings, 63477786 edges, 315643 markings/sec, 50 secs
lola: 21541958 markings, 68606859 edges, 311046 markings/sec, 55 secs
lola: 23035928 markings, 73702134 edges, 298794 markings/sec, 60 secs
lola: 24520019 markings, 78694333 edges, 296818 markings/sec, 65 secs
lola: 25916659 markings, 83523005 edges, 279328 markings/sec, 70 secs
lola: 27406574 markings, 88565132 edges, 297983 markings/sec, 75 secs
lola: 28789997 markings, 93390209 edges, 276685 markings/sec, 80 secs
lola: 30126200 markings, 98007323 edges, 267241 markings/sec, 85 secs
lola: 31500885 markings, 102723974 edges, 274937 markings/sec, 90 secs
lola: 32811997 markings, 107244873 edges, 262222 markings/sec, 95 secs
lola: 34193290 markings, 111957589 edges, 276259 markings/sec, 100 secs
lola: 35528290 markings, 116630371 edges, 267000 markings/sec, 105 secs
lola: 36856647 markings, 121192970 edges, 265671 markings/sec, 110 secs
lola: 38176457 markings, 125739286 edges, 263962 markings/sec, 115 secs
lola: 39505962 markings, 130346806 edges, 265901 markings/sec, 120 secs
lola: 40680706 markings, 134522060 edges, 234949 markings/sec, 125 secs
lola: 41931416 markings, 138921606 edges, 250142 markings/sec, 130 secs
lola: 43116193 markings, 143122840 edges, 236955 markings/sec, 135 secs
lola: 44293138 markings, 147296546 edges, 235389 markings/sec, 140 secs
lola: 45480066 markings, 151485216 edges, 237386 markings/sec, 145 secs
lola: 46634931 markings, 155621483 edges, 230973 markings/sec, 150 secs
lola: 47901412 markings, 159927986 edges, 253296 markings/sec, 155 secs
lola: 48987746 markings, 163832076 edges, 217267 markings/sec, 160 secs
lola: 50121180 markings, 167875393 edges, 226687 markings/sec, 165 secs
lola: 51302723 markings, 172024116 edges, 236309 markings/sec, 170 secs
lola: 52508324 markings, 176219476 edges, 241120 markings/sec, 175 secs
lola: 53581600 markings, 180112573 edges, 214655 markings/sec, 180 secs
lola: 54691654 markings, 184133445 edges, 222011 markings/sec, 185 secs
lola: 55855372 markings, 188305237 edges, 232744 markings/sec, 190 secs
lola: 56971046 markings, 192263119 edges, 223135 markings/sec, 195 secs
lola: 58092423 markings, 196280565 edges, 224275 markings/sec, 200 secs
lola: 59257801 markings, 200395985 edges, 233076 markings/sec, 205 secs
lola: 60302968 markings, 204189277 edges, 209033 markings/sec, 210 secs
lola: 61387145 markings, 208071622 edges, 216835 markings/sec, 215 secs
lola: 62553824 markings, 212220393 edges, 233336 markings/sec, 220 secs
lola: 63653308 markings, 216142139 edges, 219897 markings/sec, 225 secs
lola: 64730317 markings, 219993494 edges, 215402 markings/sec, 230 secs
lola: 65752637 markings, 223674506 edges, 204464 markings/sec, 235 secs
lola: 66823630 markings, 227556639 edges, 214199 markings/sec, 240 secs
lola: 67859461 markings, 231295051 edges, 207166 markings/sec, 245 secs
lola: 68884762 markings, 235027544 edges, 205060 markings/sec, 250 secs
lola: 69910465 markings, 238748669 edges, 205141 markings/sec, 255 secs
lola: 70931447 markings, 242423704 edges, 204196 markings/sec, 260 secs
lola: 71948363 markings, 246138418 edges, 203383 markings/sec, 265 secs
lola: 72939402 markings, 249750539 edges, 198208 markings/sec, 270 secs
lola: 73954972 markings, 253490019 edges, 203114 markings/sec, 275 secs
lola: 74916716 markings, 257037294 edges, 192349 markings/sec, 280 secs
lola: 75927108 markings, 260670028 edges, 202078 markings/sec, 285 secs
lola: 76912130 markings, 264251520 edges, 197004 markings/sec, 290 secs
lola: 77881225 markings, 267764027 edges, 193819 markings/sec, 295 secs
lola: 78809614 markings, 271188047 edges, 185678 markings/sec, 300 secs
lola: 79784412 markings, 274759968 edges, 194960 markings/sec, 305 secs
lola: 80696688 markings, 278165485 edges, 182455 markings/sec, 310 secs
lola: 81662260 markings, 281722574 edges, 193114 markings/sec, 315 secs
lola: 82610178 markings, 285228268 edges, 189584 markings/sec, 320 secs
lola: 83521072 markings, 288586714 edges, 182179 markings/sec, 325 secs
lola: 84442288 markings, 291946013 edges, 184243 markings/sec, 330 secs
lola: 85419419 markings, 295477636 edges, 195426 markings/sec, 335 secs
lola: 86361757 markings, 298920062 edges, 188468 markings/sec, 340 secs
lola: 87290663 markings, 302318938 edges, 185781 markings/sec, 345 secs
lola: 88260813 markings, 305858700 edges, 194030 markings/sec, 350 secs
lola: 89191748 markings, 309291794 edges, 186187 markings/sec, 355 secs
lola: 90079576 markings, 312581102 edges, 177566 markings/sec, 360 secs
lola: 91030317 markings, 316037892 edges, 190148 markings/sec, 365 secs
lola: 91911744 markings, 319295628 edges, 176285 markings/sec, 370 secs
lola: 92805267 markings, 322673393 edges, 178705 markings/sec, 375 secs
lola: 93751049 markings, 326144274 edges, 189156 markings/sec, 380 secs
lola: 94635304 markings, 329415479 edges, 176851 markings/sec, 385 secs
lola: 95546410 markings, 332840874 edges, 182221 markings/sec, 390 secs
lola: 96510554 markings, 336315382 edges, 192829 markings/sec, 395 secs
lola: 97345071 markings, 339472188 edges, 166903 markings/sec, 400 secs
lola: 98240339 markings, 342815402 edges, 179054 markings/sec, 405 secs
lola: 99097580 markings, 346033571 edges, 171448 markings/sec, 410 secs
lola: 99951576 markings, 349206121 edges, 170799 markings/sec, 415 secs
lola: 100813818 markings, 352387590 edges, 172448 markings/sec, 420 secs
lola: 101655119 markings, 355585066 edges, 168260 markings/sec, 425 secs
lola: 102472572 markings, 358628603 edges, 163491 markings/sec, 430 secs
lola: 103317251 markings, 361857231 edges, 168936 markings/sec, 435 secs
lola: 104225623 markings, 365229286 edges, 181674 markings/sec, 440 secs
lola: 105065037 markings, 368365011 edges, 167883 markings/sec, 445 secs
lola: 105852193 markings, 371365935 edges, 157431 markings/sec, 450 secs
lola: 106748686 markings, 374670430 edges, 179299 markings/sec, 455 secs
lola: 107585337 markings, 377801621 edges, 167330 markings/sec, 460 secs
lola: 108404340 markings, 380901646 edges, 163801 markings/sec, 465 secs
lola: 109185891 markings, 383882902 edges, 156310 markings/sec, 470 secs
lola: 110013964 markings, 387011885 edges, 165615 markings/sec, 475 secs
lola: 110845165 markings, 390142608 edges, 166240 markings/sec, 480 secs
lola: 111647770 markings, 393154633 edges, 160521 markings/sec, 485 secs
lola: 112458219 markings, 396220401 edges, 162090 markings/sec, 490 secs
lola: 113273583 markings, 399324301 edges, 163073 markings/sec, 495 secs
lola: 114058362 markings, 402334830 edges, 156956 markings/sec, 500 secs
lola: 114866219 markings, 405439700 edges, 161571 markings/sec, 505 secs
lola: 115660249 markings, 408439564 edges, 158806 markings/sec, 510 secs
lola: 116465953 markings, 411489549 edges, 161141 markings/sec, 515 secs
lola: 117335529 markings, 414725632 edges, 173915 markings/sec, 520 secs
lola: 118162508 markings, 417850395 edges, 165396 markings/sec, 525 secs
lola: 118929041 markings, 420742266 edges, 153307 markings/sec, 530 secs
lola: 119725481 markings, 423794695 edges, 159288 markings/sec, 535 secs
lola: 120502458 markings, 426794178 edges, 155395 markings/sec, 540 secs
lola: 121328406 markings, 429868526 edges, 165190 markings/sec, 545 secs
lola: 122110473 markings, 432888809 edges, 156413 markings/sec, 550 secs
lola: 122925481 markings, 435964720 edges, 163002 markings/sec, 555 secs
lola: 123697686 markings, 438902708 edges, 154441 markings/sec, 560 secs
lola: 124468504 markings, 441808616 edges, 154164 markings/sec, 565 secs
lola: 125280523 markings, 444834173 edges, 162404 markings/sec, 570 secs
lola: 126053348 markings, 447776997 edges, 154565 markings/sec, 575 secs
lola: 126840934 markings, 450756871 edges, 157517 markings/sec, 580 secs
lola: 127600089 markings, 453680665 edges, 151831 markings/sec, 585 secs
lola: 128308974 markings, 456446370 edges, 141777 markings/sec, 590 secs
lola: 129121220 markings, 459460489 edges, 162449 markings/sec, 595 secs
lola: 129900910 markings, 462446209 edges, 155938 markings/sec, 600 secs
lola: 130700418 markings, 465438553 edges, 159902 markings/sec, 605 secs
lola: 131430168 markings, 468251242 edges, 145950 markings/sec, 610 secs
lola: 132242122 markings, 471326424 edges, 162391 markings/sec, 615 secs
lola: 133055671 markings, 474362407 edges, 162710 markings/sec, 620 secs
lola: 133825076 markings, 477285281 edges, 153881 markings/sec, 625 secs
lola: 134537463 markings, 480066287 edges, 142477 markings/sec, 630 secs
lola: 135264235 markings, 482852980 edges, 145354 markings/sec, 635 secs
lola: 136020095 markings, 485733828 edges, 151172 markings/sec, 640 secs
lola: 136742265 markings, 488503356 edges, 144434 markings/sec, 645 secs
lola: 137491877 markings, 491360989 edges, 149922 markings/sec, 650 secs
lola: 138188387 markings, 494070823 edges, 139302 markings/sec, 655 secs
lola: 138935675 markings, 496915144 edges, 149458 markings/sec, 660 secs
lola: 139669917 markings, 499728897 edges, 146848 markings/sec, 665 secs
lola: 140360526 markings, 502408942 edges, 138122 markings/sec, 670 secs
lola: 141148581 markings, 505364243 edges, 157611 markings/sec, 675 secs
lola: 141882384 markings, 508149968 edges, 146761 markings/sec, 680 secs
lola: 142626958 markings, 510992547 edges, 148915 markings/sec, 685 secs
lola: 143418960 markings, 514008072 edges, 158400 markings/sec, 690 secs
lola: 144205618 markings, 516970304 edges, 157332 markings/sec, 695 secs
lola: 144988443 markings, 519929895 edges, 156565 markings/sec, 700 secs
lola: 145699386 markings, 522678335 edges, 142189 markings/sec, 705 secs
lola: 146458904 markings, 525561613 edges, 151904 markings/sec, 710 secs
lola: 147213564 markings, 528427853 edges, 150932 markings/sec, 715 secs
lola: 147926308 markings, 531166454 edges, 142549 markings/sec, 720 secs
lola: 148715649 markings, 534058891 edges, 157868 markings/sec, 725 secs
lola: 149425032 markings, 536773745 edges, 141877 markings/sec, 730 secs
lola: 150148135 markings, 539558082 edges, 144621 markings/sec, 735 secs
lola: 150843250 markings, 542264113 edges, 139023 markings/sec, 740 secs
lola: 151524867 markings, 544905555 edges, 136323 markings/sec, 745 secs
lola: 152194253 markings, 547538721 edges, 133877 markings/sec, 750 secs
lola: 152927195 markings, 550359996 edges, 146588 markings/sec, 755 secs
lola: 153638032 markings, 553098717 edges, 142167 markings/sec, 760 secs
lola: 154311689 markings, 555751011 edges, 134731 markings/sec, 765 secs
lola: 155043485 markings, 558546612 edges, 146359 markings/sec, 770 secs
lola: 155758494 markings, 561312681 edges, 143002 markings/sec, 775 secs
lola: 156426569 markings, 563935785 edges, 133615 markings/sec, 780 secs
lola: 156490283 markings, 564176531 edges, 12743 markings/sec, 785 secs
lola: 156496704 markings, 564201279 edges, 1284 markings/sec, 790 secs
lola: 156503639 markings, 564226757 edges, 1387 markings/sec, 795 secs
lola: 156511193 markings, 564256121 edges, 1511 markings/sec, 800 secs
lola: 156519382 markings, 564288922 edges, 1638 markings/sec, 805 secs
lola: 156528555 markings, 564326348 edges, 1835 markings/sec, 810 secs
lola: 156533699 markings, 564347840 edges, 1029 markings/sec, 815 secs
lola: 156564157 markings, 564465986 edges, 6092 markings/sec, 820 secs
lola: 156573924 markings, 564505414 edges, 1953 markings/sec, 825 secs
lola: 156584114 markings, 564547214 edges, 2038 markings/sec, 830 secs
lola: 156589935 markings, 564571404 edges, 1164 markings/sec, 835 secs
lola: 156604897 markings, 564631199 edges, 2992 markings/sec, 840 secs
lola: 156608006 markings, 564643509 edges, 622 markings/sec, 845 secs
lola: Child process aborted or communication problem between parent and child process
FORMULA ClientsAndServers-PT-N0200P0-CTLFireability-9 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
lola: ========================================
lola: ...considering subproblem: A (G (E (F (FIREABLE(srG)))))
lola: ========================================
lola: SUBTASK
lola: checking liveness
lola: AGEF init
lola: rewrite Frontend/Parser/formula_rewrite.k:617
lola: processed formula: FIREABLE(srG)
lola: processed formula length: 13
lola: 65 rewrites
lola: closed formula file ClientsAndServers-PT-N0200P0-CTLFireability.task
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH
lola: using tscc preserving stubborn set method (--stubborn)
lola: RUNNING
lola: 3599081 markings, 5698737 edges, 719816 markings/sec, 0 secs
lola: 6756389 markings, 11120456 edges, 631462 markings/sec, 5 secs
lola: 9782728 markings, 16346974 edges, 605268 markings/sec, 10 secs
lola: 12627139 markings, 21388342 edges, 568882 markings/sec, 15 secs
lola: 15321037 markings, 26149421 edges, 538780 markings/sec, 20 secs
lola: 17925340 markings, 30892358 edges, 520861 markings/sec, 25 secs
lola: 20394317 markings, 35458537 edges, 493795 markings/sec, 30 secs
lola: 22865169 markings, 40034703 edges, 494170 markings/sec, 35 secs
lola: 25232950 markings, 44466121 edges, 473556 markings/sec, 40 secs
lola: 27532316 markings, 48796359 edges, 459873 markings/sec, 45 secs
lola: 29811084 markings, 53098496 edges, 455754 markings/sec, 50 secs
lola: 31919500 markings, 57217857 edges, 421683 markings/sec, 55 secs
lola: 34073200 markings, 61363899 edges, 430740 markings/sec, 60 secs
lola: 36230600 markings, 65511188 edges, 431480 markings/sec, 65 secs
lola: 38249186 markings, 69480277 edges, 403717 markings/sec, 70 secs
lola: 40302740 markings, 73474550 edges, 410711 markings/sec, 75 secs
lola: 42235003 markings, 77345180 edges, 386453 markings/sec, 80 secs
lola: 44177533 markings, 81183749 edges, 388506 markings/sec, 85 secs
lola: 46070524 markings, 84984149 edges, 378598 markings/sec, 90 secs
lola: 47878382 markings, 88668854 edges, 361572 markings/sec, 95 secs
lola: 49681077 markings, 92340269 edges, 360539 markings/sec, 100 secs
lola: 51431923 markings, 95939164 edges, 350169 markings/sec, 105 secs
lola: 53164356 markings, 99527479 edges, 346487 markings/sec, 110 secs
lola: 54814905 markings, 102997463 edges, 330110 markings/sec, 115 secs
lola: 56476037 markings, 106474005 edges, 332226 markings/sec, 120 secs
lola: 58083813 markings, 109887358 edges, 321555 markings/sec, 125 secs
lola: 59794000 markings, 113415918 edges, 342037 markings/sec, 130 secs
lola: 61422867 markings, 116848214 edges, 325773 markings/sec, 135 secs
lola: 63055948 markings, 120279806 edges, 326616 markings/sec, 140 secs
lola: 64597879 markings, 123601447 edges, 308386 markings/sec, 145 secs
lola: 66149897 markings, 126918555 edges, 310404 markings/sec, 150 secs
lola: 67694254 markings, 130226119 edges, 308871 markings/sec, 155 secs
lola: 69200265 markings, 133464469 edges, 301202 markings/sec, 160 secs
lola: 70753244 markings, 136780172 edges, 310596 markings/sec, 165 secs
lola: 72288887 markings, 140075337 edges, 307129 markings/sec, 170 secs
lola: 73859125 markings, 143438406 edges, 314048 markings/sec, 175 secs
lola: 75352774 markings, 146680726 edges, 298730 markings/sec, 180 secs
lola: 76818012 markings, 149852308 edges, 293048 markings/sec, 185 secs
lola: 78266379 markings, 153017688 edges, 289673 markings/sec, 190 secs
lola: 79711226 markings, 156173069 edges, 288969 markings/sec, 195 secs
lola: 81056272 markings, 159188825 edges, 269009 markings/sec, 200 secs
lola: 82449025 markings, 162264429 edges, 278551 markings/sec, 205 secs
lola: 83870233 markings, 165384783 edges, 284242 markings/sec, 210 secs
lola: 85272725 markings, 168477212 edges, 280498 markings/sec, 215 secs
lola: 86590632 markings, 171447769 edges, 263581 markings/sec, 220 secs
lola: 87938592 markings, 174469028 edges, 269592 markings/sec, 225 secs
lola: 89376008 markings, 177590265 edges, 287483 markings/sec, 230 secs
lola: 90734058 markings, 180627335 edges, 271610 markings/sec, 235 secs
lola: 92144579 markings, 183730957 edges, 282104 markings/sec, 240 secs
lola: 93522451 markings, 186786045 edges, 275574 markings/sec, 245 secs
lola: 94876966 markings, 189799146 edges, 270903 markings/sec, 250 secs
lola: 96218416 markings, 192775391 edges, 268290 markings/sec, 255 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown no no no no no no no unknown unknown no yes unknown no no
lola:
preliminary result: no unknown no no no no no no no unknown unknown no yes unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no no no no no no no unknown unknown no yes unknown no no
lola: memory consumption: 9703556 KB
lola: time consumption: 3570 seconds
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no no no no no no no unknown unknown no yes unknown no no
lola: memory consumption: 9703820 KB
lola: time consumption: 3571 seconds
BK_STOP 1526559813777
--------------------
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-N0200P0"
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-N0200P0.tgz
mv ClientsAndServers-PT-N0200P0 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-N0200P0, 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-152646357300158"
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 ;