About the Execution of LoLA for Dekker-PT-100
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 4500.980 | 3594303.00 | 3631216.00 | 344.70 | FFFFFFFFFFTT??FF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2019-input.r049-oct2-155234405800888.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2019-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool lola
Input is Dekker-PT-100, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r049-oct2-155234405800888
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 6.1M
-rw-r--r-- 1 mcc users 3.9K Feb 10 21:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Feb 10 21:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 6 17:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 6 17:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 100 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 338 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.4K Feb 4 23:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Feb 4 23:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 7.5K Feb 4 22:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 3 07:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 3 07:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Jan 30 23:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 30 23:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 5.9M Mar 10 17:31 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 Dekker-PT-100-LTLCardinality-00
FORMULA_NAME Dekker-PT-100-LTLCardinality-01
FORMULA_NAME Dekker-PT-100-LTLCardinality-02
FORMULA_NAME Dekker-PT-100-LTLCardinality-03
FORMULA_NAME Dekker-PT-100-LTLCardinality-04
FORMULA_NAME Dekker-PT-100-LTLCardinality-05
FORMULA_NAME Dekker-PT-100-LTLCardinality-06
FORMULA_NAME Dekker-PT-100-LTLCardinality-07
FORMULA_NAME Dekker-PT-100-LTLCardinality-08
FORMULA_NAME Dekker-PT-100-LTLCardinality-09
FORMULA_NAME Dekker-PT-100-LTLCardinality-10
FORMULA_NAME Dekker-PT-100-LTLCardinality-11
FORMULA_NAME Dekker-PT-100-LTLCardinality-12
FORMULA_NAME Dekker-PT-100-LTLCardinality-13
FORMULA_NAME Dekker-PT-100-LTLCardinality-14
FORMULA_NAME Dekker-PT-100-LTLCardinality-15
=== Now, execution of the tool begins
BK_START 1554421347793
info: Time: 3600 - MCC
vrfy: Checking LTLCardinality @ Dekker-PT-100 @ 3570 seconds
FORMULA Dekker-PT-100-LTLCardinality-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-LTLCardinality-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-LTLCardinality-10 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-LTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-LTLCardinality-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-LTLCardinality-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-LTLCardinality-00 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-LTLCardinality-02 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-LTLCardinality-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-LTLCardinality-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-LTLCardinality-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-LTLCardinality-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-LTLCardinality-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
FORMULA Dekker-PT-100-LTLCardinality-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -24
rslt: Output for LTLCardinality @ Dekker-PT-100
{
"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": "mcc2019",
"markinglimit": null,
"parameters":
[
"--pnmlnet",
"model.pnml",
"--xmlformula",
"--formula=LTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Apr 4 23:42:27 2019
",
"timelimit": 3570
},
"child":
[
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 39
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 39
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(p1_7 <= flag_0_7)",
"processed_size": 18,
"rewrites": 39
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 2,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 273
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 39
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 3,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 296
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 0
},
"processed": "FALSE",
"processed_size": 5,
"rewrites": 39
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 4,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 323
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (G ((p0_24 <= p0_81))))",
"processed_size": 28,
"rewrites": 39
},
"result":
{
"edges": 1760951,
"markings": 39267,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 5,
"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": 355
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (G ((p1_92 <= p3_60))))",
"processed_size": 28,
"rewrites": 39
},
"result":
{
"edges": 2319,
"markings": 270,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 6,
"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": 395
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"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": "A (X (G ((1 <= flag_1_48))))",
"processed_size": 28,
"rewrites": 39
},
"result":
{
"edges": 15,
"markings": 15,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"compoundnumber": 7,
"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": 444
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 3,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (X (X ((flag_1_76 <= flag_1_77)))))",
"processed_size": 40,
"rewrites": 39
},
"result":
{
"edges": 39,
"markings": 39,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 5
},
"compoundnumber": 8,
"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": 508
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 2,
"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": "A (X (X ((1 <= flag_1_37))))",
"processed_size": 28,
"rewrites": 39
},
"result":
{
"edges": 15,
"markings": 15,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 9,
"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": 592
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"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": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G ((p3_56 <= flag_0_96)))",
"processed_size": 28,
"rewrites": 41
},
"result":
{
"produced_by": "state equation",
"value": false
},
"task":
{
"compoundnumber": 10,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
},
{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 709
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"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": "A (F (G ((1 <= p0_99))))",
"processed_size": 24,
"rewrites": 39
},
"result":
{
"edges": 17,
"markings": 16,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 11,
"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": 887
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"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": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G (F ((flag_0_68 <= p3_92))))",
"processed_size": 32,
"rewrites": 39
},
"result":
{
"edges": 15,
"markings": 15,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 12,
"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": 1147
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 3,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 6,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 4,
"visible_transitions": 0
},
"processed": "A (F ((F ((p0_94 <= flag_0_92)) OR (G ((flag_1_39 <= p0_23)) AND F ((p0_94 <= flag_0_92))))))",
"processed_size": 93,
"rewrites": 39
},
"result":
{
"edges": 0,
"markings": 1,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 15,
"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": 252632,
"runtime": 3575.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "LTLCardinality.json",
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X(G(**))) : FALSE : A(X(G(**))) : A(G(**)) : A(F(G(**))) : A(X(X(X(**)))) : A(X(X(**))) : A(X(G(**))) : A(G(F(**))) : FALSE : ** : A(F((F(**) OR (G(**) AND F(**))))) : A((F(G(**)) OR (G(**) AND F(G(**))))) : A(F(G(**))) : FALSE : FALSE"
},
"net":
{
"arcs": 80200,
"conflict_clusters": 1,
"places": 500,
"places_significant": 200,
"singleton_clusters": 0,
"transitions": 10200
},
"result":
{
"interim_value": "no no no no no no no no no no yes yes unknown unknown no no ",
"preliminary_value": "no no no no no no no no no no yes yes unknown unknown no 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: 10700/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 500
lola: finding significant places
lola: 500 places, 10200 transitions, 200 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 LTLCardinality.xml
lola: LP says that atomic proposition is always false: (3 <= p0_47)
lola: LP says that atomic proposition is always false: (3 <= p3_38)
lola: LP says that atomic proposition is always false: (3 <= flag_1_99)
lola: LP says that atomic proposition is always false: (3 <= p1_26)
lola: LP says that atomic proposition is always false: (3 <= flag_0_68)
lola: LP says that atomic proposition is always false: (2 <= p1_33)
lola: LP says that atomic proposition is always false: (2 <= p0_12)
lola: A (X (G (((3 <= p0_47) U (p1_92 <= p3_60))))) : A ((3 <= p3_38)) : A (G (G (X ((1 <= flag_1_48))))) : A (G (G (G (G ((p3_56 <= flag_0_96)))))) : A (F (G ((1 <= p0_99)))) : A (X (X (X ((flag_1_76 <= flag_1_77))))) : A (X (X (((3 <= flag_1_99) U (1 <= flag_1_37))))) : A (X (G (G (G ((p0_24 <= p0_81)))))) : A (F (G (F ((flag_0_68 <= p3_92))))) : A (X (X (((flag_0_1 <= p0_22) U (3 <= p1_26))))) : A ((p1_7 <= flag_0_7)) : A (F ((G ((flag_1_39 <= p0_23)) U F ((p0_94 <= flag_0_92))))) : A ((G ((flag_0_11 <= flag_0_38)) U F (G ((p1_66 <= p3_0))))) : A (X (X (F (G ((p1_46 <= p0_63)))))) : A (G (G (F (F ((3 <= flag_0_68)))))) : A (X (((2 <= p1_33) U F ((2 <= p0_12)))))
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:180
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:431
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:163
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:98
lola: rewrite Frontend/Parser/formula_rewrite.k:157
lola: rewrite Frontend/Parser/formula_rewrite.k:185
lola: rewrite Frontend/Parser/formula_rewrite.k:145
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 39 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 39 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (p1_7 <= flag_0_7)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (p1_7 <= flag_0_7)
lola: processed formula length: 18
lola: 39 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 3 will run for 273 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 39 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 4 will run for 296 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FALSE
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FALSE
lola: processed formula length: 5
lola: 39 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 5 will run for 323 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((p0_24 <= p0_81))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((p0_24 <= p0_81))))
lola: processed formula length: 28
lola: 39 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 39267 markings, 1760951 edges
lola: ========================================
lola: subprocess 6 will run for 355 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((p1_92 <= p3_60))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((p1_92 <= p3_60))))
lola: processed formula length: 28
lola: 39 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 270 markings, 2319 edges
lola: ========================================
lola: subprocess 7 will run for 395 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G ((1 <= flag_1_48))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G ((1 <= flag_1_48))))
lola: processed formula length: 28
lola: 39 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 15 markings, 15 edges
lola: ========================================
lola: subprocess 8 will run for 444 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X ((flag_1_76 <= flag_1_77)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X ((flag_1_76 <= flag_1_77)))))
lola: processed formula length: 40
lola: 39 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 39 markings, 39 edges
lola: ========================================
lola: subprocess 9 will run for 508 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X ((1 <= flag_1_37))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X ((1 <= flag_1_37))))
lola: processed formula length: 28
lola: 39 rewrites
lola: closed formula file LTLCardinality.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: 15 markings, 15 edges
lola: ========================================
lola: subprocess 10 will run for 592 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((p3_56 <= flag_0_96)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((p3_56 <= flag_0_96)))
lola: processed formula length: 28
lola: 41 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (flag_0_96 + 1 <= p3_56)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: state equation: write sara problem file to LTLCardinality-10-0.sara
lola: state equation: calling and running sara
sara: try reading problem file LTLCardinality-10-0.sara.
lola: sara is running 0 secs || 75116 markings, 561796 edges, 15023 markings/sec, 0 secs
sara: place or transition ordering is non-deterministic
lola: state equation 0: solution produced
lola: SUBRESULT
lola: result: no
lola: produced by: state equation
lola: The predicate is not invariant.
lola: ========================================
lola: subprocess 11 will run for 709 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((1 <= p0_99))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((1 <= p0_99))))
lola: processed formula length: 24
lola: 39 rewrites
lola: closed formula file LTLCardinality.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: add low 7360
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: 16 markings, 17 edges
lola: ========================================
lola: subprocess 12 will run for 887 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((flag_0_68 <= p3_92))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((flag_0_68 <= p3_92))))
lola: processed formula length: 32
lola: 39 rewrites
lola: closed formula file LTLCardinality.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: 15 markings, 15 edges
lola: ========================================
lola: subprocess 13 will run for 1182 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((p1_46 <= p0_63))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p1_46 <= p0_63))))
lola: processed formula length: 28
lola: 39 rewrites
lola: closed formula file LTLCardinality.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: 1924 markings, 50083 edges, 385 markings/sec, 0 secs
lola: 3470 markings, 113399 edges, 309 markings/sec, 5 secs
lola: 5129 markings, 172232 edges, 332 markings/sec, 10 secs
lola: 6564 markings, 241177 edges, 287 markings/sec, 15 secs
lola: 8106 markings, 298849 edges, 308 markings/sec, 20 secs
lola: 9586 markings, 351417 edges, 296 markings/sec, 25 secs
lola: 10879 markings, 413130 edges, 259 markings/sec, 30 secs
lola: 12286 markings, 470820 edges, 281 markings/sec, 35 secs
lola: 13560 markings, 535348 edges, 255 markings/sec, 40 secs
lola: 14764 markings, 603071 edges, 241 markings/sec, 45 secs
lola: 16123 markings, 653641 edges, 272 markings/sec, 50 secs
lola: 17420 markings, 702857 edges, 259 markings/sec, 55 secs
lola: 18574 markings, 758608 edges, 231 markings/sec, 60 secs
lola: 19818 markings, 811057 edges, 249 markings/sec, 65 secs
lola: 21049 markings, 862677 edges, 246 markings/sec, 70 secs
lola: 22279 markings, 907540 edges, 246 markings/sec, 75 secs
lola: 23440 markings, 958666 edges, 232 markings/sec, 80 secs
lola: 24471 markings, 1012192 edges, 206 markings/sec, 85 secs
lola: 25566 markings, 1063295 edges, 219 markings/sec, 90 secs
lola: 26580 markings, 1121151 edges, 203 markings/sec, 95 secs
lola: 27684 markings, 1162232 edges, 221 markings/sec, 100 secs
lola: 28736 markings, 1205248 edges, 210 markings/sec, 105 secs
lola: 29743 markings, 1252554 edges, 201 markings/sec, 110 secs
lola: 30772 markings, 1297756 edges, 206 markings/sec, 115 secs
lola: 31655 markings, 1353532 edges, 177 markings/sec, 120 secs
lola: 32561 markings, 1406838 edges, 181 markings/sec, 125 secs
lola: 33492 markings, 1458591 edges, 186 markings/sec, 130 secs
lola: 34347 markings, 1518683 edges, 171 markings/sec, 135 secs
lola: 35257 markings, 1569005 edges, 182 markings/sec, 140 secs
lola: 36212 markings, 1608047 edges, 191 markings/sec, 145 secs
lola: 37143 markings, 1648653 edges, 186 markings/sec, 150 secs
lola: 38065 markings, 1693452 edges, 184 markings/sec, 155 secs
lola: 38932 markings, 1742377 edges, 173 markings/sec, 160 secs
lola: 39854 markings, 1783249 edges, 184 markings/sec, 165 secs
lola: 40716 markings, 1825776 edges, 172 markings/sec, 170 secs
lola: 41487 markings, 1877617 edges, 154 markings/sec, 175 secs
lola: 42343 markings, 1927270 edges, 171 markings/sec, 180 secs
lola: 43165 markings, 1979023 edges, 164 markings/sec, 185 secs
lola: 43993 markings, 2026450 edges, 166 markings/sec, 190 secs
lola: 44815 markings, 2076555 edges, 164 markings/sec, 195 secs
lola: 45543 markings, 2137332 edges, 146 markings/sec, 200 secs
lola: 46374 markings, 2184137 edges, 166 markings/sec, 205 secs
lola: 47105 markings, 2238146 edges, 146 markings/sec, 210 secs
lola: 47873 markings, 2288749 edges, 154 markings/sec, 215 secs
lola: 48789 markings, 2329702 edges, 183 markings/sec, 220 secs
lola: 49633 markings, 2374936 edges, 169 markings/sec, 225 secs
lola: 50453 markings, 2422099 edges, 164 markings/sec, 230 secs
lola: 51227 markings, 2473526 edges, 155 markings/sec, 235 secs
lola: 51996 markings, 2524627 edges, 154 markings/sec, 240 secs
lola: 52821 markings, 2571239 edges, 165 markings/sec, 245 secs
lola: 53640 markings, 2615395 edges, 164 markings/sec, 250 secs
lola: 54431 markings, 2661687 edges, 158 markings/sec, 255 secs
lola: 55185 markings, 2716877 edges, 151 markings/sec, 260 secs
lola: 55933 markings, 2772881 edges, 150 markings/sec, 265 secs
lola: 56709 markings, 2829047 edges, 155 markings/sec, 270 secs
lola: 57440 markings, 2888040 edges, 146 markings/sec, 275 secs
lola: 58161 markings, 2947689 edges, 144 markings/sec, 280 secs
lola: 58885 markings, 3006349 edges, 145 markings/sec, 285 secs
lola: 59645 markings, 3058236 edges, 152 markings/sec, 290 secs
lola: 60448 markings, 3109237 edges, 161 markings/sec, 295 secs
lola: 61172 markings, 3165090 edges, 145 markings/sec, 300 secs
lola: 61870 markings, 3227719 edges, 140 markings/sec, 305 secs
lola: 62785 markings, 3267222 edges, 183 markings/sec, 310 secs
lola: 63664 markings, 3307309 edges, 176 markings/sec, 315 secs
lola: 64537 markings, 3349295 edges, 175 markings/sec, 320 secs
lola: 65342 markings, 3396969 edges, 161 markings/sec, 325 secs
lola: 66159 markings, 3444617 edges, 163 markings/sec, 330 secs
lola: 67042 markings, 3482486 edges, 177 markings/sec, 335 secs
lola: 67851 markings, 3524677 edges, 162 markings/sec, 340 secs
lola: 68631 markings, 3572553 edges, 156 markings/sec, 345 secs
lola: 69410 markings, 3623039 edges, 156 markings/sec, 350 secs
lola: 70203 markings, 3669313 edges, 159 markings/sec, 355 secs
lola: 70999 markings, 3719269 edges, 159 markings/sec, 360 secs
lola: 71822 markings, 3766817 edges, 165 markings/sec, 365 secs
lola: 72741 markings, 3805453 edges, 184 markings/sec, 370 secs
lola: 73591 markings, 3848286 edges, 170 markings/sec, 375 secs
lola: 74430 markings, 3892442 edges, 168 markings/sec, 380 secs
lola: 75295 markings, 3935302 edges, 173 markings/sec, 385 secs
lola: 76123 markings, 3982524 edges, 166 markings/sec, 390 secs
lola: 76885 markings, 4034337 edges, 152 markings/sec, 395 secs
lola: 77656 markings, 4086452 edges, 154 markings/sec, 400 secs
lola: 78395 markings, 4139636 edges, 148 markings/sec, 405 secs
lola: 79107 markings, 4197384 edges, 142 markings/sec, 410 secs
lola: 79939 markings, 4240372 edges, 166 markings/sec, 415 secs
lola: 80737 markings, 4283506 edges, 160 markings/sec, 420 secs
lola: 81518 markings, 4329208 edges, 156 markings/sec, 425 secs
lola: 82264 markings, 4377266 edges, 149 markings/sec, 430 secs
lola: 83038 markings, 4423231 edges, 155 markings/sec, 435 secs
lola: 83757 markings, 4475092 edges, 144 markings/sec, 440 secs
lola: 84469 markings, 4526681 edges, 142 markings/sec, 445 secs
lola: 85178 markings, 4579283 edges, 142 markings/sec, 450 secs
lola: 85866 markings, 4638337 edges, 138 markings/sec, 455 secs
lola: 86718 markings, 4678043 edges, 170 markings/sec, 460 secs
lola: 87505 markings, 4721879 edges, 157 markings/sec, 465 secs
lola: 88299 markings, 4766686 edges, 159 markings/sec, 470 secs
lola: 89061 markings, 4814904 edges, 152 markings/sec, 475 secs
lola: 89773 markings, 4867883 edges, 142 markings/sec, 480 secs
lola: 90528 markings, 4916638 edges, 151 markings/sec, 485 secs
lola: 91243 markings, 4973315 edges, 143 markings/sec, 490 secs
lola: 91956 markings, 5022922 edges, 143 markings/sec, 495 secs
lola: 92697 markings, 5073772 edges, 148 markings/sec, 500 secs
lola: 93439 markings, 5123370 edges, 148 markings/sec, 505 secs
lola: 94114 markings, 5177546 edges, 135 markings/sec, 510 secs
lola: 94845 markings, 5227782 edges, 146 markings/sec, 515 secs
lola: 95526 markings, 5283978 edges, 136 markings/sec, 520 secs
lola: 96225 markings, 5338325 edges, 140 markings/sec, 525 secs
lola: 96921 markings, 5393742 edges, 139 markings/sec, 530 secs
lola: 97603 markings, 5453629 edges, 136 markings/sec, 535 secs
lola: 98314 markings, 5508805 edges, 142 markings/sec, 540 secs
lola: 99017 markings, 5563142 edges, 141 markings/sec, 545 secs
lola: 99692 markings, 5619123 edges, 135 markings/sec, 550 secs
lola: 100473 markings, 5662712 edges, 156 markings/sec, 555 secs
lola: 101198 markings, 5708195 edges, 145 markings/sec, 560 secs
lola: 101818 markings, 5767282 edges, 124 markings/sec, 565 secs
lola: 102496 markings, 5822660 edges, 136 markings/sec, 570 secs
lola: 103330 markings, 5860153 edges, 167 markings/sec, 575 secs
lola: 104143 markings, 5897533 edges, 163 markings/sec, 580 secs
lola: 104934 markings, 5937718 edges, 158 markings/sec, 585 secs
lola: 105694 markings, 5982361 edges, 152 markings/sec, 590 secs
lola: 106409 markings, 6028568 edges, 143 markings/sec, 595 secs
lola: 107148 markings, 6074639 edges, 148 markings/sec, 600 secs
lola: 107902 markings, 6120136 edges, 151 markings/sec, 605 secs
lola: 108602 markings, 6170804 edges, 140 markings/sec, 610 secs
lola: 109319 markings, 6219573 edges, 143 markings/sec, 615 secs
lola: 110002 markings, 6271884 edges, 137 markings/sec, 620 secs
lola: 110765 markings, 6312435 edges, 153 markings/sec, 625 secs
lola: 111505 markings, 6352781 edges, 148 markings/sec, 630 secs
lola: 112231 markings, 6395476 edges, 145 markings/sec, 635 secs
lola: 112907 markings, 6442702 edges, 135 markings/sec, 640 secs
lola: 113567 markings, 6491236 edges, 132 markings/sec, 645 secs
lola: 114187 markings, 6549099 edges, 124 markings/sec, 650 secs
lola: 114910 markings, 6607088 edges, 145 markings/sec, 655 secs
lola: 115606 markings, 6665869 edges, 139 markings/sec, 660 secs
lola: 116259 markings, 6728674 edges, 131 markings/sec, 665 secs
lola: 116987 markings, 6780394 edges, 146 markings/sec, 670 secs
lola: 117801 markings, 6823682 edges, 163 markings/sec, 675 secs
lola: 118584 markings, 6867291 edges, 157 markings/sec, 680 secs
lola: 119357 markings, 6913878 edges, 155 markings/sec, 685 secs
lola: 120097 markings, 6963658 edges, 148 markings/sec, 690 secs
lola: 120764 markings, 7019772 edges, 133 markings/sec, 695 secs
lola: 121534 markings, 7066928 edges, 154 markings/sec, 700 secs
lola: 122257 markings, 7118886 edges, 145 markings/sec, 705 secs
lola: 123034 markings, 7161555 edges, 155 markings/sec, 710 secs
lola: 123749 markings, 7208375 edges, 143 markings/sec, 715 secs
lola: 124429 markings, 7260627 edges, 136 markings/sec, 720 secs
lola: 125112 markings, 7318116 edges, 137 markings/sec, 725 secs
lola: 125811 markings, 7368034 edges, 140 markings/sec, 730 secs
lola: 126481 markings, 7418243 edges, 134 markings/sec, 735 secs
lola: 127131 markings, 7474980 edges, 130 markings/sec, 740 secs
lola: 127836 markings, 7523886 edges, 141 markings/sec, 745 secs
lola: 128542 markings, 7576539 edges, 141 markings/sec, 750 secs
lola: 129220 markings, 7633191 edges, 136 markings/sec, 755 secs
lola: 129915 markings, 7685055 edges, 139 markings/sec, 760 secs
lola: 130586 markings, 7741201 edges, 134 markings/sec, 765 secs
lola: 131480 markings, 7785285 edges, 179 markings/sec, 770 secs
lola: 132368 markings, 7831258 edges, 178 markings/sec, 775 secs
lola: 133208 markings, 7880705 edges, 168 markings/sec, 780 secs
lola: 134036 markings, 7932248 edges, 166 markings/sec, 785 secs
lola: 134894 markings, 7981664 edges, 172 markings/sec, 790 secs
lola: 135704 markings, 8034734 edges, 162 markings/sec, 795 secs
lola: 136439 markings, 8094571 edges, 147 markings/sec, 800 secs
lola: 137231 markings, 8149142 edges, 158 markings/sec, 805 secs
lola: 138063 markings, 8196082 edges, 166 markings/sec, 810 secs
lola: 138848 markings, 8245047 edges, 157 markings/sec, 815 secs
lola: 139640 markings, 8295970 edges, 158 markings/sec, 820 secs
lola: 140399 markings, 8353822 edges, 152 markings/sec, 825 secs
lola: 141185 markings, 8405507 edges, 157 markings/sec, 830 secs
lola: 141887 markings, 8467633 edges, 140 markings/sec, 835 secs
lola: 142731 markings, 8513890 edges, 169 markings/sec, 840 secs
lola: 143519 markings, 8563383 edges, 158 markings/sec, 845 secs
lola: 144301 markings, 8614717 edges, 156 markings/sec, 850 secs
lola: 145052 markings, 8668838 edges, 150 markings/sec, 855 secs
lola: 145733 markings, 8728362 edges, 136 markings/sec, 860 secs
lola: 146508 markings, 8780987 edges, 155 markings/sec, 865 secs
lola: 147229 markings, 8838355 edges, 144 markings/sec, 870 secs
lola: 147957 markings, 8892777 edges, 146 markings/sec, 875 secs
lola: 148687 markings, 8948920 edges, 146 markings/sec, 880 secs
lola: 149339 markings, 9014668 edges, 130 markings/sec, 885 secs
lola: 149993 markings, 9077349 edges, 131 markings/sec, 890 secs
lola: 150707 markings, 9134012 edges, 143 markings/sec, 895 secs
lola: 151395 markings, 9193564 edges, 138 markings/sec, 900 secs
lola: 152081 markings, 9256625 edges, 137 markings/sec, 905 secs
lola: 152739 markings, 9318069 edges, 132 markings/sec, 910 secs
lola: 153520 markings, 9366577 edges, 156 markings/sec, 915 secs
lola: 154239 markings, 9418196 edges, 144 markings/sec, 920 secs
lola: 154899 markings, 9474772 edges, 132 markings/sec, 925 secs
lola: 155517 markings, 9534968 edges, 124 markings/sec, 930 secs
lola: 156166 markings, 9591081 edges, 130 markings/sec, 935 secs
lola: 156797 markings, 9648699 edges, 126 markings/sec, 940 secs
lola: 157519 markings, 9696460 edges, 144 markings/sec, 945 secs
lola: 158348 markings, 9738424 edges, 166 markings/sec, 950 secs
lola: 159130 markings, 9784790 edges, 156 markings/sec, 955 secs
lola: 159903 markings, 9833671 edges, 155 markings/sec, 960 secs
lola: 160635 markings, 9884169 edges, 146 markings/sec, 965 secs
lola: 161356 markings, 9936074 edges, 144 markings/sec, 970 secs
lola: 162093 markings, 9989149 edges, 147 markings/sec, 975 secs
lola: 162815 markings, 10041355 edges, 144 markings/sec, 980 secs
lola: 163525 markings, 10096582 edges, 142 markings/sec, 985 secs
lola: 164192 markings, 10156795 edges, 133 markings/sec, 990 secs
lola: 164884 markings, 10214143 edges, 138 markings/sec, 995 secs
lola: 165514 markings, 10278833 edges, 126 markings/sec, 1000 secs
lola: 166201 markings, 10333662 edges, 137 markings/sec, 1005 secs
lola: 166895 markings, 10389606 edges, 139 markings/sec, 1010 secs
lola: 167603 markings, 10444469 edges, 142 markings/sec, 1015 secs
lola: 168245 markings, 10506608 edges, 128 markings/sec, 1020 secs
lola: 169126 markings, 10544141 edges, 176 markings/sec, 1025 secs
lola: 169899 markings, 10592312 edges, 155 markings/sec, 1030 secs
lola: 170679 markings, 10639219 edges, 156 markings/sec, 1035 secs
lola: 171430 markings, 10690291 edges, 150 markings/sec, 1040 secs
lola: 172152 markings, 10742946 edges, 144 markings/sec, 1045 secs
lola: 172909 markings, 10794251 edges, 151 markings/sec, 1050 secs
lola: 173612 markings, 10848939 edges, 141 markings/sec, 1055 secs
lola: 174344 markings, 10901512 edges, 146 markings/sec, 1060 secs
lola: 175031 markings, 10959465 edges, 137 markings/sec, 1065 secs
lola: 175827 markings, 11000188 edges, 159 markings/sec, 1070 secs
lola: 176533 markings, 11048932 edges, 141 markings/sec, 1075 secs
lola: 177240 markings, 11097833 edges, 141 markings/sec, 1080 secs
lola: 177890 markings, 11152856 edges, 130 markings/sec, 1085 secs
lola: 178617 markings, 11200055 edges, 145 markings/sec, 1090 secs
lola: 179297 markings, 11255177 edges, 136 markings/sec, 1095 secs
lola: 179907 markings, 11319185 edges, 122 markings/sec, 1100 secs
lola: 180570 markings, 11371687 edges, 133 markings/sec, 1105 secs
lola: 181199 markings, 11428793 edges, 126 markings/sec, 1110 secs
lola: 181842 markings, 11486375 edges, 129 markings/sec, 1115 secs
lola: 182482 markings, 11541845 edges, 128 markings/sec, 1120 secs
lola: 183092 markings, 11602526 edges, 122 markings/sec, 1125 secs
lola: 183817 markings, 11646100 edges, 145 markings/sec, 1130 secs
lola: 184563 markings, 11686494 edges, 149 markings/sec, 1135 secs
lola: 185267 markings, 11730406 edges, 141 markings/sec, 1140 secs
lola: 185955 markings, 11777286 edges, 138 markings/sec, 1145 secs
lola: 186618 markings, 11824208 edges, 133 markings/sec, 1150 secs
lola: 187228 markings, 11877503 edges, 122 markings/sec, 1155 secs
lola: 187933 markings, 11923002 edges, 141 markings/sec, 1160 secs
lola: 188565 markings, 11974202 edges, 126 markings/sec, 1165 secs
lola: 189187 markings, 12025575 edges, 124 markings/sec, 1170 secs
lola: 189812 markings, 12079212 edges, 125 markings/sec, 1175 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no no no no no no no no yes unknown unknown unknown no no
lola: memory consumption: 637672 KB
lola: time consumption: 1204 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no no no no no no no no no yes unknown unknown unknown no no
lola: memory consumption: 639556 KB
lola: time consumption: 1207 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1171 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (G ((p1_66 <= p3_0))) OR (G ((flag_0_11 <= flag_0_38)) AND F (G ((p1_66 <= p3_0))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (G ((p1_66 <= p3_0))) OR (G ((flag_0_11 <= flag_0_38)) AND F (G ((p1_66 <= p3_0))))))
lola: processed formula length: 91
lola: 39 rewrites
lola: closed formula file LTLCardinality.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: 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: 2017 markings, 53841 edges, 403 markings/sec, 0 secs
lola: 3730 markings, 120035 edges, 343 markings/sec, 5 secs
lola: 5396 markings, 185383 edges, 333 markings/sec, 10 secs
lola: 6884 markings, 260348 edges, 298 markings/sec, 15 secs
lola: 8524 markings, 312977 edges, 328 markings/sec, 20 secs
lola: 10046 markings, 373029 edges, 304 markings/sec, 25 secs
lola: 11492 markings, 434898 edges, 289 markings/sec, 30 secs
lola: 12915 markings, 499679 edges, 285 markings/sec, 35 secs
lola: 14227 markings, 571986 edges, 262 markings/sec, 40 secs
lola: 15597 markings, 634928 edges, 274 markings/sec, 45 secs
lola: 17006 markings, 687308 edges, 282 markings/sec, 50 secs
lola: 18279 markings, 743683 edges, 255 markings/sec, 55 secs
lola: 19582 markings, 801603 edges, 261 markings/sec, 60 secs
lola: 20852 markings, 857521 edges, 254 markings/sec, 65 secs
lola: 22144 markings, 902208 edges, 258 markings/sec, 70 secs
lola: 23356 markings, 953859 edges, 242 markings/sec, 75 secs
lola: 24446 markings, 1010517 edges, 218 markings/sec, 80 secs
lola: 25604 markings, 1065995 edges, 232 markings/sec, 85 secs
lola: 26676 markings, 1128185 edges, 214 markings/sec, 90 secs
lola: 27920 markings, 1169934 edges, 249 markings/sec, 95 secs
lola: 29030 markings, 1216567 edges, 222 markings/sec, 100 secs
lola: 30097 markings, 1270320 edges, 213 markings/sec, 105 secs
lola: 31203 markings, 1323238 edges, 221 markings/sec, 110 secs
lola: 32188 markings, 1382794 edges, 197 markings/sec, 115 secs
lola: 33208 markings, 1441471 edges, 204 markings/sec, 120 secs
lola: 34175 markings, 1505278 edges, 193 markings/sec, 125 secs
lola: 35134 markings, 1564697 edges, 192 markings/sec, 130 secs
lola: 36210 markings, 1607972 edges, 215 markings/sec, 135 secs
lola: 37246 markings, 1653677 edges, 207 markings/sec, 140 secs
lola: 38259 markings, 1703363 edges, 203 markings/sec, 145 secs
lola: 39199 markings, 1756868 edges, 188 markings/sec, 150 secs
lola: 40211 markings, 1800685 edges, 202 markings/sec, 155 secs
lola: 41132 markings, 1851585 edges, 184 markings/sec, 160 secs
lola: 42034 markings, 1907735 edges, 180 markings/sec, 165 secs
lola: 42949 markings, 1965341 edges, 183 markings/sec, 170 secs
lola: 43877 markings, 2019795 edges, 186 markings/sec, 175 secs
lola: 44787 markings, 2074094 edges, 182 markings/sec, 180 secs
lola: 45581 markings, 2141013 edges, 159 markings/sec, 185 secs
lola: 46490 markings, 2192644 edges, 182 markings/sec, 190 secs
lola: 47303 markings, 2250812 edges, 163 markings/sec, 195 secs
lola: 48226 markings, 2301053 edges, 185 markings/sec, 200 secs
lola: 49188 markings, 2347957 edges, 192 markings/sec, 205 secs
lola: 50070 markings, 2401282 edges, 176 markings/sec, 210 secs
lola: 50942 markings, 2456528 edges, 174 markings/sec, 215 secs
lola: 51763 markings, 2514426 edges, 164 markings/sec, 220 secs
lola: 52698 markings, 2564744 edges, 187 markings/sec, 225 secs
lola: 53614 markings, 2613496 edges, 183 markings/sec, 230 secs
lola: 54472 markings, 2664501 edges, 172 markings/sec, 235 secs
lola: 55290 markings, 2725843 edges, 164 markings/sec, 240 secs
lola: 56121 markings, 2784220 edges, 166 markings/sec, 245 secs
lola: 56911 markings, 2846346 edges, 158 markings/sec, 250 secs
lola: 57700 markings, 2908456 edges, 158 markings/sec, 255 secs
lola: 58457 markings, 2973296 edges, 151 markings/sec, 260 secs
lola: 59264 markings, 3030813 edges, 161 markings/sec, 265 secs
lola: 60094 markings, 3085595 edges, 166 markings/sec, 270 secs
lola: 60904 markings, 3142423 edges, 162 markings/sec, 275 secs
lola: 61657 markings, 3207575 edges, 151 markings/sec, 280 secs
lola: 62555 markings, 3256817 edges, 180 markings/sec, 285 secs
lola: 63500 markings, 3299150 edges, 189 markings/sec, 290 secs
lola: 64428 markings, 3343672 edges, 186 markings/sec, 295 secs
lola: 65291 markings, 3393861 edges, 173 markings/sec, 300 secs
lola: 66162 markings, 3444785 edges, 174 markings/sec, 305 secs
lola: 67099 markings, 3485233 edges, 187 markings/sec, 310 secs
lola: 67946 markings, 3530979 edges, 169 markings/sec, 315 secs
lola: 68782 markings, 3583107 edges, 167 markings/sec, 320 secs
lola: 69604 markings, 3637485 edges, 164 markings/sec, 325 secs
lola: 70450 markings, 3686196 edges, 169 markings/sec, 330 secs
lola: 71271 markings, 3740762 edges, 164 markings/sec, 335 secs
lola: 72232 markings, 3783297 edges, 192 markings/sec, 340 secs
lola: 73166 markings, 3827779 edges, 187 markings/sec, 345 secs
lola: 74067 markings, 3871495 edges, 180 markings/sec, 350 secs
lola: 74943 markings, 3919023 edges, 175 markings/sec, 355 secs
lola: 75841 markings, 3968211 edges, 180 markings/sec, 360 secs
lola: 76665 markings, 4021554 edges, 165 markings/sec, 365 secs
lola: 77493 markings, 4075997 edges, 166 markings/sec, 370 secs
lola: 78302 markings, 4132229 edges, 162 markings/sec, 375 secs
lola: 79060 markings, 4193138 edges, 152 markings/sec, 380 secs
lola: 79929 markings, 4240073 edges, 174 markings/sec, 385 secs
lola: 80776 markings, 4286144 edges, 169 markings/sec, 390 secs
lola: 81605 markings, 4334317 edges, 166 markings/sec, 395 secs
lola: 82396 markings, 4385323 edges, 158 markings/sec, 400 secs
lola: 83222 markings, 4434834 edges, 165 markings/sec, 405 secs
lola: 83963 markings, 4491970 edges, 148 markings/sec, 410 secs
lola: 84746 markings, 4543656 edges, 157 markings/sec, 415 secs
lola: 85469 markings, 4602715 edges, 145 markings/sec, 420 secs
lola: 86302 markings, 4655306 edges, 167 markings/sec, 425 secs
lola: 87167 markings, 4700540 edges, 173 markings/sec, 430 secs
lola: 87998 markings, 4747841 edges, 166 markings/sec, 435 secs
lola: 88817 markings, 4799372 edges, 164 markings/sec, 440 secs
lola: 89593 markings, 4853780 edges, 155 markings/sec, 445 secs
lola: 90375 markings, 4906642 edges, 156 markings/sec, 450 secs
lola: 91133 markings, 4967743 edges, 152 markings/sec, 455 secs
lola: 91911 markings, 5019497 edges, 156 markings/sec, 460 secs
lola: 92693 markings, 5073536 edges, 156 markings/sec, 465 secs
lola: 93486 markings, 5126237 edges, 159 markings/sec, 470 secs
lola: 94206 markings, 5184275 edges, 144 markings/sec, 475 secs
lola: 94980 markings, 5238282 edges, 155 markings/sec, 480 secs
lola: 95689 markings, 5299104 edges, 142 markings/sec, 485 secs
lola: 96449 markings, 5355419 edges, 152 markings/sec, 490 secs
lola: 97189 markings, 5415608 edges, 148 markings/sec, 495 secs
lola: 97932 markings, 5477041 edges, 149 markings/sec, 500 secs
lola: 98676 markings, 5535203 edges, 149 markings/sec, 505 secs
lola: 99398 markings, 5595176 edges, 144 markings/sec, 510 secs
lola: 100189 markings, 5647078 edges, 158 markings/sec, 515 secs
lola: 100977 markings, 5694639 edges, 158 markings/sec, 520 secs
lola: 101670 markings, 5752692 edges, 139 markings/sec, 525 secs
lola: 102367 markings, 5814867 edges, 139 markings/sec, 530 secs
lola: 103223 markings, 5856253 edges, 171 markings/sec, 535 secs
lola: 104098 markings, 5895074 edges, 175 markings/sec, 540 secs
lola: 104932 markings, 5937581 edges, 167 markings/sec, 545 secs
lola: 105742 markings, 5984644 edges, 162 markings/sec, 550 secs
lola: 106490 markings, 6035163 edges, 150 markings/sec, 555 secs
lola: 107284 markings, 6082644 edges, 159 markings/sec, 560 secs
lola: 108086 markings, 6131256 edges, 160 markings/sec, 565 secs
lola: 108823 markings, 6185865 edges, 147 markings/sec, 570 secs
lola: 109569 markings, 6240023 edges, 149 markings/sec, 575 secs
lola: 110322 markings, 6292730 edges, 151 markings/sec, 580 secs
lola: 111130 markings, 6334155 edges, 162 markings/sec, 585 secs
lola: 111897 markings, 6378509 edges, 153 markings/sec, 590 secs
lola: 112668 markings, 6424152 edges, 154 markings/sec, 595 secs
lola: 113373 markings, 6474619 edges, 141 markings/sec, 600 secs
lola: 114038 markings, 6532858 edges, 133 markings/sec, 605 secs
lola: 114761 markings, 6595702 edges, 145 markings/sec, 610 secs
lola: 115508 markings, 6658726 edges, 149 markings/sec, 615 secs
lola: 116211 markings, 6724362 edges, 141 markings/sec, 620 secs
lola: 116984 markings, 6780179 edges, 155 markings/sec, 625 secs
lola: 117840 markings, 6826104 edges, 171 markings/sec, 630 secs
lola: 118668 markings, 6873221 edges, 166 markings/sec, 635 secs
lola: 119493 markings, 6922509 edges, 165 markings/sec, 640 secs
lola: 120265 markings, 6976154 edges, 154 markings/sec, 645 secs
lola: 120987 markings, 7034133 edges, 144 markings/sec, 650 secs
lola: 121783 markings, 7086543 edges, 159 markings/sec, 655 secs
lola: 122578 markings, 7136397 edges, 159 markings/sec, 660 secs
lola: 123342 markings, 7183171 edges, 153 markings/sec, 665 secs
lola: 124079 markings, 7231157 edges, 147 markings/sec, 670 secs
lola: 124761 markings, 7292248 edges, 136 markings/sec, 675 secs
lola: 125500 markings, 7344091 edges, 148 markings/sec, 680 secs
lola: 126193 markings, 7396373 edges, 139 markings/sec, 685 secs
lola: 126863 markings, 7448799 edges, 134 markings/sec, 690 secs
lola: 127569 markings, 7505233 edges, 141 markings/sec, 695 secs
lola: 128309 markings, 7557331 edges, 148 markings/sec, 700 secs
lola: 129038 markings, 7616062 edges, 146 markings/sec, 705 secs
lola: 129756 markings, 7674080 edges, 144 markings/sec, 710 secs
lola: 130487 markings, 7731733 edges, 146 markings/sec, 715 secs
lola: 131402 markings, 7781106 edges, 183 markings/sec, 720 secs
lola: 132346 markings, 7829981 edges, 189 markings/sec, 725 secs
lola: 133241 markings, 7882394 edges, 179 markings/sec, 730 secs
lola: 134115 markings, 7937743 edges, 175 markings/sec, 735 secs
lola: 135027 markings, 7990596 edges, 182 markings/sec, 740 secs
lola: 135880 markings, 8048925 edges, 171 markings/sec, 745 secs
lola: 136653 markings, 8110503 edges, 155 markings/sec, 750 secs
lola: 137526 markings, 8162915 edges, 175 markings/sec, 755 secs
lola: 138393 markings, 8213382 edges, 173 markings/sec, 760 secs
lola: 139190 markings, 8265602 edges, 159 markings/sec, 765 secs
lola: 140015 markings, 8323567 edges, 165 markings/sec, 770 secs
lola: 140851 markings, 8381063 edges, 167 markings/sec, 775 secs
lola: 141616 markings, 8443249 edges, 153 markings/sec, 780 secs
lola: 142469 markings, 8499063 edges, 171 markings/sec, 785 secs
lola: 143325 markings, 8550389 edges, 171 markings/sec, 790 secs
lola: 144163 markings, 8604688 edges, 168 markings/sec, 795 secs
lola: 144961 markings, 8661418 edges, 160 markings/sec, 800 secs
lola: 145692 markings, 8724363 edges, 146 markings/sec, 805 secs
lola: 146510 markings, 8781112 edges, 164 markings/sec, 810 secs
lola: 147275 markings, 8842180 edges, 153 markings/sec, 815 secs
lola: 148055 markings, 8899885 edges, 156 markings/sec, 820 secs
lola: 148815 markings, 8960729 edges, 152 markings/sec, 825 secs
lola: 149521 markings, 9030914 edges, 141 markings/sec, 830 secs
lola: 150226 markings, 9094922 edges, 141 markings/sec, 835 secs
lola: 150963 markings, 9159053 edges, 147 markings/sec, 840 secs
lola: 151718 markings, 9221295 edges, 151 markings/sec, 845 secs
lola: 152427 markings, 9287992 edges, 142 markings/sec, 850 secs
lola: 153202 markings, 9345817 edges, 155 markings/sec, 855 secs
lola: 153989 markings, 9399728 edges, 157 markings/sec, 860 secs
lola: 154704 markings, 9460064 edges, 143 markings/sec, 865 secs
lola: 155377 markings, 9522041 edges, 135 markings/sec, 870 secs
lola: 156049 markings, 9582079 edges, 134 markings/sec, 875 secs
lola: 156724 markings, 9641775 edges, 135 markings/sec, 880 secs
lola: 157444 markings, 9693028 edges, 144 markings/sec, 885 secs
lola: 158312 markings, 9736754 edges, 174 markings/sec, 890 secs
lola: 159141 markings, 9785362 edges, 166 markings/sec, 895 secs
lola: 159954 markings, 9837672 edges, 163 markings/sec, 900 secs
lola: 160728 markings, 9891635 edges, 155 markings/sec, 905 secs
lola: 161515 markings, 9945645 edges, 157 markings/sec, 910 secs
lola: 162300 markings, 10001214 edges, 157 markings/sec, 915 secs
lola: 163068 markings, 10057070 edges, 154 markings/sec, 920 secs
lola: 163794 markings, 10119644 edges, 145 markings/sec, 925 secs
lola: 164513 markings, 10181888 edges, 144 markings/sec, 930 secs
lola: 165216 markings, 10247761 edges, 141 markings/sec, 935 secs
lola: 165911 markings, 10312187 edges, 139 markings/sec, 940 secs
lola: 166662 markings, 10369284 edges, 150 markings/sec, 945 secs
lola: 167416 markings, 10427817 edges, 151 markings/sec, 950 secs
lola: 168085 markings, 10495184 edges, 134 markings/sec, 955 secs
lola: 169001 markings, 10537845 edges, 183 markings/sec, 960 secs
lola: 169832 markings, 10587430 edges, 166 markings/sec, 965 secs
lola: 170656 markings, 10637815 edges, 165 markings/sec, 970 secs
lola: 171452 markings, 10692181 edges, 159 markings/sec, 975 secs
lola: 172234 markings, 10747286 edges, 156 markings/sec, 980 secs
lola: 173015 markings, 10803240 edges, 156 markings/sec, 985 secs
lola: 173778 markings, 10861686 edges, 153 markings/sec, 990 secs
lola: 174551 markings, 10917582 edges, 155 markings/sec, 995 secs
lola: 175322 markings, 10972815 edges, 154 markings/sec, 1000 secs
lola: 176129 markings, 11020045 edges, 161 markings/sec, 1005 secs
lola: 176878 markings, 11072517 edges, 150 markings/sec, 1010 secs
lola: 177605 markings, 11126888 edges, 145 markings/sec, 1015 secs
lola: 178341 markings, 11180926 edges, 147 markings/sec, 1020 secs
lola: 179067 markings, 11237569 edges, 145 markings/sec, 1025 secs
lola: 179762 markings, 11302417 edges, 139 markings/sec, 1030 secs
lola: 180444 markings, 11360973 edges, 136 markings/sec, 1035 secs
lola: 181118 markings, 11420793 edges, 135 markings/sec, 1040 secs
lola: 181804 markings, 11482878 edges, 137 markings/sec, 1045 secs
lola: 182481 markings, 11541689 edges, 135 markings/sec, 1050 secs
lola: 183130 markings, 11606284 edges, 130 markings/sec, 1055 secs
lola: 183921 markings, 11650823 edges, 158 markings/sec, 1060 secs
lola: 184695 markings, 11694795 edges, 155 markings/sec, 1065 secs
lola: 185454 markings, 11741393 edges, 152 markings/sec, 1070 secs
lola: 186174 markings, 11791905 edges, 144 markings/sec, 1075 secs
lola: 186858 markings, 11844118 edges, 137 markings/sec, 1080 secs
lola: 187547 markings, 11898110 edges, 138 markings/sec, 1085 secs
lola: 188271 markings, 11948964 edges, 145 markings/sec, 1090 secs
lola: 188896 markings, 12007311 edges, 125 markings/sec, 1095 secs
lola: 189602 markings, 12059781 edges, 141 markings/sec, 1100 secs
lola: 190284 markings, 12114870 edges, 136 markings/sec, 1105 secs
lola: 190941 markings, 12173264 edges, 131 markings/sec, 1110 secs
lola: 191791 markings, 12224616 edges, 170 markings/sec, 1115 secs
lola: 192755 markings, 12274097 edges, 193 markings/sec, 1120 secs
lola: 193657 markings, 12328189 edges, 180 markings/sec, 1125 secs
lola: 194545 markings, 12384559 edges, 178 markings/sec, 1130 secs
lola: 195367 markings, 12445454 edges, 164 markings/sec, 1135 secs
lola: 196269 markings, 12502209 edges, 180 markings/sec, 1140 secs
lola: 197099 markings, 12564100 edges, 166 markings/sec, 1145 secs
lola: 197958 markings, 12621899 edges, 172 markings/sec, 1150 secs
lola: 198834 markings, 12674136 edges, 175 markings/sec, 1155 secs
lola: 199670 markings, 12728809 edges, 167 markings/sec, 1160 secs
lola: 200490 markings, 12786165 edges, 164 markings/sec, 1165 secs
lola: local time limit reached - aborting
lola:
preliminary result: no no no no no no no no no no yes unknown unknown unknown no no
lola: memory consumption: 663212 KB
lola: time consumption: 2399 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no no no no no no no no no yes unknown unknown unknown no no
lola: memory consumption: 665656 KB
lola: time consumption: 2403 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1147 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((F ((p0_94 <= flag_0_92)) OR (G ((flag_1_39 <= p0_23)) AND F ((p0_94 <= flag_0_92))))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F ((F ((p0_94 <= flag_0_92)) OR (G ((flag_1_39 <= p0_23)) AND F ((p0_94 <= flag_0_92))))))
lola: processed formula length: 93
lola: 39 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: LTL model checker
lola: The net satisfies the given formula (language of the product automaton is empty).
lola: 1 markings, 0 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F (G ((p1_46 <= p0_63))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((p1_46 <= p0_63))))
lola: processed formula length: 28
lola: 39 rewrites
lola: closed formula file LTLCardinality.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: 1911 markings, 49516 edges, 382 markings/sec, 0 secs
lola: 3471 markings, 113467 edges, 312 markings/sec, 5 secs
lola: 5132 markings, 172387 edges, 332 markings/sec, 10 secs
lola: 6569 markings, 241414 edges, 287 markings/sec, 15 secs
lola: 8061 markings, 297943 edges, 298 markings/sec, 20 secs
lola: 9519 markings, 348197 edges, 292 markings/sec, 25 secs
lola: 10797 markings, 408602 edges, 256 markings/sec, 30 secs
lola: 12192 markings, 466961 edges, 279 markings/sec, 35 secs
lola: 13471 markings, 531209 edges, 256 markings/sec, 40 secs
lola: 14679 markings, 597776 edges, 242 markings/sec, 45 secs
lola: 16040 markings, 651406 edges, 272 markings/sec, 50 secs
lola: 17374 markings, 700826 edges, 267 markings/sec, 55 secs
lola: 18568 markings, 758406 edges, 239 markings/sec, 60 secs
lola: 19854 markings, 812521 edges, 257 markings/sec, 65 secs
lola: 21118 markings, 864629 edges, 253 markings/sec, 70 secs
lola: 22346 markings, 910520 edges, 246 markings/sec, 75 secs
lola: 23503 markings, 962249 edges, 231 markings/sec, 80 secs
lola: 24561 markings, 1017967 edges, 212 markings/sec, 85 secs
lola: 25718 markings, 1070056 edges, 231 markings/sec, 90 secs
lola: 26740 markings, 1130776 edges, 204 markings/sec, 95 secs
lola: 27928 markings, 1170196 edges, 238 markings/sec, 100 secs
lola: 29005 markings, 1215190 edges, 215 markings/sec, 105 secs
lola: 30019 markings, 1265935 edges, 203 markings/sec, 110 secs
lola: 31064 markings, 1315561 edges, 209 markings/sec, 115 secs
lola: 31986 markings, 1371883 edges, 184 markings/sec, 120 secs
lola: 32943 markings, 1427255 edges, 191 markings/sec, 125 secs
lola: 33893 markings, 1483991 edges, 190 markings/sec, 130 secs
lola: 34726 markings, 1549455 edges, 167 markings/sec, 135 secs
lola: 35752 markings, 1590215 edges, 205 markings/sec, 140 secs
lola: 36743 markings, 1630739 edges, 198 markings/sec, 145 secs
lola: 37700 markings, 1676722 edges, 191 markings/sec, 150 secs
lola: 38618 markings, 1726337 edges, 184 markings/sec, 155 secs
lola: 39557 markings, 1770173 edges, 188 markings/sec, 160 secs
lola: 40477 markings, 1812739 edges, 184 markings/sec, 165 secs
lola: 41321 markings, 1864626 edges, 169 markings/sec, 170 secs
lola: 42181 markings, 1916620 edges, 172 markings/sec, 175 secs
lola: 43037 markings, 1970943 edges, 171 markings/sec, 180 secs
lola: 43909 markings, 2022053 edges, 174 markings/sec, 185 secs
lola: 44768 markings, 2072677 edges, 172 markings/sec, 190 secs
lola: 45524 markings, 2135407 edges, 151 markings/sec, 195 secs
lola: 46381 markings, 2184497 edges, 171 markings/sec, 200 secs
lola: 47136 markings, 2240251 edges, 151 markings/sec, 205 secs
lola: 47949 markings, 2291051 edges, 163 markings/sec, 210 secs
lola: 48880 markings, 2334387 edges, 186 markings/sec, 215 secs
lola: 49735 markings, 2382374 edges, 171 markings/sec, 220 secs
lola: 50587 markings, 2430828 edges, 170 markings/sec, 225 secs
lola: 51378 markings, 2484355 edges, 158 markings/sec, 230 secs
lola: 52201 markings, 2536079 edges, 165 markings/sec, 235 secs
lola: 53082 markings, 2582513 edges, 176 markings/sec, 240 secs
lola: 53905 markings, 2630014 edges, 165 markings/sec, 245 secs
lola: 54701 markings, 2680969 edges, 159 markings/sec, 250 secs
lola: 55456 markings, 2738969 edges, 151 markings/sec, 255 secs
lola: 56249 markings, 2793185 edges, 159 markings/sec, 260 secs
lola: 56994 markings, 2852087 edges, 149 markings/sec, 265 secs
lola: 57729 markings, 2910565 edges, 147 markings/sec, 270 secs
lola: 58439 markings, 2971673 edges, 142 markings/sec, 275 secs
lola: 59193 markings, 3026222 edges, 151 markings/sec, 280 secs
lola: 59977 markings, 3078674 edges, 157 markings/sec, 285 secs
lola: 60756 markings, 3129319 edges, 156 markings/sec, 290 secs
lola: 61462 markings, 3189424 edges, 141 markings/sec, 295 secs
lola: 62220 markings, 3245355 edges, 152 markings/sec, 300 secs
lola: 63152 markings, 3282556 edges, 186 markings/sec, 305 secs
lola: 64016 markings, 3324680 edges, 173 markings/sec, 310 secs
lola: 64858 markings, 3370285 edges, 168 markings/sec, 315 secs
lola: 65661 markings, 3417312 edges, 161 markings/sec, 320 secs
lola: 66522 markings, 3461367 edges, 172 markings/sec, 325 secs
lola: 67373 markings, 3501224 edges, 170 markings/sec, 330 secs
lola: 68166 markings, 3543748 edges, 159 markings/sec, 335 secs
lola: 68964 markings, 3593034 edges, 160 markings/sec, 340 secs
lola: 69738 markings, 3643718 edges, 155 markings/sec, 345 secs
lola: 70534 markings, 3690300 edges, 159 markings/sec, 350 secs
lola: 71306 markings, 3743414 edges, 154 markings/sec, 355 secs
lola: 72220 markings, 3782704 edges, 183 markings/sec, 360 secs
lola: 73106 markings, 3824209 edges, 177 markings/sec, 365 secs
lola: 73965 markings, 3866200 edges, 172 markings/sec, 370 secs
lola: 74782 markings, 3912231 edges, 163 markings/sec, 375 secs
lola: 75658 markings, 3956266 edges, 175 markings/sec, 380 secs
lola: 76449 markings, 4005461 edges, 158 markings/sec, 385 secs
lola: 77227 markings, 4056494 edges, 156 markings/sec, 390 secs
lola: 77997 markings, 4108841 edges, 154 markings/sec, 395 secs
lola: 78719 markings, 4165231 edges, 144 markings/sec, 400 secs
lola: 79462 markings, 4219036 edges, 149 markings/sec, 405 secs
lola: 80283 markings, 4261362 edges, 164 markings/sec, 410 secs
lola: 81077 markings, 4304873 edges, 159 markings/sec, 415 secs
lola: 81859 markings, 4349781 edges, 156 markings/sec, 420 secs
lola: 82588 markings, 4399580 edges, 146 markings/sec, 425 secs
lola: 83374 markings, 4446063 edges, 157 markings/sec, 430 secs
lola: 84059 markings, 4500484 edges, 137 markings/sec, 435 secs
lola: 84814 markings, 4548497 edges, 151 markings/sec, 440 secs
lola: 85488 markings, 4604658 edges, 135 markings/sec, 445 secs
lola: 86264 markings, 4653508 edges, 155 markings/sec, 450 secs
lola: 87083 markings, 4695751 edges, 164 markings/sec, 455 secs
lola: 87860 markings, 4740037 edges, 155 markings/sec, 460 secs
lola: 88616 markings, 4789791 edges, 151 markings/sec, 465 secs
lola: 89391 markings, 4837019 edges, 155 markings/sec, 470 secs
lola: 90109 markings, 4888176 edges, 144 markings/sec, 475 secs
lola: 90846 markings, 4941929 edges, 147 markings/sec, 480 secs
lola: 91568 markings, 4994649 edges, 144 markings/sec, 485 secs
lola: 92245 markings, 5047528 edges, 135 markings/sec, 490 secs
lola: 93007 markings, 5093304 edges, 152 markings/sec, 495 secs
lola: 93732 markings, 5143945 edges, 145 markings/sec, 500 secs
lola: 94413 markings, 5198713 edges, 136 markings/sec, 505 secs
lola: 95129 markings, 5251190 edges, 143 markings/sec, 510 secs
lola: 95789 markings, 5308254 edges, 132 markings/sec, 515 secs
lola: 96514 markings, 5360728 edges, 145 markings/sec, 520 secs
lola: 97215 markings, 5417886 edges, 140 markings/sec, 525 secs
lola: 97915 markings, 5475873 edges, 140 markings/sec, 530 secs
lola: 98612 markings, 5530784 edges, 139 markings/sec, 535 secs
lola: 99308 markings, 5586620 edges, 139 markings/sec, 540 secs
lola: 100022 markings, 5639262 edges, 143 markings/sec, 545 secs
lola: 100774 markings, 5683203 edges, 150 markings/sec, 550 secs
lola: 101462 markings, 5733729 edges, 138 markings/sec, 555 secs
lola: 102087 markings, 5794645 edges, 125 markings/sec, 560 secs
lola: 102812 markings, 5843982 edges, 145 markings/sec, 565 secs
lola: 103680 markings, 5877600 edges, 174 markings/sec, 570 secs
lola: 104479 markings, 5915791 edges, 160 markings/sec, 575 secs
lola: 105282 markings, 5956391 edges, 161 markings/sec, 580 secs
lola: 106018 markings, 6001730 edges, 147 markings/sec, 585 secs
lola: 106699 markings, 6051984 edges, 136 markings/sec, 590 secs
lola: 107487 markings, 6093935 edges, 158 markings/sec, 595 secs
lola: 108224 markings, 6140794 edges, 147 markings/sec, 600 secs
lola: 108923 markings, 6191525 edges, 140 markings/sec, 605 secs
lola: 109611 markings, 6243851 edges, 138 markings/sec, 610 secs
lola: 110323 markings, 6292770 edges, 142 markings/sec, 615 secs
lola: 111086 markings, 6331684 edges, 153 markings/sec, 620 secs
lola: 111811 markings, 6371791 edges, 145 markings/sec, 625 secs
lola: 112530 markings, 6414342 edges, 144 markings/sec, 630 secs
lola: 113203 markings, 6461656 edges, 135 markings/sec, 635 secs
lola: 113838 markings, 6516578 edges, 127 markings/sec, 640 secs
lola: 114497 markings, 6574284 edges, 132 markings/sec, 645 secs
lola: 115207 markings, 6632044 edges, 142 markings/sec, 650 secs
lola: 115884 markings, 6692629 edges, 135 markings/sec, 655 secs
lola: 116537 markings, 6755045 edges, 131 markings/sec, 660 secs
lola: 117355 markings, 6797398 edges, 164 markings/sec, 665 secs
lola: 118160 markings, 6840810 edges, 161 markings/sec, 670 secs
lola: 118911 markings, 6888404 edges, 150 markings/sec, 675 secs
lola: 119674 markings, 6936737 edges, 153 markings/sec, 680 secs
lola: 120400 markings, 6986450 edges, 145 markings/sec, 685 secs
lola: 121096 markings, 7039600 edges, 139 markings/sec, 690 secs
lola: 121832 markings, 7090934 edges, 147 markings/sec, 695 secs
lola: 122594 markings, 7137203 edges, 152 markings/sec, 700 secs
lola: 123335 markings, 7182877 edges, 148 markings/sec, 705 secs
lola: 124051 markings, 7229121 edges, 143 markings/sec, 710 secs
lola: 124714 markings, 7287767 edges, 133 markings/sec, 715 secs
lola: 125423 markings, 7338878 edges, 142 markings/sec, 720 secs
lola: 126108 markings, 7389650 edges, 137 markings/sec, 725 secs
lola: 126773 markings, 7440723 edges, 133 markings/sec, 730 secs
lola: 127438 markings, 7497292 edges, 133 markings/sec, 735 secs
lola: 128146 markings, 7546704 edges, 142 markings/sec, 740 secs
lola: 128847 markings, 7600543 edges, 140 markings/sec, 745 secs
lola: 129498 markings, 7658720 edges, 130 markings/sec, 750 secs
lola: 130204 markings, 7709744 edges, 141 markings/sec, 755 secs
lola: 130955 markings, 7761646 edges, 150 markings/sec, 760 secs
lola: 131874 markings, 7804836 edges, 184 markings/sec, 765 secs
lola: 132703 markings, 7855383 edges, 166 markings/sec, 770 secs
lola: 133572 markings, 7903265 edges, 174 markings/sec, 775 secs
lola: 134413 markings, 7952238 edges, 168 markings/sec, 780 secs
lola: 135249 markings, 8004836 edges, 167 markings/sec, 785 secs
lola: 136039 markings, 8060351 edges, 158 markings/sec, 790 secs
lola: 136786 markings, 8118416 edges, 149 markings/sec, 795 secs
lola: 137609 markings, 8167837 edges, 165 markings/sec, 800 secs
lola: 138425 markings, 8215495 edges, 163 markings/sec, 805 secs
lola: 139200 markings, 8266332 edges, 155 markings/sec, 810 secs
lola: 139977 markings, 8320499 edges, 155 markings/sec, 815 secs
lola: 140766 markings, 8375353 edges, 158 markings/sec, 820 secs
lola: 141490 markings, 8432099 edges, 145 markings/sec, 825 secs
lola: 142269 markings, 8487986 edges, 156 markings/sec, 830 secs
lola: 143079 markings, 8536696 edges, 162 markings/sec, 835 secs
lola: 143857 markings, 8586967 edges, 156 markings/sec, 840 secs
lola: 144625 markings, 8638394 edges, 154 markings/sec, 845 secs
lola: 145357 markings, 8694741 edges, 146 markings/sec, 850 secs
lola: 146092 markings, 8749580 edges, 147 markings/sec, 855 secs
lola: 146830 markings, 8808034 edges, 148 markings/sec, 860 secs
lola: 147562 markings, 8862041 edges, 146 markings/sec, 865 secs
lola: 148279 markings, 8915253 edges, 143 markings/sec, 870 secs
lola: 148953 markings, 8974156 edges, 135 markings/sec, 875 secs
lola: 149604 markings, 9038250 edges, 130 markings/sec, 880 secs
lola: 150249 markings, 9096394 edges, 129 markings/sec, 885 secs
lola: 150929 markings, 9155612 edges, 136 markings/sec, 890 secs
lola: 151616 markings, 9212124 edges, 137 markings/sec, 895 secs
lola: 152261 markings, 9275130 edges, 129 markings/sec, 900 secs
lola: 152958 markings, 9332090 edges, 139 markings/sec, 905 secs
lola: 153700 markings, 9381077 edges, 148 markings/sec, 910 secs
lola: 154384 markings, 9432691 edges, 137 markings/sec, 915 secs
lola: 155041 markings, 9488224 edges, 131 markings/sec, 920 secs
lola: 155651 markings, 9546288 edges, 122 markings/sec, 925 secs
lola: 156278 markings, 9602277 edges, 125 markings/sec, 930 secs
lola: 156901 markings, 9657639 edges, 125 markings/sec, 935 secs
lola: 157643 markings, 9702228 edges, 148 markings/sec, 940 secs
lola: 158453 markings, 9743839 edges, 162 markings/sec, 945 secs
lola: 159220 markings, 9788922 edges, 153 markings/sec, 950 secs
lola: 159954 markings, 9837672 edges, 147 markings/sec, 955 secs
lola: 160672 markings, 9886964 edges, 144 markings/sec, 960 secs
lola: 161373 markings, 9936891 edges, 140 markings/sec, 965 secs
lola: 162086 markings, 9988350 edges, 143 markings/sec, 970 secs
lola: 162788 markings, 10039663 edges, 140 markings/sec, 975 secs
lola: 163471 markings, 10091583 edges, 137 markings/sec, 980 secs
lola: 164126 markings, 10150219 edges, 131 markings/sec, 985 secs
lola: 164804 markings, 10206962 edges, 136 markings/sec, 990 secs
lola: 165420 markings, 10269390 edges, 123 markings/sec, 995 secs
lola: 166068 markings, 10325432 edges, 130 markings/sec, 1000 secs
lola: 166763 markings, 10378455 edges, 139 markings/sec, 1005 secs
lola: 167469 markings, 10432149 edges, 141 markings/sec, 1010 secs
lola: 168075 markings, 10494209 edges, 121 markings/sec, 1015 secs
lola: 168915 markings, 10534159 edges, 168 markings/sec, 1020 secs
lola: 169696 markings, 10578211 edges, 156 markings/sec, 1025 secs
lola: 170455 markings, 10623123 edges, 152 markings/sec, 1030 secs
lola: 171184 markings, 10673152 edges, 146 markings/sec, 1035 secs
lola: 171872 markings, 10725135 edges, 138 markings/sec, 1040 secs
lola: 172632 markings, 10772428 edges, 152 markings/sec, 1045 secs
lola: 173318 markings, 10826905 edges, 137 markings/sec, 1050 secs
lola: 174039 markings, 10878490 edges, 144 markings/sec, 1055 secs
lola: 174718 markings, 10933283 edges, 136 markings/sec, 1060 secs
lola: 175465 markings, 10980755 edges, 149 markings/sec, 1065 secs
lola: 176196 markings, 11024899 edges, 146 markings/sec, 1070 secs
lola: 176878 markings, 11072517 edges, 136 markings/sec, 1075 secs
lola: 177549 markings, 11122504 edges, 134 markings/sec, 1080 secs
lola: 178209 markings, 11173517 edges, 132 markings/sec, 1085 secs
lola: 178905 markings, 11222668 edges, 139 markings/sec, 1090 secs
lola: 179552 markings, 11279927 edges, 129 markings/sec, 1095 secs
lola: 180159 markings, 11337683 edges, 121 markings/sec, 1100 secs
lola: 180794 markings, 11390201 edges, 127 markings/sec, 1105 secs
lola: 181402 markings, 11449627 edges, 122 markings/sec, 1110 secs
lola: 182040 markings, 11505998 edges, 128 markings/sec, 1115 secs
lola: 182693 markings, 11562050 edges, 131 markings/sec, 1120 secs
lola: 183297 markings, 11623516 edges, 121 markings/sec, 1125 secs
lola: 184107 markings, 11661553 edges, 162 markings/sec, 1130 secs
lola: 184827 markings, 11702776 edges, 144 markings/sec, 1135 secs
lola: 185480 markings, 11743019 edges, 131 markings/sec, 1140 secs
lola: time limit reached - aborting
lola:
preliminary result: no no no no no no no no no no yes yes unknown unknown no no
lola:
preliminary result: no no no no no no no no no no yes yes unknown unknown no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: no no no no no no no no no no yes yes unknown unknown no no
lola: memory consumption: 625608 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: memory consumption: 625608 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no no no no no no no no no yes yes unknown unknown no no
lola: memory consumption: 626496 KB
lola: time consumption: 3574 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: no no no no no no no no no no yes yes unknown unknown no no
lola:
preliminary result: no no no no no no no no no no yes yes unknown unknown no no
lola: memory consumption: 252632 KB
lola: time consumption: 3575 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
rslt: finished
BK_STOP 1554424942096
--------------------
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="Dekker-PT-100"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is Dekker-PT-100, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r049-oct2-155234405800888"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/Dekker-PT-100.tgz
mv Dekker-PT-100 execution
cd execution
if [ "LTLCardinality" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "LTLCardinality" = "UpperBounds" ] ; 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 [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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
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 ;