About the Execution of 2019-Gold for ClientsAndServers-PT-N0050P0
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15919.390 | 3570232.00 | 3566770.00 | 12965.70 | ?FFTFFT?F?TF?FF? | 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.r045-smll-158902068300054.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 win2019
Input is ClientsAndServers-PT-N0050P0, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r045-smll-158902068300054
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 180K
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 01:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K 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 2.9K Apr 8 14:45 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:45 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 27 08:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Mar 26 07:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K 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-N0050P0-00
FORMULA_NAME ClientsAndServers-PT-N0050P0-01
FORMULA_NAME ClientsAndServers-PT-N0050P0-02
FORMULA_NAME ClientsAndServers-PT-N0050P0-03
FORMULA_NAME ClientsAndServers-PT-N0050P0-04
FORMULA_NAME ClientsAndServers-PT-N0050P0-05
FORMULA_NAME ClientsAndServers-PT-N0050P0-06
FORMULA_NAME ClientsAndServers-PT-N0050P0-07
FORMULA_NAME ClientsAndServers-PT-N0050P0-08
FORMULA_NAME ClientsAndServers-PT-N0050P0-09
FORMULA_NAME ClientsAndServers-PT-N0050P0-10
FORMULA_NAME ClientsAndServers-PT-N0050P0-11
FORMULA_NAME ClientsAndServers-PT-N0050P0-12
FORMULA_NAME ClientsAndServers-PT-N0050P0-13
FORMULA_NAME ClientsAndServers-PT-N0050P0-14
FORMULA_NAME ClientsAndServers-PT-N0050P0-15
=== Now, execution of the tool begins
BK_START 1589290405694
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ ClientsAndServers-PT-N0050P0 @ 3570 seconds
FORMULA ClientsAndServers-PT-N0050P0-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-03 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-06 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-07 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA ClientsAndServers-PT-N0050P0-09 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-N0050P0
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: A (F (G (X (F (X ((NOT(G (FIREABLE(csF))) U (X (F (X (FIREABLE(maU)))) U FIREABLE(maU))))))))) : A ((F (X (F (FIREABLE(srR)))) AND (NOT FIREABLE(mfU) U G (FIREABLE(srR))))) : A (G (FIREABLE(srF))) : A ((NOT FIREABLE(ssF) OR NOT(X (F (X ((FIREABLE(mrF) AND X (FIREABLE(mrR))))))))) : A ((((FIREABLE(ssG) AND FIREABLE(ssF)) OR (FIREABLE(msA) AND F (NOT(X (FIREABLE(srF)))))) AND G ((FIREABLE(crG) AND FIREABLE(ssF))))) : A (G (NOT((X (FIREABLE(msG)) AND F (((FIREABLE(crA) AND FIREABLE(srR)) OR (FIREABLE(csR) U NOT FIREABLE(crA)))))))) : A (F ((FIREABLE(csR) AND (NOT FIREABLE(csR) OR NOT FIREABLE(ssR))))) : A (NOT(X (G ((X (FIREABLE(csR)) AND (FIREABLE(srR) U FIREABLE(msG))))))) : A ((NOT FIREABLE(srA) AND NOT(X (((G (FIREABLE(mfU)) OR X (FIREABLE(csF))) OR F (FIREABLE(msG))))))) : A (F (X ((G (FIREABLE(csR)) U NOT((F (FIREABLE(csR)) AND G (X (F (G (FIREABLE(srR))))))))))) : A (NOT((G (FIREABLE(maU)) AND F (X (FIREABLE(mrR)))))) : A (X (F ((G (F (FIREABLE(msA))) OR F ((FIREABLE(srG) AND FIREABLE(msA))))))) : A (X (F (((F (FIREABLE(mrR)) U FIREABLE(ssF)) AND X (X (FIREABLE(maU))))))) : A (X (((F (FIREABLE(crG)) AND X ((FIREABLE(crG) OR F (FIREABLE(msA))))) OR (F (FIREABLE(srF)) U FIREABLE(crA))))) : A (NOT(G (NOT(X (F (((FIREABLE(crG) AND G (FIREABLE(msA))) AND G (FIREABLE(csR))))))))) : A ((F (G (X (NOT FIREABLE(srF)))) OR (F (G (FIREABLE(maU))) U G (F (FIREABLE(maU))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
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:254
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:318
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:536
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:551
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:522
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
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:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:428
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (X (F (FIREABLE(srR)))) AND A ((NOT FIREABLE(mfU) U G (FIREABLE(srR)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(mfU) U G (FIREABLE(srR))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((NOT FIREABLE(mfU) U G (FIREABLE(srR))))
lola: processed formula length: 43
lola: 100 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: 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: 438 markings, 438 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((NOT FIREABLE(ssF) OR X (X (G ((NOT FIREABLE(mrF) OR X (NOT FIREABLE(mrR))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((NOT FIREABLE(ssF) OR X (X (G ((NOT FIREABLE(mrF) OR X (NOT FIREABLE(mrR))))))))
lola: processed formula length: 83
lola: 100 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: 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: 1 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (A (((FIREABLE(ssG) AND FIREABLE(ssF)) OR (FIREABLE(msA) AND X (F (NOT FIREABLE(srF)))))) AND A (G ((FIREABLE(crG) AND FIREABLE(ssF)))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(crG) AND FIREABLE(ssF))))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((FIREABLE(crG) AND FIREABLE(ssF))))
lola: processed formula length: 41
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (NOT FIREABLE(crG) OR NOT FIREABLE(ssF))
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 3 literals and 3 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((X (NOT FIREABLE(msG)) OR G (((NOT FIREABLE(crA) OR NOT FIREABLE(srR)) AND (NOT FIREABLE(csR) R FIREABLE(crA)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G ((X (NOT FIREABLE(msG)) OR G (((NOT FIREABLE(crA) OR NOT FIREABLE(srR)) AND (NOT FIREABLE(csR) R FIREABLE(crA)))))))
lola: processed formula length: 122
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 2513 markings, 2513 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((X (NOT FIREABLE(csR)) OR (NOT FIREABLE(srR) R NOT FIREABLE(msG))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((X (NOT FIREABLE(csR)) OR (NOT FIREABLE(srR) R NOT FIREABLE(msG))))))
lola: processed formula length: 78
lola: 100 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: 2648788 markings, 5228116 edges, 529758 markings/sec, 0 secs
lola: 4939752 markings, 10165639 edges, 458193 markings/sec, 5 secs
lola: 6549526 markings, 14174154 edges, 321955 markings/sec, 10 secs
lola: 8354939 markings, 18619324 edges, 361083 markings/sec, 15 secs
lola: 9836267 markings, 22307918 edges, 296266 markings/sec, 20 secs
lola: 11604708 markings, 26711510 edges, 353688 markings/sec, 25 secs
lola: 13709046 markings, 30704749 edges, 420868 markings/sec, 30 secs
lola: 15833504 markings, 34236179 edges, 424892 markings/sec, 35 secs
lola: 18070239 markings, 37954204 edges, 447347 markings/sec, 40 secs
lola: 20022570 markings, 41723448 edges, 390466 markings/sec, 45 secs
lola: 21891741 markings, 45455588 edges, 373834 markings/sec, 50 secs
lola: 23836175 markings, 49338056 edges, 388887 markings/sec, 55 secs
lola: 25729119 markings, 53077043 edges, 378589 markings/sec, 60 secs
lola: 27495115 markings, 56603235 edges, 353199 markings/sec, 65 secs
lola: 29305778 markings, 60218563 edges, 362133 markings/sec, 70 secs
lola: 31464156 markings, 64464608 edges, 431676 markings/sec, 75 secs
lola: 33599753 markings, 69159945 edges, 427119 markings/sec, 80 secs
lola: 35635850 markings, 73745945 edges, 407219 markings/sec, 85 secs
lola: 37627185 markings, 78335605 edges, 398267 markings/sec, 90 secs
lola: 39601410 markings, 82953917 edges, 394845 markings/sec, 95 secs
lola: 41552128 markings, 87583525 edges, 390144 markings/sec, 100 secs
lola: 43401394 markings, 92147647 edges, 369853 markings/sec, 105 secs
lola: 45343413 markings, 96417864 edges, 388404 markings/sec, 110 secs
lola: 47214864 markings, 100970932 edges, 374290 markings/sec, 115 secs
lola: 49062174 markings, 105332000 edges, 369462 markings/sec, 120 secs
lola: 50896240 markings, 109675417 edges, 366813 markings/sec, 125 secs
lola: 52706088 markings, 114065420 edges, 361970 markings/sec, 130 secs
lola: 54518127 markings, 118307911 edges, 362408 markings/sec, 135 secs
lola: 56308299 markings, 122551926 edges, 358034 markings/sec, 140 secs
lola: 58062784 markings, 126821932 edges, 350897 markings/sec, 145 secs
lola: 59789864 markings, 130767098 edges, 345416 markings/sec, 150 secs
lola: 61425212 markings, 135243848 edges, 327070 markings/sec, 155 secs
lola: 63260557 markings, 139150179 edges, 367069 markings/sec, 160 secs
lola: 64992738 markings, 143408185 edges, 346436 markings/sec, 165 secs
lola: 66637865 markings, 147441132 edges, 329025 markings/sec, 170 secs
lola: 68296755 markings, 151171206 edges, 331778 markings/sec, 175 secs
lola: 69992556 markings, 155544044 edges, 339160 markings/sec, 180 secs
lola: 71723773 markings, 159575706 edges, 346243 markings/sec, 185 secs
lola: 73414350 markings, 163434334 edges, 338115 markings/sec, 190 secs
lola: 75114274 markings, 167902289 edges, 339985 markings/sec, 195 secs
lola: 76854840 markings, 171919345 edges, 348113 markings/sec, 200 secs
lola: 78535064 markings, 175758767 edges, 336045 markings/sec, 205 secs
lola: 80221458 markings, 180085321 edges, 337279 markings/sec, 210 secs
lola: 81858900 markings, 184146164 edges, 327488 markings/sec, 215 secs
lola: 83582815 markings, 187968656 edges, 344783 markings/sec, 220 secs
lola: 85277521 markings, 191976755 edges, 338941 markings/sec, 225 secs
lola: 86768965 markings, 196324040 edges, 298289 markings/sec, 230 secs
lola: 88619293 markings, 200199525 edges, 370066 markings/sec, 235 secs
lola: 90224681 markings, 203876665 edges, 321078 markings/sec, 240 secs
lola: 91911799 markings, 208332994 edges, 337424 markings/sec, 245 secs
lola: 93520908 markings, 212341269 edges, 321822 markings/sec, 250 secs
lola: 95232154 markings, 216092758 edges, 342249 markings/sec, 255 secs
lola: 96831257 markings, 219807193 edges, 319821 markings/sec, 260 secs
lola: 98431080 markings, 224214539 edges, 319965 markings/sec, 265 secs
lola: 100071428 markings, 228077249 edges, 328070 markings/sec, 270 secs
lola: 101732999 markings, 231784533 edges, 332314 markings/sec, 275 secs
lola: 103295890 markings, 235414019 edges, 312578 markings/sec, 280 secs
lola: 104877694 markings, 239747518 edges, 316361 markings/sec, 285 secs
lola: 106419033 markings, 243564332 edges, 308268 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown yes no no unknown unknown unknown unknown unknown unknown unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (NOT FIREABLE(srA) AND (A (X (F (NOT FIREABLE(mfU)))) AND (A (X (X (NOT FIREABLE(csF)))) AND A (X (G (NOT FIREABLE(msG)))))))
lola: ========================================
lola: SUBTASK
lola: checking a Boolean combination of formulas
lola: RUNNING
lola: subprocess 5 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: NOT FIREABLE(srA)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: NOT FIREABLE(srA)
lola: processed formula length: 17
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (NOT FIREABLE(msG))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (NOT FIREABLE(msG))))
lola: processed formula length: 29
lola: 100 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: 2501 markings, 2501 edges
lola: ========================================
lola: SUBRESULT
lola: result: no
lola: The Boolean predicate is false.
lola: ========================================
lola: subprocess 6 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((G (NOT FIREABLE(csR)) OR (G (F (NOT FIREABLE(srR))) OR (G (FIREABLE(csR)) AND F ((G (NOT FIREABLE(csR)) OR G (F (NOT FIREABLE(srR)))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((G (NOT FIREABLE(csR)) OR (G (F (NOT FIREABLE(srR))) OR (G (FIREABLE(csR)) AND F ((G (NOT FIREABLE(csR)) OR G (F (NOT FIREABLE(srR)))))))))))
lola: processed formula length: 150
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 23 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: 1531940 markings, 6813843 edges, 306388 markings/sec, 0 secs
lola: 3075942 markings, 13716209 edges, 308800 markings/sec, 5 secs
lola: 4456448 markings, 20414768 edges, 276101 markings/sec, 10 secs
lola: 5451646 markings, 26356142 edges, 199040 markings/sec, 15 secs
lola: 6473197 markings, 32455264 edges, 204310 markings/sec, 20 secs
lola: 7524852 markings, 38733935 edges, 210331 markings/sec, 25 secs
lola: 8595204 markings, 45123819 edges, 214070 markings/sec, 30 secs
lola: 9547323 markings, 50808126 edges, 190424 markings/sec, 35 secs
lola: 10523572 markings, 56636648 edges, 195250 markings/sec, 40 secs
lola: 11523254 markings, 62605475 edges, 199936 markings/sec, 45 secs
lola: 12735381 markings, 68730401 edges, 242425 markings/sec, 50 secs
lola: 13999064 markings, 75118288 edges, 252737 markings/sec, 55 secs
lola: 15280999 markings, 81511981 edges, 256387 markings/sec, 60 secs
lola: 16552627 markings, 87854612 edges, 254326 markings/sec, 65 secs
lola: 17814729 markings, 94145777 edges, 252420 markings/sec, 70 secs
lola: 19059507 markings, 100352581 edges, 248956 markings/sec, 75 secs
lola: 20311536 markings, 106596699 edges, 250406 markings/sec, 80 secs
lola: 21549064 markings, 112774397 edges, 247506 markings/sec, 85 secs
lola: 22784881 markings, 118939288 edges, 247163 markings/sec, 90 secs
lola: 24039498 markings, 125191968 edges, 250923 markings/sec, 95 secs
lola: 25278411 markings, 131372160 edges, 247783 markings/sec, 100 secs
lola: 26528430 markings, 137604146 edges, 250004 markings/sec, 105 secs
lola: 27775049 markings, 143821408 edges, 249324 markings/sec, 110 secs
lola: 29014318 markings, 150000845 edges, 247854 markings/sec, 115 secs
lola: 30283241 markings, 156329040 edges, 253785 markings/sec, 120 secs
lola: 31557932 markings, 162685573 edges, 254938 markings/sec, 125 secs
lola: 32821117 markings, 168984855 edges, 252637 markings/sec, 130 secs
lola: 34086481 markings, 175291832 edges, 253073 markings/sec, 135 secs
lola: 35342828 markings, 181558968 edges, 251269 markings/sec, 140 secs
lola: 36602440 markings, 187841511 edges, 251922 markings/sec, 145 secs
lola: 37869374 markings, 194158264 edges, 253387 markings/sec, 150 secs
lola: 39123287 markings, 200411305 edges, 250783 markings/sec, 155 secs
lola: 40386073 markings, 206706684 edges, 252557 markings/sec, 160 secs
lola: 41642478 markings, 212972875 edges, 251281 markings/sec, 165 secs
lola: 42889473 markings, 219189362 edges, 249399 markings/sec, 170 secs
lola: 44180679 markings, 225630770 edges, 258241 markings/sec, 175 secs
lola: 45462375 markings, 232020681 edges, 256339 markings/sec, 180 secs
lola: 46740720 markings, 238394603 edges, 255669 markings/sec, 185 secs
lola: 48017762 markings, 244764169 edges, 255408 markings/sec, 190 secs
lola: 49290427 markings, 251110401 edges, 254533 markings/sec, 195 secs
lola: 50590761 markings, 257596717 edges, 260067 markings/sec, 200 secs
lola: 51903427 markings, 264142043 edges, 262533 markings/sec, 205 secs
lola: 53209328 markings, 270655691 edges, 261180 markings/sec, 210 secs
lola: 54539602 markings, 277290830 edges, 266055 markings/sec, 215 secs
lola: 55715537 markings, 283199665 edges, 235187 markings/sec, 220 secs
lola: 56834142 markings, 288778272 edges, 223721 markings/sec, 225 secs
lola: 57948310 markings, 294335263 edges, 222834 markings/sec, 230 secs
lola: 59063314 markings, 299895990 edges, 223001 markings/sec, 235 secs
lola: 60193680 markings, 305531179 edges, 226073 markings/sec, 240 secs
lola: 61325418 markings, 311175981 edges, 226348 markings/sec, 245 secs
lola: 62457352 markings, 316821265 edges, 226387 markings/sec, 250 secs
lola: 63593952 markings, 322487765 edges, 227320 markings/sec, 255 secs
lola: 64754872 markings, 328278401 edges, 232184 markings/sec, 260 secs
lola: 65926834 markings, 334122163 edges, 234392 markings/sec, 265 secs
lola: 67118042 markings, 340100235 edges, 238242 markings/sec, 270 secs
lola: 68222661 markings, 345609199 edges, 220924 markings/sec, 275 secs
lola: 69300451 markings, 350983426 edges, 215558 markings/sec, 280 secs
lola: 70376006 markings, 356349075 edges, 215111 markings/sec, 285 secs
lola: 71453539 markings, 361721948 edges, 215507 markings/sec, 290 secs
lola: 72545895 markings, 367169630 edges, 218471 markings/sec, 295 secs
lola: 73635455 markings, 372602730 edges, 217912 markings/sec, 300 secs
lola: 74729863 markings, 378060841 edges, 218882 markings/sec, 305 secs
lola: 75826711 markings, 383530952 edges, 219370 markings/sec, 310 secs
lola: 76946442 markings, 389112512 edges, 223946 markings/sec, 315 secs
lola: 78072824 markings, 394730377 edges, 225276 markings/sec, 320 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown yes no no unknown unknown no unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 10238964 KB
lola: time consumption: 629 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 7 will run for 326 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (NOT FIREABLE(maU)) OR X (G (NOT FIREABLE(mrR)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (NOT FIREABLE(maU)) OR X (G (NOT FIREABLE(mrR)))))
lola: processed formula length: 56
lola: 100 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: 1 markings, 0 edges
lola: ========================================
lola: subprocess 8 will run for 367 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((G (F (FIREABLE(msA))) OR F ((FIREABLE(srG) AND FIREABLE(msA)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((G (F (FIREABLE(msA))) OR F ((FIREABLE(srG) AND FIREABLE(msA)))))))
lola: processed formula length: 76
lola: 100 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: 2501 markings, 2501 edges
lola: ========================================
lola: subprocess 9 will run for 420 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F (((F (FIREABLE(mrR)) U FIREABLE(ssF)) AND X (X (FIREABLE(maU)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (((F (FIREABLE(mrR)) U FIREABLE(ssF)) AND X (X (FIREABLE(maU)))))))
lola: processed formula length: 75
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 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: 1539961 markings, 6327581 edges, 307992 markings/sec, 0 secs
lola: 2941431 markings, 12536670 edges, 280294 markings/sec, 5 secs
lola: 4448774 markings, 19331989 edges, 301469 markings/sec, 10 secs
lola: 5900862 markings, 25945870 edges, 290418 markings/sec, 15 secs
lola: 7327844 markings, 32487267 edges, 285396 markings/sec, 20 secs
lola: 8767479 markings, 39114301 edges, 287927 markings/sec, 25 secs
lola: 10207148 markings, 45777405 edges, 287934 markings/sec, 30 secs
lola: 11580240 markings, 52157516 edges, 274618 markings/sec, 35 secs
lola: 13014530 markings, 58823170 edges, 286858 markings/sec, 40 secs
lola: 14367591 markings, 65147141 edges, 270612 markings/sec, 45 secs
lola: 15795352 markings, 71813612 edges, 285552 markings/sec, 50 secs
lola: 17139272 markings, 78109911 edges, 268784 markings/sec, 55 secs
lola: 18515373 markings, 84587248 edges, 275220 markings/sec, 60 secs
lola: 19894127 markings, 91032630 edges, 275751 markings/sec, 65 secs
lola: 21220914 markings, 97288904 edges, 265357 markings/sec, 70 secs
lola: 22637292 markings, 103958346 edges, 283276 markings/sec, 75 secs
lola: 23960083 markings, 110176754 edges, 264558 markings/sec, 80 secs
lola: 25280347 markings, 116424336 edges, 264053 markings/sec, 85 secs
lola: 26694401 markings, 123104043 edges, 282811 markings/sec, 90 secs
lola: 28008475 markings, 129291341 edges, 262815 markings/sec, 95 secs
lola: 29313729 markings, 135483401 edges, 261051 markings/sec, 100 secs
lola: 30681417 markings, 141981437 edges, 273538 markings/sec, 105 secs
lola: 32043301 markings, 148387337 edges, 272377 markings/sec, 110 secs
lola: 33338957 markings, 154538637 edges, 259131 markings/sec, 115 secs
lola: 34648200 markings, 160768333 edges, 261849 markings/sec, 120 secs
lola: 36056005 markings, 167447376 edges, 281561 markings/sec, 125 secs
lola: 37352785 markings, 173575471 edges, 259356 markings/sec, 130 secs
lola: 38640566 markings, 179705098 edges, 257556 markings/sec, 135 secs
lola: 39946407 markings, 185933984 edges, 261168 markings/sec, 140 secs
lola: 41349114 markings, 192602830 edges, 280541 markings/sec, 145 secs
lola: 42642966 markings, 198721940 edges, 258770 markings/sec, 150 secs
lola: 43924424 markings, 204831942 edges, 256292 markings/sec, 155 secs
lola: 45215721 markings, 211002412 edges, 258259 markings/sec, 160 secs
lola: 46577177 markings, 217513663 edges, 272291 markings/sec, 165 secs
lola: 47920259 markings, 223851641 edges, 268616 markings/sec, 170 secs
lola: 49191279 markings, 229913025 edges, 254204 markings/sec, 175 secs
lola: 50461920 markings, 235991621 edges, 254128 markings/sec, 180 secs
lola: 51766371 markings, 242235893 edges, 260890 markings/sec, 185 secs
lola: 53156328 markings, 248882727 edges, 277991 markings/sec, 190 secs
lola: 54442979 markings, 254963132 edges, 257330 markings/sec, 195 secs
lola: 55711640 markings, 261029604 edges, 253732 markings/sec, 200 secs
lola: 56968643 markings, 267047173 edges, 251401 markings/sec, 205 secs
lola: 58269133 markings, 273287411 edges, 260098 markings/sec, 210 secs
lola: 59649274 markings, 279911833 edges, 276028 markings/sec, 215 secs
lola: 60940040 markings, 285999136 edges, 258153 markings/sec, 220 secs
lola: 62194402 markings, 292000316 edges, 250872 markings/sec, 225 secs
lola: 63447453 markings, 298012937 edges, 250610 markings/sec, 230 secs
lola: 64720974 markings, 304129165 edges, 254704 markings/sec, 235 secs
lola: 66063893 markings, 310579673 edges, 268584 markings/sec, 240 secs
lola: 67406779 markings, 316941250 edges, 268577 markings/sec, 245 secs
lola: 68655473 markings, 322908541 edges, 249739 markings/sec, 250 secs
lola: 69897654 markings, 328867996 edges, 248436 markings/sec, 255 secs
lola: 71137941 markings, 334827917 edges, 248057 markings/sec, 260 secs
lola: 72416325 markings, 340977060 edges, 255677 markings/sec, 265 secs
lola: 73765370 markings, 347468020 edges, 269809 markings/sec, 270 secs
lola: 75060529 markings, 353591806 edges, 259032 markings/sec, 275 secs
lola: 76292601 markings, 359495450 edges, 246414 markings/sec, 280 secs
lola: 77525974 markings, 365414916 edges, 246675 markings/sec, 285 secs
lola: 78754819 markings, 371329211 edges, 245769 markings/sec, 290 secs
lola: 80022185 markings, 377429108 edges, 253473 markings/sec, 295 secs
lola: 81347291 markings, 383814845 edges, 265021 markings/sec, 300 secs
lola: 82658256 markings, 390026489 edges, 262193 markings/sec, 305 secs
lola: 83883697 markings, 395893479 edges, 245088 markings/sec, 310 secs
lola: 85112050 markings, 401797563 edges, 245671 markings/sec, 315 secs
lola: 86327471 markings, 407649907 edges, 243084 markings/sec, 320 secs
lola: 87565950 markings, 413613754 edges, 247696 markings/sec, 325 secs
lola: 88858352 markings, 419845141 edges, 258480 markings/sec, 330 secs
lola: 90204246 markings, 426292268 edges, 269179 markings/sec, 335 secs
lola: 91459565 markings, 432263073 edges, 251064 markings/sec, 340 secs
lola: 92688986 markings, 438168540 edges, 245884 markings/sec, 345 secs
lola: 93913684 markings, 444062771 edges, 244940 markings/sec, 350 secs
lola: 95135632 markings, 449949218 edges, 244390 markings/sec, 355 secs
lola: 96374533 markings, 455931149 edges, 247780 markings/sec, 360 secs
lola: 97663916 markings, 462150932 edges, 257877 markings/sec, 365 secs
lola: 99003711 markings, 468549406 edges, 267959 markings/sec, 370 secs
lola: 100239947 markings, 474444609 edges, 247247 markings/sec, 375 secs
lola: 101465161 markings, 480337065 edges, 245043 markings/sec, 380 secs
lola: 102683969 markings, 486211430 edges, 243762 markings/sec, 385 secs
lola: 103900786 markings, 492075209 edges, 243363 markings/sec, 390 secs
lola: 105133167 markings, 498028664 edges, 246476 markings/sec, 395 secs
lola: 106408616 markings, 504190961 edges, 255090 markings/sec, 400 secs
lola: 107730898 markings, 510572028 edges, 264456 markings/sec, 405 secs
lola: 108987737 markings, 516515721 edges, 251368 markings/sec, 410 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown yes no no unknown unknown no unknown yes no unknown unknown unknown unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 419 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (((F (FIREABLE(crG)) AND X ((FIREABLE(crG) OR F (FIREABLE(msA))))) OR (F (FIREABLE(srF)) U FIREABLE(crA)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (((F (FIREABLE(crG)) AND X ((FIREABLE(crG) OR F (FIREABLE(msA))))) OR (F (FIREABLE(srF)) U FIREABLE(crA)))))
lola: processed formula length: 113
lola: 100 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: 2501 markings, 2501 edges
lola: ========================================
lola: subprocess 11 will run for 503 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((FIREABLE(crG) AND G ((FIREABLE(msA) AND FIREABLE(csR)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((FIREABLE(crG) AND G ((FIREABLE(msA) AND FIREABLE(csR)))))))
lola: processed formula length: 69
lola: 100 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: 2502 markings, 2502 edges
lola: ========================================
lola: subprocess 12 will run for 629 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(srF)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (FIREABLE(srF)))
lola: processed formula length: 21
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(srF)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 13 will run for 839 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(csR) AND (NOT FIREABLE(csR) OR NOT FIREABLE(ssR)))))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (NOT FIREABLE(csR) OR (FIREABLE(csR) AND FIREABLE(ssR)))
lola: processed formula length: 57
lola: 102 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: state space / EG
lola: The predicate eventually occurs.
lola: 1 markings, 0 edges
lola: ========================================
lola: subprocess 14 will run for 1259 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(maU))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(maU))))
lola: processed formula length: 25
lola: 100 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: 1819737 markings, 4446170 edges, 363947 markings/sec, 0 secs
lola: 3342508 markings, 9178551 edges, 304554 markings/sec, 5 secs
lola: 4602992 markings, 13997936 edges, 252097 markings/sec, 10 secs
lola: 6089172 markings, 18402340 edges, 297236 markings/sec, 15 secs
lola: 8176119 markings, 22255935 edges, 417389 markings/sec, 20 secs
lola: 9714710 markings, 26596759 edges, 307718 markings/sec, 25 secs
lola: 11023314 markings, 31051861 edges, 261721 markings/sec, 30 secs
lola: 12292715 markings, 35723117 edges, 253880 markings/sec, 35 secs
lola: 13367954 markings, 40279832 edges, 215048 markings/sec, 40 secs
lola: 14549972 markings, 44956123 edges, 236404 markings/sec, 45 secs
lola: 15735093 markings, 49674253 edges, 237024 markings/sec, 50 secs
lola: 16806785 markings, 54311254 edges, 214338 markings/sec, 55 secs
lola: 17947608 markings, 58870797 edges, 228165 markings/sec, 60 secs
lola: 19339829 markings, 63236071 edges, 278444 markings/sec, 65 secs
lola: 20430104 markings, 67656473 edges, 218055 markings/sec, 70 secs
lola: 21417177 markings, 71986222 edges, 197415 markings/sec, 75 secs
lola: 22400462 markings, 76491597 edges, 196657 markings/sec, 80 secs
lola: 23502079 markings, 81012350 edges, 220323 markings/sec, 85 secs
lola: 24619973 markings, 85427634 edges, 223579 markings/sec, 90 secs
lola: 25962670 markings, 89865334 edges, 268539 markings/sec, 95 secs
lola: 27050586 markings, 94512891 edges, 217583 markings/sec, 100 secs
lola: 28083453 markings, 98927090 edges, 206573 markings/sec, 105 secs
lola: 29054207 markings, 103260208 edges, 194151 markings/sec, 110 secs
lola: 30471243 markings, 107519251 edges, 283407 markings/sec, 115 secs
lola: 31513878 markings, 112032397 edges, 208527 markings/sec, 120 secs
lola: 32499849 markings, 116389100 edges, 197194 markings/sec, 125 secs
lola: 33639099 markings, 120768177 edges, 227850 markings/sec, 130 secs
lola: 34701161 markings, 125283984 edges, 212412 markings/sec, 135 secs
lola: 35675058 markings, 129689047 edges, 194779 markings/sec, 140 secs
lola: 36758471 markings, 134393617 edges, 216683 markings/sec, 145 secs
lola: 37946276 markings, 138895463 edges, 237561 markings/sec, 150 secs
lola: 39089698 markings, 143566457 edges, 228684 markings/sec, 155 secs
lola: 40085129 markings, 148063348 edges, 199086 markings/sec, 160 secs
lola: 41082118 markings, 152396278 edges, 199398 markings/sec, 165 secs
lola: 42145679 markings, 156993013 edges, 212712 markings/sec, 170 secs
lola: 43280853 markings, 161650940 edges, 227035 markings/sec, 175 secs
lola: 44364257 markings, 166286049 edges, 216681 markings/sec, 180 secs
lola: 45375375 markings, 170807106 edges, 202224 markings/sec, 185 secs
lola: 46469173 markings, 175337488 edges, 218760 markings/sec, 190 secs
lola: 47545554 markings, 179900951 edges, 215276 markings/sec, 195 secs
lola: 48488629 markings, 184263619 edges, 188615 markings/sec, 200 secs
lola: 49417247 markings, 188420147 edges, 185724 markings/sec, 205 secs
lola: 50323022 markings, 192520613 edges, 181155 markings/sec, 210 secs
lola: 51219545 markings, 196685005 edges, 179305 markings/sec, 215 secs
lola: 52263861 markings, 201270629 edges, 208863 markings/sec, 220 secs
lola: 53271464 markings, 205785699 edges, 201521 markings/sec, 225 secs
lola: 54286212 markings, 210224425 edges, 202950 markings/sec, 230 secs
lola: 55135176 markings, 214258581 edges, 169793 markings/sec, 235 secs
lola: 56004329 markings, 218416845 edges, 173831 markings/sec, 240 secs
lola: 57145919 markings, 222844311 edges, 228318 markings/sec, 245 secs
lola: 58253887 markings, 227270264 edges, 221594 markings/sec, 250 secs
lola: 59349636 markings, 231841923 edges, 219150 markings/sec, 255 secs
lola: 60416928 markings, 236400754 edges, 213458 markings/sec, 260 secs
lola: 61443127 markings, 240913272 edges, 205240 markings/sec, 265 secs
lola: 62371605 markings, 245296155 edges, 185696 markings/sec, 270 secs
lola: 63319060 markings, 249589774 edges, 189491 markings/sec, 275 secs
lola: 64181734 markings, 253609266 edges, 172535 markings/sec, 280 secs
lola: 65252830 markings, 258138701 edges, 214219 markings/sec, 285 secs
lola: 66222476 markings, 262554986 edges, 193929 markings/sec, 290 secs
lola: 67274861 markings, 266937309 edges, 210477 markings/sec, 295 secs
lola: 68275242 markings, 271262913 edges, 200076 markings/sec, 300 secs
lola: 69199254 markings, 275505720 edges, 184802 markings/sec, 305 secs
lola: 70165786 markings, 279833730 edges, 193306 markings/sec, 310 secs
lola: 71076080 markings, 283998333 edges, 182059 markings/sec, 315 secs
lola: 71916451 markings, 287911493 edges, 168074 markings/sec, 320 secs
lola: 72836424 markings, 292043982 edges, 183995 markings/sec, 325 secs
lola: 73841307 markings, 296400238 edges, 200977 markings/sec, 330 secs
lola: 74915906 markings, 300811139 edges, 214920 markings/sec, 335 secs
lola: 75866163 markings, 305080859 edges, 190051 markings/sec, 340 secs
lola: 76818658 markings, 309291717 edges, 190499 markings/sec, 345 secs
lola: 77753961 markings, 313511945 edges, 187061 markings/sec, 350 secs
lola: 78697728 markings, 317693450 edges, 188753 markings/sec, 355 secs
lola: 79560847 markings, 321638572 edges, 172624 markings/sec, 360 secs
lola: 80398307 markings, 325661353 edges, 167492 markings/sec, 365 secs
lola: 81435826 markings, 330112840 edges, 207504 markings/sec, 370 secs
lola: 82371146 markings, 334423646 edges, 187064 markings/sec, 375 secs
lola: 83292930 markings, 338663567 edges, 184357 markings/sec, 380 secs
lola: 84175366 markings, 342611160 edges, 176487 markings/sec, 385 secs
lola: 84955046 markings, 346442247 edges, 155936 markings/sec, 390 secs
lola: 86029016 markings, 350953727 edges, 214794 markings/sec, 395 secs
lola: 87104505 markings, 355568778 edges, 215098 markings/sec, 400 secs
lola: 88213614 markings, 360139693 edges, 221822 markings/sec, 405 secs
lola: 89284167 markings, 364627340 edges, 214111 markings/sec, 410 secs
lola: 90319208 markings, 369049883 edges, 207008 markings/sec, 415 secs
lola: 91349870 markings, 373482133 edges, 206132 markings/sec, 420 secs
lola: 92292204 markings, 377813436 edges, 188467 markings/sec, 425 secs
lola: 93186438 markings, 382025173 edges, 178847 markings/sec, 430 secs
lola: 94227701 markings, 386401005 edges, 208253 markings/sec, 435 secs
lola: 95236095 markings, 390598769 edges, 201679 markings/sec, 440 secs
lola: 96232389 markings, 394842302 edges, 199259 markings/sec, 445 secs
lola: 97223774 markings, 399132189 edges, 198277 markings/sec, 450 secs
lola: 98229711 markings, 403428665 edges, 201187 markings/sec, 455 secs
lola: 99103970 markings, 407498532 edges, 174852 markings/sec, 460 secs
lola: 99988448 markings, 411651711 edges, 176896 markings/sec, 465 secs
lola: 100881267 markings, 415658504 edges, 178564 markings/sec, 470 secs
lola: 101725137 markings, 419586506 edges, 168774 markings/sec, 475 secs
lola: 102553615 markings, 423511336 edges, 165696 markings/sec, 480 secs
lola: 103421555 markings, 427397175 edges, 173588 markings/sec, 485 secs
lola: 104229897 markings, 431183564 edges, 161668 markings/sec, 490 secs
lola: 105082144 markings, 435132287 edges, 170449 markings/sec, 495 secs
lola: 105937767 markings, 439175819 edges, 171125 markings/sec, 500 secs
lola: 106915435 markings, 443545567 edges, 195534 markings/sec, 505 secs
lola: 107868634 markings, 447868529 edges, 190640 markings/sec, 510 secs
lola: 108795554 markings, 452160483 edges, 185384 markings/sec, 515 secs
lola: 109747388 markings, 456442912 edges, 190367 markings/sec, 520 secs
lola: 110699949 markings, 460731859 edges, 190512 markings/sec, 525 secs
lola: 110999479 markings, 462067946 edges, 59906 markings/sec, 530 secs
lola: 111265332 markings, 463236351 edges, 53171 markings/sec, 535 secs
lola: 111329091 markings, 463519284 edges, 12752 markings/sec, 540 secs
lola: 111329941 markings, 463522793 edges, 170 markings/sec, 545 secs
lola: 111334556 markings, 463542035 edges, 923 markings/sec, 550 secs
lola: 111335218 markings, 463544427 edges, 132 markings/sec, 555 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1954 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (G (NOT FIREABLE(srF))) OR (G (F (FIREABLE(maU))) OR (G (F (FIREABLE(maU))) AND F (G (FIREABLE(maU)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (G (NOT FIREABLE(srF))) OR (G (F (FIREABLE(maU))) OR (G (F (FIREABLE(maU))) AND F (G (FIREABLE(maU)))))))
lola: processed formula length: 111
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 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: 1033008 markings, 6600883 edges, 206602 markings/sec, 0 secs
lola: 2592733 markings, 12607682 edges, 311945 markings/sec, 5 secs
lola: 4091219 markings, 18213196 edges, 299697 markings/sec, 10 secs
lola: 5531926 markings, 23656295 edges, 288141 markings/sec, 15 secs
lola: 6937189 markings, 28968997 edges, 281053 markings/sec, 20 secs
lola: 8346415 markings, 34345040 edges, 281845 markings/sec, 25 secs
lola: 9732238 markings, 39597353 edges, 277165 markings/sec, 30 secs
lola: 11083026 markings, 44744216 edges, 270158 markings/sec, 35 secs
lola: 12429502 markings, 49878831 edges, 269295 markings/sec, 40 secs
lola: 13724803 markings, 54858289 edges, 259060 markings/sec, 45 secs
lola: 15055278 markings, 59922743 edges, 266095 markings/sec, 50 secs
lola: 16325466 markings, 64800480 edges, 254038 markings/sec, 55 secs
lola: 17629168 markings, 69761373 edges, 260740 markings/sec, 60 secs
lola: 18926447 markings, 74739840 edges, 259456 markings/sec, 65 secs
lola: 20203951 markings, 79647629 edges, 255501 markings/sec, 70 secs
lola: 21464088 markings, 84483045 edges, 252027 markings/sec, 75 secs
lola: 22712741 markings, 89276189 edges, 249731 markings/sec, 80 secs
lola: 23955342 markings, 94052784 edges, 248520 markings/sec, 85 secs
lola: 25189450 markings, 98790452 edges, 246822 markings/sec, 90 secs
lola: 26419247 markings, 103503866 edges, 245959 markings/sec, 95 secs
lola: 27655510 markings, 108247583 edges, 247253 markings/sec, 100 secs
lola: 28896779 markings, 113006992 edges, 248254 markings/sec, 105 secs
lola: 30113791 markings, 117683059 edges, 243402 markings/sec, 110 secs
lola: 31289884 markings, 122257367 edges, 235219 markings/sec, 115 secs
lola: 32514581 markings, 126941976 edges, 244939 markings/sec, 120 secs
lola: 33729883 markings, 131608468 edges, 243060 markings/sec, 125 secs
lola: 34912334 markings, 136145896 edges, 236490 markings/sec, 130 secs
lola: 36089770 markings, 140714478 edges, 235487 markings/sec, 135 secs
lola: 37297882 markings, 145342312 edges, 241622 markings/sec, 140 secs
lola: 38442083 markings, 149741084 edges, 228840 markings/sec, 145 secs
lola: 39617521 markings, 154297027 edges, 235088 markings/sec, 150 secs
lola: 40830416 markings, 158949750 edges, 242579 markings/sec, 155 secs
lola: 41991162 markings, 163466518 edges, 232149 markings/sec, 160 secs
lola: 43251929 markings, 168298655 edges, 252153 markings/sec, 165 secs
lola: 44463586 markings, 172946546 edges, 242331 markings/sec, 170 secs
lola: 45657488 markings, 177590885 edges, 238780 markings/sec, 175 secs
lola: 46886016 markings, 182291204 edges, 245706 markings/sec, 180 secs
lola: 48035723 markings, 186774620 edges, 229941 markings/sec, 185 secs
lola: 49260333 markings, 191459170 edges, 244922 markings/sec, 190 secs
lola: 50394075 markings, 195877709 edges, 226748 markings/sec, 195 secs
lola: 51614656 markings, 200542473 edges, 244116 markings/sec, 200 secs
lola: 52731364 markings, 204899318 edges, 223342 markings/sec, 205 secs
lola: 53939472 markings, 209517806 edges, 241622 markings/sec, 210 secs
lola: 55047373 markings, 213846162 edges, 221580 markings/sec, 215 secs
lola: 56246913 markings, 218425898 edges, 239908 markings/sec, 220 secs
lola: 57357109 markings, 222755004 edges, 222039 markings/sec, 225 secs
lola: 58538650 markings, 227269179 edges, 236308 markings/sec, 230 secs
lola: 59679503 markings, 231717581 edges, 228171 markings/sec, 235 secs
lola: 60812817 markings, 236065473 edges, 226663 markings/sec, 240 secs
lola: 62013750 markings, 240724749 edges, 240187 markings/sec, 245 secs
lola: 63115859 markings, 245026040 edges, 220422 markings/sec, 250 secs
lola: 64328162 markings, 249653003 edges, 242461 markings/sec, 255 secs
lola: 65428291 markings, 253942684 edges, 220026 markings/sec, 260 secs
lola: 66597690 markings, 258413776 edges, 233880 markings/sec, 265 secs
lola: 67719073 markings, 262783057 edges, 224277 markings/sec, 270 secs
lola: 68792190 markings, 266980228 edges, 214623 markings/sec, 275 secs
lola: 69993314 markings, 271551149 edges, 240225 markings/sec, 280 secs
lola: 71068122 markings, 275734698 edges, 214962 markings/sec, 285 secs
lola: 72154626 markings, 279907967 edges, 217301 markings/sec, 290 secs
lola: 73314684 markings, 284398154 edges, 232012 markings/sec, 295 secs
lola: 74352181 markings, 288449686 edges, 207499 markings/sec, 300 secs
lola: 75464958 markings, 292703262 edges, 222555 markings/sec, 305 secs
lola: 76554669 markings, 296937210 edges, 217942 markings/sec, 310 secs
lola: 77569543 markings, 300898024 edges, 202975 markings/sec, 315 secs
lola: 78677287 markings, 305132456 edges, 221549 markings/sec, 320 secs
lola: 79751729 markings, 309315800 edges, 214888 markings/sec, 325 secs
lola: 80764873 markings, 313265950 edges, 202629 markings/sec, 330 secs
lola: 81858788 markings, 317444170 edges, 218783 markings/sec, 335 secs
lola: 82981095 markings, 321804722 edges, 224461 markings/sec, 340 secs
lola: 84025529 markings, 325880374 edges, 208887 markings/sec, 345 secs
lola: 85122087 markings, 330077542 edges, 219312 markings/sec, 350 secs
lola: 86276715 markings, 334560626 edges, 230926 markings/sec, 355 secs
lola: 87329135 markings, 338667663 edges, 210484 markings/sec, 360 secs
lola: 88371959 markings, 342759138 edges, 208565 markings/sec, 365 secs
lola: 89565360 markings, 347290302 edges, 238680 markings/sec, 370 secs
lola: 90611560 markings, 351378530 edges, 209240 markings/sec, 375 secs
lola: 91640961 markings, 355402515 edges, 205880 markings/sec, 380 secs
lola: 92815729 markings, 359869149 edges, 234954 markings/sec, 385 secs
lola: 93872748 markings, 363983617 edges, 211404 markings/sec, 390 secs
lola: 94890388 markings, 367956203 edges, 203528 markings/sec, 395 secs
lola: 95992234 markings, 372165434 edges, 220369 markings/sec, 400 secs
lola: 97100535 markings, 376477449 edges, 221660 markings/sec, 405 secs
lola: 98123955 markings, 380478825 edges, 204684 markings/sec, 410 secs
lola: 99136021 markings, 384440070 edges, 202413 markings/sec, 415 secs
lola: 100304176 markings, 388870137 edges, 233631 markings/sec, 420 secs
lola: 101346773 markings, 392943090 edges, 208519 markings/sec, 425 secs
lola: 102350835 markings, 396865794 edges, 200812 markings/sec, 430 secs
lola: 103356744 markings, 400803978 edges, 201182 markings/sec, 435 secs
lola: 104524540 markings, 405231012 edges, 233559 markings/sec, 440 secs
lola: 105539221 markings, 409194391 edges, 202936 markings/sec, 445 secs
lola: 106529530 markings, 413059632 edges, 198062 markings/sec, 450 secs
lola: 107548251 markings, 416979572 edges, 203744 markings/sec, 455 secs
lola: 108697722 markings, 421403473 edges, 229894 markings/sec, 460 secs
lola: 109711662 markings, 425363302 edges, 202788 markings/sec, 465 secs
lola: 110702161 markings, 429246829 edges, 198100 markings/sec, 470 secs
lola: 111757062 markings, 433260738 edges, 210980 markings/sec, 475 secs
lola: 112913739 markings, 437749096 edges, 231335 markings/sec, 480 secs
lola: 113956363 markings, 441822582 edges, 208525 markings/sec, 485 secs
lola: 114984687 markings, 445838076 edges, 205665 markings/sec, 490 secs
lola: 116083960 markings, 450032372 edges, 219855 markings/sec, 495 secs
lola: 117239243 markings, 454518291 edges, 231057 markings/sec, 500 secs
lola: 118293346 markings, 458632617 edges, 210821 markings/sec, 505 secs
lola: 119323111 markings, 462668375 edges, 205953 markings/sec, 510 secs
lola: 120400199 markings, 466777636 edges, 215418 markings/sec, 515 secs
lola: 121565300 markings, 471285000 edges, 233020 markings/sec, 520 secs
lola: 122471805 markings, 474831751 edges, 181301 markings/sec, 525 secs
lola: 122471868 markings, 474831909 edges, 13 markings/sec, 530 secs
lola: 122471907 markings, 474832069 edges, 8 markings/sec, 535 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (X (F ((X (NOT FIREABLE(csR)) OR (NOT FIREABLE(srR) R NOT FIREABLE(msG))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((X (NOT FIREABLE(csR)) OR (NOT FIREABLE(srR) R NOT FIREABLE(msG))))))
lola: processed formula length: 78
lola: 100 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: 2829777 markings, 5588507 edges, 565955 markings/sec, 0 secs
lola: 5149776 markings, 10688311 edges, 464000 markings/sec, 5 secs
lola: 6812956 markings, 14829945 edges, 332636 markings/sec, 10 secs
lola: 8643883 markings, 19338900 edges, 366185 markings/sec, 15 secs
lola: 10095319 markings, 22953162 edges, 290287 markings/sec, 20 secs
lola: 11786287 markings, 27163865 edges, 338194 markings/sec, 25 secs
lola: 13791354 markings, 30841396 edges, 401013 markings/sec, 30 secs
lola: 15786045 markings, 34157082 edges, 398938 markings/sec, 35 secs
lola: 17750259 markings, 37422238 edges, 392843 markings/sec, 40 secs
lola: 19559692 markings, 40799292 edges, 361887 markings/sec, 45 secs
lola: 21327558 markings, 44329224 edges, 353573 markings/sec, 50 secs
lola: 23024773 markings, 47718053 edges, 339443 markings/sec, 55 secs
lola: 24849040 markings, 51319886 edges, 364853 markings/sec, 60 secs
lola: 26378604 markings, 54374015 edges, 305913 markings/sec, 65 secs
lola: 27944648 markings, 57500903 edges, 313209 markings/sec, 70 secs
lola: 29550293 markings, 60706794 edges, 321129 markings/sec, 75 secs
lola: 31556408 markings, 64648593 edges, 401223 markings/sec, 80 secs
lola: 33543019 markings, 69038065 edges, 397322 markings/sec, 85 secs
lola: 35446628 markings, 73332474 edges, 380722 markings/sec, 90 secs
lola: 37311511 markings, 77635480 edges, 372977 markings/sec, 95 secs
lola: 39144877 markings, 81938295 edges, 366673 markings/sec, 100 secs
lola: 40904650 markings, 86284629 edges, 351955 markings/sec, 105 secs
lola: 42756649 markings, 90326259 edges, 370400 markings/sec, 110 secs
lola: 44611690 markings, 94758261 edges, 371008 markings/sec, 115 secs
lola: 46443278 markings, 99404829 edges, 366318 markings/sec, 120 secs
lola: 48428067 markings, 103714370 edges, 396958 markings/sec, 125 secs
lola: 50302559 markings, 108381381 edges, 374898 markings/sec, 130 secs
lola: 52234329 markings, 112757335 edges, 386354 markings/sec, 135 secs
lola: 54082239 markings, 117322162 edges, 369582 markings/sec, 140 secs
lola: 55801936 markings, 121249193 edges, 343939 markings/sec, 145 secs
lola: 57394800 markings, 125506853 edges, 318573 markings/sec, 150 secs
lola: 59137735 markings, 129264115 edges, 348587 markings/sec, 155 secs
lola: 60773563 markings, 133401075 edges, 327166 markings/sec, 160 secs
lola: 62427039 markings, 137252389 edges, 330695 markings/sec, 165 secs
lola: 63996076 markings, 140827463 edges, 313807 markings/sec, 170 secs
lola: 65548293 markings, 145015559 edges, 310443 markings/sec, 175 secs
lola: 67274345 markings, 148839784 edges, 345210 markings/sec, 180 secs
lola: 68994544 markings, 152809092 edges, 344040 markings/sec, 185 secs
lola: 70676389 markings, 157500375 edges, 336369 markings/sec, 190 secs
lola: 72633721 markings, 161654620 edges, 391466 markings/sec, 195 secs
lola: 74424067 markings, 165897591 edges, 358069 markings/sec, 200 secs
lola: 76018775 markings, 170258778 edges, 318942 markings/sec, 205 secs
lola: 77837541 markings, 174168515 edges, 363753 markings/sec, 210 secs
lola: 79505371 markings, 178064888 edges, 333566 markings/sec, 215 secs
lola: 80995206 markings, 182336123 edges, 297967 markings/sec, 220 secs
lola: 82693757 markings, 185933338 edges, 339710 markings/sec, 225 secs
lola: 84299513 markings, 189607712 edges, 321151 markings/sec, 230 secs
lola: 85996886 markings, 194075199 edges, 339475 markings/sec, 235 secs
lola: 87662662 markings, 198115148 edges, 333155 markings/sec, 240 secs
lola: 89365523 markings, 201910172 edges, 340572 markings/sec, 245 secs
lola: 90898619 markings, 205502648 edges, 306619 markings/sec, 250 secs
lola: 92377812 markings, 209690782 edges, 295839 markings/sec, 255 secs
lola: 94128691 markings, 213565144 edges, 350176 markings/sec, 260 secs
lola: 95768305 markings, 217323084 edges, 327923 markings/sec, 265 secs
lola: 97438610 markings, 221316202 edges, 334061 markings/sec, 270 secs
lola: 98895543 markings, 225572819 edges, 291387 markings/sec, 275 secs
lola: 100511745 markings, 228981593 edges, 323240 markings/sec, 280 secs
lola: 102033847 markings, 232473356 edges, 304420 markings/sec, 285 secs
lola: 103481503 markings, 235866668 edges, 289531 markings/sec, 290 secs
lola: 104928745 markings, 239896532 edges, 289448 markings/sec, 295 secs
lola: 106398391 markings, 243523684 edges, 293929 markings/sec, 300 secs
lola: 107924729 markings, 246810849 edges, 305268 markings/sec, 305 secs
lola: 109408128 markings, 250217195 edges, 296680 markings/sec, 310 secs
lola: 111071722 markings, 254399318 edges, 332719 markings/sec, 315 secs
lola: 112488141 markings, 258546758 edges, 283284 markings/sec, 320 secs
lola: 114248894 markings, 262193191 edges, 352151 markings/sec, 325 secs
lola: 115798222 markings, 265752515 edges, 309866 markings/sec, 330 secs
lola: 117281767 markings, 269224008 edges, 296709 markings/sec, 335 secs
lola: 118963059 markings, 273877046 edges, 336258 markings/sec, 340 secs
lola: 120624866 markings, 277956169 edges, 332361 markings/sec, 345 secs
lola: 122027284 markings, 280962784 edges, 280484 markings/sec, 350 secs
lola: 122363396 markings, 281735239 edges, 67222 markings/sec, 355 secs
lola: 122459622 markings, 281956062 edges, 19245 markings/sec, 360 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (X (F ((G (NOT FIREABLE(csR)) OR (G (F (NOT FIREABLE(srR))) OR (G (FIREABLE(csR)) AND F ((G (NOT FIREABLE(csR)) OR G (F (NOT FIREABLE(srR)))))))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((G (NOT FIREABLE(csR)) OR (G (F (NOT FIREABLE(srR))) OR (G (FIREABLE(csR)) AND F ((G (NOT FIREABLE(csR)) OR G (F (NOT FIREABLE(srR)))))))))))
lola: processed formula length: 150
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 23 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: 1462683 markings, 6504516 edges, 292537 markings/sec, 0 secs
lola: 2868080 markings, 12786829 edges, 281079 markings/sec, 5 secs
lola: 4307893 markings, 19527771 edges, 287963 markings/sec, 10 secs
lola: 5259552 markings, 25209386 edges, 190332 markings/sec, 15 secs
lola: 6230491 markings, 31006228 edges, 194188 markings/sec, 20 secs
lola: 7221140 markings, 36921017 edges, 198130 markings/sec, 25 secs
lola: 8286472 markings, 43281014 edges, 213066 markings/sec, 30 secs
lola: 9197205 markings, 48717966 edges, 182147 markings/sec, 35 secs
lola: 10114872 markings, 54196620 edges, 183533 markings/sec, 40 secs
lola: 11050239 markings, 59781059 edges, 187073 markings/sec, 45 secs
lola: 12033603 markings, 65652207 edges, 196673 markings/sec, 50 secs
lola: 13302301 markings, 71649938 edges, 253740 markings/sec, 55 secs
lola: 14567967 markings, 77961409 edges, 253133 markings/sec, 60 secs
lola: 15821714 markings, 84211187 edges, 250749 markings/sec, 65 secs
lola: 17068852 markings, 90429054 edges, 249428 markings/sec, 70 secs
lola: 18249824 markings, 96315941 edges, 236194 markings/sec, 75 secs
lola: 19484151 markings, 102471021 edges, 246865 markings/sec, 80 secs
lola: 20720716 markings, 108646714 edges, 247313 markings/sec, 85 secs
lola: 21943729 markings, 114745646 edges, 244603 markings/sec, 90 secs
lola: 23179394 markings, 120905690 edges, 247133 markings/sec, 95 secs
lola: 24417692 markings, 127078576 edges, 247660 markings/sec, 100 secs
lola: 25644887 markings, 133196131 edges, 245439 markings/sec, 105 secs
lola: 26889302 markings, 139402159 edges, 248883 markings/sec, 110 secs
lola: 28124897 markings, 145565174 edges, 247119 markings/sec, 115 secs
lola: 29352251 markings, 151684774 edges, 245471 markings/sec, 120 secs
lola: 30620746 markings, 158010196 edges, 253699 markings/sec, 125 secs
lola: 31883240 markings, 164303265 edges, 252499 markings/sec, 130 secs
lola: 33138633 markings, 170566216 edges, 251079 markings/sec, 135 secs
lola: 34393461 markings, 176823006 edges, 250966 markings/sec, 140 secs
lola: 35642305 markings, 183049133 edges, 249769 markings/sec, 145 secs
lola: 36822869 markings, 188945664 edges, 236113 markings/sec, 150 secs
lola: 38061836 markings, 195120016 edges, 247793 markings/sec, 155 secs
lola: 39289762 markings, 201243770 edges, 245585 markings/sec, 160 secs
lola: 40528063 markings, 207420635 edges, 247660 markings/sec, 165 secs
lola: 41759382 markings, 213559170 edges, 246264 markings/sec, 170 secs
lola: 42982981 markings, 219657666 edges, 244720 markings/sec, 175 secs
lola: 44176662 markings, 225609667 edges, 238736 markings/sec, 180 secs
lola: 45394845 markings, 231683100 edges, 243637 markings/sec, 185 secs
lola: 46663948 markings, 238010674 edges, 253821 markings/sec, 190 secs
lola: 47932240 markings, 244335585 edges, 253658 markings/sec, 195 secs
lola: 49196981 markings, 250643409 edges, 252948 markings/sec, 200 secs
lola: 50484295 markings, 257061977 edges, 257463 markings/sec, 205 secs
lola: 51787352 markings, 263560939 edges, 260611 markings/sec, 210 secs
lola: 53082553 markings, 270020815 edges, 259040 markings/sec, 215 secs
lola: 54403536 markings, 276608319 edges, 264197 markings/sec, 220 secs
lola: 55584025 markings, 282543782 edges, 236098 markings/sec, 225 secs
lola: 56684259 markings, 288030610 edges, 220047 markings/sec, 230 secs
lola: 57786287 markings, 293526098 edges, 220406 markings/sec, 235 secs
lola: 58894423 markings, 299052866 edges, 221627 markings/sec, 240 secs
lola: 60008993 markings, 304611159 edges, 222914 markings/sec, 245 secs
lola: 61139226 markings, 310248443 edges, 226047 markings/sec, 250 secs
lola: 62263234 markings, 315851915 edges, 224802 markings/sec, 255 secs
lola: 63385791 markings, 321450156 edges, 224511 markings/sec, 260 secs
lola: 64534780 markings, 327181757 edges, 229798 markings/sec, 265 secs
lola: 65694127 markings, 332961616 edges, 231869 markings/sec, 270 secs
lola: 66892400 markings, 338945916 edges, 239655 markings/sec, 275 secs
lola: 67992309 markings, 344460836 edges, 219982 markings/sec, 280 secs
lola: 69061636 markings, 349792801 edges, 213865 markings/sec, 285 secs
lola: 70130810 markings, 355126079 edges, 213835 markings/sec, 290 secs
lola: 71204347 markings, 360479452 edges, 214707 markings/sec, 295 secs
lola: 72287536 markings, 365880889 edges, 216638 markings/sec, 300 secs
lola: 73378777 markings, 371322771 edges, 218248 markings/sec, 305 secs
lola: 74464719 markings, 376737743 edges, 217188 markings/sec, 310 secs
lola: 75547851 markings, 382139072 edges, 216626 markings/sec, 315 secs
lola: 76653930 markings, 387655134 edges, 221216 markings/sec, 320 secs
lola: 77765456 markings, 393198725 edges, 222305 markings/sec, 325 secs
lola: 78916608 markings, 398938249 edges, 230230 markings/sec, 330 secs
lola: 79953978 markings, 405146563 edges, 207474 markings/sec, 335 secs
lola: 81041484 markings, 411370071 edges, 217501 markings/sec, 340 secs
lola: 82065906 markings, 417503467 edges, 204884 markings/sec, 345 secs
lola: 83121847 markings, 423703889 edges, 211188 markings/sec, 350 secs
lola: 84081867 markings, 429864505 edges, 192004 markings/sec, 355 secs
lola: 85202160 markings, 436126536 edges, 224059 markings/sec, 360 secs
lola: 86198296 markings, 442169698 edges, 199227 markings/sec, 365 secs
lola: 87128166 markings, 448335029 edges, 185974 markings/sec, 370 secs
lola: 88205296 markings, 454441448 edges, 215426 markings/sec, 375 secs
lola: 89291913 markings, 460749265 edges, 217323 markings/sec, 380 secs
lola: 90257467 markings, 466658460 edges, 193111 markings/sec, 385 secs
lola: 91160865 markings, 472754164 edges, 180680 markings/sec, 390 secs
lola: 92224401 markings, 478837959 edges, 212707 markings/sec, 395 secs
lola: 93347984 markings, 485276910 edges, 224717 markings/sec, 400 secs
lola: 94312993 markings, 491151567 edges, 193002 markings/sec, 405 secs
lola: 95276319 markings, 497173312 edges, 192665 markings/sec, 410 secs
lola: 96192852 markings, 503228077 edges, 183307 markings/sec, 415 secs
lola: 97242118 markings, 509272420 edges, 209853 markings/sec, 420 secs
lola: 98337974 markings, 515593237 edges, 219171 markings/sec, 425 secs
lola: 99333321 markings, 521577375 edges, 199069 markings/sec, 430 secs
lola: 100275621 markings, 527312826 edges, 188460 markings/sec, 435 secs
lola: 101174681 markings, 533525075 edges, 179812 markings/sec, 440 secs
lola: 102194400 markings, 539606500 edges, 203944 markings/sec, 445 secs
lola: 103262251 markings, 545791299 edges, 213570 markings/sec, 450 secs
lola: 104369770 markings, 552208069 edges, 221504 markings/sec, 455 secs
lola: 105364340 markings, 558204871 edges, 198914 markings/sec, 460 secs
lola: 106310051 markings, 563947469 edges, 189142 markings/sec, 465 secs
lola: 107262434 markings, 570205579 edges, 190477 markings/sec, 470 secs
lola: 108179696 markings, 576169432 edges, 183452 markings/sec, 475 secs
lola: 109218952 markings, 582209029 edges, 207851 markings/sec, 480 secs
lola: 110285784 markings, 588411076 edges, 213366 markings/sec, 485 secs
lola: 111400478 markings, 594927103 edges, 222939 markings/sec, 490 secs
lola: 112349842 markings, 600681122 edges, 189873 markings/sec, 495 secs
lola: 113291331 markings, 606387645 edges, 188298 markings/sec, 500 secs
lola: 114250271 markings, 612565211 edges, 191788 markings/sec, 505 secs
lola: 115121151 markings, 618537906 edges, 174176 markings/sec, 510 secs
lola: 116157112 markings, 624570877 edges, 207192 markings/sec, 515 secs
lola: 117209146 markings, 630706037 edges, 210407 markings/sec, 520 secs
lola: 118287526 markings, 636997612 edges, 215676 markings/sec, 525 secs
lola: 119341433 markings, 643258323 edges, 210781 markings/sec, 530 secs
lola: 120318180 markings, 649174938 edges, 195349 markings/sec, 535 secs
lola: 121267954 markings, 654924112 edges, 189955 markings/sec, 540 secs
lola: 122224524 markings, 661257353 edges, 191314 markings/sec, 545 secs
lola: 123109712 markings, 667247948 edges, 177038 markings/sec, 550 secs
lola: 123573264 markings, 669954373 edges, 92710 markings/sec, 555 secs
lola: 123694328 markings, 670659975 edges, 24213 markings/sec, 560 secs
lola: 123695643 markings, 670667741 edges, 263 markings/sec, 565 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (X (F (((F (FIREABLE(mrR)) U FIREABLE(ssF)) AND X (X (FIREABLE(maU)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F (((F (FIREABLE(mrR)) U FIREABLE(ssF)) AND X (X (FIREABLE(maU)))))))
lola: processed formula length: 75
lola: 100 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 10 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: 1584250 markings, 6521739 edges, 316850 markings/sec, 0 secs
lola: 3112286 markings, 13301425 edges, 305607 markings/sec, 5 secs
lola: 4605543 markings, 20030591 edges, 298651 markings/sec, 10 secs
lola: 6068535 markings, 26704083 edges, 292598 markings/sec, 15 secs
lola: 7479620 markings, 33187765 edges, 282217 markings/sec, 20 secs
lola: 8912601 markings, 39786123 edges, 286596 markings/sec, 25 secs
lola: 10349636 markings, 46433476 edges, 287407 markings/sec, 30 secs
lola: 11713386 markings, 52778707 edges, 272750 markings/sec, 35 secs
lola: 13142163 markings, 59416081 edges, 285755 markings/sec, 40 secs
lola: 14475313 markings, 65652204 edges, 266630 markings/sec, 45 secs
lola: 15823067 markings, 71943284 edges, 269551 markings/sec, 50 secs
lola: 17148166 markings, 78151992 edges, 265020 markings/sec, 55 secs
lola: 18516272 markings, 84591510 edges, 273621 markings/sec, 60 secs
lola: 19880399 markings, 90967169 edges, 272825 markings/sec, 65 secs
lola: 21130259 markings, 96862634 edges, 249972 markings/sec, 70 secs
lola: 22532340 markings, 103486178 edges, 280416 markings/sec, 75 secs
lola: 23855990 markings, 109685214 edges, 264730 markings/sec, 80 secs
lola: 25057013 markings, 115366695 edges, 240205 markings/sec, 85 secs
lola: 26431546 markings, 121881699 edges, 274907 markings/sec, 90 secs
lola: 27758844 markings, 128110082 edges, 265460 markings/sec, 95 secs
lola: 29044653 markings, 134204911 edges, 257162 markings/sec, 100 secs
lola: 30369423 markings, 140497958 edges, 264954 markings/sec, 105 secs
lola: 31741862 markings, 146959625 edges, 274488 markings/sec, 110 secs
lola: 33013939 markings, 152992473 edges, 254415 markings/sec, 115 secs
lola: 34292129 markings, 159073963 edges, 255638 markings/sec, 120 secs
lola: 35532600 markings, 164981982 edges, 248094 markings/sec, 125 secs
lola: 36860460 markings, 171236301 edges, 265572 markings/sec, 130 secs
lola: 38124558 markings, 177246497 edges, 252820 markings/sec, 135 secs
lola: 39388328 markings, 183270059 edges, 252754 markings/sec, 140 secs
lola: 40719108 markings, 189621686 edges, 266156 markings/sec, 145 secs
lola: 42058528 markings, 195944535 edges, 267884 markings/sec, 150 secs
lola: 43311643 markings, 201907864 edges, 250623 markings/sec, 155 secs
lola: 44568444 markings, 207905413 edges, 251360 markings/sec, 160 secs
lola: 45862739 markings, 214093851 edges, 258859 markings/sec, 165 secs
lola: 47234353 markings, 220605692 edges, 274323 markings/sec, 170 secs
lola: 48487307 markings, 226554521 edges, 250591 markings/sec, 175 secs
lola: 49729141 markings, 232486527 edges, 248367 markings/sec, 180 secs
lola: 50939853 markings, 238279533 edges, 242142 markings/sec, 185 secs
lola: 52273555 markings, 244664527 edges, 266740 markings/sec, 190 secs
lola: 53641953 markings, 251153859 edges, 273680 markings/sec, 195 secs
lola: 54830626 markings, 256813606 edges, 237735 markings/sec, 200 secs
lola: 56070869 markings, 262746625 edges, 248049 markings/sec, 205 secs
lola: 57313486 markings, 268703538 edges, 248523 markings/sec, 210 secs
lola: 58609257 markings, 274916325 edges, 259154 markings/sec, 215 secs
lola: 59967274 markings, 281376859 edges, 271603 markings/sec, 220 secs
lola: 61203289 markings, 287258522 edges, 247203 markings/sec, 225 secs
lola: 62439446 markings, 293176018 edges, 247231 markings/sec, 230 secs
lola: 63663083 markings, 299046417 edges, 244727 markings/sec, 235 secs
lola: 64923083 markings, 305096567 edges, 252000 markings/sec, 240 secs
lola: 66249818 markings, 311474128 edges, 265347 markings/sec, 245 secs
lola: 67548281 markings, 317616688 edges, 259693 markings/sec, 250 secs
lola: 68771751 markings, 323466338 edges, 244694 markings/sec, 255 secs
lola: 69997491 markings, 329346128 edges, 245148 markings/sec, 260 secs
lola: 71223238 markings, 335235988 edges, 245149 markings/sec, 265 secs
lola: 72492191 markings, 341339310 edges, 253791 markings/sec, 270 secs
lola: 73822055 markings, 347742861 edges, 265973 markings/sec, 275 secs
lola: 75099998 markings, 353782892 edges, 255589 markings/sec, 280 secs
lola: 76321628 markings, 359630660 edges, 244326 markings/sec, 285 secs
lola: 77544178 markings, 365503232 edges, 244510 markings/sec, 290 secs
lola: 78766785 markings, 371387024 edges, 244521 markings/sec, 295 secs
lola: 80033542 markings, 377484348 edges, 253351 markings/sec, 300 secs
lola: 81356991 markings, 383861819 edges, 264690 markings/sec, 305 secs
lola: 82662494 markings, 390046778 edges, 261101 markings/sec, 310 secs
lola: 83883920 markings, 395894617 edges, 244285 markings/sec, 315 secs
lola: 85110614 markings, 401790427 edges, 245339 markings/sec, 320 secs
lola: 86326978 markings, 407647509 edges, 243273 markings/sec, 325 secs
lola: 87568165 markings, 413624378 edges, 248237 markings/sec, 330 secs
lola: 88865778 markings, 419881041 edges, 259523 markings/sec, 335 secs
lola: 90210440 markings, 426322380 edges, 268932 markings/sec, 340 secs
lola: 91466104 markings, 432294854 edges, 251133 markings/sec, 345 secs
lola: 92698560 markings, 438208311 edges, 246491 markings/sec, 350 secs
lola: 93925263 markings, 444119064 edges, 245341 markings/sec, 355 secs
lola: 95150177 markings, 450020147 edges, 244983 markings/sec, 360 secs
lola: 96397895 markings, 456037889 edges, 249544 markings/sec, 365 secs
lola: 97690476 markings, 462280407 edges, 258516 markings/sec, 370 secs
lola: 99033304 markings, 468688160 edges, 268566 markings/sec, 375 secs
lola: 100271190 markings, 474596743 edges, 247577 markings/sec, 380 secs
lola: 101500453 markings, 480508718 edges, 245853 markings/sec, 385 secs
lola: 102722492 markings, 486391844 edges, 244408 markings/sec, 390 secs
lola: 103939147 markings, 492262241 edges, 243331 markings/sec, 395 secs
lola: 105174591 markings, 498230074 edges, 247089 markings/sec, 400 secs
lola: 106458512 markings, 504433917 edges, 256784 markings/sec, 405 secs
lola: 107794266 markings, 510851964 edges, 267151 markings/sec, 410 secs
lola: 109047686 markings, 516800548 edges, 250684 markings/sec, 415 secs
lola: 110268180 markings, 522670963 edges, 244099 markings/sec, 420 secs
lola: 111487359 markings, 528542873 edges, 243836 markings/sec, 425 secs
lola: 112687403 markings, 534340619 edges, 240009 markings/sec, 430 secs
lola: 113903441 markings, 540209781 edges, 243208 markings/sec, 435 secs
lola: 115147209 markings, 546228234 edges, 248754 markings/sec, 440 secs
lola: 116439967 markings, 552477898 edges, 258552 markings/sec, 445 secs
lola: 117744539 markings, 558680711 edges, 260914 markings/sec, 450 secs
lola: 118954936 markings, 564480277 edges, 242079 markings/sec, 455 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no no yes no no yes unknown no unknown yes no unknown no no unknown lola:
caught signal User defined signal 1 - aborting LoLA
lola: lola:
preliminary result: unknown no no yes no no yes unknown no unknown yes no unknown no no unknown
preliminary result: unknown no no yes no no yes unknown no unknown yes no unknown no no unknown
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown no no yes no no yes unknown no unknown yes no unknown no no unknown
lola:
preliminary result: unknown no no yes no no yes unknown no unknown yes no unknown no no unknown
lola: memory consumption: 11836 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 11836 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
BK_STOP 1589293975926
--------------------
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-N0050P0"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="win2019"
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 win2019"
echo " Input is ClientsAndServers-PT-N0050P0, 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 r045-smll-158902068300054"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ClientsAndServers-PT-N0050P0.tgz
mv ClientsAndServers-PT-N0050P0 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 ;