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-155272226500816.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 LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r104-oct2-155272226500816
=====================================================================

--------------------
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-LTLCardinality-00
FORMULA_NAME Philosophers-PT-000050-LTLCardinality-01
FORMULA_NAME Philosophers-PT-000050-LTLCardinality-02
FORMULA_NAME Philosophers-PT-000050-LTLCardinality-03
FORMULA_NAME Philosophers-PT-000050-LTLCardinality-04
FORMULA_NAME Philosophers-PT-000050-LTLCardinality-05
FORMULA_NAME Philosophers-PT-000050-LTLCardinality-06
FORMULA_NAME Philosophers-PT-000050-LTLCardinality-07
FORMULA_NAME Philosophers-PT-000050-LTLCardinality-08
FORMULA_NAME Philosophers-PT-000050-LTLCardinality-09
FORMULA_NAME Philosophers-PT-000050-LTLCardinality-10
FORMULA_NAME Philosophers-PT-000050-LTLCardinality-11
FORMULA_NAME Philosophers-PT-000050-LTLCardinality-12
FORMULA_NAME Philosophers-PT-000050-LTLCardinality-13
FORMULA_NAME Philosophers-PT-000050-LTLCardinality-14
FORMULA_NAME Philosophers-PT-000050-LTLCardinality-15

=== Now, execution of the tool begins

BK_START 1554419719690

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

FORMULA Philosophers-PT-000050-LTLCardinality-11 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

FORMULA Philosophers-PT-000050-LTLCardinality-14 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

FORMULA Philosophers-PT-000050-LTLCardinality-07 FALSE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

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

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

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

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

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

FORMULA Philosophers-PT-000050-LTLCardinality-00 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT

FORMULA Philosophers-PT-000050-LTLCardinality-08 CANNOT_COMPUTE TECHNIQUES COLLATERAL_PROCESSING EXPLICIT TOPOLOGICAL STATE_COMPRESSION STUBBORN_SETS USE_NUPN UNFOLDING_TO_PT
vrfy: finished
info: timeLeft: -24
rslt: Output for LTLCardinality @ 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=LTLCardinality.xml",
"--mcc",
"--donotcomputecapacities",
"--encoder=simplecompressed",
"--safe",
"--check=modelchecking",
"--stubborn=deletion",
"--stateequation=par",
"--timelimit=3570",
"--localtimelimit=0",
"--preference=force_ltl",
"--json=LTLCardinality.json",
"--jsoninclude=formula,formulastat,net"
],
"starttime": "Thu Apr 4 23:15:19 2019
",
"timelimit": 3570
},
"child":
[

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 222
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "(Think_19 <= Catch1_16)",
"processed_size": 23,
"rewrites": 21
},
"result":
{
"edges": 0,
"markings": 0,
"produced_by": "preprocessing",
"value": false
},
"task":
{
"compoundnumber": 0,
"type": "initial_satisfaction",
"workflow": "preprocessing"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 237
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 50,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 50,
"visible_transitions": 0
},
"processed": "A (X (X (G ((1 <= Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_10 + Fork_11 + Fork_12 + Fork_13 + Fork_14 + Fork_15 + Fork_16 + Fork_17 + Fork_18 + Fork_19 + Fork_20 + Fork_21 + Fork_22 + Fork_23 + Fork_24 + Fork_25 + Fork_26 + Fork_27 + Fork_28 + Fork_29 + Fork_30 + Fork_31 + Fork_32 + Fork_33 + Fork_34 + Fork_35 + Fork_36 + Fork_37 + Fork_38 + Fork_39 + Fork_40 + Fork_41 + Fork_42 + Fork_43 + Fork_44 + Fork_45 + Fork_46 + Fork_47 + Fork_48 + Fork_49 + Fork_50)))))",
"processed_size": 511,
"rewrites": 21
},
"result":
{
"edges": 52,
"markings": 52,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 4
},
"compoundnumber": 1,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "no (formula contains X operator)"
},
"type": "product automaton/dfs"
},
"type": "LTL",
"workflow": "product automaton"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 254
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (X (F ((Think_11 <= Think_50)))))",
"processed_size": 38,
"rewrites": 21
},
"result":
{
"edges": 63,
"markings": 63,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 2,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (X (F ((Fork_21 <= Fork_49)))))",
"processed_size": 36,
"rewrites": 21
},
"result":
{
"edges": 74,
"markings": 74,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 3
},
"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": 294
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 0,
"U": 0,
"X": 1,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (X (F ((Fork_20 <= Eat_29))))",
"processed_size": 31,
"rewrites": 21
},
"result":
{
"edges": 73,
"markings": 73,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"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": 324
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G ((Fork_6 <= Fork_23)))",
"processed_size": 27,
"rewrites": 23
},
"result":
{
"edges": 1,
"markings": 2,
"produced_by": "state space",
"value": false
},
"task":
{
"compoundnumber": 6,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion"
},
"threads": 1,
"type": "dfs"
},
"stateequation":
{
"literals": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 360
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 0,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 100,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 100,
"visible_transitions": 0
},
"processed": "A (G ((Catch1_1 + Catch1_2 + Catch1_3 + Catch1_4 + Catch1_5 + Catch1_6 + Catch1_7 + Catch1_8 + Catch1_9 + Catch1_10 + Catch1_11 + Catch1_12 + Catch1_13 + Catch1_14 + Catch1_15 + Catch1_16 + Catch1_17 + Catch1_18 + Catch1_19 + Catch1_20 + Catch1_21 + Catch1_22 + Catch1_23 + Catch1_24 + Catch1_25 + Catch1_26 + Catch1_27 + Catch1_28 + Catch1_29 + Catch1_30 + Catch1_31 + Catch1_32 + Catch1_33 + Catch1_34 + Catch1_35 + Catch1_36 + Catch1_37 + Catch1_38 + Catch1_39 + Catch1_40 + Catch1_41 + Catch1_42 + Catch1_43 + Catch1_44 + Catch1_45 + Catch1_46 + Catch1_47 + Catch1_48 + Catch1_49 + Catch1_50 <= Think_1 + Think_9 + Think_8 + Think_7 + Think_6 + Think_5 + Think_4 + Think_3 + Think_2 + Think_10 + Think_11 + Think_12 + Think_13 + Think_14 + Think_15 + Think_16 + Think_17 + Think_18 + Think_19 + Think_20 + Think_21 + Think_22 + Think_23 + Think_24 + Think_25 + Think_26 + Think_27 + Think_28 + Think_29 + Think_30 + Think_31 + Think_32 + Think_33 + Think_34 + Think_35 + Think_36 + Think_37 + Think_38 + Think_39 + Think_40 + Think_41 + Think_42 + Think_43 + Think_44 + Think_45 + Think_46 + Think_47 + Think_48 + Think_49 + Think_50)))",
"processed_size": 1140,
"rewrites": 23
},
"result":
{
"edges": 26,
"markings": 27,
"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": 1,
"problems": 1
},
"type": "invariance",
"workflow": "stateequation||search"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 405
},
"formula":
{
"count":
{
"A": 0,
"E": 0,
"F": 0,
"G": 0,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 1,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 100,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 100,
"visible_transitions": 0
},
"processed": "(Catch2_1 + Catch2_2 + Catch2_3 + Catch2_4 + Catch2_5 + Catch2_6 + Catch2_7 + Catch2_8 + Catch2_9 + Catch2_10 + Catch2_11 + Catch2_12 + Catch2_13 + Catch2_14 + Catch2_15 + Catch2_16 + Catch2_17 + Catch2_18 + Catch2_19 + Catch2_20 + Catch2_21 + Catch2_22 + Catch2_23 + Catch2_24 + Catch2_25 + Catch2_26 + Catch2_27 + Catch2_28 + Catch2_29 + Catch2_30 + Catch2_31 + Catch2_32 + Catch2_33 + Catch2_34 + Catch2_35 + Catch2_36 + Catch2_37 + Catch2_38 + Catch2_39 + Catch2_40 + Catch2_41 + Catch2_42 + Catch2_43 + Catch2_44 + Catch2_45 + Catch2_46 + Catch2_47 + Catch2_48 + Catch2_49 + Catch2_50 + 1 <= Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_10 + Fork_11 + Fork_12 + Fork_13 + Fork_14 + Fork_15 + Fork_16 + Fork_17 + Fork_18 + Fork_19 + Fork_20 + Fork_21 + Fork_22 + Fork_23 + Fork_24 + Fork_25 + Fork_26 + Fork_27 + Fork_28 + Fork_29 + Fork_30 + Fork_31 + Fork_32 + Fork_33 + Fork_34 + Fork_35 + Fork_36 + Fork_37 + Fork_38 + Fork_39 + Fork_40 + Fork_41 + Fork_42 + Fork_43 + Fork_44 + Fork_45 + Fork_46 + Fork_47 + Fork_48 + Fork_49 + Fork_50)",
"processed_size": 1086,
"rewrites": 23
},
"result":
{
"edges": 28,
"markings": 28,
"produced_by": "state space / EG",
"value": false
},
"task":
{
"compoundnumber": 8,
"search":
{
"store":
{
"encoder": "simple compression",
"type": "prefix"
},
"stubborn":
{
"type": "reachability preserving/insertion",
"visible": 250
},
"threads": 1,
"type": "dfs"
},
"type": "eventual_occurrence"
}
},

