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.r104-oct2-155272226500817.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 Philosophers-PT-000050, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r104-oct2-155272226500817
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 760K
-rw-r--r-- 1 mcc users 23K Feb 12 04:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 12 04:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 19K Feb 8 03:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 93K Feb 8 03:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 109 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 347 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 9.9K Feb 5 00:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 37K Feb 5 00:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 4 22:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 36K Feb 4 22:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 19K Feb 4 08:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 4 08:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 1 02:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 1 02:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 6.1K Feb 4 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 16K Feb 4 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 7 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 205K 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 Philosophers-PT-000050-LTLFireability-00
FORMULA_NAME Philosophers-PT-000050-LTLFireability-01
FORMULA_NAME Philosophers-PT-000050-LTLFireability-02
FORMULA_NAME Philosophers-PT-000050-LTLFireability-03
FORMULA_NAME Philosophers-PT-000050-LTLFireability-04
FORMULA_NAME Philosophers-PT-000050-LTLFireability-05
FORMULA_NAME Philosophers-PT-000050-LTLFireability-06
FORMULA_NAME Philosophers-PT-000050-LTLFireability-07
FORMULA_NAME Philosophers-PT-000050-LTLFireability-08
FORMULA_NAME Philosophers-PT-000050-LTLFireability-09
FORMULA_NAME Philosophers-PT-000050-LTLFireability-10
FORMULA_NAME Philosophers-PT-000050-LTLFireability-11
FORMULA_NAME Philosophers-PT-000050-LTLFireability-12
FORMULA_NAME Philosophers-PT-000050-LTLFireability-13
FORMULA_NAME Philosophers-PT-000050-LTLFireability-14
FORMULA_NAME Philosophers-PT-000050-LTLFireability-15

=== Now, execution of the tool begins

BK_START 1554421310678

info: Time: 3600 - MCC
vrfy: Checking LTLFireability @ Philosophers-PT-000050 @ 3570 seconds

FORMULA Philosophers-PT-000050-LTLFireability-11 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Philosophers-PT-000050-LTLFireability-14 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Philosophers-PT-000050-LTLFireability-10 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Philosophers-PT-000050-LTLFireability-02 TRUE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Philosophers-PT-000050-LTLFireability-12 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Philosophers-PT-000050-LTLFireability-13 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Philosophers-PT-000050-LTLFireability-03 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Philosophers-PT-000050-LTLFireability-08 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Philosophers-PT-000050-LTLFireability-05 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Philosophers-PT-000050-LTLFireability-06 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Philosophers-PT-000050-LTLFireability-09 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Philosophers-PT-000050-LTLFireability-15 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Philosophers-PT-000050-LTLFireability-01 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Philosophers-PT-000050-LTLFireability-04 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Philosophers-PT-000050-LTLFireability-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -24
rslt: Output for LTLFireability @ Philosophers-PT-000050

