About the Execution of ITS-LoLa for ClientsAndServers-PT-N0200P0
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15769.740 | 3600000.00 | 3429912.00 | 163963.90 | FFFF?FFTFFF???F? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r168-smll-158987806400226.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-N0200P0, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r168-smll-158987806400226
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 192K
-rw-r--r-- 1 mcc users 3.7K Mar 30 01:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 15:22 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K 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.3K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 27 08:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 26 07:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 26 07:40 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-N0200P0-00
FORMULA_NAME ClientsAndServers-PT-N0200P0-01
FORMULA_NAME ClientsAndServers-PT-N0200P0-02
FORMULA_NAME ClientsAndServers-PT-N0200P0-03
FORMULA_NAME ClientsAndServers-PT-N0200P0-04
FORMULA_NAME ClientsAndServers-PT-N0200P0-05
FORMULA_NAME ClientsAndServers-PT-N0200P0-06
FORMULA_NAME ClientsAndServers-PT-N0200P0-07
FORMULA_NAME ClientsAndServers-PT-N0200P0-08
FORMULA_NAME ClientsAndServers-PT-N0200P0-09
FORMULA_NAME ClientsAndServers-PT-N0200P0-10
FORMULA_NAME ClientsAndServers-PT-N0200P0-11
FORMULA_NAME ClientsAndServers-PT-N0200P0-12
FORMULA_NAME ClientsAndServers-PT-N0200P0-13
FORMULA_NAME ClientsAndServers-PT-N0200P0-14
FORMULA_NAME ClientsAndServers-PT-N0200P0-15
=== Now, execution of the tool begins
BK_START 1591236082095
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2020-06-04 02:01:25] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2020-06-04 02:01:25] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-06-04 02:01:25] [INFO ] Load time of PNML (sax parser for PT used): 32 ms
[2020-06-04 02:01:25] [INFO ] Transformed 25 places.
[2020-06-04 02:01:25] [INFO ] Transformed 18 transitions.
[2020-06-04 02:01:25] [INFO ] Parsed PT model containing 25 places and 18 transitions in 84 ms.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 20 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 11626 steps, including 0 resets, run visited all 28 properties in 16 ms. (steps per millisecond=726 )
[2020-06-04 02:01:25] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2020-06-04 02:01:25] [INFO ] Flatten gal took : 33 ms
FORMULA ClientsAndServers-PT-N0200P0-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N0200P0-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N0200P0-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ClientsAndServers-PT-N0200P0-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-06-04 02:01:25] [INFO ] Flatten gal took : 8 ms
[2020-06-04 02:01:25] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 4 ms.
[2020-06-04 02:01:25] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 0 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N0200P0 @ 3570 seconds
FORMULA ClientsAndServers-PT-N0200P0-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0200P0-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0200P0-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0200P0-07 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0200P0-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0200P0-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0200P0-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0200P0-11 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0200P0-12 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0200P0-13 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ ClientsAndServers-PT-N0200P0
{
"exit":
{
"memory": 2701500,
"runtime": 3570.000000,
"signal": "User defined signal 1"
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 1,
"U": 0,
"X": 2,
"aconj": 1,
"adisj": 2,
"aneg": 0,
"comp": 7,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 7,
"taut": 0,
"tconj": 1,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "F ((X (X (G ((F (((p5 <= 0) OR (p15 <= 0))) AND ((p22 <= 0) OR ((p5 <= 0) OR (p15 <= 0))))))) OR ((1 <= p0) AND (1 <= p13))))",
"processed_size": 127,
"rewrites": 36
},
"result":
{
"preliminary_value": "no unknown no no yes no no unknown unknown unknown no unknown "
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 15,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 43/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 800
lola: finding significant places
lola: 25 places, 18 transitions, 17 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: LP says that atomic proposition is always true: (1 <= p14)
lola: G (((F ((p22 <= 0)) OR ((1 <= p0) AND (1 <= p13))) OR ((G ((1 <= p18)) AND X ((1 <= p22))) AND ((p11 <= 0) OR (p17 <= 0))))) : (G ((1 <= p18)) OR F ((F ((G (F ((p18 <= 0))) U (1 <= p9))) AND (1 <= p6)))) : NOT(((G ((1 <= p24)) OR (1 <= p24)) U (((X ((((1 <= p8) AND (1 <= p15)) U ((1 <= p4) AND (1 <= p21)))) AND X ((1 <= p16))) AND (1 <= p8)) AND (1 <= p15)))) : (X ((1 <= p6)) AND ((1 <= p16) U X (((p10 <= 0) AND ((p3 <= 0)))))) : X ((F (G (((1 <= p5) AND (1 <= p15)))) OR F ((1 <= p24)))) : G (X (F ((F (((p12 <= 0) AND (p24 <= 0))) AND G ((1 <= p12)))))) : ((X ((((1 <= p3)) U (1 <= p12))) OR G (((1 <= p2)))) OR ((1 <= p0) AND (1 <= p13))) : G (F ((F (((1 <= p11) AND (1 <= p17))) U (F ((p9 <= 0)) OR X ((1 <= p9)))))) : X (F ((F ((G ((X ((1 <= p22)) AND F (((1 <= p0) AND (1 <= p13))))) OR (p6 <= 0))) U F (((1 <= p0) AND (1 <= p13)))))) : (G (((1 <= p5) AND (1 <= p15))) U F (X ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15)))))) : G (F (G ((G ((1 <= p24)) U (p24 <= 0))))) : F ((X (G (X (((p22 <= 0) U ((p5 <= 0) OR (p15 <= 0)))))) OR ((1 <= p0) AND (1 <= p13))))
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:338
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:519
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:437
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((F ((p22 <= 0)) OR (((1 <= p0) AND (1 <= p13)) OR (G ((1 <= p18)) AND (X ((1 <= p22)) AND ((p11 <= 0) OR (p17 <= 0)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((F ((p22 <= 0)) OR (((1 <= p0) AND (1 <= p13)) OR (G ((1 <= p18)) AND (X ((1 <= p22)) AND ((p11 <= 0) OR (p17 <= 0)))))))
lola: processed formula length: 125
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 12471 markings, 12488 edges
lola: ========================================
lola: subprocess 1 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((F ((p24 <= 0)) AND (p24 <= 0)) R (X (((((p8 <= 0) OR (p15 <= 0)) R ((p4 <= 0) OR (p21 <= 0))) OR (p16 <= 0))) OR ((p8 <= 0) OR (p15 <= 0))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: ((F ((p24 <= 0)) AND (p24 <= 0)) R (X (((((p8 <= 0) OR (p15 <= 0)) R ((p4 <= 0) OR (p21 <= 0))) OR (p16 <= 0))) OR ((p8 <= 0) OR (p15 <= 0))))
lola: processed formula length: 144
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 22890 markings, 22893 edges
lola: ========================================
lola: subprocess 2 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((1 <= p6)) AND ((1 <= p16) U X (((p10 <= 0) AND ((p3 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((1 <= p6))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((1 <= p6))
lola: processed formula length: 13
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 10001 markings, 10001 edges
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: ========================================
lola: subprocess 3 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((G (((1 <= p5) AND (1 <= p15))) OR (1 <= p24))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((G (((1 <= p5) AND (1 <= p15))) OR (1 <= p24))))
lola: processed formula length: 54
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 4 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X ((((1 <= p3)) U (1 <= p12))) OR (G (((1 <= p2))) OR ((1 <= p0) AND (1 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 4 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: ((1 <= p0) AND (1 <= p13))
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: ((1 <= p0) AND (1 <= p13))
lola: processed formula length: 26
lola: 36 rewrites
lola: closed formula file LTLFireability.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 5 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((1 <= p2)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p2)))
lola: processed formula length: 15
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1620 markings, 1620 edges
lola: ========================================
lola: subprocess 6 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((((1 <= p3)) U (1 <= p12)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((((1 <= p3)) U (1 <= p12)))
lola: processed formula length: 30
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 10001 markings, 10001 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 5 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((F ((p9 <= 0)) OR X ((1 <= p9)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((F ((p9 <= 0)) OR X ((1 <= p9)))))
lola: processed formula length: 40
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1864908 markings, 5295625 edges, 372982 markings/sec, 0 secs
lola: 3477270 markings, 10473605 edges, 322472 markings/sec, 5 secs
lola: 5006468 markings, 15623641 edges, 305840 markings/sec, 10 secs
lola: 6478305 markings, 20590855 edges, 294367 markings/sec, 15 secs
lola: 7834910 markings, 25383021 edges, 271321 markings/sec, 20 secs
lola: 9136216 markings, 30023668 edges, 260261 markings/sec, 25 secs
lola: 10640373 markings, 35254593 edges, 300831 markings/sec, 30 secs
lola: 12066704 markings, 40408829 edges, 285266 markings/sec, 35 secs
lola: 13550694 markings, 45700485 edges, 296798 markings/sec, 40 secs
lola: 15024484 markings, 50969802 edges, 294758 markings/sec, 45 secs
lola: 16483180 markings, 56394754 edges, 291739 markings/sec, 50 secs
lola: 17864587 markings, 61513915 edges, 276281 markings/sec, 55 secs
lola: 19284594 markings, 66745215 edges, 284001 markings/sec, 60 secs
lola: 20641515 markings, 71776042 edges, 271384 markings/sec, 65 secs
lola: 22038533 markings, 76863521 edges, 279404 markings/sec, 70 secs
lola: 23366125 markings, 81900934 edges, 265518 markings/sec, 75 secs
lola: 24676262 markings, 86680827 edges, 262027 markings/sec, 80 secs
lola: 26025885 markings, 91687675 edges, 269925 markings/sec, 85 secs
lola: 27373747 markings, 96704131 edges, 269572 markings/sec, 90 secs
lola: 28724144 markings, 101702763 edges, 270079 markings/sec, 95 secs
lola: 30006838 markings, 106627279 edges, 256539 markings/sec, 100 secs
lola: 31301371 markings, 111560079 edges, 258907 markings/sec, 105 secs
lola: 32561642 markings, 116307890 edges, 252054 markings/sec, 110 secs
lola: 33819713 markings, 121196408 edges, 251614 markings/sec, 115 secs
lola: 35106378 markings, 126096383 edges, 257333 markings/sec, 120 secs
lola: 36416316 markings, 130934117 edges, 261988 markings/sec, 125 secs
lola: 37683666 markings, 135754236 edges, 253470 markings/sec, 130 secs
lola: 38905544 markings, 140438889 edges, 244376 markings/sec, 135 secs
lola: 40179396 markings, 145163286 edges, 254770 markings/sec, 140 secs
lola: 41442889 markings, 149936926 edges, 252699 markings/sec, 145 secs
lola: 42662545 markings, 154722447 edges, 243931 markings/sec, 150 secs
lola: 43866622 markings, 159344995 edges, 240815 markings/sec, 155 secs
lola: 45148971 markings, 164145747 edges, 256470 markings/sec, 160 secs
lola: 46394312 markings, 168764095 edges, 249068 markings/sec, 165 secs
lola: 47610618 markings, 173555167 edges, 243261 markings/sec, 170 secs
lola: 48752301 markings, 178123296 edges, 228337 markings/sec, 175 secs
lola: 50040456 markings, 182898989 edges, 257631 markings/sec, 180 secs
lola: 51192702 markings, 187493454 edges, 230449 markings/sec, 185 secs
lola: 52422585 markings, 192215747 edges, 245977 markings/sec, 190 secs
lola: 53595208 markings, 196789327 edges, 234525 markings/sec, 195 secs
lola: 54736117 markings, 201291463 edges, 228182 markings/sec, 200 secs
lola: 55896931 markings, 205868330 edges, 232163 markings/sec, 205 secs
lola: 57052131 markings, 210389045 edges, 231040 markings/sec, 210 secs
lola: 58265296 markings, 215095204 edges, 242633 markings/sec, 215 secs
lola: 59404418 markings, 219565914 edges, 227824 markings/sec, 220 secs
lola: 60496039 markings, 223909014 edges, 218324 markings/sec, 225 secs
lola: 61697076 markings, 228630443 edges, 240207 markings/sec, 230 secs
lola: 62833433 markings, 232925581 edges, 227271 markings/sec, 235 secs
lola: 64029386 markings, 237396631 edges, 239191 markings/sec, 240 secs
lola: 65177411 markings, 241923743 edges, 229605 markings/sec, 245 secs
lola: 66314120 markings, 246330765 edges, 227342 markings/sec, 250 secs
lola: 67475669 markings, 250763325 edges, 232310 markings/sec, 255 secs
lola: 68568357 markings, 255211065 edges, 218538 markings/sec, 260 secs
lola: 69653316 markings, 259549729 edges, 216992 markings/sec, 265 secs
lola: 70754410 markings, 263850142 edges, 220219 markings/sec, 270 secs
lola: 71873172 markings, 268103715 edges, 223752 markings/sec, 275 secs
lola: 72966965 markings, 272527735 edges, 218759 markings/sec, 280 secs
lola: 74101051 markings, 276974739 edges, 226817 markings/sec, 285 secs
lola: 75254562 markings, 281498887 edges, 230702 markings/sec, 290 secs
lola: 76355261 markings, 285775265 edges, 220140 markings/sec, 295 secs
lola: 77414382 markings, 289902407 edges, 211824 markings/sec, 300 secs
lola: 78531726 markings, 294207972 edges, 223469 markings/sec, 305 secs
lola: 79596130 markings, 298468711 edges, 212881 markings/sec, 310 secs
lola: 80623530 markings, 302615344 edges, 205480 markings/sec, 315 secs
lola: 81645922 markings, 306685115 edges, 204478 markings/sec, 320 secs
lola: 82701529 markings, 310900195 edges, 211121 markings/sec, 325 secs
lola: 83721790 markings, 315159268 edges, 204052 markings/sec, 330 secs
lola: 84754052 markings, 319282725 edges, 206452 markings/sec, 335 secs
lola: 85831184 markings, 323387709 edges, 215426 markings/sec, 340 secs
lola: 86873492 markings, 327599809 edges, 208462 markings/sec, 345 secs
lola: 87890801 markings, 331690834 edges, 203462 markings/sec, 350 secs
lola: 88981890 markings, 335958363 edges, 218218 markings/sec, 355 secs
lola: 90064706 markings, 340197546 edges, 216563 markings/sec, 360 secs
lola: 91071755 markings, 344074298 edges, 201410 markings/sec, 365 secs
lola: 92196700 markings, 348348902 edges, 224989 markings/sec, 370 secs
lola: 93256631 markings, 352429388 edges, 211986 markings/sec, 375 secs
lola: 94243686 markings, 356499534 edges, 197411 markings/sec, 380 secs
lola: 95234261 markings, 360542048 edges, 198115 markings/sec, 385 secs
lola: 96259998 markings, 364581976 edges, 205147 markings/sec, 390 secs
lola: 97218475 markings, 368442772 edges, 191695 markings/sec, 395 secs
lola: 98219524 markings, 372570106 edges, 200210 markings/sec, 400 secs
lola: 99165322 markings, 376436010 edges, 189160 markings/sec, 405 secs
lola: 100195501 markings, 380474715 edges, 206036 markings/sec, 410 secs
lola: 101139692 markings, 384344994 edges, 188838 markings/sec, 415 secs
lola: 102028855 markings, 388073648 edges, 177833 markings/sec, 420 secs
lola: 102845668 markings, 391198899 edges, 163363 markings/sec, 425 secs
lola: 103770450 markings, 394942146 edges, 184956 markings/sec, 430 secs
lola: 104501390 markings, 397860498 edges, 146188 markings/sec, 435 secs
lola: 105383898 markings, 401532555 edges, 176502 markings/sec, 440 secs
lola: 106184387 markings, 404793890 edges, 160098 markings/sec, 445 secs
lola: 106997907 markings, 407966936 edges, 162704 markings/sec, 450 secs
lola: 107626080 markings, 410492827 edges, 125635 markings/sec, 455 secs
lola: 108383105 markings, 413575899 edges, 151405 markings/sec, 460 secs
lola: 109200796 markings, 416879966 edges, 163538 markings/sec, 465 secs
lola: 110037712 markings, 420229999 edges, 167383 markings/sec, 470 secs
lola: 110869807 markings, 423668096 edges, 166419 markings/sec, 475 secs
lola: 111712381 markings, 427103806 edges, 168515 markings/sec, 480 secs
lola: 112447229 markings, 430020541 edges, 146970 markings/sec, 485 secs
lola: 113357471 markings, 433664665 edges, 182048 markings/sec, 490 secs
lola: 114179223 markings, 436886914 edges, 164350 markings/sec, 495 secs
lola: 115081581 markings, 440558384 edges, 180472 markings/sec, 500 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no no yes unknown no unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 6 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p0) AND (1 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p0) AND (1 <= p13))))
lola: processed formula length: 34
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2826740 markings, 5564041 edges, 565348 markings/sec, 0 secs
lola: 5319985 markings, 10544411 edges, 498649 markings/sec, 5 secs
lola: 7517709 markings, 14934303 edges, 439545 markings/sec, 10 secs
lola: 9617001 markings, 19127796 edges, 419858 markings/sec, 15 secs
lola: 11822435 markings, 23533023 edges, 441087 markings/sec, 20 secs
lola: 14016503 markings, 27915701 edges, 438814 markings/sec, 25 secs
lola: 16156094 markings, 32189464 edges, 427918 markings/sec, 30 secs
lola: 18252943 markings, 36378149 edges, 419370 markings/sec, 35 secs
lola: 20306665 markings, 40480323 edges, 410744 markings/sec, 40 secs
lola: 22315075 markings, 44492174 edges, 401682 markings/sec, 45 secs
lola: 24286875 markings, 48431044 edges, 394360 markings/sec, 50 secs
lola: 26231763 markings, 52315905 edges, 388978 markings/sec, 55 secs
lola: 28093712 markings, 56035174 edges, 372390 markings/sec, 60 secs
lola: 29999301 markings, 59841595 edges, 381118 markings/sec, 65 secs
lola: 31888279 markings, 63614893 edges, 377796 markings/sec, 70 secs
lola: 33762883 markings, 67359191 edges, 374921 markings/sec, 75 secs
lola: 35619846 markings, 71068799 edges, 371393 markings/sec, 80 secs
lola: 37470089 markings, 74764733 edges, 370049 markings/sec, 85 secs
lola: 39305577 markings, 78430946 edges, 367098 markings/sec, 90 secs
lola: 41128282 markings, 82071934 edges, 364541 markings/sec, 95 secs
lola: 42943694 markings, 85698248 edges, 363082 markings/sec, 100 secs
lola: 44748379 markings, 89303047 edges, 360937 markings/sec, 105 secs
lola: 46540861 markings, 92883483 edges, 358496 markings/sec, 110 secs
lola: 48324491 markings, 96446216 edges, 356726 markings/sec, 115 secs
lola: 50103530 markings, 100000070 edges, 355808 markings/sec, 120 secs
lola: 51876559 markings, 103541642 edges, 354606 markings/sec, 125 secs
lola: 53646657 markings, 107077488 edges, 354020 markings/sec, 130 secs
lola: 55407649 markings, 110595150 edges, 352198 markings/sec, 135 secs
lola: 57165397 markings, 114106278 edges, 351550 markings/sec, 140 secs
lola: 58919663 markings, 117610417 edges, 350853 markings/sec, 145 secs
lola: 60667220 markings, 121101184 edges, 349511 markings/sec, 150 secs
lola: 62414604 markings, 124591561 edges, 349477 markings/sec, 155 secs
lola: 64159151 markings, 128076448 edges, 348909 markings/sec, 160 secs
lola: 65900155 markings, 131553916 edges, 348201 markings/sec, 165 secs
lola: 67636869 markings, 135023097 edges, 347343 markings/sec, 170 secs
lola: 69371261 markings, 138487618 edges, 346878 markings/sec, 175 secs
lola: 71103845 markings, 141948479 edges, 346517 markings/sec, 180 secs
lola: 72838215 markings, 145412801 edges, 346874 markings/sec, 185 secs
lola: 74575038 markings, 148882061 edges, 347365 markings/sec, 190 secs
lola: 76315737 markings, 152359253 edges, 348140 markings/sec, 195 secs
lola: 78056865 markings, 155837173 edges, 348226 markings/sec, 200 secs
lola: 79743393 markings, 159206036 edges, 337306 markings/sec, 205 secs
lola: 81487293 markings, 162689321 edges, 348780 markings/sec, 210 secs
lola: 83231799 markings, 166173987 edges, 348901 markings/sec, 215 secs
lola: 84960765 markings, 169627687 edges, 345793 markings/sec, 220 secs
lola: 86618220 markings, 172938508 edges, 331491 markings/sec, 225 secs
lola: 88343780 markings, 176385333 edges, 345112 markings/sec, 230 secs
lola: 90016819 markings, 179727250 edges, 334608 markings/sec, 235 secs
lola: 91742998 markings, 183175422 edges, 345236 markings/sec, 240 secs
lola: 93471058 markings, 186627131 edges, 345612 markings/sec, 245 secs
lola: 95225208 markings, 190131210 edges, 350830 markings/sec, 250 secs
lola: 96964156 markings, 193604911 edges, 347790 markings/sec, 255 secs
lola: 98715585 markings, 197103292 edges, 350286 markings/sec, 260 secs
lola: 100455923 markings, 200579630 edges, 348068 markings/sec, 265 secs
lola: 102184886 markings, 204033254 edges, 345793 markings/sec, 270 secs
lola: 103847677 markings, 207354471 edges, 332558 markings/sec, 275 secs
lola: 105485878 markings, 210626880 edges, 327640 markings/sec, 280 secs
lola: 107128075 markings, 213907256 edges, 328439 markings/sec, 285 secs
lola: 108749140 markings, 217145322 edges, 324213 markings/sec, 290 secs
lola: 110357955 markings, 220358995 edges, 321763 markings/sec, 295 secs
lola: 111966555 markings, 223572123 edges, 321720 markings/sec, 300 secs
lola: 113562733 markings, 226760489 edges, 319236 markings/sec, 305 secs
lola: 115149570 markings, 229930388 edges, 317367 markings/sec, 310 secs
lola: 116736795 markings, 233100942 edges, 317445 markings/sec, 315 secs
lola: 118322757 markings, 236268809 edges, 317192 markings/sec, 320 secs
lola: 119900643 markings, 239420607 edges, 315577 markings/sec, 325 secs
lola: 121481312 markings, 242577982 edges, 316134 markings/sec, 330 secs
lola: 123061054 markings, 245733688 edges, 315948 markings/sec, 335 secs
lola: 124629562 markings, 248866773 edges, 313702 markings/sec, 340 secs
lola: 126421207 markings, 252445562 edges, 358329 markings/sec, 345 secs
lola: 127929912 markings, 255459021 edges, 301741 markings/sec, 350 secs
lola: 128809230 markings, 257215726 edges, 175864 markings/sec, 355 secs
lola: 129969301 markings, 259532900 edges, 232014 markings/sec, 360 secs
lola: 130868701 markings, 261329370 edges, 179880 markings/sec, 365 secs
lola: 132115732 markings, 263820359 edges, 249406 markings/sec, 370 secs
lola: 132892179 markings, 265371301 edges, 155289 markings/sec, 375 secs
lola: 134132366 markings, 267848744 edges, 248037 markings/sec, 380 secs
lola: 135227282 markings, 270035969 edges, 218983 markings/sec, 385 secs
lola: 136361938 markings, 272302419 edges, 226931 markings/sec, 390 secs
lola: 137854225 markings, 275283230 edges, 298457 markings/sec, 395 secs
lola: 139110416 markings, 277792387 edges, 251238 markings/sec, 400 secs
lola: 140511028 markings, 280590199 edges, 280122 markings/sec, 405 secs
lola: 141540458 markings, 282646365 edges, 205886 markings/sec, 410 secs
lola: 142757770 markings, 285077931 edges, 243462 markings/sec, 415 secs
lola: 144017775 markings, 287594885 edges, 252001 markings/sec, 420 secs
lola: 145414093 markings, 290384074 edges, 279264 markings/sec, 425 secs
lola: 146256525 markings, 292066850 edges, 168486 markings/sec, 430 secs
lola: 147491289 markings, 294533335 edges, 246953 markings/sec, 435 secs
lola: 148989260 markings, 297525415 edges, 299594 markings/sec, 440 secs
lola: 150080255 markings, 299704807 edges, 218199 markings/sec, 445 secs
lola: 151153601 markings, 301849000 edges, 214669 markings/sec, 450 secs
lola: 152522226 markings, 304582566 edges, 273725 markings/sec, 455 secs
lola: 153826574 markings, 307188084 edges, 260870 markings/sec, 460 secs
lola: 154958281 markings, 309448697 edges, 226341 markings/sec, 465 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 515 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (X (F ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15))))) OR (G (((1 <= p5) AND (1 <= p15))) AND X (F ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 7 will run for 515 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (((1 <= p5) AND (1 <= p15)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p5) AND (1 <= p15)))
lola: processed formula length: 30
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1620 markings, 1620 edges
lola: ========================================
lola: subprocess 8 will run for 644 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (F ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15)))))
lola: processed formula length: 70
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2035900 markings, 4087243 edges, 407180 markings/sec, 0 secs
lola: 3967312 markings, 8341360 edges, 386282 markings/sec, 5 secs
lola: 5920847 markings, 12703865 edges, 390707 markings/sec, 10 secs
lola: 7898501 markings, 17076797 edges, 395531 markings/sec, 15 secs
lola: 9682704 markings, 21306642 edges, 356841 markings/sec, 20 secs
lola: 11613319 markings, 25597390 edges, 386123 markings/sec, 25 secs
lola: 13316674 markings, 29649327 edges, 340671 markings/sec, 30 secs
lola: 15261437 markings, 33945887 edges, 388953 markings/sec, 35 secs
lola: 17020098 markings, 38098526 edges, 351732 markings/sec, 40 secs
lola: 18936027 markings, 42322912 edges, 383186 markings/sec, 45 secs
lola: 20714879 markings, 46526085 edges, 355770 markings/sec, 50 secs
lola: 22450416 markings, 50692162 edges, 347107 markings/sec, 55 secs
lola: 24378309 markings, 54943734 edges, 385579 markings/sec, 60 secs
lola: 26145869 markings, 59130699 edges, 353512 markings/sec, 65 secs
lola: 27869504 markings, 63196203 edges, 344727 markings/sec, 70 secs
lola: 29766149 markings, 67372359 edges, 379329 markings/sec, 75 secs
lola: 31508442 markings, 71511787 edges, 348459 markings/sec, 80 secs
lola: 33232765 markings, 75631404 edges, 344865 markings/sec, 85 secs
lola: 34971706 markings, 79734706 edges, 347788 markings/sec, 90 secs
lola: 36891777 markings, 83969452 edges, 384014 markings/sec, 95 secs
lola: 38634349 markings, 88081823 edges, 348514 markings/sec, 100 secs
lola: 40318390 markings, 92128905 edges, 336808 markings/sec, 105 secs
lola: 42049825 markings, 96213440 edges, 346287 markings/sec, 110 secs
lola: 44012131 markings, 100553845 edges, 392461 markings/sec, 115 secs
lola: 45802084 markings, 104784765 edges, 357991 markings/sec, 120 secs
lola: 47571306 markings, 108970084 edges, 353844 markings/sec, 125 secs
lola: 49318506 markings, 113168411 edges, 349440 markings/sec, 130 secs
lola: 51260424 markings, 117457804 edges, 388384 markings/sec, 135 secs
lola: 53059533 markings, 121711155 edges, 359822 markings/sec, 140 secs
lola: 54822005 markings, 125873334 edges, 352494 markings/sec, 145 secs
lola: 56574788 markings, 130011258 edges, 350557 markings/sec, 150 secs
lola: 58272497 markings, 134092536 edges, 339542 markings/sec, 155 secs
lola: 60177859 markings, 138290484 edges, 381072 markings/sec, 160 secs
lola: 61905048 markings, 142364394 edges, 345438 markings/sec, 165 secs
lola: 63593302 markings, 146346639 edges, 337651 markings/sec, 170 secs
lola: 65281705 markings, 150398863 edges, 337681 markings/sec, 175 secs
lola: 67014366 markings, 154486451 edges, 346532 markings/sec, 180 secs
lola: 68869832 markings, 158560046 edges, 371093 markings/sec, 185 secs
lola: 70498790 markings, 162465397 edges, 325792 markings/sec, 190 secs
lola: 72160737 markings, 166379992 edges, 332389 markings/sec, 195 secs
lola: 73760962 markings, 170184742 edges, 320045 markings/sec, 200 secs
lola: 75386338 markings, 174037033 edges, 325075 markings/sec, 205 secs
lola: 77158014 markings, 178092734 edges, 354335 markings/sec, 210 secs
lola: 79002277 markings, 182267287 edges, 368853 markings/sec, 215 secs
lola: 80706000 markings, 186363607 edges, 340745 markings/sec, 220 secs
lola: 82431577 markings, 190433492 edges, 345115 markings/sec, 225 secs
lola: 84133046 markings, 194443027 edges, 340294 markings/sec, 230 secs
lola: 85846740 markings, 198564279 edges, 342739 markings/sec, 235 secs
lola: 87712220 markings, 202703097 edges, 373096 markings/sec, 240 secs
lola: 89471429 markings, 206816473 edges, 351842 markings/sec, 245 secs
lola: 91180302 markings, 210844525 edges, 341775 markings/sec, 250 secs
lola: 92840568 markings, 214832129 edges, 332053 markings/sec, 255 secs
lola: 94531007 markings, 218814031 edges, 338088 markings/sec, 260 secs
lola: 96213664 markings, 222812704 edges, 336531 markings/sec, 265 secs
lola: 97875889 markings, 226769535 edges, 332445 markings/sec, 270 secs
lola: 99733868 markings, 230848951 edges, 371596 markings/sec, 275 secs
lola: 101383899 markings, 234743953 edges, 330006 markings/sec, 280 secs
lola: 103033722 markings, 238691238 edges, 329965 markings/sec, 285 secs
lola: 104695493 markings, 242602004 edges, 332354 markings/sec, 290 secs
lola: 106294379 markings, 246436016 edges, 319777 markings/sec, 295 secs
lola: 107969235 markings, 250379465 edges, 334971 markings/sec, 300 secs
lola: 109597583 markings, 254269684 edges, 325670 markings/sec, 305 secs
lola: 111482784 markings, 258434687 edges, 377040 markings/sec, 310 secs
lola: 113186773 markings, 262450570 edges, 340798 markings/sec, 315 secs
lola: 114871285 markings, 266417612 edges, 336902 markings/sec, 320 secs
lola: 116504147 markings, 270336705 edges, 326572 markings/sec, 325 secs
lola: 118143569 markings, 274191541 edges, 327884 markings/sec, 330 secs
lola: 119629695 markings, 277745633 edges, 297225 markings/sec, 335 secs
lola: 121032888 markings, 281088853 edges, 280639 markings/sec, 340 secs
lola: 122668787 markings, 284613616 edges, 327180 markings/sec, 345 secs
lola: 123181742 markings, 285823190 edges, 102591 markings/sec, 350 secs
lola: 124372036 markings, 288681778 edges, 238059 markings/sec, 355 secs
lola: 125192959 markings, 290598380 edges, 164185 markings/sec, 360 secs
lola: 126338158 markings, 293331024 edges, 229040 markings/sec, 365 secs
lola: 127311775 markings, 295651083 edges, 194723 markings/sec, 370 secs
lola: 128173632 markings, 297718971 edges, 172371 markings/sec, 375 secs
lola: 129427050 markings, 300694917 edges, 250684 markings/sec, 380 secs
lola: 130594491 markings, 303450507 edges, 233488 markings/sec, 385 secs
lola: 132019455 markings, 306844618 edges, 284993 markings/sec, 390 secs
lola: 133387594 markings, 310058894 edges, 273628 markings/sec, 395 secs
lola: 134699032 markings, 313096038 edges, 262288 markings/sec, 400 secs
lola: 135652928 markings, 315124540 edges, 190779 markings/sec, 405 secs
lola: 136874550 markings, 318015692 edges, 244324 markings/sec, 410 secs
lola: 137976832 markings, 320608754 edges, 220456 markings/sec, 415 secs
lola: 138938037 markings, 322929967 edges, 192241 markings/sec, 420 secs
lola: 140156624 markings, 325814006 edges, 243717 markings/sec, 425 secs
lola: 141594137 markings, 329244783 edges, 287503 markings/sec, 430 secs
lola: 142651739 markings, 331726086 edges, 211520 markings/sec, 435 secs
lola: 143778566 markings, 334380562 edges, 225365 markings/sec, 440 secs
lola: 144876271 markings, 337017025 edges, 219541 markings/sec, 445 secs
lola: 146081525 markings, 339893455 edges, 241051 markings/sec, 450 secs
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: subprocess 8 will run for 528 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((X (X (G ((F (((p5 <= 0) OR (p15 <= 0))) AND ((p22 <= 0) OR ((p5 <= 0) OR (p15 <= 0))))))) OR ((1 <= p0) AND (1 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((X (X (G ((F (((p5 <= 0) OR (p15 <= 0))) AND ((p22 <= 0) OR ((p5 <= 0) OR (p15 <= 0))))))) OR ((1 <= p0) AND (1 <= p13))))
lola: processed formula length: 127
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2470518 markings, 4852545 edges, 494104 markings/sec, 0 secs
lola: 4674184 markings, 9254408 edges, 440733 markings/sec, 5 secs
lola: 6850535 markings, 13601477 edges, 435270 markings/sec, 10 secs
lola: 8968759 markings, 17832824 edges, 423645 markings/sec, 15 secs
lola: 11026072 markings, 21942311 edges, 411463 markings/sec, 20 secs
lola: 13042682 markings, 25970534 edges, 403322 markings/sec, 25 secs
lola: 14944071 markings, 29768599 edges, 380278 markings/sec, 30 secs
lola: 16886282 markings, 33648363 edges, 388442 markings/sec, 35 secs
lola: 18791789 markings, 37454295 edges, 381101 markings/sec, 40 secs
lola: 20672899 markings, 41211988 edges, 376222 markings/sec, 45 secs
lola: 22532753 markings, 44927043 edges, 371971 markings/sec, 50 secs
lola: 24360763 markings, 48578369 edges, 365602 markings/sec, 55 secs
lola: 26175754 markings, 52204001 edges, 362998 markings/sec, 60 secs
lola: 27971152 markings, 55790321 edges, 359080 markings/sec, 65 secs
lola: 29747796 markings, 59339184 edges, 355329 markings/sec, 70 secs
lola: 31513429 markings, 62866054 edges, 353127 markings/sec, 75 secs
lola: 33266472 markings, 66367828 edges, 350609 markings/sec, 80 secs
lola: 35006072 markings, 69842657 edges, 347920 markings/sec, 85 secs
lola: 36736466 markings, 73299103 edges, 346079 markings/sec, 90 secs
lola: 38447090 markings, 76716230 edges, 342125 markings/sec, 95 secs
lola: 40140160 markings, 80098167 edges, 338614 markings/sec, 100 secs
lola: 41821322 markings, 83456234 edges, 336232 markings/sec, 105 secs
lola: 43502670 markings, 86814680 edges, 336270 markings/sec, 110 secs
lola: 45181673 markings, 90168715 edges, 335801 markings/sec, 115 secs
lola: 46850095 markings, 93501217 edges, 333684 markings/sec, 120 secs
lola: 48514309 markings, 96825465 edges, 332843 markings/sec, 125 secs
lola: 50176193 markings, 100145286 edges, 332377 markings/sec, 130 secs
lola: 51833690 markings, 103456011 edges, 331499 markings/sec, 135 secs
lola: 53483860 markings, 106752167 edges, 330034 markings/sec, 140 secs
lola: 55125296 markings, 110030925 edges, 328287 markings/sec, 145 secs
lola: 56759595 markings, 113295437 edges, 326860 markings/sec, 150 secs
lola: 58396595 markings, 116565557 edges, 327400 markings/sec, 155 secs
lola: 60022700 markings, 119813667 edges, 325221 markings/sec, 160 secs
lola: 61651137 markings, 123066458 edges, 325687 markings/sec, 165 secs
lola: 63280948 markings, 126322158 edges, 325962 markings/sec, 170 secs
lola: 64910097 markings, 129576149 edges, 325830 markings/sec, 175 secs
lola: 66537363 markings, 132826925 edges, 325453 markings/sec, 180 secs
lola: 68163175 markings, 136074327 edges, 325162 markings/sec, 185 secs
lola: 69781418 markings, 139306780 edges, 323649 markings/sec, 190 secs
lola: 71393185 markings, 142526215 edges, 322353 markings/sec, 195 secs
lola: 73020674 markings, 145777368 edges, 325498 markings/sec, 200 secs
lola: 74649170 markings, 149030197 edges, 325699 markings/sec, 205 secs
lola: 76279976 markings, 152287720 edges, 326161 markings/sec, 210 secs
lola: 77909216 markings, 155542258 edges, 325848 markings/sec, 215 secs
lola: 79540335 markings, 158800241 edges, 326224 markings/sec, 220 secs
lola: 81172370 markings, 162060550 edges, 326407 markings/sec, 225 secs
lola: 82807136 markings, 165325949 edges, 326953 markings/sec, 230 secs
lola: 84443542 markings, 168594622 edges, 327281 markings/sec, 235 secs
lola: 86072684 markings, 171848807 edges, 325828 markings/sec, 240 secs
lola: 87700846 markings, 175101186 edges, 325632 markings/sec, 245 secs
lola: 89330444 markings, 178356340 edges, 325920 markings/sec, 250 secs
lola: 90957068 markings, 181605348 edges, 325325 markings/sec, 255 secs
lola: 92585261 markings, 184857629 edges, 325639 markings/sec, 260 secs
lola: 94216435 markings, 188116177 edges, 326235 markings/sec, 265 secs
lola: 95848761 markings, 191376777 edges, 326465 markings/sec, 270 secs
lola: 97476716 markings, 194628590 edges, 325591 markings/sec, 275 secs
lola: 99107804 markings, 197886616 edges, 326218 markings/sec, 280 secs
lola: 100680053 markings, 201027327 edges, 314450 markings/sec, 285 secs
lola: 102296552 markings, 204256273 edges, 323300 markings/sec, 290 secs
lola: 103854383 markings, 207368017 edges, 311566 markings/sec, 295 secs
lola: 105397601 markings, 210450644 edges, 308644 markings/sec, 300 secs
lola: 106880320 markings, 213412300 edges, 296544 markings/sec, 305 secs
lola: 108401577 markings, 216451117 edges, 304251 markings/sec, 310 secs
lola: 109913355 markings, 219470890 edges, 302356 markings/sec, 315 secs
lola: 111419304 markings, 222478888 edges, 301190 markings/sec, 320 secs
lola: 112917057 markings, 225470862 edges, 299551 markings/sec, 325 secs
lola: 114410784 markings, 228454626 edges, 298745 markings/sec, 330 secs
lola: 115897097 markings, 231423319 edges, 297263 markings/sec, 335 secs
lola: 117375697 markings, 234376879 edges, 295720 markings/sec, 340 secs
lola: 118854543 markings, 237331057 edges, 295769 markings/sec, 345 secs
lola: 120331396 markings, 240281136 edges, 295371 markings/sec, 350 secs
lola: 121805257 markings, 243225206 edges, 294772 markings/sec, 355 secs
lola: 123277084 markings, 246165126 edges, 294365 markings/sec, 360 secs
lola: 124748998 markings, 249105299 edges, 294383 markings/sec, 365 secs
lola: 125991100 markings, 251586990 edges, 248420 markings/sec, 370 secs
lola: 127139751 markings, 253881543 edges, 229730 markings/sec, 375 secs
lola: 128328347 markings, 256255183 edges, 237719 markings/sec, 380 secs
lola: 129362508 markings, 258320760 edges, 206832 markings/sec, 385 secs
lola: 130412389 markings, 260418111 edges, 209976 markings/sec, 390 secs
lola: 131771930 markings, 263133583 edges, 271908 markings/sec, 395 secs
lola: 133067040 markings, 265720696 edges, 259022 markings/sec, 400 secs
lola: 133960095 markings, 267504625 edges, 178611 markings/sec, 405 secs
lola: 134973144 markings, 269528236 edges, 202610 markings/sec, 410 secs
lola: 136220558 markings, 272019864 edges, 249483 markings/sec, 415 secs
lola: 137427891 markings, 274431551 edges, 241467 markings/sec, 420 secs
lola: 138556999 markings, 276686899 edges, 225822 markings/sec, 425 secs
lola: 139735156 markings, 279040463 edges, 235631 markings/sec, 430 secs
lola: 140893326 markings, 281353726 edges, 231634 markings/sec, 435 secs
lola: 141992915 markings, 283550347 edges, 219918 markings/sec, 440 secs
lola: 143271371 markings, 286103991 edges, 255691 markings/sec, 445 secs
lola: 144320385 markings, 288199213 edges, 209803 markings/sec, 450 secs
lola: 145542641 markings, 290640843 edges, 244451 markings/sec, 455 secs
lola: 146717604 markings, 292987884 edges, 234993 markings/sec, 460 secs
lola: 147857147 markings, 295264189 edges, 227909 markings/sec, 465 secs
lola: 148941748 markings, 297430568 edges, 216920 markings/sec, 470 secs
lola: 149960642 markings, 299465754 edges, 203779 markings/sec, 475 secs
lola: 150570211 markings, 300683539 edges, 121914 markings/sec, 480 secs
lola: 151323069 markings, 302187395 edges, 150572 markings/sec, 485 secs
lola: 152129616 markings, 303798517 edges, 161309 markings/sec, 490 secs
lola: 152242765 markings, 304024237 edges, 22630 markings/sec, 495 secs
lola: 153524816 markings, 306585296 edges, 256410 markings/sec, 500 secs
lola: 154272635 markings, 308079185 edges, 149564 markings/sec, 505 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 9 will run for 532 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((p24 <= 0) OR (G ((1 <= p24)) AND F ((p24 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((p24 <= 0) OR (G ((1 <= p24)) AND F ((p24 <= 0))))))
lola: processed formula length: 59
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 8 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 27199 markings, 27201 edges
lola: ========================================
lola: subprocess 10 will run for 798 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((F (((p12 <= 0) AND (p24 <= 0))) AND G ((1 <= p12)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((F (((p12 <= 0) AND (p24 <= 0))) AND G ((1 <= p12)))))
lola: processed formula length: 60
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 11583 markings, 11583 edges
lola: ========================================
lola: subprocess 11 will run for 1596 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (G ((1 <= p18)) OR F ((F (((1 <= p9) OR (G (F ((p18 <= 0))) AND F ((1 <= p9))))) AND (1 <= p6))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 11 will run for 1596 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((1 <= p18))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((1 <= p18))
lola: processed formula length: 14
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1620 markings, 1620 edges
lola: ========================================
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: G (F ((F ((p9 <= 0)) OR X ((1 <= p9)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((F ((p9 <= 0)) OR X ((1 <= p9)))))
lola: processed formula length: 40
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1873594 markings, 5326498 edges, 374719 markings/sec, 0 secs
lola: 3545697 markings, 10730860 edges, 334421 markings/sec, 5 secs
lola: 5183029 markings, 16245377 edges, 327466 markings/sec, 10 secs
lola: 6767219 markings, 21695745 edges, 316838 markings/sec, 15 secs
lola: 8400943 markings, 27267852 edges, 326745 markings/sec, 20 secs
lola: 9881979 markings, 32637686 edges, 296207 markings/sec, 25 secs
lola: 11363456 markings, 37817744 edges, 296295 markings/sec, 30 secs
lola: 12807953 markings, 43061789 edges, 288899 markings/sec, 35 secs
lola: 14292962 markings, 48299019 edges, 297002 markings/sec, 40 secs
lola: 15716497 markings, 53459734 edges, 284707 markings/sec, 45 secs
lola: 17125988 markings, 58740478 edges, 281898 markings/sec, 50 secs
lola: 18514401 markings, 63877796 edges, 277683 markings/sec, 55 secs
lola: 19910036 markings, 69018806 edges, 279127 markings/sec, 60 secs
lola: 21265706 markings, 74147845 edges, 271134 markings/sec, 65 secs
lola: 22623250 markings, 79134446 edges, 271509 markings/sec, 70 secs
lola: 23970506 markings, 84110710 edges, 269451 markings/sec, 75 secs
lola: 25330965 markings, 89001655 edges, 272092 markings/sec, 80 secs
lola: 26638947 markings, 94005831 edges, 261596 markings/sec, 85 secs
lola: 27958308 markings, 98872706 edges, 263872 markings/sec, 90 secs
lola: 29294209 markings, 103843380 edges, 267180 markings/sec, 95 secs
lola: 30605767 markings, 108809641 edges, 262312 markings/sec, 100 secs
lola: 31873351 markings, 113698713 edges, 253517 markings/sec, 105 secs
lola: 33134062 markings, 118484224 edges, 252142 markings/sec, 110 secs
lola: 34397934 markings, 123377328 edges, 252774 markings/sec, 115 secs
lola: 35691956 markings, 128136103 edges, 258804 markings/sec, 120 secs
lola: 36951659 markings, 133013123 edges, 251941 markings/sec, 125 secs
lola: 38206809 markings, 137782525 edges, 251030 markings/sec, 130 secs
lola: 39427964 markings, 142377452 edges, 244231 markings/sec, 135 secs
lola: 40704997 markings, 147105225 edges, 255407 markings/sec, 140 secs
lola: 41916334 markings, 151843371 edges, 242267 markings/sec, 145 secs
lola: 43114416 markings, 156521451 edges, 239616 markings/sec, 150 secs
lola: 44363584 markings, 161209554 edges, 249834 markings/sec, 155 secs
lola: 45604116 markings, 165907635 edges, 248106 markings/sec, 160 secs
lola: 46852606 markings, 170540417 edges, 249698 markings/sec, 165 secs
lola: 48039971 markings, 175284511 edges, 237473 markings/sec, 170 secs
lola: 49204551 markings, 179759914 edges, 232916 markings/sec, 175 secs
lola: 50455347 markings, 184605293 edges, 250159 markings/sec, 180 secs
lola: 51582552 markings, 189061168 edges, 225441 markings/sec, 185 secs
lola: 52821617 markings, 193782430 edges, 247813 markings/sec, 190 secs
lola: 53961714 markings, 198276442 edges, 228019 markings/sec, 195 secs
lola: 55114456 markings, 202846133 edges, 230548 markings/sec, 200 secs
lola: 56208965 markings, 207029784 edges, 218902 markings/sec, 205 secs
lola: 57231065 markings, 211096935 edges, 204420 markings/sec, 210 secs
lola: 58269794 markings, 215111998 edges, 207746 markings/sec, 215 secs
lola: 59404553 markings, 219566440 edges, 226952 markings/sec, 220 secs
lola: 60489821 markings, 223883730 edges, 217054 markings/sec, 225 secs
lola: 61684106 markings, 228575878 edges, 238857 markings/sec, 230 secs
lola: 62818197 markings, 232855690 edges, 226818 markings/sec, 235 secs
lola: 64000728 markings, 237306545 edges, 236506 markings/sec, 240 secs
lola: 65142098 markings, 241791099 edges, 228274 markings/sec, 245 secs
lola: 66282861 markings, 246216209 edges, 228153 markings/sec, 250 secs
lola: 67422829 markings, 250569225 edges, 227994 markings/sec, 255 secs
lola: 68525169 markings, 255038213 edges, 220468 markings/sec, 260 secs
lola: 69609647 markings, 259349916 edges, 216896 markings/sec, 265 secs
lola: 70697840 markings, 263622648 edges, 217639 markings/sec, 270 secs
lola: 71803549 markings, 267864742 edges, 221142 markings/sec, 275 secs
lola: 72906749 markings, 272281206 edges, 220640 markings/sec, 280 secs
lola: 74025644 markings, 276681102 edges, 223779 markings/sec, 285 secs
lola: 75188452 markings, 281211747 edges, 232562 markings/sec, 290 secs
lola: 76273796 markings, 285444764 edges, 217069 markings/sec, 295 secs
lola: 77346834 markings, 289641981 edges, 214608 markings/sec, 300 secs
lola: 78476619 markings, 293997300 edges, 225957 markings/sec, 305 secs
lola: 79555005 markings, 298293453 edges, 215677 markings/sec, 310 secs
lola: 80590099 markings, 302471804 edges, 207019 markings/sec, 315 secs
lola: 81617348 markings, 306565977 edges, 205450 markings/sec, 320 secs
lola: 82667273 markings, 310741968 edges, 209985 markings/sec, 325 secs
lola: 83683493 markings, 315016459 edges, 203244 markings/sec, 330 secs
lola: 84714927 markings, 319125543 edges, 206287 markings/sec, 335 secs
lola: 85797010 markings, 323241416 edges, 216417 markings/sec, 340 secs
lola: 86827697 markings, 327430241 edges, 206137 markings/sec, 345 secs
lola: 87852980 markings, 331534397 edges, 205057 markings/sec, 350 secs
lola: 88937661 markings, 335811379 edges, 216936 markings/sec, 355 secs
lola: 90013154 markings, 340011318 edges, 215099 markings/sec, 360 secs
lola: 91031635 markings, 343915250 edges, 203696 markings/sec, 365 secs
lola: 92152620 markings, 348172241 edges, 224197 markings/sec, 370 secs
lola: 93215182 markings, 352253863 edges, 212512 markings/sec, 375 secs
lola: 94211240 markings, 356344044 edges, 199212 markings/sec, 380 secs
lola: 95195628 markings, 360379758 edges, 196878 markings/sec, 385 secs
lola: 96216780 markings, 364413452 edges, 204230 markings/sec, 390 secs
lola: 97182997 markings, 368287006 edges, 193243 markings/sec, 395 secs
lola: 98167311 markings, 372368113 edges, 196863 markings/sec, 400 secs
lola: 99121951 markings, 376266942 edges, 190928 markings/sec, 405 secs
lola: 100163827 markings, 380333219 edges, 208375 markings/sec, 410 secs
lola: 100691056 markings, 382543859 edges, 105446 markings/sec, 415 secs
lola: 101236908 markings, 384716899 edges, 109170 markings/sec, 420 secs
lola: 101959341 markings, 387805561 edges, 144487 markings/sec, 425 secs
lola: 102485135 markings, 389756750 edges, 105159 markings/sec, 430 secs
lola: 103201933 markings, 392698112 edges, 143360 markings/sec, 435 secs
lola: 103719304 markings, 394761891 edges, 103474 markings/sec, 440 secs
lola: 104598445 markings, 398245046 edges, 175828 markings/sec, 445 secs
lola: 105266080 markings, 400986353 edges, 133527 markings/sec, 450 secs
lola: 105937907 markings, 403742097 edges, 134365 markings/sec, 455 secs
lola: 106629061 markings, 406549803 edges, 138231 markings/sec, 460 secs
lola: 107298349 markings, 409153115 edges, 133858 markings/sec, 465 secs
lola: 107890879 markings, 411545061 edges, 118506 markings/sec, 470 secs
lola: 108484883 markings, 413974429 edges, 118801 markings/sec, 475 secs
lola: 109412934 markings, 417665657 edges, 185610 markings/sec, 480 secs
lola: 110211127 markings, 420964766 edges, 159639 markings/sec, 485 secs
lola: 110754919 markings, 423163870 edges, 108758 markings/sec, 490 secs
lola: 111611519 markings, 426734113 edges, 171320 markings/sec, 495 secs
lola: 112311719 markings, 429523369 edges, 140040 markings/sec, 500 secs
lola: 113044825 markings, 432421692 edges, 146621 markings/sec, 505 secs
lola: 113823259 markings, 435490097 edges, 155687 markings/sec, 510 secs
lola: 114479705 markings, 438136103 edges, 131289 markings/sec, 515 secs
lola: 115256017 markings, 441282684 edges, 155262 markings/sec, 520 secs
lola: 115839790 markings, 443616626 edges, 116755 markings/sec, 525 secs
lola: 116470210 markings, 446146616 edges, 126084 markings/sec, 530 secs
lola: 117246936 markings, 449359821 edges, 155345 markings/sec, 535 secs
lola: 117841701 markings, 451782586 edges, 118953 markings/sec, 540 secs
lola: 118574063 markings, 454757929 edges, 146472 markings/sec, 545 secs
lola: 119344537 markings, 457852318 edges, 154095 markings/sec, 550 secs
lola: 119875869 markings, 459981947 edges, 106266 markings/sec, 555 secs
lola: 120676915 markings, 463235288 edges, 160209 markings/sec, 560 secs
lola: 121451998 markings, 466340683 edges, 155017 markings/sec, 565 secs
lola: 122236720 markings, 469528572 edges, 156944 markings/sec, 570 secs
lola: 122930162 markings, 472208396 edges, 138688 markings/sec, 575 secs
lola: 123690931 markings, 475202687 edges, 152154 markings/sec, 580 secs
lola: 124520020 markings, 478468871 edges, 165818 markings/sec, 585 secs
lola: 125149579 markings, 481016345 edges, 125912 markings/sec, 590 secs
lola: 125396630 markings, 481940601 edges, 49410 markings/sec, 595 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: X (F (((1 <= p0) AND (1 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F (((1 <= p0) AND (1 <= p13))))
lola: processed formula length: 34
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2682557 markings, 5275956 edges, 536511 markings/sec, 0 secs
lola: 5164351 markings, 10233540 edges, 496359 markings/sec, 5 secs
lola: 7494673 markings, 14888427 edges, 466064 markings/sec, 10 secs
lola: 9555530 markings, 19004884 edges, 412171 markings/sec, 15 secs
lola: 11543457 markings, 22975611 edges, 397585 markings/sec, 20 secs
lola: 13480554 markings, 26845331 edges, 387419 markings/sec, 25 secs
lola: 15350096 markings, 30579593 edges, 373908 markings/sec, 30 secs
lola: 17334576 markings, 34543634 edges, 396896 markings/sec, 35 secs
lola: 19384912 markings, 38639255 edges, 410067 markings/sec, 40 secs
lola: 21400411 markings, 42665261 edges, 403100 markings/sec, 45 secs
lola: 23384526 markings, 46628520 edges, 396823 markings/sec, 50 secs
lola: 25345894 markings, 50546398 edges, 392274 markings/sec, 55 secs
lola: 27282306 markings, 54414214 edges, 387282 markings/sec, 60 secs
lola: 29191789 markings, 58228594 edges, 381897 markings/sec, 65 secs
lola: 31084220 markings, 62008718 edges, 378486 markings/sec, 70 secs
lola: 32962266 markings, 65760186 edges, 375609 markings/sec, 75 secs
lola: 34821257 markings, 69473414 edges, 371798 markings/sec, 80 secs
lola: 36671879 markings, 73170252 edges, 370124 markings/sec, 85 secs
lola: 38507033 markings, 76835983 edges, 367031 markings/sec, 90 secs
lola: 40335853 markings, 80488914 edges, 365764 markings/sec, 95 secs
lola: 42156527 markings, 84125773 edges, 364135 markings/sec, 100 secs
lola: 43965443 markings, 87739105 edges, 361783 markings/sec, 105 secs
lola: 45765853 markings, 91335444 edges, 360082 markings/sec, 110 secs
lola: 47502402 markings, 94804345 edges, 347310 markings/sec, 115 secs
lola: 49286662 markings, 98368377 edges, 356852 markings/sec, 120 secs
lola: 51065884 markings, 101922352 edges, 355844 markings/sec, 125 secs
lola: 52842357 markings, 105470790 edges, 355295 markings/sec, 130 secs
lola: 54613826 markings, 109009272 edges, 354294 markings/sec, 135 secs
lola: 56381350 markings, 112539910 edges, 353505 markings/sec, 140 secs
lola: 58087706 markings, 115948597 edges, 341271 markings/sec, 145 secs
lola: 59847646 markings, 119464037 edges, 351988 markings/sec, 150 secs
lola: 61612733 markings, 122989817 edges, 353017 markings/sec, 155 secs
lola: 63381821 markings, 126523569 edges, 353818 markings/sec, 160 secs
lola: 65147394 markings, 130050413 edges, 353115 markings/sec, 165 secs
lola: 66907506 markings, 133566284 edges, 352022 markings/sec, 170 secs
lola: 68661347 markings, 137069437 edges, 350768 markings/sec, 175 secs
lola: 70411928 markings, 140566431 edges, 350116 markings/sec, 180 secs
lola: 72160563 markings, 144059333 edges, 349727 markings/sec, 185 secs
lola: 73907236 markings, 147548069 edges, 349335 markings/sec, 190 secs
lola: 75652781 markings, 151034941 edges, 349109 markings/sec, 195 secs
lola: 77399469 markings, 154523935 edges, 349338 markings/sec, 200 secs
lola: 79146730 markings, 158014181 edges, 349452 markings/sec, 205 secs
lola: 80893987 markings, 161504447 edges, 349451 markings/sec, 210 secs
lola: 82642482 markings, 164997088 edges, 349699 markings/sec, 215 secs
lola: 84392992 markings, 168493476 edges, 350102 markings/sec, 220 secs
lola: 86141235 markings, 171985881 edges, 349649 markings/sec, 225 secs
lola: 87880570 markings, 175460111 edges, 347867 markings/sec, 230 secs
lola: 89620206 markings, 178934963 edges, 347927 markings/sec, 235 secs
lola: 91358357 markings, 182407113 edges, 347630 markings/sec, 240 secs
lola: 93098724 markings, 185883396 edges, 348073 markings/sec, 245 secs
lola: 94845800 markings, 189373141 edges, 349415 markings/sec, 250 secs
lola: 96593214 markings, 192863818 edges, 349483 markings/sec, 255 secs
lola: 98338565 markings, 196349981 edges, 349070 markings/sec, 260 secs
lola: 100085222 markings, 199838993 edges, 349331 markings/sec, 265 secs
lola: 101826357 markings, 203317039 edges, 348227 markings/sec, 270 secs
lola: 103510979 markings, 206682153 edges, 336924 markings/sec, 275 secs
lola: 105104882 markings, 209865823 edges, 318781 markings/sec, 280 secs
lola: 106740866 markings, 213133876 edges, 327197 markings/sec, 285 secs
lola: 108361877 markings, 216371680 edges, 324202 markings/sec, 290 secs
lola: 109973637 markings, 219591167 edges, 322352 markings/sec, 295 secs
lola: 111576703 markings, 222793606 edges, 320613 markings/sec, 300 secs
lola: 113171553 markings, 225979332 edges, 318970 markings/sec, 305 secs
lola: 114761455 markings, 229154934 edges, 317980 markings/sec, 310 secs
lola: 116350393 markings, 232328897 edges, 317788 markings/sec, 315 secs
lola: 117934624 markings, 235493364 edges, 316846 markings/sec, 320 secs
lola: 119515974 markings, 238652321 edges, 316270 markings/sec, 325 secs
lola: 121093543 markings, 241803499 edges, 315514 markings/sec, 330 secs
lola: 122669250 markings, 244950780 edges, 315141 markings/sec, 335 secs
lola: 124244693 markings, 248097778 edges, 315089 markings/sec, 340 secs
lola: 125709536 markings, 251024689 edges, 292969 markings/sec, 345 secs
lola: 126766810 markings, 253135801 edges, 211455 markings/sec, 350 secs
lola: 128138259 markings, 255875474 edges, 274290 markings/sec, 355 secs
lola: 129732238 markings, 259059244 edges, 318796 markings/sec, 360 secs
lola: 130797189 markings, 261186594 edges, 212990 markings/sec, 365 secs
lola: 131790405 markings, 263170483 edges, 198643 markings/sec, 370 secs
lola: 133017688 markings, 265622022 edges, 245457 markings/sec, 375 secs
lola: 134417878 markings, 268419149 edges, 280038 markings/sec, 380 secs
lola: 135681061 markings, 270942020 edges, 252637 markings/sec, 385 secs
lola: 136902873 markings, 273382765 edges, 244362 markings/sec, 390 secs
lola: 138437994 markings, 276449267 edges, 307024 markings/sec, 395 secs
lola: 139656288 markings, 278882856 edges, 243659 markings/sec, 400 secs
lola: 140887191 markings, 281341591 edges, 246181 markings/sec, 405 secs
lola: 142058277 markings, 283680669 edges, 234217 markings/sec, 410 secs
lola: 143180375 markings, 285922217 edges, 224420 markings/sec, 415 secs
lola: 144324979 markings, 288208379 edges, 228921 markings/sec, 420 secs
lola: 145499514 markings, 290554815 edges, 234907 markings/sec, 425 secs
lola: 146628479 markings, 292809620 edges, 225793 markings/sec, 430 secs
lola: 148078992 markings, 295707371 edges, 290103 markings/sec, 435 secs
lola: 149169648 markings, 297885947 edges, 218131 markings/sec, 440 secs
lola: 150776747 markings, 301095939 edges, 321420 markings/sec, 445 secs
lola: 151809945 markings, 303159956 edges, 206640 markings/sec, 450 secs
lola: 153015952 markings, 305568724 edges, 241201 markings/sec, 455 secs
lola: 154183062 markings, 307900052 edges, 233422 markings/sec, 460 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: (X (F ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15))))) OR (G (((1 <= p5) AND (1 <= p15))) AND X (F ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: ========================================
lola: ...considering subproblem: G (((1 <= p5) AND (1 <= p15)))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (((1 <= p5) AND (1 <= p15)))
lola: processed formula length: 30
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1620 markings, 1620 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: X (F ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (F ((F (((1 <= p5) AND (1 <= p15))) OR ((1 <= p5) AND (1 <= p15)))))
lola: processed formula length: 70
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2027086 markings, 4074022 edges, 405417 markings/sec, 0 secs
lola: 3880916 markings, 8211768 edges, 370766 markings/sec, 5 secs
lola: 5882580 markings, 12627332 edges, 400333 markings/sec, 10 secs
lola: 7850377 markings, 16958719 edges, 393559 markings/sec, 15 secs
lola: 9598160 markings, 21162916 edges, 349557 markings/sec, 20 secs
lola: 11547278 markings, 25465307 edges, 389824 markings/sec, 25 secs
lola: 13326544 markings, 29674037 edges, 355853 markings/sec, 30 secs
lola: 15244704 markings, 33904007 edges, 383632 markings/sec, 35 secs
lola: 16986760 markings, 38015019 edges, 348411 markings/sec, 40 secs
lola: 18886762 markings, 42200153 edges, 380000 markings/sec, 45 secs
lola: 20637570 markings, 46349471 edges, 350162 markings/sec, 50 secs
lola: 22369951 markings, 50500670 edges, 346476 markings/sec, 55 secs
lola: 24281014 markings, 54712887 edges, 382213 markings/sec, 60 secs
lola: 26042188 markings, 58871821 edges, 352235 markings/sec, 65 secs
lola: 27749310 markings, 62895504 edges, 341424 markings/sec, 70 secs
lola: 29614864 markings, 67007630 edges, 373111 markings/sec, 75 secs
lola: 31347777 markings, 71163201 edges, 346583 markings/sec, 80 secs
lola: 33088443 markings, 75270828 edges, 348133 markings/sec, 85 secs
lola: 34811242 markings, 79333744 edges, 344560 markings/sec, 90 secs
lola: 36723482 markings, 83548895 edges, 382448 markings/sec, 95 secs
lola: 38424596 markings, 87638663 edges, 340223 markings/sec, 100 secs
lola: 40152402 markings, 91714127 edges, 345561 markings/sec, 105 secs
lola: 41801868 markings, 95601426 edges, 329893 markings/sec, 110 secs
lola: 43741376 markings, 99876860 edges, 387902 markings/sec, 115 secs
lola: 45434974 markings, 103947922 edges, 338720 markings/sec, 120 secs
lola: 47209439 markings, 108140104 edges, 354893 markings/sec, 125 secs
lola: 48981600 markings, 112326520 edges, 354432 markings/sec, 130 secs
lola: 50911681 markings, 116586307 edges, 386016 markings/sec, 135 secs
lola: 52686235 markings, 120790725 edges, 354911 markings/sec, 140 secs
lola: 54423137 markings, 124957531 edges, 347380 markings/sec, 145 secs
lola: 56139144 markings, 129003468 edges, 343201 markings/sec, 150 secs
lola: 57873512 markings, 133095322 edges, 346874 markings/sec, 155 secs
lola: 59781798 markings, 137300567 edges, 381657 markings/sec, 160 secs
lola: 61483040 markings, 141390673 edges, 340248 markings/sec, 165 secs
lola: 63206256 markings, 145454652 edges, 344643 markings/sec, 170 secs
lola: 64907097 markings, 149462611 edges, 340168 markings/sec, 175 secs
lola: 66602733 markings, 153538697 edges, 339127 markings/sec, 180 secs
lola: 68501639 markings, 157720495 edges, 379781 markings/sec, 185 secs
lola: 70250762 markings, 161849279 edges, 349825 markings/sec, 190 secs
lola: 71965374 markings, 165891702 edges, 342922 markings/sec, 195 secs
lola: 73619155 markings, 169863070 edges, 330756 markings/sec, 200 secs
lola: 75348295 markings, 173941854 edges, 345828 markings/sec, 205 secs
lola: 77110600 markings, 177997822 edges, 352461 markings/sec, 210 secs
lola: 78959263 markings, 182172124 edges, 369733 markings/sec, 215 secs
lola: 80674770 markings, 186285486 edges, 343101 markings/sec, 220 secs
lola: 82397112 markings, 190347263 edges, 344468 markings/sec, 225 secs
lola: 84084238 markings, 194334075 edges, 337425 markings/sec, 230 secs
lola: 85808761 markings, 198469276 edges, 344905 markings/sec, 235 secs
lola: 87655895 markings, 202590315 edges, 369427 markings/sec, 240 secs
lola: 89426437 markings, 206703892 edges, 354108 markings/sec, 245 secs
lola: 91106643 markings, 210686665 edges, 336041 markings/sec, 250 secs
lola: 92770498 markings, 214656771 edges, 332771 markings/sec, 255 secs
lola: 94379224 markings, 218434812 edges, 321745 markings/sec, 260 secs
lola: 96016115 markings, 222363942 edges, 327378 markings/sec, 265 secs
lola: 97683962 markings, 226289875 edges, 333569 markings/sec, 270 secs
lola: 99411127 markings, 230081409 edges, 345433 markings/sec, 275 secs
lola: 100862763 markings, 233508602 edges, 290327 markings/sec, 280 secs
lola: 102476855 markings, 237380652 edges, 322818 markings/sec, 285 secs
lola: 104144498 markings, 241305533 edges, 333529 markings/sec, 290 secs
lola: 105756966 markings, 245163085 edges, 322494 markings/sec, 295 secs
lola: 107417328 markings, 249080794 edges, 332072 markings/sec, 300 secs
lola: 109082030 markings, 253008216 edges, 332940 markings/sec, 305 secs
lola: 110947081 markings, 257134093 edges, 373010 markings/sec, 310 secs
lola: 112646676 markings, 261181388 edges, 339919 markings/sec, 315 secs
lola: 114321430 markings, 265124635 edges, 334951 markings/sec, 320 secs
lola: 115924879 markings, 268970063 edges, 320690 markings/sec, 325 secs
lola: 117574345 markings, 272849992 edges, 329893 markings/sec, 330 secs
lola: 119079489 markings, 276452295 edges, 301029 markings/sec, 335 secs
lola: 120679551 markings, 280205838 edges, 320012 markings/sec, 340 secs
lola: 122107611 markings, 283436504 edges, 285612 markings/sec, 345 secs
lola: 122863994 markings, 285101481 edges, 151277 markings/sec, 350 secs
lola: 123994769 markings, 287765832 edges, 226155 markings/sec, 355 secs
lola: 125160295 markings, 290516650 edges, 233105 markings/sec, 360 secs
lola: 126232666 markings, 293115967 edges, 214474 markings/sec, 365 secs
lola: 127475892 markings, 296061179 edges, 248645 markings/sec, 370 secs
lola: 128575817 markings, 298648357 edges, 219985 markings/sec, 375 secs
lola: 130036562 markings, 302137252 edges, 292149 markings/sec, 380 secs
lola: 131065872 markings, 304547726 edges, 205862 markings/sec, 385 secs
lola: 132290379 markings, 307446609 edges, 244901 markings/sec, 390 secs
lola: 133446170 markings, 310176046 edges, 231158 markings/sec, 395 secs
lola: 135065406 markings, 313810403 edges, 323847 markings/sec, 400 secs
lola: 136201020 markings, 316413185 edges, 227123 markings/sec, 405 secs
lola: 137349449 markings, 319121726 edges, 229686 markings/sec, 410 secs
lola: 138578565 markings, 322031675 edges, 245823 markings/sec, 415 secs
lola: 140127651 markings, 325741532 edges, 309817 markings/sec, 420 secs
lola: 141058224 markings, 327946931 edges, 186115 markings/sec, 425 secs
lola: 142470605 markings, 331273404 edges, 282476 markings/sec, 430 secs
lola: 144018262 markings, 334979721 edges, 309531 markings/sec, 435 secs
lola: 145531603 markings, 338566687 edges, 302668 markings/sec, 440 secs
lola: 146126444 markings, 339995369 edges, 118968 markings/sec, 445 secs
lola: Child process aborted or communication problem between parent and child process
lola: SUBRESULT
lola: result: unknown
lola: The Boolean predicate may be true or false.
lola: ========================================
lola: ========================================
lola: ...considering subproblem: F ((X (X (G ((F (((p5 <= 0) OR (p15 <= 0))) AND ((p22 <= 0) OR ((p5 <= 0) OR (p15 <= 0))))))) OR ((1 <= p0) AND (1 <= p13))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((X (X (G ((F (((p5 <= 0) OR (p15 <= 0))) AND ((p22 <= 0) OR ((p5 <= 0) OR (p15 <= 0))))))) OR ((1 <= p0) AND (1 <= p13))))
lola: processed formula length: 127
lola: 36 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 2490392 markings, 4892120 edges, 498078 markings/sec, 0 secs
lola: 4401860 markings, 8710255 edges, 382294 markings/sec, 5 secs
lola: 6436577 markings, 12774872 edges, 406943 markings/sec, 10 secs
lola: 8517283 markings, 16930791 edges, 416141 markings/sec, 15 secs
lola: 10554211 markings, 20999858 edges, 407386 markings/sec, 20 secs
lola: 12557332 markings, 25001137 edges, 400624 markings/sec, 25 secs
lola: 14515117 markings, 28911740 edges, 391557 markings/sec, 30 secs
lola: 16439380 markings, 32755536 edges, 384853 markings/sec, 35 secs
lola: 18356812 markings, 36585564 edges, 383486 markings/sec, 40 secs
lola: 20253493 markings, 40374166 edges, 379336 markings/sec, 45 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown no no yes no no unknown unknown unknown no unknown
lola:
preliminary result: no unknown no no yes no no unknown unknown unknown no unknown
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no no yes no no unknown unknown unknown no unknown
lola: memory consumption: 2701500 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no no yes no no unknown unknown unknown no unknown
lola: memory consumption: 2701500 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ClientsAndServers-PT-N0200P0"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itslola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itslola"
echo " Input is ClientsAndServers-PT-N0200P0, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r168-smll-158987806400226"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0200P0.tgz
mv ClientsAndServers-PT-N0200P0 execution
cd execution
if [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "UpperBounds" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] || [ "LTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "LTLFireability" = "ReachabilityDeadlock" ] || [ "LTLFireability" = "QuasiLiveness" ] || [ "LTLFireability" = "StableMarking" ] || [ "LTLFireability" = "Liveness" ] || [ "LTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;