{
"call":
{
"dynamic_timelimit": true,
"localtimelimit": 465
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 2,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 2,
"visible_transitions": 0
},
"processed": "A (G (F ((Catch1_12 <= Fork_32))))",
"processed_size": 34,
"rewrites": 21
},
"result":
{
"edges": 33880,
"markings": 21429,
"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": 582
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 50,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 50,
"visible_transitions": 0
},
"processed": "A (F (G ((3 <= Eat_50 + Eat_49 + Eat_48 + Eat_47 + Eat_46 + Eat_45 + Eat_44 + Eat_43 + Eat_42 + Eat_41 + Eat_40 + Eat_39 + Eat_38 + Eat_37 + Eat_36 + Eat_35 + Eat_34 + Eat_33 + Eat_11 + Eat_12 + Eat_13 + Eat_14 + Eat_15 + Eat_16 + Eat_17 + Eat_18 + Eat_19 + Eat_20 + Eat_21 + Eat_22 + Eat_23 + Eat_24 + Eat_25 + Eat_26 + Eat_27 + Eat_28 + Eat_29 + Eat_30 + Eat_31 + Eat_32 + Eat_10 + Eat_9 + Eat_8 + Eat_7 + Eat_6 + Eat_5 + Eat_4 + Eat_3 + Eat_2 + Eat_1))))",
"processed_size": 457,
"rewrites": 21
},
"result":
{
"edges": 53,
"markings": 52,
"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": 776
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 1,
"G": 1,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 1,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 50,
"taut": 0,
"tconj": 0,
"tdisj": 0,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 50,
"visible_transitions": 0
},
"processed": "A (F (G ((2 <= Catch1_1 + Catch1_2 + Catch1_3 + Catch1_4 + Catch1_5 + Catch1_6 + Catch1_7 + Catch1_8 + Catch1_9 + Catch1_10 + Catch1_11 + Catch1_12 + Catch1_13 + Catch1_14 + Catch1_15 + Catch1_16 + Catch1_17 + Catch1_18 + Catch1_19 + Catch1_20 + Catch1_21 + Catch1_22 + Catch1_23 + Catch1_24 + Catch1_25 + Catch1_26 + Catch1_27 + Catch1_28 + Catch1_29 + Catch1_30 + Catch1_31 + Catch1_32 + Catch1_33 + Catch1_34 + Catch1_35 + Catch1_36 + Catch1_37 + Catch1_38 + Catch1_39 + Catch1_40 + Catch1_41 + Catch1_42 + Catch1_43 + Catch1_44 + Catch1_45 + Catch1_46 + Catch1_47 + Catch1_48 + Catch1_49 + Catch1_50))))",
"processed_size": 607,
"rewrites": 21
},
"result":
{
"edges": 53,
"markings": 52,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 2
},
"compoundnumber": 13,
"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": 1493
},
"exit":
{
"localtimelimitreached": false
},
"formula":
{
"count":
{
"A": 1,
"E": 0,
"F": 2,
"G": 3,
"U": 0,
"X": 0,
"aconj": 0,
"adisj": 0,
"aneg": 0,
"comp": 3,
"cont": 0,
"dl": 0,
"fir": 0,
"nodl": 0,
"place_references": 300,
"taut": 0,
"tconj": 1,
"tdisj": 1,
"tneg": 0,
"transition_references": 0,
"unfir": 0,
"visible_places": 200,
"visible_transitions": 0
},
"processed": "A ((F (G ((Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_10 + Fork_11 + Fork_12 + Fork_13 + Fork_14 + Fork_15 + Fork_16 + Fork_17 + Fork_18 + Fork_19 + Fork_20 + Fork_21 + Fork_22 + Fork_23 + Fork_24 + Fork_25 + Fork_26 + Fork_27 + Fork_28 + Fork_29 + Fork_30 + Fork_31 + Fork_32 + Fork_33 + Fork_34 + Fork_35 + Fork_36 + Fork_37 + Fork_38 + Fork_39 + Fork_40 + Fork_41 + Fork_42 + Fork_43 + Fork_44 + Fork_45 + Fork_46 + Fork_47 + Fork_48 + Fork_49 + Fork_50 <= Catch1_1 + Catch1_2 + Catch1_3 + Catch1_4 + Catch1_5 + Catch1_6 + Catch1_7 + Catch1_8 + Catch1_9 + Catch1_10 + Catch1_11 + Catch1_12 + Catch1_13 + Catch1_14 + Catch1_15 + Catch1_16 + Catch1_17 + Catch1_18 + Catch1_19 + Catch1_20 + Catch1_21 + Catch1_22 + Catch1_23 + Catch1_24 + Catch1_25 + Catch1_26 + Catch1_27 + Catch1_28 + Catch1_29 + Catch1_30 + Catch1_31 + Catch1_32 + Catch1_33 + Catch1_34 + Catch1_35 + Catch1_36 + Catch1_37 + Catch1_38 + Catch1_39 + Catch1_40 + Catch1_41 + Catch1_42 + Catch1_43 + Catch1_44 + Catch1_45 + Catch1_46 + Catch1_47 + Catch1_48 + Catch1_49 + Catch1_50))) OR (G ((Catch2_1 + Catch2_2 + Catch2_3 + Catch2_4 + Catch2_5 + Catch2_6 + Catch2_7 + Catch2_8 + Catch2_9 + Catch2_10 + Catch2_11 + Catch2_12 + Catch2_13 + Catch2_14 + Catch2_15 + Catch2_16 + Catch2_17 + Catch2_18 + Catch2_19 + Catch2_20 + Catch2_21 + Catch2_22 + Catch2_23 + Catch2_24 + Catch2_25 + Catch2_26 + Catch2_27 + Catch2_28 + Catch2_29 + Catch2_30 + Catch2_31 + Catch2_32 + Catch2_33 + Catch2_34 + Catch2_35 + Catch2_36 + Catch2_37 + Catch2_38 + Catch2_39 + Catch2_40 + Catch2_41 + Catch2_42 + Catch2_43 + Catch2_44 + Catch2_45 + Catch2_46 + Catch2_47 + Catch2_48 + Catch2_49 + Catch2_50 <= Think_1 + Think_9 + Think_8 + Think_7 + Think_6 + Think_5 + Think_4 + Think_3 + Think_2 + Think_10 + Think_11 + Think_12 + Think_13 + Think_14 + Think_15 + Think_16 + Think_17 + Think_18 + Think_19 + Think_20 + Think_21 + Think_22 + Think_23 + Think_24 + Think_25 + Think_26 + Think_27 + Think_28 + Think_29 + Think_30 + Think_31 + Think_32 + Think_33 + Think_34 + Think_35 + Think_36 + Think_37 + Think_38 + Think_39 + Think_40 + Think_41 + Think_42 + Think_43 + Think_44 + Think_45 + Think_46 + Think_47 + Think_48 + Think_49 + Think_50)) AND F (G ((Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_10 + Fork_11 + Fork_12 + Fork_13 + Fork_14 + Fork_15 + Fork_16 + Fork_17 + Fork_18 + Fork_19 + Fork_20 + Fork_21 + Fork_22 + Fork_23 + Fork_24 + Fork_25 + Fork_26 + Fork_27 + Fork_28 + Fork_29 + Fork_30 + Fork_31 + Fork_32 + Fork_33 + Fork_34 + Fork_35 + Fork_36 + Fork_37 + Fork_38 + Fork_39 + Fork_40 + Fork_41 + Fork_42 + Fork_43 + Fork_44 + Fork_45 + Fork_46 + Fork_47 + Fork_48 + Fork_49 + Fork_50 <= Catch1_1 + Catch1_2 + Catch1_3 + Catch1_4 + Catch1_5 + Catch1_6 + Catch1_7 + Catch1_8 + Catch1_9 + Catch1_10 + Catch1_11 + Catch1_12 + Catch1_13 + Catch1_14 + Catch1_15 + Catch1_16 + Catch1_17 + Catch1_18 + Catch1_19 + Catch1_20 + Catch1_21 + Catch1_22 + Catch1_23 + Catch1_24 + Catch1_25 + Catch1_26 + Catch1_27 + Catch1_28 + Catch1_29 + Catch1_30 + Catch1_31 + Catch1_32 + Catch1_33 + Catch1_34 + Catch1_35 + Catch1_36 + Catch1_37 + Catch1_38 + Catch1_39 + Catch1_40 + Catch1_41 + Catch1_42 + Catch1_43 + Catch1_44 + Catch1_45 + Catch1_46 + Catch1_47 + Catch1_48 + Catch1_49 + Catch1_50))))))",
"processed_size": 3333,
"rewrites": 21
},
"result":
{
"edges": 65,
"markings": 58,
"produced_by": "LTL model checker",
"value": false
},
"task":
{
"buchi":
{
"states": 7
},
"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": 20272,
"runtime": 3571.000000,
"signal": "User defined signal 2",
"timelimitreached": true
},
"files":
{
"JSON": "LTLCardinality.json",
"formula": "LTLCardinality.xml",
"net": "model.pnml"
},
"formula":
{
"skeleton": "A(X(X(X(G(**))))) : A(F(**)) : A(F(G(**))) : A(F(G(**))) : A(F(G(**))) : A(X(X(G(**)))) : A((F(G(**)) OR (G(**) AND F(G(**))))) : A(G(**)) : A(G(F(**))) : A(X(X(F(**)))) : A(X(X(F(**)))) : ** : A(F(G(**))) : A(G(**)) : A(X(F(**))) : A(G(F(**)))"
},
"net":
{
"arcs": 800,
"conflict_clusters": 51,
"places": 250,
"places_significant": 150,
"singleton_clusters": 0,
"transitions": 250
},
"result":
{
"interim_value": "unknown no unknown no no no no no unknown no no no unknown no no no ",
"preliminary_value": "unknown no unknown no no no no no unknown no no no unknown no no no "
},
"task":
{
"type": "compound"
}
}
lola: LoLA will run for 3570 seconds at most (--timelimit)
lola: NET
lola: input: PNML file (--pnml)
lola: reading net from model.pnml
lola: reading pnml
lola: PNML file contains place/transition net
lola: finished parsing
lola: closed net file model.pnml
lola: 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 LTLCardinality.xml
lola: A (X (X (G (X ((1 <= Catch2_1 + Catch2_2 + Catch2_3 + Catch2_4 + Catch2_5 + Catch2_6 + Catch2_7 + Catch2_8 + Catch2_9 + Catch2_10 + Catch2_11 + Catch2_12 + Catch2_13 + Catch2_14 + Catch2_15 + Catch2_16 + Catch2_17 + Catch2_18 + Catch2_19 + Catch2_20 + Catch2_21 + Catch2_22 + Catch2_23 + Catch2_24 + Catch2_25 + Catch2_26 + Catch2_27 + Catch2_28 + Catch2_29 + Catch2_30 + Catch2_31 + Catch2_32 + Catch2_33 + Catch2_34 + Catch2_35 + Catch2_36 + Catch2_37 + Catch2_38 + Catch2_39 + Catch2_40 + Catch2_41 + Catch2_42 + Catch2_43 + Catch2_44 + Catch2_45 + Catch2_46 + Catch2_47 + Catch2_48 + Catch2_49 + Catch2_50)))))) : A (F ((Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_10 + Fork_11 + Fork_12 + Fork_13 + Fork_14 + Fork_15 + Fork_16 + Fork_17 + Fork_18 + Fork_19 + Fork_20 + Fork_21 + Fork_22 + Fork_23 + Fork_24 + Fork_25 + Fork_26 + Fork_27 + Fork_28 + Fork_29 + Fork_30 + Fork_31 + Fork_32 + Fork_33 + Fork_34 + Fork_35 + Fork_36 + Fork_37 + Fork_38 + Fork_39 + Fork_40 + Fork_41 + Fork_42 + Fork_43 + Fork_44 + Fork_45 + Fork_46 + Fork_47 + Fork_48 + Fork_49 + Fork_50 <= Catch2_1 + Catch2_2 + Catch2_3 + Catch2_4 + Catch2_5 + Catch2_6 + Catch2_7 + Catch2_8 + Catch2_9 + Catch2_10 + Catch2_11 + Catch2_12 + Catch2_13 + Catch2_14 + Catch2_15 + Catch2_16 + Catch2_17 + Catch2_18 + Catch2_19 + Catch2_20 + Catch2_21 + Catch2_22 + Catch2_23 + Catch2_24 + Catch2_25 + Catch2_26 + Catch2_27 + Catch2_28 + Catch2_29 + Catch2_30 + Catch2_31 + Catch2_32 + Catch2_33 + Catch2_34 + Catch2_35 + Catch2_36 + Catch2_37 + Catch2_38 + Catch2_39 + Catch2_40 + Catch2_41 + Catch2_42 + Catch2_43 + Catch2_44 + Catch2_45 + Catch2_46 + Catch2_47 + Catch2_48 + Catch2_49 + Catch2_50))) : A (F (G (G (G ((3 <= Catch2_1 + Catch2_2 + Catch2_3 + Catch2_4 + Catch2_5 + Catch2_6 + Catch2_7 + Catch2_8 + Catch2_9 + Catch2_10 + Catch2_11 + Catch2_12 + Catch2_13 + Catch2_14 + Catch2_15 + Catch2_16 + Catch2_17 + Catch2_18 + Catch2_19 + Catch2_20 + Catch2_21 + Catch2_22 + Catch2_23 + Catch2_24 + Catch2_25 + Catch2_26 + Catch2_27 + Catch2_28 + Catch2_29 + Catch2_30 + Catch2_31 + Catch2_32 + Catch2_33 + Catch2_34 + Catch2_35 + Catch2_36 + Catch2_37 + Catch2_38 + Catch2_39 + Catch2_40 + Catch2_41 + Catch2_42 + Catch2_43 + Catch2_44 + Catch2_45 + Catch2_46 + Catch2_47 + Catch2_48 + Catch2_49 + Catch2_50)))))) : A (F (G (X ((3 <= Eat_50 + Eat_49 + Eat_48 + Eat_47 + Eat_46 + Eat_45 + Eat_44 + Eat_43 + Eat_42 + Eat_41 + Eat_40 + Eat_39 + Eat_38 + Eat_37 + Eat_36 + Eat_35 + Eat_34 + Eat_33 + Eat_11 + Eat_12 + Eat_13 + Eat_14 + Eat_15 + Eat_16 + Eat_17 + Eat_18 + Eat_19 + Eat_20 + Eat_21 + Eat_22 + Eat_23 + Eat_24 + Eat_25 + Eat_26 + Eat_27 + Eat_28 + Eat_29 + Eat_30 + Eat_31 + Eat_32 + Eat_10 + Eat_9 + Eat_8 + Eat_7 + Eat_6 + Eat_5 + Eat_4 + Eat_3 + Eat_2 + Eat_1))))) : A (F (X (F (G ((2 <= Catch1_1 + Catch1_2 + Catch1_3 + Catch1_4 + Catch1_5 + Catch1_6 + Catch1_7 + Catch1_8 + Catch1_9 + Catch1_10 + Catch1_11 + Catch1_12 + Catch1_13 + Catch1_14 + Catch1_15 + Catch1_16 + Catch1_17 + Catch1_18 + Catch1_19 + Catch1_20 + Catch1_21 + Catch1_22 + Catch1_23 + Catch1_24 + Catch1_25 + Catch1_26 + Catch1_27 + Catch1_28 + Catch1_29 + Catch1_30 + Catch1_31 + Catch1_32 + Catch1_33 + Catch1_34 + Catch1_35 + Catch1_36 + Catch1_37 + Catch1_38 + Catch1_39 + Catch1_40 + Catch1_41 + Catch1_42 + Catch1_43 + Catch1_44 + Catch1_45 + Catch1_46 + Catch1_47 + Catch1_48 + Catch1_49 + Catch1_50)))))) : A (X (G (X ((1 <= Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_10 + Fork_11 + Fork_12 + Fork_13 + Fork_14 + Fork_15 + Fork_16 + Fork_17 + Fork_18 + Fork_19 + Fork_20 + Fork_21 + Fork_22 + Fork_23 + Fork_24 + Fork_25 + Fork_26 + Fork_27 + Fork_28 + Fork_29 + Fork_30 + Fork_31 + Fork_32 + Fork_33 + Fork_34 + Fork_35 + Fork_36 + Fork_37 + Fork_38 + Fork_39 + Fork_40 + Fork_41 + Fork_42 + Fork_43 + Fork_44 + Fork_45 + Fork_46 + Fork_47 + Fork_48 + Fork_49 + Fork_50))))) : A ((G (G ((Catch2_1 + Catch2_2 + Catch2_3 + Catch2_4 + Catch2_5 + Catch2_6 + Catch2_7 + Catch2_8 + Catch2_9 + Catch2_10 + Catch2_11 + Catch2_12 + Catch2_13 + Catch2_14 + Catch2_15 + Catch2_16 + Catch2_17 + Catch2_18 + Catch2_19 + Catch2_20 + Catch2_21 + Catch2_22 + Catch2_23 + Catch2_24 + Catch2_25 + Catch2_26 + Catch2_27 + Catch2_28 + Catch2_29 + Catch2_30 + Catch2_31 + Catch2_32 + Catch2_33 + Catch2_34 + Catch2_35 + Catch2_36 + Catch2_37 + Catch2_38 + Catch2_39 + Catch2_40 + Catch2_41 + Catch2_42 + Catch2_43 + Catch2_44 + Catch2_45 + Catch2_46 + Catch2_47 + Catch2_48 + Catch2_49 + Catch2_50 <= Think_1 + Think_9 + Think_8 + Think_7 + Think_6 + Think_5 + Think_4 + Think_3 + Think_2 + Think_10 + Think_11 + Think_12 + Think_13 + Think_14 + Think_15 + Think_16 + Think_17 + Think_18 + Think_19 + Think_20 + Think_21 + Think_22 + Think_23 + Think_24 + Think_25 + Think_26 + Think_27 + Think_28 + Think_29 + Think_30 + Think_31 + Think_32 + Think_33 + Think_34 + Think_35 + Think_36 + Think_37 + Think_38 + Think_39 + Think_40 + Think_41 + Think_42 + Think_43 + Think_44 + Think_45 + Think_46 + Think_47 + Think_48 + Think_49 + Think_50))) U F (G ((Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_10 + Fork_11 + Fork_12 + Fork_13 + Fork_14 + Fork_15 + Fork_16 + Fork_17 + Fork_18 + Fork_19 + Fork_20 + Fork_21 + Fork_22 + Fork_23 + Fork_24 + Fork_25 + Fork_26 + Fork_27 + Fork_28 + Fork_29 + Fork_30 + Fork_31 + Fork_32 + Fork_33 + Fork_34 + Fork_35 + Fork_36 + Fork_37 + Fork_38 + Fork_39 + Fork_40 + Fork_41 + Fork_42 + Fork_43 + Fork_44 + Fork_45 + Fork_46 + Fork_47 + Fork_48 + Fork_49 + Fork_50 <= Catch1_1 + Catch1_2 + Catch1_3 + Catch1_4 + Catch1_5 + Catch1_6 + Catch1_7 + Catch1_8 + Catch1_9 + Catch1_10 + Catch1_11 + Catch1_12 + Catch1_13 + Catch1_14 + Catch1_15 + Catch1_16 + Catch1_17 + Catch1_18 + Catch1_19 + Catch1_20 + Catch1_21 + Catch1_22 + Catch1_23 + Catch1_24 + Catch1_25 + Catch1_26 + Catch1_27 + Catch1_28 + Catch1_29 + Catch1_30 + Catch1_31 + Catch1_32 + Catch1_33 + Catch1_34 + Catch1_35 + Catch1_36 + Catch1_37 + Catch1_38 + Catch1_39 + Catch1_40 + Catch1_41 + Catch1_42 + Catch1_43 + Catch1_44 + Catch1_45 + Catch1_46 + Catch1_47 + Catch1_48 + Catch1_49 + Catch1_50))))) : A (G ((Catch1_1 + Catch1_2 + Catch1_3 + Catch1_4 + Catch1_5 + Catch1_6 + Catch1_7 + Catch1_8 + Catch1_9 + Catch1_10 + Catch1_11 + Catch1_12 + Catch1_13 + Catch1_14 + Catch1_15 + Catch1_16 + Catch1_17 + Catch1_18 + Catch1_19 + Catch1_20 + Catch1_21 + Catch1_22 + Catch1_23 + Catch1_24 + Catch1_25 + Catch1_26 + Catch1_27 + Catch1_28 + Catch1_29 + Catch1_30 + Catch1_31 + Catch1_32 + Catch1_33 + Catch1_34 + Catch1_35 + Catch1_36 + Catch1_37 + Catch1_38 + Catch1_39 + Catch1_40 + Catch1_41 + Catch1_42 + Catch1_43 + Catch1_44 + Catch1_45 + Catch1_46 + Catch1_47 + Catch1_48 + Catch1_49 + Catch1_50 <= Think_1 + Think_9 + Think_8 + Think_7 + Think_6 + Think_5 + Think_4 + Think_3 + Think_2 + Think_10 + Think_11 + Think_12 + Think_13 + Think_14 + Think_15 + Think_16 + Think_17 + Think_18 + Think_19 + Think_20 + Think_21 + Think_22 + Think_23 + Think_24 + Think_25 + Think_26 + Think_27 + Think_28 + Think_29 + Think_30 + Think_31 + Think_32 + Think_33 + Think_34 + Think_35 + Think_36 + Think_37 + Think_38 + Think_39 + Think_40 + Think_41 + Think_42 + Think_43 + Think_44 + Think_45 + Think_46 + Think_47 + Think_48 + Think_49 + Think_50))) : A (X (G (F (F ((Catch1_27 <= Think_13)))))) : A (X (X (F (F ((Think_11 <= Think_50)))))) : A (X (X (F (F ((Fork_21 <= Fork_49)))))) : A ((Think_19 <= Catch1_16)) : A (F ((X ((Catch1_45 <= Eat_1)) U G ((Catch1_27 <= Think_24))))) : A (G ((Fork_6 <= Fork_23))) : A (X ((F ((Catch1_37 <= Fork_24)) U F ((Fork_20 <= Eat_29))))) : A (G (G (F (F ((Catch1_12 <= Fork_32))))))
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:356
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:380
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:353
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: rewrite Frontend/Parser/formula_rewrite.k:431
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:347
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:151
lola: rewrite Frontend/Parser/formula_rewrite.k:434
lola: rewrite Frontend/Parser/formula_rewrite.k:422
lola: rewrite Frontend/Parser/formula_rewrite.k:347
lola: rewrite Frontend/Parser/formula_rewrite.k:350
lola: computing a collection of formulas
lola: RUNNING
lola: subprocess 0 will run for 222 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: (Think_19 <= Catch1_16)
lola: ========================================
lola: SUBTASK
lola: checking initial satisfaction
lola: processed formula: (Think_19 <= Catch1_16)
lola: processed formula length: 23
lola: 21 rewrites
lola: closed formula file LTLCardinality.xml
lola: processed formula with 1 atomic propositions
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: preprocessing
lola: The net violates the given property already in its initial state.
lola: 0 markings, 0 edges
lola: ========================================
lola: subprocess 1 will run for 237 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (G ((1 <= Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_10 + Fork_11 + Fork_12 + Fork_13 + Fork_14 + Fork_15 + Fork_16 + Fork_17 + Fork_18 + Fork_19 + Fork_20 + Fork_21 + Fork_22 + Fork_23 + Fork_24 + Fork_25 + Fork_26 + Fork_27 + Fork_28 + Fork_29 + Fork_30 + Fork_31 + Fork_32 + Fork_33 + Fork_34 + Fork_35 + Fork_36 + Fork_37 + Fork_38 + Fork_39 + F... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (G ((1 <= Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_10 + Fork_11 + Fork_12 + Fork_13 + Fork_14 + Fork_15 + Fork_16 + Fork_17 + Fork_18 + Fork_19 + Fork_20 + Fork_21 + Fork_22 + Fork_23 + Fork_24 + Fork_25 + Fork_26 + Fork_27 + Fork_28 + Fork_29 + Fork_30 + Fork_31 + Fork_32 + Fork_33 + Fork_34 + Fork_35 + Fork_36 + Fork_37 + Fork_38 + Fork_39 + F... (shortened)
lola: processed formula length: 511
lola: 21 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 4 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 52 markings, 52 edges
lola: ========================================
lola: subprocess 2 will run for 254 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((Think_11 <= Think_50)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((Think_11 <= Think_50)))))
lola: processed formula length: 38
lola: 21 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 63 markings, 63 edges
lola: ========================================
lola: subprocess 3 will run for 274 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (F ((Fork_21 <= Fork_49)))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (F ((Fork_21 <= Fork_49)))))
lola: processed formula length: 36
lola: 21 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 3 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 74 markings, 74 edges
lola: subprocess 4 will run for 297 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (X (X (G ((1 <= Catch2_1 + Catch2_2 + Catch2_3 + Catch2_4 + Catch2_5 + Catch2_6 + Catch2_7 + Catch2_8 + Catch2_9 + Catch2_10 + Catch2_11 + Catch2_12 + Catch2_13 + Catch2_14 + Catch2_15 + Catch2_16 + Catch2_17 + Catch2_18 + Catch2_19 + Catch2_20 + Catch2_21 + Catch2_22 + Catch2_23 + Catch2_24 + Catch2_25 + Catch2_26 + Catch2_27 + Catch2_28 + Catch2_29 + Catch2_30 + Catch2_31 + Catch2_32 + Catc... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (G ((1 <= Catch2_1 + Catch2_2 + Catch2_3 + Catch2_4 + Catch2_5 + Catch2_6 + Catch2_7 + Catch2_8 + Catch2_9 + Catch2_10 + Catch2_11 + Catch2_12 + Catch2_13 + Catch2_14 + Catch2_15 + Catch2_16 + Catch2_17 + Catch2_18 + Catch2_19 + Catch2_20 + Catch2_21 + Catch2_22 + Catch2_23 + Catch2_24 + Catch2_25 + Catch2_26 + Catch2_27 + Catch2_28 + Catch2_29 + Catch2_30 + Catch2_31 + Catch2_32 + Catc... (shortened)
lola: processed formula length: 615
lola: 21 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: ========================================
lola: 942316 markings, 2916830 edges, 188463 markings/sec, 0 secs
lola: 1634424 markings, 5282001 edges, 138422 markings/sec, 5 secs
lola: 2251293 markings, 7435487 edges, 123374 markings/sec, 10 secs
lola: 2831937 markings, 9499011 edges, 116129 markings/sec, 15 secs
lola: 3403225 markings, 11550990 edges, 114258 markings/sec, 20 secs
lola: 3953377 markings, 13513266 edges, 110030 markings/sec, 25 secs
lola: 4506778 markings, 15537488 edges, 110680 markings/sec, 30 secs
lola: 5003851 markings, 17362537 edges, 99415 markings/sec, 35 secs
lola: 5489874 markings, 19147976 edges, 97205 markings/sec, 40 secs
lola: 5960453 markings, 20896488 edges, 94116 markings/sec, 45 secs
lola: 6412719 markings, 22587803 edges, 90453 markings/sec, 50 secs
lola: 6881152 markings, 24336588 edges, 93687 markings/sec, 55 secs
lola: 7347808 markings, 26078759 edges, 93331 markings/sec, 60 secs
lola: 7847690 markings, 27949497 edges, 99976 markings/sec, 65 secs
lola: 8371422 markings, 29930020 edges, 104746 markings/sec, 70 secs
lola: 8892943 markings, 31894403 edges, 104304 markings/sec, 75 secs
lola: 9407608 markings, 33837651 edges, 102933 markings/sec, 80 secs
lola: 9933961 markings, 35824047 edges, 105271 markings/sec, 85 secs
lola: 10448878 markings, 37772895 edges, 102983 markings/sec, 90 secs
lola: 10950080 markings, 39686586 edges, 100240 markings/sec, 95 secs
lola: 11449645 markings, 41613140 edges, 99913 markings/sec, 100 secs
lola: 11952809 markings, 43549223 edges, 100633 markings/sec, 105 secs
lola: 12439994 markings, 45428394 edges, 97437 markings/sec, 110 secs
lola: 12930679 markings, 47345283 edges, 98137 markings/sec, 115 secs
lola: 13431468 markings, 49280004 edges, 100158 markings/sec, 120 secs
lola: 13939461 markings, 51257486 edges, 101599 markings/sec, 125 secs
lola: 14485161 markings, 53398251 edges, 109140 markings/sec, 130 secs
lola: 15030898 markings, 55565016 edges, 109147 markings/sec, 135 secs
lola: 15572935 markings, 57691842 edges, 108407 markings/sec, 140 secs
lola: 16106232 markings, 59823395 edges, 106659 markings/sec, 145 secs
lola: 16639619 markings, 61932197 edges, 106677 markings/sec, 150 secs
lola: 17173497 markings, 64055616 edges, 106776 markings/sec, 155 secs
lola: 17724934 markings, 66254121 edges, 110287 markings/sec, 160 secs
lola: 18271096 markings, 68357292 edges, 109232 markings/sec, 165 secs
lola: 18795586 markings, 70436292 edges, 104898 markings/sec, 170 secs
lola: 19324974 markings, 72548560 edges, 105878 markings/sec, 175 secs
lola: 19854400 markings, 74628472 edges, 105885 markings/sec, 180 secs
lola: 20367497 markings, 76686153 edges, 102619 markings/sec, 185 secs
lola: 20892148 markings, 78777480 edges, 104930 markings/sec, 190 secs
lola: 21408453 markings, 80841665 edges, 103261 markings/sec, 195 secs
lola: 21927693 markings, 82929983 edges, 103848 markings/sec, 200 secs
lola: 22441510 markings, 85018082 edges, 102763 markings/sec, 205 secs
lola: 22953195 markings, 87077814 edges, 102337 markings/sec, 210 secs
lola: 23463730 markings, 89148588 edges, 102107 markings/sec, 215 secs
lola: 23975812 markings, 91233226 edges, 102416 markings/sec, 220 secs
lola: 24486639 markings, 93306380 edges, 102165 markings/sec, 225 secs
lola: 24993938 markings, 95391381 edges, 101460 markings/sec, 230 secs
lola: 25500215 markings, 97471174 edges, 101255 markings/sec, 235 secs
lola: 26015334 markings, 99559958 edges, 103024 markings/sec, 240 secs
lola: 26520151 markings, 101612125 edges, 100963 markings/sec, 245 secs
lola: 27025894 markings, 103698948 edges, 101149 markings/sec, 250 secs
lola: 27537472 markings, 105804642 edges, 102316 markings/sec, 255 secs
lola: 28041727 markings, 107887610 edges, 100851 markings/sec, 260 secs
lola: 28547207 markings, 109948614 edges, 101096 markings/sec, 265 secs
lola: 29037899 markings, 111962423 edges, 98138 markings/sec, 270 secs
lola: 29551085 markings, 114084738 edges, 102637 markings/sec, 275 secs
lola: 30051632 markings, 116145307 edges, 100109 markings/sec, 280 secs
lola: 30555471 markings, 118213960 edges, 100768 markings/sec, 285 secs
lola: 31058777 markings, 120296512 edges, 100661 markings/sec, 290 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown unknown unknown unknown unknown no unknown unknown unknown no no no unknown unknown unknown unknown
lola: memory consumption: 6621040 KB
lola: time consumption: 302 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown unknown unknown unknown unknown no unknown unknown unknown no no no unknown unknown unknown unknown
lola: memory consumption: 6679188 KB
lola: time consumption: 305 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 5 will run for 294 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (X (F ((Fork_20 <= Eat_29))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (F ((Fork_20 <= Eat_29))))
lola: processed formula length: 31
lola: 21 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: 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: 73 markings, 73 edges
lola: ========================================
lola: subprocess 6 will run for 324 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((Fork_6 <= Fork_23)))
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 ((Fork_6 <= Fork_23)))
lola: processed formula length: 27
lola: 23 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (Fork_23 + 1 <= Fork_6)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 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 7 will run for 360 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G ((Catch1_1 + Catch1_2 + Catch1_3 + Catch1_4 + Catch1_5 + Catch1_6 + Catch1_7 + Catch1_8 + Catch1_9 + Catch1_10 + Catch1_11 + Catch1_12 + Catch1_13 + Catch1_14 + Catch1_15 + Catch1_16 + Catch1_17 + Catch1_18 + Catch1_19 + Catch1_20 + Catch1_21 + Catch1_22 + Catch1_23 + Catch1_24 + Catch1_25 + Catch1_26 + Catch1_27 + Catch1_28 + Catch1_29 + Catch1_30 + Catch1_31 + Catch1_32 + Catch1_33 + Catch1... (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 ((Catch1_1 + Catch1_2 + Catch1_3 + Catch1_4 + Catch1_5 + Catch1_6 + Catch1_7 + Catch1_8 + Catch1_9 + Catch1_10 + Catch1_11 + Catch1_12 + Catch1_13 + Catch1_14 + Catch1_15 + Catch1_16 + Catch1_17 + Catch1_18 + Catch1_19 + Catch1_20 + Catch1_21 + Catch1_22 + Catch1_23 + Catch1_24 + Catch1_25 + Catch1_26 + Catch1_27 + Catch1_28 + Catch1_29 + Catch1_30 + Catch1_31 + Catch1_32 + Catch1_33 + Catch1... (shortened)
lola: processed formula length: 1140
lola: 23 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space)
lola: state space: using reachability graph (--search=depth)
lola: state space: using reachability preserving stubborn set method with insertion algorithm (--stubborn=tarjan)
lola: built state equation task
lola: RUNNING
lola: state equation task get result started, id 0
lola: rewrite Frontend/Parser/formula_rewrite.k:721
lola: rewrite Frontend/Parser/formula_rewrite.k:787
lola: state equation task get result rewrite finished id 0
lola: state equation task get result unparse finished++ id 0
lola: formula 0: (Think_1 + Think_9 + Think_8 + Think_7 + Think_6 + Think_5 + Think_4 + Think_3 + Think_2 + Think_10 + Think_11 + Think_12 + Think_13 + Think_14 + Think_15 + Think_16 + Think_17 + Think_18 + Think_19 + Think_20 + Think_21 + Think_22 + Think_23 + Think_24 + Think_25 + Think_26 + Think_27 + Think_28 + Think_29 + Think_30 + Think_31 + Think_32 + Think_33 + Think_34 + Think_35 + Think_36 + Think_37 + Think_38 + Think_39 + Think_40 + Think_41 + Think_42 + Think_43 + Think_44 + Think_45 + Think_46 + Think_47 + Think_48 + Think_49 + Think_50 + 1 <= Catch1_1 + Catch1_2 + Catch1_3 + Catch1_4 + Catch1_5 + Catch1_6 + Catch1_7 + Catch1_8 + Catch1_9 + Catch1_10 + Catch1_11 + Catch1_12 + Catch1_13 + Catch1_14 + Catch1_15 + Catch1_16 + Catch1_17 + Catch1_18 + Catch1_19 + Catch1_20 + Catch1_21 + Catch1_22 + Catch1_23 + Catch1_24 + Catch1_25 + Catch1_26 + Catch1_27 + Catch1_28 + Catch1_29 + Catch1_30 + Catch1_31 + Catch1_32 + Catch1_33 + Catch1_34 + Catch1_35 + Catch1_36 + Catch1_37 + Catch1_38 + Catch1_39 + Catch1_40 + Catch1_41 + Catch1_42 + Catch1_43 + Catch1_44 + Catch1_45 + Catch1_46 + Catch1_47 + Catch1_48 + Catch1_49 + Catch1_50)
lola: state equation task get result unparse finished id 0
lola: state equation: Generated DNF with 1 literals and 1 conjunctive subformulas
lola: SUBRESULT
lola: result: no
lola: produced by: state space
lola: The predicate is not invariant.
lola: 27 markings, 26 edges
lola: state equation: write sara problem file to LTLCardinality-7-0.sara
lola: state equation: calling and running sara
lola: ========================================
lola: subprocess 8 will run for 405 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F ((Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_10 + Fork_11 + Fork_12 + Fork_13 + Fork_14 + Fork_15 + Fork_16 + Fork_17 + Fork_18 + Fork_19 + Fork_20 + Fork_21 + Fork_22 + Fork_23 + Fork_24 + Fork_25 + Fork_26 + Fork_27 + Fork_28 + Fork_29 + Fork_30 + Fork_31 + Fork_32 + Fork_33 + Fork_34 + Fork_35 + Fork_36 + Fork_37 + Fork_38 + Fork_39 + Fork_40 + Fo... (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: (Catch2_1 + Catch2_2 + Catch2_3 + Catch2_4 + Catch2_5 + Catch2_6 + Catch2_7 + Catch2_8 + Catch2_9 + Catch2_10 + Catch2_11 + Catch2_12 + Catch2_13 + Catch2_14 + Catch2_15 + Catch2_16 + Catch2_17 + Catch2_18 + Catch2_19 + Catch2_20 + Catch2_21 + Catch2_22 + Catch2_23 + Catch2_24 + Catch2_25 + Catch2_26 + Catch2_27 + Catch2_28 + Catch2_29 + Catch2_30 + Catch2_31 + Catch2_32 + Catch2_33 + Catch2_34 + ... (shortened)
lola: processed formula length: 1086
lola: 23 rewrites
lola: closed formula file LTLCardinality.xml
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: SEARCH (state space / EG)
lola: state space: using search routine for EG formula (--search=depth)
lola: state space: using EG preserving stubborn set method (--stubborn=tarjan)
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: state space / EG
lola: The predicate does not eventually occur.
lola: 28 markings, 28 edges
lola: ========================================
lola: subprocess 9 will run for 463 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((Catch1_27 <= Think_13))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((Catch1_27 <= Think_13))))
lola: processed formula length: 35
lola: 21 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
sara: try reading problem file LTLCardinality-7-0.sara.
sara: place or transition ordering is non-deterministic

lola: 1009612 markings, 1832096 edges, 201922 markings/sec, 0 secs
lola: 1865311 markings, 3471854 edges, 171140 markings/sec, 5 secs
lola: 2697879 markings, 5067258 edges, 166514 markings/sec, 10 secs
lola: 3536895 markings, 6680621 edges, 167803 markings/sec, 15 secs
lola: 4332231 markings, 8218153 edges, 159067 markings/sec, 20 secs
lola: 5117824 markings, 9735201 edges, 157119 markings/sec, 25 secs
lola: 5880304 markings, 11196965 edges, 152496 markings/sec, 30 secs
lola: 6659956 markings, 12724770 edges, 155930 markings/sec, 35 secs
lola: 7380019 markings, 14142344 edges, 144013 markings/sec, 40 secs
lola: 8090213 markings, 15540789 edges, 142039 markings/sec, 45 secs
lola: 8789477 markings, 16924833 edges, 139853 markings/sec, 50 secs
lola: 9497578 markings, 18327327 edges, 141620 markings/sec, 55 secs
lola: 10170643 markings, 19671706 edges, 134613 markings/sec, 60 secs
lola: 10889645 markings, 21082652 edges, 143800 markings/sec, 65 secs
lola: 11582326 markings, 22457464 edges, 138536 markings/sec, 70 secs
lola: 12253992 markings, 23795016 edges, 134333 markings/sec, 75 secs
lola: 12953854 markings, 25154171 edges, 139972 markings/sec, 80 secs
lola: 13653901 markings, 26559433 edges, 140009 markings/sec, 85 secs
lola: 14287254 markings, 27833959 edges, 126671 markings/sec, 90 secs
lola: 14974242 markings, 29200597 edges, 137398 markings/sec, 95 secs
lola: 15653648 markings, 30558214 edges, 135881 markings/sec, 100 secs
lola: 16331295 markings, 31909528 edges, 135529 markings/sec, 105 secs
lola: 17002825 markings, 33266950 edges, 134306 markings/sec, 110 secs
lola: 17661848 markings, 34575827 edges, 131805 markings/sec, 115 secs
lola: 18352713 markings, 35927612 edges, 138173 markings/sec, 120 secs
lola: 18998286 markings, 37228338 edges, 129115 markings/sec, 125 secs
lola: 19646798 markings, 38538734 edges, 129702 markings/sec, 130 secs
lola: 20315622 markings, 39890122 edges, 133765 markings/sec, 135 secs
lola: 21020488 markings, 41293690 edges, 140973 markings/sec, 140 secs
lola: 21669669 markings, 42610806 edges, 129836 markings/sec, 145 secs
lola: 22307589 markings, 43893672 edges, 127584 markings/sec, 150 secs
lola: 22961157 markings, 45211154 edges, 130714 markings/sec, 155 secs
lola: 23617225 markings, 46537180 edges, 131214 markings/sec, 160 secs
lola: 24290451 markings, 47878077 edges, 134645 markings/sec, 165 secs
lola: 24978495 markings, 49235959 edges, 137609 markings/sec, 170 secs
lola: 25647683 markings, 50565997 edges, 133838 markings/sec, 175 secs
lola: 26293594 markings, 51874221 edges, 129182 markings/sec, 180 secs
lola: 26950524 markings, 53191123 edges, 131386 markings/sec, 185 secs
lola: 27612858 markings, 54516907 edges, 132467 markings/sec, 190 secs
lola: 28225515 markings, 55772573 edges, 122531 markings/sec, 195 secs
lola: 28825584 markings, 56976627 edges, 120014 markings/sec, 200 secs
lola: 29449095 markings, 58233939 edges, 124702 markings/sec, 205 secs
lola: 30064593 markings, 59478762 edges, 123100 markings/sec, 210 secs
lola: 30728779 markings, 60817299 edges, 132837 markings/sec, 215 secs
lola: 31340860 markings, 62055897 edges, 122416 markings/sec, 220 secs
lola: 31967503 markings, 63322979 edges, 125329 markings/sec, 225 secs
lola: 32588315 markings, 64586185 edges, 124162 markings/sec, 230 secs
lola: 33216354 markings, 65844948 edges, 125608 markings/sec, 235 secs
lola: 33841494 markings, 67114841 edges, 125028 markings/sec, 240 secs
lola: 34456207 markings, 68356072 edges, 122943 markings/sec, 245 secs
lola: 35090640 markings, 69648599 edges, 126887 markings/sec, 250 secs
lola: 35710309 markings, 70902142 edges, 123934 markings/sec, 255 secs
lola: 36343833 markings, 72174422 edges, 126705 markings/sec, 260 secs
lola: 36988485 markings, 73480232 edges, 128930 markings/sec, 265 secs
lola: 37656982 markings, 74830399 edges, 133699 markings/sec, 270 secs
lola: 38284133 markings, 76099169 edges, 125430 markings/sec, 275 secs
lola: 38857580 markings, 77255136 edges, 114689 markings/sec, 280 secs
lola: 39462389 markings, 78478727 edges, 120962 markings/sec, 285 secs
lola: 40091052 markings, 79745164 edges, 125733 markings/sec, 290 secs
lola: 40674922 markings, 80936729 edges, 116774 markings/sec, 295 secs
lola: 41299738 markings, 82198728 edges, 124963 markings/sec, 300 secs
lola: 41907014 markings, 83437360 edges, 121455 markings/sec, 305 secs
lola: 42524781 markings, 84687246 edges, 123553 markings/sec, 310 secs
lola: 43159407 markings, 85953074 edges, 126925 markings/sec, 315 secs
lola: 43779894 markings, 87198422 edges, 124097 markings/sec, 320 secs
lola: 44395675 markings, 88449060 edges, 123156 markings/sec, 325 secs
lola: 45004521 markings, 89684973 edges, 121769 markings/sec, 330 secs
lola: 45615916 markings, 90932127 edges, 122279 markings/sec, 335 secs
lola: 46233832 markings, 92185514 edges, 123583 markings/sec, 340 secs
lola: 46866312 markings, 93453379 edges, 126496 markings/sec, 345 secs
lola: 47483411 markings, 94716729 edges, 123420 markings/sec, 350 secs
lola: 48088303 markings, 95946889 edges, 120978 markings/sec, 355 secs
lola: 48715169 markings, 97220684 edges, 125373 markings/sec, 360 secs
lola: 49329169 markings, 98460556 edges, 122800 markings/sec, 365 secs
lola: 49954615 markings, 99728074 edges, 125089 markings/sec, 370 secs
lola: 50583786 markings, 101010309 edges, 125834 markings/sec, 375 secs
lola: 51216985 markings, 102285146 edges, 126640 markings/sec, 380 secs
lola: 51841461 markings, 103535420 edges, 124895 markings/sec, 385 secs
lola: 52512613 markings, 104810194 edges, 134230 markings/sec, 390 secs
lola: 53139680 markings, 106053877 edges, 125413 markings/sec, 395 secs
lola: 53755320 markings, 107322967 edges, 123128 markings/sec, 400 secs
lola: 54382815 markings, 108586078 edges, 125499 markings/sec, 405 secs
lola: 54973947 markings, 109775083 edges, 118226 markings/sec, 410 secs
lola: 55603018 markings, 111063117 edges, 125814 markings/sec, 415 secs
lola: 56200272 markings, 112298701 edges, 119451 markings/sec, 420 secs
lola: 56812905 markings, 113537287 edges, 122527 markings/sec, 425 secs
lola: 57404265 markings, 114748906 edges, 118272 markings/sec, 430 secs
lola: 58034905 markings, 116038058 edges, 126128 markings/sec, 435 secs
lola: 58623859 markings, 117242110 edges, 117791 markings/sec, 440 secs
lola: 59261895 markings, 118547806 edges, 127607 markings/sec, 445 secs
lola: 59879543 markings, 119802630 edges, 123530 markings/sec, 450 secs
lola: 60508509 markings, 121071464 edges, 125793 markings/sec, 455 secs
lola: local time limit reached - aborting
lola:
preliminary result: unknown no unknown unknown unknown no unknown no unknown no no no unknown no no unknown
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 10 will run for 463 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((Catch1_27 <= Think_24))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((Catch1_27 <= Think_24))))
lola: processed formula length: 35
lola: 21 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 1114872 markings, 1839959 edges, 222974 markings/sec, 0 secs
lola: 2199419 markings, 3664604 edges, 216909 markings/sec, 5 secs
lola: 3263996 markings, 5473272 edges, 212915 markings/sec, 10 secs
lola: 4305275 markings, 7256963 edges, 208256 markings/sec, 15 secs
lola: 5341675 markings, 9037109 edges, 207280 markings/sec, 20 secs
lola: 6373965 markings, 10825819 edges, 206458 markings/sec, 25 secs
lola: 7399467 markings, 12613446 edges, 205100 markings/sec, 30 secs
lola: 8423312 markings, 14397923 edges, 204769 markings/sec, 35 secs
lola: 9437646 markings, 16173595 edges, 202867 markings/sec, 40 secs
lola: 10442112 markings, 17938052 edges, 200893 markings/sec, 45 secs
lola: 11439009 markings, 19698730 edges, 199379 markings/sec, 50 secs
lola: 12430597 markings, 21458855 edges, 198318 markings/sec, 55 secs
lola: 13418695 markings, 23208107 edges, 197620 markings/sec, 60 secs
lola: 14400980 markings, 24962358 edges, 196457 markings/sec, 65 secs
lola: 15388262 markings, 26724856 edges, 197456 markings/sec, 70 secs
lola: 16363693 markings, 28461991 edges, 195086 markings/sec, 75 secs
lola: 17327583 markings, 30192481 edges, 192778 markings/sec, 80 secs
lola: 18304885 markings, 31943546 edges, 195460 markings/sec, 85 secs
lola: 19273589 markings, 33688381 edges, 193741 markings/sec, 90 secs
lola: 20241313 markings, 35429934 edges, 193545 markings/sec, 95 secs
lola: 21208343 markings, 37177042 edges, 193406 markings/sec, 100 secs
lola: 22158214 markings, 38892269 edges, 189974 markings/sec, 105 secs
lola: 23105407 markings, 40601661 edges, 189439 markings/sec, 110 secs
lola: 24060916 markings, 42335674 edges, 191102 markings/sec, 115 secs
lola: 25017361 markings, 44058339 edges, 191289 markings/sec, 120 secs
lola: 25961661 markings, 45777863 edges, 188860 markings/sec, 125 secs
lola: 26910511 markings, 47499762 edges, 189770 markings/sec, 130 secs
lola: 27842246 markings, 49209681 edges, 186347 markings/sec, 135 secs
lola: 28795059 markings, 50939937 edges, 190563 markings/sec, 140 secs
lola: 29737891 markings, 52653921 edges, 188566 markings/sec, 145 secs
lola: 30672899 markings, 54360814 edges, 187002 markings/sec, 150 secs
lola: 31599044 markings, 56053207 edges, 185229 markings/sec, 155 secs
lola: 32516018 markings, 57744140 edges, 183395 markings/sec, 160 secs
lola: 33434302 markings, 59425264 edges, 183657 markings/sec, 165 secs
lola: 34367547 markings, 61142607 edges, 186649 markings/sec, 170 secs
lola: 35304480 markings, 62863976 edges, 187387 markings/sec, 175 secs
lola: 36237049 markings, 64578619 edges, 186514 markings/sec, 180 secs
lola: 37169586 markings, 66282812 edges, 186507 markings/sec, 185 secs
lola: 38099235 markings, 67990868 edges, 185930 markings/sec, 190 secs
lola: 39031214 markings, 69699199 edges, 186396 markings/sec, 195 secs
lola: 39966179 markings, 71415889 edges, 186993 markings/sec, 200 secs
lola: 40898874 markings, 73114350 edges, 186539 markings/sec, 205 secs
lola: 41828397 markings, 74821962 edges, 185905 markings/sec, 210 secs
lola: 42765371 markings, 76537043 edges, 187395 markings/sec, 215 secs
lola: 43689353 markings, 78241822 edges, 184796 markings/sec, 220 secs
lola: 44617661 markings, 79949098 edges, 185662 markings/sec, 225 secs
lola: 45532011 markings, 81631567 edges, 182870 markings/sec, 230 secs
lola: 46448331 markings, 83338900 edges, 183264 markings/sec, 235 secs
lola: 47380672 markings, 85039369 edges, 186468 markings/sec, 240 secs
lola: 48305379 markings, 86742821 edges, 184941 markings/sec, 245 secs
lola: 49223784 markings, 88447336 edges, 183681 markings/sec, 250 secs
lola: 50135054 markings, 90117615 edges, 182254 markings/sec, 255 secs
lola: 51035893 markings, 91778473 edges, 180168 markings/sec, 260 secs
lola: 51936600 markings, 93461397 edges, 180141 markings/sec, 265 secs
lola: 52848290 markings, 95157641 edges, 182338 markings/sec, 270 secs
lola: 53754536 markings, 96839115 edges, 181249 markings/sec, 275 secs
lola: 54682344 markings, 98555739 edges, 185562 markings/sec, 280 secs
lola: 55586591 markings, 100250334 edges, 180849 markings/sec, 285 secs
lola: 56487236 markings, 101929367 edges, 180129 markings/sec, 290 secs
lola: 57403013 markings, 103602814 edges, 183155 markings/sec, 295 secs
lola: 58300347 markings, 105278942 edges, 179467 markings/sec, 300 secs
lola: 59214768 markings, 106972882 edges, 182884 markings/sec, 305 secs
lola: 60117586 markings, 108651060 edges, 180564 markings/sec, 310 secs
lola: 61005122 markings, 110311532 edges, 177507 markings/sec, 315 secs
lola: 61905795 markings, 111984874 edges, 180135 markings/sec, 320 secs
lola: 62801551 markings, 113672828 edges, 179151 markings/sec, 325 secs
lola: 63697564 markings, 115353670 edges, 179203 markings/sec, 330 secs
lola: 64590974 markings, 117015657 edges, 178682 markings/sec, 335 secs
lola: 65490901 markings, 118692295 edges, 179985 markings/sec, 340 secs
lola: 66388602 markings, 120355515 edges, 179540 markings/sec, 345 secs
lola: 67291111 markings, 122009625 edges, 180502 markings/sec, 350 secs
lola: 68184628 markings, 123686991 edges, 178703 markings/sec, 355 secs
lola: 69074243 markings, 125333445 edges, 177923 markings/sec, 360 secs
lola: 69968618 markings, 126984110 edges, 178875 markings/sec, 365 secs
lola: 70864771 markings, 128660739 edges, 179231 markings/sec, 370 secs
lola: 71748916 markings, 130305274 edges, 176829 markings/sec, 375 secs
lola: 72636786 markings, 131952017 edges, 177574 markings/sec, 380 secs
lola: 73529505 markings, 133612248 edges, 178544 markings/sec, 385 secs
lola: 74411064 markings, 135270002 edges, 176312 markings/sec, 390 secs
lola: 75289228 markings, 136915666 edges, 175633 markings/sec, 395 secs
lola: 76182291 markings, 138567204 edges, 178613 markings/sec, 400 secs
lola: 77089725 markings, 140243508 edges, 181487 markings/sec, 405 secs
lola: 77967676 markings, 141897745 edges, 175590 markings/sec, 410 secs
lola: 78860883 markings, 143550344 edges, 178641 markings/sec, 415 secs
lola: 79750320 markings, 145212991 edges, 177887 markings/sec, 420 secs
lola: 80631191 markings, 146861581 edges, 176174 markings/sec, 425 secs
lola: 81518474 markings, 148521438 edges, 177457 markings/sec, 430 secs
lola: 82394359 markings, 150184937 edges, 175177 markings/sec, 435 secs
lola: 83280818 markings, 151837613 edges, 177292 markings/sec, 440 secs
lola: 83705016 markings, 152637655 edges, 84840 markings/sec, 445 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 11 will run for 465 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (G (F ((Catch1_12 <= Fork_32))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((Catch1_12 <= Fork_32))))
lola: processed formula length: 34
lola: 21 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 21429 markings, 33880 edges
lola: ========================================
lola: subprocess 12 will run for 582 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((3 <= Eat_50 + Eat_49 + Eat_48 + Eat_47 + Eat_46 + Eat_45 + Eat_44 + Eat_43 + Eat_42 + Eat_41 + Eat_40 + Eat_39 + Eat_38 + Eat_37 + Eat_36 + Eat_35 + Eat_34 + Eat_33 + Eat_11 + Eat_12 + Eat_13 + Eat_14 + Eat_15 + Eat_16 + Eat_17 + Eat_18 + Eat_19 + Eat_20 + Eat_21 + Eat_22 + Eat_23 + Eat_24 + Eat_25 + Eat_26 + Eat_27 + Eat_28 + Eat_29 + Eat_30 + Eat_31 + Eat_32 + Eat_10 + Eat_9 + Eat_8 + ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((3 <= Eat_50 + Eat_49 + Eat_48 + Eat_47 + Eat_46 + Eat_45 + Eat_44 + Eat_43 + Eat_42 + Eat_41 + Eat_40 + Eat_39 + Eat_38 + Eat_37 + Eat_36 + Eat_35 + Eat_34 + Eat_33 + Eat_11 + Eat_12 + Eat_13 + Eat_14 + Eat_15 + Eat_16 + Eat_17 + Eat_18 + Eat_19 + Eat_20 + Eat_21 + Eat_22 + Eat_23 + Eat_24 + Eat_25 + Eat_26 + Eat_27 + Eat_28 + Eat_29 + Eat_30 + Eat_31 + Eat_32 + Eat_10 + Eat_9 + Eat_8 + ... (shortened)
lola: processed formula length: 457
lola: 21 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 52 markings, 53 edges
lola: ========================================
lola: subprocess 13 will run for 776 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((2 <= Catch1_1 + Catch1_2 + Catch1_3 + Catch1_4 + Catch1_5 + Catch1_6 + Catch1_7 + Catch1_8 + Catch1_9 + Catch1_10 + Catch1_11 + Catch1_12 + Catch1_13 + Catch1_14 + Catch1_15 + Catch1_16 + Catch1_17 + Catch1_18 + Catch1_19 + Catch1_20 + Catch1_21 + Catch1_22 + Catch1_23 + Catch1_24 + Catch1_25 + Catch1_26 + Catch1_27 + Catch1_28 + Catch1_29 + Catch1_30 + Catch1_31 + Catch1_32 + Catch1_33 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((2 <= Catch1_1 + Catch1_2 + Catch1_3 + Catch1_4 + Catch1_5 + Catch1_6 + Catch1_7 + Catch1_8 + Catch1_9 + Catch1_10 + Catch1_11 + Catch1_12 + Catch1_13 + Catch1_14 + Catch1_15 + Catch1_16 + Catch1_17 + Catch1_18 + Catch1_19 + Catch1_20 + Catch1_21 + Catch1_22 + Catch1_23 + Catch1_24 + Catch1_25 + Catch1_26 + Catch1_27 + Catch1_28 + Catch1_29 + Catch1_30 + Catch1_31 + Catch1_32 + Catch1_33 ... (shortened)
lola: processed formula length: 607
lola: 21 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: SUBRESULT
lola: result: no
lola: produced by: LTL model checker
lola: The net does not satisfy the given formula (language of the product automaton is nonempty).
lola: 52 markings, 53 edges
lola: ========================================
lola: subprocess 14 will run for 1164 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A (F (G ((3 <= Catch2_1 + Catch2_2 + Catch2_3 + Catch2_4 + Catch2_5 + Catch2_6 + Catch2_7 + Catch2_8 + Catch2_9 + Catch2_10 + Catch2_11 + Catch2_12 + Catch2_13 + Catch2_14 + Catch2_15 + Catch2_16 + Catch2_17 + Catch2_18 + Catch2_19 + Catch2_20 + Catch2_21 + Catch2_22 + Catch2_23 + Catch2_24 + Catch2_25 + Catch2_26 + Catch2_27 + Catch2_28 + Catch2_29 + Catch2_30 + Catch2_31 + Catch2_32 + Catch2_33 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((3 <= Catch2_1 + Catch2_2 + Catch2_3 + Catch2_4 + Catch2_5 + Catch2_6 + Catch2_7 + Catch2_8 + Catch2_9 + Catch2_10 + Catch2_11 + Catch2_12 + Catch2_13 + Catch2_14 + Catch2_15 + Catch2_16 + Catch2_17 + Catch2_18 + Catch2_19 + Catch2_20 + Catch2_21 + Catch2_22 + Catch2_23 + Catch2_24 + Catch2_25 + Catch2_26 + Catch2_27 + Catch2_28 + Catch2_29 + Catch2_30 + Catch2_31 + Catch2_32 + Catch2_33 ... (shortened)
lola: processed formula length: 607
lola: 21 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 855133 markings, 2583341 edges, 171027 markings/sec, 0 secs
lola: 1528749 markings, 4833023 edges, 134723 markings/sec, 5 secs
lola: 2143796 markings, 6940365 edges, 123009 markings/sec, 10 secs
lola: 2763228 markings, 9074903 edges, 123886 markings/sec, 15 secs
lola: 3369629 markings, 11184827 edges, 121280 markings/sec, 20 secs
lola: 3948722 markings, 13233326 edges, 115819 markings/sec, 25 secs
lola: 4524098 markings, 15276982 edges, 115075 markings/sec, 30 secs
lola: 5089654 markings, 17307620 edges, 113111 markings/sec, 35 secs
lola: 5639805 markings, 19278769 edges, 110030 markings/sec, 40 secs
lola: 6165684 markings, 21194481 edges, 105176 markings/sec, 45 secs
lola: 6723785 markings, 23226439 edges, 111620 markings/sec, 50 secs
lola: 7258038 markings, 25194882 edges, 106851 markings/sec, 55 secs
lola: 7788867 markings, 27176105 edges, 106166 markings/sec, 60 secs
lola: 8297429 markings, 29074265 edges, 101712 markings/sec, 65 secs
lola: 8807740 markings, 31014246 edges, 102062 markings/sec, 70 secs
lola: 9320187 markings, 32952225 edges, 102489 markings/sec, 75 secs
lola: 9826519 markings, 34872335 edges, 101266 markings/sec, 80 secs
lola: 10326578 markings, 36797167 edges, 100012 markings/sec, 85 secs
lola: 10827546 markings, 38724149 edges, 100194 markings/sec, 90 secs
lola: 11318375 markings, 40628900 edges, 98166 markings/sec, 95 secs
lola: 11814441 markings, 42549290 edges, 99213 markings/sec, 100 secs
lola: 12301153 markings, 44441871 edges, 97342 markings/sec, 105 secs
lola: 12788107 markings, 46346208 edges, 97391 markings/sec, 110 secs
lola: 13284113 markings, 48267537 edges, 99201 markings/sec, 115 secs
lola: 13764663 markings, 50157734 edges, 96110 markings/sec, 120 secs
lola: 14252114 markings, 52062808 edges, 97490 markings/sec, 125 secs
lola: 14736751 markings, 53955756 edges, 96927 markings/sec, 130 secs
lola: 15224196 markings, 55876764 edges, 97489 markings/sec, 135 secs
lola: 15693992 markings, 57736380 edges, 93959 markings/sec, 140 secs
lola: 16159153 markings, 59590081 edges, 93032 markings/sec, 145 secs
lola: 16642013 markings, 61495922 edges, 96572 markings/sec, 150 secs
lola: 17108120 markings, 63353083 edges, 93221 markings/sec, 155 secs
lola: 17559876 markings, 65173971 edges, 90351 markings/sec, 160 secs
lola: 18028869 markings, 67047647 edges, 93799 markings/sec, 165 secs
lola: 18479274 markings, 68861354 edges, 90081 markings/sec, 170 secs
lola: 18931971 markings, 70687389 edges, 90539 markings/sec, 175 secs
lola: 19395770 markings, 72549870 edges, 92760 markings/sec, 180 secs
lola: 19864372 markings, 74382602 edges, 93720 markings/sec, 185 secs
lola: 20307007 markings, 76187215 edges, 88527 markings/sec, 190 secs
lola: 20751133 markings, 77967911 edges, 88825 markings/sec, 195 secs
lola: 21207548 markings, 79802561 edges, 91283 markings/sec, 200 secs
lola: 21650150 markings, 81601209 edges, 88520 markings/sec, 205 secs
lola: 22095645 markings, 83388687 edges, 89099 markings/sec, 210 secs
lola: 22547163 markings, 85208953 edges, 90304 markings/sec, 215 secs
lola: 23008842 markings, 87077626 edges, 92336 markings/sec, 220 secs
lola: 23450617 markings, 88878428 edges, 88355 markings/sec, 225 secs
lola: 23891794 markings, 90672456 edges, 88235 markings/sec, 230 secs
lola: 24331499 markings, 92457657 edges, 87941 markings/sec, 235 secs
lola: 24767471 markings, 94251820 edges, 87194 markings/sec, 240 secs
lola: 25206641 markings, 96046532 edges, 87834 markings/sec, 245 secs
lola: 25640720 markings, 97777230 edges, 86816 markings/sec, 250 secs
lola: 26084230 markings, 99590083 edges, 88702 markings/sec, 255 secs
lola: 26517272 markings, 101360314 edges, 86608 markings/sec, 260 secs
lola: 26965122 markings, 103173864 edges, 89570 markings/sec, 265 secs
lola: 27406908 markings, 104997947 edges, 88357 markings/sec, 270 secs
lola: 27847094 markings, 106785536 edges, 88037 markings/sec, 275 secs
lola: 28275341 markings, 108563046 edges, 85649 markings/sec, 280 secs
lola: 28702531 markings, 110347001 edges, 85438 markings/sec, 285 secs
lola: 29133161 markings, 112130379 edges, 86126 markings/sec, 290 secs
lola: 29562085 markings, 113907614 edges, 85785 markings/sec, 295 secs
lola: 29997338 markings, 115689093 edges, 87051 markings/sec, 300 secs
lola: 30433810 markings, 117457941 edges, 87294 markings/sec, 305 secs
lola: 30869790 markings, 119255659 edges, 87196 markings/sec, 310 secs
lola: 31296880 markings, 121019046 edges, 85418 markings/sec, 315 secs
lola: 31731723 markings, 122823375 edges, 86969 markings/sec, 320 secs
lola: 32179027 markings, 124679676 edges, 89461 markings/sec, 325 secs
lola: 32582074 markings, 126293846 edges, 80609 markings/sec, 330 secs
lola: 33016342 markings, 128092961 edges, 86854 markings/sec, 335 secs
lola: 33437500 markings, 129855286 edges, 84232 markings/sec, 340 secs
lola: 33847858 markings, 131558345 edges, 82072 markings/sec, 345 secs
lola: 34249542 markings, 133229691 edges, 80337 markings/sec, 350 secs
lola: 34652889 markings, 134901385 edges, 80669 markings/sec, 355 secs
lola: 35068399 markings, 136636739 edges, 83102 markings/sec, 360 secs
lola: 35501898 markings, 138442138 edges, 86700 markings/sec, 365 secs
lola: 35933892 markings, 140236461 edges, 86399 markings/sec, 370 secs
lola: 36352669 markings, 141953409 edges, 83755 markings/sec, 375 secs
lola: 36760843 markings, 143647721 edges, 81635 markings/sec, 380 secs
lola: 37159524 markings, 145327532 edges, 79736 markings/sec, 385 secs
lola: 37556902 markings, 147005967 edges, 79476 markings/sec, 390 secs
lola: 37978457 markings, 148753039 edges, 84311 markings/sec, 395 secs
lola: 38391566 markings, 150488616 edges, 82622 markings/sec, 400 secs
lola: 38862787 markings, 152428176 edges, 94244 markings/sec, 405 secs
lola: 39330973 markings, 154376285 edges, 93637 markings/sec, 410 secs
lola: 39799551 markings, 156334988 edges, 93716 markings/sec, 415 secs
lola: 40253196 markings, 158248844 edges, 90729 markings/sec, 420 secs
lola: 40710793 markings, 160101776 edges, 91519 markings/sec, 425 secs
lola: 41160258 markings, 161996527 edges, 89893 markings/sec, 430 secs
lola: 41618123 markings, 163907349 edges, 91573 markings/sec, 435 secs
lola: 42077516 markings, 165836092 edges, 91879 markings/sec, 440 secs
lola: 42533050 markings, 167744668 edges, 91107 markings/sec, 445 secs
lola: 42977670 markings, 169611934 edges, 88924 markings/sec, 450 secs
lola: 43435782 markings, 171499994 edges, 91622 markings/sec, 455 secs
lola: 43892967 markings, 173381969 edges, 91437 markings/sec, 460 secs
lola: 44330915 markings, 175239017 edges, 87590 markings/sec, 465 secs
lola: 44796459 markings, 177171625 edges, 93109 markings/sec, 470 secs
lola: 45254318 markings, 179085783 edges, 91572 markings/sec, 475 secs
lola: 45683630 markings, 180863371 edges, 85862 markings/sec, 480 secs
lola: 46127984 markings, 182733092 edges, 88871 markings/sec, 485 secs
lola: 46576349 markings, 184624433 edges, 89673 markings/sec, 490 secs
lola: 47009127 markings, 186444081 edges, 86556 markings/sec, 495 secs
lola: 47442846 markings, 188290512 edges, 86744 markings/sec, 500 secs
lola: 47900946 markings, 190192259 edges, 91620 markings/sec, 505 secs
lola: 48322945 markings, 192036686 edges, 84400 markings/sec, 510 secs
lola: 48788267 markings, 194003064 edges, 93064 markings/sec, 515 secs
lola: 49269252 markings, 196022320 edges, 96197 markings/sec, 520 secs
lola: 49708906 markings, 197938728 edges, 87931 markings/sec, 525 secs
lola: 50154965 markings, 199868132 edges, 89212 markings/sec, 530 secs
lola: 50595841 markings, 201733922 edges, 88175 markings/sec, 535 secs
lola: 51057332 markings, 203674900 edges, 92298 markings/sec, 540 secs
lola: 51513246 markings, 205611620 edges, 91183 markings/sec, 545 secs
lola: 51972574 markings, 207472943 edges, 91866 markings/sec, 550 secs
lola: 52407486 markings, 209348147 edges, 86982 markings/sec, 555 secs
lola: 52856789 markings, 211269150 edges, 89861 markings/sec, 560 secs
lola: 53283200 markings, 213096257 edges, 85282 markings/sec, 565 secs
lola: 53739389 markings, 215013224 edges, 91238 markings/sec, 570 secs
lola: 54198657 markings, 216958883 edges, 91854 markings/sec, 575 secs
lola: 54638014 markings, 218804533 edges, 87871 markings/sec, 580 secs
lola: 55085535 markings, 220717599 edges, 89504 markings/sec, 585 secs
lola: 55524383 markings, 222603434 edges, 87770 markings/sec, 590 secs
lola: 55998859 markings, 224575202 edges, 94895 markings/sec, 595 secs
lola: 56445265 markings, 226481249 edges, 89281 markings/sec, 600 secs
lola: 56890238 markings, 228369385 edges, 88995 markings/sec, 605 secs
lola: 57342396 markings, 230297202 edges, 90432 markings/sec, 610 secs
lola: 57772025 markings, 232169657 edges, 85926 markings/sec, 615 secs
lola: 58211159 markings, 234071835 edges, 87827 markings/sec, 620 secs
lola: 58655251 markings, 235968381 edges, 88818 markings/sec, 625 secs
lola: 59088970 markings, 237829282 edges, 86744 markings/sec, 630 secs
lola: 59536955 markings, 239745264 edges, 89597 markings/sec, 635 secs
lola: 59967353 markings, 241616013 edges, 86080 markings/sec, 640 secs
lola: 60413046 markings, 243516115 edges, 89139 markings/sec, 645 secs
lola: 60855229 markings, 245418898 edges, 88437 markings/sec, 650 secs
lola: 61310101 markings, 247326683 edges, 90974 markings/sec, 655 secs
lola: 61736533 markings, 249070427 edges, 85286 markings/sec, 660 secs
lola: 62179502 markings, 250962124 edges, 88594 markings/sec, 665 secs
lola: 62637559 markings, 252916920 edges, 91611 markings/sec, 670 secs
lola: 63080279 markings, 254824612 edges, 88544 markings/sec, 675 secs
lola: 63545089 markings, 256766439 edges, 92962 markings/sec, 680 secs
lola: 63981357 markings, 258655221 edges, 87254 markings/sec, 685 secs
lola: 64436816 markings, 260583993 edges, 91092 markings/sec, 690 secs
lola: 64895628 markings, 262539283 edges, 91762 markings/sec, 695 secs
lola: 65354094 markings, 264486873 edges, 91693 markings/sec, 700 secs
lola: 65781117 markings, 266365208 edges, 85405 markings/sec, 705 secs
lola: 66235393 markings, 268303846 edges, 90855 markings/sec, 710 secs
lola: 66678939 markings, 270209743 edges, 88709 markings/sec, 715 secs
lola: 67120042 markings, 272058021 edges, 88221 markings/sec, 720 secs
lola: 67551257 markings, 273873425 edges, 86243 markings/sec, 725 secs
lola: 67989783 markings, 275755327 edges, 87705 markings/sec, 730 secs
lola: 68413868 markings, 277577637 edges, 84817 markings/sec, 735 secs
lola: 68851730 markings, 279476922 edges, 87572 markings/sec, 740 secs
lola: 69294804 markings, 281297980 edges, 88615 markings/sec, 745 secs
lola: 69745992 markings, 283232130 edges, 90238 markings/sec, 750 secs
lola: 70189202 markings, 285158072 edges, 88642 markings/sec, 755 secs
lola: 70622347 markings, 286998482 edges, 86629 markings/sec, 760 secs
lola: 71059594 markings, 288887707 edges, 87449 markings/sec, 765 secs
lola: 71482339 markings, 290721013 edges, 84549 markings/sec, 770 secs
lola: 71927820 markings, 292650077 edges, 89096 markings/sec, 775 secs
lola: 72376679 markings, 294549110 edges, 89772 markings/sec, 780 secs
lola: 72824828 markings, 296447785 edges, 89630 markings/sec, 785 secs
lola: 73276572 markings, 298399825 edges, 90349 markings/sec, 790 secs
lola: 73722702 markings, 300338101 edges, 89226 markings/sec, 795 secs
lola: 74148687 markings, 302218576 edges, 85197 markings/sec, 800 secs
lola: 74593603 markings, 304142680 edges, 88983 markings/sec, 805 secs
lola: 75036065 markings, 306016809 edges, 88492 markings/sec, 810 secs
lola: 75488416 markings, 307946062 edges, 90470 markings/sec, 815 secs
lola: 75923449 markings, 309820465 edges, 87007 markings/sec, 820 secs
lola: 75958751 markings, 309982433 edges, 7060 markings/sec, 825 secs
lola: Child process aborted or communication problem between parent and child process
lola: subprocess 15 will run for 1493 seconds at most (--localtimelimit=0)
lola: ========================================
lola: ...considering subproblem: A ((F (G ((Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_10 + Fork_11 + Fork_12 + Fork_13 + Fork_14 + Fork_15 + Fork_16 + Fork_17 + Fork_18 + Fork_19 + Fork_20 + Fork_21 + Fork_22 + Fork_23 + Fork_24 + Fork_25 + Fork_26 + Fork_27 + Fork_28 + Fork_29 + Fork_30 + Fork_31 + Fork_32 + Fork_33 + Fork_34 + Fork_35 + Fork_36 + Fork_37 + Fork_38 + Fork_39 + Fork_40 ... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A ((F (G ((Fork_1 + Fork_2 + Fork_3 + Fork_4 + Fork_5 + Fork_6 + Fork_7 + Fork_8 + Fork_9 + Fork_10 + Fork_11 + Fork_12 + Fork_13 + Fork_14 + Fork_15 + Fork_16 + Fork_17 + Fork_18 + Fork_19 + Fork_20 + Fork_21 + Fork_22 + Fork_23 + Fork_24 + Fork_25 + Fork_26 + Fork_27 + Fork_28 + Fork_29 + Fork_30 + Fork_31 + Fork_32 + Fork_33 + Fork_34 + Fork_35 + Fork_36 + Fork_37 + Fork_38 + Fork_39 + Fork_40 ... (shortened)
lola: processed formula length: 3333
lola: 21 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 7 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 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: 58 markings, 65 edges
lola: ========================================
lola: ========================================
lola: ...considering subproblem: A (X (X (X (G ((1 <= Catch2_1 + Catch2_2 + Catch2_3 + Catch2_4 + Catch2_5 + Catch2_6 + Catch2_7 + Catch2_8 + Catch2_9 + Catch2_10 + Catch2_11 + Catch2_12 + Catch2_13 + Catch2_14 + Catch2_15 + Catch2_16 + Catch2_17 + Catch2_18 + Catch2_19 + Catch2_20 + Catch2_21 + Catch2_22 + Catch2_23 + Catch2_24 + Catch2_25 + Catch2_26 + Catch2_27 + Catch2_28 + Catch2_29 + Catch2_30 + Catch2_31 + Catch2_32 + Catc... (shortened)
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (X (X (X (G ((1 <= Catch2_1 + Catch2_2 + Catch2_3 + Catch2_4 + Catch2_5 + Catch2_6 + Catch2_7 + Catch2_8 + Catch2_9 + Catch2_10 + Catch2_11 + Catch2_12 + Catch2_13 + Catch2_14 + Catch2_15 + Catch2_16 + Catch2_17 + Catch2_18 + Catch2_19 + Catch2_20 + Catch2_21 + Catch2_22 + Catch2_23 + Catch2_24 + Catch2_25 + Catch2_26 + Catch2_27 + Catch2_28 + Catch2_29 + Catch2_30 + Catch2_31 + Catch2_32 + Catc... (shortened)
lola: processed formula length: 615
lola: 21 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 5 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: Formula contains X operator; stubborn sets not applicable
lola: Formula contains X operator; stubborn sets not applicable
lola: SEARCH
lola: RUNNING
lola: 1096910 markings, 3439938 edges, 219382 markings/sec, 0 secs
lola: 1967941 markings, 6435468 edges, 174206 markings/sec, 5 secs
lola: 2773402 markings, 9288498 edges, 161092 markings/sec, 10 secs
lola: 3535025 markings, 12022079 edges, 152325 markings/sec, 15 secs
lola: 4273564 markings, 14680438 edges, 147708 markings/sec, 20 secs
lola: 4995461 markings, 17332390 edges, 144379 markings/sec, 25 secs
lola: 5699658 markings, 19926747 edges, 140839 markings/sec, 30 secs
lola: 6392757 markings, 22510920 edges, 138620 markings/sec, 35 secs
lola: 7075449 markings, 25057997 edges, 136538 markings/sec, 40 secs
lola: 7747586 markings, 27576151 edges, 134427 markings/sec, 45 secs
lola: 8415106 markings, 30090482 edges, 133504 markings/sec, 50 secs
lola: 9076156 markings, 32583242 edges, 132210 markings/sec, 55 secs
lola: 9738696 markings, 35085652 edges, 132508 markings/sec, 60 secs
lola: 10382575 markings, 37518021 edges, 128776 markings/sec, 65 secs
lola: 11012130 markings, 39928784 edges, 125911 markings/sec, 70 secs
lola: 11638016 markings, 42332425 edges, 125177 markings/sec, 75 secs
lola: 12256672 markings, 44717086 edges, 123731 markings/sec, 80 secs
lola: 12865020 markings, 47083916 edges, 121670 markings/sec, 85 secs
lola: 13482585 markings, 49482228 edges, 123513 markings/sec, 90 secs
lola: 14077094 markings, 51794172 edges, 118902 markings/sec, 95 secs
lola: 14678892 markings, 54162126 edges, 120360 markings/sec, 100 secs
lola: 15271354 markings, 56511212 edges, 118492 markings/sec, 105 secs
lola: 15839148 markings, 58749682 edges, 113559 markings/sec, 110 secs
lola: 16407030 markings, 61010645 edges, 113576 markings/sec, 115 secs
lola: 16957337 markings, 63199025 edges, 110061 markings/sec, 120 secs
lola: 17541921 markings, 65526423 edges, 116917 markings/sec, 125 secs
lola: 18130452 markings, 67790444 edges, 117706 markings/sec, 130 secs
lola: 18698561 markings, 70035584 edges, 113622 markings/sec, 135 secs
lola: 19257192 markings, 72289501 edges, 111726 markings/sec, 140 secs
lola: 19818877 markings, 74488922 edges, 112337 markings/sec, 145 secs
lola: 20372507 markings, 76706466 edges, 110726 markings/sec, 150 secs
lola: 20931245 markings, 78927800 edges, 111748 markings/sec, 155 secs
lola: 21493624 markings, 81192700 edges, 112476 markings/sec, 160 secs
lola: 22067032 markings, 83495033 edges, 114682 markings/sec, 165 secs
lola: 22639505 markings, 85823592 edges, 114495 markings/sec, 170 secs
lola: 23206708 markings, 88097645 edges, 113441 markings/sec, 175 secs
lola: 23770872 markings, 90392705 edges, 112833 markings/sec, 180 secs
lola: 24337576 markings, 92710211 edges, 113341 markings/sec, 185 secs
lola: 24903872 markings, 95016240 edges, 113259 markings/sec, 190 secs
lola: 25455889 markings, 97284271 edges, 110403 markings/sec, 195 secs
lola: 26019111 markings, 99574476 edges, 112644 markings/sec, 200 secs
lola: 26569149 markings, 101814831 edges, 110008 markings/sec, 205 secs
lola: 27117158 markings, 104074749 edges, 109602 markings/sec, 210 secs
lola: 27677002 markings, 106376571 edges, 111969 markings/sec, 215 secs
lola: 28233119 markings, 108658540 edges, 111223 markings/sec, 220 secs
lola: 28774768 markings, 110894771 edges, 108330 markings/sec, 225 secs
lola: 29322470 markings, 113152132 edges, 109540 markings/sec, 230 secs
lola: 29875656 markings, 115435705 edges, 110637 markings/sec, 235 secs
lola: 30422032 markings, 117658215 edges, 109275 markings/sec, 240 secs
lola: 30973485 markings, 119940338 edges, 110291 markings/sec, 245 secs
lola: 31518931 markings, 122194678 edges, 109089 markings/sec, 250 secs
lola: 32056155 markings, 124400286 edges, 107445 markings/sec, 255 secs
lola: 32598517 markings, 126616931 edges, 108472 markings/sec, 260 secs
lola: 33134618 markings, 128833889 edges, 107220 markings/sec, 265 secs
lola: 33671719 markings, 131017386 edges, 107420 markings/sec, 270 secs
lola: 34208895 markings, 133253533 edges, 107435 markings/sec, 275 secs
lola: 34737483 markings, 135435390 edges, 105718 markings/sec, 280 secs
lola: 35282408 markings, 137672273 edges, 108985 markings/sec, 285 secs
lola: 35821062 markings, 139936544 edges, 107731 markings/sec, 290 secs
lola: 36356636 markings, 142197242 edges, 107115 markings/sec, 295 secs
lola: 36894420 markings, 144427719 edges, 107557 markings/sec, 300 secs
lola: 37412921 markings, 146616441 edges, 103700 markings/sec, 305 secs
lola: 37950254 markings, 148840921 edges, 107467 markings/sec, 310 secs
lola: 38477478 markings, 151060269 edges, 105445 markings/sec, 315 secs
lola: 39002780 markings, 153281631 edges, 105060 markings/sec, 320 secs
lola: 39528100 markings, 155482597 edges, 105064 markings/sec, 325 secs
lola: 40053340 markings, 157682713 edges, 105048 markings/sec, 330 secs
lola: 40586586 markings, 159914228 edges, 106649 markings/sec, 335 secs
lola: 41118468 markings, 162143298 edges, 106376 markings/sec, 340 secs
lola: 41633489 markings, 164308462 edges, 103004 markings/sec, 345 secs
lola: 42153626 markings, 166507466 edges, 104027 markings/sec, 350 secs
lola: 42662895 markings, 168625090 edges, 101854 markings/sec, 355 secs
lola: 43180053 markings, 170801212 edges, 103432 markings/sec, 360 secs
lola: 43700845 markings, 173010660 edges, 104158 markings/sec, 365 secs
lola: 44218319 markings, 175201581 edges, 103495 markings/sec, 370 secs
lola: 44729134 markings, 177373654 edges, 102163 markings/sec, 375 secs
lola: 45245425 markings, 179567020 edges, 103258 markings/sec, 380 secs
lola: 45758507 markings, 181744079 edges, 102616 markings/sec, 385 secs
lola: 46264576 markings, 183885665 edges, 101214 markings/sec, 390 secs
lola: 46785898 markings, 186105950 edges, 104264 markings/sec, 395 secs
lola: 47286328 markings, 188255365 edges, 100086 markings/sec, 400 secs
lola: 47788404 markings, 190361404 edges, 100415 markings/sec, 405 secs
lola: 48295078 markings, 192528445 edges, 101335 markings/sec, 410 secs
lola: 48805193 markings, 194669465 edges, 102023 markings/sec, 415 secs
lola: 49306015 markings, 196807977 edges, 100164 markings/sec, 420 secs
lola: 49817099 markings, 198982766 edges, 102217 markings/sec, 425 secs
lola: 50329145 markings, 201149321 edges, 102409 markings/sec, 430 secs
lola: 50838251 markings, 203248060 edges, 101821 markings/sec, 435 secs
lola: 51353961 markings, 205426389 edges, 103142 markings/sec, 440 secs
lola: 51869150 markings, 207603550 edges, 103038 markings/sec, 445 secs
lola: 52352842 markings, 209656303 edges, 96738 markings/sec, 450 secs
lola: 52862624 markings, 211849195 edges, 101956 markings/sec, 455 secs
lola: 53373933 markings, 214054753 edges, 102262 markings/sec, 460 secs
lola: 53893359 markings, 216279446 edges, 103885 markings/sec, 465 secs
lola: 54392107 markings, 218411205 edges, 99750 markings/sec, 470 secs
lola: 54900506 markings, 220591468 edges, 101680 markings/sec, 475 secs
lola: 55401925 markings, 222713940 edges, 100284 markings/sec, 480 secs
lola: 55897535 markings, 224850730 edges, 99122 markings/sec, 485 secs
lola: 56387891 markings, 226976370 edges, 98071 markings/sec, 490 secs
lola: 56877905 markings, 229066041 edges, 98003 markings/sec, 495 secs
lola: 57375824 markings, 231214880 edges, 99584 markings/sec, 500 secs
lola: 57875372 markings, 233358923 edges, 99910 markings/sec, 505 secs
lola: 58370216 markings, 235486681 edges, 98969 markings/sec, 510 secs
lola: 58872644 markings, 237649489 edges, 100486 markings/sec, 515 secs
lola: 59354627 markings, 239712329 edges, 96397 markings/sec, 520 secs
lola: 59847026 markings, 241853074 edges, 98480 markings/sec, 525 secs
lola: 60347997 markings, 244020206 edges, 100194 markings/sec, 530 secs
lola: 60841448 markings, 246152392 edges, 98690 markings/sec, 535 secs
lola: 61333385 markings, 248288798 edges, 98387 markings/sec, 540 secs
lola: 61823873 markings, 250419391 edges, 98098 markings/sec, 545 secs
lola: 62313388 markings, 252538126 edges, 97903 markings/sec, 550 secs
lola: 62814593 markings, 254701439 edges, 100241 markings/sec, 555 secs
lola: 63305695 markings, 256817800 edges, 98220 markings/sec, 560 secs
lola: 63801484 markings, 258918672 edges, 99158 markings/sec, 565 secs
lola: 64289327 markings, 261005973 edges, 97569 markings/sec, 570 secs
lola: 64782766 markings, 263144342 edges, 98688 markings/sec, 575 secs
lola: 65264086 markings, 265214473 edges, 96264 markings/sec, 580 secs
lola: 65759688 markings, 267378078 edges, 99120 markings/sec, 585 secs
lola: 66249304 markings, 269504329 edges, 97923 markings/sec, 590 secs
lola: 66728487 markings, 271588115 edges, 95837 markings/sec, 595 secs
lola: 67202586 markings, 273641898 edges, 94820 markings/sec, 600 secs
lola: 67686979 markings, 275767066 edges, 96879 markings/sec, 605 secs
lola: 68177108 markings, 277861866 edges, 98026 markings/sec, 610 secs
lola: 68663203 markings, 279969510 edges, 97219 markings/sec, 615 secs
lola: 69163475 markings, 282144411 edges, 100054 markings/sec, 620 secs
lola: 69644005 markings, 284222900 edges, 96106 markings/sec, 625 secs
lola: 70130352 markings, 286313280 edges, 97269 markings/sec, 630 secs
lola: 70617410 markings, 288419751 edges, 97412 markings/sec, 635 secs
lola: 71105792 markings, 290515208 edges, 97676 markings/sec, 640 secs
lola: 71587166 markings, 292609722 edges, 96275 markings/sec, 645 secs
lola: 72073268 markings, 294715768 edges, 97220 markings/sec, 650 secs
lola: 72560619 markings, 296842187 edges, 97470 markings/sec, 655 secs
lola: 73053511 markings, 298974092 edges, 98578 markings/sec, 660 secs
lola: 73545972 markings, 301117294 edges, 98492 markings/sec, 665 secs
lola: 74036946 markings, 303244126 edges, 98195 markings/sec, 670 secs
lola: 74524897 markings, 305387121 edges, 97590 markings/sec, 675 secs
lola: 75002293 markings, 307459544 edges, 95479 markings/sec, 680 secs
lola: 75449294 markings, 309402304 edges, 89400 markings/sec, 685 secs
lola: 75716759 markings, 310552751 edges, 53493 markings/sec, 690 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (G (F ((Catch1_27 <= Think_13))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (G (F ((Catch1_27 <= Think_13))))
lola: processed formula length: 35
lola: 21 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 1110115 markings, 2025804 edges, 222023 markings/sec, 0 secs
lola: 2058284 markings, 3844332 edges, 189634 markings/sec, 5 secs
lola: 2967679 markings, 5591870 edges, 181879 markings/sec, 10 secs
lola: 3882870 markings, 7344532 edges, 183038 markings/sec, 15 secs
lola: 4751071 markings, 9029965 edges, 173640 markings/sec, 20 secs
lola: 5611272 markings, 10671297 edges, 172040 markings/sec, 25 secs
lola: 6450859 markings, 12315349 edges, 167917 markings/sec, 30 secs
lola: 7249218 markings, 13883818 edges, 159672 markings/sec, 35 secs
lola: 8026132 markings, 15411625 edges, 155383 markings/sec, 40 secs
lola: 8797390 markings, 16941722 edges, 154252 markings/sec, 45 secs
lola: 9563478 markings, 18457978 edges, 153218 markings/sec, 50 secs
lola: 10320746 markings, 19971935 edges, 151454 markings/sec, 55 secs
lola: 11085325 markings, 21479558 edges, 152916 markings/sec, 60 secs
lola: 11835043 markings, 22957488 edges, 149944 markings/sec, 65 secs
lola: 12588162 markings, 24439712 edges, 150624 markings/sec, 70 secs
lola: 13348176 markings, 25947776 edges, 152003 markings/sec, 75 secs
lola: 14062235 markings, 27377552 edges, 142812 markings/sec, 80 secs
lola: 14801087 markings, 28857029 edges, 147770 markings/sec, 85 secs
lola: 15526661 markings, 30309619 edges, 145115 markings/sec, 90 secs
lola: 16278519 markings, 31802549 edges, 150372 markings/sec, 95 secs
lola: 16999696 markings, 33260790 edges, 144235 markings/sec, 100 secs
lola: 17730399 markings, 34700937 edges, 146141 markings/sec, 105 secs
lola: 18479862 markings, 36185614 edges, 149893 markings/sec, 110 secs
lola: 19167434 markings, 37572178 edges, 137514 markings/sec, 115 secs
lola: 19905585 markings, 39061910 edges, 147630 markings/sec, 120 secs
lola: 20619062 markings, 40511839 edges, 142695 markings/sec, 125 secs
lola: 21366837 markings, 41994805 edges, 149555 markings/sec, 130 secs
lola: 22073060 markings, 43420592 edges, 141245 markings/sec, 135 secs
lola: 22799256 markings, 44879695 edges, 145239 markings/sec, 140 secs
lola: 23518586 markings, 46336706 edges, 143866 markings/sec, 145 secs
lola: 24269602 markings, 47835086 edges, 150203 markings/sec, 150 secs
lola: 25026409 markings, 49331460 edges, 151361 markings/sec, 155 secs
lola: 25756010 markings, 50787960 edges, 145920 markings/sec, 160 secs
lola: 26478280 markings, 52242098 edges, 144454 markings/sec, 165 secs
lola: 27192969 markings, 53681271 edges, 142938 markings/sec, 170 secs
lola: 27895906 markings, 55096108 edges, 140587 markings/sec, 175 secs
lola: 28581878 markings, 56482529 edges, 137194 markings/sec, 180 secs
lola: 29256578 markings, 57849097 edges, 134940 markings/sec, 185 secs
lola: 29930384 markings, 59207623 edges, 134761 markings/sec, 190 secs
lola: 30645209 markings, 60648377 edges, 142965 markings/sec, 195 secs
lola: 31326255 markings, 62025479 edges, 136209 markings/sec, 200 secs
lola: 32023648 markings, 63433435 edges, 139479 markings/sec, 205 secs
lola: 32726312 markings, 64855336 edges, 140533 markings/sec, 210 secs
lola: 33400605 markings, 66217333 edges, 134859 markings/sec, 215 secs
lola: 34102596 markings, 67642574 edges, 140398 markings/sec, 220 secs
lola: 34768171 markings, 68993772 edges, 133115 markings/sec, 225 secs
lola: 35481380 markings, 70431444 edges, 142642 markings/sec, 230 secs
lola: 36174013 markings, 71833473 edges, 138527 markings/sec, 235 secs
lola: 36894514 markings, 73289564 edges, 144100 markings/sec, 240 secs
lola: 37628249 markings, 74771427 edges, 146747 markings/sec, 245 secs
lola: 38317687 markings, 76165666 edges, 137888 markings/sec, 250 secs
lola: 38960467 markings, 77459052 edges, 128556 markings/sec, 255 secs
lola: 39615928 markings, 78798244 edges, 131092 markings/sec, 260 secs
lola: 40310604 markings, 80192687 edges, 138935 markings/sec, 265 secs
lola: 40959009 markings, 81509353 edges, 129681 markings/sec, 270 secs
lola: 41634046 markings, 82877569 edges, 135007 markings/sec, 275 secs
lola: 42330349 markings, 84293573 edges, 139261 markings/sec, 280 secs
lola: 43000111 markings, 85639778 edges, 133952 markings/sec, 285 secs
lola: 43718781 markings, 87073244 edges, 143734 markings/sec, 290 secs
lola: 44393170 markings, 88443651 edges, 134878 markings/sec, 295 secs
lola: 45062592 markings, 89803407 edges, 133884 markings/sec, 300 secs
lola: 45737229 markings, 91174500 edges, 134927 markings/sec, 305 secs
lola: 46439442 markings, 92588971 edges, 140443 markings/sec, 310 secs
lola: 47126111 markings, 93982241 edges, 137334 markings/sec, 315 secs
lola: 47800029 markings, 95357446 edges, 134784 markings/sec, 320 secs
lola: 48467830 markings, 96710989 edges, 133560 markings/sec, 325 secs
lola: 49159771 markings, 98112525 edges, 138388 markings/sec, 330 secs
lola: 49847303 markings, 99508417 edges, 137506 markings/sec, 335 secs
lola: 50549512 markings, 100943782 edges, 140442 markings/sec, 340 secs
lola: 51257330 markings, 102354536 edges, 141564 markings/sec, 345 secs
lola: 51951524 markings, 103758880 edges, 138839 markings/sec, 350 secs
lola: 52690792 markings, 105161378 edges, 147854 markings/sec, 355 secs
lola: 53369753 markings, 106523273 edges, 135792 markings/sec, 360 secs
lola: 54071453 markings, 107973241 edges, 140340 markings/sec, 365 secs
lola: 54759481 markings, 109338019 edges, 137606 markings/sec, 370 secs
lola: 55443406 markings, 110739467 edges, 136785 markings/sec, 375 secs
lola: 56113806 markings, 112119130 edges, 134080 markings/sec, 380 secs
lola: 56797678 markings, 113506576 edges, 136774 markings/sec, 385 secs
lola: 57470237 markings, 114882189 edges, 134512 markings/sec, 390 secs
lola: 58169616 markings, 116313389 edges, 139876 markings/sec, 395 secs
lola: 58833776 markings, 117673752 edges, 132832 markings/sec, 400 secs
lola: 59533703 markings, 119107543 edges, 139985 markings/sec, 405 secs
lola: 60207315 markings, 120472241 edges, 134722 markings/sec, 410 secs
lola: 60914183 markings, 121894012 edges, 141374 markings/sec, 415 secs
lola: 61618518 markings, 123321336 edges, 140867 markings/sec, 420 secs
lola: 62303785 markings, 124721775 edges, 137053 markings/sec, 425 secs
lola: 62973110 markings, 126094812 edges, 133865 markings/sec, 430 secs
lola: 63598750 markings, 127364991 edges, 125128 markings/sec, 435 secs
lola: 64278648 markings, 128743666 edges, 135980 markings/sec, 440 secs
lola: 64961264 markings, 130121734 edges, 136523 markings/sec, 445 secs
lola: 65626581 markings, 131476859 edges, 133063 markings/sec, 450 secs
lola: 66322907 markings, 132886917 edges, 139265 markings/sec, 455 secs
lola: 67021965 markings, 134318439 edges, 139812 markings/sec, 460 secs
lola: 67710398 markings, 135735947 edges, 137687 markings/sec, 465 secs
lola: 68403379 markings, 137166850 edges, 138596 markings/sec, 470 secs
lola: 69069049 markings, 138522600 edges, 133134 markings/sec, 475 secs
lola: 69761754 markings, 139909523 edges, 138541 markings/sec, 480 secs
lola: 70420620 markings, 141269035 edges, 131773 markings/sec, 485 secs
lola: 71052455 markings, 142574520 edges, 126367 markings/sec, 490 secs
lola: 71621365 markings, 143746104 edges, 113782 markings/sec, 495 secs
lola: 72268378 markings, 145055307 edges, 129403 markings/sec, 500 secs
lola: 72903063 markings, 146348811 edges, 126937 markings/sec, 505 secs
lola: 73541055 markings, 147675079 edges, 127598 markings/sec, 510 secs
lola: 74176077 markings, 148971529 edges, 127004 markings/sec, 515 secs
lola: 74820721 markings, 150282744 edges, 128929 markings/sec, 520 secs
lola: 75471489 markings, 151617189 edges, 130154 markings/sec, 525 secs
lola: 76177075 markings, 153077738 edges, 141117 markings/sec, 530 secs
lola: 76838426 markings, 154442004 edges, 132270 markings/sec, 535 secs
lola: 77455424 markings, 155715012 edges, 123400 markings/sec, 540 secs
lola: 78107942 markings, 157033838 edges, 130504 markings/sec, 545 secs
lola: 78707880 markings, 158264040 edges, 119988 markings/sec, 550 secs
lola: 79305368 markings, 159497424 edges, 119498 markings/sec, 555 secs
lola: 79991633 markings, 160887639 edges, 137253 markings/sec, 560 secs
lola: 80617719 markings, 162174920 edges, 125217 markings/sec, 565 secs
lola: 81257866 markings, 163494304 edges, 128029 markings/sec, 570 secs
lola: 81890273 markings, 164770266 edges, 126481 markings/sec, 575 secs
lola: 82499560 markings, 166030592 edges, 121857 markings/sec, 580 secs
lola: 83151842 markings, 167379393 edges, 130456 markings/sec, 585 secs
lola: 83818927 markings, 168732380 edges, 133417 markings/sec, 590 secs
lola: 84454700 markings, 170039088 edges, 127155 markings/sec, 595 secs
lola: 85070665 markings, 171314170 edges, 123193 markings/sec, 600 secs
lola: 85533313 markings, 172263815 edges, 92530 markings/sec, 605 secs
lola: 85730076 markings, 172673045 edges, 39353 markings/sec, 610 secs
lola: 85741340 markings, 172696443 edges, 2253 markings/sec, 615 secs
lola: 85741367 markings, 172696486 edges, 5 markings/sec, 620 secs
lola: Child process aborted or communication problem between parent and child process
lola: ========================================
lola: ...considering subproblem: A (F (G ((Catch1_27 <= Think_24))))
lola: ========================================
lola: SUBTASK
lola: checking LTL
lola: transforming LTL-Formula into a Büchi-Automaton
lola: processed formula: A (F (G ((Catch1_27 <= Think_24))))
lola: processed formula length: 35
lola: 21 rewrites
lola: closed formula file LTLCardinality.xml
lola: the resulting Büchi automaton has 2 states
lola: STORE
lola: using a simple compression encoder (--encoder=simplecompressed)
lola: using a prefix tree store (--store=prefix)
lola: using ltl preserving stubborn set method with deletion algorithm (--stubborn=deletion)
lola: using ltl preserving stubborn set method with insertion algorithm(--stubborn=tarjan)
lola: SEARCH
lola: RUNNING
lola: 1213395 markings, 2003073 edges, 242679 markings/sec, 0 secs
lola: 2394304 markings, 3994247 edges, 236182 markings/sec, 5 secs
lola: 3549284 markings, 5960406 edges, 230996 markings/sec, 10 secs
lola: 4686945 markings, 7912014 edges, 227532 markings/sec, 15 secs
lola: 5812058 markings, 9851745 edges, 225023 markings/sec, 20 secs
lola: 6932577 markings, 11798018 edges, 224104 markings/sec, 25 secs
lola: 8049925 markings, 13744337 edges, 223470 markings/sec, 30 secs
lola: 9158135 markings, 15684161 edges, 221642 markings/sec, 35 secs
lola: 10249291 markings, 17600158 edges, 218231 markings/sec, 40 secs
lola: 11335894 markings, 19514096 edges, 217321 markings/sec, 45 secs
lola: 12413574 markings, 21429003 edges, 215536 markings/sec, 50 secs
lola: 13488093 markings, 23330295 edges, 214904 markings/sec, 55 secs
lola: 14556668 markings, 25239565 edges, 213715 markings/sec, 60 secs
lola: 15626263 markings, 27148127 edges, 213919 markings/sec, 65 secs
lola: 16682476 markings, 29035625 edges, 211243 markings/sec, 70 secs
lola: 17735941 markings, 30920571 edges, 210693 markings/sec, 75 secs
lola: 18794379 markings, 32826923 edges, 211688 markings/sec, 80 secs
lola: 19839782 markings, 34706884 edges, 209081 markings/sec, 85 secs
lola: 20883614 markings, 36592736 edges, 208766 markings/sec, 90 secs
lola: 21928233 markings, 38472293 edges, 208924 markings/sec, 95 secs
lola: 22964088 markings, 40345347 edges, 207171 markings/sec, 100 secs
lola: 24002456 markings, 42228436 edges, 207674 markings/sec, 105 secs
lola: 25046922 markings, 44112279 edges, 208893 markings/sec, 110 secs
lola: 26072452 markings, 45982257 edges, 205106 markings/sec, 115 secs
lola: 27101388 markings, 47852267 edges, 205787 markings/sec, 120 secs
lola: 28120412 markings, 49720759 edges, 203805 markings/sec, 125 secs
lola: 29153138 markings, 51591848 edges, 206545 markings/sec, 130 secs
lola: 30177383 markings, 53457030 edges, 204849 markings/sec, 135 secs
lola: 31197988 markings, 55320114 edges, 204121 markings/sec, 140 secs
lola: 32205359 markings, 57180479 edges, 201474 markings/sec, 145 secs
lola: 33218136 markings, 59032171 edges, 202555 markings/sec, 150 secs
lola: 34229836 markings, 60887612 edges, 202340 markings/sec, 155 secs
lola: time limit reached - aborting
lola:
preliminary result: unknown no unknown no no no no no unknown no no no unknown no no no
lola:
preliminary result: unknown no unknown no no no no no unknown no no no unknown no no no
lola: caught signal User defined signal 1 - aborting LoLA
lola:
preliminary result: unknown no unknown no no no no no unknown no no no unknown no no no
lola: memory consumption: 6814396 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: memory consumption: 6814396 KB
lola: time consumption: 3570 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
lola: caught signal User defined signal 2 - aborting LoLA
lola:
preliminary result: unknown no unknown no no no no no unknown no no no unknown no no no
lola:
preliminary result: unknown no unknown no no no no no unknown no no no unknown no no no
lola: memory consumption: 20272 KB
lola: time consumption: 3571 seconds
lola: print data as JSON (--json)
lola: writing JSON to LTLCardinality.json
lola: closed JSON file LTLCardinality.json
rslt: finished

BK_STOP 1554423314029

--------------------
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="LTLCardinality"
export BK_TOOL="lola"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool lola"
echo " Input is Philosophers-PT-000050, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r104-oct2-155272226500816"
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 [ "LTLCardinality" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "LTLCardinality" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' LTLCardinality.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 ;