{
"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=LTLFireability.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLFireability.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Apr 4 23:41:50 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": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "FIREABLE(FF1a_3)",
"processed_size": 16,
"rewrites": 29
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"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": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "FIREABLE(FF1a_28)",
"processed_size": 17,
"rewrites": 29
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": true
},
"task":
{
"compoundnumber": 1,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 0,
"U": 2,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A (X ((X (FIREABLE(FF2b_29)) U (FIREABLE(End_21) U FIREABLE(FF1a_21)))))",
"processed_size": 72,
"rewrites": 29
},
"result":
{
"edges": 80,
"markings": 80,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 6
},
"compoundnumber": 2,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 274
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 50,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 50,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 50
},
"processed": "A (X (F ((FIREABLE(FF1a_26) OR FIREABLE(FF1a_27) OR FIREABLE(FF1a_24) OR FIREABLE(FF1a_25) OR FIREABLE(FF1a_22) OR FIREABLE(FF1a_23) OR FIREABLE(FF1a_20) OR FIREABLE(FF1a_21) OR FIREABLE(FF1a_18) OR FIREABLE(FF1a_19) OR FIREABLE(FF1a_16) OR FIREABLE(FF1a_17) OR FIREABLE(FF1a_14) OR FIREABLE(FF1a_15) OR FIREABLE(FF1a_12) OR FIREABLE(FF1a_13) OR FIREABLE(FF1a_11) OR FIREABLE(FF1a_10) OR FIREABLE(FF1a_9) OR FIREABLE(FF1a_8) OR FIREABLE(FF1a_7) OR FIREABLE(FF1a_6) OR FIREABLE(FF1a_5) OR FIREABLE(FF1a_4) OR FIREABLE(FF1a_3) OR FIREABLE(FF1a_2) OR FIREABLE(FF1a_1) OR FIREABLE(FF1a_48) OR FIREABLE(FF1a_49) OR FIREABLE(FF1a_50) OR FIREABLE(FF1a_44) OR FIREABLE(FF1a_45) OR FIREABLE(FF1a_46) OR FIREABLE(FF1a_47) OR FIREABLE(FF1a_41) OR FIREABLE(FF1a_40) OR FIREABLE(FF1a_43) OR FIREABLE(FF1a_42) OR FIREABLE(FF1a_37) OR FIREABLE(FF1a_36) OR FIREABLE(FF1a_39) OR FIREABLE(FF1a_38) OR FIREABLE(FF1a_33) OR FIREABLE(FF1a_32) OR FIREABLE(FF1a_35) OR FIREABLE(FF1a_34) OR FIREABLE(FF1a_29) OR FIREABLE(FF1a_28) OR FIREABLE(FF1a_31) OR FIREABLE(FF1a_30)))))",
"processed_size": 1100,
"rewrites": 29
},
"result":
{
"edges": 100,
"markings": 101,
"produced_by": "LTL model checker",
"value": true
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 3,
"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": 297
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 2,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 3,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 3,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 3
},
"processed": "A ((F (FIREABLE(FF1a_4)) U X ((FIREABLE(FF1b_45) U FIREABLE(FF1b_9)))))",
"processed_size": 71,
"rewrites": 29
},
"result":
{
"edges": 92,
"markings": 92,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 4,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (X (G (FIREABLE(FF1b_22))))",
"processed_size": 29,
"rewrites": 29
},
"result":
{
"edges": 51,
"markings": 51,
"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": 356
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 50,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 50,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 50
},
"processed": "A (X (X (F ((FIREABLE(FF2b_3) OR FIREABLE(FF2b_2) OR FIREABLE(FF2b_5) OR FIREABLE(FF2b_4) OR FIREABLE(FF2b_7) OR FIREABLE(FF2b_6) OR FIREABLE(FF2b_9) OR FIREABLE(FF2b_8) OR FIREABLE(FF2b_11) OR FIREABLE(FF2b_10) OR FIREABLE(FF2b_13) OR FIREABLE(FF2b_12) OR FIREABLE(FF2b_15) OR FIREABLE(FF2b_14) OR FIREABLE(FF2b_17) OR FIREABLE(FF2b_16) OR FIREABLE(FF2b_1) OR FIREABLE(FF2b_41) OR FIREABLE(FF2b_40) OR FIREABLE(FF2b_39) OR FIREABLE(FF2b_38) OR FIREABLE(FF2b_37) OR FIREABLE(FF2b_36) OR FIREABLE(FF2b_35) OR FIREABLE(FF2b_34) OR FIREABLE(FF2b_49) OR FIREABLE(FF2b_48) OR FIREABLE(FF2b_47) OR FIREABLE(FF2b_46) OR FIREABLE(FF2b_45) OR FIREABLE(FF2b_44) OR FIREABLE(FF2b_43) OR FIREABLE(FF2b_42) OR FIREABLE(FF2b_24) OR FIREABLE(FF2b_25) OR FIREABLE(FF2b_22) OR FIREABLE(FF2b_23) OR FIREABLE(FF2b_20) OR FIREABLE(FF2b_21) OR FIREABLE(FF2b_18) OR FIREABLE(FF2b_19) OR FIREABLE(FF2b_32) OR FIREABLE(FF2b_33) OR FIREABLE(FF2b_30) OR FIREABLE(FF2b_31) OR FIREABLE(FF2b_28) OR FIREABLE(FF2b_29) OR FIREABLE(FF2b_26) OR FIREABLE(FF2b_27) OR FIREABLE(FF2b_50))))))",
"processed_size": 1104,
"rewrites": 29
},
"result":
{
"edges": 1250,
"markings": 1249,
"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": 396
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (FIREABLE(FF1a_34)))",
"processed_size": 25,
"rewrites": 31
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 7,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 2,
"problems": 2
},
"type": "invariance",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 445
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 50,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 50,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 50
},
"processed": "A (G ((FIREABLE(FF1a_26) OR FIREABLE(FF1a_27) OR FIREABLE(FF1a_24) OR FIREABLE(FF1a_25) OR FIREABLE(FF1a_22) OR FIREABLE(FF1a_23) OR FIREABLE(FF1a_20) OR FIREABLE(FF1a_21) OR FIREABLE(FF1a_18) OR FIREABLE(FF1a_19) OR FIREABLE(FF1a_16) OR FIREABLE(FF1a_17) OR FIREABLE(FF1a_14) OR FIREABLE(FF1a_15) OR FIREABLE(FF1a_12) OR FIREABLE(FF1a_13) OR FIREABLE(FF1a_11) OR FIREABLE(FF1a_10) OR FIREABLE(FF1a_9) OR FIREABLE(FF1a_8) OR FIREABLE(FF1a_7) OR FIREABLE(FF1a_6) OR FIREABLE(FF1a_5) OR FIREABLE(FF1a_4) OR FIREABLE(FF1a_3) OR FIREABLE(FF1a_2) OR FIREABLE(FF1a_1) OR FIREABLE(FF1a_48) OR FIREABLE(FF1a_49) OR FIREABLE(FF1a_50) OR FIREABLE(FF1a_44) OR FIREABLE(FF1a_45) OR FIREABLE(FF1a_46) OR FIREABLE(FF1a_47) OR FIREABLE(FF1a_41) OR FIREABLE(FF1a_40) OR FIREABLE(FF1a_43) OR FIREABLE(FF1a_42) OR FIREABLE(FF1a_37) OR FIREABLE(FF1a_36) OR FIREABLE(FF1a_39) OR FIREABLE(FF1a_38) OR FIREABLE(FF1a_33) OR FIREABLE(FF1a_32) OR FIREABLE(FF1a_35) OR FIREABLE(FF1a_34) OR FIREABLE(FF1a_29) OR FIREABLE(FF1a_28) OR FIREABLE(FF1a_31) OR FIREABLE(FF1a_30))))",
"processed_size": 1096,
"rewrites": 31
},
"result":
{
"edges": 50,
"markings": 51,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"type": "invariance",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 509
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 50,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 50,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 50
},
"processed": "A (G ((FIREABLE(FF1a_26) OR FIREABLE(FF1a_27) OR FIREABLE(FF1a_24) OR FIREABLE(FF1a_25) OR FIREABLE(FF1a_22) OR FIREABLE(FF1a_23) OR FIREABLE(FF1a_20) OR FIREABLE(FF1a_21) OR FIREABLE(FF1a_18) OR FIREABLE(FF1a_19) OR FIREABLE(FF1a_16) OR FIREABLE(FF1a_17) OR FIREABLE(FF1a_14) OR FIREABLE(FF1a_15) OR FIREABLE(FF1a_12) OR FIREABLE(FF1a_13) OR FIREABLE(FF1a_11) OR FIREABLE(FF1a_10) OR FIREABLE(FF1a_9) OR FIREABLE(FF1a_8) OR FIREABLE(FF1a_7) OR FIREABLE(FF1a_6) OR FIREABLE(FF1a_5) OR FIREABLE(FF1a_4) OR FIREABLE(FF1a_3) OR FIREABLE(FF1a_2) OR FIREABLE(FF1a_1) OR FIREABLE(FF1a_48) OR FIREABLE(FF1a_49) OR FIREABLE(FF1a_50) OR FIREABLE(FF1a_44) OR FIREABLE(FF1a_45) OR FIREABLE(FF1a_46) OR FIREABLE(FF1a_47) OR FIREABLE(FF1a_41) OR FIREABLE(FF1a_40) OR FIREABLE(FF1a_43) OR FIREABLE(FF1a_42) OR FIREABLE(FF1a_37) OR FIREABLE(FF1a_36) OR FIREABLE(FF1a_39) OR FIREABLE(FF1a_38) OR FIREABLE(FF1a_33) OR FIREABLE(FF1a_32) OR FIREABLE(FF1a_35) OR FIREABLE(FF1a_34) OR FIREABLE(FF1a_29) OR FIREABLE(FF1a_28) OR FIREABLE(FF1a_31) OR FIREABLE(FF1a_30))))",
"processed_size": 1096,
"rewrites": 31
},
"result":
{
"edges": 50,
"markings": 51,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 9,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"type": "invariance",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 589
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (F (FIREABLE(FF1a_8))))",
"processed_size": 28,
"rewrites": 29
},
"result":
{
"edges": 51,
"markings": 51,
"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": 736
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 1,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 1,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 1
},
"processed": "A (G (F (FIREABLE(FF1b_16))))",
"processed_size": 29,
"rewrites": 29
},
"result":
{
"edges": 51,
"markings": 51,
"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": 1228
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 50,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 50,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 50
},
"processed": "A (G (F ((FIREABLE(FF1b_8) OR FIREABLE(FF1b_9) OR FIREABLE(FF1b_6) OR FIREABLE(FF1b_7) OR FIREABLE(FF1b_12) OR FIREABLE(FF1b_13) OR FIREABLE(FF1b_10) OR FIREABLE(FF1b_11) OR FIREABLE(FF1b_1) OR FIREABLE(FF1b_4) OR FIREABLE(FF1b_5) OR FIREABLE(FF1b_2) OR FIREABLE(FF1b_3) OR FIREABLE(FF1b_38) OR FIREABLE(FF1b_39) OR FIREABLE(FF1b_40) OR FIREABLE(FF1b_41) OR FIREABLE(FF1b_42) OR FIREABLE(FF1b_43) OR FIREABLE(FF1b_44) OR FIREABLE(FF1b_45) OR FIREABLE(FF1b_30) OR FIREABLE(FF1b_31) OR FIREABLE(FF1b_32) OR FIREABLE(FF1b_33) OR FIREABLE(FF1b_34) OR FIREABLE(FF1b_35) OR FIREABLE(FF1b_36) OR FIREABLE(FF1b_37) OR FIREABLE(FF1b_23) OR FIREABLE(FF1b_22) OR FIREABLE(FF1b_25) OR FIREABLE(FF1b_24) OR FIREABLE(FF1b_27) OR FIREABLE(FF1b_26) OR FIREABLE(FF1b_29) OR FIREABLE(FF1b_28) OR FIREABLE(FF1b_15) OR FIREABLE(FF1b_14) OR FIREABLE(FF1b_17) OR FIREABLE(FF1b_16) OR FIREABLE(FF1b_19) OR FIREABLE(FF1b_18) OR FIREABLE(FF1b_21) OR FIREABLE(FF1b_20) OR FIREABLE(FF1b_50) OR FIREABLE(FF1b_49) OR FIREABLE(FF1b_48) OR FIREABLE(FF1b_47) OR FIREABLE(FF1b_46)))))",
"processed_size": 1100,
"rewrites": 29
},
"result":
{
"edges": 52,
"markings": 52,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 14,
"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": 2456
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 1,
"aneg": 0,
"comp": 0,
"cont": 0,
"dl": 0,
"fir": 50,
"nodl": 0,
"place_references": 0,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 50,
"unfir": 0,
"visible_places": 0,
"visible_transitions": 50
},
"processed": "A (G (F ((FIREABLE(FF1b_8) OR FIREABLE(FF1b_9) OR FIREABLE(FF1b_6) OR FIREABLE(FF1b_7) OR FIREABLE(FF1b_12) OR FIREABLE(FF1b_13) OR FIREABLE(FF1b_10) OR FIREABLE(FF1b_11) OR FIREABLE(FF1b_1) OR FIREABLE(FF1b_4) OR FIREABLE(FF1b_5) OR FIREABLE(FF1b_2) OR FIREABLE(FF1b_3) OR FIREABLE(FF1b_38) OR FIREABLE(FF1b_39) OR FIREABLE(FF1b_40) OR FIREABLE(FF1b_41) OR FIREABLE(FF1b_42) OR FIREABLE(FF1b_43) OR FIREABLE(FF1b_44) OR FIREABLE(FF1b_45) OR FIREABLE(FF1b_30) OR FIREABLE(FF1b_31) OR FIREABLE(FF1b_32) OR FIREABLE(FF1b_33) OR FIREABLE(FF1b_34) OR FIREABLE(FF1b_35) OR FIREABLE(FF1b_36) OR FIREABLE(FF1b_37) OR FIREABLE(FF1b_23) OR FIREABLE(FF1b_22) OR FIREABLE(FF1b_25) OR FIREABLE(FF1b_24) OR FIREABLE(FF1b_27) OR FIREABLE(FF1b_26) OR FIREABLE(FF1b_29) OR FIREABLE(FF1b_28) OR FIREABLE(FF1b_15) OR FIREABLE(FF1b_14) OR FIREABLE(FF1b_17) OR FIREABLE(FF1b_16) OR FIREABLE(FF1b_19) OR FIREABLE(FF1b_18) OR FIREABLE(FF1b_21) OR FIREABLE(FF1b_20) OR FIREABLE(FF1b_50) OR FIREABLE(FF1b_49) OR FIREABLE(FF1b_48) OR FIREABLE(FF1b_47) OR FIREABLE(FF1b_46)))))",
"processed_size": 1100,
"rewrites": 29
},
"result":
{
"edges": 52,
"markings": 52,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"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": 16344,
"runtime": 3574.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "LTLFireability.json",
"formula": "LTLFireability.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(F(**)) : A(G(F(**))) : A(X(F(**))) : A(X(X(F(**)))) : A(G(F(**))) : A(G(**)) : A(G(**)) : A(G(F(**))) : A(G(**)) : A(G(F(**))) : A(X((X(**) U (** U **)))) : ** : A((F(**) U X((** U **)))) : A(X(G(**))) : ** : A(G(F(**)))"
},
"net":
{
"arcs": 800,
"conflict_clusters": 51,
"places": 250,
"places_significant": 150,
"singleton_clusters": 0,
"transitions": 250
},
"result":
{
"interim_value": "unknown no yes no no no no unknown no no no yes no no yes no ",
"preliminary_value": "unknown no yes no no no no unknown no no no yes no no yes 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: 500/268435456 symbol table entries, 0 collisions
lola: preprocessing...
lola: Size of bit vector: 250
lola: finding significant places
lola: 250 places, 250 transitions, 150 significant places
lola: compute conflict clusters
lola: computed conflict clusters
lola: Computing conflicting sets
lola: Computing back conflicting sets
lola: TASK
lola: Reading formula in XML format (--xmlformula)
lola: reading pnml
lola: reading formula from LTLFireability.xml
lola: A (F ((FIREABLE(End_2) OR FIREABLE(End_3) OR FIREABLE(End_1) OR FIREABLE(End_23) OR FIREABLE(End_22) OR FIREABLE(End_21) OR FIREABLE(End_20) OR FIREABLE(End_27) OR FIREABLE(End_26) OR FIREABLE(End_25) OR FIREABLE(End_24) OR FIREABLE(End_31) OR FIREABLE(End_30) OR FIREABLE(End_29) OR FIREABLE(End_28) OR FIREABLE(End_35) OR FIREABLE(End_34) OR FIREABLE(End_33) OR FIREABLE(End_32) OR FIREABLE(End_6) OR FIREABLE(End_7) OR FIREABLE(End_4) OR FIREABLE(End_5) OR FIREABLE(End_10) OR FIREABLE(End_11) OR FIREABLE(End_8) OR FIREABLE(End_9) OR FIREABLE(End_14) OR FIREABLE(End_15) OR FIREABLE(End_12) OR FIREABLE(End_13) OR FIREABLE(End_18) OR FIREABLE(End_19) OR FIREABLE(End_16) OR FIREABLE(End_17) OR FIREABLE(End_36) OR FIREABLE(End_37) OR FIREABLE(End_38) OR FIREABLE(End_39) OR FIREABLE(End_40) OR FIREABLE(End_41) OR FIREABLE(End_42) OR FIREABLE(End_43) OR FIREABLE(End_44) OR FIREABLE(End_45) OR FIREABLE(End_46) OR FIREABLE(End_47) OR FIREABLE(End_48) OR FIREABLE(End_49) OR FIREABLE(End_50)))) : A (G (F (((FIREABLE(End_2) OR FIREABLE(End_3) OR FIREABLE(End_1) OR FIREABLE(End_23) OR FIREABLE(End_22) OR FIREABLE(End_21) OR FIREABLE(End_20) OR FIREABLE(End_27) OR FIREABLE(End_26) OR FIREABLE(End_25) OR FIREABLE(End_24) OR FIREABLE(End_31) OR FIREABLE(End_30) OR FIREABLE(End_29) OR FIREABLE(End_28) OR FIREABLE(End_35) OR FIREABLE(End_34) OR FIREABLE(End_33) OR FIREABLE(End_32) OR FIREABLE(End_6) OR FIREABLE(End_7) OR FIREABLE(End_4) OR FIREABLE(End_5) OR FIREABLE(End_10) OR FIREABLE(End_11) OR FIREABLE(End_8) OR FIREABLE(End_9) OR FIREABLE(End_14) OR FIREABLE(End_15) OR FIREABLE(End_12) OR FIREABLE(End_13) OR FIREABLE(End_18) OR FIREABLE(End_19) OR FIREABLE(End_16) OR FIREABLE(End_17) OR FIREABLE(End_36) OR FIREABLE(End_37) OR FIREABLE(End_38) OR FIREABLE(End_39) OR FIREABLE(End_40) OR FIREABLE(End_41) OR FIREABLE(End_42) OR FIREABLE(End_43) OR FIREABLE(End_44) OR FIREABLE(End_45) OR FIREABLE(End_46) OR FIREABLE(End_47) OR FIREABLE(End_48) OR FIREABLE(End_49) OR FIREABLE(End_50)) U X ((FIREABLE(FF1b_8) OR FIREABLE(FF1b_9) OR FIREABLE(FF1b_6) OR FIREABLE(FF1b_7) OR FIREABLE(FF1b_12) OR FIREABLE(FF1b_13) OR FIREABLE(FF1b_10) OR FIREABLE(FF1b_11) OR FIREABLE(FF1b_1) OR FIREABLE(FF1b_4) OR FIREABLE(FF1b_5) OR FIREABLE(FF1b_2) OR FIREABLE(FF1b_3) OR FIREABLE(FF1b_38) OR FIREABLE(FF1b_39) OR FIREABLE(FF1b_40) OR FIREABLE(FF1b_41) OR FIREABLE(FF1b_42) OR FIREABLE(FF1b_43) OR FIREABLE(FF1b_44) OR FIREABLE(FF1b_45) OR FIREABLE(FF1b_30) OR FIREABLE(FF1b_31) OR FIREABLE(FF1b_32) OR FIREABLE(FF1b_33) OR FIREABLE(FF1b_34) OR FIREABLE(FF1b_35) OR FIREABLE(FF1b_36) OR FIREABLE(FF1b_37) OR FIREABLE(FF1b_23) OR FIREABLE(FF1b_22) OR FIREABLE(FF1b_25) OR FIREABLE(FF1b_24) OR FIREABLE(FF1b_27) OR FIREABLE(FF1b_26) OR FIREABLE(FF1b_29) OR FIREABLE(FF1b_28) OR FIREABLE(FF1b_15) OR FIREABLE(FF1b_14) OR FIREABLE(FF1b_17) OR FIREABLE(FF1b_16) OR FIREABLE(FF1b_19) OR FIREABLE(FF1b_18) OR FIREABLE(FF1b_21) OR FIREABLE(FF1b_20) OR FIREABLE(FF1b_50) OR FIREABLE(FF1b_49) OR FIREABLE(FF1b_48) OR FIREABLE(FF1b_47) OR FIREABLE(FF1b_46))))))) : A (X ((F (X ((FIREABLE(FF2a_21) OR FIREABLE(FF2a_20) OR FIREABLE(FF2a_23) OR FIREABLE(FF2a_22) OR FIREABLE(FF2a_17) OR FIREABLE(FF2a_16) OR FIREABLE(FF2a_19) OR FIREABLE(FF2a_18) OR FIREABLE(FF2a_29) OR FIREABLE(FF2a_28) OR FIREABLE(FF2a_31) OR FIREABLE(FF2a_30) OR FIREABLE(FF2a_25) OR FIREABLE(FF2a_24) OR FIREABLE(FF2a_27) OR FIREABLE(FF2a_26) OR FIREABLE(FF2a_4) OR FIREABLE(FF2a_5) OR FIREABLE(FF2a_6) OR FIREABLE(FF2a_7) OR FIREABLE(FF2a_1) OR FIREABLE(FF2a_2) OR FIREABLE(FF2a_3) OR FIREABLE(FF2a_12) OR FIREABLE(FF2a_13) OR FIREABLE(FF2a_14) OR FIREABLE(FF2a_15) OR FIREABLE(FF2a_8) OR FIREABLE(FF2a_9) OR FIREABLE(FF2a_10) OR FIREABLE(FF2a_11) OR FIREABLE(FF2a_50) OR FIREABLE(FF2a_48) OR FIREABLE(FF2a_49) OR FIREABLE(FF2a_43) OR FIREABLE(FF2a_42) OR FIREABLE(FF2a_41) OR FIREABLE(FF2a_40) OR FIREABLE(FF2a_47) OR FIREABLE(FF2a_46) OR FIREABLE(FF2a_45) OR FIREABLE(FF2a_44) OR FIREABLE(FF2a_35) OR FIREABLE(FF2a_34) OR FIREABLE(FF2a_33) OR FIREABLE(FF2a_32) OR FIREABLE(FF2a_39) OR FIREABLE(FF2a_38) OR FIREABLE(FF2a_37) OR FIREABLE(FF2a_36)))) U F (F ((FIREABLE(FF1a_26) OR FIREABLE(FF1a_27) OR FIREABLE(FF1a_24) OR FIREABLE(FF1a_25) OR FIREABLE(FF1a_22) OR FIREABLE(FF1a_23) OR FIREABLE(FF1a_20) OR FIREABLE(FF1a_21) OR FIREABLE(FF1a_18) OR FIREABLE(FF1a_19) OR FIREABLE(FF1a_16) OR FIREABLE(FF1a_17) OR FIREABLE(FF1a_14) OR FIREABLE(FF1a_15) OR FIREABLE(FF1a_12) OR FIREABLE(FF1a_13) OR FIREABLE(FF1a_11) OR FIREABLE(FF1a_10) OR FIREABLE(FF1a_9) OR FIREABLE(FF1a_8) OR FIREABLE(FF1a_7) OR FIREABLE(FF1a_6) OR FIREABLE(FF1a_5) OR FIREABLE(FF1a_4) OR FIREABLE(FF1a_3) OR FIREABLE(FF1a_2) OR FIREABLE(FF1a_1) OR FIREABLE(FF1a_48) OR FIREABLE(FF1a_49) OR FIREABLE(FF1a_50) OR FIREABLE(FF1a_44) OR FIREABLE(FF1a_45) OR FIREABLE(FF1a_46) OR FIREABLE(FF1a_47) OR FIREABLE(FF1a_41) OR FIREABLE(FF1a_40) OR FIREABLE(FF1a_43) OR FIREABLE(FF1a_42) OR FIREABLE(FF1a_37) OR FIREABLE(FF1a_36) OR FIREABLE(FF1a_39) OR FIREABLE(FF1a_38) OR FIREABLE(FF1a_33) OR FIREABLE(FF1a_32) OR FIREABLE(FF1a_35) OR FIREABLE(FF1a_34) OR FIREABLE(FF1a_29) OR FIREABLE(FF1a_28) OR FIREABLE(FF1a_31) OR FIREABLE(FF1a_30))))))) : A (X (X (F (F (F ((FIREABLE(FF2b_3) OR FIREABLE(FF2b_2) OR FIREABLE(FF2b_5) OR FIREABLE(FF2b_4) OR FIREABLE(FF2b_7) OR FIREABLE(FF2b_6) OR FIREABLE(FF2b_9) OR FIREABLE(FF2b_8) OR FIREABLE(FF2b_11) OR FIREABLE(FF2b_10) OR FIREABLE(FF2b_13) OR FIREABLE(FF2b_12) OR FIREABLE(FF2b_15) OR FIREABLE(FF2b_14) OR FIREABLE(FF2b_17) OR FIREABLE(FF2b_16) OR FIREABLE(FF2b_1) OR FIREABLE(FF2b_41) OR FIREABLE(FF2b_40) OR FIREABLE(FF2b_39) OR FIREABLE(FF2b_38) OR FIREABLE(FF2b_37) OR FIREABLE(FF2b_36) OR FIREABLE(FF2b_35) OR FIREABLE(FF2b_34) OR FIREABLE(FF2b_49) OR FIREABLE(FF2b_48) OR FIREABLE(FF2b_47) OR FIREABLE(FF2b_46) OR FIREABLE(FF2b_45) OR FIREABLE(FF2b_44) OR FIREABLE(FF2b_43) OR FIREABLE(FF2b_42) OR FIREABLE(FF2b_24) OR FIREABLE(FF2b_25) OR FIREABLE(FF2b_22) OR FIREABLE(FF2b_23) OR FIREABLE(FF2b_20) OR FIREABLE(FF2b_21) OR FIREABLE(FF2b_18) OR FIREABLE(FF2b_19) OR FIREABLE(FF2b_32) OR FIREABLE(FF2b_33) OR FIREABLE(FF2b_30) OR FIREABLE(FF2b_31) OR FIREABLE(FF2b_28) OR FIREABLE(FF2b_29) OR FIREABLE(FF2b_26) OR FIREABLE(FF2b_27) OR FIREABLE(FF2b_50)))))))) : A (X (G (F ((FIREABLE(FF1b_8) OR FIREABLE(FF1b_9) OR FIREABLE(FF1b_6) OR FIREABLE(FF1b_7) OR FIREABLE(FF1b_12) OR FIREABLE(FF1b_13) OR FIREABLE(FF1b_10) OR FIREABLE(FF1b_11) OR FIREABLE(FF1b_1) OR FIREABLE(FF1b_4) OR FIREABLE(FF1b_5) OR FIREABLE(FF1b_2) OR FIREABLE(FF1b_3) OR FIREABLE(FF1b_38) OR FIREABLE(FF1b_39) OR FIREABLE(FF1b_40) OR FIREABLE(FF1b_41) OR FIREABLE(FF1b_42) OR FIREABLE(FF1b_43) OR FIREABLE(FF1b_44) OR FIREABLE(FF1b_45) OR FIREABLE(FF1b_30) OR FIREABLE(FF1b_31) OR FIREABLE(FF1b_32) OR FIREABLE(FF1b_33) OR FIREABLE(FF1b_34) OR FIREABLE(FF1b_35) OR FIREABLE(FF1b_36) OR FIREABLE(FF1b_37) OR FIREABLE(FF1b_23) OR FIREABLE(FF1b_22) OR FIREABLE(FF1b_25) OR FIREABLE(FF1b_24) OR FIREABLE(FF1b_27) OR FIREABLE(FF1b_26) OR FIREABLE(FF1b_29) OR FIREABLE(FF1b_28) OR FIREABLE(FF1b_15) OR FIREABLE(FF1b_14) OR FIREABLE(FF1b_17) OR FIREABLE(FF1b_16) OR FIREABLE(FF1b_19) OR FIREABLE(FF1b_18) OR FIREABLE(FF1b_21) OR FIREABLE(FF1b_20) OR FIREABLE(FF1b_50) OR FIREABLE(FF1b_49) OR FIREABLE(FF1b_48) OR FIREABLE(FF1b_47) OR FIREABLE(FF1b_46)))))) : A (G (G (G ((FIREABLE(FF1a_26) OR FIREABLE(FF1a_27) OR FIREABLE(FF1a_24) OR FIREABLE(FF1a_25) OR FIREABLE(FF1a_22) OR FIREABLE(FF1a_23) OR FIREABLE(FF1a_20) OR FIREABLE(FF1a_21) OR FIREABLE(FF1a_18) OR FIREABLE(FF1a_19) OR FIREABLE(FF1a_16) OR FIREABLE(FF1a_17) OR FIREABLE(FF1a_14) OR FIREABLE(FF1a_15) OR FIREABLE(FF1a_12) OR FIREABLE(FF1a_13) OR FIREABLE(FF1a_11) OR FIREABLE(FF1a_10) OR FIREABLE(FF1a_9) OR FIREABLE(FF1a_8) OR FIREABLE(FF1a_7) OR FIREABLE(FF1a_6) OR FIREABLE(FF1a_5) OR FIREABLE(FF1a_4) OR FIREABLE(FF1a_3) OR FIREABLE(FF1a_2) OR FIREABLE(FF1a_1) OR FIREABLE(FF1a_48) OR FIREABLE(FF1a_49) OR FIREABLE(FF1a_50) OR FIREABLE(FF1a_44) OR FIREABLE(FF1a_45) OR FIREABLE(FF1a_46) OR FIREABLE(FF1a_47) OR FIREABLE(FF1a_41) OR FIREABLE(FF1a_40) OR FIREABLE(FF1a_43) OR FIREABLE(FF1a_42) OR FIREABLE(FF1a_37) OR FIREABLE(FF1a_36) OR FIREABLE(FF1a_39) OR FIREABLE(FF1a_38) OR FIREABLE(FF1a_33) OR FIREABLE(FF1a_32) OR FIREABLE(FF1a_35) OR FIREABLE(FF1a_34) OR FIREABLE(FF1a_29) OR FIREABLE(FF1a_28) OR FIREABLE(FF1a_31) OR FIREABLE(FF1a_30)))))) : A (G ((FIREABLE(FF1a_26) OR FIREABLE(FF1a_27) OR FIREABLE(FF1a_24) OR FIREABLE(FF1a_25) OR FIREABLE(FF1a_22) OR FIREABLE(FF1a_23) OR FIREABLE(FF1a_20) OR FIREABLE(FF1a_21) OR FIREABLE(FF1a_18) OR FIREABLE(FF1a_19) OR FIREABLE(FF1a_16) OR FIREABLE(FF1a_17) OR FIREABLE(FF1a_14) OR FIREABLE(FF1a_15) OR FIREABLE(FF1a_12) OR FIREABLE(FF1a_13) OR FIREABLE(FF1a_11) OR FIREABLE(FF1a_10) OR FIREABLE(FF1a_9) OR FIREABLE(FF1a_8) OR FIREABLE(FF1a_7) OR FIREABLE(FF1a_6) OR FIREABLE(FF1a_5) OR FIREABLE(FF1a_4) OR FIREABLE(FF1a_3) OR FIREABLE(FF1a_2) OR FIREABLE(FF1a_1) OR FIREABLE(FF1a_48) OR FIREABLE(FF1a_49) OR FIREABLE(FF1a_50) OR FIREABLE(FF1a_44) OR FIREABLE(FF1a_45) OR FIREABLE(FF1a_46) OR FIREABLE(FF1a_47) OR FIREABLE(FF1a_41) OR FIREABLE(FF1a_40) OR FIREABLE(FF1a_43) OR FIREABLE(FF1a_42) OR FIREABLE(FF1a_37) OR FIREABLE(FF1a_36) OR FIREABLE(FF1a_39) OR FIREABLE(FF1a_38) OR FIREABLE(FF1a_33) OR FIREABLE(FF1a_32) OR FIREABLE(FF1a_35) OR FIREABLE(FF1a_34) OR FIREABLE(FF1a_29) OR FIREABLE(FF1a_28) OR FIREABLE(FF1a_31) OR FIREABLE(FF1a_30)))) : A (F (G (((FIREABLE(End_2) OR FIREABLE(End_3) OR FIREABLE(End_1) OR FIREABLE(End_23) OR FIREABLE(End_22) OR FIREABLE(End_21) OR FIREABLE(End_20) OR FIREABLE(End_27) OR FIREABLE(End_26) OR FIREABLE(End_25) OR FIREABLE(End_24) OR FIREABLE(End_31) OR FIREABLE(End_30) OR FIREABLE(End_29) OR FIREABLE(End_28) OR FIREABLE(End_35) OR FIREABLE(End_34) OR FIREABLE(End_33) OR FIREABLE(End_32) OR FIREABLE(End_6) OR FIREABLE(End_7) OR FIREABLE(End_4) OR FIREABLE(End_5) OR FIREABLE(End_10) OR FIREABLE(End_11) OR FIREABLE(End_8) OR FIREABLE(End_9) OR FIREABLE(End_14) OR FIREABLE(End_15) OR FIREABLE(End_12) OR FIREABLE(End_13) OR FIREABLE(End_18) OR FIREABLE(End_19) OR FIREABLE(End_16) OR FIREABLE(End_17) OR FIREABLE(End_36) OR FIREABLE(End_37) OR FIREABLE(End_38) OR FIREABLE(End_39) OR FIREABLE(End_40) OR FIREABLE(End_41) OR FIREABLE(End_42) OR FIREABLE(End_43) OR FIREABLE(End_44) OR FIREABLE(End_45) OR FIREABLE(End_46) OR FIREABLE(End_47) OR FIREABLE(End_48) OR FIREABLE(End_49) OR FIREABLE(End_50)) U F ((FIREABLE(End_2) OR FIREABLE(End_3) OR FIREABLE(End_1) OR FIREABLE(End_23) OR FIREABLE(End_22) OR FIREABLE(End_21) OR FIREABLE(End_20) OR FIREABLE(End_27) OR FIREABLE(End_26) OR FIREABLE(End_25) OR FIREABLE(End_24) OR FIREABLE(End_31) OR FIREABLE(End_30) OR FIREABLE(End_29) OR FIREABLE(End_28) OR FIREABLE(End_35) OR FIREABLE(End_34) OR FIREABLE(End_33) OR FIREABLE(End_32) OR FIREABLE(End_6) OR FIREABLE(End_7) OR FIREABLE(End_4) OR FIREABLE(End_5) OR FIREABLE(End_10) OR FIREABLE(End_11) OR FIREABLE(End_8) OR FIREABLE(End_9) OR FIREABLE(End_14) OR FIREABLE(End_15) OR FIREABLE(End_12) OR FIREABLE(End_13) OR FIREABLE(End_18) OR FIREABLE(End_19) OR FIREABLE(End_16) OR FIREABLE(End_17) OR FIREABLE(End_36) OR FIREABLE(End_37) OR FIREABLE(End_38) OR FIREABLE(End_39) OR FIREABLE(End_40) OR FIREABLE(End_41) OR FIREABLE(End_42) OR FIREABLE(End_43) OR FIREABLE(End_44) OR FIREABLE(End_45) OR FIREABLE(End_46) OR FIREABLE(End_47) OR FIREABLE(End_48) OR FIREABLE(End_49) OR FIREABLE(End_50))))))) : A (G (G (FIREABLE(FF1a_34)))) : A (F (G (F (X (F (FIREABLE(FF1a_8))))))) : A (X ((X (FIREABLE(FF2b_29)) U (FIREABLE(End_21) U FIREABLE(FF1a_21))))) : A (FIREABLE(FF1a_3)) : A ((F ((FIREABLE(FF2b_43) U FIREABLE(FF1a_4))) U (X (FIREABLE(FF1b_45)) U X (FIREABLE(FF1b_9))))) : A (X (G (G (G (FIREABLE(FF1b_22)))))) : A (FIREABLE(FF1a_28)) : A (G (X ((F (FIREABLE(FF2b_5)) U F (FIREABLE(FF1b_16))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: rewrite Frontend/Parser/formula_rewrite.k:371
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:410
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:377
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(FF1a_3)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(FF1a_3)
lola: processed formula length: 16
lola: 29 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: FIREABLE(FF1a_28)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: FIREABLE(FF1a_28)
lola: processed formula length: 17
lola: 29 rewrites
lola: closed formula file LTLFireability.xml
lola: processed formula with 0 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: yes
lola: produced by: preprocessing
lola: The net satisfies the property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X ((X (FIREABLE(FF2b_29)) U (FIREABLE(End_21) U FIREABLE(FF1a_21)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X ((X (FIREABLE(FF2b_29)) U (FIREABLE(End_21) U FIREABLE(FF1a_21)))))
lola: processed formula length: 72
lola: 29 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 6 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 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: 80 markings, 80 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((FIREABLE(FF1a_26) OR FIREABLE(FF1a_27) OR FIREABLE(FF1a_24) OR FIREABLE(FF1a_25) OR FIREABLE(FF1a_22) OR FIREABLE(FF1a_23) OR FIREABLE(FF1a_20) OR FIREABLE(FF1a_21) OR FIREABLE(FF1a_18) OR FIREABLE(FF1a_19) OR FIREABLE(FF1a_16) OR FIREABLE(FF1a_17) OR FIREABLE(FF1a_14) OR FIREABLE(FF1a_15) OR FIREABLE(FF1a_12) OR FIREABLE(FF1a_13) OR FIREABLE(FF1a_11) OR FIREABLE(FF1a_10... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((FIREABLE(FF1a_26) OR FIREABLE(FF1a_27) OR FIREABLE(FF1a_24) OR FIREABLE(FF1a_25) OR FIREABLE(FF1a_22) OR FIREABLE(FF1a_23) OR FIREABLE(FF1a_20) OR FIREABLE(FF1a_21) OR FIREABLE(FF1a_18) OR FIREABLE(FF1a_19) OR FIREABLE(FF1a_16) OR FIREABLE(FF1a_17) OR FIREABLE(FF1a_14) OR FIREABLE(FF1a_15) OR FIREABLE(FF1a_12) OR FIREABLE(FF1a_13) OR FIREABLE(FF1a_11) OR FIREABLE(FF1a_10... (shortened)
lola: processed formula length: 1100
lola: 29 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 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: 101 markings, 100 edges
lola: ========================================
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (FIREABLE(FF1a_4)) U X ((FIREABLE(FF1b_45) U FIREABLE(FF1b_9)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (FIREABLE(FF1a_4)) U X ((FIREABLE(FF1b_45) U FIREABLE(FF1b_9)))))
lola: processed formula length: 71
lola: 29 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 92 markings, 92 edges
lola: ========================================
lola: subprocess 5 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (G (FIREABLE(FF1b_22))))
lola: lola: ========================================
lola: SUBTASK
lola: ========================================
checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (G (FIREABLE(FF1b_22))))
lola: processed formula length: 29
lola: 29 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 51 markings, 51 edges
lola: ========================================
lola: subprocess 6 will run for 356 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((FIREABLE(FF2b_3) OR FIREABLE(FF2b_2) OR FIREABLE(FF2b_5) OR FIREABLE(FF2b_4) OR FIREABLE(FF2b_7) OR FIREABLE(FF2b_6) OR FIREABLE(FF2b_9) OR FIREABLE(FF2b_8) OR FIREABLE(FF2b_11) OR FIREABLE(FF2b_10) OR FIREABLE(FF2b_13) OR FIREABLE(FF2b_12) OR FIREABLE(FF2b_15) OR FIREABLE(FF2b_14) OR FIREABLE(FF2b_17) OR FIREABLE(FF2b_16) OR FIREABLE(FF2b_1) OR FIREABLE(FF2b_41) OR ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((FIREABLE(FF2b_3) OR FIREABLE(FF2b_2) OR FIREABLE(FF2b_5) OR FIREABLE(FF2b_4) OR FIREABLE(FF2b_7) OR FIREABLE(FF2b_6) OR FIREABLE(FF2b_9) OR FIREABLE(FF2b_8) OR FIREABLE(FF2b_11) OR FIREABLE(FF2b_10) OR FIREABLE(FF2b_13) OR FIREABLE(FF2b_12) OR FIREABLE(FF2b_15) OR FIREABLE(FF2b_14) OR FIREABLE(FF2b_17) OR FIREABLE(FF2b_16) OR FIREABLE(FF2b_1) OR FIREABLE(FF2b_41) OR ... (shortened)
lola: processed formula length: 1104
lola: 29 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 1249 markings, 1250 edges
lola: ========================================
lola: subprocess 7 will run for 396 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (FIREABLE(FF1a_34)))
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G (FIREABLE(FF1a_34)))
lola: processed formula length: 25
lola: 31 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: NOT FIREABLE(FF1a_34)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 2 literals and 2 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 2 markings, 1 edges
lola: ========================================
lola: subprocess 8 will run for 445 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(FF1a_26) OR FIREABLE(FF1a_27) OR FIREABLE(FF1a_24) OR FIREABLE(FF1a_25) OR FIREABLE(FF1a_22) OR FIREABLE(FF1a_23) OR FIREABLE(FF1a_20) OR FIREABLE(FF1a_21) OR FIREABLE(FF1a_18) OR FIREABLE(FF1a_19) OR FIREABLE(FF1a_16) OR FIREABLE(FF1a_17) OR FIREABLE(FF1a_14) OR FIREABLE(FF1a_15) OR FIREABLE(FF1a_12) OR FIREABLE(FF1a_13) OR FIREABLE(FF1a_11) OR FIREABLE(FF1a_10) O... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((FIREABLE(FF1a_26) OR FIREABLE(FF1a_27) OR FIREABLE(FF1a_24) OR FIREABLE(FF1a_25) OR FIREABLE(FF1a_22) OR FIREABLE(FF1a_23) OR FIREABLE(FF1a_20) OR FIREABLE(FF1a_21) OR FIREABLE(FF1a_18) OR FIREABLE(FF1a_19) OR FIREABLE(FF1a_16) OR FIREABLE(FF1a_17) OR FIREABLE(FF1a_14) OR FIREABLE(FF1a_15) OR FIREABLE(FF1a_12) OR FIREABLE(FF1a_13) OR FIREABLE(FF1a_11) OR FIREABLE(FF1a_10) O... (shortened)
lola: processed formula length: 1096
lola: 31 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (NOT FIREABLE(FF1a_26) AND NOT FIREABLE(FF1a_27) AND NOT FIREABLE(FF1a_24) AND NOT FIREABLE(FF1a_25) AND NOT FIREABLE(FF1a_22) AND NOT FIREABLE(FF1a_23) AND NOT FIREABLE(FF1a_20) AND NOT FIREABLE(FF1a_21) AND NOT FIREABLE(FF1a_18) AND NOT FIREABLE(FF1a_19) AND NOT FIREABLE(FF1a_16) AND NOT FIREABLE(FF1a_17) AND NOT FIREABLE(FF1a_14) AND NOT FIREABLE(FF1a_15) AND NOT FIREABLE(FF1a_12) AND NOT FIREABLE(FF1a_13) AND NOT FIREABLE(FF1a_11) AND NOT FIREABLE(FF1a_10) AND NOT FIREABLE(FF1a_9) AND NOT FIREABLE(FF1a_8) AND NOT FIREABLE(FF1a_7) AND NOT FIREABLE(FF1a_6) AND NOT FIREABLE(FF1a_5) AND NOT FIREABLE(FF1a_4) AND NOT FIREABLE(FF1a_3) AND NOT FIREABLE(FF1a_2) AND NOT FIREABLE(FF1a_1) AND NOT FIREABLE(FF1a_48) AND NOT FIREABLE(FF1a_49) AND NOT FIREABLE(FF1a_50) AND NOT FIREABLE(FF1a_44) AND NOT FIREABLE(FF1a_45) AND NOT FIREABLE(FF1a_46) AND NOT FIREABLE(FF1a_47) AND NOT FIREABLE(FF1a_41) AND NOT FIREABLE(FF1a_40) AND NOT FIREABLE(FF1a_43) AND NOT FIREABLE(FF1a_42) AND NOT FIREABLE(FF1a_37) AND NOT FIREABLE(FF1a_36) AND NOT FIREABLE(FF1a_39) AND NOT FIREABLE(FF1a_38) AND NOT FIREABLE(FF1a_33) AND NOT FIREABLE(FF1a_32) AND NOT FIREABLE(FF1a_35) AND NOT FIREABLE(FF1a_34) AND NOT FIREABLE(FF1a_29) AND NOT FIREABLE(FF1a_28) AND NOT FIREABLE(FF1a_31) AND NOT FIREABLE(FF1a_30))
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 51 markings, 50 edges
lola: ========================================
lola: subprocess 9 will run for 509 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((FIREABLE(FF1a_26) OR FIREABLE(FF1a_27) OR FIREABLE(FF1a_24) OR FIREABLE(FF1a_25) OR FIREABLE(FF1a_22) OR FIREABLE(FF1a_23) OR FIREABLE(FF1a_20) OR FIREABLE(FF1a_21) OR FIREABLE(FF1a_18) OR FIREABLE(FF1a_19) OR FIREABLE(FF1a_16) OR FIREABLE(FF1a_17) OR FIREABLE(FF1a_14) OR FIREABLE(FF1a_15) OR FIREABLE(FF1a_12) OR FIREABLE(FF1a_13) OR FIREABLE(FF1a_11) OR FIREABLE(FF1a_10) O... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking invariance
lola: Planning: workflow for reachability check: stateequation||search (--findpath=off)
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: A (G ((FIREABLE(FF1a_26) OR FIREABLE(FF1a_27) OR FIREABLE(FF1a_24) OR FIREABLE(FF1a_25) OR FIREABLE(FF1a_22) OR FIREABLE(FF1a_23) OR FIREABLE(FF1a_20) OR FIREABLE(FF1a_21) OR FIREABLE(FF1a_18) OR FIREABLE(FF1a_19) OR FIREABLE(FF1a_16) OR FIREABLE(FF1a_17) OR FIREABLE(FF1a_14) OR FIREABLE(FF1a_15) OR FIREABLE(FF1a_12) OR FIREABLE(FF1a_13) OR FIREABLE(FF1a_11) OR FIREABLE(FF1a_10) O... (shortened)
lola: processed formula length: 1096
lola: 31 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (NOT FIREABLE(FF1a_26) AND NOT FIREABLE(FF1a_27) AND NOT FIREABLE(FF1a_24) AND NOT FIREABLE(FF1a_25) AND NOT FIREABLE(FF1a_22) AND NOT FIREABLE(FF1a_23) AND NOT FIREABLE(FF1a_20) AND NOT FIREABLE(FF1a_21) AND NOT FIREABLE(FF1a_18) AND NOT FIREABLE(FF1a_19) AND NOT FIREABLE(FF1a_16) AND NOT FIREABLE(FF1a_17) AND NOT FIREABLE(FF1a_14) AND NOT FIREABLE(FF1a_15) AND NOT FIREABLE(FF1a_12) AND NOT FIREABLE(FF1a_13) AND NOT FIREABLE(FF1a_11) AND NOT FIREABLE(FF1a_10) AND NOT FIREABLE(FF1a_9) AND NOT FIREABLE(FF1a_8) AND NOT FIREABLE(FF1a_7) AND NOT FIREABLE(FF1a_6) AND NOT FIREABLE(FF1a_5) AND NOT FIREABLE(FF1a_4) AND NOT FIREABLE(FF1a_3) AND NOT FIREABLE(FF1a_2) AND NOT FIREABLE(FF1a_1) AND NOT FIREABLE(FF1a_48) AND NOT FIREABLE(FF1a_49) AND NOT FIREABLE(FF1a_50) AND NOT FIREABLE(FF1a_44) AND NOT FIREABLE(FF1a_45) AND NOT FIREABLE(FF1a_46) AND NOT FIREABLE(FF1a_47) AND NOT FIREABLE(FF1a_41) AND NOT FIREABLE(FF1a_40) AND NOT FIREABLE(FF1a_43) AND NOT FIREABLE(FF1a_42) AND NOT FIREABLE(FF1a_37) AND NOT FIREABLE(FF1a_36) AND NOT FIREABLE(FF1a_39) AND NOT FIREABLE(FF1a_38) AND NOT FIREABLE(FF1a_33) AND NOT FIREABLE(FF1a_32) AND NOT FIREABLE(FF1a_35) AND NOT FIREABLE(FF1a_34) AND NOT FIREABLE(FF1a_29) AND NOT FIREABLE(FF1a_28) AND NOT FIREABLE(FF1a_31) AND NOT FIREABLE(FF1a_30))
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 51 markings, 50 edges
lola: ========================================
lola: subprocess 10 will run for 594 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(End_2) OR FIREABLE(End_3) OR FIREABLE(End_1) OR FIREABLE(End_23) OR FIREABLE(End_22) OR FIREABLE(End_21) OR FIREABLE(End_20) OR FIREABLE(End_27) OR FIREABLE(End_26) OR FIREABLE(End_25) OR FIREABLE(End_24) OR FIREABLE(End_31) OR FIREABLE(End_30) OR FIREABLE(End_29) OR FIREABLE(End_28) OR FIREABLE(End_35) OR FIREABLE(End_34) OR FIREABLE(End_33) OR FIREABLE(End_32) O... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (NOT FIREABLE(End_2) AND NOT FIREABLE(End_3) AND NOT FIREABLE(End_1) AND NOT FIREABLE(End_23) AND NOT FIREABLE(End_22) AND NOT FIREABLE(End_21) AND NOT FIREABLE(End_20) AND NOT FIREABLE(End_27) AND NOT FIREABLE(End_26) AND NOT FIREABLE(End_25) AND NOT FIREABLE(End_24) AND NOT FIREABLE(End_31) AND NOT FIREABLE(End_30) AND NOT FIREABLE(End_29) AND NOT FIREABLE(End_28) AND NOT FIREABLE(End_35) AND NO... (shortened)
lola: processed formula length: 1238
lola: 31 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 476994 markings, 3547167 edges, 95399 markings/sec, 0 secs
lola: 904843 markings, 7100648 edges, 85570 markings/sec, 5 secs
lola: 1323666 markings, 10594253 edges, 83765 markings/sec, 10 secs
lola: 1731661 markings, 14119713 edges, 81599 markings/sec, 15 secs
lola: 2110351 markings, 17649748 edges, 75738 markings/sec, 20 secs
lola: 2503152 markings, 21094784 edges, 78560 markings/sec, 25 secs
lola: 2888023 markings, 24534080 edges, 76974 markings/sec, 30 secs
lola: 3279837 markings, 28014317 edges, 78363 markings/sec, 35 secs
lola: 3658656 markings, 31497863 edges, 75764 markings/sec, 40 secs
lola: 4052175 markings, 34977300 edges, 78704 markings/sec, 45 secs
lola: 4451734 markings, 38681355 edges, 79912 markings/sec, 50 secs
lola: 4857819 markings, 42532521 edges, 81217 markings/sec, 55 secs
lola: 5246693 markings, 46361399 edges, 77775 markings/sec, 60 secs
lola: 5610964 markings, 50197697 edges, 72854 markings/sec, 65 secs
lola: 6018174 markings, 53927594 edges, 81442 markings/sec, 70 secs
lola: 6434046 markings, 57660863 edges, 83174 markings/sec, 75 secs
lola: 6827998 markings, 61399562 edges, 78790 markings/sec, 80 secs
lola: 7229019 markings, 65150078 edges, 80204 markings/sec, 85 secs
lola: 7614517 markings, 68971346 edges, 77100 markings/sec, 90 secs
lola: 7995160 markings, 72765272 edges, 76129 markings/sec, 95 secs
lola: 8417529 markings, 76492174 edges, 84474 markings/sec, 100 secs
lola: 8815737 markings, 80227781 edges, 79642 markings/sec, 105 secs
lola: 9213330 markings, 84009184 edges, 79519 markings/sec, 110 secs
lola: 9569811 markings, 87689385 edges, 71296 markings/sec, 115 secs
lola: 9981576 markings, 91371600 edges, 82353 markings/sec, 120 secs
lola: 10381328 markings, 95195988 edges, 79950 markings/sec, 125 secs
lola: 10757759 markings, 99003276 edges, 75286 markings/sec, 130 secs
lola: 11159744 markings, 102817728 edges, 80397 markings/sec, 135 secs
lola: 11549977 markings, 106636807 edges, 78047 markings/sec, 140 secs
lola: 11926928 markings, 110446349 edges, 75390 markings/sec, 145 secs
lola: 12314038 markings, 114267060 edges, 77422 markings/sec, 150 secs
lola: 12688359 markings, 118087595 edges, 74864 markings/sec, 155 secs
lola: 13056335 markings, 121897730 edges, 73595 markings/sec, 160 secs
lola: 13427397 markings, 125710270 edges, 74212 markings/sec, 165 secs
lola: 13785939 markings, 129505447 edges, 71708 markings/sec, 170 secs
lola: 14134290 markings, 133297847 edges, 69670 markings/sec, 175 secs
lola: 14475206 markings, 137085700 edges, 68183 markings/sec, 180 secs
lola: 14798955 markings, 140875986 edges, 64750 markings/sec, 185 secs
lola: 15177549 markings, 144570883 edges, 75719 markings/sec, 190 secs
lola: 15585931 markings, 148222492 edges, 81676 markings/sec, 195 secs
lola: 15974006 markings, 151877169 edges, 77615 markings/sec, 200 secs
lola: 16365145 markings, 155565409 edges, 78228 markings/sec, 205 secs
lola: 16750213 markings, 159311270 edges, 77014 markings/sec, 210 secs
lola: 17103051 markings, 163071783 edges, 70568 markings/sec, 215 secs
lola: 17489455 markings, 166714737 edges, 77281 markings/sec, 220 secs
lola: 17858648 markings, 170440057 edges, 73839 markings/sec, 225 secs
lola: 18240603 markings, 174176191 edges, 76391 markings/sec, 230 secs
lola: 18611212 markings, 177937582 edges, 74122 markings/sec, 235 secs
lola: 18989512 markings, 181690031 edges, 75660 markings/sec, 240 secs
lola: 19358927 markings, 185471034 edges, 73883 markings/sec, 245 secs
lola: 19715936 markings, 189263693 edges, 71402 markings/sec, 250 secs
lola: 20071067 markings, 193031990 edges, 71026 markings/sec, 255 secs
lola: 20406752 markings, 196804659 edges, 67137 markings/sec, 260 secs
lola: 20757031 markings, 200565366 edges, 70056 markings/sec, 265 secs
lola: 21179379 markings, 204300681 edges, 84470 markings/sec, 270 secs
lola: 21577666 markings, 208036972 edges, 79657 markings/sec, 275 secs
lola: 21975444 markings, 211820796 edges, 79556 markings/sec, 280 secs
lola: 22341880 markings, 215594563 edges, 73287 markings/sec, 285 secs
lola: 22733321 markings, 219351626 edges, 78288 markings/sec, 290 secs
lola: 23113092 markings, 223129354 edges, 75954 markings/sec, 295 secs
lola: 23493044 markings, 226904461 edges, 75990 markings/sec, 300 secs
lola: 23871438 markings, 230700563 edges, 75679 markings/sec, 305 secs
lola: 24238816 markings, 234492051 edges, 73476 markings/sec, 310 secs
lola: 24590555 markings, 238269634 edges, 70348 markings/sec, 315 secs
lola: 24922488 markings, 242044272 edges, 66387 markings/sec, 320 secs
lola: 25325211 markings, 245827128 edges, 80545 markings/sec, 325 secs
lola: 25722263 markings, 249614465 edges, 79410 markings/sec, 330 secs
lola: 26106402 markings, 253400966 edges, 76828 markings/sec, 335 secs
lola: 26478474 markings, 257173033 edges, 74414 markings/sec, 340 secs
lola: 26852897 markings, 260955260 edges, 74885 markings/sec, 345 secs
lola: 27228386 markings, 264755418 edges, 75098 markings/sec, 350 secs
lola: 27594264 markings, 268542542 edges, 73176 markings/sec, 355 secs
lola: 27945753 markings, 272311972 edges, 70298 markings/sec, 360 secs
lola: 28275462 markings, 276082872 edges, 65942 markings/sec, 365 secs
lola: 28669162 markings, 279878165 edges, 78740 markings/sec, 370 secs
lola: 29057134 markings, 283669657 edges, 77594 markings/sec, 375 secs
lola: 29422560 markings, 287456518 edges, 73085 markings/sec, 380 secs
lola: 29793116 markings, 291259457 edges, 74111 markings/sec, 385 secs
lola: 30155582 markings, 295045099 edges, 72493 markings/sec, 390 secs
lola: 30507955 markings, 298811454 edges, 70475 markings/sec, 395 secs
lola: 30834061 markings, 302578634 edges, 65221 markings/sec, 400 secs
lola: 31219756 markings, 306359182 edges, 77139 markings/sec, 405 secs
lola: 31583466 markings, 310118527 edges, 72742 markings/sec, 410 secs
lola: 31946160 markings, 313900762 edges, 72539 markings/sec, 415 secs
lola: 32301434 markings, 317655301 edges, 71055 markings/sec, 420 secs
lola: 32638589 markings, 321403709 edges, 67431 markings/sec, 425 secs
lola: 32989434 markings, 325182198 edges, 70169 markings/sec, 430 secs
lola: 33352316 markings, 328969120 edges, 72576 markings/sec, 435 secs
lola: 33708482 markings, 332753145 edges, 71233 markings/sec, 440 secs
lola: 34051103 markings, 336522796 edges, 68524 markings/sec, 445 secs
lola: 34387740 markings, 340305316 edges, 67327 markings/sec, 450 secs
lola: 34743591 markings, 344082484 edges, 71170 markings/sec, 455 secs
lola: 35090844 markings, 347850446 edges, 69451 markings/sec, 460 secs
lola: 35413590 markings, 351634649 edges, 64549 markings/sec, 465 secs
lola: 35765824 markings, 355387089 edges, 70447 markings/sec, 470 secs
lola: 36102957 markings, 359144239 edges, 67427 markings/sec, 475 secs
lola: 36433842 markings, 362907140 edges, 66177 markings/sec, 480 secs
lola: 36764773 markings, 366641123 edges, 66186 markings/sec, 485 secs
lola: 37090302 markings, 370389057 edges, 65106 markings/sec, 490 secs
lola: 37413202 markings, 374131071 edges, 64580 markings/sec, 495 secs
lola: 37732923 markings, 377882893 edges, 63944 markings/sec, 500 secs
lola: 38048069 markings, 381628860 edges, 63029 markings/sec, 505 secs
lola: 38354001 markings, 385372745 edges, 61186 markings/sec, 510 secs
lola: 38656805 markings, 389124765 edges, 60561 markings/sec, 515 secs
lola: 38952196 markings, 392880823 edges, 59078 markings/sec, 520 secs
lola: 39290330 markings, 396510240 edges, 67627 markings/sec, 525 secs
lola: 39690125 markings, 400053047 edges, 79959 markings/sec, 530 secs
lola: 40073365 markings, 403651252 edges, 76648 markings/sec, 535 secs
lola: 40454470 markings, 407238737 edges, 76221 markings/sec, 540 secs
lola: 40837394 markings, 410919854 edges, 76585 markings/sec, 545 secs
lola: 41196962 markings, 414650854 edges, 71914 markings/sec, 550 secs
lola: 41564826 markings, 418224732 edges, 73573 markings/sec, 555 secs
lola: 41923454 markings, 421789295 edges, 71726 markings/sec, 560 secs
lola: 42293039 markings, 425458706 edges, 73917 markings/sec, 565 secs
lola: 42660057 markings, 429118546 edges, 73404 markings/sec, 570 secs
lola: 43029232 markings, 432793832 edges, 73835 markings/sec, 575 secs
lola: 43391704 markings, 436500412 edges, 72494 markings/sec, 580 secs
lola: 43750518 markings, 440224952 edges, 71763 markings/sec, 585 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown yes no unknown no no unknown no unknown no yes no no yes unknown
lola: memory consumption: 2361400 KB
lola: time consumption: 598 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown yes no unknown no no unknown no unknown no yes no no yes unknown
lola: memory consumption: 2365700 KB
lola: time consumption: 599 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 589 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(FF1a_8))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(FF1a_8))))
lola: processed formula length: 28
lola: 29 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 51 markings, 51 edges
lola: ========================================
lola: subprocess 12 will run for 736 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F (FIREABLE(FF1b_16))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F (FIREABLE(FF1b_16))))
lola: processed formula length: 29
lola: 29 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 51 markings, 51 edges
lola: ========================================
lola: subprocess 13 will run for 982 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(End_2) OR FIREABLE(End_3) OR FIREABLE(End_1) OR FIREABLE(End_23) OR FIREABLE(End_22) OR FIREABLE(End_21) OR FIREABLE(End_20) OR FIREABLE(End_27) OR FIREABLE(End_26) OR FIREABLE(End_25) OR FIREABLE(End_24) OR FIREABLE(End_31) OR FIREABLE(End_30) OR FIREABLE(End_29) OR FIREABLE(End_28) OR FIREABLE(End_35) OR FIREABLE(End_34) OR FIREABLE(End_33) OR FIREABLE(End_32... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(End_2) OR FIREABLE(End_3) OR FIREABLE(End_1) OR FIREABLE(End_23) OR FIREABLE(End_22) OR FIREABLE(End_21) OR FIREABLE(End_20) OR FIREABLE(End_27) OR FIREABLE(End_26) OR FIREABLE(End_25) OR FIREABLE(End_24) OR FIREABLE(End_31) OR FIREABLE(End_30) OR FIREABLE(End_29) OR FIREABLE(End_28) OR FIREABLE(End_35) OR FIREABLE(End_34) OR FIREABLE(End_33) OR FIREABLE(End_32... (shortened)
lola: processed formula length: 1050
lola: 29 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 1095875 markings, 2985557 edges, 219175 markings/sec, 0 secs
lola: 2102112 markings, 5889939 edges, 201247 markings/sec, 5 secs
lola: 3132878 markings, 8815667 edges, 206153 markings/sec, 10 secs
lola: 4008229 markings, 11899368 edges, 175070 markings/sec, 15 secs
lola: 5027125 markings, 14541528 edges, 203779 markings/sec, 20 secs
lola: 6008110 markings, 17341807 edges, 196197 markings/sec, 25 secs
lola: 7000246 markings, 20120762 edges, 198427 markings/sec, 30 secs
lola: 7975665 markings, 22996569 edges, 195084 markings/sec, 35 secs
lola: 8914936 markings, 25938086 edges, 187854 markings/sec, 40 secs
lola: 9814649 markings, 28923536 edges, 179943 markings/sec, 45 secs
lola: 10611331 markings, 31942172 edges, 159336 markings/sec, 50 secs
lola: 11474259 markings, 34730804 edges, 172586 markings/sec, 55 secs
lola: 12462019 markings, 37377710 edges, 197552 markings/sec, 60 secs
lola: 13412387 markings, 39928704 edges, 190074 markings/sec, 65 secs
lola: 14394696 markings, 42572655 edges, 196462 markings/sec, 70 secs
lola: 15323863 markings, 45352171 edges, 185833 markings/sec, 75 secs
lola: 16240822 markings, 48140768 edges, 183392 markings/sec, 80 secs
lola: 17204572 markings, 50878804 edges, 192750 markings/sec, 85 secs
lola: 18186718 markings, 53565714 edges, 196429 markings/sec, 90 secs
lola: 19072943 markings, 56374852 edges, 177245 markings/sec, 95 secs
lola: 20011051 markings, 59193946 edges, 187622 markings/sec, 100 secs
lola: 20959192 markings, 61937747 edges, 189628 markings/sec, 105 secs
lola: 21805818 markings, 64772434 edges, 169325 markings/sec, 110 secs
lola: 22761384 markings, 67618324 edges, 191113 markings/sec, 115 secs
lola: 23653146 markings, 70429822 edges, 178352 markings/sec, 120 secs
lola: 24539545 markings, 73330047 edges, 177280 markings/sec, 125 secs
lola: 25389881 markings, 76208303 edges, 170067 markings/sec, 130 secs
lola: 26244869 markings, 79113732 edges, 170998 markings/sec, 135 secs
lola: 27062461 markings, 82053448 edges, 163518 markings/sec, 140 secs
lola: 27854588 markings, 84979037 edges, 158425 markings/sec, 145 secs
lola: 28579603 markings, 87932117 edges, 145003 markings/sec, 150 secs
lola: 29179153 markings, 91020400 edges, 119910 markings/sec, 155 secs
lola: 30089919 markings, 93547228 edges, 182153 markings/sec, 160 secs
lola: 31017309 markings, 96199068 edges, 185478 markings/sec, 165 secs
lola: 31973595 markings, 98636737 edges, 191257 markings/sec, 170 secs
lola: 32935858 markings, 101251171 edges, 192453 markings/sec, 175 secs
lola: 33836365 markings, 104010957 edges, 180101 markings/sec, 180 secs
lola: 34748740 markings, 106585058 edges, 182475 markings/sec, 185 secs
lola: 35715719 markings, 109046182 edges, 193396 markings/sec, 190 secs
lola: 36651628 markings, 111636205 edges, 187182 markings/sec, 195 secs
lola: 37596163 markings, 114185646 edges, 188907 markings/sec, 200 secs
lola: 38547424 markings, 116819196 edges, 190252 markings/sec, 205 secs
lola: 39476859 markings, 119496146 edges, 185887 markings/sec, 210 secs
lola: 40369894 markings, 122227941 edges, 178607 markings/sec, 215 secs
lola: 41237350 markings, 124964985 edges, 173491 markings/sec, 220 secs
lola: 42010300 markings, 127734172 edges, 154590 markings/sec, 225 secs
lola: 42885019 markings, 130466594 edges, 174944 markings/sec, 230 secs
lola: 43837933 markings, 133156237 edges, 190583 markings/sec, 235 secs
lola: 44802948 markings, 135818895 edges, 193003 markings/sec, 240 secs
lola: 45672695 markings, 138593413 edges, 173949 markings/sec, 245 secs
lola: 46598562 markings, 141146229 edges, 185173 markings/sec, 250 secs
lola: 47533196 markings, 143756366 edges, 186927 markings/sec, 255 secs
lola: 48460104 markings, 146383323 edges, 185382 markings/sec, 260 secs
lola: 49391760 markings, 149076323 edges, 186331 markings/sec, 265 secs
lola: 50305453 markings, 151815858 edges, 182739 markings/sec, 270 secs
lola: 51136786 markings, 154566403 edges, 166267 markings/sec, 275 secs
lola: 51867562 markings, 157395375 edges, 146155 markings/sec, 280 secs
lola: 52799360 markings, 160151886 edges, 186360 markings/sec, 285 secs
lola: 53759001 markings, 162855170 edges, 191928 markings/sec, 290 secs
lola: 54605993 markings, 165629367 edges, 169398 markings/sec, 295 secs
lola: 55543144 markings, 168218730 edges, 187430 markings/sec, 300 secs
lola: 56459081 markings, 170922303 edges, 183187 markings/sec, 305 secs
lola: 57382557 markings, 173676671 edges, 184695 markings/sec, 310 secs
lola: 58224070 markings, 176435195 edges, 168303 markings/sec, 315 secs
lola: 58945831 markings, 179277525 edges, 144352 markings/sec, 320 secs
lola: 59888055 markings, 182088362 edges, 188445 markings/sec, 325 secs
lola: 60770591 markings, 184871539 edges, 176507 markings/sec, 330 secs
lola: 61670952 markings, 187583748 edges, 180072 markings/sec, 335 secs
lola: 62569862 markings, 190334942 edges, 179782 markings/sec, 340 secs
lola: 63430099 markings, 193077649 edges, 172047 markings/sec, 345 secs
lola: 64164816 markings, 195901837 edges, 146943 markings/sec, 350 secs
lola: 65052208 markings, 198765623 edges, 177478 markings/sec, 355 secs
lola: 65901426 markings, 201590232 edges, 169844 markings/sec, 360 secs
lola: 66792058 markings, 204328117 edges, 178126 markings/sec, 365 secs
lola: 67620010 markings, 207086455 edges, 165590 markings/sec, 370 secs
lola: 68370108 markings, 209958261 edges, 150020 markings/sec, 375 secs
lola: 69203382 markings, 212842821 edges, 166655 markings/sec, 380 secs
lola: 70075151 markings, 215592222 edges, 174354 markings/sec, 385 secs
lola: 70855608 markings, 218399418 edges, 156091 markings/sec, 390 secs
lola: 71641821 markings, 221306772 edges, 157243 markings/sec, 395 secs
lola: 72462553 markings, 224134422 edges, 164146 markings/sec, 400 secs
lola: 73195628 markings, 227032971 edges, 146615 markings/sec, 405 secs
lola: 73985567 markings, 229876420 edges, 157988 markings/sec, 410 secs
lola: 74709308 markings, 232738349 edges, 144748 markings/sec, 415 secs
lola: 75469943 markings, 235564173 edges, 152127 markings/sec, 420 secs
lola: 76159533 markings, 238424687 edges, 137918 markings/sec, 425 secs
lola: 76846339 markings, 241269196 edges, 137361 markings/sec, 430 secs
lola: 77505469 markings, 244144484 edges, 131826 markings/sec, 435 secs
lola: 78131860 markings, 247030576 edges, 125278 markings/sec, 440 secs
lola: 78715545 markings, 249946327 edges, 116737 markings/sec, 445 secs
lola: 79254018 markings, 252894825 edges, 107695 markings/sec, 450 secs
lola: 80183374 markings, 255316991 edges, 185871 markings/sec, 455 secs
lola: 81091464 markings, 257886558 edges, 181618 markings/sec, 460 secs
lola: 82029589 markings, 260295938 edges, 187625 markings/sec, 465 secs
lola: 82956175 markings, 262895331 edges, 185317 markings/sec, 470 secs
lola: 83800857 markings, 265635993 edges, 168936 markings/sec, 475 secs
lola: 84718536 markings, 268040492 edges, 183536 markings/sec, 480 secs
lola: 85662390 markings, 270454022 edges, 188771 markings/sec, 485 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 14 will run for 1228 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(FF1b_8) OR FIREABLE(FF1b_9) OR FIREABLE(FF1b_6) OR FIREABLE(FF1b_7) OR FIREABLE(FF1b_12) OR FIREABLE(FF1b_13) OR FIREABLE(FF1b_10) OR FIREABLE(FF1b_11) OR FIREABLE(FF1b_1) OR FIREABLE(FF1b_4) OR FIREABLE(FF1b_5) OR FIREABLE(FF1b_2) OR FIREABLE(FF1b_3) OR FIREABLE(FF1b_38) OR FIREABLE(FF1b_39) OR FIREABLE(FF1b_40) OR FIREABLE(FF1b_41) OR FIREABLE(FF1b_42) OR FIR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(FF1b_8) OR FIREABLE(FF1b_9) OR FIREABLE(FF1b_6) OR FIREABLE(FF1b_7) OR FIREABLE(FF1b_12) OR FIREABLE(FF1b_13) OR FIREABLE(FF1b_10) OR FIREABLE(FF1b_11) OR FIREABLE(FF1b_1) OR FIREABLE(FF1b_4) OR FIREABLE(FF1b_5) OR FIREABLE(FF1b_2) OR FIREABLE(FF1b_3) OR FIREABLE(FF1b_38) OR FIREABLE(FF1b_39) OR FIREABLE(FF1b_40) OR FIREABLE(FF1b_41) OR FIREABLE(FF1b_42) OR FIR... (shortened)
lola: processed formula length: 1100
lola: 29 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 52 markings, 52 edges
lola: ========================================
lola: subprocess 15 will run for 2456 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(FF1b_8) OR FIREABLE(FF1b_9) OR FIREABLE(FF1b_6) OR FIREABLE(FF1b_7) OR FIREABLE(FF1b_12) OR FIREABLE(FF1b_13) OR FIREABLE(FF1b_10) OR FIREABLE(FF1b_11) OR FIREABLE(FF1b_1) OR FIREABLE(FF1b_4) OR FIREABLE(FF1b_5) OR FIREABLE(FF1b_2) OR FIREABLE(FF1b_3) OR FIREABLE(FF1b_38) OR FIREABLE(FF1b_39) OR FIREABLE(FF1b_40) OR FIREABLE(FF1b_41) OR FIREABLE(FF1b_42) OR FIR... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(FF1b_8) OR FIREABLE(FF1b_9) OR FIREABLE(FF1b_6) OR FIREABLE(FF1b_7) OR FIREABLE(FF1b_12) OR FIREABLE(FF1b_13) OR FIREABLE(FF1b_10) OR FIREABLE(FF1b_11) OR FIREABLE(FF1b_1) OR FIREABLE(FF1b_4) OR FIREABLE(FF1b_5) OR FIREABLE(FF1b_2) OR FIREABLE(FF1b_3) OR FIREABLE(FF1b_38) OR FIREABLE(FF1b_39) OR FIREABLE(FF1b_40) OR FIREABLE(FF1b_41) OR FIREABLE(FF1b_42) OR FIR... (shortened)
lola: processed formula length: 1100
lola: 29 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 52 markings, 52 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (F ((FIREABLE(End_2) OR FIREABLE(End_3) OR FIREABLE(End_1) OR FIREABLE(End_23) OR FIREABLE(End_22) OR FIREABLE(End_21) OR FIREABLE(End_20) OR FIREABLE(End_27) OR FIREABLE(End_26) OR FIREABLE(End_25) OR FIREABLE(End_24) OR FIREABLE(End_31) OR FIREABLE(End_30) OR FIREABLE(End_29) OR FIREABLE(End_28) OR FIREABLE(End_35) OR FIREABLE(End_34) OR FIREABLE(End_33) OR FIREABLE(End_32) O... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking eventual occurrence
lola: rewrite Frontend/Parser/formula_rewrite.k:749
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: processed formula: (NOT FIREABLE(End_2) AND NOT FIREABLE(End_3) AND NOT FIREABLE(End_1) AND NOT FIREABLE(End_23) AND NOT FIREABLE(End_22) AND NOT FIREABLE(End_21) AND NOT FIREABLE(End_20) AND NOT FIREABLE(End_27) AND NOT FIREABLE(End_26) AND NOT FIREABLE(End_25) AND NOT FIREABLE(End_24) AND NOT FIREABLE(End_31) AND NOT FIREABLE(End_30) AND NOT FIREABLE(End_29) AND NOT FIREABLE(End_28) AND NOT FIREABLE(End_35) AND NO... (shortened)
lola: processed formula length: 1238
lola: 31 rewrites
lola: closed formula file LTLFireability.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: 525159 markings, 3928902 edges, 105032 markings/sec, 0 secs
lola: 995770 markings, 7852492 edges, 94122 markings/sec, 5 secs
lola: 1458625 markings, 11741564 edges, 92571 markings/sec, 10 secs
lola: 1903998 markings, 15666293 edges, 89075 markings/sec, 15 secs
lola: 2324687 markings, 19534233 edges, 84138 markings/sec, 20 secs
lola: 2761301 markings, 23359051 edges, 87323 markings/sec, 25 secs
lola: 3190433 markings, 27223697 edges, 85826 markings/sec, 30 secs
lola: 3617508 markings, 31093486 edges, 85415 markings/sec, 35 secs
lola: 4050606 markings, 34960539 edges, 86620 markings/sec, 40 secs
lola: 4468109 markings, 38847958 edges, 83501 markings/sec, 45 secs
lola: 4879136 markings, 42738787 edges, 82205 markings/sec, 50 secs
lola: 5271260 markings, 46612142 edges, 78425 markings/sec, 55 secs
lola: 5635574 markings, 50480770 edges, 72863 markings/sec, 60 secs
lola: 6053401 markings, 54217978 edges, 83565 markings/sec, 65 secs
lola: 6467110 markings, 57981700 edges, 82742 markings/sec, 70 secs
lola: 6862626 markings, 61749197 edges, 79103 markings/sec, 75 secs
lola: 7268986 markings, 65552073 edges, 81272 markings/sec, 80 secs
lola: 7657530 markings, 69398238 edges, 77709 markings/sec, 85 secs
lola: 8049795 markings, 73216964 edges, 78453 markings/sec, 90 secs
lola: 8474307 markings, 77041886 edges, 84902 markings/sec, 95 secs
lola: 8883663 markings, 80852625 edges, 81871 markings/sec, 100 secs
lola: 9282137 markings, 84697178 edges, 79695 markings/sec, 105 secs
lola: 9670303 markings, 88524445 edges, 77633 markings/sec, 110 secs
lola: 10084158 markings, 92358651 edges, 82771 markings/sec, 115 secs
lola: 10485594 markings, 96208134 edges, 80287 markings/sec, 120 secs
lola: 10859483 markings, 100039294 edges, 74778 markings/sec, 125 secs
lola: 11268728 markings, 103877411 edges, 81849 markings/sec, 130 secs
lola: 11654532 markings, 107709233 edges, 77161 markings/sec, 135 secs
lola: 12041583 markings, 111550547 edges, 77410 markings/sec, 140 secs
lola: 12422581 markings, 115394433 edges, 76200 markings/sec, 145 secs
lola: 12802503 markings, 119244076 edges, 75984 markings/sec, 150 secs
lola: 13172384 markings, 123088368 edges, 73976 markings/sec, 155 secs
lola: 13535503 markings, 126926065 edges, 72624 markings/sec, 160 secs
lola: 13896756 markings, 130727679 edges, 72251 markings/sec, 165 secs
lola: 14249127 markings, 134537289 edges, 70474 markings/sec, 170 secs
lola: 14586070 markings, 138348378 edges, 67389 markings/sec, 175 secs
lola: 14904249 markings, 142171188 edges, 63636 markings/sec, 180 secs
lola: 15316536 markings, 145806124 edges, 82457 markings/sec, 185 secs
lola: 15720311 markings, 149518519 edges, 80755 markings/sec, 190 secs
lola: 16109071 markings, 153181356 edges, 77752 markings/sec, 195 secs
lola: 16503074 markings, 156898100 edges, 78801 markings/sec, 200 secs
lola: 16885199 markings, 160676223 edges, 76425 markings/sec, 205 secs
lola: 17250082 markings, 164399846 edges, 72977 markings/sec, 210 secs
lola: 17626533 markings, 168062571 edges, 75290 markings/sec, 215 secs
lola: 17994772 markings, 171838222 edges, 73648 markings/sec, 220 secs
lola: 18382934 markings, 175573412 edges, 77632 markings/sec, 225 secs
lola: 18757797 markings, 179351903 edges, 74973 markings/sec, 230 secs
lola: 19129505 markings, 183135467 edges, 74342 markings/sec, 235 secs
lola: 19499439 markings, 186942459 edges, 73987 markings/sec, 240 secs
lola: 19861041 markings, 190750230 edges, 72320 markings/sec, 245 secs
lola: 20208178 markings, 194549326 edges, 69427 markings/sec, 250 secs
lola: 20536957 markings, 198346786 edges, 65756 markings/sec, 255 secs
lola: 20934278 markings, 202096934 edges, 79464 markings/sec, 260 secs
lola: 21344054 markings, 205854456 edges, 81955 markings/sec, 265 secs
lola: 21747235 markings, 209623243 edges, 80636 markings/sec, 270 secs
lola: 22134910 markings, 213425793 edges, 77535 markings/sec, 275 secs
lola: 22514614 markings, 217205032 edges, 75941 markings/sec, 280 secs
lola: 22891582 markings, 220994193 edges, 75394 markings/sec, 285 secs
lola: 23282434 markings, 224779484 edges, 78170 markings/sec, 290 secs
lola: 23663439 markings, 228582867 edges, 76201 markings/sec, 295 secs
lola: 24036126 markings, 232393747 edges, 74537 markings/sec, 300 secs
lola: 24399952 markings, 236195453 edges, 72765 markings/sec, 305 secs
lola: 24746166 markings, 239986982 edges, 69243 markings/sec, 310 secs
lola: 25097166 markings, 243787081 edges, 70200 markings/sec, 315 secs
lola: 25507550 markings, 247581917 edges, 82077 markings/sec, 320 secs
lola: 25905941 markings, 251387967 edges, 79678 markings/sec, 325 secs
lola: 26270297 markings, 255185497 edges, 72871 markings/sec, 330 secs
lola: 26655630 markings, 258964117 edges, 77067 markings/sec, 335 secs
lola: 27034193 markings, 262767958 edges, 75713 markings/sec, 340 secs
lola: 27401658 markings, 266581652 edges, 73493 markings/sec, 345 secs
lola: 27766492 markings, 270371959 edges, 72967 markings/sec, 350 secs
lola: 28111055 markings, 274159520 edges, 68913 markings/sec, 355 secs
lola: 28467003 markings, 277965896 edges, 71190 markings/sec, 360 secs
lola: 28864310 markings, 281771688 edges, 79461 markings/sec, 365 secs
lola: 29237724 markings, 285568376 edges, 74683 markings/sec, 370 secs
lola: 29609344 markings, 289385330 edges, 74324 markings/sec, 375 secs
lola: 29979609 markings, 293197840 edges, 74053 markings/sec, 380 secs
lola: 30339393 markings, 296989964 edges, 71957 markings/sec, 385 secs
lola: 30681568 markings, 300773551 edges, 68435 markings/sec, 390 secs
lola: 31039066 markings, 304574072 edges, 71500 markings/sec, 395 secs
lola: 31419641 markings, 308361970 edges, 76115 markings/sec, 400 secs
lola: 31780648 markings, 312156177 edges, 72201 markings/sec, 405 secs
lola: 32141288 markings, 315947874 edges, 72128 markings/sec, 410 secs
lola: 32488729 markings, 319714453 edges, 69488 markings/sec, 415 secs
lola: 32811563 markings, 323497214 edges, 64567 markings/sec, 420 secs
lola: 33197933 markings, 327302814 edges, 77274 markings/sec, 425 secs
lola: 33553607 markings, 331110379 edges, 71135 markings/sec, 430 secs
lola: 33906388 markings, 334899820 edges, 70556 markings/sec, 435 secs
lola: 34238279 markings, 338696072 edges, 66378 markings/sec, 440 secs
lola: 34599431 markings, 342493977 edges, 72230 markings/sec, 445 secs
lola: 34948524 markings, 346291118 edges, 69819 markings/sec, 450 secs
lola: 35287191 markings, 350084598 edges, 67733 markings/sec, 455 secs
lola: 35629462 markings, 353871776 edges, 68454 markings/sec, 460 secs
lola: 35970489 markings, 357644950 edges, 68205 markings/sec, 465 secs
lola: 36292673 markings, 361438911 edges, 64437 markings/sec, 470 secs
lola: 36636589 markings, 365198683 edges, 68783 markings/sec, 475 secs
lola: 36957113 markings, 368959334 edges, 64105 markings/sec, 480 secs
lola: 37294094 markings, 372731755 edges, 67396 markings/sec, 485 secs
lola: 37615621 markings, 376502727 edges, 64305 markings/sec, 490 secs
lola: 37934106 markings, 380266576 edges, 63697 markings/sec, 495 secs
lola: 38246482 markings, 384035391 edges, 62475 markings/sec, 500 secs
lola: 38551392 markings, 387802767 edges, 60982 markings/sec, 505 secs
lola: 38851592 markings, 391570942 edges, 60040 markings/sec, 510 secs
lola: 39146230 markings, 395325819 edges, 58928 markings/sec, 515 secs
lola: 39551946 markings, 398813644 edges, 81143 markings/sec, 520 secs
lola: 39941174 markings, 402464310 edges, 77846 markings/sec, 525 secs
lola: 40324128 markings, 406011166 edges, 76591 markings/sec, 530 secs
lola: 40710031 markings, 409671897 edges, 77181 markings/sec, 535 secs
lola: 41082959 markings, 413413953 edges, 74586 markings/sec, 540 secs
lola: 41443109 markings, 417046196 edges, 72030 markings/sec, 545 secs
lola: 41805763 markings, 420599102 edges, 72531 markings/sec, 550 secs
lola: 42168344 markings, 424295335 edges, 72516 markings/sec, 555 secs
lola: 42545157 markings, 427935659 edges, 75363 markings/sec, 560 secs
lola: 42913143 markings, 431641537 edges, 73597 markings/sec, 565 secs
lola: 43276610 markings, 435352831 edges, 72693 markings/sec, 570 secs
lola: 43640048 markings, 439091946 edges, 72688 markings/sec, 575 secs
lola: 43997227 markings, 442840108 edges, 71436 markings/sec, 580 secs
lola: 44341241 markings, 446585925 edges, 68803 markings/sec, 585 secs
lola: 44666998 markings, 450329510 edges, 65151 markings/sec, 590 secs
lola: 45017322 markings, 453949799 edges, 70065 markings/sec, 595 secs
lola: 45382368 markings, 457552253 edges, 73009 markings/sec, 600 secs
lola: 45736228 markings, 461240238 edges, 70772 markings/sec, 605 secs
lola: 46085543 markings, 464858132 edges, 69863 markings/sec, 610 secs
lola: 46439691 markings, 468593831 edges, 70830 markings/sec, 615 secs
lola: 46781303 markings, 472368923 edges, 68322 markings/sec, 620 secs
lola: 47130565 markings, 476103189 edges, 69852 markings/sec, 625 secs
lola: 47505896 markings, 479817268 edges, 75066 markings/sec, 630 secs
lola: 47857895 markings, 483507624 edges, 70400 markings/sec, 635 secs
lola: 48219979 markings, 487249454 edges, 72417 markings/sec, 640 secs
lola: 48558384 markings, 491009500 edges, 67681 markings/sec, 645 secs
lola: 48925256 markings, 494762248 edges, 73374 markings/sec, 650 secs
lola: 49282804 markings, 498519962 edges, 71510 markings/sec, 655 secs
lola: 49635911 markings, 502284802 edges, 70621 markings/sec, 660 secs
lola: 49973136 markings, 506050232 edges, 67445 markings/sec, 665 secs
lola: 50332867 markings, 509798154 edges, 71946 markings/sec, 670 secs
lola: 50679004 markings, 513552075 edges, 69227 markings/sec, 675 secs
lola: 51018647 markings, 517316549 edges, 67929 markings/sec, 680 secs
lola: 51365698 markings, 521084601 edges, 69410 markings/sec, 685 secs
lola: 51698548 markings, 524853939 edges, 66570 markings/sec, 690 secs
lola: 52040323 markings, 528628471 edges, 68355 markings/sec, 695 secs
lola: 52371115 markings, 532396526 edges, 66158 markings/sec, 700 secs
lola: 52697622 markings, 536160969 edges, 65301 markings/sec, 705 secs
lola: 53018835 markings, 539906710 edges, 64243 markings/sec, 710 secs
lola: 53334418 markings, 543657107 edges, 63117 markings/sec, 715 secs
lola: 53640380 markings, 547407745 edges, 61192 markings/sec, 720 secs
lola: 53934750 markings, 551164027 edges, 58874 markings/sec, 725 secs
lola: 54315112 markings, 554880000 edges, 76072 markings/sec, 730 secs
lola: 54721217 markings, 558603697 edges, 81221 markings/sec, 735 secs
lola: 55118066 markings, 562310505 edges, 79370 markings/sec, 740 secs
lola: 55502642 markings, 566068694 edges, 76915 markings/sec, 745 secs
lola: 55875437 markings, 569786190 edges, 74559 markings/sec, 750 secs
lola: 56248085 markings, 573502405 edges, 74530 markings/sec, 755 secs
lola: 56627709 markings, 577211169 edges, 75925 markings/sec, 760 secs
lola: 57003750 markings, 580962635 edges, 75208 markings/sec, 765 secs
lola: 57375001 markings, 584725133 edges, 74250 markings/sec, 770 secs
lola: 57734759 markings, 588484587 edges, 71952 markings/sec, 775 secs
lola: 58079961 markings, 592233781 edges, 69040 markings/sec, 780 secs
lola: 58405496 markings, 595988651 edges, 65107 markings/sec, 785 secs
lola: 58793401 markings, 599696060 edges, 77581 markings/sec, 790 secs
lola: 59155456 markings, 603424840 edges, 72411 markings/sec, 795 secs
lola: 59517808 markings, 607181987 edges, 72470 markings/sec, 800 secs
lola: 59866168 markings, 610955680 edges, 69672 markings/sec, 805 secs
lola: 60222651 markings, 614724503 edges, 71297 markings/sec, 810 secs
lola: 60596862 markings, 618488083 edges, 74842 markings/sec, 815 secs
lola: 60961664 markings, 622267693 edges, 72960 markings/sec, 820 secs
lola: 61300532 markings, 626032153 edges, 67774 markings/sec, 825 secs
lola: 61674691 markings, 629793765 edges, 74832 markings/sec, 830 secs
lola: 62033829 markings, 633558999 edges, 71828 markings/sec, 835 secs
lola: 62378029 markings, 637324176 edges, 68840 markings/sec, 840 secs
lola: 62737334 markings, 641107754 edges, 71861 markings/sec, 845 secs
lola: 63077417 markings, 644887344 edges, 68017 markings/sec, 850 secs
lola: 63428873 markings, 648659779 edges, 70291 markings/sec, 855 secs
lola: 63766355 markings, 652428876 edges, 67496 markings/sec, 860 secs
lola: 64100938 markings, 656193161 edges, 66917 markings/sec, 865 secs
lola: 64429414 markings, 659940324 edges, 65695 markings/sec, 870 secs
lola: 64751133 markings, 663691431 edges, 64344 markings/sec, 875 secs
lola: 65061086 markings, 667444248 edges, 61991 markings/sec, 880 secs
lola: 65360458 markings, 671203467 edges, 59874 markings/sec, 885 secs
lola: 65747619 markings, 674946028 edges, 77432 markings/sec, 890 secs
lola: 66140014 markings, 678684188 edges, 78479 markings/sec, 895 secs
lola: 66517068 markings, 682376939 edges, 75411 markings/sec, 900 secs
lola: 66876862 markings, 686048830 edges, 71959 markings/sec, 905 secs
lola: 67245902 markings, 689791236 edges, 73808 markings/sec, 910 secs
lola: 67607621 markings, 693427088 edges, 72344 markings/sec, 915 secs
lola: 67974784 markings, 697196302 edges, 73433 markings/sec, 920 secs
lola: 68326208 markings, 700946130 edges, 70285 markings/sec, 925 secs
lola: 68658195 markings, 704699469 edges, 66397 markings/sec, 930 secs
lola: 69018098 markings, 708451016 edges, 71981 markings/sec, 935 secs
lola: 69379342 markings, 712215419 edges, 72249 markings/sec, 940 secs
lola: 69734113 markings, 715989006 edges, 70954 markings/sec, 945 secs
lola: 70068468 markings, 719753041 edges, 66871 markings/sec, 950 secs
lola: 70439046 markings, 723497696 edges, 74116 markings/sec, 955 secs
lola: 70793038 markings, 727251275 edges, 70798 markings/sec, 960 secs
lola: 71140389 markings, 731011337 edges, 69470 markings/sec, 965 secs
lola: 71495516 markings, 734778259 edges, 71025 markings/sec, 970 secs
lola: 71837164 markings, 738549415 edges, 68330 markings/sec, 975 secs
lola: 72183929 markings, 742321378 edges, 69353 markings/sec, 980 secs
lola: 72522187 markings, 746080957 edges, 67652 markings/sec, 985 secs
lola: 72855302 markings, 749833619 edges, 66623 markings/sec, 990 secs
lola: 73181835 markings, 753576941 edges, 65307 markings/sec, 995 secs
lola: 73501087 markings, 757317292 edges, 63850 markings/sec, 1000 secs
lola: 73811249 markings, 761062930 edges, 62032 markings/sec, 1005 secs
lola: 74105181 markings, 764817860 edges, 58786 markings/sec, 1010 secs
lola: 74493431 markings, 768585414 edges, 77650 markings/sec, 1015 secs
lola: 74878888 markings, 772350809 edges, 77091 markings/sec, 1020 secs
lola: 75241833 markings, 776112211 edges, 72589 markings/sec, 1025 secs
lola: 75605163 markings, 779843830 edges, 72666 markings/sec, 1030 secs
lola: 75961952 markings, 783552592 edges, 71358 markings/sec, 1035 secs
lola: 76311967 markings, 787300916 edges, 70003 markings/sec, 1040 secs
lola: 76639110 markings, 791051650 edges, 65429 markings/sec, 1045 secs
lola: 76997883 markings, 794801963 edges, 71755 markings/sec, 1050 secs
lola: 77346961 markings, 798561441 edges, 69816 markings/sec, 1055 secs
lola: 77674774 markings, 802303173 edges, 65563 markings/sec, 1060 secs
lola: 78038173 markings, 806070945 edges, 72680 markings/sec, 1065 secs
lola: 78376845 markings, 809834755 edges, 67734 markings/sec, 1070 secs
lola: 78730555 markings, 813600126 edges, 70742 markings/sec, 1075 secs
lola: 79067463 markings, 817352945 edges, 67382 markings/sec, 1080 secs
lola: 79395703 markings, 821100431 edges, 65648 markings/sec, 1085 secs
lola: 79723735 markings, 824822832 edges, 65606 markings/sec, 1090 secs
lola: 80050529 markings, 828561426 edges, 65359 markings/sec, 1095 secs
lola: 80364029 markings, 832295491 edges, 62700 markings/sec, 1100 secs
lola: 80662480 markings, 836028074 edges, 59690 markings/sec, 1105 secs
lola: 81010373 markings, 839807972 edges, 69579 markings/sec, 1110 secs
lola: 81385636 markings, 843573295 edges, 75053 markings/sec, 1115 secs
lola: 81743737 markings, 847342446 edges, 71620 markings/sec, 1120 secs
lola: 82101697 markings, 851105318 edges, 71592 markings/sec, 1125 secs
lola: 82446881 markings, 854849290 edges, 69037 markings/sec, 1130 secs
lola: 82770322 markings, 858610523 edges, 64688 markings/sec, 1135 secs
lola: 83124959 markings, 862392675 edges, 70927 markings/sec, 1140 secs
lola: 83457310 markings, 866154009 edges, 66470 markings/sec, 1145 secs
lola: 83809256 markings, 869919868 edges, 70389 markings/sec, 1150 secs
lola: 84146562 markings, 873676567 edges, 67461 markings/sec, 1155 secs
lola: 84475867 markings, 877428364 edges, 65861 markings/sec, 1160 secs
lola: 84805062 markings, 881149157 edges, 65839 markings/sec, 1165 secs
lola: 85130907 markings, 884883955 edges, 65169 markings/sec, 1170 secs
lola: 85443378 markings, 888614417 edges, 62494 markings/sec, 1175 secs
lola: 85743145 markings, 892346583 edges, 59953 markings/sec, 1180 secs
lola: 86078481 markings, 896113672 edges, 67067 markings/sec, 1185 secs
lola: 86436947 markings, 899867938 edges, 71693 markings/sec, 1190 secs
lola: 86790131 markings, 903606586 edges, 70637 markings/sec, 1195 secs
lola: 87129055 markings, 907334931 edges, 67785 markings/sec, 1200 secs
lola: 87454168 markings, 911068864 edges, 65023 markings/sec, 1205 secs
lola: 87793566 markings, 914827149 edges, 67880 markings/sec, 1210 secs
lola: 88126779 markings, 918572060 edges, 66643 markings/sec, 1215 secs
lola: 88458314 markings, 922306386 edges, 66307 markings/sec, 1220 secs
lola: 88783224 markings, 926019222 edges, 64982 markings/sec, 1225 secs
lola: 89101704 markings, 929740658 edges, 63696 markings/sec, 1230 secs
lola: 89409908 markings, 933464565 edges, 61641 markings/sec, 1235 secs
lola: 89705650 markings, 937191121 edges, 59148 markings/sec, 1240 secs
lola: 90052481 markings, 940949819 edges, 69366 markings/sec, 1245 secs
lola: 90398578 markings, 944713168 edges, 69219 markings/sec, 1250 secs
lola: 90736012 markings, 948466924 edges, 67487 markings/sec, 1255 secs
lola: 91061122 markings, 952226122 edges, 65022 markings/sec, 1260 secs
lola: 91388870 markings, 955985478 edges, 65550 markings/sec, 1265 secs
lola: 91716316 markings, 959713683 edges, 65489 markings/sec, 1270 secs
lola: 92037827 markings, 963449267 edges, 64302 markings/sec, 1275 secs
lola: 92349848 markings, 967190477 edges, 62404 markings/sec, 1280 secs
lola: 92649003 markings, 970934921 edges, 59831 markings/sec, 1285 secs
lola: 92979439 markings, 974688545 edges, 66087 markings/sec, 1290 secs
lola: 93316193 markings, 978426577 edges, 67351 markings/sec, 1295 secs
lola: 93636272 markings, 982180318 edges, 64016 markings/sec, 1300 secs
lola: 93958417 markings, 985918460 edges, 64429 markings/sec, 1305 secs
lola: 94281500 markings, 989658357 edges, 64617 markings/sec, 1310 secs
lola: 94594592 markings, 993401159 edges, 62618 markings/sec, 1315 secs
lola: 94894715 markings, 997139878 edges, 60025 markings/sec, 1320 secs
lola: 95212854 markings, 1000882337 edges, 63628 markings/sec, 1325 secs
lola: 95539098 markings, 1004597013 edges, 65249 markings/sec, 1330 secs
lola: 95852267 markings, 1008319399 edges, 62634 markings/sec, 1335 secs
lola: 96166352 markings, 1012043396 edges, 62817 markings/sec, 1340 secs
lola: 96471920 markings, 1015767234 edges, 61114 markings/sec, 1345 secs
lola: 96761712 markings, 1019508012 edges, 57958 markings/sec, 1350 secs
lola: 97089514 markings, 1023199451 edges, 65560 markings/sec, 1355 secs
lola: 97395378 markings, 1026893032 edges, 61173 markings/sec, 1360 secs
lola: 97689295 markings, 1030458393 edges, 58783 markings/sec, 1365 secs
lola: 97975769 markings, 1034009846 edges, 57295 markings/sec, 1370 secs
lola: 98272547 markings, 1037643943 edges, 59356 markings/sec, 1375 secs
lola: 98575354 markings, 1041318309 edges, 60561 markings/sec, 1380 secs
lola: 98875051 markings, 1045017043 edges, 59939 markings/sec, 1385 secs
lola: 99161570 markings, 1048651366 edges, 57304 markings/sec, 1390 secs
lola: 99462303 markings, 1052341839 edges, 60147 markings/sec, 1395 secs
lola: 99756912 markings, 1056012815 edges, 58922 markings/sec, 1400 secs
lola: 100048353 markings, 1059727406 edges, 58288 markings/sec, 1405 secs
lola: 100341536 markings, 1063428879 edges, 58637 markings/sec, 1410 secs
lola: 100626362 markings, 1067138521 edges, 56965 markings/sec, 1415 secs
lola: 100908881 markings, 1070838092 edges, 56504 markings/sec, 1420 secs
lola: 101194767 markings, 1074537224 edges, 57177 markings/sec, 1425 secs
lola: 101471954 markings, 1078246023 edges, 55437 markings/sec, 1430 secs
lola: 101749746 markings, 1081950834 edges, 55558 markings/sec, 1435 secs
lola: 102028749 markings, 1085662857 edges, 55801 markings/sec, 1440 secs
lola: 102277308 markings, 1089396163 edges, 49712 markings/sec, 1445 secs
lola: 102634465 markings, 1092912231 edges, 71431 markings/sec, 1450 secs
lola: 103022261 markings, 1096378537 edges, 77559 markings/sec, 1455 secs
lola: 103390192 markings, 1099851312 edges, 73586 markings/sec, 1460 secs
lola: 103764661 markings, 1103386909 edges, 74894 markings/sec, 1465 secs
lola: 104139669 markings, 1107017978 edges, 75002 markings/sec, 1470 secs
lola: 104488232 markings, 1110699123 edges, 69713 markings/sec, 1475 secs
lola: 104852735 markings, 1114181216 edges, 72901 markings/sec, 1480 secs
lola: 105206551 markings, 1117704706 edges, 70763 markings/sec, 1485 secs
lola: 105570912 markings, 1121318150 edges, 72872 markings/sec, 1490 secs
lola: 105930143 markings, 1124916705 edges, 71846 markings/sec, 1495 secs
lola: 106295489 markings, 1128541861 edges, 73069 markings/sec, 1500 secs
lola: 106654618 markings, 1132214645 edges, 71826 markings/sec, 1505 secs
lola: 107010675 markings, 1135910484 edges, 71211 markings/sec, 1510 secs
lola: 107357651 markings, 1139627447 edges, 69395 markings/sec, 1515 secs
lola: 107694649 markings, 1143328714 edges, 67400 markings/sec, 1520 secs
lola: 108008373 markings, 1147038405 edges, 62745 markings/sec, 1525 secs
lola: 108366265 markings, 1150521204 edges, 71578 markings/sec, 1530 secs
lola: 108718602 markings, 1154012153 edges, 70467 markings/sec, 1535 secs
lola: 109055187 markings, 1157529187 edges, 67317 markings/sec, 1540 secs
lola: 109396749 markings, 1161085076 edges, 68312 markings/sec, 1545 secs
lola: 109740316 markings, 1164727097 edges, 68713 markings/sec, 1550 secs
lola: 110072280 markings, 1168430438 edges, 66393 markings/sec, 1555 secs
lola: 110420234 markings, 1172062138 edges, 69591 markings/sec, 1560 secs
lola: 110782547 markings, 1175679485 edges, 72463 markings/sec, 1565 secs
lola: 111126466 markings, 1179259767 edges, 68784 markings/sec, 1570 secs
lola: 111477434 markings, 1182910810 edges, 70194 markings/sec, 1575 secs
lola: 111808225 markings, 1186597562 edges, 66158 markings/sec, 1580 secs
lola: 112166629 markings, 1190256246 edges, 71681 markings/sec, 1585 secs
lola: 112515686 markings, 1193913403 edges, 69811 markings/sec, 1590 secs
lola: 112862325 markings, 1197598111 edges, 69328 markings/sec, 1595 secs
lola: 113187919 markings, 1201289641 edges, 65119 markings/sec, 1600 secs
lola: 113542850 markings, 1204962714 edges, 70986 markings/sec, 1605 secs
lola: 113885251 markings, 1208644003 edges, 68480 markings/sec, 1610 secs
lola: 114214601 markings, 1212333255 edges, 65870 markings/sec, 1615 secs
lola: 114558649 markings, 1216040908 edges, 68810 markings/sec, 1620 secs
lola: 114880636 markings, 1219741108 edges, 64397 markings/sec, 1625 secs
lola: 115221928 markings, 1223443301 edges, 68258 markings/sec, 1630 secs
lola: 115547958 markings, 1227150821 edges, 65206 markings/sec, 1635 secs
lola: 115865328 markings, 1230866089 edges, 63474 markings/sec, 1640 secs
lola: 116185505 markings, 1234541105 edges, 64035 markings/sec, 1645 secs
lola: 116499470 markings, 1238233266 edges, 62793 markings/sec, 1650 secs
lola: 116801846 markings, 1241915250 edges, 60475 markings/sec, 1655 secs
lola: 117094561 markings, 1245602285 edges, 58543 markings/sec, 1660 secs
lola: 117406728 markings, 1249209224 edges, 62433 markings/sec, 1665 secs
lola: 117766371 markings, 1252703578 edges, 71929 markings/sec, 1670 secs
lola: 118114626 markings, 1256349003 edges, 69651 markings/sec, 1675 secs
lola: 118454730 markings, 1259847787 edges, 68021 markings/sec, 1680 secs
lola: 118800494 markings, 1263432805 edges, 69153 markings/sec, 1685 secs
lola: 119141058 markings, 1267126356 edges, 68113 markings/sec, 1690 secs
lola: 119456358 markings, 1270826869 edges, 63060 markings/sec, 1695 secs
lola: 119794583 markings, 1274335426 edges, 67645 markings/sec, 1700 secs
lola: 120119676 markings, 1277896064 edges, 65019 markings/sec, 1705 secs
lola: 120452475 markings, 1281542543 edges, 66560 markings/sec, 1710 secs
lola: 120786532 markings, 1285174554 edges, 66811 markings/sec, 1715 secs
lola: 121119781 markings, 1288852311 edges, 66650 markings/sec, 1720 secs
lola: 121448076 markings, 1292544526 edges, 65659 markings/sec, 1725 secs
lola: 121775254 markings, 1296268200 edges, 65436 markings/sec, 1730 secs
lola: 122104293 markings, 1300006526 edges, 65808 markings/sec, 1735 secs
lola: 122420486 markings, 1303734984 edges, 63239 markings/sec, 1740 secs
lola: 122725174 markings, 1307457434 edges, 60938 markings/sec, 1745 secs
lola: 123025910 markings, 1311165589 edges, 60147 markings/sec, 1750 secs
lola: 123398789 markings, 1314755305 edges, 74576 markings/sec, 1755 secs
lola: 123749696 markings, 1318376474 edges, 70181 markings/sec, 1760 secs
lola: 124103067 markings, 1322040916 edges, 70674 markings/sec, 1765 secs
lola: 124446357 markings, 1325752628 edges, 68658 markings/sec, 1770 secs
lola: 124777760 markings, 1329411261 edges, 66281 markings/sec, 1775 secs
lola: 125114497 markings, 1333049154 edges, 67347 markings/sec, 1780 secs
lola: 125449393 markings, 1336714038 edges, 66979 markings/sec, 1785 secs
lola: 125784571 markings, 1340399531 edges, 67036 markings/sec, 1790 secs
lola: 126116692 markings, 1344070583 edges, 66424 markings/sec, 1795 secs
lola: 126451313 markings, 1347801113 edges, 66924 markings/sec, 1800 secs
lola: 126774364 markings, 1351520788 edges, 64610 markings/sec, 1805 secs
lola: 127084302 markings, 1355237357 edges, 61988 markings/sec, 1810 secs
lola: 127391816 markings, 1358957661 edges, 61503 markings/sec, 1815 secs
lola: 127759940 markings, 1362652427 edges, 73625 markings/sec, 1820 secs
lola: 128110882 markings, 1366353935 edges, 70188 markings/sec, 1825 secs
lola: 128451921 markings, 1370074068 edges, 68208 markings/sec, 1830 secs
lola: 128777337 markings, 1373717217 edges, 65083 markings/sec, 1835 secs
lola: 129095062 markings, 1377307661 edges, 63545 markings/sec, 1840 secs
lola: 129434410 markings, 1381023188 edges, 67870 markings/sec, 1845 secs
lola: 129767637 markings, 1384755626 edges, 66645 markings/sec, 1850 secs
lola: 130092123 markings, 1388477043 edges, 64897 markings/sec, 1855 secs
lola: 130403051 markings, 1392188814 edges, 62186 markings/sec, 1860 secs
lola: 130704385 markings, 1395912119 edges, 60267 markings/sec, 1865 secs
lola: 131062472 markings, 1399623283 edges, 71617 markings/sec, 1870 secs
lola: 131406696 markings, 1403343719 edges, 68845 markings/sec, 1875 secs
lola: 131733953 markings, 1407063619 edges, 65451 markings/sec, 1880 secs
lola: 132063108 markings, 1410787422 edges, 65831 markings/sec, 1885 secs
lola: 132393107 markings, 1414514323 edges, 66000 markings/sec, 1890 secs
lola: 132713396 markings, 1418231139 edges, 64058 markings/sec, 1895 secs
lola: 133018921 markings, 1421939109 edges, 61105 markings/sec, 1900 secs
lola: 133335057 markings, 1425661982 edges, 63227 markings/sec, 1905 secs
lola: 133675705 markings, 1429364025 edges, 68130 markings/sec, 1910 secs
lola: 133997884 markings, 1433058121 edges, 64436 markings/sec, 1915 secs
lola: 134323437 markings, 1436780229 edges, 65111 markings/sec, 1920 secs
lola: 134642300 markings, 1440479195 edges, 63773 markings/sec, 1925 secs
lola: 134947726 markings, 1444168639 edges, 61085 markings/sec, 1930 secs
lola: 135253820 markings, 1447866618 edges, 61219 markings/sec, 1935 secs
lola: 135588163 markings, 1451591036 edges, 66869 markings/sec, 1940 secs
lola: 135905661 markings, 1455329864 edges, 63500 markings/sec, 1945 secs
lola: 136222171 markings, 1459040537 edges, 63302 markings/sec, 1950 secs
lola: 136525390 markings, 1462771838 edges, 60644 markings/sec, 1955 secs
lola: 136842536 markings, 1466500005 edges, 63429 markings/sec, 1960 secs
lola: 137160074 markings, 1470230054 edges, 63508 markings/sec, 1965 secs
lola: 137471768 markings, 1473957309 edges, 62339 markings/sec, 1970 secs
lola: 137763630 markings, 1477699299 edges, 58372 markings/sec, 1975 secs
lola: 138084499 markings, 1481429325 edges, 64174 markings/sec, 1980 secs
lola: 138394169 markings, 1485152600 edges, 61934 markings/sec, 1985 secs
lola: 138691537 markings, 1488888308 edges, 59474 markings/sec, 1990 secs
lola: 138996396 markings, 1492575453 edges, 60972 markings/sec, 1995 secs
lola: 139281355 markings, 1496258506 edges, 56992 markings/sec, 2000 secs
lola: 139587283 markings, 1499954955 edges, 61186 markings/sec, 2005 secs
lola: 139877199 markings, 1503648593 edges, 57983 markings/sec, 2010 secs
lola: 140163381 markings, 1507332414 edges, 57236 markings/sec, 2015 secs
lola: 140451051 markings, 1511032806 edges, 57534 markings/sec, 2020 secs
lola: 140731319 markings, 1514724933 edges, 56054 markings/sec, 2025 secs
lola: 141004527 markings, 1518418799 edges, 54642 markings/sec, 2030 secs
lola: 141277770 markings, 1522136370 edges, 54649 markings/sec, 2035 secs
lola: 141597350 markings, 1525827132 edges, 63916 markings/sec, 2040 secs
lola: 142004723 markings, 1529489846 edges, 81475 markings/sec, 2045 secs
lola: 142392501 markings, 1533110362 edges, 77556 markings/sec, 2050 secs
lola: 142780526 markings, 1536818247 edges, 77605 markings/sec, 2055 secs
lola: 143141212 markings, 1540520989 edges, 72137 markings/sec, 2060 secs
lola: 143517344 markings, 1544138861 edges, 75226 markings/sec, 2065 secs
lola: 143889162 markings, 1547832515 edges, 74364 markings/sec, 2070 secs
lola: 144259529 markings, 1551526649 edges, 74073 markings/sec, 2075 secs
lola: 144630609 markings, 1555249220 edges, 74216 markings/sec, 2080 secs
lola: 144994930 markings, 1558982870 edges, 72864 markings/sec, 2085 secs
lola: 145346128 markings, 1562728685 edges, 70240 markings/sec, 2090 secs
lola: 145676123 markings, 1566457602 edges, 65999 markings/sec, 2095 secs
lola: 146033502 markings, 1570116484 edges, 71476 markings/sec, 2100 secs
lola: 146394144 markings, 1573765557 edges, 72128 markings/sec, 2105 secs
lola: 146746502 markings, 1577378350 edges, 70472 markings/sec, 2110 secs
lola: 147097237 markings, 1581080997 edges, 70147 markings/sec, 2115 secs
lola: 147426626 markings, 1584821688 edges, 65878 markings/sec, 2120 secs
lola: 147808948 markings, 1588515170 edges, 76464 markings/sec, 2125 secs
lola: 148166283 markings, 1592202045 edges, 71467 markings/sec, 2130 secs
lola: 148518829 markings, 1595914647 edges, 70509 markings/sec, 2135 secs
lola: 148867036 markings, 1599633882 edges, 69641 markings/sec, 2140 secs
lola: 149226598 markings, 1603374646 edges, 71912 markings/sec, 2145 secs
lola: 149573047 markings, 1607070857 edges, 69290 markings/sec, 2150 secs
lola: 149923165 markings, 1610793371 edges, 70024 markings/sec, 2155 secs
lola: 150268668 markings, 1614514466 edges, 69101 markings/sec, 2160 secs
lola: 150609226 markings, 1618237585 edges, 68112 markings/sec, 2165 secs
lola: 150944571 markings, 1621959460 edges, 67069 markings/sec, 2170 secs
lola: 151282246 markings, 1625679270 edges, 67535 markings/sec, 2175 secs
lola: 151609709 markings, 1629391539 edges, 65493 markings/sec, 2180 secs
lola: 151928796 markings, 1633056203 edges, 63817 markings/sec, 2185 secs
lola: 152238347 markings, 1636706200 edges, 61910 markings/sec, 2190 secs
lola: 152542415 markings, 1640394185 edges, 60814 markings/sec, 2195 secs
lola: 152824193 markings, 1644090796 edges, 56356 markings/sec, 2200 secs
lola: 153200871 markings, 1647669807 edges, 75336 markings/sec, 2205 secs
lola: 153557808 markings, 1651336483 edges, 71387 markings/sec, 2210 secs
lola: 153911266 markings, 1654994340 edges, 70692 markings/sec, 2215 secs
lola: 154260344 markings, 1658718516 edges, 69816 markings/sec, 2220 secs
lola: 154590875 markings, 1662418379 edges, 66106 markings/sec, 2225 secs
lola: 154931983 markings, 1666060216 edges, 68222 markings/sec, 2230 secs
lola: 155271339 markings, 1669774269 edges, 67871 markings/sec, 2235 secs
lola: 155605961 markings, 1673480343 edges, 66924 markings/sec, 2240 secs
lola: 155949433 markings, 1677221032 edges, 68694 markings/sec, 2245 secs
lola: 156282000 markings, 1680970082 edges, 66513 markings/sec, 2250 secs
lola: 156610079 markings, 1684709798 edges, 65616 markings/sec, 2255 secs
lola: 156922392 markings, 1688437767 edges, 62463 markings/sec, 2260 secs
lola: 157224434 markings, 1692176629 edges, 60408 markings/sec, 2265 secs
lola: 157607046 markings, 1695887962 edges, 76522 markings/sec, 2270 secs
lola: 157967919 markings, 1699609625 edges, 72175 markings/sec, 2275 secs
lola: 158317621 markings, 1703338771 edges, 69940 markings/sec, 2280 secs
lola: 158656866 markings, 1707040895 edges, 67849 markings/sec, 2285 secs
lola: 158995396 markings, 1710747775 edges, 67706 markings/sec, 2290 secs
lola: 159342785 markings, 1714500045 edges, 69478 markings/sec, 2295 secs
lola: 159685983 markings, 1718258945 edges, 68640 markings/sec, 2300 secs
lola: 160014341 markings, 1721980615 edges, 65672 markings/sec, 2305 secs
lola: 160327740 markings, 1725692428 edges, 62680 markings/sec, 2310 secs
lola: 160653908 markings, 1729425422 edges, 65234 markings/sec, 2315 secs
lola: 161014907 markings, 1733149723 edges, 72200 markings/sec, 2320 secs
lola: 161363005 markings, 1736873961 edges, 69620 markings/sec, 2325 secs
lola: 161699942 markings, 1740605546 edges, 67387 markings/sec, 2330 secs
lola: 162038637 markings, 1744341153 edges, 67739 markings/sec, 2335 secs
lola: 162371685 markings, 1748078209 edges, 66610 markings/sec, 2340 secs
lola: 162695334 markings, 1751786683 edges, 64730 markings/sec, 2345 secs
lola: 162999472 markings, 1755499074 edges, 60828 markings/sec, 2350 secs
lola: 163345442 markings, 1759238404 edges, 69194 markings/sec, 2355 secs
lola: 163689524 markings, 1762948982 edges, 68816 markings/sec, 2360 secs
lola: 164020046 markings, 1766679753 edges, 66104 markings/sec, 2365 secs
lola: 164351529 markings, 1770406200 edges, 66297 markings/sec, 2370 secs
lola: 164671139 markings, 1774101699 edges, 63922 markings/sec, 2375 secs
lola: 164971148 markings, 1777806896 edges, 60002 markings/sec, 2380 secs
lola: 165316546 markings, 1781551856 edges, 69080 markings/sec, 2385 secs
lola: 165646296 markings, 1785291121 edges, 65950 markings/sec, 2390 secs
lola: 165972183 markings, 1789017987 edges, 65177 markings/sec, 2395 secs
lola: 166287770 markings, 1792734871 edges, 63117 markings/sec, 2400 secs
lola: 166600152 markings, 1796464952 edges, 62476 markings/sec, 2405 secs
lola: 166926813 markings, 1800195024 edges, 65332 markings/sec, 2410 secs
lola: 167249105 markings, 1803920641 edges, 64458 markings/sec, 2415 secs
lola: 167554996 markings, 1807650462 edges, 61178 markings/sec, 2420 secs
lola: 167876033 markings, 1811375396 edges, 64207 markings/sec, 2425 secs
lola: 168190435 markings, 1815096028 edges, 62880 markings/sec, 2430 secs
lola: 168486322 markings, 1818829654 edges, 59177 markings/sec, 2435 secs
lola: 168804464 markings, 1822514169 edges, 63628 markings/sec, 2440 secs
lola: 169104113 markings, 1826189746 edges, 59930 markings/sec, 2445 secs
lola: 169407360 markings, 1829894993 edges, 60649 markings/sec, 2450 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no yes no no no no unknown no no no yes no no yes no
lola:
preliminary result: unknown no yes no no no no unknown no no no yes no no yes no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no yes no no no no unknown no no no yes no no yes no
lola: memory consumption: 14744 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (F ((FIREABLE(End_2) OR FIREABLE(End_3) OR FIREABLE(End_1) OR FIREABLE(End_23) OR FIREABLE(End_22) OR FIREABLE(End_21) OR FIREABLE(End_20) OR FIREABLE(End_27) OR FIREABLE(End_26) OR FIREABLE(End_25) OR FIREABLE(End_24) OR FIREABLE(End_31) OR FIREABLE(End_30) OR FIREABLE(End_29) OR FIREABLE(End_28) OR FIREABLE(End_35) OR FIREABLE(End_34) OR FIREABLE(End_33) OR FIREABLE(End_32... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((FIREABLE(End_2) OR FIREABLE(End_3) OR FIREABLE(End_1) OR FIREABLE(End_23) OR FIREABLE(End_22) OR FIREABLE(End_21) OR FIREABLE(End_20) OR FIREABLE(End_27) OR FIREABLE(End_26) OR FIREABLE(End_25) OR FIREABLE(End_24) OR FIREABLE(End_31) OR FIREABLE(End_30) OR FIREABLE(End_29) OR FIREABLE(End_28) OR FIREABLE(End_35) OR FIREABLE(End_34) OR FIREABLE(End_33) OR FIREABLE(End_32... (shortened)
lola: processed formula length: 1050
lola: 29 rewrites
lola: closed formula file LTLFireability.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown no yes no no no no unknown no no no yes no no yes no
lola:
preliminary result: unknown no yes no no no no unknown no no no yes no no yes no
lola: memory consumption: 16344 KB
lola: time consumption: 3574 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLFireability.json
lola: closed JSON file LTLFireability.json
rslt: finished

BK_STOP 1554424904902

--------------------
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="Philosophers-PT-000050"
export BK_EXAMINATION="LTLFireability"
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 Philosophers-PT-000050, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r104-oct2-155272226500817"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/Philosophers-PT-000050.tgz
mv Philosophers-PT-000050 execution
cd execution
if [ "LTLFireability" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "LTLFireability" = "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 [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;