About the Execution of 2020-gold for Eratosthenes-PT-500
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 5235.359 | 3600000.00 | 3557743.00 | 71667.80 | F?FFT?FFFT???F?F | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r094-tall-162048902700362.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-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 gold2020
Input is Eratosthenes-PT-500, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r094-tall-162048902700362
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 13K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 121K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 88K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.6K May 6 14:48 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 16:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 28 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:08 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 28 16:08 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 23 10:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 23 10:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Mar 22 18:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 23K Mar 22 18:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 22 09:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 22 09:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 4 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 1006K May 5 16:51 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 Eratosthenes-PT-500-00
FORMULA_NAME Eratosthenes-PT-500-01
FORMULA_NAME Eratosthenes-PT-500-02
FORMULA_NAME Eratosthenes-PT-500-03
FORMULA_NAME Eratosthenes-PT-500-04
FORMULA_NAME Eratosthenes-PT-500-05
FORMULA_NAME Eratosthenes-PT-500-06
FORMULA_NAME Eratosthenes-PT-500-07
FORMULA_NAME Eratosthenes-PT-500-08
FORMULA_NAME Eratosthenes-PT-500-09
FORMULA_NAME Eratosthenes-PT-500-10
FORMULA_NAME Eratosthenes-PT-500-11
FORMULA_NAME Eratosthenes-PT-500-12
FORMULA_NAME Eratosthenes-PT-500-13
FORMULA_NAME Eratosthenes-PT-500-14
FORMULA_NAME Eratosthenes-PT-500-15
=== Now, execution of the tool begins
BK_START 1620782390128
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
[2021-05-12 01:19:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -timeout, 3600, -rebuildPNML]
[2021-05-12 01:19:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-12 01:19:51] [INFO ] Load time of PNML (sax parser for PT used): 134 ms
[2021-05-12 01:19:51] [INFO ] Transformed 499 places.
[2021-05-12 01:19:51] [INFO ] Transformed 2191 transitions.
[2021-05-12 01:19:51] [INFO ] Parsed PT model containing 499 places and 2191 transitions in 180 ms.
Reduce places removed 95 places and 0 transitions.
Ensure Unique test removed 509 transitions
Reduce redundant transitions removed 509 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 30 ms.
Working with output stream class java.io.PrintStream
Finished random walk after 1767 steps, including 5 resets, run visited all 38 properties in 75 ms. (steps per millisecond=23 )
[2021-05-12 01:19:52] [INFO ] Initial state reduction rules for CTL removed 4 formulas.
[2021-05-12 01:19:52] [INFO ] Flatten gal took : 108 ms
FORMULA Eratosthenes-PT-500-13 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Eratosthenes-PT-500-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Eratosthenes-PT-500-08 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA Eratosthenes-PT-500-04 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2021-05-12 01:19:52] [INFO ] Flatten gal took : 62 ms
[2021-05-12 01:19:52] [INFO ] Export to MCC properties in file /home/mcc/execution/LTLFireability.sr.xml took 3 ms.
[2021-05-12 01:19:52] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml took 17 ms.
info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ Eratosthenes-PT-500 @ 3570 seconds
FORMULA Eratosthenes-PT-500-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Eratosthenes-PT-500-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: 0
rslt: Output for LTLFireability @ Eratosthenes-PT-500
{
"build":
{
"architecture": 64,
"assertions": false,
"build_hostname": "mcc2019",
"build_system": "x86_64-unknown-linux-gnu",
"optimizations": true,
"package_version": "2.0",
"svn_version": "3189M"
},
"call":
{
"exec_host": "mcc2020",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Wed May 12 01:19:53 2021
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 297
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 3,
"aconj": 2,
"adisj": 1,
"aneg": 0,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 2,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "X ((X ((F (((1 <= p37) AND (1 <= p164))) AND X (((1 <= p164) OR ((1 <= p240) AND (1 <= p250)))))) AND G ((1 <= p187))))",
"processed_size": 120,
"rewrites": 80
},
"result":
{
"edges": 405,
"markings": 405,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"compoundnumber": 0,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 5,
"aconj": 2,
"adisj": 0,
"aneg": 1,
"comp": 5,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 5,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 5,
"visible_transitions": 0
},
"processed": "X (X (X ((X ((F (((1 <= p134) AND (1 <= p332))) AND X (G ((1 <= p345))))) OR ((p155 <= 0) OR (p216 <= 0))))))",
"processed_size": 110,
"rewrites": 80
},
"result":
{
"edges": 406,
"markings": 406,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 8
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 1,
"aconj": 2,
"adisj": 1,
"aneg": 2,
"comp": 6,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 6,
"visible_transitions": 0
},
"processed": "(((1 <= p160) AND (1 <= p347)) R (X (G (((1 <= p76) AND (1 <= p137)))) AND F (((p134 <= 0) OR (p304 <= 0)))))",
"processed_size": 110,
"rewrites": 80
},
"result":
{
"edges": 405,
"markings": 405,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "G (F ((1 <= p309)))",
"processed_size": 19,
"rewrites": 80
},
"result":
{
"edges": 405,
"markings": 405,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "fairness",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 495
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 1,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 1,
"visible_transitions": 0
},
"processed": "G ((1 <= p142))",
"processed_size": 15,
"rewrites": 80
},
"result":
{
"edges": 405,
"markings": 405,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 660
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 2,
"G": 2,
"U": 0,
"X": 0,
"aconj": 1,
"adisj": 0,
"aneg": 0,
"comp": 4,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 4,
"taut": 0,
"tconj": 0,
"tdisj": 2,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 3,
"visible_transitions": 0
},
"processed": "F (G ((F (G ((1 <= p73))) OR ((1 <= p73) OR ((1 <= p281) AND (1 <= p303))))))",
"processed_size": 77,
"rewrites": 80
},
"result":
{
"edges": 409,
"markings": 407,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "ltl preserving/insertion"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
}
],
"exit":
{
"error": null,
"memory": 5147892,
"runtime": 3570.000000,
"signal": null,
"timelimitreached": true
},
"files":
{
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "X((X((F(**) AND X(**))) AND G(**))) : G(F((* R *))) : X(X(X((X((F(**) AND X(G(**)))) OR *)))) : (* R (X(G(**)) AND F(*))) : F(G(((F(*) AND X(*)) OR X(**)))) : G(**) : F(G((F(G(**)) OR (** OR **)))) : F((F(G(**)) OR (G(**) AND X(**)))) : (F(*) U X(X(F((F(**) AND (** AND **)))))) : F(**) : G((G(*) R F((G(*) AND *)))) : G(F(**))"
},
"net":
{
"arcs": 4238,
"conflict_clusters": 74,
"places": 404,
"places_significant": 404,
"singleton_clusters": 0,
"transitions": 1682
},
"result":
{
"interim_value": "no unknown no no unknown no no unknown unknown unknown unknown no ",
"preliminary_value": "no unknown no no unknown no no unknown unknown unknown unknown no "
},
"task":
{
"type": "compound"
}
}
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: 2086/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 404
lola: finding significant places
lola: 404 places, 1682 transitions, 404 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: X (((X (F (((1 <= p37) AND (1 <= p164)))) AND X (X (((1 <= p164) OR ((1 <= p240) AND (1 <= p250)))))) AND G ((1 <= p187)))) : F (G (F (NOT(((1 <= p194) U ((1 <= p56) AND (1 <= p79))))))) : X (NOT(X ((X (X ((NOT(F (((1 <= p134) AND (1 <= p332)))) OR NOT(X (G ((1 <= p345))))))) AND X (((1 <= p155) AND (1 <= p216))))))) : NOT((((p160 <= 0) OR (p347 <= 0)) U (NOT(X (G (((1 <= p76) AND (1 <= p137))))) OR G (((1 <= p134) AND (1 <= p304)))))) : F (NOT(F (((G ((1 <= p247)) OR X (((1 <= p264) AND (1 <= p333)))) AND NOT(X (((1 <= p264) AND (1 <= p333)))))))) : G ((1 <= p142)) : (((1 <= p129) OR ((1 <= p281) AND (1 <= p303))) U F (G (((F (G ((1 <= p73))) OR (1 <= p73)) OR ((1 <= p281) AND (1 <= p303)))))) : F ((G (F (G (((p53 <= 0) OR (p165 <= 0))))) OR (G (((p136 <= 0) OR (p146 <= 0))) AND X (((1 <= p136) AND (1 <= p146)))))) : (NOT(G ((1 <= p339))) U NOT(X (X (NOT(F (((F ((1 <= p339)) AND (1 <= p138)) AND (1 <= p372)))))))) : F (((p139 <= 0) OR (p315 <= 0))) : G (NOT((F (((1 <= p229) AND (1 <= p317))) U G ((F (((1 <= p229) AND (1 <= p317))) OR ((1 <= p229) AND (1 <= p317))))))) : G (NOT(F (NOT(F ((1 <= p309))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:525
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:371
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:525
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:300
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:338
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:332
lola: rewrite Frontend/Parser/formula_rewrite.k:300
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:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
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:335
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:254
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:374
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:251
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:315
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:335
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:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
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:338
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:318
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:297
lola: rewrite Frontend/Parser/formula_rewrite.k:332
lola: rewrite Frontend/Parser/formula_rewrite.k:329
lola: rewrite Frontend/Parser/formula_rewrite.k:300
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X ((X ((F (((1 <= p37) AND (1 <= p164))) AND X (((1 <= p164) OR ((1 <= p240) AND (1 <= p250)))))) AND G ((1 <= p187))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X ((X ((F (((1 <= p37) AND (1 <= p164))) AND X (((1 <= p164) OR ((1 <= p240) AND (1 <= p250)))))) AND G ((1 <= p187))))
lola: processed formula length: 120
lola: 80 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: 405 markings, 405 edges
lola: ========================================
lola: subprocess 1 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: X (X (X ((X ((F (((1 <= p134) AND (1 <= p332))) AND X (G ((1 <= p345))))) OR ((p155 <= 0) OR (p216 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: X (X (X ((X ((F (((1 <= p134) AND (1 <= p332))) AND X (G ((1 <= p345))))) OR ((p155 <= 0) OR (p216 <= 0))))))
lola: processed formula length: 110
lola: 80 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: 406 markings, 406 edges
lola: ========================================
lola: subprocess 2 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (((1 <= p160) AND (1 <= p347)) R (X (G (((1 <= p76) AND (1 <= p137)))) AND F (((p134 <= 0) OR (p304 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (((1 <= p160) AND (1 <= p347)) R (X (G (((1 <= p76) AND (1 <= p137)))) AND F (((p134 <= 0) OR (p304 <= 0)))))
lola: processed formula length: 110
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 405 markings, 405 edges
lola: ========================================
lola: subprocess 3 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G (((F ((p247 <= 0)) AND X (((p264 <= 0) OR (p333 <= 0)))) OR X (((1 <= p264) AND (1 <= p333))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G (((F ((p247 <= 0)) AND X (((p264 <= 0) OR (p333 <= 0)))) OR X (((1 <= p264) AND (1 <= p333))))))
lola: processed formula length: 102
lola: 80 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: 164477 markings, 1386178 edges, 32895 markings/sec, 0 secs
lola: 312065 markings, 2775921 edges, 29518 markings/sec, 5 secs
lola: 452774 markings, 4169598 edges, 28142 markings/sec, 10 secs
lola: 590871 markings, 5558862 edges, 27619 markings/sec, 15 secs
lola: 730203 markings, 6951421 edges, 27866 markings/sec, 20 secs
lola: 862622 markings, 8341136 edges, 26484 markings/sec, 25 secs
lola: 987903 markings, 9728837 edges, 25056 markings/sec, 30 secs
lola: 1121147 markings, 11115310 edges, 26649 markings/sec, 35 secs
lola: 1259386 markings, 12507698 edges, 27648 markings/sec, 40 secs
lola: 1391650 markings, 13897344 edges, 26453 markings/sec, 45 secs
lola: 1516793 markings, 15285112 edges, 25029 markings/sec, 50 secs
lola: 1643205 markings, 16670666 edges, 25282 markings/sec, 55 secs
lola: 1768844 markings, 18057801 edges, 25128 markings/sec, 60 secs
lola: 1889685 markings, 19441767 edges, 24168 markings/sec, 65 secs
lola: 2005950 markings, 20823879 edges, 23253 markings/sec, 70 secs
lola: 2120623 markings, 22200306 edges, 22935 markings/sec, 75 secs
lola: 2264556 markings, 23595271 edges, 28787 markings/sec, 80 secs
lola: 2397213 markings, 24986223 edges, 26531 markings/sec, 85 secs
lola: 2526029 markings, 26376799 edges, 25763 markings/sec, 90 secs
lola: 2648355 markings, 27762028 edges, 24465 markings/sec, 95 secs
lola: 2778126 markings, 29151399 edges, 25954 markings/sec, 100 secs
lola: 2897481 markings, 30536378 edges, 23871 markings/sec, 105 secs
lola: 3015613 markings, 31921001 edges, 23626 markings/sec, 110 secs
lola: 3128359 markings, 33300170 edges, 22549 markings/sec, 115 secs
lola: 3257331 markings, 34686790 edges, 25794 markings/sec, 120 secs
lola: 3380265 markings, 36073872 edges, 24587 markings/sec, 125 secs
lola: 3501396 markings, 37459202 edges, 24226 markings/sec, 130 secs
lola: 3615489 markings, 38840131 edges, 22819 markings/sec, 135 secs
lola: 3730551 markings, 40219658 edges, 23012 markings/sec, 140 secs
lola: 3846804 markings, 41603338 edges, 23251 markings/sec, 145 secs
lola: 3955833 markings, 42981447 edges, 21806 markings/sec, 150 secs
lola: 4063044 markings, 44358531 edges, 21442 markings/sec, 155 secs
lola: 4167728 markings, 45731358 edges, 20937 markings/sec, 160 secs
lola: 4301684 markings, 47114738 edges, 26791 markings/sec, 165 secs
lola: 4436167 markings, 48505726 edges, 26897 markings/sec, 170 secs
lola: 4568394 markings, 49895118 edges, 26445 markings/sec, 175 secs
lola: 4691179 markings, 51280472 edges, 24557 markings/sec, 180 secs
lola: 4820703 markings, 52667907 edges, 25905 markings/sec, 185 secs
lola: 4944257 markings, 54054282 edges, 24711 markings/sec, 190 secs
lola: 5065225 markings, 55438077 edges, 24194 markings/sec, 195 secs
lola: 5179110 markings, 56817584 edges, 22777 markings/sec, 200 secs
lola: 5298899 markings, 58198740 edges, 23958 markings/sec, 205 secs
lola: 5426153 markings, 59587264 edges, 25451 markings/sec, 210 secs
lola: 5545984 markings, 60970574 edges, 23966 markings/sec, 215 secs
lola: 5663080 markings, 62353473 edges, 23419 markings/sec, 220 secs
lola: 5770954 markings, 63729953 edges, 21575 markings/sec, 225 secs
lola: 5891861 markings, 65113343 edges, 24181 markings/sec, 230 secs
lola: 6004404 markings, 66490354 edges, 22509 markings/sec, 235 secs
lola: 6115582 markings, 67866114 edges, 22236 markings/sec, 240 secs
lola: 6220682 markings, 69238110 edges, 21020 markings/sec, 245 secs
lola: 6330562 markings, 70610302 edges, 21976 markings/sec, 250 secs
lola: 6458950 markings, 71997705 edges, 25678 markings/sec, 255 secs
lola: 6578338 markings, 73379380 edges, 23878 markings/sec, 260 secs
lola: 6696305 markings, 74761416 edges, 23593 markings/sec, 265 secs
lola: 6806180 markings, 76136724 edges, 21975 markings/sec, 270 secs
lola: 6926572 markings, 77518067 edges, 24078 markings/sec, 275 secs
lola: 7039497 markings, 78894124 edges, 22585 markings/sec, 280 secs
lola: 7149808 markings, 80267781 edges, 22062 markings/sec, 285 secs
lola: 7255946 markings, 81642053 edges, 21228 markings/sec, 290 secs
lola: 7358263 markings, 83010198 edges, 20463 markings/sec, 295 secs
lola: 7476291 markings, 84391575 edges, 23606 markings/sec, 300 secs
lola: 7587592 markings, 85767260 edges, 22260 markings/sec, 305 secs
lola: 7698951 markings, 87142560 edges, 22272 markings/sec, 310 secs
lola: 7803701 markings, 88512753 edges, 20950 markings/sec, 315 secs
lola: 7908561 markings, 89884795 edges, 20972 markings/sec, 320 secs
lola: 8015409 markings, 91259309 edges, 21370 markings/sec, 325 secs
lola: 8115799 markings, 92625236 edges, 20078 markings/sec, 330 secs
lola: 8219001 markings, 93992249 edges, 20640 markings/sec, 335 secs
lola: 8316073 markings, 95355781 edges, 19414 markings/sec, 340 secs
lola: 8419943 markings, 96720226 edges, 20774 markings/sec, 345 secs
lola: 8562110 markings, 98102623 edges, 28433 markings/sec, 350 secs
lola: 8693599 markings, 99482655 edges, 26298 markings/sec, 355 secs
lola: 8821900 markings, 100871723 edges, 25660 markings/sec, 360 secs
lola: 8943741 markings, 102250960 edges, 24368 markings/sec, 365 secs
lola: 9072649 markings, 103633610 edges, 25782 markings/sec, 370 secs
lola: 9191063 markings, 105008522 edges, 23683 markings/sec, 375 secs
lola: 9309033 markings, 106388337 edges, 23594 markings/sec, 380 secs
lola: 9420689 markings, 107762358 edges, 22331 markings/sec, 385 secs
lola: 9549449 markings, 109143298 edges, 25752 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1549760 KB
lola: time consumption: 401 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 4 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F ((F (G (((p53 <= 0) OR (p165 <= 0)))) OR (G (((p136 <= 0) OR (p146 <= 0))) AND X (((1 <= p136) AND (1 <= p146))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F ((F (G (((p53 <= 0) OR (p165 <= 0)))) OR (G (((p136 <= 0) OR (p146 <= 0))) AND X (((1 <= p136) AND (1 <= p146))))))
lola: processed formula length: 119
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 157242 markings, 1396519 edges, 31448 markings/sec, 0 secs
lola: 297302 markings, 2793820 edges, 28012 markings/sec, 5 secs
lola: 433254 markings, 4189339 edges, 27190 markings/sec, 10 secs
lola: 563269 markings, 5581239 edges, 26003 markings/sec, 15 secs
lola: 698534 markings, 6975711 edges, 27053 markings/sec, 20 secs
lola: 824903 markings, 8366816 edges, 25274 markings/sec, 25 secs
lola: 948056 markings, 9756460 edges, 24631 markings/sec, 30 secs
lola: 1065138 markings, 11143115 edges, 23416 markings/sec, 35 secs
lola: 1203346 markings, 12538112 edges, 27642 markings/sec, 40 secs
lola: 1329430 markings, 13931177 edges, 25217 markings/sec, 45 secs
lola: 1454257 markings, 15323902 edges, 24965 markings/sec, 50 secs
lola: 1568833 markings, 16712065 edges, 22915 markings/sec, 55 secs
lola: 1695708 markings, 18104595 edges, 25375 markings/sec, 60 secs
lola: 1813668 markings, 19493276 edges, 23592 markings/sec, 65 secs
lola: 1929932 markings, 20880301 edges, 23253 markings/sec, 70 secs
lola: 2039041 markings, 22265015 edges, 21822 markings/sec, 75 secs
lola: 2159623 markings, 23649949 edges, 24116 markings/sec, 80 secs
lola: 2292234 markings, 25042254 edges, 26522 markings/sec, 85 secs
lola: 2419135 markings, 26432944 edges, 25380 markings/sec, 90 secs
lola: 2541245 markings, 27822318 edges, 24422 markings/sec, 95 secs
lola: 2660075 markings, 29208994 edges, 23766 markings/sec, 100 secs
lola: 2783176 markings, 30598310 edges, 24620 markings/sec, 105 secs
lola: 2897407 markings, 31984202 edges, 22846 markings/sec, 110 secs
lola: 3011473 markings, 33370167 edges, 22813 markings/sec, 115 secs
lola: 3120384 markings, 34751973 edges, 21782 markings/sec, 120 secs
lola: 3242174 markings, 36139222 edges, 24358 markings/sec, 125 secs
lola: 3361064 markings, 37528257 edges, 23778 markings/sec, 130 secs
lola: 3475810 markings, 38915540 edges, 22949 markings/sec, 135 secs
lola: 3587876 markings, 40299716 edges, 22413 markings/sec, 140 secs
lola: 3695609 markings, 41681107 edges, 21547 markings/sec, 145 secs
lola: 3808626 markings, 43067031 edges, 22603 markings/sec, 150 secs
lola: 3915926 markings, 44450248 edges, 21460 markings/sec, 155 secs
lola: 4023703 markings, 45832803 edges, 21555 markings/sec, 160 secs
lola: 4124676 markings, 47213704 edges, 20195 markings/sec, 165 secs
lola: 4235261 markings, 48592732 edges, 22117 markings/sec, 170 secs
lola: 4369932 markings, 49982230 edges, 26934 markings/sec, 175 secs
lola: 4496155 markings, 51371745 edges, 25245 markings/sec, 180 secs
lola: 4618923 markings, 52758576 edges, 24554 markings/sec, 185 secs
lola: 4734515 markings, 54143577 edges, 23118 markings/sec, 190 secs
lola: 4858850 markings, 55528822 edges, 24867 markings/sec, 195 secs
lola: 4974091 markings, 56914486 edges, 23048 markings/sec, 200 secs
lola: 5091096 markings, 58298979 edges, 23401 markings/sec, 205 secs
lola: 5200005 markings, 59682099 edges, 21782 markings/sec, 210 secs
lola: 5317442 markings, 61065196 edges, 23487 markings/sec, 215 secs
lola: 5437368 markings, 62453036 edges, 23985 markings/sec, 220 secs
lola: 5553592 markings, 63839226 edges, 23245 markings/sec, 225 secs
lola: 5666167 markings, 65223897 edges, 22515 markings/sec, 230 secs
lola: 5769747 markings, 66603952 edges, 20716 markings/sec, 235 secs
lola: 5886568 markings, 67987379 edges, 23364 markings/sec, 240 secs
lola: 5995180 markings, 69368482 edges, 21722 markings/sec, 245 secs
lola: 6101195 markings, 70748564 edges, 21203 markings/sec, 250 secs
lola: 6204402 markings, 72127272 edges, 20641 markings/sec, 255 secs
lola: 6303426 markings, 73502533 edges, 19805 markings/sec, 260 secs
lola: 6427688 markings, 74886136 edges, 24852 markings/sec, 265 secs
lola: 6543902 markings, 76271315 edges, 23243 markings/sec, 270 secs
lola: 6660396 markings, 77653028 edges, 23299 markings/sec, 275 secs
lola: 6769210 markings, 79034149 edges, 21763 markings/sec, 280 secs
lola: 6879317 markings, 80412116 edges, 22021 markings/sec, 285 secs
lola: 6991460 markings, 81791185 edges, 22429 markings/sec, 290 secs
lola: 7096352 markings, 83170880 edges, 20978 markings/sec, 295 secs
lola: 7201200 markings, 84548492 edges, 20970 markings/sec, 300 secs
lola: 7302123 markings, 85923844 edges, 20185 markings/sec, 305 secs
lola: 7409932 markings, 87302003 edges, 21562 markings/sec, 310 secs
lola: 7521281 markings, 88681712 edges, 22270 markings/sec, 315 secs
lola: 7626876 markings, 90061473 edges, 21119 markings/sec, 320 secs
lola: 7730615 markings, 91439721 edges, 20748 markings/sec, 325 secs
lola: 7831440 markings, 92815468 edges, 20165 markings/sec, 330 secs
lola: 7934567 markings, 94191176 edges, 20625 markings/sec, 335 secs
lola: 8037756 markings, 95566637 edges, 20638 markings/sec, 340 secs
lola: 8133689 markings, 96940759 edges, 19187 markings/sec, 345 secs
lola: 8233311 markings, 98314021 edges, 19924 markings/sec, 350 secs
lola: 8326507 markings, 99686960 edges, 18639 markings/sec, 355 secs
lola: 8433738 markings, 101062333 edges, 21446 markings/sec, 360 secs
lola: 8567579 markings, 102449270 edges, 26768 markings/sec, 365 secs
lola: 8693705 markings, 103835453 edges, 25225 markings/sec, 370 secs
lola: 8815964 markings, 105219491 edges, 24452 markings/sec, 375 secs
lola: 8931717 markings, 106600328 edges, 23151 markings/sec, 380 secs
lola: 9055751 markings, 107984031 edges, 24807 markings/sec, 385 secs
lola: 9169928 markings, 109364307 edges, 22835 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 1523404 KB
lola: time consumption: 797 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 5 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (F ((p339 <= 0)) U X (X (F ((F ((1 <= p339)) AND ((1 <= p138) AND (1 <= p372)))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: (F ((p339 <= 0)) U X (X (F ((F ((1 <= p339)) AND ((1 <= p138) AND (1 <= p372)))))))
lola: processed formula length: 83
lola: 80 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: 268526 markings, 1333697 edges, 53705 markings/sec, 0 secs
lola: 513003 markings, 2671943 edges, 48895 markings/sec, 5 secs
lola: 758390 markings, 4009215 edges, 49077 markings/sec, 10 secs
lola: 986148 markings, 5346865 edges, 45552 markings/sec, 15 secs
lola: 1224552 markings, 6683215 edges, 47681 markings/sec, 20 secs
lola: 1453492 markings, 8020083 edges, 45788 markings/sec, 25 secs
lola: 1676342 markings, 9352732 edges, 44570 markings/sec, 30 secs
lola: 1892784 markings, 10684788 edges, 43288 markings/sec, 35 secs
lola: 2092422 markings, 12015802 edges, 39928 markings/sec, 40 secs
lola: 2337012 markings, 13349755 edges, 48918 markings/sec, 45 secs
lola: 2574660 markings, 14750060 edges, 47530 markings/sec, 50 secs
lola: 2798894 markings, 16086058 edges, 44847 markings/sec, 55 secs
lola: 3009612 markings, 17422891 edges, 42144 markings/sec, 60 secs
lola: 3221750 markings, 18755634 edges, 42428 markings/sec, 65 secs
lola: 3438864 markings, 20091870 edges, 43423 markings/sec, 70 secs
lola: 3643982 markings, 21426744 edges, 41024 markings/sec, 75 secs
lola: 3852180 markings, 22759577 edges, 41640 markings/sec, 80 secs
lola: 4047554 markings, 24091874 edges, 39075 markings/sec, 85 secs
lola: 4248312 markings, 25418482 edges, 40152 markings/sec, 90 secs
lola: 4485870 markings, 26752798 edges, 47512 markings/sec, 95 secs
lola: 4706556 markings, 28088836 edges, 44137 markings/sec, 100 secs
lola: 4932699 markings, 29422860 edges, 45229 markings/sec, 105 secs
lola: 5143025 markings, 30758267 edges, 42065 markings/sec, 110 secs
lola: 5356562 markings, 32091524 edges, 42707 markings/sec, 115 secs
lola: 5572926 markings, 33424854 edges, 43273 markings/sec, 120 secs
lola: 5772672 markings, 34758380 edges, 39949 markings/sec, 125 secs
lola: 5982602 markings, 36091597 edges, 41986 markings/sec, 130 secs
lola: 6176706 markings, 37422722 edges, 38821 markings/sec, 135 secs
lola: 6379796 markings, 38750780 edges, 40618 markings/sec, 140 secs
lola: 6596536 markings, 40084155 edges, 43348 markings/sec, 145 secs
lola: 6798994 markings, 41417534 edges, 40492 markings/sec, 150 secs
lola: 7007520 markings, 42747251 edges, 41705 markings/sec, 155 secs
lola: 7201816 markings, 44077623 edges, 38859 markings/sec, 160 secs
lola: 7395384 markings, 45402783 edges, 38714 markings/sec, 165 secs
lola: 7595330 markings, 46733927 edges, 39989 markings/sec, 170 secs
lola: 7790650 markings, 48061730 edges, 39064 markings/sec, 175 secs
lola: 7979592 markings, 49388045 edges, 37788 markings/sec, 180 secs
lola: 8164758 markings, 50711634 edges, 37033 markings/sec, 185 secs
lola: 8341765 markings, 52034062 edges, 35401 markings/sec, 190 secs
lola: 8566837 markings, 53357457 edges, 45014 markings/sec, 195 secs
lola: 8794620 markings, 54688248 edges, 45557 markings/sec, 200 secs
lola: 9017002 markings, 56017946 edges, 44476 markings/sec, 205 secs
lola: 9233210 markings, 57348875 edges, 43242 markings/sec, 210 secs
lola: 9432665 markings, 58679210 edges, 39891 markings/sec, 215 secs
lola: 9658336 markings, 60007435 edges, 45134 markings/sec, 220 secs
lola: 9867830 markings, 61337475 edges, 41899 markings/sec, 225 secs
lola: 10071916 markings, 62665424 edges, 40817 markings/sec, 230 secs
lola: 10271510 markings, 63993147 edges, 39919 markings/sec, 235 secs
lola: 10459478 markings, 65320593 edges, 37594 markings/sec, 240 secs
lola: 10678914 markings, 66647394 edges, 43887 markings/sec, 245 secs
lola: 10888272 markings, 67977289 edges, 41872 markings/sec, 250 secs
lola: 11093822 markings, 69305685 edges, 41110 markings/sec, 255 secs
lola: 11292434 markings, 70632120 edges, 39722 markings/sec, 260 secs
lola: 11485074 markings, 71963425 edges, 38528 markings/sec, 265 secs
lola: 11686382 markings, 73291130 edges, 40262 markings/sec, 270 secs
lola: 11884416 markings, 74618376 edges, 39607 markings/sec, 275 secs
lola: 12068372 markings, 75942365 edges, 36791 markings/sec, 280 secs
lola: 12261923 markings, 77267185 edges, 38710 markings/sec, 285 secs
lola: 12442046 markings, 78589291 edges, 36025 markings/sec, 290 secs
lola: 12625184 markings, 79905546 edges, 36628 markings/sec, 295 secs
lola: 12841628 markings, 81234481 edges, 43289 markings/sec, 300 secs
lola: 13052205 markings, 82565208 edges, 42115 markings/sec, 305 secs
lola: 13256840 markings, 83893115 edges, 40927 markings/sec, 310 secs
lola: 13455104 markings, 85220311 edges, 39653 markings/sec, 315 secs
lola: 13639448 markings, 86545013 edges, 36869 markings/sec, 320 secs
lola: 13848078 markings, 87872846 edges, 41726 markings/sec, 325 secs
lola: 14041674 markings, 89201196 edges, 38719 markings/sec, 330 secs
lola: 14231426 markings, 90525056 edges, 37950 markings/sec, 335 secs
lola: 14414702 markings, 91848907 edges, 36655 markings/sec, 340 secs
lola: 14597038 markings, 93172399 edges, 36467 markings/sec, 345 secs
lola: 14786460 markings, 94489115 edges, 37884 markings/sec, 350 secs
lola: 14985412 markings, 95812624 edges, 39790 markings/sec, 355 secs
lola: 15173442 markings, 97137267 edges, 37606 markings/sec, 360 secs
lola: 15365074 markings, 98461163 edges, 38326 markings/sec, 365 secs
lola: 15557752 markings, 99853544 edges, 38536 markings/sec, 370 secs
lola: 15727326 markings, 101169974 edges, 33915 markings/sec, 375 secs
lola: 15921636 markings, 102490283 edges, 38862 markings/sec, 380 secs
lola: 16102482 markings, 103810806 edges, 36169 markings/sec, 385 secs
lola: 16274836 markings, 105124942 edges, 34471 markings/sec, 390 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 2694704 KB
lola: time consumption: 1193 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 6 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (((p139 <= 0) OR (p315 <= 0)))
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:750
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: ((1 <= p139) AND (1 <= p315))
lola: processed formula length: 29
lola: 82 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: 235621 markings, 1149258 edges, 47124 markings/sec, 0 secs
lola: 478537 markings, 2310001 edges, 48583 markings/sec, 5 secs
lola: 703993 markings, 3469959 edges, 45091 markings/sec, 10 secs
lola: 951206 markings, 4614742 edges, 49443 markings/sec, 15 secs
lola: 1193347 markings, 5757820 edges, 48428 markings/sec, 20 secs
lola: 1423945 markings, 6897780 edges, 46120 markings/sec, 25 secs
lola: 1658046 markings, 8040604 edges, 46820 markings/sec, 30 secs
lola: 1905061 markings, 9178097 edges, 49403 markings/sec, 35 secs
lola: 2144390 markings, 10312035 edges, 47866 markings/sec, 40 secs
lola: 2383759 markings, 11451133 edges, 47874 markings/sec, 45 secs
lola: 2612836 markings, 12584664 edges, 45815 markings/sec, 50 secs
lola: 2887019 markings, 13942133 edges, 54837 markings/sec, 55 secs
lola: 3109161 markings, 15072781 edges, 44428 markings/sec, 60 secs
lola: 3328968 markings, 16209650 edges, 43961 markings/sec, 65 secs
lola: 3592362 markings, 17318690 edges, 52679 markings/sec, 70 secs
lola: 3853609 markings, 18418867 edges, 52249 markings/sec, 75 secs
lola: 4114870 markings, 19508475 edges, 52252 markings/sec, 80 secs
lola: 4379035 markings, 20599672 edges, 52833 markings/sec, 85 secs
lola: 4640805 markings, 21687530 edges, 52354 markings/sec, 90 secs
lola: 4893457 markings, 22771351 edges, 50530 markings/sec, 95 secs
lola: 5139133 markings, 23851145 edges, 49135 markings/sec, 100 secs
lola: 5373422 markings, 25014182 edges, 46858 markings/sec, 105 secs
lola: 5600453 markings, 26173547 edges, 45406 markings/sec, 110 secs
lola: 5819689 markings, 27338426 edges, 43847 markings/sec, 115 secs
lola: 6040483 markings, 28497831 edges, 44159 markings/sec, 120 secs
lola: 6253982 markings, 29654623 edges, 42700 markings/sec, 125 secs
lola: 6464273 markings, 30816479 edges, 42058 markings/sec, 130 secs
lola: 6708388 markings, 31983947 edges, 48823 markings/sec, 135 secs
lola: 6954177 markings, 33147860 edges, 49158 markings/sec, 140 secs
lola: 7192690 markings, 34316853 edges, 47703 markings/sec, 145 secs
lola: 7433854 markings, 35479267 edges, 48233 markings/sec, 150 secs
lola: 7668597 markings, 36636938 edges, 46949 markings/sec, 155 secs
lola: 7901349 markings, 37796717 edges, 46550 markings/sec, 160 secs
lola: 8132614 markings, 38941223 edges, 46253 markings/sec, 165 secs
lola: 8356308 markings, 40094067 edges, 44739 markings/sec, 170 secs
lola: 8574208 markings, 41245010 edges, 43580 markings/sec, 175 secs
lola: 8797937 markings, 42388410 edges, 44746 markings/sec, 180 secs
lola: 9016686 markings, 43542301 edges, 43750 markings/sec, 185 secs
lola: 9230903 markings, 44694009 edges, 42843 markings/sec, 190 secs
lola: 9448450 markings, 45833727 edges, 43509 markings/sec, 195 secs
lola: 9665023 markings, 46983775 edges, 43315 markings/sec, 200 secs
lola: 9873661 markings, 48132511 edges, 41728 markings/sec, 205 secs
lola: 10083168 markings, 49276398 edges, 41901 markings/sec, 210 secs
lola: 10293689 markings, 50418337 edges, 42104 markings/sec, 215 secs
lola: 10501091 markings, 51569430 edges, 41480 markings/sec, 220 secs
lola: 10706226 markings, 52718009 edges, 41027 markings/sec, 225 secs
lola: 10958896 markings, 53866650 edges, 50534 markings/sec, 230 secs
lola: 11199421 markings, 55029304 edges, 48105 markings/sec, 235 secs
lola: 11435958 markings, 56183179 edges, 47307 markings/sec, 240 secs
lola: 11678292 markings, 57332548 edges, 48467 markings/sec, 245 secs
lola: 11913800 markings, 58492025 edges, 47102 markings/sec, 250 secs
lola: 12149642 markings, 59641814 edges, 47168 markings/sec, 255 secs
lola: 12387888 markings, 60790721 edges, 47649 markings/sec, 260 secs
lola: 12618055 markings, 61945204 edges, 46033 markings/sec, 265 secs
lola: 12852707 markings, 63090289 edges, 46930 markings/sec, 270 secs
lola: 13085653 markings, 64238322 edges, 46589 markings/sec, 275 secs
lola: 13311596 markings, 65390317 edges, 45189 markings/sec, 280 secs
lola: 13545501 markings, 66529110 edges, 46781 markings/sec, 285 secs
lola: 13775961 markings, 67652096 edges, 46092 markings/sec, 290 secs
lola: 14007672 markings, 68791337 edges, 46342 markings/sec, 295 secs
lola: 14234193 markings, 69927122 edges, 45304 markings/sec, 300 secs
lola: 14457810 markings, 71058733 edges, 44723 markings/sec, 305 secs
lola: 14681806 markings, 72188984 edges, 44799 markings/sec, 310 secs
lola: 14905770 markings, 73312187 edges, 44793 markings/sec, 315 secs
lola: 15129965 markings, 74448810 edges, 44839 markings/sec, 320 secs
lola: 15350528 markings, 75587980 edges, 44113 markings/sec, 325 secs
lola: 15567961 markings, 76719500 edges, 43487 markings/sec, 330 secs
lola: 15786827 markings, 77847888 edges, 43773 markings/sec, 335 secs
lola: 16007715 markings, 78965830 edges, 44178 markings/sec, 340 secs
lola: 16226818 markings, 80097975 edges, 43821 markings/sec, 345 secs
lola: 16441081 markings, 81229836 edges, 42853 markings/sec, 350 secs
lola: 16654049 markings, 82358636 edges, 42594 markings/sec, 355 secs
lola: 16863035 markings, 83488758 edges, 41797 markings/sec, 360 secs
lola: 17080267 markings, 84609608 edges, 43446 markings/sec, 365 secs
lola: 17295846 markings, 85735031 edges, 43116 markings/sec, 370 secs
lola: 17507907 markings, 86869547 edges, 42412 markings/sec, 375 secs
lola: 17716643 markings, 87999192 edges, 41747 markings/sec, 380 secs
lola: 17921714 markings, 89129624 edges, 41014 markings/sec, 385 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no no unknown unknown unknown unknown unknown unknown unknown unknown
lola: memory consumption: 741960 KB
lola: time consumption: 1589 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 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F ((1 <= p309)))
lola: ========================================
lola: SUBTASK
lola: checking fairness
lola: fairness not yet implemented, converting to LTL...
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F ((1 <= p309)))
lola: processed formula length: 19
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 405 markings, 405 edges
lola: ========================================
lola: subprocess 8 will run for 495 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((1 <= p142))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((1 <= p142))
lola: processed formula length: 15
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 405 markings, 405 edges
lola: ========================================
lola: subprocess 9 will run for 660 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G ((G (((p229 <= 0) OR (p317 <= 0))) R F ((G (((p229 <= 0) OR (p317 <= 0))) AND ((p229 <= 0) OR (p317 <= 0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G ((G (((p229 <= 0) OR (p317 <= 0))) R F ((G (((p229 <= 0) OR (p317 <= 0))) AND ((p229 <= 0) OR (p317 <= 0))))))
lola: processed formula length: 115
lola: 80 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: 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: 117101 markings, 1108463 edges, 23420 markings/sec, 0 secs
lola: 240361 markings, 2426560 edges, 24652 markings/sec, 5 secs
lola: 358184 markings, 3746492 edges, 23565 markings/sec, 10 secs
lola: 473006 markings, 5063340 edges, 22964 markings/sec, 15 secs
lola: 569629 markings, 6387614 edges, 19325 markings/sec, 20 secs
lola: 691524 markings, 7701951 edges, 24379 markings/sec, 25 secs
lola: 804316 markings, 9007498 edges, 22558 markings/sec, 30 secs
lola: 907289 markings, 10326365 edges, 20595 markings/sec, 35 secs
lola: 1007206 markings, 11644548 edges, 19983 markings/sec, 40 secs
lola: 1098207 markings, 12966149 edges, 18200 markings/sec, 45 secs
lola: 1194748 markings, 14287993 edges, 19308 markings/sec, 50 secs
lola: 1309898 markings, 15600174 edges, 23030 markings/sec, 55 secs
lola: 1416647 markings, 16917266 edges, 21350 markings/sec, 60 secs
lola: 1523901 markings, 18233708 edges, 21451 markings/sec, 65 secs
lola: 1627283 markings, 19550872 edges, 20676 markings/sec, 70 secs
lola: 1718448 markings, 20869775 edges, 18233 markings/sec, 75 secs
lola: 1810931 markings, 22186422 edges, 18497 markings/sec, 80 secs
lola: 1913002 markings, 23504212 edges, 20414 markings/sec, 85 secs
lola: 2033788 markings, 24815713 edges, 24157 markings/sec, 90 secs
lola: 2145597 markings, 26125438 edges, 22362 markings/sec, 95 secs
lola: 2242446 markings, 27433545 edges, 19370 markings/sec, 100 secs
lola: 2334433 markings, 28742579 edges, 18397 markings/sec, 105 secs
lola: 2428292 markings, 30049335 edges, 18772 markings/sec, 110 secs
lola: 2532961 markings, 31355331 edges, 20934 markings/sec, 115 secs
lola: 2632646 markings, 32660941 edges, 19937 markings/sec, 120 secs
lola: 2720575 markings, 33974765 edges, 17586 markings/sec, 125 secs
lola: 2825642 markings, 35286042 edges, 21013 markings/sec, 130 secs
lola: 2934312 markings, 36594776 edges, 21734 markings/sec, 135 secs
lola: 3035745 markings, 37898004 edges, 20287 markings/sec, 140 secs
lola: 3121589 markings, 39206533 edges, 17169 markings/sec, 145 secs
lola: 3199259 markings, 40510357 edges, 15534 markings/sec, 150 secs
lola: 3281364 markings, 41827140 edges, 16421 markings/sec, 155 secs
lola: 3364463 markings, 43133422 edges, 16620 markings/sec, 160 secs
lola: 3452353 markings, 44438477 edges, 17578 markings/sec, 165 secs
lola: 3537549 markings, 45743376 edges, 17039 markings/sec, 170 secs
lola: 3615109 markings, 47054239 edges, 15512 markings/sec, 175 secs
lola: 3720342 markings, 48371213 edges, 21047 markings/sec, 180 secs
lola: 3824032 markings, 49686705 edges, 20738 markings/sec, 185 secs
lola: 3920914 markings, 50991518 edges, 19376 markings/sec, 190 secs
lola: 4001347 markings, 52297071 edges, 16087 markings/sec, 195 secs
lola: 4078113 markings, 53592187 edges, 15353 markings/sec, 200 secs
lola: 4167511 markings, 54907273 edges, 17880 markings/sec, 205 secs
lola: 4258820 markings, 56213744 edges, 18262 markings/sec, 210 secs
lola: 4348673 markings, 57516131 edges, 17971 markings/sec, 215 secs
lola: 4426035 markings, 58816338 edges, 15472 markings/sec, 220 secs
lola: 4491972 markings, 60118109 edges, 13187 markings/sec, 225 secs
lola: 4581946 markings, 61433319 edges, 17995 markings/sec, 230 secs
lola: 4671983 markings, 62748943 edges, 18007 markings/sec, 235 secs
lola: 4755605 markings, 64051258 edges, 16724 markings/sec, 240 secs
lola: 4838661 markings, 65355380 edges, 16611 markings/sec, 245 secs
lola: 4894810 markings, 66650691 edges, 11230 markings/sec, 250 secs
lola: 4959025 markings, 67952135 edges, 12843 markings/sec, 255 secs
lola: 5028961 markings, 69261075 edges, 13987 markings/sec, 260 secs
lola: 5106752 markings, 70573991 edges, 15558 markings/sec, 265 secs
lola: 5180547 markings, 71879999 edges, 14759 markings/sec, 270 secs
lola: 5263204 markings, 73187084 edges, 16531 markings/sec, 275 secs
lola: 5382487 markings, 74498348 edges, 23857 markings/sec, 280 secs
lola: 5492952 markings, 75809466 edges, 22093 markings/sec, 285 secs
lola: 5596682 markings, 77126754 edges, 20746 markings/sec, 290 secs
lola: 5695429 markings, 78448507 edges, 19749 markings/sec, 295 secs
lola: 5782784 markings, 79771318 edges, 17471 markings/sec, 300 secs
lola: 5883385 markings, 81081949 edges, 20120 markings/sec, 305 secs
lola: 5990212 markings, 82383834 edges, 21365 markings/sec, 310 secs
lola: 6087128 markings, 83683641 edges, 19383 markings/sec, 315 secs
lola: 6178660 markings, 85000770 edges, 18306 markings/sec, 320 secs
lola: 6264487 markings, 86317255 edges, 17165 markings/sec, 325 secs
lola: 6342538 markings, 87636018 edges, 15610 markings/sec, 330 secs
lola: 6427114 markings, 88946652 edges, 16915 markings/sec, 335 secs
lola: 6534066 markings, 90251272 edges, 21390 markings/sec, 340 secs
lola: 6634394 markings, 91555483 edges, 20066 markings/sec, 345 secs
lola: 6726434 markings, 92865840 edges, 18408 markings/sec, 350 secs
lola: 6820168 markings, 94178128 edges, 18747 markings/sec, 355 secs
lola: 6905563 markings, 95490684 edges, 17079 markings/sec, 360 secs
lola: 6982101 markings, 96804766 edges, 15308 markings/sec, 365 secs
lola: 7068726 markings, 98119422 edges, 17325 markings/sec, 370 secs
lola: 7166907 markings, 99432267 edges, 19636 markings/sec, 375 secs
lola: 7277338 markings, 100740272 edges, 22086 markings/sec, 380 secs
lola: 7379760 markings, 102045795 edges, 20484 markings/sec, 385 secs
lola: 7472494 markings, 103353063 edges, 18547 markings/sec, 390 secs
lola: 7554388 markings, 104655488 edges, 16379 markings/sec, 395 secs
lola: 7646523 markings, 105963057 edges, 18427 markings/sec, 400 secs
lola: 7740778 markings, 107268035 edges, 18851 markings/sec, 405 secs
lola: 7833996 markings, 108569386 edges, 18644 markings/sec, 410 secs
lola: 7920993 markings, 109873284 edges, 17399 markings/sec, 415 secs
lola: 8003370 markings, 111169300 edges, 16475 markings/sec, 420 secs
lola: 8106177 markings, 112479984 edges, 20561 markings/sec, 425 secs
lola: 8204003 markings, 113778767 edges, 19565 markings/sec, 430 secs
lola: 8295901 markings, 115074289 edges, 18380 markings/sec, 435 secs
lola: 8374022 markings, 116380570 edges, 15624 markings/sec, 440 secs
lola: 8448310 markings, 117678688 edges, 14858 markings/sec, 445 secs
lola: 8523621 markings, 118989200 edges, 15062 markings/sec, 450 secs
lola: 8600753 markings, 120290707 edges, 15426 markings/sec, 455 secs
lola: 8682496 markings, 121590204 edges, 16349 markings/sec, 460 secs
lola: 8763118 markings, 122890971 edges, 16124 markings/sec, 465 secs
lola: 8828055 markings, 124190271 edges, 12987 markings/sec, 470 secs
lola: 8908717 markings, 125503168 edges, 16132 markings/sec, 475 secs
lola: 9001619 markings, 126825242 edges, 18580 markings/sec, 480 secs
lola: 9088454 markings, 128131652 edges, 17367 markings/sec, 485 secs
lola: 9172371 markings, 129435754 edges, 16783 markings/sec, 490 secs
lola: 9240202 markings, 130732551 edges, 13566 markings/sec, 495 secs
lola: 9305324 markings, 132025535 edges, 13024 markings/sec, 500 secs
lola: 9385254 markings, 133336234 edges, 15986 markings/sec, 505 secs
lola: 9461052 markings, 134642467 edges, 15160 markings/sec, 510 secs
lola: 9539203 markings, 135938217 edges, 15630 markings/sec, 515 secs
lola: 9619084 markings, 137231870 edges, 15976 markings/sec, 520 secs
lola: 9680059 markings, 138528346 edges, 12195 markings/sec, 525 secs
lola: 9739316 markings, 139822850 edges, 11851 markings/sec, 530 secs
lola: 9818500 markings, 141134090 edges, 15837 markings/sec, 535 secs
lola: 9898299 markings, 142453173 edges, 15960 markings/sec, 540 secs
lola: 9973682 markings, 143755001 edges, 15077 markings/sec, 545 secs
lola: 10049131 markings, 145055344 edges, 15090 markings/sec, 550 secs
lola: 10106577 markings, 146349327 edges, 11489 markings/sec, 555 secs
lola: 10155616 markings, 147635118 edges, 9808 markings/sec, 560 secs
lola: 10220348 markings, 148939365 edges, 12946 markings/sec, 565 secs
lola: 10277016 markings, 150232002 edges, 11334 markings/sec, 570 secs
lola: 10346849 markings, 151534030 edges, 13967 markings/sec, 575 secs
lola: 10411574 markings, 152822540 edges, 12945 markings/sec, 580 secs
lola: 10477325 markings, 154114649 edges, 13150 markings/sec, 585 secs
lola: 10595557 markings, 155414641 edges, 23646 markings/sec, 590 secs
lola: 10708347 markings, 156710961 edges, 22558 markings/sec, 595 secs
lola: 10811966 markings, 158009078 edges, 20724 markings/sec, 600 secs
lola: 10914690 markings, 159299301 edges, 20545 markings/sec, 605 secs
lola: 11007640 markings, 160584982 edges, 18590 markings/sec, 610 secs
lola: 11109663 markings, 161882831 edges, 20405 markings/sec, 615 secs
lola: 11203357 markings, 163168616 edges, 18739 markings/sec, 620 secs
lola: 11288590 markings, 164459578 edges, 17047 markings/sec, 625 secs
lola: 11389771 markings, 165757553 edges, 20236 markings/sec, 630 secs
lola: 11499492 markings, 167058336 edges, 21944 markings/sec, 635 secs
lola: 11603955 markings, 168365730 edges, 20893 markings/sec, 640 secs
lola: 11706994 markings, 169672772 edges, 20608 markings/sec, 645 secs
lola: 11795822 markings, 170981054 edges, 17766 markings/sec, 650 secs
lola: local time limit reached - aborting
lola:
preliminary result: no unknown no no unknown no unknown unknown unknown unknown unknown no
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no unknown no no unknown no unknown unknown unknown unknown unknown no
lola: memory consumption: 2007088 KB
lola: time consumption: 2249 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 660 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: F (G ((F (G ((1 <= p73))) OR ((1 <= p73) OR ((1 <= p281) AND (1 <= p303))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: F (G ((F (G ((1 <= p73))) OR ((1 <= p73) OR ((1 <= p281) AND (1 <= p303))))))
lola: processed formula length: 77
lola: 80 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 407 markings, 409 edges
lola: ========================================
lola: subprocess 11 will run for 1321 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: G (F (((p194 <= 0) R ((p56 <= 0) OR (p79 <= 0)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: G (F (((p194 <= 0) R ((p56 <= 0) OR (p79 <= 0)))))
lola: processed formula length: 51
lola: 80 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: 172636 markings, 1181666 edges, 34527 markings/sec, 0 secs
lola: 327233 markings, 2441437 edges, 30919 markings/sec, 5 secs
lola: 452960 markings, 3693027 edges, 25145 markings/sec, 10 secs
lola: 574157 markings, 4944451 edges, 24239 markings/sec, 15 secs
lola: 686289 markings, 6201996 edges, 22426 markings/sec, 20 secs
lola: 789528 markings, 7462838 edges, 20648 markings/sec, 25 secs
lola: 892032 markings, 8724601 edges, 20501 markings/sec, 30 secs
lola: 1027851 markings, 9981418 edges, 27164 markings/sec, 35 secs
lola: 1194577 markings, 11245867 edges, 33345 markings/sec, 40 secs
lola: 1344781 markings, 12521887 edges, 30041 markings/sec, 45 secs
lola: 1499854 markings, 13783679 edges, 31015 markings/sec, 50 secs
lola: 1651710 markings, 15048604 edges, 30371 markings/sec, 55 secs
lola: 1790269 markings, 16320881 edges, 27712 markings/sec, 60 secs
lola: 1918096 markings, 17573520 edges, 25565 markings/sec, 65 secs
lola: 2033951 markings, 18829574 edges, 23171 markings/sec, 70 secs
lola: 2170279 markings, 20377126 edges, 27266 markings/sec, 75 secs
lola: 2287233 markings, 21631975 edges, 23391 markings/sec, 80 secs
lola: 2400286 markings, 22974061 edges, 22611 markings/sec, 85 secs
lola: 2502162 markings, 24234738 edges, 20375 markings/sec, 90 secs
lola: 2608249 markings, 25493109 edges, 21217 markings/sec, 95 secs
lola: 2706943 markings, 26751032 edges, 19739 markings/sec, 100 secs
lola: 2810414 markings, 28010896 edges, 20694 markings/sec, 105 secs
lola: 2910069 markings, 29275417 edges, 19931 markings/sec, 110 secs
lola: 3010183 markings, 30535024 edges, 20023 markings/sec, 115 secs
lola: 3106828 markings, 31796684 edges, 19329 markings/sec, 120 secs
lola: 3199791 markings, 33059909 edges, 18593 markings/sec, 125 secs
lola: 3290424 markings, 34325868 edges, 18127 markings/sec, 130 secs
lola: 3383736 markings, 35589871 edges, 18662 markings/sec, 135 secs
lola: 3480247 markings, 36860481 edges, 19302 markings/sec, 140 secs
lola: 3568159 markings, 38123928 edges, 17582 markings/sec, 145 secs
lola: 3656292 markings, 39384388 edges, 17627 markings/sec, 150 secs
lola: 3739004 markings, 40650797 edges, 16542 markings/sec, 155 secs
lola: 3893060 markings, 41907520 edges, 30811 markings/sec, 160 secs
lola: 4047344 markings, 43169240 edges, 30857 markings/sec, 165 secs
lola: 4174670 markings, 44413948 edges, 25465 markings/sec, 170 secs
lola: 4288533 markings, 45667369 edges, 22773 markings/sec, 175 secs
lola: 4395804 markings, 46924132 edges, 21454 markings/sec, 180 secs
lola: 4500580 markings, 48179687 edges, 20955 markings/sec, 185 secs
lola: 4599672 markings, 49440103 edges, 19818 markings/sec, 190 secs
lola: 4691857 markings, 50698330 edges, 18437 markings/sec, 195 secs
lola: 4854659 markings, 51956085 edges, 32560 markings/sec, 200 secs
lola: 5008711 markings, 53221435 edges, 30810 markings/sec, 205 secs
lola: 5150232 markings, 54490152 edges, 28304 markings/sec, 210 secs
lola: 5297774 markings, 55747460 edges, 29508 markings/sec, 215 secs
lola: 5439369 markings, 57009836 edges, 28319 markings/sec, 220 secs
lola: 5565719 markings, 58274869 edges, 25270 markings/sec, 225 secs
lola: 5686423 markings, 59518494 edges, 24141 markings/sec, 230 secs
lola: 5796234 markings, 60768039 edges, 21962 markings/sec, 235 secs
lola: 5900795 markings, 62022955 edges, 20912 markings/sec, 240 secs
lola: 6013287 markings, 63273893 edges, 22498 markings/sec, 245 secs
lola: 6117421 markings, 64529951 edges, 20827 markings/sec, 250 secs
lola: 6214628 markings, 65792483 edges, 19441 markings/sec, 255 secs
lola: 6319247 markings, 67046842 edges, 20924 markings/sec, 260 secs
lola: 6415581 markings, 68306833 edges, 19267 markings/sec, 265 secs
lola: 6508207 markings, 69564491 edges, 18525 markings/sec, 270 secs
lola: 6610964 markings, 70818559 edges, 20551 markings/sec, 275 secs
lola: 6705914 markings, 72082508 edges, 18990 markings/sec, 280 secs
lola: 6802741 markings, 73340987 edges, 19365 markings/sec, 285 secs
lola: 6893824 markings, 74604971 edges, 18217 markings/sec, 290 secs
lola: 6978639 markings, 75864795 edges, 16963 markings/sec, 295 secs
lola: 7069436 markings, 77130907 edges, 18159 markings/sec, 300 secs
lola: 7161288 markings, 78389433 edges, 18370 markings/sec, 305 secs
lola: 7252216 markings, 79654005 edges, 18186 markings/sec, 310 secs
lola: 7337416 markings, 80917853 edges, 17040 markings/sec, 315 secs
lola: 7422657 markings, 82177514 edges, 17048 markings/sec, 320 secs
lola: 7500052 markings, 83435999 edges, 15479 markings/sec, 325 secs
lola: 7664716 markings, 84693488 edges, 32933 markings/sec, 330 secs
lola: 7814884 markings, 85954006 edges, 30034 markings/sec, 335 secs
lola: 7938368 markings, 87202300 edges, 24697 markings/sec, 340 secs
lola: 8053210 markings, 88458037 edges, 22968 markings/sec, 345 secs
lola: 8161019 markings, 89715578 edges, 21562 markings/sec, 350 secs
lola: 8263376 markings, 90975090 edges, 20471 markings/sec, 355 secs
lola: 8363858 markings, 92240588 edges, 20096 markings/sec, 360 secs
lola: 8468669 markings, 93501228 edges, 20962 markings/sec, 365 secs
lola: 8637468 markings, 94760335 edges, 33760 markings/sec, 370 secs
lola: 8789836 markings, 96029426 edges, 30474 markings/sec, 375 secs
lola: 8934335 markings, 97300318 edges, 28900 markings/sec, 380 secs
lola: 9077518 markings, 98570449 edges, 28637 markings/sec, 385 secs
lola: 9218768 markings, 99840563 edges, 28250 markings/sec, 390 secs
lola: 9373372 markings, 101098365 edges, 30921 markings/sec, 395 secs
lola: 9514044 markings, 102361453 edges, 28134 markings/sec, 400 secs
lola: 9650831 markings, 103627196 edges, 27357 markings/sec, 405 secs
lola: 9781265 markings, 104895061 edges, 26087 markings/sec, 410 secs
lola: 9904138 markings, 106164714 edges, 24575 markings/sec, 415 secs
lola: 10018982 markings, 107415716 edges, 22969 markings/sec, 420 secs
lola: 10125288 markings, 108670541 edges, 21261 markings/sec, 425 secs
lola: 10222215 markings, 109934305 edges, 19385 markings/sec, 430 secs
lola: 10339420 markings, 111183995 edges, 23441 markings/sec, 435 secs
lola: 10448234 markings, 112433914 edges, 21763 markings/sec, 440 secs
lola: 10560312 markings, 113689284 edges, 22416 markings/sec, 445 secs
lola: 10660926 markings, 114945318 edges, 20123 markings/sec, 450 secs
lola: 10763779 markings, 116194842 edges, 20571 markings/sec, 455 secs
lola: 10850804 markings, 117442172 edges, 17405 markings/sec, 460 secs
lola: 10953487 markings, 118710506 edges, 20537 markings/sec, 465 secs
lola: 11054371 markings, 119960958 edges, 20177 markings/sec, 470 secs
lola: 11157861 markings, 121215575 edges, 20698 markings/sec, 475 secs
lola: 11251314 markings, 122477614 edges, 18691 markings/sec, 480 secs
lola: 11348928 markings, 123733961 edges, 19523 markings/sec, 485 secs
lola: 11441054 markings, 124990269 edges, 18425 markings/sec, 490 secs
lola: 11524271 markings, 126246027 edges, 16643 markings/sec, 495 secs
lola: 11623440 markings, 127502750 edges, 19834 markings/sec, 500 secs
lola: 11714748 markings, 128774279 edges, 18262 markings/sec, 505 secs
lola: 11813524 markings, 130020382 edges, 19755 markings/sec, 510 secs
lola: 11908393 markings, 131278195 edges, 18974 markings/sec, 515 secs
lola: 12002752 markings, 132534716 edges, 18872 markings/sec, 520 secs
lola: 12090656 markings, 133794023 edges, 17581 markings/sec, 525 secs
lola: 12183242 markings, 135048254 edges, 18517 markings/sec, 530 secs
lola: 12269950 markings, 136304983 edges, 17342 markings/sec, 535 secs
lola: 12346683 markings, 137554811 edges, 15347 markings/sec, 540 secs
lola: 12436010 markings, 138833847 edges, 17865 markings/sec, 545 secs
lola: 12527969 markings, 140080154 edges, 18392 markings/sec, 550 secs
lola: 12615761 markings, 141334136 edges, 17558 markings/sec, 555 secs
lola: 12708207 markings, 142596375 edges, 18489 markings/sec, 560 secs
lola: 12795583 markings, 143854799 edges, 17475 markings/sec, 565 secs
lola: 12874962 markings, 145108395 edges, 15876 markings/sec, 570 secs
lola: 12963460 markings, 146365140 edges, 17700 markings/sec, 575 secs
lola: 13045053 markings, 147615867 edges, 16319 markings/sec, 580 secs
lola: 13120317 markings, 148869452 edges, 15053 markings/sec, 585 secs
lola: 13209918 markings, 150119152 edges, 17920 markings/sec, 590 secs
lola: 13371037 markings, 151377295 edges, 32224 markings/sec, 595 secs
lola: 13527875 markings, 152636150 edges, 31368 markings/sec, 600 secs
lola: 13667587 markings, 153903588 edges, 27942 markings/sec, 605 secs
lola: 13806207 markings, 155169692 edges, 27724 markings/sec, 610 secs
lola: 13941752 markings, 156436139 edges, 27109 markings/sec, 615 secs
lola: 14070392 markings, 157707423 edges, 25728 markings/sec, 620 secs
lola: 14229095 markings, 158970522 edges, 31741 markings/sec, 625 secs
lola: 14383619 markings, 160236188 edges, 30905 markings/sec, 630 secs
lola: 14528094 markings, 161505656 edges, 28895 markings/sec, 635 secs
lola: 14659722 markings, 162781879 edges, 26326 markings/sec, 640 secs
lola: 14793330 markings, 164054947 edges, 26722 markings/sec, 645 secs
lola: 14920649 markings, 165332130 edges, 25464 markings/sec, 650 secs
lola: 15065575 markings, 166604471 edges, 28985 markings/sec, 655 secs
lola: 15201764 markings, 167881160 edges, 27238 markings/sec, 660 secs
lola: 15329702 markings, 169161996 edges, 25588 markings/sec, 665 secs
lola: 15457911 markings, 170439163 edges, 25642 markings/sec, 670 secs
lola: 15578874 markings, 171717626 edges, 24193 markings/sec, 675 secs
lola: 15699900 markings, 172997806 edges, 24205 markings/sec, 680 secs
lola: 15814012 markings, 174280737 edges, 22822 markings/sec, 685 secs
lola: 15968130 markings, 175533984 edges, 30824 markings/sec, 690 secs
lola: 16108752 markings, 176791990 edges, 28124 markings/sec, 695 secs
lola: 16244711 markings, 178050294 edges, 27192 markings/sec, 700 secs
lola: 16379482 markings, 179311853 edges, 26954 markings/sec, 705 secs
lola: 16507225 markings, 180574048 edges, 25549 markings/sec, 710 secs
lola: 16630627 markings, 181839782 edges, 24680 markings/sec, 715 secs
lola: 16756574 markings, 183107390 edges, 25189 markings/sec, 720 secs
lola: 16901122 markings, 184368182 edges, 28910 markings/sec, 725 secs
lola: 17043455 markings, 185629120 edges, 28467 markings/sec, 730 secs
lola: 17169418 markings, 186899332 edges, 25193 markings/sec, 735 secs
lola: 17294863 markings, 188167872 edges, 25089 markings/sec, 740 secs
lola: 17419401 markings, 189434332 edges, 24908 markings/sec, 745 secs
lola: 17538176 markings, 190702410 edges, 23755 markings/sec, 750 secs
lola: 17670488 markings, 191965294 edges, 26462 markings/sec, 755 secs
lola: 17800209 markings, 193229638 edges, 25944 markings/sec, 760 secs
lola: 17924222 markings, 194496364 edges, 24803 markings/sec, 765 secs
lola: 18040925 markings, 195765725 edges, 23341 markings/sec, 770 secs
lola: 18157621 markings, 197036221 edges, 23339 markings/sec, 775 secs
lola: 18271647 markings, 198304505 edges, 22805 markings/sec, 780 secs
lola: 18384266 markings, 199574489 edges, 22524 markings/sec, 785 secs
lola: 18489816 markings, 200843306 edges, 21110 markings/sec, 790 secs
lola: 18605282 markings, 202090530 edges, 23093 markings/sec, 795 secs
lola: 18717203 markings, 203343634 edges, 22384 markings/sec, 800 secs
lola: 18823137 markings, 204600941 edges, 21187 markings/sec, 805 secs
lola: 18935652 markings, 205856583 edges, 22503 markings/sec, 810 secs
lola: 19038496 markings, 207112329 edges, 20569 markings/sec, 815 secs
lola: 19136432 markings, 208372761 edges, 19587 markings/sec, 820 secs
lola: 19239667 markings, 209629943 edges, 20647 markings/sec, 825 secs
lola: 19334925 markings, 210886801 edges, 19052 markings/sec, 830 secs
lola: 19432314 markings, 212138880 edges, 19478 markings/sec, 835 secs
lola: 19536118 markings, 213383846 edges, 20761 markings/sec, 840 secs
lola: 19638613 markings, 214634624 edges, 20499 markings/sec, 845 secs
lola: 19737009 markings, 215891837 edges, 19679 markings/sec, 850 secs
lola: 19844575 markings, 217143236 edges, 21513 markings/sec, 855 secs
lola: 19953741 markings, 218394042 edges, 21833 markings/sec, 860 secs
lola: 20056895 markings, 219650746 edges, 20631 markings/sec, 865 secs
lola: 20155140 markings, 220905753 edges, 19649 markings/sec, 870 secs
lola: 20253144 markings, 222157169 edges, 19601 markings/sec, 875 secs
lola: 20337905 markings, 223406964 edges, 16952 markings/sec, 880 secs
lola: 20434825 markings, 224676560 edges, 19384 markings/sec, 885 secs
lola: 20533113 markings, 225932741 edges, 19658 markings/sec, 890 secs
lola: 20634032 markings, 227186833 edges, 20184 markings/sec, 895 secs
lola: 20725825 markings, 228448504 edges, 18359 markings/sec, 900 secs
lola: 20819812 markings, 229706062 edges, 18797 markings/sec, 905 secs
lola: 20908682 markings, 230959788 edges, 17774 markings/sec, 910 secs
lola: 20987852 markings, 232213677 edges, 15834 markings/sec, 915 secs
lola: 21086942 markings, 233474212 edges, 19818 markings/sec, 920 secs
lola: 21187350 markings, 234730935 edges, 20082 markings/sec, 925 secs
lola: 21283060 markings, 235986057 edges, 19142 markings/sec, 930 secs
lola: 21370422 markings, 237271123 edges, 17472 markings/sec, 935 secs
lola: 21474341 markings, 238525155 edges, 20784 markings/sec, 940 secs
lola: 21571883 markings, 239777279 edges, 19508 markings/sec, 945 secs
lola: 21662633 markings, 241033930 edges, 18150 markings/sec, 950 secs
lola: 21766499 markings, 242289166 edges, 20773 markings/sec, 955 secs
lola: 21869085 markings, 243551019 edges, 20517 markings/sec, 960 secs
lola: 21955915 markings, 244806827 edges, 17366 markings/sec, 965 secs
lola: 22052714 markings, 246070127 edges, 19360 markings/sec, 970 secs
lola: 22131837 markings, 247330577 edges, 15825 markings/sec, 975 secs
lola: 22233096 markings, 248586623 edges, 20252 markings/sec, 980 secs
lola: 22321613 markings, 249834575 edges, 17703 markings/sec, 985 secs
lola: 22409714 markings, 251089508 edges, 17620 markings/sec, 990 secs
lola: 22496524 markings, 252342950 edges, 17362 markings/sec, 995 secs
lola: 22572352 markings, 253589551 edges, 15166 markings/sec, 1000 secs
lola: 22653332 markings, 254849438 edges, 16196 markings/sec, 1005 secs
lola: 22736309 markings, 256134892 edges, 16595 markings/sec, 1010 secs
lola: 22836798 markings, 257399417 edges, 20098 markings/sec, 1015 secs
lola: 22927857 markings, 258650769 edges, 18212 markings/sec, 1020 secs
lola: 23014099 markings, 259897572 edges, 17248 markings/sec, 1025 secs
lola: 23108518 markings, 261153593 edges, 18884 markings/sec, 1030 secs
lola: 23198329 markings, 262423184 edges, 17962 markings/sec, 1035 secs
lola: 23288691 markings, 263675903 edges, 18072 markings/sec, 1040 secs
lola: 23385010 markings, 264939507 edges, 19264 markings/sec, 1045 secs
lola: 23465282 markings, 266199251 edges, 16054 markings/sec, 1050 secs
lola: 23555376 markings, 267466605 edges, 18019 markings/sec, 1055 secs
lola: 23631245 markings, 268729424 edges, 15174 markings/sec, 1060 secs
lola: 23721962 markings, 269985722 edges, 18143 markings/sec, 1065 secs
lola: 23813482 markings, 271246627 edges, 18304 markings/sec, 1070 secs
lola: 23891457 markings, 272491993 edges, 15595 markings/sec, 1075 secs
lola: 23976092 markings, 273746900 edges, 16927 markings/sec, 1080 secs
lola: 24059853 markings, 275008672 edges, 16752 markings/sec, 1085 secs
lola: 24132863 markings, 276258540 edges, 14602 markings/sec, 1090 secs
lola: 24205329 markings, 277510849 edges, 14493 markings/sec, 1095 secs
lola: 24288954 markings, 278765468 edges, 16725 markings/sec, 1100 secs
lola: 24389222 markings, 280017608 edges, 20054 markings/sec, 1105 secs
lola: 24483626 markings, 281276973 edges, 18881 markings/sec, 1110 secs
lola: 24580819 markings, 282538972 edges, 19439 markings/sec, 1115 secs
lola: 24670369 markings, 283797676 edges, 17910 markings/sec, 1120 secs
lola: 24757590 markings, 285053038 edges, 17444 markings/sec, 1125 secs
lola: 24851469 markings, 286303571 edges, 18776 markings/sec, 1130 secs
lola: 24941037 markings, 287572700 edges, 17914 markings/sec, 1135 secs
lola: 25035231 markings, 288823634 edges, 18839 markings/sec, 1140 secs
lola: 25127386 markings, 290080543 edges, 18431 markings/sec, 1145 secs
lola: 25218530 markings, 291339122 edges, 18229 markings/sec, 1150 secs
lola: 25303648 markings, 292599467 edges, 17024 markings/sec, 1155 secs
lola: 25393760 markings, 293855803 edges, 18022 markings/sec, 1160 secs
lola: 25477908 markings, 295108601 edges, 16830 markings/sec, 1165 secs
lola: 25552632 markings, 296357720 edges, 14945 markings/sec, 1170 secs
lola: 25639784 markings, 297617632 edges, 17430 markings/sec, 1175 secs
lola: 25720611 markings, 298921304 edges, 16165 markings/sec, 1180 secs
lola: 25810173 markings, 300169467 edges, 17912 markings/sec, 1185 secs
lola: 25896362 markings, 301412970 edges, 17238 markings/sec, 1190 secs
lola: 25976929 markings, 302651015 edges, 16113 markings/sec, 1195 secs
lola: 26067555 markings, 303909195 edges, 18125 markings/sec, 1200 secs
lola: 26151595 markings, 305181539 edges, 16808 markings/sec, 1205 secs
lola: 26238558 markings, 306433405 edges, 17393 markings/sec, 1210 secs
lola: 26329255 markings, 307694891 edges, 18139 markings/sec, 1215 secs
lola: 26408771 markings, 308949110 edges, 15903 markings/sec, 1220 secs
lola: 26493628 markings, 310215014 edges, 16971 markings/sec, 1225 secs
lola: 26567481 markings, 311466476 edges, 14771 markings/sec, 1230 secs
lola: 26646273 markings, 312719508 edges, 15758 markings/sec, 1235 secs
lola: 26729159 markings, 313979631 edges, 16577 markings/sec, 1240 secs
lola: 26814840 markings, 315237667 edges, 17136 markings/sec, 1245 secs
lola: 26888368 markings, 316484965 edges, 14706 markings/sec, 1250 secs
lola: 26973393 markings, 317749174 edges, 17005 markings/sec, 1255 secs
lola: 27046749 markings, 319006258 edges, 14671 markings/sec, 1260 secs
lola: 27117410 markings, 320257287 edges, 14132 markings/sec, 1265 secs
lola: 27187597 markings, 321506190 edges, 14037 markings/sec, 1270 secs
lola: 27258667 markings, 322759740 edges, 14214 markings/sec, 1275 secs
lola: 27350598 markings, 324024340 edges, 18386 markings/sec, 1280 secs
lola: 27433565 markings, 325301405 edges, 16593 markings/sec, 1285 secs
lola: 27525452 markings, 326553175 edges, 18377 markings/sec, 1290 secs
lola: 27603406 markings, 327825849 edges, 15591 markings/sec, 1295 secs
lola: 27672473 markings, 329123576 edges, 13813 markings/sec, 1300 secs
lola: 27761503 markings, 330373167 edges, 17806 markings/sec, 1305 secs
lola: 27844580 markings, 331619434 edges, 16615 markings/sec, 1310 secs
lola: time limit reached - aborting
lola:
preliminary result: no unknown no no unknown no no unknown unknown unknown unknown no
lola:
preliminary result: no unknown no no unknown no no unknown unknown unknown unknown no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no no unknown no no unknown unknown unknown unknown no
lola: memory consumption: 5147892 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no unknown no no unknown no no unknown unknown unknown unknown no
rslt: finished
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Eratosthenes-PT-500"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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 gold2020"
echo " Input is Eratosthenes-PT-500, 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 r094-tall-162048902700362"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Eratosthenes-PT-500.tgz
mv Eratosthenes-PT-500 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 ;