About the Execution of ITS-LoLa for ClientsAndServers-PT-N0500P0
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15786.930 | 3600000.00 | 3446153.00 | 121470.70 | FFFT?FTFFFF????F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r168-smll-158987806400234.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itslola
Input is ClientsAndServers-PT-N0500P0, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806400234
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 196K
-rw-r--r-- 1 mcc users 3.2K Mar 30 01:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 30 01:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 28 15:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 15:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 27 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 27 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Mar 26 07:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21K Mar 26 07:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.1K Mar 24 05:37 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME ClientsAndServers-PT-N0500P0-00
FORMULA_NAME ClientsAndServers-PT-N0500P0-01
FORMULA_NAME ClientsAndServers-PT-N0500P0-02
FORMULA_NAME ClientsAndServers-PT-N0500P0-03
FORMULA_NAME ClientsAndServers-PT-N0500P0-04
FORMULA_NAME ClientsAndServers-PT-N0500P0-05
FORMULA_NAME ClientsAndServers-PT-N0500P0-06
FORMULA_NAME ClientsAndServers-PT-N0500P0-07
FORMULA_NAME ClientsAndServers-PT-N0500P0-08
FORMULA_NAME ClientsAndServers-PT-N0500P0-09
FORMULA_NAME ClientsAndServers-PT-N0500P0-10
FORMULA_NAME ClientsAndServers-PT-N0500P0-11
FORMULA_NAME ClientsAndServers-PT-N0500P0-12
FORMULA_NAME ClientsAndServers-PT-N0500P0-13
FORMULA_NAME ClientsAndServers-PT-N0500P0-14
FORMULA_NAME ClientsAndServers-PT-N0500P0-15
=== Now, execution of the tool begins
BK_START 1591240790227
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 03:19:52] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 03:19:52] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 03:19:53] [INFO ] Load time of PNML (sax parser for PT used): 33 ms
[2020-06-04 03:19:53] [INFO ] Transformed 25 places.
[2020-06-04 03:19:53] [INFO ] Transformed 18 transitions.
[2020-06-04 03:19:53] [INFO ] Parsed PT model containing 25 places and 18 transitions in 83 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 21 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100093 steps, including 2 resets, run finished after 89 ms. (steps per millisecond=1124 ) properties seen :[1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1]
// Phase 1: matrix 18 rows 25 cols
[2020-06-04 03:19:53] [INFO ] Computed 8 place invariants in 5 ms
[2020-06-04 03:19:53] [INFO ] [Real]Absence check using 5 positive place invariants in 13 ms returned unsat
Successfully simplified 1 atomic propositions for a total of 1 simplifications.
[2020-06-04 03:19:53] [INFO ] Initial state reduction rules for CTL removed 2 formulas.
[2020-06-04 03:19:53] [INFO ] Flatten gal took : 43 ms
FORMULA ClientsAndServers-PT-N0500P0-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N0500P0-00 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 03:19:53] [INFO ] Flatten gal took : 11 ms
[2020-06-04 03:19:53] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 6 ms.
[2020-06-04 03:19:53] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 2 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N0500P0 @ 3570 seconds
FORMULA ClientsAndServers-PT-N0500P0-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0500P0-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0500P0-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0500P0-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0500P0-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0500P0-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0500P0-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0500P0-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0500P0-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0500P0-04 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0500P0-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ClientsAndServers-PT-N0500P0
{
"exit":
{
"memory": 7340428,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 3,
"aconj": 2,
"adisj": 0,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "X (F ((X (((1 <= p5) AND (1 <= p15))) OR (G ((1 <= p16)) AND X (((1 <= p7) AND (1 <= p23) AND (p16 <= 0)))))))",
"processed_size": 110,
"rewrites": 91
},
"result":
{
"preliminary_value": "no yes unknown no yes no no no no unknown unknown unknown unknown no "
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 16,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 43/268435456 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: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: (G ((NOT(G ((1 <= p9))) OR F (X ((1 <= p12))))) U G (NOT(F ((1 <= p9))))) : X ((NOT((((1 <= p2)) U X ((1 <= p6)))) OR (NOT(F ((1 <= p6))) AND NOT(F (((1 <= p3))))))) : (X (G (((1 <= p5) AND (1 <= p15)))) U X (((1 <= p7) AND (1 <= p23)))) : X (X (X (NOT(F (((((F ((1 <= p12)) AND (1 <= p8)) AND (1 <= p15)) OR ((1 <= p8) AND (1 <= p15))) OR ((1 <= p4) AND (1 <= p21)))))))) : (X ((((((1 <= p3)) U (1 <= p6)) OR (1 <= p6)) U ((1 <= p10) U (p10 <= 0)))) U F ((1 <= p16))) : (X (F (G ((1 <= p24)))) OR ((1 <= p24) AND ((X (((1 <= p5) AND (1 <= p15))) U ((1 <= p5) AND (1 <= p15))) OR F (((1 <= p2)))))) : X ((X ((G ((p12 <= 0)) AND (1 <= p22))) AND ((X ((1 <= p22)) U ((p1 <= 0) OR (p19 <= 0))) OR (1 <= p12)))) : (NOT(F (G ((F ((1 <= p24)) OR X ((1 <= p12)))))) OR (NOT(F ((1 <= p20))) AND (p12 <= 0))) : (((1 <= p20) U ((X (((1 <= p0) AND (1 <= p13))) U (G (((1 <= p3))) U (1 <= p20))) AND (1 <= p12))) OR G ((p20 <= 0))) : F (X (NOT(F (G (F (NOT(X (X (NOT(X (NOT(F (((1 <= p11) AND (1 <= p17))))))))))))))) : X ((((p0 <= 0) OR (p13 <= 0)) U X (X (((F (((1 <= 0) U (1 <= p22))) AND (1 <= p0)) AND (1 <= p13)))))) : F (X ((X (((1 <= p5) AND (1 <= p15))) OR (G ((1 <= p16)) AND X (((1 <= p7) AND (1 <= p23) AND (p16 <= 0))))))) : F (X (((NOT(F (X (((1 <= p8) AND (1 <= p15))))) OR F (((1 <= p7) AND (1 <= p23)))) OR (1 <= p22)))) : G ((NOT(G (((F (X (F ((1 <= p12)))) AND (1 <= p5)) AND (1 <= p15)))) OR (((1 <= p5) AND (1 <= p15)) U NOT(X (((1 <= p4) AND (1 <= p21)))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:419
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G ((p9 <= 0)) OR (G ((F ((p9 <= 0)) OR X (F ((1 <= p12))))) AND F (G ((p9 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((p9 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((p9 <= 0))
lola: processed formula length: 13
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 22020 markings, 22020 edges
lola: ========================================
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((p9 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((p9 <= 0)))
lola: processed formula length: 17
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 17018 markings, 17019 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (((((p2 <= 0)) R X ((p6 <= 0))) OR G (((p6 <= 0) AND ((p3 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (((((p2 <= 0)) R X ((p6 <= 0))) OR G (((p6 <= 0) AND ((p3 <= 0))))))
lola: processed formula length: 70
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 4 markings, 3 edges
lola: ========================================
lola: subprocess 2 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((((1 <= p7) AND (1 <= p23)) OR (G (((1 <= p5) AND (1 <= p15))) AND F (((1 <= p7) AND (1 <= p23))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((((1 <= p7) AND (1 <= p23)) OR (G (((1 <= p5) AND (1 <= p15))) AND F (((1 <= p7) AND (1 <= p23))))))
lola: processed formula length: 103
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2226183 markings, 3938335 edges, 445237 markings/sec, 0 secs
lola: 4252038 markings, 7988087 edges, 405171 markings/sec, 5 secs
lola: 6457069 markings, 12396350 edges, 441006 markings/sec, 10 secs
lola: 8613333 markings, 16707019 edges, 431253 markings/sec, 15 secs
lola: 10774921 markings, 21028330 edges, 432318 markings/sec, 20 secs
lola: 12990653 markings, 25456251 edges, 443146 markings/sec, 25 secs
lola: 15216657 markings, 29906583 edges, 445201 markings/sec, 30 secs
lola: 17412388 markings, 34296259 edges, 439146 markings/sec, 35 secs
lola: 19611023 markings, 38691722 edges, 439727 markings/sec, 40 secs
lola: 21869629 markings, 43205576 edges, 451721 markings/sec, 45 secs
lola: 23865421 markings, 47195285 edges, 399158 markings/sec, 50 secs
lola: 25878513 markings, 51219608 edges, 402618 markings/sec, 55 secs
lola: 27893318 markings, 55247356 edges, 402961 markings/sec, 60 secs
lola: 29932660 markings, 59324194 edges, 407868 markings/sec, 65 secs
lola: 31950688 markings, 63358395 edges, 403606 markings/sec, 70 secs
lola: 33983600 markings, 67420682 edges, 406582 markings/sec, 75 secs
lola: 35972023 markings, 71395774 edges, 397685 markings/sec, 80 secs
lola: 38041351 markings, 75532705 edges, 413866 markings/sec, 85 secs
lola: 40071880 markings, 79591976 edges, 406106 markings/sec, 90 secs
lola: 42084725 markings, 83615860 edges, 402569 markings/sec, 95 secs
lola: 44148849 markings, 87740664 edges, 412825 markings/sec, 100 secs
lola: 46240514 markings, 91922395 edges, 418333 markings/sec, 105 secs
lola: 48278096 markings, 95995827 edges, 407516 markings/sec, 110 secs
lola: 50306140 markings, 100050156 edges, 405609 markings/sec, 115 secs
lola: 52379322 markings, 104193214 edges, 414636 markings/sec, 120 secs
lola: 54350790 markings, 108134448 edges, 394294 markings/sec, 125 secs
lola: 56357131 markings, 112145417 edges, 401268 markings/sec, 130 secs
lola: 58377006 markings, 116183436 edges, 403975 markings/sec, 135 secs
lola: 60413464 markings, 120253111 edges, 407292 markings/sec, 140 secs
lola: 62481088 markings, 124386751 edges, 413525 markings/sec, 145 secs
lola: 64539898 markings, 128502698 edges, 411762 markings/sec, 150 secs
lola: 66642141 markings, 132704069 edges, 420449 markings/sec, 155 secs
lola: 68693756 markings, 136805679 edges, 410323 markings/sec, 160 secs
lola: 70786842 markings, 140988694 edges, 418617 markings/sec, 165 secs
lola: 72879641 markings, 145172771 edges, 418560 markings/sec, 170 secs
lola: 74919594 markings, 149249413 edges, 407991 markings/sec, 175 secs
lola: 76933871 markings, 153276511 edges, 402855 markings/sec, 180 secs
lola: 79008891 markings, 157424986 edges, 415004 markings/sec, 185 secs
lola: 81012568 markings, 161429244 edges, 400735 markings/sec, 190 secs
lola: 82972847 markings, 165348217 edges, 392056 markings/sec, 195 secs
lola: 84869214 markings, 169139284 edges, 379273 markings/sec, 200 secs
lola: 86874582 markings, 173146988 edges, 401074 markings/sec, 205 secs
lola: 88851916 markings, 177100097 edges, 395467 markings/sec, 210 secs
lola: 90866890 markings, 181127016 edges, 402995 markings/sec, 215 secs
lola: 92861433 markings, 185114603 edges, 398909 markings/sec, 220 secs
lola: 94860654 markings, 189110019 edges, 399844 markings/sec, 225 secs
lola: 96867111 markings, 193121484 edges, 401291 markings/sec, 230 secs
lola: 99016045 markings, 197416505 edges, 429787 markings/sec, 235 secs
lola: 101134261 markings, 201649989 edges, 423643 markings/sec, 240 secs
lola: 103122608 markings, 205625326 edges, 397669 markings/sec, 245 secs
lola: 105227407 markings, 209832081 edges, 420960 markings/sec, 250 secs
lola: 107243272 markings, 213862392 edges, 403173 markings/sec, 255 secs
lola: 109307389 markings, 217987828 edges, 412823 markings/sec, 260 secs
lola: 111376931 markings, 222124084 edges, 413908 markings/sec, 265 secs
lola: 113411346 markings, 226191557 edges, 406883 markings/sec, 270 secs
lola: 115504741 markings, 230375622 edges, 418679 markings/sec, 275 secs
lola: 117626101 markings, 234615640 edges, 424272 markings/sec, 280 secs
lola: 119698088 markings, 238756868 edges, 414397 markings/sec, 285 secs
lola: 121799698 markings, 242957335 edges, 420322 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 3 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (X (G (((G ((p12 <= 0)) OR ((p8 <= 0) OR (p15 <= 0))) AND (((p8 <= 0) OR (p15 <= 0)) AND ((p4 <= 0) OR (p21 <= 0))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X (G (((G ((p12 <= 0)) OR ((p8 <= 0) OR (p15 <= 0))) AND (((p8 <= 0) OR (p15 <= 0)) AND ((p4 <= 0) OR (p21 <= 0))))))))
lola: processed formula length: 127
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 25001 markings, 25001 edges
lola: subprocess 4 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F (G ((1 <= p24))) OR ((1 <= p24) AND ((X (((1 <= p5) AND (1 <= p15))) U ((1 <= p5) AND (1 <= p15))) OR F (((1 <= p2))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: subprocess 4 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((1 <= p2)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p2 <= 0))
lola: processed formula length: 11
lola: 93 rewrites
lola: closed formula file LTLFireability.xml
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: 5014237 markings, 5557583 edges, 1002847 markings/sec, 0 secs
lola: 9711348 markings, 10755590 edges, 939422 markings/sec, 5 secs
lola: 14578168 markings, 16191229 edges, 973364 markings/sec, 10 secs
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 19000009 markings, 21496509 edges
lola: ========================================
lola: subprocess 5 will run for 361 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p24)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p24)
lola: processed formula length: 10
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 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 6 will run for 406 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((1 <= p24)))
lola: ========================================
lola: SUBTASK
lola: checking stabilization
lola: stabilization not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((1 <= p24)))
lola: processed formula length: 18
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 67995 markings, 67996 edges
lola: ========================================
lola: subprocess 7 will run for 464 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (((1 <= p5) AND (1 <= p15))) U ((1 <= p5) AND (1 <= p15)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (X (((1 <= p5) AND (1 <= p15))) U ((1 <= p5) AND (1 <= p15)))
lola: processed formula length: 61
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 25001 markings, 25001 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: subprocess 5 will run for 361 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X ((G ((p12 <= 0)) AND (1 <= p22))) AND ((X ((1 <= p22)) U ((p1 <= 0) OR (p19 <= 0))) OR (1 <= p12))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X ((G ((p12 <= 0)) AND (1 <= p22))) AND ((X ((1 <= p22)) U ((p1 <= 0) OR (p19 <= 0))) OR (1 <= p12))))
lola: processed formula length: 107
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 25002 markings, 25002 edges
lola: ========================================
lola: subprocess 6 will run for 406 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G (F ((G ((p24 <= 0)) AND X ((p12 <= 0))))) OR (G ((p20 <= 0)) AND (p12 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 6 will run for 406 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p12 <= 0)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p12 <= 0)
lola: processed formula length: 10
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 1 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 7 will run for 464 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((p20 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((p20 <= 0))
lola: processed formula length: 14
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 21999 markings, 21999 edges
lola: ========================================
lola: subprocess 8 will run for 541 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((G ((p24 <= 0)) AND X ((p12 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((G ((p24 <= 0)) AND X ((p12 <= 0)))))
lola: processed formula length: 43
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 29020 markings, 29022 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 7 will run for 464 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p20) U ((X (((1 <= p0) AND (1 <= p13))) U ((1 <= p20) OR (G (((1 <= p3))) AND F ((1 <= p20))))) AND (1 <= p12))) OR G ((p20 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 464 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((p20 <= 0))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((p20 <= 0))
lola: processed formula length: 14
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 21999 markings, 21999 edges
lola: ========================================
lola: subprocess 8 will run for 541 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p20) U ((X (((1 <= p0) AND (1 <= p13))) U ((1 <= p20) OR (G (((1 <= p3))) AND F ((1 <= p20))))) AND (1 <= p12)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((1 <= p20) U ((X (((1 <= p0) AND (1 <= p13))) U ((1 <= p20) OR (G (((1 <= p3))) AND F ((1 <= p20))))) AND (1 <= p12)))
lola: processed formula length: 119
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 24 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 25001 markings, 25001 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 8 will run for 541 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((((p0 <= 0) OR (p13 <= 0)) U X (X ((F ((1 <= p22)) AND ((1 <= p0) AND (1 <= p13)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((((p0 <= 0) OR (p13 <= 0)) U X (X ((F ((1 <= p22)) AND ((1 <= p0) AND (1 <= p13)))))))
lola: processed formula length: 90
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 13 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1723036 markings, 4996749 edges, 344607 markings/sec, 0 secs
lola: 3426044 markings, 10168804 edges, 340602 markings/sec, 5 secs
lola: 5045464 markings, 15168398 edges, 323884 markings/sec, 10 secs
lola: 6597623 markings, 19973036 edges, 310432 markings/sec, 15 secs
lola: 8000942 markings, 24343111 edges, 280664 markings/sec, 20 secs
lola: 9570188 markings, 29266373 edges, 313849 markings/sec, 25 secs
lola: 10991120 markings, 33714466 edges, 284186 markings/sec, 30 secs
lola: 12372330 markings, 38046504 edges, 276242 markings/sec, 35 secs
lola: 13691714 markings, 42290081 edges, 263877 markings/sec, 40 secs
lola: 15205536 markings, 47015671 edges, 302764 markings/sec, 45 secs
lola: 16703738 markings, 51714544 edges, 299640 markings/sec, 50 secs
lola: 18127106 markings, 56315250 edges, 284674 markings/sec, 55 secs
lola: 19607604 markings, 60929490 edges, 296100 markings/sec, 60 secs
lola: 20985829 markings, 65406067 edges, 275645 markings/sec, 65 secs
lola: 22356618 markings, 69655485 edges, 274158 markings/sec, 70 secs
lola: 23571496 markings, 73602498 edges, 242976 markings/sec, 75 secs
lola: 24875380 markings, 77652179 edges, 260777 markings/sec, 80 secs
lola: 26196994 markings, 81917878 edges, 264323 markings/sec, 85 secs
lola: 27574718 markings, 86431712 edges, 275545 markings/sec, 90 secs
lola: 29140920 markings, 91273926 edges, 313240 markings/sec, 95 secs
lola: 30559964 markings, 95897952 edges, 283809 markings/sec, 100 secs
lola: 32021052 markings, 100456667 edges, 292218 markings/sec, 105 secs
lola: 33446118 markings, 105050290 edges, 285013 markings/sec, 110 secs
lola: 34790628 markings, 109452899 edges, 268902 markings/sec, 115 secs
lola: 36206884 markings, 113856478 edges, 283251 markings/sec, 120 secs
lola: 37573812 markings, 118247219 edges, 273386 markings/sec, 125 secs
lola: 38857836 markings, 122444222 edges, 256805 markings/sec, 130 secs
lola: 40092491 markings, 126511065 edges, 246931 markings/sec, 135 secs
lola: 41534484 markings, 130921285 edges, 288399 markings/sec, 140 secs
lola: 42873874 markings, 135282276 edges, 267878 markings/sec, 145 secs
lola: 44167991 markings, 139522994 edges, 258823 markings/sec, 150 secs
lola: 45409938 markings, 143629119 edges, 248389 markings/sec, 155 secs
lola: 46876750 markings, 148081146 edges, 293362 markings/sec, 160 secs
lola: 48166325 markings, 152274678 edges, 257915 markings/sec, 165 secs
lola: 49419070 markings, 156384557 edges, 250549 markings/sec, 170 secs
lola: 50675671 markings, 160526686 edges, 251320 markings/sec, 175 secs
lola: 52054493 markings, 164742907 edges, 275764 markings/sec, 180 secs
lola: 53372986 markings, 169007393 edges, 263699 markings/sec, 185 secs
lola: 54636698 markings, 173140965 edges, 252742 markings/sec, 190 secs
lola: 55873704 markings, 177220609 edges, 247401 markings/sec, 195 secs
lola: 57099406 markings, 181255358 edges, 245140 markings/sec, 200 secs
lola: 58512319 markings, 185546332 edges, 282583 markings/sec, 205 secs
lola: 59786864 markings, 189670275 edges, 254909 markings/sec, 210 secs
lola: 61020064 markings, 193718275 edges, 246640 markings/sec, 215 secs
lola: 62214528 markings, 197655009 edges, 238893 markings/sec, 220 secs
lola: 63419886 markings, 201620618 edges, 241072 markings/sec, 225 secs
lola: 64634652 markings, 205497668 edges, 242953 markings/sec, 230 secs
lola: 66102262 markings, 210043497 edges, 293522 markings/sec, 235 secs
lola: 67429514 markings, 214362205 edges, 265450 markings/sec, 240 secs
lola: 68711894 markings, 218588305 edges, 256476 markings/sec, 245 secs
lola: 69960696 markings, 222702973 edges, 249760 markings/sec, 250 secs
lola: 71220240 markings, 226881031 edges, 251909 markings/sec, 255 secs
lola: 72594055 markings, 231094920 edges, 274763 markings/sec, 260 secs
lola: 73983210 markings, 235511867 edges, 277831 markings/sec, 265 secs
lola: 75238600 markings, 239616376 edges, 251078 markings/sec, 270 secs
lola: 76480984 markings, 243692500 edges, 248477 markings/sec, 275 secs
lola: 77654234 markings, 247576750 edges, 234650 markings/sec, 280 secs
lola: 78899522 markings, 251703099 edges, 249058 markings/sec, 285 secs
lola: 80106294 markings, 255706466 edges, 241354 markings/sec, 290 secs
lola: 81567684 markings, 260066962 edges, 292278 markings/sec, 295 secs
lola: 82878664 markings, 264324411 edges, 262196 markings/sec, 300 secs
lola: 84144907 markings, 268462927 edges, 253249 markings/sec, 305 secs
lola: 85408759 markings, 272627314 edges, 252770 markings/sec, 310 secs
lola: 86616873 markings, 276632436 edges, 241623 markings/sec, 315 secs
lola: 87870094 markings, 280789425 edges, 250644 markings/sec, 320 secs
lola: 89090844 markings, 284831523 edges, 244150 markings/sec, 325 secs
lola: 90570034 markings, 289254434 edges, 295838 markings/sec, 330 secs
lola: 91869483 markings, 293453410 edges, 259890 markings/sec, 335 secs
lola: 93078240 markings, 297414717 edges, 241751 markings/sec, 340 secs
lola: 94293600 markings, 301420478 edges, 243072 markings/sec, 345 secs
lola: 95509329 markings, 305423752 edges, 243146 markings/sec, 350 secs
lola: 96590854 markings, 309001454 edges, 216305 markings/sec, 355 secs
lola: 97685654 markings, 312655519 edges, 218960 markings/sec, 360 secs
lola: 98786702 markings, 316292585 edges, 220210 markings/sec, 365 secs
lola: 100026288 markings, 320081597 edges, 247917 markings/sec, 370 secs
lola: 101420527 markings, 324455856 edges, 278848 markings/sec, 375 secs
lola: 102668816 markings, 328523130 edges, 249658 markings/sec, 380 secs
lola: 103879230 markings, 332511642 edges, 242083 markings/sec, 385 secs
lola: 105083786 markings, 336476602 edges, 240911 markings/sec, 390 secs
lola: 106248156 markings, 340333883 edges, 232874 markings/sec, 395 secs
lola: 107381881 markings, 344085411 edges, 226745 markings/sec, 400 secs
lola: 108553434 markings, 347971898 edges, 234311 markings/sec, 405 secs
lola: 109656262 markings, 351642150 edges, 220566 markings/sec, 410 secs
lola: 110980596 markings, 355672633 edges, 264867 markings/sec, 415 secs
lola: 112353748 markings, 359989679 edges, 274630 markings/sec, 420 secs
lola: 113583275 markings, 363994701 edges, 245905 markings/sec, 425 secs
lola: 114747269 markings, 367826229 edges, 232799 markings/sec, 430 secs
lola: 116013310 markings, 372002080 edges, 253208 markings/sec, 435 secs
lola: 116952154 markings, 375098397 edges, 187769 markings/sec, 440 secs
lola: 117575374 markings, 377162502 edges, 124644 markings/sec, 445 secs
lola: 118562011 markings, 380452357 edges, 197327 markings/sec, 450 secs
lola: 119188780 markings, 382528050 edges, 125354 markings/sec, 455 secs
lola: 119806380 markings, 384573938 edges, 123520 markings/sec, 460 secs
lola: 120426835 markings, 386630572 edges, 124091 markings/sec, 465 secs
lola: 121295748 markings, 389522453 edges, 173783 markings/sec, 470 secs
lola: 122163802 markings, 392334204 edges, 173611 markings/sec, 475 secs
lola: 122940628 markings, 394559643 edges, 155365 markings/sec, 480 secs
lola: 123957276 markings, 397753801 edges, 203330 markings/sec, 485 secs
lola: 124527358 markings, 399597325 edges, 114016 markings/sec, 490 secs
lola: 125427176 markings, 402536646 edges, 179964 markings/sec, 495 secs
lola: 126187370 markings, 405031596 edges, 152039 markings/sec, 500 secs
lola: 126820148 markings, 407111052 edges, 126556 markings/sec, 505 secs
lola: 127548540 markings, 409524407 edges, 145678 markings/sec, 510 secs
lola: 128574533 markings, 412916896 edges, 205199 markings/sec, 515 secs
lola: 129411409 markings, 415673641 edges, 167375 markings/sec, 520 secs
lola: 130369304 markings, 418862474 edges, 191579 markings/sec, 525 secs
lola: 131184107 markings, 421574985 edges, 162961 markings/sec, 530 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown no unknown no no no no unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 541 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((X (((1 <= p5) AND (1 <= p15))) OR (G ((1 <= p16)) AND X (((1 <= p7) AND (1 <= p23) AND (p16 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((X (((1 <= p5) AND (1 <= p15))) OR (G ((1 <= p16)) AND X (((1 <= p7) AND (1 <= p23) AND (p16 <= 0)))))))
lola: processed formula length: 110
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1330033 markings, 5275100 edges, 266007 markings/sec, 0 secs
lola: 2621802 markings, 10443811 edges, 258354 markings/sec, 5 secs
lola: 3718903 markings, 15757423 edges, 219420 markings/sec, 10 secs
lola: 4637225 markings, 20651981 edges, 183664 markings/sec, 15 secs
lola: 5518752 markings, 25359646 edges, 176305 markings/sec, 20 secs
lola: 6475321 markings, 30447097 edges, 191314 markings/sec, 25 secs
lola: 7420231 markings, 35485434 edges, 188982 markings/sec, 30 secs
lola: 8313452 markings, 40254396 edges, 178644 markings/sec, 35 secs
lola: 9388775 markings, 44751131 edges, 215065 markings/sec, 40 secs
lola: 10646904 markings, 48530177 edges, 251626 markings/sec, 45 secs
lola: 11844635 markings, 53301364 edges, 239546 markings/sec, 50 secs
lola: 13083976 markings, 58262606 edges, 247868 markings/sec, 55 secs
lola: 14185969 markings, 62872510 edges, 220399 markings/sec, 60 secs
lola: 15159959 markings, 68070229 edges, 194798 markings/sec, 65 secs
lola: 16079263 markings, 72972816 edges, 183861 markings/sec, 70 secs
lola: 16975581 markings, 77758945 edges, 179264 markings/sec, 75 secs
lola: 17977895 markings, 83087603 edges, 200463 markings/sec, 80 secs
lola: 18900589 markings, 88014886 edges, 184539 markings/sec, 85 secs
lola: 19799254 markings, 92810124 edges, 179733 markings/sec, 90 secs
lola: 21256049 markings, 97231842 edges, 291359 markings/sec, 95 secs
lola: 22218741 markings, 102368739 edges, 192538 markings/sec, 100 secs
lola: 23124226 markings, 107196192 edges, 181097 markings/sec, 105 secs
lola: 23950105 markings, 111601305 edges, 165176 markings/sec, 110 secs
lola: 24755218 markings, 116854127 edges, 161023 markings/sec, 115 secs
lola: 25473314 markings, 121639666 edges, 143619 markings/sec, 120 secs
lola: 26164676 markings, 126249503 edges, 138272 markings/sec, 125 secs
lola: 26838790 markings, 130748234 edges, 134823 markings/sec, 130 secs
lola: 27616541 markings, 135923565 edges, 155550 markings/sec, 135 secs
lola: 28347557 markings, 140797150 edges, 146203 markings/sec, 140 secs
lola: 29045891 markings, 145457650 edges, 139667 markings/sec, 145 secs
lola: 29724786 markings, 149988187 edges, 135779 markings/sec, 150 secs
lola: 30757543 markings, 153838655 edges, 206551 markings/sec, 155 secs
lola: 31812540 markings, 157653349 edges, 210999 markings/sec, 160 secs
lola: 32646690 markings, 161608434 edges, 166830 markings/sec, 165 secs
lola: 33613859 markings, 165838279 edges, 193434 markings/sec, 170 secs
lola: 34939296 markings, 171141476 edges, 265087 markings/sec, 175 secs
lola: 36200712 markings, 176394402 edges, 252283 markings/sec, 180 secs
lola: 37160078 markings, 181515774 edges, 191873 markings/sec, 185 secs
lola: 38060481 markings, 186313328 edges, 180081 markings/sec, 190 secs
lola: 38939734 markings, 191011535 edges, 175851 markings/sec, 195 secs
lola: 39903946 markings, 196135872 edges, 192842 markings/sec, 200 secs
lola: 40785744 markings, 200841360 edges, 176360 markings/sec, 205 secs
lola: 41637361 markings, 205385645 edges, 170323 markings/sec, 210 secs
lola: 42945626 markings, 209329675 edges, 261653 markings/sec, 215 secs
lola: 44012571 markings, 214709824 edges, 213389 markings/sec, 220 secs
lola: 44959404 markings, 219759926 edges, 189367 markings/sec, 225 secs
lola: 45883715 markings, 224688872 edges, 184862 markings/sec, 230 secs
lola: 46652617 markings, 229596091 edges, 153780 markings/sec, 235 secs
lola: 47380245 markings, 234450470 edges, 145526 markings/sec, 240 secs
lola: 48033801 markings, 238810516 edges, 130711 markings/sec, 245 secs
lola: 48707501 markings, 243299612 edges, 134740 markings/sec, 250 secs
lola: 49441043 markings, 248183524 edges, 146708 markings/sec, 255 secs
lola: 50147119 markings, 252890744 edges, 141215 markings/sec, 260 secs
lola: 50782377 markings, 257124891 edges, 127052 markings/sec, 265 secs
lola: 51438189 markings, 261501947 edges, 131162 markings/sec, 270 secs
lola: 52150151 markings, 265797143 edges, 142392 markings/sec, 275 secs
lola: 53408470 markings, 269970227 edges, 251664 markings/sec, 280 secs
lola: 54336120 markings, 274917872 edges, 185530 markings/sec, 285 secs
lola: 55262570 markings, 279859615 edges, 185290 markings/sec, 290 secs
lola: 56136980 markings, 284633252 edges, 174882 markings/sec, 295 secs
lola: 56894475 markings, 289687664 edges, 151499 markings/sec, 300 secs
lola: 57562458 markings, 294138404 edges, 133597 markings/sec, 305 secs
lola: 58250194 markings, 298728724 edges, 137547 markings/sec, 310 secs
lola: 58869370 markings, 302859697 edges, 123835 markings/sec, 315 secs
lola: 59608767 markings, 307776376 edges, 147879 markings/sec, 320 secs
lola: 60294121 markings, 312345898 edges, 137071 markings/sec, 325 secs
lola: 60951591 markings, 316727372 edges, 131494 markings/sec, 330 secs
lola: 61591448 markings, 321001354 edges, 127971 markings/sec, 335 secs
lola: 62428377 markings, 324993495 edges, 167386 markings/sec, 340 secs
lola: 63528015 markings, 328465822 edges, 219928 markings/sec, 345 secs
lola: 64402855 markings, 332321806 edges, 174968 markings/sec, 350 secs
lola: 65119063 markings, 335901205 edges, 143242 markings/sec, 355 secs
lola: 65853895 markings, 339576627 edges, 146966 markings/sec, 360 secs
lola: 67022809 markings, 344425290 edges, 233783 markings/sec, 365 secs
lola: 68276119 markings, 349440139 edges, 250662 markings/sec, 370 secs
lola: 69461217 markings, 354709681 edges, 237020 markings/sec, 375 secs
lola: 70444239 markings, 359952999 edges, 196604 markings/sec, 380 secs
lola: 71381702 markings, 364959396 edges, 187493 markings/sec, 385 secs
lola: 72362089 markings, 370171398 edges, 196077 markings/sec, 390 secs
lola: 73357033 markings, 375483992 edges, 198989 markings/sec, 395 secs
lola: 74301457 markings, 380516266 edges, 188885 markings/sec, 400 secs
lola: 75435080 markings, 385294247 edges, 226725 markings/sec, 405 secs
lola: 76739854 markings, 390180560 edges, 260955 markings/sec, 410 secs
lola: 77678718 markings, 395191302 edges, 187773 markings/sec, 415 secs
lola: 78586057 markings, 400030025 edges, 181468 markings/sec, 420 secs
lola: 79469719 markings, 405279725 edges, 176732 markings/sec, 425 secs
lola: 80236140 markings, 410394729 edges, 153284 markings/sec, 430 secs
lola: 80963669 markings, 415238788 edges, 145506 markings/sec, 435 secs
lola: 81671191 markings, 419965365 edges, 141504 markings/sec, 440 secs
lola: 82451143 markings, 425150278 edges, 155990 markings/sec, 445 secs
lola: 83224786 markings, 430314009 edges, 154729 markings/sec, 450 secs
lola: 83960004 markings, 435215632 edges, 147044 markings/sec, 455 secs
lola: 84679672 markings, 440007826 edges, 143934 markings/sec, 460 secs
lola: 85742645 markings, 444255866 edges, 212595 markings/sec, 465 secs
lola: 86819146 markings, 449086437 edges, 215300 markings/sec, 470 secs
lola: 87726656 markings, 453928210 edges, 181502 markings/sec, 475 secs
lola: 88606569 markings, 458619909 edges, 175983 markings/sec, 480 secs
lola: 89461365 markings, 463698948 edges, 170959 markings/sec, 485 secs
lola: 90203733 markings, 468648150 edges, 148474 markings/sec, 490 secs
lola: 90908162 markings, 473344521 edges, 140886 markings/sec, 495 secs
lola: 91547518 markings, 477606526 edges, 127871 markings/sec, 500 secs
lola: 92250797 markings, 482289305 edges, 140656 markings/sec, 505 secs
lola: 93009879 markings, 487351159 edges, 151816 markings/sec, 510 secs
lola: 93717595 markings, 492076766 edges, 141543 markings/sec, 515 secs
lola: 94397794 markings, 496607248 edges, 136040 markings/sec, 520 secs
lola: 95076170 markings, 501089452 edges, 135675 markings/sec, 525 secs
lola: 96300867 markings, 504805018 edges, 244939 markings/sec, 530 secs
lola: 97249552 markings, 509869761 edges, 189737 markings/sec, 535 secs
lola: local time limit reached - aborting
lola:
preliminary result: no yes unknown no unknown no no no no unknown unknown unknown unknown unknown
lola: memory consumption: 13123188 KB
lola: time consumption: 1404 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 541 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((X (G (((p8 <= 0) OR (p15 <= 0)))) OR (F (((1 <= p7) AND (1 <= p23))) OR (1 <= p22)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((X (G (((p8 <= 0) OR (p15 <= 0)))) OR (F (((1 <= p7) AND (1 <= p23))) OR (1 <= p22)))))
lola: processed formula length: 94
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2279731 markings, 4045484 edges, 455946 markings/sec, 0 secs
lola: 4423322 markings, 8330810 edges, 428718 markings/sec, 5 secs
lola: 6584290 markings, 12650883 edges, 432194 markings/sec, 10 secs
lola: 8713320 markings, 16907056 edges, 425806 markings/sec, 15 secs
lola: 10845219 markings, 21168965 edges, 426380 markings/sec, 20 secs
lola: 13031490 markings, 25537983 edges, 437254 markings/sec, 25 secs
lola: 15214245 markings, 29901761 edges, 436551 markings/sec, 30 secs
lola: 17372885 markings, 34217232 edges, 431728 markings/sec, 35 secs
lola: 19544657 markings, 38558959 edges, 434354 markings/sec, 40 secs
lola: 21759933 markings, 42986069 edges, 443055 markings/sec, 45 secs
lola: 23728875 markings, 46922064 edges, 393788 markings/sec, 50 secs
lola: 25719472 markings, 50901395 edges, 398119 markings/sec, 55 secs
lola: 27604592 markings, 54669683 edges, 377024 markings/sec, 60 secs
lola: 29633336 markings, 58725350 edges, 405749 markings/sec, 65 secs
lola: 31624796 markings, 62706416 edges, 398292 markings/sec, 70 secs
lola: 33633200 markings, 66721381 edges, 401681 markings/sec, 75 secs
lola: 35548863 markings, 70550809 edges, 383133 markings/sec, 80 secs
lola: 37613351 markings, 74677976 edges, 412898 markings/sec, 85 secs
lola: 39569124 markings, 78586001 edges, 391155 markings/sec, 90 secs
lola: 41623277 markings, 82692644 edges, 410831 markings/sec, 95 secs
lola: 43604074 markings, 86652448 edges, 396159 markings/sec, 100 secs
lola: 45663484 markings, 90769523 edges, 411882 markings/sec, 105 secs
lola: 47579957 markings, 94600624 edges, 383295 markings/sec, 110 secs
lola: 49614119 markings, 98665548 edges, 406832 markings/sec, 115 secs
lola: 51669186 markings, 102774071 edges, 411013 markings/sec, 120 secs
lola: 53637642 markings, 106709229 edges, 393691 markings/sec, 125 secs
lola: 55627399 markings, 110686990 edges, 397951 markings/sec, 130 secs
lola: 57623960 markings, 114676717 edges, 399312 markings/sec, 135 secs
lola: 59616794 markings, 118660788 edges, 398567 markings/sec, 140 secs
lola: 61625140 markings, 122675803 edges, 401669 markings/sec, 145 secs
lola: 63643060 markings, 126709941 edges, 403584 markings/sec, 150 secs
lola: 65728491 markings, 130877655 edges, 417086 markings/sec, 155 secs
lola: 67753766 markings, 134926576 edges, 405055 markings/sec, 160 secs
lola: 69807579 markings, 139030911 edges, 410763 markings/sec, 165 secs
lola: 71886348 markings, 143187009 edges, 415754 markings/sec, 170 secs
lola: 73950547 markings, 147313800 edges, 412840 markings/sec, 175 secs
lola: 76068877 markings, 151547424 edges, 423666 markings/sec, 180 secs
lola: 78184000 markings, 155776129 edges, 423025 markings/sec, 185 secs
lola: 80281081 markings, 159967273 edges, 419416 markings/sec, 190 secs
lola: 82293668 markings, 163990865 edges, 402517 markings/sec, 195 secs
lola: 84329230 markings, 168058933 edges, 407112 markings/sec, 200 secs
lola: 86361101 markings, 172121155 edges, 406374 markings/sec, 205 secs
lola: 88394943 markings, 176185794 edges, 406768 markings/sec, 210 secs
lola: 90440491 markings, 180275423 edges, 409110 markings/sec, 215 secs
lola: 92518853 markings, 184429181 edges, 415672 markings/sec, 220 secs
lola: 94437926 markings, 188265779 edges, 383815 markings/sec, 225 secs
lola: 96468120 markings, 192323172 edges, 406039 markings/sec, 230 secs
lola: 98415744 markings, 196216940 edges, 389525 markings/sec, 235 secs
lola: 100479425 markings, 200341380 edges, 412736 markings/sec, 240 secs
lola: 102538980 markings, 204459086 edges, 411911 markings/sec, 245 secs
lola: 104628027 markings, 208634356 edges, 417809 markings/sec, 250 secs
lola: 106591143 markings, 212557543 edges, 392623 markings/sec, 255 secs
lola: 108666363 markings, 216706744 edges, 415044 markings/sec, 260 secs
lola: 110770739 markings, 220912721 edges, 420875 markings/sec, 265 secs
lola: 112853022 markings, 225074467 edges, 416457 markings/sec, 270 secs
lola: 114821872 markings, 229010805 edges, 393770 markings/sec, 275 secs
lola: 116929231 markings, 233222813 edges, 421472 markings/sec, 280 secs
lola: 118904102 markings, 237169706 edges, 394974 markings/sec, 285 secs
lola: 120966379 markings, 241292984 edges, 412455 markings/sec, 290 secs
lola: 123043201 markings, 245446044 edges, 415364 markings/sec, 295 secs
lola: 124854932 markings, 249067147 edges, 362346 markings/sec, 300 secs
lola: 126389062 markings, 252132723 edges, 306826 markings/sec, 305 secs
lola: 127465603 markings, 254283651 edges, 215308 markings/sec, 310 secs
lola: 128224941 markings, 255801494 edges, 151868 markings/sec, 315 secs
lola: 129493747 markings, 258337281 edges, 253761 markings/sec, 320 secs
lola: 130698503 markings, 260744883 edges, 240951 markings/sec, 325 secs
lola: 131418245 markings, 262183521 edges, 143948 markings/sec, 330 secs
lola: 132781707 markings, 264908669 edges, 272692 markings/sec, 335 secs
lola: 134414370 markings, 268172531 edges, 326533 markings/sec, 340 secs
lola: 135441743 markings, 270226666 edges, 205475 markings/sec, 345 secs
lola: 136759648 markings, 272860732 edges, 263581 markings/sec, 350 secs
lola: 138078799 markings, 275497295 edges, 263830 markings/sec, 355 secs
lola: 139205100 markings, 277747965 edges, 225260 markings/sec, 360 secs
lola: 140432809 markings, 280202995 edges, 245542 markings/sec, 365 secs
lola: 141639079 markings, 282613732 edges, 241254 markings/sec, 370 secs
lola: 143081264 markings, 285496476 edges, 288437 markings/sec, 375 secs
lola: 144273864 markings, 287879881 edges, 238520 markings/sec, 380 secs
lola: 145978458 markings, 291286090 edges, 340919 markings/sec, 385 secs
lola: 146661106 markings, 292650556 edges, 136530 markings/sec, 390 secs
lola: 148130236 markings, 295587419 edges, 293826 markings/sec, 395 secs
lola: 149220031 markings, 297766573 edges, 217959 markings/sec, 400 secs
lola: 150482626 markings, 300290062 edges, 252519 markings/sec, 405 secs
lola: lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 580 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F ((X (G ((p12 <= 0))) OR ((p5 <= 0) OR (p15 <= 0)))) OR (((1 <= p5) AND (1 <= p15)) U X (((p4 <= 0) OR (p21 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F ((X (G ((p12 <= 0))) OR ((p5 <= 0) OR (p15 <= 0)))) OR (((1 <= p5) AND (1 <= p15)) U X (((p4 <= 0) OR (p21 <= 0))))))
lola: processed formula length: 124
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 65090 markings, 92104 edges
lola: ========================================
lola: subprocess 12 will run for 870 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((1 <= p16))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p16 <= 0)
lola: processed formula length: 10
lola: 93 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 4001 markings, 4000 edges
lola: ========================================
lola: subprocess 13 will run for 1741 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((1 <= p11) AND (1 <= p17))))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((1 <= p11) AND (1 <= p17))))
lola: processed formula length: 35
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 2653893 markings, 4336003 edges, 530779 markings/sec, 0 secs
lola: 5150900 markings, 8464991 edges, 499401 markings/sec, 5 secs
lola: 7770598 markings, 12804702 edges, 523940 markings/sec, 10 secs
lola: 10349417 markings, 17082568 edges, 515764 markings/sec, 15 secs
lola: 12927663 markings, 21358908 edges, 515649 markings/sec, 20 secs
lola: 15329316 markings, 25345381 edges, 480331 markings/sec, 25 secs
lola: 17791912 markings, 29434821 edges, 492519 markings/sec, 30 secs
lola: 20241374 markings, 33502985 edges, 489892 markings/sec, 35 secs
lola: 22683734 markings, 37559427 edges, 488472 markings/sec, 40 secs
lola: 25116579 markings, 41601754 edges, 486569 markings/sec, 45 secs
lola: 27530763 markings, 45614682 edges, 482837 markings/sec, 50 secs
lola: 29980085 markings, 49684500 edges, 489864 markings/sec, 55 secs
lola: 32244002 markings, 53447246 edges, 452783 markings/sec, 60 secs
lola: 34695324 markings, 57522358 edges, 490264 markings/sec, 65 secs
lola: 37157918 markings, 61616318 edges, 492519 markings/sec, 70 secs
lola: 39425215 markings, 65386407 edges, 453459 markings/sec, 75 secs
lola: 41856018 markings, 69427866 edges, 486161 markings/sec, 80 secs
lola: 44092816 markings, 73147318 edges, 447360 markings/sec, 85 secs
lola: 46548494 markings, 77231329 edges, 491136 markings/sec, 90 secs
lola: 48997380 markings, 81302706 edges, 489777 markings/sec, 95 secs
lola: 51442175 markings, 85368977 edges, 488959 markings/sec, 100 secs
lola: 53670540 markings, 89076190 edges, 445673 markings/sec, 105 secs
lola: 55993134 markings, 92939055 edges, 464519 markings/sec, 110 secs
lola: 58300702 markings, 96776705 edges, 461514 markings/sec, 115 secs
lola: 60607202 markings, 100614407 edges, 461300 markings/sec, 120 secs
lola: 62917582 markings, 104457142 edges, 462076 markings/sec, 125 secs
lola: 65234570 markings, 108311786 edges, 463398 markings/sec, 130 secs
lola: 67543378 markings, 112152153 edges, 461762 markings/sec, 135 secs
lola: 69848528 markings, 115987292 edges, 461030 markings/sec, 140 secs
lola: 72193556 markings, 119889250 edges, 469006 markings/sec, 145 secs
lola: 74522628 markings, 123764592 edges, 465814 markings/sec, 150 secs
lola: 76756552 markings, 127481410 edges, 446785 markings/sec, 155 secs
lola: 79133139 markings, 131434598 edges, 475317 markings/sec, 160 secs
lola: 81511349 markings, 135391965 edges, 475642 markings/sec, 165 secs
lola: 83887745 markings, 139346415 edges, 475279 markings/sec, 170 secs
lola: 86261931 markings, 143296996 edges, 474837 markings/sec, 175 secs
lola: 88619466 markings, 147219837 edges, 471507 markings/sec, 180 secs
lola: 90984687 markings, 151155794 edges, 473044 markings/sec, 185 secs
lola: 93348994 markings, 155090192 edges, 472861 markings/sec, 190 secs
lola: 95715756 markings, 159028856 edges, 473352 markings/sec, 195 secs
lola: 98083040 markings, 162968130 edges, 473457 markings/sec, 200 secs
lola: 100418340 markings, 166854129 edges, 467060 markings/sec, 205 secs
lola: 102752004 markings, 170738876 edges, 466733 markings/sec, 210 secs
lola: 105109265 markings, 174661567 edges, 471452 markings/sec, 215 secs
lola: 107456496 markings, 178567696 edges, 469446 markings/sec, 220 secs
lola: 109817665 markings, 182497006 edges, 472234 markings/sec, 225 secs
lola: 112170183 markings, 186413449 edges, 470504 markings/sec, 230 secs
lola: 114532468 markings, 190344684 edges, 472457 markings/sec, 235 secs
lola: 116892195 markings, 194271672 edges, 471945 markings/sec, 240 secs
lola: 119244791 markings, 198188188 edges, 470519 markings/sec, 245 secs
lola: 121462999 markings, 201879316 edges, 443642 markings/sec, 250 secs
lola: 123598967 markings, 205435684 edges, 427194 markings/sec, 255 secs
lola: 124973454 markings, 207722703 edges, 274897 markings/sec, 260 secs
lola: 126323956 markings, 209970681 edges, 270100 markings/sec, 265 secs
lola: 128050944 markings, 212844686 edges, 345398 markings/sec, 270 secs
lola: 129245449 markings, 214832760 edges, 238901 markings/sec, 275 secs
lola: 130442005 markings, 216825367 edges, 239311 markings/sec, 280 secs
lola: 131495414 markings, 218577985 edges, 210682 markings/sec, 285 secs
lola: 132908757 markings, 220930678 edges, 282669 markings/sec, 290 secs
lola: 134328073 markings, 223293315 edges, 283863 markings/sec, 295 secs
lola: 135606394 markings, 225421038 edges, 255664 markings/sec, 300 secs
lola: 137519560 markings, 228605628 edges, 382633 markings/sec, 305 secs
lola: 138883657 markings, 230876045 edges, 272819 markings/sec, 310 secs
lola: 140622482 markings, 233771201 edges, 347765 markings/sec, 315 secs
lola: 141607556 markings, 235410111 edges, 197015 markings/sec, 320 secs
lola: 143081447 markings, 237863978 edges, 294778 markings/sec, 325 secs
lola: 144167520 markings, 239671196 edges, 217215 markings/sec, 330 secs
lola: 145617354 markings, 242084853 edges, 289967 markings/sec, 335 secs
lola: 146894300 markings, 244210260 edges, 255389 markings/sec, 340 secs
lola: 148130079 markings, 246268500 edges, 247156 markings/sec, 345 secs
lola: 149578064 markings, 248678945 edges, 289597 markings/sec, 350 secs
lola: 150569332 markings, 250328179 edges, 198254 markings/sec, 355 secs
lola: 151837824 markings, 252439611 edges, 253698 markings/sec, 360 secs
lola: 151839942 markings, 252443130 edges, 424 markings/sec, 365 secs
lola: 151840694 markings, 252444636 edges, 150 markings/sec, 370 secs
lola: 151840761 markings, 252444768 edges, 13 markings/sec, 375 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X ((((1 <= p7) AND (1 <= p23)) OR (G (((1 <= p5) AND (1 <= p15))) AND F (((1 <= p7) AND (1 <= p23))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((((1 <= p7) AND (1 <= p23)) OR (G (((1 <= p5) AND (1 <= p15))) AND F (((1 <= p7) AND (1 <= p23))))))
lola: processed formula length: 103
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2381565 markings, 4249243 edges, 476313 markings/sec, 0 secs
lola: 4477498 markings, 8439198 edges, 419187 markings/sec, 5 secs
lola: 6684527 markings, 12851419 edges, 441406 markings/sec, 10 secs
lola: 8714752 markings, 16909918 edges, 406045 markings/sec, 15 secs
lola: 10889427 markings, 21257403 edges, 434935 markings/sec, 20 secs
lola: 12971433 markings, 25417781 edges, 416401 markings/sec, 25 secs
lola: 15036998 markings, 29547098 edges, 413113 markings/sec, 30 secs
lola: 17190426 markings, 33852182 edges, 430686 markings/sec, 35 secs
lola: 19402056 markings, 38273672 edges, 442326 markings/sec, 40 secs
lola: 21662169 markings, 42790392 edges, 452023 markings/sec, 45 secs
lola: 23649466 markings, 46763151 edges, 397459 markings/sec, 50 secs
lola: 25655743 markings, 50773877 edges, 401255 markings/sec, 55 secs
lola: 27712942 markings, 54886474 edges, 411440 markings/sec, 60 secs
lola: 29789691 markings, 59038169 edges, 415350 markings/sec, 65 secs
lola: 31827768 markings, 63112483 edges, 407615 markings/sec, 70 secs
lola: 33757375 markings, 66969800 edges, 385921 markings/sec, 75 secs
lola: 35792766 markings, 71036964 edges, 407078 markings/sec, 80 secs
lola: 37739323 markings, 74928343 edges, 389311 markings/sec, 85 secs
lola: 39725081 markings, 78898106 edges, 397152 markings/sec, 90 secs
lola: 41723769 markings, 82893712 edges, 399738 markings/sec, 95 secs
lola: 43828582 markings, 87101614 edges, 420963 markings/sec, 100 secs
lola: 45780452 markings, 91003522 edges, 390374 markings/sec, 105 secs
lola: 47887053 markings, 95213414 edges, 421320 markings/sec, 110 secs
lola: 49991310 markings, 99420297 edges, 420851 markings/sec, 115 secs
lola: 52046239 markings, 103528431 edges, 410986 markings/sec, 120 secs
lola: 54045556 markings, 107523614 edges, 399863 markings/sec, 125 secs
lola: 56083081 markings, 111597111 edges, 407505 markings/sec, 130 secs
lola: 58152859 markings, 115735011 edges, 413956 markings/sec, 135 secs
lola: 60117206 markings, 119661953 edges, 392869 markings/sec, 140 secs
lola: 62204441 markings, 123833235 edges, 417447 markings/sec, 145 secs
lola: 64282344 markings, 127987440 edges, 415581 markings/sec, 150 secs
lola: 66373873 markings, 132167224 edges, 418306 markings/sec, 155 secs
lola: 68437564 markings, 136293118 edges, 412738 markings/sec, 160 secs
lola: 70513789 markings, 140443956 edges, 415245 markings/sec, 165 secs
lola: 72640871 markings, 144695053 edges, 425416 markings/sec, 170 secs
lola: 74734645 markings, 148881040 edges, 418755 markings/sec, 175 secs
lola: 76886989 markings, 153182709 edges, 430469 markings/sec, 180 secs
lola: 79048256 markings, 157503738 edges, 432253 markings/sec, 185 secs
lola: 81141668 markings, 161687555 edges, 418682 markings/sec, 190 secs
lola: 83206397 markings, 165815458 edges, 412946 markings/sec, 195 secs
lola: 85344938 markings, 170089602 edges, 427708 markings/sec, 200 secs
lola: 87447924 markings, 174292484 edges, 420597 markings/sec, 205 secs
lola: 89583899 markings, 178563108 edges, 427195 markings/sec, 210 secs
lola: 91739695 markings, 182871789 edges, 431159 markings/sec, 215 secs
lola: 93656477 markings, 186703789 edges, 383356 markings/sec, 220 secs
lola: 95692467 markings, 190772786 edges, 407198 markings/sec, 225 secs
lola: 97769733 markings, 194925902 edges, 415453 markings/sec, 230 secs
lola: 99915110 markings, 199213832 edges, 429075 markings/sec, 235 secs
lola: 102031539 markings, 203443808 edges, 423286 markings/sec, 240 secs
lola: 104122824 markings, 207625015 edges, 418257 markings/sec, 245 secs
lola: 106142599 markings, 211661704 edges, 403955 markings/sec, 250 secs
lola: 108240604 markings, 215854859 edges, 419601 markings/sec, 255 secs
lola: 110271866 markings, 219916037 edges, 406252 markings/sec, 260 secs
lola: 112386250 markings, 224142063 edges, 422877 markings/sec, 265 secs
lola: 114378985 markings, 228124657 edges, 398547 markings/sec, 270 secs
lola: 116455822 markings, 232277042 edges, 415367 markings/sec, 275 secs
lola: 118532403 markings, 236427497 edges, 415316 markings/sec, 280 secs
lola: 120610171 markings, 240580326 edges, 415554 markings/sec, 285 secs
lola: 122704430 markings, 244766150 edges, 418852 markings/sec, 290 secs
lola: 124050765 markings, 247459577 edges, 269267 markings/sec, 295 secs
lola: 125723810 markings, 250801560 edges, 334609 markings/sec, 300 secs
lola: 126815365 markings, 252984076 edges, 218311 markings/sec, 305 secs
lola: 127829500 markings, 255010303 edges, 202827 markings/sec, 310 secs
lola: 129129024 markings, 257607448 edges, 259905 markings/sec, 315 secs
lola: 130044989 markings, 259438774 edges, 183193 markings/sec, 320 secs
lola: 131216925 markings, 261782976 edges, 234387 markings/sec, 325 secs
lola: 132576676 markings, 264499895 edges, 271950 markings/sec, 330 secs
lola: 133847412 markings, 267039571 edges, 254147 markings/sec, 335 secs
lola: 135012144 markings, 269367129 edges, 232946 markings/sec, 340 secs
lola: 136404351 markings, 272149835 edges, 278441 markings/sec, 345 secs
lola: 137575892 markings, 274492454 edges, 234308 markings/sec, 350 secs
lola: 139095676 markings, 277528952 edges, 303957 markings/sec, 355 secs
lola: 140273863 markings, 279884984 edges, 235637 markings/sec, 360 secs
lola: 141554281 markings, 282444074 edges, 256084 markings/sec, 365 secs
lola: 142836522 markings, 285006809 edges, 256448 markings/sec, 370 secs
lola: 144051949 markings, 287435828 edges, 243085 markings/sec, 375 secs
lola: 145300289 markings, 289930608 edges, 249668 markings/sec, 380 secs
lola: 146674077 markings, 292676556 edges, 274758 markings/sec, 385 secs
lola: 147836352 markings, 295000844 edges, 232455 markings/sec, 390 secs
lola: 149121017 markings, 297568473 edges, 256933 markings/sec, 395 secs
lola: 150273353 markings, 299871331 edges, 230467 markings/sec, 400 secs
lola: 151291759 markings, 301907607 edges, 203681 markings/sec, 405 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X ((((p0 <= 0) OR (p13 <= 0)) U X (X ((F ((1 <= p22)) AND ((1 <= p0) AND (1 <= p13)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((((p0 <= 0) OR (p13 <= 0)) U X (X ((F ((1 <= p22)) AND ((1 <= p0) AND (1 <= p13)))))))
lola: processed formula length: 90
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 13 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1796202 markings, 5223682 edges, 359240 markings/sec, 0 secs
lola: 3438076 markings, 10207098 edges, 328375 markings/sec, 5 secs
lola: 4973034 markings, 14938315 edges, 306992 markings/sec, 10 secs
lola: 6384682 markings, 19366276 edges, 282330 markings/sec, 15 secs
lola: 7879886 markings, 23962488 edges, 299041 markings/sec, 20 secs
lola: 9367816 markings, 28616975 edges, 297586 markings/sec, 25 secs
lola: 10861490 markings, 33300135 edges, 298735 markings/sec, 30 secs
lola: 12308252 markings, 37848809 edges, 289352 markings/sec, 35 secs
lola: 13688434 markings, 42279970 edges, 276036 markings/sec, 40 secs
lola: 15138022 markings, 46803626 edges, 289918 markings/sec, 45 secs
lola: 16510848 markings, 51104565 edges, 274565 markings/sec, 50 secs
lola: 17883547 markings, 55519678 edges, 274540 markings/sec, 55 secs
lola: 19287361 markings, 59898728 edges, 280763 markings/sec, 60 secs
lola: 20602128 markings, 64157458 edges, 262953 markings/sec, 65 secs
lola: 21995940 markings, 68492391 edges, 278762 markings/sec, 70 secs
lola: 23276761 markings, 72636685 edges, 256164 markings/sec, 75 secs
lola: 24482882 markings, 76476404 edges, 241224 markings/sec, 80 secs
lola: 25986246 markings, 81230696 edges, 300673 markings/sec, 85 secs
lola: 27397300 markings, 85838855 edges, 282211 markings/sec, 90 secs
lola: 28911048 markings, 90525127 edges, 302750 markings/sec, 95 secs
lola: 30294370 markings, 95028491 edges, 276664 markings/sec, 100 secs
lola: 31691170 markings, 99488800 edges, 279360 markings/sec, 105 secs
lola: 33130422 markings, 104020608 edges, 287850 markings/sec, 110 secs
lola: 34410354 markings, 108200246 edges, 255986 markings/sec, 115 secs
lola: 35601829 markings, 112124898 edges, 238295 markings/sec, 120 secs
lola: 37073858 markings, 116625549 edges, 294406 markings/sec, 125 secs
lola: 38377926 markings, 120877112 edges, 260814 markings/sec, 130 secs
lola: 39673640 markings, 125131188 edges, 259143 markings/sec, 135 secs
lola: 41080218 markings, 129471090 edges, 281316 markings/sec, 140 secs
lola: 42457280 markings, 133913093 edges, 275412 markings/sec, 145 secs
lola: 43766104 markings, 138208082 edges, 261765 markings/sec, 150 secs
lola: 45100054 markings, 142587473 edges, 266790 markings/sec, 155 secs
lola: 46553336 markings, 147040734 edges, 290656 markings/sec, 160 secs
lola: 47866438 markings, 151300258 edges, 262620 markings/sec, 165 secs
lola: 49134313 markings, 155450156 edges, 253575 markings/sec, 170 secs
lola: 50407602 markings, 159647973 edges, 254658 markings/sec, 175 secs
lola: 51753364 markings, 163799261 edges, 269152 markings/sec, 180 secs
lola: 53103506 markings, 168125946 edges, 270028 markings/sec, 185 secs
lola: 54362431 markings, 172243973 edges, 251785 markings/sec, 190 secs
lola: 55619298 markings, 176366617 edges, 251373 markings/sec, 195 secs
lola: 56860653 markings, 180476418 edges, 248271 markings/sec, 200 secs
lola: 58224604 markings, 184633508 edges, 272790 markings/sec, 205 secs
lola: 59522863 markings, 188809596 edges, 259652 markings/sec, 210 secs
lola: 60743252 markings, 192804861 edges, 244078 markings/sec, 215 secs
lola: 61945669 markings, 196751331 edges, 240483 markings/sec, 220 secs
lola: 63121879 markings, 200648992 edges, 235242 markings/sec, 225 secs
lola: 64279838 markings, 204485917 edges, 231592 markings/sec, 230 secs
lola: 65740670 markings, 208868054 edges, 292166 markings/sec, 235 secs
lola: 67047090 markings, 213116762 edges, 261284 markings/sec, 240 secs
lola: 68263314 markings, 217106116 edges, 243245 markings/sec, 245 secs
lola: 69517912 markings, 221242364 edges, 250920 markings/sec, 250 secs
lola: 70805240 markings, 225485785 edges, 257466 markings/sec, 255 secs
lola: 72064582 markings, 229590617 edges, 251868 markings/sec, 260 secs
lola: 73531397 markings, 234048781 edges, 293363 markings/sec, 265 secs
lola: 74809516 markings, 238204635 edges, 255624 markings/sec, 270 secs
lola: 76077116 markings, 242363014 edges, 253520 markings/sec, 275 secs
lola: 77304210 markings, 246413935 edges, 245419 markings/sec, 280 secs
lola: 78518084 markings, 250422283 edges, 242775 markings/sec, 285 secs
lola: 79731222 markings, 254442059 edges, 242628 markings/sec, 290 secs
lola: 81086898 markings, 258546972 edges, 271135 markings/sec, 295 secs
lola: 82399318 markings, 262756870 edges, 262484 markings/sec, 300 secs
lola: 83603582 markings, 266691965 edges, 240853 markings/sec, 305 secs
lola: 84829554 markings, 270714219 edges, 245194 markings/sec, 310 secs
lola: 86001583 markings, 274592426 edges, 234406 markings/sec, 315 secs
lola: 87159688 markings, 278428043 edges, 231621 markings/sec, 320 secs
lola: 88334690 markings, 282318043 edges, 235000 markings/sec, 325 secs
lola: 89525906 markings, 286179594 edges, 238243 markings/sec, 330 secs
lola: 90915626 markings, 290361110 edges, 277944 markings/sec, 335 secs
lola: 92112875 markings, 294247543 edges, 239450 markings/sec, 340 secs
lola: 93249320 markings, 297970144 edges, 227289 markings/sec, 345 secs
lola: 94401244 markings, 301762642 edges, 230385 markings/sec, 350 secs
lola: 95509884 markings, 305425402 edges, 221728 markings/sec, 355 secs
lola: 96596864 markings, 309021172 edges, 217396 markings/sec, 360 secs
lola: 97681572 markings, 312641505 edges, 216942 markings/sec, 365 secs
lola: 98776342 markings, 316257195 edges, 218954 markings/sec, 370 secs
lola: 99916234 markings, 319763161 edges, 227978 markings/sec, 375 secs
lola: 101350512 markings, 324224347 edges, 286856 markings/sec, 380 secs
lola: 102611898 markings, 328337414 edges, 252277 markings/sec, 385 secs
lola: 103742102 markings, 332050982 edges, 226041 markings/sec, 390 secs
lola: 104965910 markings, 336082466 edges, 244762 markings/sec, 395 secs
lola: 106164276 markings, 340051404 edges, 239673 markings/sec, 400 secs
lola: 107339036 markings, 343941743 edges, 234952 markings/sec, 405 secs
lola: 108561021 markings, 347996523 edges, 244397 markings/sec, 410 secs
lola: 109708900 markings, 351820608 edges, 229576 markings/sec, 415 secs
lola: 111042367 markings, 355841503 edges, 266693 markings/sec, 420 secs
lola: 112347152 markings, 359967914 edges, 260957 markings/sec, 425 secs
lola: 113538728 markings, 363849404 edges, 238315 markings/sec, 430 secs
lola: 114657232 markings, 367524067 edges, 223701 markings/sec, 435 secs
lola: 115765226 markings, 371186881 edges, 221599 markings/sec, 440 secs
lola: 116583610 markings, 373886519 edges, 163677 markings/sec, 445 secs
lola: 117566282 markings, 377132512 edges, 196534 markings/sec, 450 secs
lola: 118071792 markings, 378807779 edges, 101102 markings/sec, 455 secs
lola: 118723968 markings, 380975647 edges, 130435 markings/sec, 460 secs
lola: 119458482 markings, 383415414 edges, 146903 markings/sec, 465 secs
lola: 120248492 markings, 386041873 edges, 158002 markings/sec, 470 secs
lola: 121097053 markings, 388865494 edges, 169712 markings/sec, 475 secs
lola: 122078978 markings, 392094240 edges, 196385 markings/sec, 480 secs
lola: 123377098 markings, 395889410 edges, 259624 markings/sec, 485 secs
lola: 123854532 markings, 397417281 edges, 95487 markings/sec, 490 secs
lola: 124684016 markings, 400108787 edges, 165897 markings/sec, 495 secs
lola: 125429902 markings, 402545036 edges, 149177 markings/sec, 500 secs
lola: 126275296 markings, 405325807 edges, 169079 markings/sec, 505 secs
lola: 127015954 markings, 407762661 edges, 148132 markings/sec, 510 secs
lola: 127866896 markings, 410566605 edges, 170188 markings/sec, 515 secs
lola: 128949586 markings, 414147764 edges, 216538 markings/sec, 520 secs
lola: 129819692 markings, 417046132 edges, 174021 markings/sec, 525 secs
lola: 130675994 markings, 419867806 edges, 171260 markings/sec, 530 secs
lola: 131508816 markings, 422633772 edges, 166564 markings/sec, 535 secs
lola: 132224690 markings, 425013590 edges, 143175 markings/sec, 540 secs
lola: 133170884 markings, 428162764 edges, 189239 markings/sec, 545 secs
lola: 133948672 markings, 430753674 edges, 155558 markings/sec, 550 secs
lola: 134678430 markings, 433212105 edges, 145952 markings/sec, 555 secs
lola: 135572406 markings, 435840293 edges, 178795 markings/sec, 560 secs
lola: 136459388 markings, 438502455 edges, 177396 markings/sec, 565 secs
lola: 137154356 markings, 440742167 edges, 138994 markings/sec, 570 secs
lola: 138096654 markings, 443811295 edges, 188460 markings/sec, 575 secs
lola: 138177178 markings, 444073892 edges, 16105 markings/sec, 580 secs
lola: 139120306 markings, 447167597 edges, 188626 markings/sec, 585 secs
lola: 139309156 markings, 447801191 edges, 37770 markings/sec, 590 secs
lola: 140014982 markings, 450119421 edges, 141165 markings/sec, 595 secs
lola: 140209039 markings, 450749534 edges, 38811 markings/sec, 600 secs
lola: 140741882 markings, 452508548 edges, 106569 markings/sec, 605 secs
lola: 141269081 markings, 454251954 edges, 105440 markings/sec, 610 secs
lola: 142066976 markings, 456904458 edges, 159579 markings/sec, 615 secs
lola: 142484024 markings, 458276079 edges, 83410 markings/sec, 620 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (F ((X (((1 <= p5) AND (1 <= p15))) OR (G ((1 <= p16)) AND X (((1 <= p7) AND (1 <= p23) AND (p16 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((X (((1 <= p5) AND (1 <= p15))) OR (G ((1 <= p16)) AND X (((1 <= p7) AND (1 <= p23) AND (p16 <= 0)))))))
lola: processed formula length: 110
lola: 91 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1278879 markings, 5070425 edges, 255776 markings/sec, 0 secs
lola: 2539427 markings, 10116988 edges, 252110 markings/sec, 5 secs
lola: 3630285 markings, 15282035 edges, 218172 markings/sec, 10 secs
lola: 4478855 markings, 19809136 edges, 169714 markings/sec, 15 secs
lola: 5328991 markings, 24344493 edges, 170027 markings/sec, 20 secs
lola: 6189937 markings, 28924699 edges, 172189 markings/sec, 25 secs
lola: 7142002 markings, 34006426 edges, 190413 markings/sec, 30 secs
lola: 7962148 markings, 38382856 edges, 164029 markings/sec, 35 secs
lola: 8781937 markings, 42757686 edges, 163958 markings/sec, 40 secs
lola: 10098410 markings, 46335178 edges, 263295 markings/sec, 45 secs
lola: 10983494 markings, 49876914 edges, 177017 markings/sec, 50 secs
lola: 12214946 markings, 54782390 edges, 246290 markings/sec, 55 secs
lola: 13397861 markings, 59515852 edges, 236583 markings/sec, 60 secs
lola: 14490521 markings, 64496916 edges, 218532 markings/sec, 65 secs
lola: 15407400 markings, 69392614 edges, 183376 markings/sec, 70 secs
lola: 16268450 markings, 73986494 edges, 172210 markings/sec, 75 secs
lola: 17119134 markings, 78507024 edges, 170137 markings/sec, 80 secs
lola: 18075974 markings, 83615470 edges, 191368 markings/sec, 85 secs
lola: 18947535 markings, 88262244 edges, 174312 markings/sec, 90 secs
lola: 19774371 markings, 92669802 edges, 165367 markings/sec, 95 secs
lola: 21005461 markings, 95965882 edges, 246218 markings/sec, 100 secs
lola: 21938896 markings, 100876347 edges, 186687 markings/sec, 105 secs
lola: 22825789 markings, 105608614 edges, 177379 markings/sec, 110 secs
lola: 23656576 markings, 110038564 edges, 166157 markings/sec, 115 secs
lola: 24471801 markings, 114965358 edges, 163045 markings/sec, 120 secs
lola: 25176320 markings, 119666671 edges, 140904 markings/sec, 125 secs
lola: 25824675 markings, 123983884 edges, 129671 markings/sec, 130 secs
lola: 26447474 markings, 128139664 edges, 124560 markings/sec, 135 secs
lola: 27074761 markings, 132308949 edges, 125457 markings/sec, 140 secs
lola: 27838537 markings, 137406353 edges, 152755 markings/sec, 145 secs
lola: 28515854 markings, 141921400 edges, 135463 markings/sec, 150 secs
lola: 29160851 markings, 146225927 edges, 128999 markings/sec, 155 secs
lola: 29797951 markings, 150470087 edges, 127420 markings/sec, 160 secs
lola: 30856008 markings, 154084874 edges, 211611 markings/sec, 165 secs
lola: 31894665 markings, 157981935 edges, 207731 markings/sec, 170 secs
lola: 32696602 markings, 161858055 edges, 160387 markings/sec, 175 secs
lola: 33752409 markings, 166393139 edges, 211161 markings/sec, 180 secs
lola: 35056363 markings, 171611540 edges, 260791 markings/sec, 185 secs
lola: 36279239 markings, 176812280 edges, 244575 markings/sec, 190 secs
lola: 37217190 markings, 181817441 edges, 187590 markings/sec, 195 secs
lola: 38096608 markings, 186510254 edges, 175884 markings/sec, 200 secs
lola: 38933424 markings, 190976183 edges, 167363 markings/sec, 205 secs
lola: 39882040 markings, 196021049 edges, 189723 markings/sec, 210 secs
lola: 40746456 markings, 200636046 edges, 172883 markings/sec, 215 secs
lola: 41567519 markings, 205011929 edges, 164213 markings/sec, 220 secs
lola: 42752741 markings, 208943795 edges, 237044 markings/sec, 225 secs
lola: 43885045 markings, 214028704 edges, 226461 markings/sec, 230 secs
lola: 44818582 markings, 219010779 edges, 186707 markings/sec, 235 secs
lola: 45700815 markings, 223711515 edges, 176447 markings/sec, 240 secs
lola: 46527168 markings, 228758344 edges, 165271 markings/sec, 245 secs
lola: 47229375 markings, 233447633 edges, 140441 markings/sec, 250 secs
lola: 47884980 markings, 237816709 edges, 131121 markings/sec, 255 secs
lola: 48502822 markings, 241936533 edges, 123568 markings/sec, 260 secs
lola: 49131254 markings, 246114474 edges, 125686 markings/sec, 265 secs
lola: 49847088 markings, 250889003 edges, 143167 markings/sec, 270 secs
lola: 50488825 markings, 255168540 edges, 128347 markings/sec, 275 secs
lola: 51053122 markings, 258933879 edges, 112859 markings/sec, 280 secs
lola: 51645927 markings, 262886151 edges, 118561 markings/sec, 285 secs
lola: 52480174 markings, 266622533 edges, 166849 markings/sec, 290 secs
lola: 53525637 markings, 270597125 edges, 209093 markings/sec, 295 secs
lola: 54468230 markings, 275622663 edges, 188519 markings/sec, 300 secs
lola: time limit reached - aborting
lola:
preliminary result: no yes unknown no yes no no no no unknown unknown unknown unknown no
lola:
preliminary result: no yes unknown no yes no no no no unknown unknown unknown unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes unknown no yes no no no no unknown unknown unknown unknown no
lola: memory consumption: 7340428 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no yes unknown no yes no no no no unknown unknown unknown unknown no
lola: memory consumption: 7340428 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ClientsAndServers-PT-N0500P0"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itslola"
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
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is ClientsAndServers-PT-N0500P0, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r168-smll-158987806400234"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0500P0.tgz
mv ClientsAndServers-PT-N0500P0 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
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 ;