About the Execution of ITS-LoLa for ClientsAndServers-PT-N0020P2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15783.570 | 3600000.00 | 3154296.00 | 190184.20 | FFTF?T?FF?FFTFTF | 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-158987806400188.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-N0020P2, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806400188
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 30 01:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 28 15:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 28 15:22 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.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 27 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 27 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 26 07:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 26 07:39 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.2K 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-N0020P2-CTLFireability-00
FORMULA_NAME ClientsAndServers-PT-N0020P2-CTLFireability-01
FORMULA_NAME ClientsAndServers-PT-N0020P2-CTLFireability-02
FORMULA_NAME ClientsAndServers-PT-N0020P2-CTLFireability-03
FORMULA_NAME ClientsAndServers-PT-N0020P2-CTLFireability-04
FORMULA_NAME ClientsAndServers-PT-N0020P2-CTLFireability-05
FORMULA_NAME ClientsAndServers-PT-N0020P2-CTLFireability-06
FORMULA_NAME ClientsAndServers-PT-N0020P2-CTLFireability-07
FORMULA_NAME ClientsAndServers-PT-N0020P2-CTLFireability-08
FORMULA_NAME ClientsAndServers-PT-N0020P2-CTLFireability-09
FORMULA_NAME ClientsAndServers-PT-N0020P2-CTLFireability-10
FORMULA_NAME ClientsAndServers-PT-N0020P2-CTLFireability-11
FORMULA_NAME ClientsAndServers-PT-N0020P2-CTLFireability-12
FORMULA_NAME ClientsAndServers-PT-N0020P2-CTLFireability-13
FORMULA_NAME ClientsAndServers-PT-N0020P2-CTLFireability-14
FORMULA_NAME ClientsAndServers-PT-N0020P2-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1591212298044
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-03 19:25:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-03 19:25:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-03 19:25:01] [INFO ] Load time of PNML (sax parser for PT used): 49 ms
[2020-06-03 19:25:01] [INFO ] Transformed 25 places.
[2020-06-03 19:25:01] [INFO ] Transformed 18 transitions.
[2020-06-03 19:25:01] [INFO ] Parsed PT model containing 25 places and 18 transitions in 130 ms.
Parsed 16 properties from file /home/mcc/execution/CTLFireability.xml in 29 ms.
Finished random walk after 1294 steps, including 0 resets, run visited all 26 properties in 13 ms. (steps per millisecond=99 )
[2020-06-03 19:25:01] [INFO ] Flatten gal took : 46 ms
[2020-06-03 19:25:01] [INFO ] Flatten gal took : 13 ms
[2020-06-03 19:25:01] [INFO ] Export to MCC properties in file /home/mcc/execution/CTLFireability.sr.xml took 6 ms.
[2020-06-03 19:25:01] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 2 ms.
info: Time: 3600 - MCC
vrfy: Checking CTLFireability @ ClientsAndServers-PT-N0020P2 @ 3570 seconds
FORMULA ClientsAndServers-PT-N0020P2-CTLFireability-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-CTLFireability-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-CTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-CTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-CTLFireability-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-CTLFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-CTLFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-CTLFireability-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-CTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-CTLFireability-05 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-CTLFireability-12 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-CTLFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-CTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0020P2-CTLFireability-06 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for CTLFireability @ ClientsAndServers-PT-N0020P2
{
"exit":
{
"memory": 979604,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 1,
"E": 2,
"F": 1,
"G": 1,
"U": 1,
"X": 0,
"aconj": 1,
"adisj": 1,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "E(EF((1 <= p6)) U AG(((1 <= p24) OR ((1 <= p11) AND (1 <= p17)))))",
"processed_size": 67,
"rewrites": 29
},
"net":
{
"conflict_clusters": 16,
"singleton_clusters": 0
},
"result":
{
"preliminary_value": "no no yes no unknown yes unknown no no unknown no no yes no yes no "
},
"task":
{
"compoundnumber": 17,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ctl preserving"
},
"type": "ctl model checker"
},
"type": "CTL"
}
}
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 CTLFireability.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: A (G (A (F (((1 <= p6) OR (1 <= p9) OR ((1 <= p20) AND (1 <= p18))))))) : A (F (((1 <= p1) AND (1 <= p19)))) : (E (F (((1 <= p18) AND E (G ((1 <= p10)))))) OR ((1 <= p1) AND (1 <= p19))) : E (X (A (F ((1 <= p9))))) : A (F (((A (G (((1 <= p2)))) OR ((p24 <= 0) AND (p20 <= 0) AND ((p22 <= 0) OR (p18 <= 0)))) OR ((1 <= p22) AND ((p5 <= 0) OR (p15 <= 0)))))) : E (F ((((NOT(A (G (((1 <= p5) AND (1 <= p15))))) AND E (G (((1 <= p5) AND (1 <= p15))))) AND ((p0 <= 0) OR (p13 <= 0))) AND ((p1 <= 0) OR (p19 <= 0))))) : A (G ((NOT(A (G (((1 <= p5) AND (1 <= p15))))) OR NOT(E (F ((1 <= p6))))))) : A (X (A (G (E (F ((1 <= p18))))))) : A (G (E (G (A (F ((1 <= p16))))))) : E ((E (F ((1 <= p6))) U A (G (((1 <= p24) OR ((1 <= p11) AND (1 <= p17))))))) : NOT(A (F (((1 <= p3))))) : E (G ((p12 <= 0))) : E (F ((((1 <= p22) AND (1 <= p7) AND (1 <= p23) AND ((p2 <= 0)) AND ((p3 <= 0) OR ((1 <= p9) AND (1 <= p5) AND (1 <= p15)))) AND (A (G ((1 <= p16))) OR ((1 <= p9) AND (1 <= p12)))))) : A (X (A (F (((1 <= p1) AND (1 <= p19)))))) : (((((1 <= p9) OR A (F ((1 <= p18)))) OR (1 <= p18)) OR ((1 <= p11) AND (1 <= p17))) OR (((1 <= p5) AND (1 <= p15)) AND NOT(A (F (((1 <= p4) AND (1 <= p21))))))) : E (G (A (F (((1 <= p1) AND (1 <= p19))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:326
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:458
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:323
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (X (A (F ((1 <= p9)))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:807
lola: processed formula: EX(AF((1 <= p9)))
lola: processed formula length: 17
lola: 28 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 1 significant temporal operators and needs 5 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1144 markings, 1143 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (G (E (F ((1 <= p18)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:812
lola: processed formula: AX(AG(EF((1 <= p18))))
lola: processed formula length: 22
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1151 markings, 3337 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (A (F (((1 <= p1) AND (1 <= p19))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all successors
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:754
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p1 <= 0) OR (p19 <= 0))
lola: processed formula length: 26
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EXEG)
lola: state space: using reachability graph (EXEG version) (--search=depth)
lola: state space: using invisibility based stubborn set method (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:753
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p1) AND (1 <= p19))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-2-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-2-0.sara.
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EXEG
lola: The predicate does not eventually occur from all successors.
lola: 2533544 markings, 3101608 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (((p3 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G (((p3 <= 0))))
lola: processed formula length: 19
lola: 27 rewrites
lola: closed formula file CTLFireability.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: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:788
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p3))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 201 markings, 200 edges
lola: state equation: write sara problem file to CTLFireability-3-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G ((p12 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking possible preservation
lola: rewrite Frontend/Parser/formula_rewrite.k:583
lola: processed formula: E (G ((p12 <= 0)))
lola: processed formula length: 18
lola: 27 rewrites
sara: try reading problem file CTLFireability-3-0.sara.
lola: closed formula file CTLFireability.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: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p12)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-4-0.sara
lola: state equation: calling and running sara
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate is not possibly preserved.
lola: 1763 markings, 2503 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F ((1 <= p16)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all states
lola: rewrite Frontend/Parser/formula_rewrite.k:599
lola: rewrite Frontend/Parser/formula_rewrite.k:634
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p16 <= 0)
lola: processed formula length: 10
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p16)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: formula 1: (p16 <= 0)
lola: state equation task get result unparse finished id 1
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-5-1.sara
lola: state equation: write sara problem file to CTLFireability-5-0.sara
lola: state equation: calling and running sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-5-1.sara.
sara: try reading problem file CTLFireability-5-0.sara.
lola: state equation 1: solution produced
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: The predicate does not eventually occur from all states.
lola: 126081 markings, 139722 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (((1 <= p1) AND (1 <= p19))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p1 <= 0) OR (p19 <= 0))
lola: processed formula length: 26
lola: 29 rewrites
lola: closed formula file CTLFireability.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: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: ((1 <= p1) AND (1 <= p19))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-6-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-6-0.sara.
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 2533545 markings, 3101609 edges
lola: ========================================
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (A (F (((1 <= p6) OR (1 <= p9) OR ((1 <= p20) AND (1 <= p18)))))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence from all states
lola: rewrite Frontend/Parser/formula_rewrite.k:599
lola: rewrite Frontend/Parser/formula_rewrite.k:634
lola: rewrite Frontend/Parser/formula_rewrite.k:734
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((p6 <= 0) AND (p9 <= 0) AND ((p20 <= 0) OR (p18 <= 0)))
lola: processed formula length: 57
lola: 30 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space /EFEG)
lola: state space: using reachability graph (EFEG version) (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: state equation task get result started, id 1
lola: rewrite Frontend/Parser/formula_rewrite.k:711
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 1
lola: state equation task get result unparse finished++ id 1
lola: SUBRESULT
lola: result: no
lola: produced by: state space /EFEG
lola: formula 1: ((p6 <= 0) AND (p9 <= 0) AND ((p20 <= 0) OR (p18 <= 0)))
lola: state equation task get result unparse finished id 1
lola: The predicate does not eventually occur from all states.
lola: 1145 markings, 1144 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (G (A (F (((1 <= p1) AND (1 <= p19))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: processed formula: EG(AF(((1 <= p1) AND (1 <= p19))))
lola: processed formula length: 34
lola: 28 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: no
lola: produced by: CTL model checker
lola: The net does not satisfy the given formula.
lola: 1145 markings, 1145 edges
lola: ========================================
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((E (F (((p5 <= 0) OR (p15 <= 0)))) OR A (G ((p6 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG((EF(((p5 <= 0) OR (p15 <= 0))) OR AG((p6 <= 0))))
lola: processed formula length: 53
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1331444 markings, 6448872 edges, 266289 markings/sec, 0 secs
lola: 2455047 markings, 12286934 edges, 224721 markings/sec, 5 secs
lola: 3444586 markings, 17540447 edges, 197908 markings/sec, 10 secs
lola: 4398651 markings, 22685381 edges, 190813 markings/sec, 15 secs
lola: 5206298 markings, 27114507 edges, 161529 markings/sec, 20 secs
lola: 5977485 markings, 31370672 edges, 154237 markings/sec, 25 secs
lola: 6766620 markings, 35743784 edges, 157827 markings/sec, 30 secs
lola: 7588931 markings, 40342265 edges, 164462 markings/sec, 35 secs
lola: 8376208 markings, 44767957 edges, 157455 markings/sec, 40 secs
lola: 9150503 markings, 49115706 edges, 154859 markings/sec, 45 secs
lola: 9902943 markings, 53393561 edges, 150488 markings/sec, 50 secs
lola: 10644267 markings, 57607850 edges, 148265 markings/sec, 55 secs
lola: 11383727 markings, 61812859 edges, 147892 markings/sec, 60 secs
lola: 12110679 markings, 65963913 edges, 145390 markings/sec, 65 secs
lola: 12818033 markings, 70036471 edges, 141471 markings/sec, 70 secs
lola: 13517241 markings, 74076298 edges, 139842 markings/sec, 75 secs
lola: 14204549 markings, 78051128 edges, 137462 markings/sec, 80 secs
lola: 14888014 markings, 82010831 edges, 136693 markings/sec, 85 secs
lola: 15570777 markings, 85981151 edges, 136553 markings/sec, 90 secs
lola: 16245895 markings, 89886217 edges, 135024 markings/sec, 95 secs
lola: 16922400 markings, 93821416 edges, 135301 markings/sec, 100 secs
lola: 17590447 markings, 97712757 edges, 133609 markings/sec, 105 secs
lola: 18260553 markings, 101604191 edges, 134021 markings/sec, 110 secs
lola: 18918661 markings, 105436356 edges, 131622 markings/sec, 115 secs
lola: 19575493 markings, 109261816 edges, 131366 markings/sec, 120 secs
lola: 20216577 markings, 113031243 edges, 128217 markings/sec, 125 secs
lola: 20846778 markings, 116744349 edges, 126040 markings/sec, 130 secs
lola: 21476285 markings, 120460965 edges, 125901 markings/sec, 135 secs
lola: 22123356 markings, 124277286 edges, 129414 markings/sec, 140 secs
lola: 22753646 markings, 127994733 edges, 126058 markings/sec, 145 secs
lola: 23392189 markings, 131737132 edges, 127709 markings/sec, 150 secs
lola: 24005940 markings, 135374353 edges, 122750 markings/sec, 155 secs
lola: 24620897 markings, 139021653 edges, 122991 markings/sec, 160 secs
lola: 25249458 markings, 142729432 edges, 125712 markings/sec, 165 secs
lola: 25881817 markings, 146482045 edges, 126472 markings/sec, 170 secs
lola: 26507679 markings, 150200269 edges, 125172 markings/sec, 175 secs
lola: 27130251 markings, 153886046 edges, 124514 markings/sec, 180 secs
lola: 27758884 markings, 157608447 edges, 125727 markings/sec, 185 secs
lola: 28386010 markings, 161326018 edges, 125425 markings/sec, 190 secs
lola: 28999435 markings, 164975007 edges, 122685 markings/sec, 195 secs
lola: 29609090 markings, 168606243 edges, 121931 markings/sec, 200 secs
lola: 30224256 markings, 172267571 edges, 123033 markings/sec, 205 secs
lola: 30833403 markings, 175896434 edges, 121829 markings/sec, 210 secs
lola: 31432462 markings, 179488128 edges, 119812 markings/sec, 215 secs
lola: 32030754 markings, 183072496 edges, 119658 markings/sec, 220 secs
lola: 32627822 markings, 186652401 edges, 119414 markings/sec, 225 secs
lola: 33222553 markings, 190214854 edges, 118946 markings/sec, 230 secs
lola: 33814793 markings, 193774102 edges, 118448 markings/sec, 235 secs
lola: 34412601 markings, 197347585 edges, 119562 markings/sec, 240 secs
lola: 35000571 markings, 200881020 edges, 117594 markings/sec, 245 secs
lola: 35586843 markings, 204406156 edges, 117254 markings/sec, 250 secs
lola: 36184538 markings, 207982579 edges, 119539 markings/sec, 255 secs
lola: 36769352 markings, 211494770 edges, 116963 markings/sec, 260 secs
lola: 37359532 markings, 215029448 edges, 118036 markings/sec, 265 secs
lola: 37938531 markings, 218515338 edges, 115800 markings/sec, 270 secs
lola: 38512716 markings, 221982929 edges, 114837 markings/sec, 275 secs
lola: 39091100 markings, 225476107 edges, 115677 markings/sec, 280 secs
lola: 39671401 markings, 228960613 edges, 116060 markings/sec, 285 secs
lola: 40237113 markings, 232381404 edges, 113142 markings/sec, 290 secs
lola: 40811646 markings, 235836385 edges, 114907 markings/sec, 295 secs
lola: 41380033 markings, 239263319 edges, 113677 markings/sec, 300 secs
lola: 41947901 markings, 242693195 edges, 113574 markings/sec, 305 secs
lola: 42512741 markings, 246119641 edges, 112968 markings/sec, 310 secs
lola: 43084939 markings, 249558624 edges, 114440 markings/sec, 315 secs
lola: 43659250 markings, 253010951 edges, 114862 markings/sec, 320 secs
lola: 44220918 markings, 256411858 edges, 112334 markings/sec, 325 secs
lola: 44775518 markings, 259777911 edges, 110920 markings/sec, 330 secs
lola: 45336937 markings, 263192168 edges, 112284 markings/sec, 335 secs
lola: 45894299 markings, 266570793 edges, 111472 markings/sec, 340 secs
lola: 46451568 markings, 269958326 edges, 111454 markings/sec, 345 secs
lola: 47001559 markings, 273312678 edges, 109998 markings/sec, 350 secs
lola: 47554788 markings, 276674431 edges, 110646 markings/sec, 355 secs
lola: 48118033 markings, 280091258 edges, 112649 markings/sec, 360 secs
lola: 48671664 markings, 283455574 edges, 110726 markings/sec, 365 secs
lola: 49226940 markings, 286824996 edges, 111055 markings/sec, 370 secs
lola: 49773222 markings, 290159017 edges, 109256 markings/sec, 375 secs
lola: 50331192 markings, 293545373 edges, 111594 markings/sec, 380 secs
lola: 50878316 markings, 296877180 edges, 109425 markings/sec, 385 secs
lola: 51425025 markings, 300216198 edges, 109342 markings/sec, 390 secs
lola: 51965660 markings, 303501661 edges, 108127 markings/sec, 395 secs
lola: 52508267 markings, 306821949 edges, 108521 markings/sec, 400 secs
lola: 53051413 markings, 310134322 edges, 108629 markings/sec, 405 secs
lola: 53585429 markings, 313415401 edges, 106803 markings/sec, 410 secs
lola: 54120143 markings, 316693445 edges, 106943 markings/sec, 415 secs
lola: 54664045 markings, 320010818 edges, 108780 markings/sec, 420 secs
lola: 55204374 markings, 323305563 edges, 108066 markings/sec, 425 secs
lola: 55732936 markings, 326557437 edges, 105712 markings/sec, 430 secs
lola: 56277443 markings, 329879916 edges, 108901 markings/sec, 435 secs
lola: 56809690 markings, 333141959 edges, 106449 markings/sec, 440 secs
lola: 57336120 markings, 336371755 edges, 105286 markings/sec, 445 secs
lola: 57870392 markings, 339627823 edges, 106854 markings/sec, 450 secs
lola: 58402195 markings, 342884016 edges, 106361 markings/sec, 455 secs
lola: 58941049 markings, 346178147 edges, 107771 markings/sec, 460 secs
lola: 59472766 markings, 349437751 edges, 106343 markings/sec, 465 secs
lola: 60002373 markings, 352689557 edges, 105921 markings/sec, 470 secs
lola: 60535298 markings, 355953692 edges, 106585 markings/sec, 475 secs
lola: 61060135 markings, 359181048 edges, 104967 markings/sec, 480 secs
lola: 61585002 markings, 362411388 edges, 104973 markings/sec, 485 secs
lola: 62112417 markings, 365653047 edges, 105483 markings/sec, 490 secs
lola: 62635027 markings, 368863131 edges, 104522 markings/sec, 495 secs
lola: 63159060 markings, 372081388 edges, 104807 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown no unknown unknown unknown no no unknown no no unknown no unknown no
lola: memory consumption: 8980432 KB
lola: time consumption: 517 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E ((E (F ((1 <= p6))) U A (G (((1 <= p24) OR ((1 <= p11) AND (1 <= p17)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(EF((1 <= p6)) U AG(((1 <= p24) OR ((1 <= p11) AND (1 <= p17)))))
lola: processed formula length: 67
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 983032 markings, 6497955 edges, 196606 markings/sec, 0 secs
lola: 1883268 markings, 12751939 edges, 180047 markings/sec, 5 secs
lola: 2721169 markings, 18703154 edges, 167580 markings/sec, 10 secs
lola: 3521405 markings, 24417801 edges, 160047 markings/sec, 15 secs
lola: 4285989 markings, 29959113 edges, 152917 markings/sec, 20 secs
lola: 5019613 markings, 35338584 edges, 146725 markings/sec, 25 secs
lola: 5741621 markings, 40635207 edges, 144402 markings/sec, 30 secs
lola: 6442054 markings, 45788902 edges, 140087 markings/sec, 35 secs
lola: 7129086 markings, 50861519 edges, 137406 markings/sec, 40 secs
lola: 7804964 markings, 55882621 edges, 135176 markings/sec, 45 secs
lola: 8475526 markings, 60866726 edges, 134112 markings/sec, 50 secs
lola: 9135585 markings, 65755863 edges, 132012 markings/sec, 55 secs
lola: 9775549 markings, 70534823 edges, 127993 markings/sec, 60 secs
lola: 10423506 markings, 75366458 edges, 129591 markings/sec, 65 secs
lola: 11054953 markings, 80131061 edges, 126289 markings/sec, 70 secs
lola: 11687993 markings, 84831066 edges, 126608 markings/sec, 75 secs
lola: 12306346 markings, 89487946 edges, 123671 markings/sec, 80 secs
lola: 12912000 markings, 94072961 edges, 121131 markings/sec, 85 secs
lola: 13516339 markings, 98665875 edges, 120868 markings/sec, 90 secs
lola: 14114009 markings, 103176338 edges, 119534 markings/sec, 95 secs
lola: 14709982 markings, 107680888 edges, 119195 markings/sec, 100 secs
lola: 15299231 markings, 112153519 edges, 117850 markings/sec, 105 secs
lola: 15886622 markings, 116618979 edges, 117478 markings/sec, 110 secs
lola: 16473217 markings, 121046365 edges, 117319 markings/sec, 115 secs
lola: 17063674 markings, 125530027 edges, 118091 markings/sec, 120 secs
lola: 17638887 markings, 129911535 edges, 115043 markings/sec, 125 secs
lola: 18222243 markings, 134336017 edges, 116671 markings/sec, 130 secs
lola: 18795884 markings, 138664809 edges, 114728 markings/sec, 135 secs
lola: 19370124 markings, 143018392 edges, 114848 markings/sec, 140 secs
lola: 19933906 markings, 147307799 edges, 112756 markings/sec, 145 secs
lola: 20497243 markings, 151594005 edges, 112667 markings/sec, 150 secs
lola: 21050306 markings, 155830634 edges, 110613 markings/sec, 155 secs
lola: 21601440 markings, 160075686 edges, 110227 markings/sec, 160 secs
lola: 22162765 markings, 164385926 edges, 112265 markings/sec, 165 secs
lola: 22717011 markings, 168627110 edges, 110849 markings/sec, 170 secs
lola: 23276169 markings, 172893159 edges, 111832 markings/sec, 175 secs
lola: 23820818 markings, 177062220 edges, 108930 markings/sec, 180 secs
lola: 24359877 markings, 181204338 edges, 107812 markings/sec, 185 secs
lola: 24905855 markings, 185372596 edges, 109196 markings/sec, 190 secs
lola: 25448558 markings, 189521511 edges, 108541 markings/sec, 195 secs
lola: 25986984 markings, 193667891 edges, 107685 markings/sec, 200 secs
lola: 26526110 markings, 197809746 edges, 107825 markings/sec, 205 secs
lola: 27061884 markings, 201913061 edges, 107155 markings/sec, 210 secs
lola: 27604827 markings, 206050658 edges, 108589 markings/sec, 215 secs
lola: 28142965 markings, 210209210 edges, 107628 markings/sec, 220 secs
lola: 28673045 markings, 214277838 edges, 106016 markings/sec, 225 secs
lola: 29200025 markings, 218331868 edges, 105396 markings/sec, 230 secs
lola: 29723650 markings, 222360162 edges, 104725 markings/sec, 235 secs
lola: 30255388 markings, 226439078 edges, 106348 markings/sec, 240 secs
lola: 30778318 markings, 230471628 edges, 104586 markings/sec, 245 secs
lola: 31298255 markings, 234494179 edges, 103987 markings/sec, 250 secs
lola: 31819302 markings, 238521614 edges, 104209 markings/sec, 255 secs
lola: 32331749 markings, 242473768 edges, 102489 markings/sec, 260 secs
lola: 32847508 markings, 246470075 edges, 103152 markings/sec, 265 secs
lola: 33368556 markings, 250487105 edges, 104210 markings/sec, 270 secs
lola: 33877249 markings, 254430299 edges, 101739 markings/sec, 275 secs
lola: 34394970 markings, 258422704 edges, 103544 markings/sec, 280 secs
lola: 34908215 markings, 262383678 edges, 102649 markings/sec, 285 secs
lola: 35417251 markings, 266321932 edges, 101807 markings/sec, 290 secs
lola: 35926873 markings, 270268471 edges, 101924 markings/sec, 295 secs
lola: 36443205 markings, 274245803 edges, 103266 markings/sec, 300 secs
lola: 36951178 markings, 278185750 edges, 101595 markings/sec, 305 secs
lola: 37459783 markings, 282105694 edges, 101721 markings/sec, 310 secs
lola: 37964721 markings, 286017551 edges, 100988 markings/sec, 315 secs
lola: 38462864 markings, 289896532 edges, 99629 markings/sec, 320 secs
lola: 38964751 markings, 293801512 edges, 100377 markings/sec, 325 secs
lola: 39470655 markings, 297715779 edges, 101181 markings/sec, 330 secs
lola: 39966564 markings, 301558925 edges, 99182 markings/sec, 335 secs
lola: 40460406 markings, 305378272 edges, 98768 markings/sec, 340 secs
lola: 40967218 markings, 309283711 edges, 101362 markings/sec, 345 secs
lola: 41459692 markings, 313097507 edges, 98495 markings/sec, 350 secs
lola: 41955210 markings, 316939334 edges, 99104 markings/sec, 355 secs
lola: 42448597 markings, 320783387 edges, 98677 markings/sec, 360 secs
lola: 42948336 markings, 324633619 edges, 99948 markings/sec, 365 secs
lola: 43449556 markings, 328495425 edges, 100244 markings/sec, 370 secs
lola: 43945434 markings, 332350442 edges, 99176 markings/sec, 375 secs
lola: 44433507 markings, 336137725 edges, 97615 markings/sec, 380 secs
lola: 44917776 markings, 339916642 edges, 96854 markings/sec, 385 secs
lola: 45408408 markings, 343734111 edges, 98126 markings/sec, 390 secs
lola: 45896801 markings, 347529180 edges, 97679 markings/sec, 395 secs
lola: 46382155 markings, 351314434 edges, 97071 markings/sec, 400 secs
lola: 46867956 markings, 355096635 edges, 97160 markings/sec, 405 secs
lola: 47350872 markings, 358866759 edges, 96583 markings/sec, 410 secs
lola: 47841052 markings, 362666703 edges, 98036 markings/sec, 415 secs
lola: 48331553 markings, 366489945 edges, 98100 markings/sec, 420 secs
lola: 48815662 markings, 370260958 edges, 96822 markings/sec, 425 secs
lola: 49297683 markings, 374023169 edges, 96404 markings/sec, 430 secs
lola: 49779367 markings, 377779545 edges, 96337 markings/sec, 435 secs
lola: 50268112 markings, 381594107 edges, 97749 markings/sec, 440 secs
lola: 50748253 markings, 385324471 edges, 96028 markings/sec, 445 secs
lola: 51229574 markings, 389096785 edges, 96264 markings/sec, 450 secs
lola: 51708506 markings, 392831020 edges, 95786 markings/sec, 455 secs
lola: 52184948 markings, 396552195 edges, 95288 markings/sec, 460 secs
lola: 52661405 markings, 400280621 edges, 95291 markings/sec, 465 secs
lola: 53135071 markings, 403993101 edges, 94733 markings/sec, 470 secs
lola: 53606180 markings, 407685477 edges, 94222 markings/sec, 475 secs
lola: 54077665 markings, 411373230 edges, 94297 markings/sec, 480 secs
lola: 54554793 markings, 415080128 edges, 95426 markings/sec, 485 secs
lola: 55029289 markings, 418782343 edges, 94899 markings/sec, 490 secs
lola: 55502722 markings, 422493386 edges, 94687 markings/sec, 495 secs
lola: 55981801 markings, 426240326 edges, 95816 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown no unknown unknown unknown no no unknown no no unknown no unknown no
lola: memory consumption: 7943860 KB
lola: time consumption: 1025 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((A (G (((1 <= p2)))) OR (((p24 <= 0) AND (p20 <= 0) AND ((p22 <= 0) OR (p18 <= 0))) OR ((1 <= p22) AND ((p5 <= 0) OR (p15 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:811
lola: processed formula: AF((AG(((1 <= p2))) OR (((p24 <= 0) AND (p20 <= 0) AND ((p22 <= 0) OR (p18 <= 0))) OR ((1 <= p22) AND ((p5 <= 0) OR (p15 <= 0))))))
lola: processed formula length: 133
lola: 28 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1805632 markings, 5894155 edges, 361126 markings/sec, 0 secs
lola: 3507524 markings, 11590493 edges, 340378 markings/sec, 5 secs
lola: 5239250 markings, 17432123 edges, 346345 markings/sec, 10 secs
lola: 6925368 markings, 23157404 edges, 337224 markings/sec, 15 secs
lola: 8610170 markings, 28857329 edges, 336960 markings/sec, 20 secs
lola: 10252225 markings, 34450215 edges, 328411 markings/sec, 25 secs
lola: 11860793 markings, 39934262 edges, 321714 markings/sec, 30 secs
lola: 13538238 markings, 45668977 edges, 335489 markings/sec, 35 secs
lola: 15152074 markings, 51253053 edges, 322767 markings/sec, 40 secs
lola: 16816781 markings, 56912888 edges, 332941 markings/sec, 45 secs
lola: 18451106 markings, 62493267 edges, 326865 markings/sec, 50 secs
lola: 19987562 markings, 67822922 edges, 307291 markings/sec, 55 secs
lola: 21585568 markings, 73255993 edges, 319601 markings/sec, 60 secs
lola: 23174860 markings, 78779234 edges, 317858 markings/sec, 65 secs
lola: 24835814 markings, 84434310 edges, 332191 markings/sec, 70 secs
lola: 26391679 markings, 89847509 edges, 311173 markings/sec, 75 secs
lola: 27961463 markings, 95265032 edges, 313957 markings/sec, 80 secs
lola: 29599739 markings, 101080526 edges, 327655 markings/sec, 85 secs
lola: 31045454 markings, 106391363 edges, 289143 markings/sec, 90 secs
lola: 32531534 markings, 111890161 edges, 297216 markings/sec, 95 secs
lola: 33973328 markings, 117231314 edges, 288359 markings/sec, 100 secs
lola: 35417305 markings, 122608770 edges, 288795 markings/sec, 105 secs
lola: 36825509 markings, 127862958 edges, 281641 markings/sec, 110 secs
lola: 38221502 markings, 133077691 edges, 279199 markings/sec, 115 secs
lola: 39565700 markings, 138138139 edges, 268840 markings/sec, 120 secs
lola: 40980269 markings, 143460036 edges, 282914 markings/sec, 125 secs
lola: 42427728 markings, 148856266 edges, 289492 markings/sec, 130 secs
lola: 43819535 markings, 154096088 edges, 278361 markings/sec, 135 secs
lola: 45211436 markings, 159341504 edges, 278380 markings/sec, 140 secs
lola: 46618527 markings, 164598989 edges, 281418 markings/sec, 145 secs
lola: 47963414 markings, 169706012 edges, 268977 markings/sec, 150 secs
lola: 49330592 markings, 174824358 edges, 273436 markings/sec, 155 secs
lola: 50740709 markings, 180168604 edges, 282023 markings/sec, 160 secs
lola: 52103784 markings, 185396431 edges, 272615 markings/sec, 165 secs
lola: 53736161 markings, 191053628 edges, 326475 markings/sec, 170 secs
lola: 55278881 markings, 196450932 edges, 308544 markings/sec, 175 secs
lola: 56932214 markings, 202139620 edges, 330667 markings/sec, 180 secs
lola: 58402182 markings, 207507691 edges, 293994 markings/sec, 185 secs
lola: 59824736 markings, 212747637 edges, 284511 markings/sec, 190 secs
lola: 61228523 markings, 217939434 edges, 280757 markings/sec, 195 secs
lola: 62581628 markings, 222982289 edges, 270621 markings/sec, 200 secs
lola: 63934601 markings, 228033716 edges, 270595 markings/sec, 205 secs
lola: 65266373 markings, 233004252 edges, 266354 markings/sec, 210 secs
lola: 66595753 markings, 237959884 edges, 265876 markings/sec, 215 secs
lola: 67902317 markings, 242842199 edges, 261313 markings/sec, 220 secs
lola: 69226466 markings, 247866446 edges, 264830 markings/sec, 225 secs
lola: 70599058 markings, 252976734 edges, 274518 markings/sec, 230 secs
lola: 71929972 markings, 257978304 edges, 266183 markings/sec, 235 secs
lola: 73241093 markings, 262923406 edges, 262224 markings/sec, 240 secs
lola: 74580278 markings, 267930897 edges, 267837 markings/sec, 245 secs
lola: 75867995 markings, 272807608 edges, 257543 markings/sec, 250 secs
lola: 77132503 markings, 277621433 edges, 252902 markings/sec, 255 secs
lola: 78498675 markings, 282709421 edges, 273234 markings/sec, 260 secs
lola: 79807699 markings, 287718307 edges, 261805 markings/sec, 265 secs
lola: 81306815 markings, 293065301 edges, 299823 markings/sec, 270 secs
lola: 82817159 markings, 298332196 edges, 302069 markings/sec, 275 secs
lola: 84408003 markings, 303763722 edges, 318169 markings/sec, 280 secs
lola: 85971675 markings, 309415712 edges, 312734 markings/sec, 285 secs
lola: 87438863 markings, 314816401 edges, 293438 markings/sec, 290 secs
lola: 88887875 markings, 320176115 edges, 289802 markings/sec, 295 secs
lola: 90300560 markings, 325398262 edges, 282537 markings/sec, 300 secs
lola: 91699881 markings, 330615613 edges, 279864 markings/sec, 305 secs
lola: 93071715 markings, 335735770 edges, 274367 markings/sec, 310 secs
lola: 94436156 markings, 340829572 edges, 272888 markings/sec, 315 secs
lola: 95750317 markings, 345779531 edges, 262832 markings/sec, 320 secs
lola: 97124133 markings, 350943299 edges, 274763 markings/sec, 325 secs
lola: 98532237 markings, 356188836 edges, 281621 markings/sec, 330 secs
lola: 99877936 markings, 361291074 edges, 269140 markings/sec, 335 secs
lola: 101243589 markings, 366397090 edges, 273131 markings/sec, 340 secs
lola: 102605342 markings, 371504813 edges, 272351 markings/sec, 345 secs
lola: 103931981 markings, 376516728 edges, 265328 markings/sec, 350 secs
lola: 105226457 markings, 381448143 edges, 258895 markings/sec, 355 secs
lola: 106632671 markings, 386682522 edges, 281243 markings/sec, 360 secs
lola: 107970356 markings, 391810666 edges, 267537 markings/sec, 365 secs
lola: 109497296 markings, 397225078 edges, 305388 markings/sec, 370 secs
lola: 110998073 markings, 402457164 edges, 300155 markings/sec, 375 secs
lola: 112579878 markings, 407861105 edges, 316361 markings/sec, 380 secs
lola: 114085349 markings, 413314984 edges, 301094 markings/sec, 385 secs
lola: 115522103 markings, 418599662 edges, 287351 markings/sec, 390 secs
lola: 116879237 markings, 423612437 edges, 271427 markings/sec, 395 secs
lola: 118234823 markings, 428643024 edges, 271117 markings/sec, 400 secs
lola: 119585691 markings, 433656396 edges, 270174 markings/sec, 405 secs
lola: 120910736 markings, 438599740 edges, 265009 markings/sec, 410 secs
lola: 122233659 markings, 443547235 edges, 264585 markings/sec, 415 secs
lola: 123516848 markings, 448398754 edges, 256638 markings/sec, 420 secs
lola: 124864072 markings, 453420714 edges, 269445 markings/sec, 425 secs
lola: 126241022 markings, 458559376 edges, 275390 markings/sec, 430 secs
lola: 127555265 markings, 463561277 edges, 262849 markings/sec, 435 secs
lola: 128906930 markings, 468582791 edges, 270333 markings/sec, 440 secs
lola: 130113467 markings, 473189544 edges, 241307 markings/sec, 445 secs
lola: 131437334 markings, 478100190 edges, 264773 markings/sec, 450 secs
lola: 132688841 markings, 482876904 edges, 250301 markings/sec, 455 secs
lola: 134022416 markings, 487833594 edges, 266715 markings/sec, 460 secs
lola: 135370301 markings, 492966606 edges, 269577 markings/sec, 465 secs
lola: 136734923 markings, 498122508 edges, 272924 markings/sec, 470 secs
lola: 138290336 markings, 503486531 edges, 311083 markings/sec, 475 secs
lola: 139792835 markings, 508740706 edges, 300500 markings/sec, 480 secs
lola: 141414752 markings, 514343231 edges, 324383 markings/sec, 485 secs
lola: 142916264 markings, 519834249 edges, 300302 markings/sec, 490 secs
lola: 144369617 markings, 525215446 edges, 290671 markings/sec, 495 secs
lola: 145805144 markings, 530520420 edges, 287105 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no unknown no unknown unknown unknown no no unknown no no unknown no unknown no
lola: memory consumption: 10919932 KB
lola: time consumption: 1534 seconds
lola: print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 12 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((E (F (((p5 <= 0) OR (p15 <= 0)))) AND (E (G (((1 <= p5) AND (1 <= p15)))) AND (((p0 <= 0) OR (p13 <= 0)) AND ((p1 <= 0) OR (p19 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:808
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((EF(((p5 <= 0) OR (p15 <= 0))) AND (EG(((1 <= p5) AND (1 <= p15))) AND (((p0 <= 0) OR (p13 <= 0)) AND ((p1 <= 0) OR (p19 <= 0))))))
lola: processed formula length: 137
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 1417 markings, 2071 edges
lola: ========================================
lola: subprocess 13 will run for 678 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F ((((1 <= p22) AND (1 <= p7) AND (1 <= p23) AND ((p2 <= 0)) AND ((p3 <= 0) OR ((1 <= p9) AND (1 <= p5) AND (1 <= p15)))) AND (A (G ((1 <= p16))) OR ((1 <= p9) AND (1 <= p12))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: processed formula: EF((((1 <= p22) AND (1 <= p7) AND (1 <= p23) AND ((p2 <= 0)) AND ((p3 <= 0) OR ((1 <= p9) AND (1 <= p5) AND (1 <= p15)))) AND (AG((1 <= p16)) OR ((1 <= p9) AND (1 <= p12)))))
lola: processed formula length: 175
lola: 28 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 2 significant temporal operators and needs 9 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: SUBRESULT
lola: result: yes
lola: produced by: CTL model checker
lola: The net satisfies the given formula.
lola: 23044 markings, 53398 edges
lola: ========================================
lola: subprocess 14 will run for 1018 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (E (F (((1 <= p18) AND E (G ((1 <= p10)))))) OR ((1 <= p1) AND (1 <= p19)))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 14 will run for 1018 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p1) AND (1 <= p19))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p1) AND (1 <= p19))
lola: processed formula length: 26
lola: 26 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 15 will run for 2036 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: E (F (((1 <= p18) AND E (G ((1 <= p10))))))
lola: ========================================
lola: SUBTASK
lola: checking an existential CTL formula with single witness path (use LTL...)
lola: rewrite Frontend/Parser/formula_rewrite.k:658
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:661
lola: rewrite Frontend/Parser/formula_rewrite.k:666
lola: rewrite Frontend/Parser/formula_rewrite.k:668
lola: rewrite Frontend/Parser/formula_rewrite.k:659
lola: rewrite Frontend/Parser/formula_rewrite.k:662
lola: rewrite Frontend/Parser/formula_rewrite.k:668
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: rewrite Frontend/Parser/formula_rewrite.k:679
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((p18 <= 0) OR F ((p10 <= 0))))
lola: processed formula length: 34
lola: 36 rewrites
lola: closed formula file CTLFireability.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 insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The existential single path CTL formula holds.
lola: 671 markings, 671 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: subprocess 15 will run for 2036 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p9) OR (A (F ((1 <= p18))) OR ((1 <= p18) OR (((1 <= p11) AND (1 <= p17)) OR (((1 <= p5) AND (1 <= p15)) AND E (G (((p4 <= 0) OR (p21 <= 0)))))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 15 will run for 2036 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p5) AND (1 <= p15))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p5) AND (1 <= p15))
lola: processed formula length: 26
lola: 26 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 17 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (1 <= p9)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (1 <= p9)
lola: processed formula length: 9
lola: 26 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 18 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p11) AND (1 <= p17))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p11) AND (1 <= p17))
lola: processed formula length: 27
lola: 26 rewrites
lola: closed formula file CTLFireability.xml
lola: processed formula with 2 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 19 will run for 1 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((1 <= p18)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:584
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (p18 <= 0)
lola: processed formula length: 10
lola: 29 rewrites
lola: closed formula file CTLFireability.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: Planning: workflow for reachability check: stateequation (--findpath=off)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:700
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (1 <= p18)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to CTLFireability-19-0.sara
lola: state equation: calling and running sara
sara: try reading problem file CTLFireability-19-0.sara.
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 3325 markings, 4065 edges
lola: ========================================
lola: SUBRESULT
lola: result: yes
lola: The Boolean predicate is true.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (G ((E (F (((p5 <= 0) OR (p15 <= 0)))) OR A (G ((p6 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: processed formula: AG((EF(((p5 <= 0) OR (p15 <= 0))) OR AG((p6 <= 0))))
lola: processed formula length: 53
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 1272021 markings, 6147513 edges, 254404 markings/sec, 0 secs
lola: 2365852 markings, 11815618 edges, 218766 markings/sec, 5 secs
lola: 3376651 markings, 17180455 edges, 202160 markings/sec, 10 secs
lola: 4315115 markings, 22226454 edges, 187693 markings/sec, 15 secs
lola: 5194471 markings, 27049677 edges, 175871 markings/sec, 20 secs
lola: 6058248 markings, 31825433 edges, 172755 markings/sec, 25 secs
lola: 6876390 markings, 36359641 edges, 163628 markings/sec, 30 secs
lola: 7684309 markings, 40875900 edges, 161584 markings/sec, 35 secs
lola: 8482909 markings, 45356578 edges, 159720 markings/sec, 40 secs
lola: 9248129 markings, 49672141 edges, 153044 markings/sec, 45 secs
lola: 10001456 markings, 53957170 edges, 150665 markings/sec, 50 secs
lola: 10742140 markings, 58169216 edges, 148137 markings/sec, 55 secs
lola: 11458485 markings, 62235447 edges, 143269 markings/sec, 60 secs
lola: 12177941 markings, 66349372 edges, 143891 markings/sec, 65 secs
lola: 12881060 markings, 70399504 edges, 140624 markings/sec, 70 secs
lola: 13571270 markings, 74385525 edges, 138042 markings/sec, 75 secs
lola: 14249347 markings, 78313857 edges, 135615 markings/sec, 80 secs
lola: 14926840 markings, 82233598 edges, 135499 markings/sec, 85 secs
lola: 15602164 markings, 86161851 edges, 135065 markings/sec, 90 secs
lola: 16268221 markings, 90018102 edges, 133211 markings/sec, 95 secs
lola: 16936406 markings, 93904289 edges, 133637 markings/sec, 100 secs
lola: 17592186 markings, 97722839 edges, 131156 markings/sec, 105 secs
lola: 18251280 markings, 101549172 edges, 131819 markings/sec, 110 secs
lola: 18894331 markings, 105297363 edges, 128610 markings/sec, 115 secs
lola: 19543495 markings, 109074816 edges, 129833 markings/sec, 120 secs
lola: 20175038 markings, 112786770 edges, 126309 markings/sec, 125 secs
lola: 20796435 markings, 116445788 edges, 124279 markings/sec, 130 secs
lola: 21416264 markings, 120104866 edges, 123966 markings/sec, 135 secs
lola: 22051159 markings, 123852382 edges, 126979 markings/sec, 140 secs
lola: 22675509 markings, 127525855 edges, 124870 markings/sec, 145 secs
lola: 23304328 markings, 131215939 edges, 125764 markings/sec, 150 secs
lola: 23907533 markings, 134793414 edges, 120641 markings/sec, 155 secs
lola: 24512016 markings, 138376794 edges, 120897 markings/sec, 160 secs
lola: 25124498 markings, 141985157 edges, 122496 markings/sec, 165 secs
lola: 25728369 markings, 145575821 edges, 120774 markings/sec, 170 secs
lola: 26330274 markings, 149144995 edges, 120381 markings/sec, 175 secs
lola: 26926498 markings, 152694107 edges, 119245 markings/sec, 180 secs
lola: 27538740 markings, 156291750 edges, 122448 markings/sec, 185 secs
lola: 28143823 markings, 159886059 edges, 121017 markings/sec, 190 secs
lola: 28735769 markings, 163405277 edges, 118389 markings/sec, 195 secs
lola: 29326374 markings, 166916023 edges, 118121 markings/sec, 200 secs
lola: 29901230 markings, 170361180 edges, 114971 markings/sec, 205 secs
lola: 30499085 markings, 173908627 edges, 119571 markings/sec, 210 secs
lola: 31079700 markings, 177377830 edges, 116123 markings/sec, 215 secs
lola: 31663585 markings, 180874836 edges, 116777 markings/sec, 220 secs
lola: 32233296 markings, 184293624 edges, 113942 markings/sec, 225 secs
lola: 32807325 markings, 187740603 edges, 114806 markings/sec, 230 secs
lola: 33388267 markings, 191205428 edges, 116188 markings/sec, 235 secs
lola: 33951376 markings, 194599631 edges, 112622 markings/sec, 240 secs
lola: 34525742 markings, 198036992 edges, 114873 markings/sec, 245 secs
lola: 35095083 markings, 201451021 edges, 113868 markings/sec, 250 secs
lola: 35662032 markings, 204858346 edges, 113390 markings/sec, 255 secs
lola: 36242732 markings, 208331858 edges, 116140 markings/sec, 260 secs
lola: 36809559 markings, 211731253 edges, 113365 markings/sec, 265 secs
lola: 37378150 markings, 215139336 edges, 113718 markings/sec, 270 secs
lola: 37937234 markings, 218507660 edges, 111817 markings/sec, 275 secs
lola: 38492634 markings, 221860231 edges, 111080 markings/sec, 280 secs
lola: 39049202 markings, 225225241 edges, 111314 markings/sec, 285 secs
lola: 39613951 markings, 228613440 edges, 112950 markings/sec, 290 secs
lola: 40162045 markings, 231922091 edges, 109619 markings/sec, 295 secs
lola: 40708588 markings, 235231248 edges, 109309 markings/sec, 300 secs
lola: 41267186 markings, 238585220 edges, 111720 markings/sec, 305 secs
lola: 41816610 markings, 241897203 edges, 109885 markings/sec, 310 secs
lola: 42365150 markings, 245225714 edges, 109708 markings/sec, 315 secs
lola: 42914736 markings, 248539959 edges, 109917 markings/sec, 320 secs
lola: 43473075 markings, 251888255 edges, 111668 markings/sec, 325 secs
lola: 44022644 markings, 255206736 edges, 109914 markings/sec, 330 secs
lola: 44559737 markings, 258472274 edges, 107419 markings/sec, 335 secs
lola: 45100630 markings, 261755065 edges, 108179 markings/sec, 340 secs
lola: 45642345 markings, 265049521 edges, 108343 markings/sec, 345 secs
lola: 46179666 markings, 268313366 edges, 107464 markings/sec, 350 secs
lola: 46721968 markings, 271606289 edges, 108460 markings/sec, 355 secs
lola: 47256005 markings, 274856183 edges, 106807 markings/sec, 360 secs
lola: 47795011 markings, 278131454 edges, 107801 markings/sec, 365 secs
lola: 48340650 markings, 281440284 edges, 109128 markings/sec, 370 secs
lola: 48879708 markings, 284712391 edges, 107812 markings/sec, 375 secs
lola: 49412167 markings, 287959210 edges, 106492 markings/sec, 380 secs
lola: 49947038 markings, 291221920 edges, 106974 markings/sec, 385 secs
lola: 50483603 markings, 294473912 edges, 107313 markings/sec, 390 secs
lola: 51015896 markings, 297718802 edges, 106459 markings/sec, 395 secs
lola: 51547205 markings, 300958907 edges, 106262 markings/sec, 400 secs
lola: 52071570 markings, 304144950 edges, 104873 markings/sec, 405 secs
lola: 52599733 markings, 307380351 edges, 105633 markings/sec, 410 secs
lola: 53125463 markings, 310590434 edges, 105146 markings/sec, 415 secs
lola: 53647775 markings, 313789148 edges, 104462 markings/sec, 420 secs
lola: 54163839 markings, 316958956 edges, 103213 markings/sec, 425 secs
lola: 54691171 markings, 320179327 edges, 105466 markings/sec, 430 secs
lola: 55219624 markings, 323395924 edges, 105691 markings/sec, 435 secs
lola: 55731594 markings, 326548931 edges, 102394 markings/sec, 440 secs
lola: 56260213 markings, 329773745 edges, 105724 markings/sec, 445 secs
lola: 56778141 markings, 332949010 edges, 103586 markings/sec, 450 secs
lola: 57291066 markings, 336097733 edges, 102585 markings/sec, 455 secs
lola: 57808282 markings, 339254411 edges, 103443 markings/sec, 460 secs
lola: 58311965 markings, 342326763 edges, 100737 markings/sec, 465 secs
lola: 58829032 markings, 345500364 edges, 103413 markings/sec, 470 secs
lola: 59355639 markings, 348713689 edges, 105321 markings/sec, 475 secs
lola: 59870101 markings, 351870768 edges, 102892 markings/sec, 480 secs
lola: 60380881 markings, 355011384 edges, 102156 markings/sec, 485 secs
lola: 60893018 markings, 358155629 edges, 102427 markings/sec, 490 secs
lola: 61411509 markings, 361331919 edges, 103698 markings/sec, 495 secs
lola: 61927280 markings, 364514426 edges, 103154 markings/sec, 500 secs
lola: 62443299 markings, 367678679 edges, 103204 markings/sec, 505 secs
lola: 62952777 markings, 370809152 edges, 101896 markings/sec, 510 secs
lola: 63455871 markings, 373904902 edges, 100619 markings/sec, 515 secs
lola: 63969110 markings, 377053156 edges, 102648 markings/sec, 520 secs
lola: 64473965 markings, 380157694 edges, 100971 markings/sec, 525 secs
lola: 64974749 markings, 383253875 edges, 100157 markings/sec, 530 secs
lola: 65486179 markings, 386396233 edges, 102286 markings/sec, 535 secs
lola: 66008940 markings, 389587627 edges, 104552 markings/sec, 540 secs
lola: 66518063 markings, 392723458 edges, 101825 markings/sec, 545 secs
lola: 67031288 markings, 395872790 edges, 102645 markings/sec, 550 secs
lola: 67534831 markings, 398982603 edges, 100709 markings/sec, 555 secs
lola: 68050966 markings, 402153415 edges, 103227 markings/sec, 560 secs
lola: 68553777 markings, 405256756 edges, 100562 markings/sec, 565 secs
lola: 69067830 markings, 408411522 edges, 102811 markings/sec, 570 secs
lola: 69562596 markings, 411476025 edges, 98953 markings/sec, 575 secs
lola: 70073508 markings, 414614606 edges, 102182 markings/sec, 580 secs
lola: 70572897 markings, 417694603 edges, 99878 markings/sec, 585 secs
lola: 71079645 markings, 420822884 edges, 101350 markings/sec, 590 secs
lola: 71582162 markings, 423910313 edges, 100503 markings/sec, 595 secs
lola: 72080666 markings, 426985107 edges, 99701 markings/sec, 600 secs
lola: 72599426 markings, 430141211 edges, 103752 markings/sec, 605 secs
lola: 73098145 markings, 433226554 edges, 99744 markings/sec, 610 secs
lola: 73594396 markings, 436290997 edges, 99250 markings/sec, 615 secs
lola: 74088672 markings, 439352418 edges, 98855 markings/sec, 620 secs
lola: 74587275 markings, 442431666 edges, 99721 markings/sec, 625 secs
lola: 75091106 markings, 445536807 edges, 100766 markings/sec, 630 secs
lola: 75584408 markings, 448585125 edges, 98660 markings/sec, 635 secs
lola: 76086319 markings, 451686286 edges, 100382 markings/sec, 640 secs
lola: 76586426 markings, 454780088 edges, 100021 markings/sec, 645 secs
lola: 77074657 markings, 457808004 edges, 97646 markings/sec, 650 secs
lola: 77561135 markings, 460834713 edges, 97296 markings/sec, 655 secs
lola: 78062241 markings, 463917704 edges, 100221 markings/sec, 660 secs
lola: 78555034 markings, 466968177 edges, 98559 markings/sec, 665 secs
lola: 79037677 markings, 469963272 edges, 96529 markings/sec, 670 secs
lola: 79522984 markings, 472975743 edges, 97061 markings/sec, 675 secs
lola: 80012265 markings, 476001916 edges, 97856 markings/sec, 680 secs
lola: 80500785 markings, 479032263 edges, 97704 markings/sec, 685 secs
lola: 80991271 markings, 482084817 edges, 98097 markings/sec, 690 secs
lola: 81476869 markings, 485102628 edges, 97120 markings/sec, 695 secs
lola: 81969518 markings, 488151863 edges, 98530 markings/sec, 700 secs
lola: 82456609 markings, 491176937 edges, 97418 markings/sec, 705 secs
lola: 82939404 markings, 494180423 edges, 96559 markings/sec, 710 secs
lola: 83425176 markings, 497206819 edges, 97154 markings/sec, 715 secs
lola: 83916385 markings, 500244388 edges, 98242 markings/sec, 720 secs
lola: 84404257 markings, 503258842 edges, 97574 markings/sec, 725 secs
lola: 84892506 markings, 506287275 edges, 97650 markings/sec, 730 secs
lola: 85382786 markings, 509315234 edges, 98056 markings/sec, 735 secs
lola: 85860407 markings, 512278597 edges, 95524 markings/sec, 740 secs
lola: 86343717 markings, 515277433 edges, 96662 markings/sec, 745 secs
lola: 86829925 markings, 518310475 edges, 97242 markings/sec, 750 secs
lola: 87310508 markings, 521297633 edges, 96117 markings/sec, 755 secs
lola: 87797121 markings, 524317276 edges, 97323 markings/sec, 760 secs
lola: 88273581 markings, 527277490 edges, 95292 markings/sec, 765 secs
lola: 88755176 markings, 530279510 edges, 96319 markings/sec, 770 secs
lola: 89244239 markings, 533307228 edges, 97813 markings/sec, 775 secs
lola: 89716860 markings, 536259425 edges, 94524 markings/sec, 780 secs
lola: 90200010 markings, 539263477 edges, 96630 markings/sec, 785 secs
lola: 90683634 markings, 542259202 edges, 96725 markings/sec, 790 secs
lola: 91159170 markings, 545214520 edges, 95107 markings/sec, 795 secs
lola: 91632390 markings, 548166061 edges, 94644 markings/sec, 800 secs
lola: 92103774 markings, 551116079 edges, 94277 markings/sec, 805 secs
lola: 92584183 markings, 554092183 edges, 96082 markings/sec, 810 secs
lola: 93052035 markings, 557016222 edges, 93570 markings/sec, 815 secs
lola: 93518016 markings, 559926326 edges, 93196 markings/sec, 820 secs
lola: 93986250 markings, 562858165 edges, 93647 markings/sec, 825 secs
lola: 94466916 markings, 565837596 edges, 96133 markings/sec, 830 secs
lola: 94940578 markings, 568793237 edges, 94732 markings/sec, 835 secs
lola: 95421234 markings, 571789751 edges, 96131 markings/sec, 840 secs
lola: 95893861 markings, 574741986 edges, 94525 markings/sec, 845 secs
lola: 96375564 markings, 577733581 edges, 96341 markings/sec, 850 secs
lola: 96842154 markings, 580663027 edges, 93318 markings/sec, 855 secs
lola: 97321642 markings, 583638696 edges, 95898 markings/sec, 860 secs
lola: 97788966 markings, 586574166 edges, 93465 markings/sec, 865 secs
lola: 98271142 markings, 589574052 edges, 96435 markings/sec, 870 secs
lola: 98737687 markings, 592506244 edges, 93309 markings/sec, 875 secs
lola: 99205976 markings, 595436860 edges, 93658 markings/sec, 880 secs
lola: 99676917 markings, 598370985 edges, 94188 markings/sec, 885 secs
lola: 100142991 markings, 601288410 edges, 93215 markings/sec, 890 secs
lola: 100622477 markings, 604273899 edges, 95897 markings/sec, 895 secs
lola: 101092258 markings, 607209338 edges, 93956 markings/sec, 900 secs
lola: 101571015 markings, 610190066 edges, 95751 markings/sec, 905 secs
lola: 102042748 markings, 613122929 edges, 94347 markings/sec, 910 secs
lola: 102511775 markings, 616062492 edges, 93805 markings/sec, 915 secs
lola: 102982204 markings, 619002771 edges, 94086 markings/sec, 920 secs
lola: 103450058 markings, 621926325 edges, 93571 markings/sec, 925 secs
lola: 103920182 markings, 624864267 edges, 94025 markings/sec, 930 secs
lola: 104391417 markings, 627811488 edges, 94247 markings/sec, 935 secs
lola: 104877250 markings, 630816700 edges, 97167 markings/sec, 940 secs
lola: 105346710 markings, 633748340 edges, 93892 markings/sec, 945 secs
lola: 105815927 markings, 636680899 edges, 93843 markings/sec, 950 secs
lola: 106277121 markings, 639584264 edges, 92239 markings/sec, 955 secs
lola: 106746969 markings, 642511534 edges, 93970 markings/sec, 960 secs
lola: 107212005 markings, 645414180 edges, 93007 markings/sec, 965 secs
lola: 107682781 markings, 648344321 edges, 94155 markings/sec, 970 secs
lola: 108147050 markings, 651254316 edges, 92854 markings/sec, 975 secs
lola: 108609549 markings, 654142041 edges, 92500 markings/sec, 980 secs
lola: 109080940 markings, 657080436 edges, 94278 markings/sec, 985 secs
lola: 109543364 markings, 659972420 edges, 92485 markings/sec, 990 secs
lola: 110007996 markings, 662879148 edges, 92926 markings/sec, 995 secs
lola: 110471336 markings, 665783380 edges, 92668 markings/sec, 1000 secs
lola: 110935871 markings, 668693268 edges, 92907 markings/sec, 1005 secs
lola: 111394625 markings, 671582047 edges, 91751 markings/sec, 1010 secs
lola: 111866260 markings, 674524029 edges, 94327 markings/sec, 1015 secs
lola: 112319722 markings, 677379651 edges, 90692 markings/sec, 1020 secs
lola: 112783831 markings, 680280920 edges, 92822 markings/sec, 1025 secs
lola: 113250871 markings, 683198675 edges, 93408 markings/sec, 1030 secs
lola: 113657974 markings, 685781994 edges, 81421 markings/sec, 1035 secs
lola: 114003722 markings, 687956493 edges, 69150 markings/sec, 1040 secs
lola: 114319652 markings, 689952230 edges, 63186 markings/sec, 1045 secs
lola: 114668142 markings, 692151557 edges, 69698 markings/sec, 1050 secs
lola: 115011763 markings, 694313996 edges, 68724 markings/sec, 1055 secs
lola: 115386360 markings, 696664090 edges, 74919 markings/sec, 1060 secs
lola: 115722952 markings, 698788420 edges, 67318 markings/sec, 1065 secs
lola: 116045185 markings, 700822209 edges, 64447 markings/sec, 1070 secs
lola: 116354249 markings, 702761285 edges, 61813 markings/sec, 1075 secs
lola: 116656479 markings, 704665694 edges, 60446 markings/sec, 1080 secs
lola: 116963575 markings, 706582728 edges, 61419 markings/sec, 1085 secs
lola: 117244314 markings, 708344513 edges, 56148 markings/sec, 1090 secs
lola: 117570829 markings, 710400776 edges, 65303 markings/sec, 1095 secs
lola: 117862236 markings, 712241052 edges, 58281 markings/sec, 1100 secs
lola: 118154003 markings, 714067979 edges, 58353 markings/sec, 1105 secs
lola: 118527599 markings, 716421633 edges, 74719 markings/sec, 1110 secs
lola: 118877043 markings, 718608450 edges, 69889 markings/sec, 1115 secs
lola: 119281230 markings, 721146152 edges, 80837 markings/sec, 1120 secs
lola: 119614904 markings, 723238460 edges, 66735 markings/sec, 1125 secs
lola: 120019771 markings, 725791811 edges, 80973 markings/sec, 1130 secs
lola: 120367562 markings, 727975022 edges, 69558 markings/sec, 1135 secs
lola: 120710040 markings, 730129914 edges, 68496 markings/sec, 1140 secs
lola: 121048967 markings, 732272825 edges, 67785 markings/sec, 1145 secs
lola: 121386173 markings, 734395811 edges, 67441 markings/sec, 1150 secs
lola: 121735913 markings, 736580721 edges, 69948 markings/sec, 1155 secs
lola: 122080491 markings, 738737875 edges, 68916 markings/sec, 1160 secs
lola: 122461822 markings, 741130006 edges, 76266 markings/sec, 1165 secs
lola: 122777938 markings, 743119058 edges, 63223 markings/sec, 1170 secs
lola: 123148064 markings, 745432530 edges, 74025 markings/sec, 1175 secs
lola: 123489706 markings, 747583341 edges, 68328 markings/sec, 1180 secs
lola: 123810409 markings, 749614423 edges, 64141 markings/sec, 1185 secs
lola: 124164913 markings, 751835869 edges, 70901 markings/sec, 1190 secs
lola: 124474191 markings, 753773697 edges, 61856 markings/sec, 1195 secs
lola: 124815119 markings, 755916787 edges, 68186 markings/sec, 1200 secs
lola: 125134056 markings, 757932148 edges, 63787 markings/sec, 1205 secs
lola: 125453188 markings, 759946924 edges, 63826 markings/sec, 1210 secs
lola: 125825581 markings, 762291321 edges, 74479 markings/sec, 1215 secs
lola: 126135697 markings, 764247411 edges, 62023 markings/sec, 1220 secs
lola: 126417933 markings, 766033789 edges, 56447 markings/sec, 1225 secs
lola: 126755882 markings, 768161870 edges, 67590 markings/sec, 1230 secs
lola: 127102808 markings, 770328395 edges, 69385 markings/sec, 1235 secs
lola: 127406003 markings, 772242271 edges, 60639 markings/sec, 1240 secs
lola: 127682834 markings, 774002543 edges, 55366 markings/sec, 1245 secs
lola: 128012929 markings, 776074523 edges, 66019 markings/sec, 1250 secs
lola: 128332814 markings, 778098070 edges, 63977 markings/sec, 1255 secs
lola: 128623315 markings, 779925174 edges, 58100 markings/sec, 1260 secs
lola: 128904396 markings, 781693700 edges, 56216 markings/sec, 1265 secs
lola: 129221826 markings, 783700840 edges, 63486 markings/sec, 1270 secs
lola: 129517036 markings, 785574328 edges, 59042 markings/sec, 1275 secs
lola: 129821812 markings, 787482887 edges, 60955 markings/sec, 1280 secs
lola: 130133982 markings, 789449580 edges, 62434 markings/sec, 1285 secs
lola: 130360696 markings, 790877986 edges, 45343 markings/sec, 1290 secs
lola: 130658930 markings, 792752603 edges, 59647 markings/sec, 1295 secs
lola: 130918817 markings, 794387190 edges, 51977 markings/sec, 1300 secs
lola: 131182503 markings, 796055441 edges, 52737 markings/sec, 1305 secs
lola: 131467795 markings, 797857180 edges, 57058 markings/sec, 1310 secs
lola: 131673767 markings, 799146908 edges, 41194 markings/sec, 1315 secs
lola: 131938280 markings, 800814330 edges, 52903 markings/sec, 1320 secs
lola: 132241956 markings, 802719254 edges, 60735 markings/sec, 1325 secs
lola: 132525124 markings, 804499709 edges, 56634 markings/sec, 1330 secs
lola: 132788523 markings, 806156038 edges, 52680 markings/sec, 1335 secs
lola: 133083534 markings, 808018080 edges, 59002 markings/sec, 1340 secs
lola: 133329510 markings, 809573635 edges, 49195 markings/sec, 1345 secs
lola: 133659775 markings, 811648377 edges, 66053 markings/sec, 1350 secs
lola: 133855375 markings, 812882291 edges, 39120 markings/sec, 1355 secs
lola: 134022854 markings, 813939661 edges, 33496 markings/sec, 1360 secs
lola: 134173032 markings, 814893418 edges, 30036 markings/sec, 1365 secs
lola: 134297238 markings, 815677158 edges, 24841 markings/sec, 1370 secs
lola: 134491342 markings, 816900881 edges, 38821 markings/sec, 1375 secs
lola: 134651294 markings, 817905918 edges, 31990 markings/sec, 1380 secs
lola: 134834327 markings, 819073906 edges, 36607 markings/sec, 1385 secs
lola: 135043474 markings, 820396741 edges, 41829 markings/sec, 1390 secs
lola: 135240174 markings, 821627300 edges, 39340 markings/sec, 1395 secs
lola: 135396626 markings, 822621871 edges, 31290 markings/sec, 1400 secs
lola: 135583558 markings, 823807174 edges, 37386 markings/sec, 1405 secs
lola: 135765071 markings, 824950140 edges, 36303 markings/sec, 1410 secs
lola: 135945917 markings, 826100000 edges, 36169 markings/sec, 1415 secs
lola: 136125734 markings, 827227029 edges, 35963 markings/sec, 1420 secs
lola: 136306996 markings, 828373010 edges, 36252 markings/sec, 1425 secs
lola: 136484582 markings, 829491114 edges, 35517 markings/sec, 1430 secs
lola: 136661759 markings, 830612909 edges, 35435 markings/sec, 1435 secs
lola: 136864932 markings, 831888011 edges, 40635 markings/sec, 1440 secs
lola: 137038938 markings, 832987582 edges, 34801 markings/sec, 1445 secs
lola: 137208010 markings, 834058082 edges, 33814 markings/sec, 1450 secs
lola: 137386979 markings, 835178872 edges, 35794 markings/sec, 1455 secs
lola: 137550764 markings, 836210837 edges, 32757 markings/sec, 1460 secs
lola: 137689457 markings, 837089072 edges, 27739 markings/sec, 1465 secs
lola: 137714320 markings, 837246120 edges, 4973 markings/sec, 1470 secs
lola: 137791417 markings, 837732574 edges, 15419 markings/sec, 1475 secs
lola: 137825363 markings, 837949245 edges, 6789 markings/sec, 1480 secs
lola: 137862110 markings, 838179759 edges, 7349 markings/sec, 1485 secs
lola: 137878783 markings, 838286348 edges, 3335 markings/sec, 1490 secs
lola: 137910021 markings, 838485715 edges, 6248 markings/sec, 1495 secs
lola: 137910024 markings, 838485745 edges, 1 markings/sec, 1500 secs
lola: 137948671 markings, 838726664 edges, 7729 markings/sec, 1505 secs
lola: 137948671 markings, 838726664 edges, 0 markings/sec, 1510 secs
lola: 137968166 markings, 838852253 edges, 3899 markings/sec, 1515 secs
lola: 137969967 markings, 838863285 edges, 360 markings/sec, 1520 secs
lola: 137986812 markings, 838972780 edges, 3369 markings/sec, 1525 secs
lola: 137991422 markings, 839001984 edges, 922 markings/sec, 1530 secs
lola: 138077911 markings, 839545109 edges, 17298 markings/sec, 1535 secs
lola: 138077911 markings, 839545109 edges, 0 markings/sec, 1540 secs
lola: 138205545 markings, 840359550 edges, 25527 markings/sec, 1545 secs
lola: 138306760 markings, 840999021 edges, 20243 markings/sec, 1550 secs
lola: 138329517 markings, 841145780 edges, 4551 markings/sec, 1555 secs
lola: 138477496 markings, 842080983 edges, 29596 markings/sec, 1560 secs
lola: 138477516 markings, 842081106 edges, 4 markings/sec, 1565 secs
lola: 138510196 markings, 842289429 edges, 6536 markings/sec, 1570 secs
lola: 138583533 markings, 842755247 edges, 14667 markings/sec, 1575 secs
lola: 138583533 markings, 842755247 edges, 0 markings/sec, 1580 secs
lola: 138716860 markings, 843597784 edges, 26665 markings/sec, 1585 secs
lola: 138717054 markings, 843598851 edges, 39 markings/sec, 1590 secs
lola: 138717054 markings, 843598851 edges, 0 markings/sec, 1595 secs
lola: 138832716 markings, 844328185 edges, 23132 markings/sec, 1600 secs
lola: 138859414 markings, 844490299 edges, 5340 markings/sec, 1605 secs
lola: 138859414 markings, 844490299 edges, 0 markings/sec, 1610 secs
lola: 138881857 markings, 844630536 edges, 4489 markings/sec, 1615 secs
lola: 138969625 markings, 845182468 edges, 17554 markings/sec, 1620 secs
lola: 138969625 markings, 845182468 edges, 0 markings/sec, 1625 secs
lola: 138969625 markings, 845182468 edges, 0 markings/sec, 1630 secs
lola: 139002851 markings, 845392342 edges, 6645 markings/sec, 1635 secs
lola: 139083987 markings, 845907879 edges, 16227 markings/sec, 1640 secs
lola: 139083987 markings, 845907879 edges, 0 markings/sec, 1645 secs
lola: 139188792 markings, 846577525 edges, 20961 markings/sec, 1650 secs
lola: 139250448 markings, 846968701 edges, 12331 markings/sec, 1655 secs
lola: 139348725 markings, 847592608 edges, 19655 markings/sec, 1660 secs
lola: 139522622 markings, 848697141 edges, 34779 markings/sec, 1665 secs
lola: 139597111 markings, 849169078 edges, 14898 markings/sec, 1670 secs
lola: 139597111 markings, 849169078 edges, 0 markings/sec, 1675 secs
lola: 139597111 markings, 849169078 edges, 0 markings/sec, 1680 secs
lola: 139597111 markings, 849169078 edges, 0 markings/sec, 1685 secs
lola: 139661035 markings, 849574442 edges, 12785 markings/sec, 1690 secs
lola: 139730440 markings, 850005874 edges, 13881 markings/sec, 1695 secs
lola: 139730652 markings, 850007226 edges, 42 markings/sec, 1700 secs
lola: 139796701 markings, 850424604 edges, 13210 markings/sec, 1705 secs
lola: 139838277 markings, 850691591 edges, 8315 markings/sec, 1710 secs
lola: 139838277 markings, 850691591 edges, 0 markings/sec, 1715 secs
lola: 139838277 markings, 850691591 edges, 0 markings/sec, 1720 secs
lola: 139838277 markings, 850691591 edges, 0 markings/sec, 1725 secs
lola: 139946640 markings, 851383266 edges, 21673 markings/sec, 1730 secs
lola: 139980116 markings, 851594748 edges, 6695 markings/sec, 1735 secs
lola: 140126944 markings, 852511610 edges, 29366 markings/sec, 1740 secs
lola: 140127044 markings, 852512218 edges, 20 markings/sec, 1745 secs
lola: 140127044 markings, 852512218 edges, 0 markings/sec, 1750 secs
lola: 140229461 markings, 853161285 edges, 20483 markings/sec, 1755 secs
lola: 140239729 markings, 853224145 edges, 2054 markings/sec, 1760 secs
lola: 140239729 markings, 853224145 edges, 0 markings/sec, 1765 secs
lola: 140239729 markings, 853224145 edges, 0 markings/sec, 1770 secs
lola: 140270740 markings, 853419962 edges, 6202 markings/sec, 1775 secs
lola: 140401364 markings, 854239579 edges, 26125 markings/sec, 1780 secs
lola: 140464307 markings, 854641529 edges, 12589 markings/sec, 1785 secs
lola: 140611865 markings, 855570681 edges, 29512 markings/sec, 1790 secs
lola: 140611865 markings, 855570681 edges, 0 markings/sec, 1795 secs
lola: 140691761 markings, 856073934 edges, 15979 markings/sec, 1800 secs
lola: 140691789 markings, 856074112 edges, 6 markings/sec, 1805 secs
lola: 140691789 markings, 856074112 edges, 0 markings/sec, 1810 secs
lola: 140691789 markings, 856074112 edges, 0 markings/sec, 1815 secs
lola: 140728543 markings, 856309908 edges, 7351 markings/sec, 1820 secs
lola: 140776086 markings, 856609763 edges, 9509 markings/sec, 1825 secs
lola: 140794341 markings, 856724649 edges, 3651 markings/sec, 1830 secs
lola: 140984878 markings, 857919804 edges, 38107 markings/sec, 1835 secs
lola: 141164784 markings, 859054721 edges, 35981 markings/sec, 1840 secs
lola: 141164845 markings, 859055173 edges, 12 markings/sec, 1845 secs
lola: 141164845 markings, 859055173 edges, 0 markings/sec, 1850 secs
lola: 141164845 markings, 859055173 edges, 0 markings/sec, 1855 secs
lola: 141239274 markings, 859525484 edges, 14886 markings/sec, 1860 secs
lola: 141361069 markings, 860289460 edges, 24359 markings/sec, 1865 secs
lola: 141361069 markings, 860289460 edges, 0 markings/sec, 1870 secs
lola: 141361079 markings, 860289559 edges, 2 markings/sec, 1875 secs
lola: 141423381 markings, 860681794 edges, 12460 markings/sec, 1880 secs
lola: 141472755 markings, 860996818 edges, 9875 markings/sec, 1885 secs
lola: 141576460 markings, 861653904 edges, 20741 markings/sec, 1890 secs
lola: 141576465 markings, 861653942 edges, 1 markings/sec, 1895 secs
lola: 141578275 markings, 861665892 edges, 362 markings/sec, 1900 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: E ((E (F ((1 <= p6))) U A (G (((1 <= p24) OR ((1 <= p11) AND (1 <= p17)))))))
lola: ========================================
lola: SUBTASK
lola: checking CTL
lola: rewrite Frontend/Parser/formula_rewrite.k:806
lola: rewrite Frontend/Parser/formula_rewrite.k:813
lola: rewrite Frontend/Parser/formula_rewrite.k:809
lola: processed formula: E(EF((1 <= p6)) U AG(((1 <= p24) OR ((1 <= p11) AND (1 <= p17)))))
lola: processed formula length: 67
lola: 29 rewrites
lola: closed formula file CTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Using CTL preserving stubborn sets
lola: RUNNING
lola: CTL formula contains 3 significant temporal operators and needs 13 bytes of payload
lola: Ignoring fairness constraints (--fair).
lola: 895609 markings, 5914552 edges, 179122 markings/sec, 0 secs
lola: 1742018 markings, 11766750 edges, 169282 markings/sec, 5 secs
lola: 2511743 markings, 17194022 edges, 153945 markings/sec, 10 secs
lola: 3230625 markings, 22339551 edges, 143776 markings/sec, 15 secs
lola: 3909992 markings, 27241252 edges, 135873 markings/sec, 20 secs
lola: 4567003 markings, 32032952 edges, 131402 markings/sec, 25 secs
lola: 5205859 markings, 36712063 edges, 127771 markings/sec, 30 secs
lola: 5833370 markings, 41307807 edges, 125502 markings/sec, 35 secs
lola: 6432175 markings, 45716181 edges, 119761 markings/sec, 40 secs
lola: 7024536 markings, 50085780 edges, 118472 markings/sec, 45 secs
lola: time limit reached - aborting
lola:
preliminary result: no no yes no unknown yes unknown no no unknown no no yes no yes no
lola:
preliminary result: no no yes no unknown yes unknown no no unknown no no yes no yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes no unknown yes unknown no no unknown no no yes no yes no
lola: memory consumption: 979604 KB
lola: memory consumption: 979604 KB
lola: time consumption: 3570 seconds
lola: lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
print data as JSON (--json)
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: writing JSON to CTLFireability.json
lola: closed JSON file CTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no yes no unknown yes unknown no no unknown no no yes no yes no
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-N0020P2"
export BK_EXAMINATION="CTLFireability"
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-N0020P2, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r168-smll-158987806400188"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0020P2.tgz
mv ClientsAndServers-PT-N0020P2 execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;