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.r052-oct2-155234409900447.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 itstools
Input is DLCround-PT-10b, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r052-oct2-155234409900447
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 3.3K Feb 10 06:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Feb 10 06:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 6 05:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Feb 6 05:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 102 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 340 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.5K Feb 4 23:22 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 23:22 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:33 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.6K Feb 4 22:33 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Feb 2 22:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Feb 2 22:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Jan 30 13:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Jan 30 13:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:19 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 4 22:19 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_col
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 1.5M 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 DLCround-PT-10b-LTLCardinality-00
FORMULA_NAME DLCround-PT-10b-LTLCardinality-01
FORMULA_NAME DLCround-PT-10b-LTLCardinality-02
FORMULA_NAME DLCround-PT-10b-LTLCardinality-03
FORMULA_NAME DLCround-PT-10b-LTLCardinality-04
FORMULA_NAME DLCround-PT-10b-LTLCardinality-05
FORMULA_NAME DLCround-PT-10b-LTLCardinality-06
FORMULA_NAME DLCround-PT-10b-LTLCardinality-07
FORMULA_NAME DLCround-PT-10b-LTLCardinality-08
FORMULA_NAME DLCround-PT-10b-LTLCardinality-09
FORMULA_NAME DLCround-PT-10b-LTLCardinality-10
FORMULA_NAME DLCround-PT-10b-LTLCardinality-11
FORMULA_NAME DLCround-PT-10b-LTLCardinality-12
FORMULA_NAME DLCround-PT-10b-LTLCardinality-13
FORMULA_NAME DLCround-PT-10b-LTLCardinality-14
FORMULA_NAME DLCround-PT-10b-LTLCardinality-15

=== Now, execution of the tool begins

BK_START 1553446441817

Working with output stream class java.io.PrintStream
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903171603/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLCardinality.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLCardinality.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903171603/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock
Read 16 LTL properties
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
Checking formula 0 : !((G(X("(i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u18.p398>=2)"))))
Formula 0 simplified : !GX"(i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.i0.u18.p398>=2)"
built 4 ordering constraints for composite.
built 218 ordering constraints for composite.
built 202 ordering constraints for composite.
built 186 ordering constraints for composite.
built 170 ordering constraints for composite.
built 154 ordering constraints for composite.
built 138 ordering constraints for composite.
built 122 ordering constraints for composite.
built 106 ordering constraints for composite.
built 90 ordering constraints for composite.
built 74 ordering constraints for composite.
built 58 ordering constraints for composite.
built 42 ordering constraints for composite.
built 31 ordering constraints for composite.
built 20 ordering constraints for composite.
built 988 ordering constraints for composite.
built 983 ordering constraints for composite.
built 978 ordering constraints for composite.
built 973 ordering constraints for composite.
built 968 ordering constraints for composite.
built 963 ordering constraints for composite.
built 958 ordering constraints for composite.
built 953 ordering constraints for composite.
built 948 ordering constraints for composite.
built 943 ordering constraints for composite.
built 938 ordering constraints for composite.
built 933 ordering constraints for composite.
built 928 ordering constraints for composite.
built 923 ordering constraints for composite.
built 918 ordering constraints for composite.
built 913 ordering constraints for composite.
built 908 ordering constraints for composite.
built 903 ordering constraints for composite.
built 898 ordering constraints for composite.
built 893 ordering constraints for composite.
built 888 ordering constraints for composite.
built 883 ordering constraints for composite.
built 878 ordering constraints for composite.
built 873 ordering constraints for composite.
built 868 ordering constraints for composite.
built 863 ordering constraints for composite.
built 858 ordering constraints for composite.
built 853 ordering constraints for composite.
built 848 ordering constraints for composite.
built 843 ordering constraints for composite.
built 838 ordering constraints for composite.
built 833 ordering constraints for composite.
built 828 ordering constraints for composite.
built 823 ordering constraints for composite.
built 818 ordering constraints for composite.
built 813 ordering constraints for composite.
built 808 ordering constraints for composite.
built 803 ordering constraints for composite.
built 798 ordering constraints for composite.
built 793 ordering constraints for composite.
built 788 ordering constraints for composite.
built 783 ordering constraints for composite.
built 778 ordering constraints for composite.
built 773 ordering constraints for composite.
built 768 ordering constraints for composite.
built 763 ordering constraints for composite.
built 758 ordering constraints for composite.
built 753 ordering constraints for composite.
built 748 ordering constraints for composite.
built 743 ordering constraints for composite.
built 738 ordering constraints for composite.
built 733 ordering constraints for composite.
built 728 ordering constraints for composite.
built 723 ordering constraints for composite.
built 718 ordering constraints for composite.
built 713 ordering constraints for composite.
built 708 ordering constraints for composite.
built 703 ordering constraints for composite.
built 698 ordering constraints for composite.
built 693 ordering constraints for composite.
built 688 ordering constraints for composite.
built 683 ordering constraints for composite.
built 678 ordering constraints for composite.
built 673 ordering constraints for composite.
built 668 ordering constraints for composite.
built 663 ordering constraints for composite.
built 658 ordering constraints for composite.
built 653 ordering constraints for composite.
built 648 ordering constraints for composite.
built 643 ordering constraints for composite.
built 638 ordering constraints for composite.
built 633 ordering constraints for composite.
built 628 ordering constraints for composite.
built 623 ordering constraints for composite.
built 618 ordering constraints for composite.
built 613 ordering constraints for composite.
built 608 ordering constraints for composite.
built 603 ordering constraints for composite.
built 598 ordering constraints for composite.
built 593 ordering constraints for composite.
built 588 ordering constraints for composite.
built 583 ordering constraints for composite.
built 578 ordering constraints for composite.
built 573 ordering constraints for composite.
built 568 ordering constraints for composite.
built 563 ordering constraints for composite.
built 558 ordering constraints for composite.
built 553 ordering constraints for composite.
built 548 ordering constraints for composite.
built 543 ordering constraints for composite.
built 538 ordering constraints for composite.
built 533 ordering constraints for composite.
built 528 ordering constraints for composite.
built 523 ordering constraints for composite.
built 518 ordering constraints for composite.
built 513 ordering constraints for composite.
built 508 ordering constraints for composite.
built 503 ordering constraints for composite.
built 498 ordering constraints for composite.
built 493 ordering constraints for composite.
built 488 ordering constraints for composite.
built 483 ordering constraints for composite.
built 478 ordering constraints for composite.
built 473 ordering constraints for composite.
built 468 ordering constraints for composite.
built 463 ordering constraints for composite.
built 458 ordering constraints for composite.
built 453 ordering constraints for composite.
built 448 ordering constraints for composite.
built 443 ordering constraints for composite.
built 438 ordering constraints for composite.
built 433 ordering constraints for composite.
built 428 ordering constraints for composite.
built 423 ordering constraints for composite.
built 418 ordering constraints for composite.
built 413 ordering constraints for composite.
built 408 ordering constraints for composite.
built 403 ordering constraints for composite.
built 398 ordering constraints for composite.
built 393 ordering constraints for composite.
built 388 ordering constraints for composite.
built 383 ordering constraints for composite.
built 378 ordering constraints for composite.
built 373 ordering constraints for composite.
built 368 ordering constraints for composite.
built 363 ordering constraints for composite.
built 358 ordering constraints for composite.
built 353 ordering constraints for composite.
built 348 ordering constraints for composite.
built 343 ordering constraints for composite.
built 338 ordering constraints for composite.
built 333 ordering constraints for composite.
built 328 ordering constraints for composite.
built 323 ordering constraints for composite.
built 318 ordering constraints for composite.
built 313 ordering constraints for composite.
built 308 ordering constraints for composite.
built 303 ordering constraints for composite.
built 298 ordering constraints for composite.
built 293 ordering constraints for composite.
built 288 ordering constraints for composite.
built 283 ordering constraints for composite.
built 278 ordering constraints for composite.
built 273 ordering constraints for composite.
built 268 ordering constraints for composite.
built 263 ordering constraints for composite.
built 258 ordering constraints for composite.
built 253 ordering constraints for composite.
built 248 ordering constraints for composite.
built 243 ordering constraints for composite.
built 238 ordering constraints for composite.
built 233 ordering constraints for composite.
built 228 ordering constraints for composite.
built 223 ordering constraints for composite.
built 218 ordering constraints for composite.
built 213 ordering constraints for composite.
built 208 ordering constraints for composite.
built 203 ordering constraints for composite.
built 198 ordering constraints for composite.
built 193 ordering constraints for composite.
built 188 ordering constraints for composite.
built 183 ordering constraints for composite.
built 178 ordering constraints for composite.
built 173 ordering constraints for composite.
built 168 ordering constraints for composite.
built 163 ordering constraints for composite.
built 158 ordering constraints for composite.
built 153 ordering constraints for composite.
built 148 ordering constraints for composite.
built 143 ordering constraints for composite.
built 138 ordering constraints for composite.
built 133 ordering constraints for composite.
built 128 ordering constraints for composite.
built 123 ordering constraints for composite.
built 118 ordering constraints for composite.
built 113 ordering constraints for composite.
built 108 ordering constraints for composite.
built 103 ordering constraints for composite.
built 98 ordering constraints for composite.
built 93 ordering constraints for composite.
built 88 ordering constraints for composite.
built 83 ordering constraints for composite.
built 78 ordering constraints for composite.
built 73 ordering constraints for composite.
built 68 ordering constraints for composite.
built 63 ordering constraints for composite.
built 58 ordering constraints for composite.
built 53 ordering constraints for composite.
built 48 ordering constraints for composite.
built 43 ordering constraints for composite.
built 38 ordering constraints for composite.
built 33 ordering constraints for composite.
built 28 ordering constraints for composite.
built 23 ordering constraints for composite.
built 18 ordering constraints for composite.
built 13 ordering constraints for composite.
built 8 ordering constraints for composite.
Compilation finished in 80911 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 123 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, [](X((LTLAP0==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, [](X((LTLAP0==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(X(<>([]((LTLAP1==true))))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 34229 ms.
FORMULA DLCround-PT-10b-LTLCardinality-01 FALSE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, (<>((LTLAP2==true)))U(X((LTLAP3==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, (<>((LTLAP2==true)))U(X((LTLAP3==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []((<>((LTLAP4==true)))U((LTLAP5==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []((<>((LTLAP4==true)))U((LTLAP5==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, (X([]((LTLAP6==true))))U((LTLAP7==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 9528 ms.
FORMULA DLCround-PT-10b-LTLCardinality-04 TRUE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []([]((LTLAP8==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, []([]((LTLAP8==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, (<>((LTLAP9==true)))U(((LTLAP10==true))U((LTLAP11==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, (<>((LTLAP9==true)))U(((LTLAP10==true))U((LTLAP11==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, true, --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, true, --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(([]((LTLAP12==true)))U(<>((LTLAP13==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 5506 ms.
FORMULA DLCround-PT-10b-LTLCardinality-08 TRUE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, (X((LTLAP14==true)))U(<>((LTLAP15==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, (X((LTLAP14==true)))U(<>((LTLAP15==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, <>((LTLAP16==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, <>((LTLAP16==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(<>(X((LTLAP17==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, X(<>(X((LTLAP17==true)))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, (<>((LTLAP18==true)))U(((LTLAP19==true))U((LTLAP20==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, (<>((LTLAP18==true)))U(((LTLAP19==true))U((LTLAP20==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, (<>(X((LTLAP21==true))))U((LTLAP22==true)), --buchi-type=spotba], workingDir=/home/mcc/execution]
LTSmin run took 1507 ms.
FORMULA DLCround-PT-10b-LTLCardinality-14 TRUE TECHNIQUES PARTIAL_ORDER EXPLICIT LTSMIN SAT_SMT
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
WARNING : LTSmin timed out (>225 s) on command CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, false, --buchi-type=spotba], workingDir=/home/mcc/execution]
Retrying LTSmin with larger timeout 1800 s
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, --when, --ltl, [](X((LTLAP0==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLCardinality -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Mar 24, 2019 4:54:03 PM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -smt]
Mar 24, 2019 4:54:03 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 24, 2019 4:54:03 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 221 ms
Mar 24, 2019 4:54:03 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 3924 places.
Mar 24, 2019 4:54:04 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 6192 transitions.
Mar 24, 2019 4:54:04 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Mar 24, 2019 4:54:04 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 24, 2019 4:54:04 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 668 ms
Mar 24, 2019 4:54:05 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 516 ms
Mar 24, 2019 4:54:05 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Mar 24, 2019 4:54:06 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4356,t4356,t4346,t4346,t4346,t4346,t4346,t4346,t4346,t4346,t4346,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5728,t5728,t5728,t5728,t5728,t5728,t5728,t5728,t5728,t5725,t5725,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4819,t4819,t4819,t4809,t4809,t4809,t4809,t4809,t4809,t4809,t4809,t4809,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4595,t4595,t4595,t4585,t4585,t4585,t4585,t4585,t4585,t4585,t4585,t4585,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6079,t6079,t6079,t6079,t6079,t6079,t6079,t6079,t6079,t6076,t6076,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5246,t5246,t5246,t5243,t5243,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4200,t4200,t4190,t4190,t4190,t4190,t4190,t4190,t4190,t4190,t4190,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 169 events :t4264,t4263,t4262,t4261,t4260,t4259,t4258,t4257,t4256,t4255,t4264,t4263,t4262,t4261,t4260,t4259,t4258,t4257,t4256,t4255,t4264,t4263,t4262,t4261,t4260,t4259,t4258,t4257,t4256,t4255,t4264,t4263,t4262,t4261,t4260,t4259,t4258,t4257,t4256,t4255,t4264,t4263,t4262,t4261,t4260,t4259,t4258,t4257,t4256,t4255,t3851,t3850,t3849,t3851,t3850,t3849,t3851,t3850,t3849,t3851,t3850,t3849,t3851,t3850,t3849,t3851,t3850,t3849,t3851,t3850,t3849,t4264,t4263,t4262,t4261,t4260,t4259,t4258,t4257,t4256,t4255,t4264,t4263,t4262,t4261,t4260,t4259,t4258,t4257,t4256,t4255,t4264,t4263,t4262,t4261,t4260,t4259,t4258,t4257,t4256,t4255,t4264,t4263,t4262,t4261,t4260,t4259,t4258,t4257,t4256,t4255,t4264,t4263,t4262,t4261,t4260,t4259,t4258,t4257,t4256,t4255,t4264,t4263,t4262,t4261,t4260,t4259,t4258,t4257,t4256,t4255,t4264,t4263,t4262,t4261,t4260,t4259,t4258,t4257,t4256,t4255,t4264,t4263,t4262,t4261,t4260,t4259,t4258,t4257,t4256,t4255,t3851,t3850,t3849,t3851,t3850,t3849,t3851,t3850,t3849,t3851,t3850,t3849,t3851,t3850,t3849,t3851,t3850,t3849,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5386,t5386,t5386,t5383,t5383,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5393,t5393,t5393,t5390,t5390,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4903,t4903,t4903,t4893,t4893,t4893,t4893,t4893,t4893,t4893,t4893,t4893,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4693,t4693,t4693,t4683,t4683,t4683,t4683,t4683,t4683,t4683,t4683,t4683,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4317,t4317,t4307,t4307,t4307,t4307,t4307,t4307,t4307,t4307,t4307,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4083,t4083,t4073,t4073,t4073,t4073,t4073,t4073,t4073,t4073,t4073,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5520,t5520,t5520,t5520,t5520,t5520,t5520,t5520,t5520,t5517,t5517,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5819,t5819,t5819,t5819,t5819,t5819,t5819,t5819,t5819,t5816,t5816,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5071,t5071,t5071,t5061,t5061,t5061,t5061,t5061,t5061,t5061,t5061,t5061,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5897,t5897,t5897,t5897,t5897,t5897,t5897,t5897,t5897,t5894,t5894,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4973,t4973,t4973,t4963,t4963,t4963,t4963,t4963,t4963,t4963,t4963,t4963,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5029,t5029,t5029,t5019,t5019,t5019,t5019,t5019,t5019,t5019,t5019,t5019,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5923,t5923,t5923,t5923,t5923,t5923,t5923,t5923,t5923,t5920,t5920,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5832,t5832,t5832,t5832,t5832,t5832,t5832,t5832,t5832,t5829,t5829,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5689,t5689,t5689,t5689,t5689,t5689,t5689,t5689,t5689,t5686,t5686,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5379,t5379,t5379,t5376,t5376,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6040,t6040,t6040,t6040,t6040,t6040,t6040,t6040,t6040,t6037,t6037,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4707,t4707,t4707,t4697,t4697,t4697,t4697,t4697,t4697,t4697,t4697,t4697,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 169 events :t4004,t4003,t4002,t4001,t4000,t3999,t3998,t3997,t3996,t3995,t4004,t4003,t4002,t4001,t4000,t3999,t3998,t3997,t3996,t3995,t4004,t4003,t4002,t4001,t4000,t3999,t3998,t3997,t3996,t3995,t4004,t4003,t4002,t4001,t4000,t3999,t3998,t3997,t3996,t3995,t4004,t4003,t4002,t4001,t4000,t3999,t3998,t3997,t3996,t3995,t3825,t3824,t3823,t3825,t3824,t3823,t3825,t3824,t3823,t3825,t3824,t3823,t3825,t3824,t3823,t3825,t3824,t3823,t3825,t3824,t3823,t3825,t3824,t3823,t3825,t3824,t3823,t3825,t3824,t3823,t3825,t3824,t3823,t4004,t4003,t4002,t4001,t4000,t3999,t3998,t3997,t3996,t3995,t4004,t4003,t4002,t4001,t4000,t3999,t3998,t3997,t3996,t3995,t4004,t4003,t4002,t4001,t4000,t3999,t3998,t3997,t3996,t3995,t4004,t4003,t4002,t4001,t4000,t3999,t3998,t3997,t3996,t3995,t4004,t4003,t4002,t4001,t4000,t3999,t3998,t3997,t3996,t3995,t4004,t4003,t4002,t4001,t4000,t3999,t3998,t3997,t3996,t3995,t4004,t4003,t4002,t4001,t4000,t3999,t3998,t3997,t3996,t3995,t4004,t4003,t4002,t4001,t4000,t3999,t3998,t3997,t3996,t3995,t3825,t3824,t3823,t3825,t3824,t3823,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5481,t5481,t5481,t5481,t5481,t5481,t5481,t5481,t5481,t5478,t5478,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5407,t5407,t5407,t5404,t5404,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4213,t4213,t4203,t4203,t4203,t4203,t4203,t4203,t4203,t4203,t4203,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5559,t5559,t5559,t5559,t5559,t5559,t5559,t5559,t5559,t5556,t5556,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5572,t5572,t5572,t5572,t5572,t5572,t5572,t5572,t5572,t5569,t5569,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5533,t5533,t5533,t5533,t5533,t5533,t5533,t5533,t5533,t5530,t5530,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5190,t5190,t5190,t5187,t5187,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5455,t5455,t5455,t5455,t5455,t5455,t5455,t5455,t5455,t5452,t5452,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5871,t5871,t5871,t5871,t5871,t5871,t5871,t5871,t5871,t5868,t5868,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 80 events :t5144,t5143,t5142,t5141,t5144,t5143,t5142,t5141,t5144,t5143,t5142,t5141,t5144,t5143,t5142,t5141,t5144,t5143,t5142,t5141,t5144,t5143,t5142,t5141,t5144,t5143,t5142,t5141,t5144,t5143,t5142,t5141,t5144,t5143,t5142,t5141,t5144,t5143,t5142,t5141,t4556,t4555,t4554,t4553,t4556,t4555,t4554,t4553,t4556,t4555,t4554,t4553,t4556,t4555,t4554,t4553,t4556,t4555,t4554,t4553,t4556,t4555,t4554,t4553,t4556,t4555,t4554,t4553,t4556,t4555,t4554,t4553,t4556,t4555,t4554,t4553,t4556,t4555,t4554,t4553,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5323,t5323,t5323,t5320,t5320,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5316,t5316,t5316,t5313,t5313,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4833,t4833,t4833,t4823,t4823,t4823,t4823,t4823,t4823,t4823,t4823,t4823,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5127,t5127,t5127,t5117,t5117,t5117,t5117,t5117,t5117,t5117,t5117,t5117,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4581,t4581,t4581,t4571,t4571,t4571,t4571,t4571,t4571,t4571,t4571,t4571,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5085,t5085,t5085,t5075,t5075,t5075,t5075,t5075,t5075,t5075,t5075,t5075,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5428,t5428,t5428,t5425,t5425,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6027,t6027,t6027,t6027,t6027,t6027,t6027,t6027,t6027,t6024,t6024,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5741,t5741,t5741,t5741,t5741,t5741,t5741,t5741,t5741,t5738,t5738,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5358,t5358,t5358,t5355,t5355,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5099,t5099,t5099,t5089,t5089,t5089,t5089,t5089,t5089,t5089,t5089,t5089,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3901,t3901,t3891,t3891,t3891,t3891,t3891,t3891,t3891,t3891,t3891,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5183,t5183,t5183,t5180,t5180,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3875,t3875,t3865,t3865,t3865,t3865,t3865,t3865,t3865,t3865,t3865,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4512,t4512,t4502,t4502,t4502,t4502,t4502,t4502,t4502,t4502,t4502,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5767,t5767,t5767,t5767,t5767,t5767,t5767,t5767,t5767,t5764,t5764,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5637,t5637,t5637,t5637,t5637,t5637,t5637,t5637,t5637,t5634,t5634,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6118,t6118,t6118,t6118,t6118,t6118,t6118,t6118,t6118,t6115,t6115,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5780,t5780,t5780,t5780,t5780,t5780,t5780,t5780,t5780,t5777,t5777,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5162,t5162,t5162,t5159,t5159,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4005,t4005,t3995,t3995,t3995,t3995,t3995,t3995,t3995,t3995,t3995,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4395,t4395,t4385,t4385,t4385,t4385,t4385,t4385,t4385,t4385,t4385,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5546,t5546,t5546,t5546,t5546,t5546,t5546,t5546,t5546,t5543,t5543,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 80 events :t5158,t5157,t5156,t5155,t5158,t5157,t5156,t5155,t5158,t5157,t5156,t5155,t5158,t5157,t5156,t5155,t5158,t5157,t5156,t5155,t5158,t5157,t5156,t5155,t5158,t5157,t5156,t5155,t5158,t5157,t5156,t5155,t5158,t5157,t5156,t5155,t5158,t5157,t5156,t5155,t4528,t4527,t4526,t4525,t4528,t4527,t4526,t4525,t4528,t4527,t4526,t4525,t4528,t4527,t4526,t4525,t4528,t4527,t4526,t4525,t4528,t4527,t4526,t4525,t4528,t4527,t4526,t4525,t4528,t4527,t4526,t4525,t4528,t4527,t4526,t4525,t4528,t4527,t4526,t4525,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5337,t5337,t5337,t5334,t5334,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5057,t5057,t5057,t5047,t5047,t5047,t5047,t5047,t5047,t5047,t5047,t5047,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5793,t5793,t5793,t5793,t5793,t5793,t5793,t5793,t5793,t5790,t5790,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5414,t5414,t5414,t5411,t5411,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5650,t5650,t5650,t5650,t5650,t5650,t5650,t5650,t5650,t5647,t5647,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4679,t4679,t4679,t4669,t4669,t4669,t4669,t4669,t4669,t4669,t4669,t4669,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3823,t3823,t3813,t3813,t3813,t3813,t3813,t3813,t3813,t3813,t3813,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4070,t4070,t4060,t4060,t4060,t4060,t4060,t4060,t4060,t4060,t4060,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5611,t5611,t5611,t5611,t5611,t5611,t5611,t5611,t5611,t5608,t5608,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5204,t5204,t5204,t5201,t5201,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4651,t4651,t4651,t4641,t4641,t4641,t4641,t4641,t4641,t4641,t4641,t4641,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4931,t4931,t4931,t4921,t4921,t4921,t4921,t4921,t4921,t4921,t4921,t4921,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6105,t6105,t6105,t6105,t6105,t6105,t6105,t6105,t6105,t6102,t6102,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4665,t4665,t4665,t4655,t4655,t4655,t4655,t4655,t4655,t4655,t4655,t4655,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 169 events :t4394,t4393,t4392,t4391,t4390,t4389,t4388,t4387,t4386,t4385,t4394,t4393,t4392,t4391,t4390,t4389,t4388,t4387,t4386,t4385,t4394,t4393,t4392,t4391,t4390,t4389,t4388,t4387,t4386,t4385,t4394,t4393,t4392,t4391,t4390,t4389,t4388,t4387,t4386,t4385,t4394,t4393,t4392,t4391,t4390,t4389,t4388,t4387,t4386,t4385,t3864,t3863,t3862,t3864,t3863,t3862,t3864,t3863,t3862,t3864,t3863,t3862,t3864,t3863,t3862,t4394,t4393,t4392,t4391,t4390,t4389,t4388,t4387,t4386,t4385,t4394,t4393,t4392,t4391,t4390,t4389,t4388,t4387,t4386,t4385,t4394,t4393,t4392,t4391,t4390,t4389,t4388,t4387,t4386,t4385,t4394,t4393,t4392,t4391,t4390,t4389,t4388,t4387,t4386,t4385,t4394,t4393,t4392,t4391,t4390,t4389,t4388,t4387,t4386,t4385,t4394,t4393,t4392,t4391,t4390,t4389,t4388,t4387,t4386,t4385,t4394,t4393,t4392,t4391,t4390,t4389,t4388,t4387,t4386,t4385,t4394,t4393,t4392,t4391,t4390,t4389,t4388,t4387,t4386,t4385,t3864,t3863,t3862,t3864,t3863,t3862,t3864,t3863,t3862,t3864,t3863,t3862,t3864,t3863,t3862,t3864,t3863,t3862,t3864,t3863,t3862,t3864,t3863,t3862,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5148,t5148,t5148,t5145,t5145,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5663,t5663,t5663,t5663,t5663,t5663,t5663,t5663,t5663,t5660,t5660,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3849,t3849,t3839,t3839,t3839,t3839,t3839,t3839,t3839,t3839,t3839,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4408,t4408,t4398,t4398,t4398,t4398,t4398,t4398,t4398,t4398,t4398,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4499,t4499,t4489,t4489,t4489,t4489,t4489,t4489,t4489,t4489,t4489,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5302,t5302,t5302,t5299,t5299,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5330,t5330,t5330,t5327,t5327,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3914,t3914,t3904,t3904,t3904,t3904,t3904,t3904,t3904,t3904,t3904,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5702,t5702,t5702,t5702,t5702,t5702,t5702,t5702,t5702,t5699,t5699,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4553,t4553,t4553,t4543,t4543,t4543,t4543,t4543,t4543,t4543,t4543,t4543,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5400,t5400,t5400,t5397,t5397,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3953,t3953,t3943,t3943,t3943,t3943,t3943,t3943,t3943,t3943,t3943,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5043,t5043,t5043,t5033,t5033,t5033,t5033,t5033,t5033,t5033,t5033,t5033,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5975,t5975,t5975,t5975,t5975,t5975,t5975,t5975,t5975,t5972,t5972,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5288,t5288,t5288,t5285,t5285,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4847,t4847,t4847,t4837,t4837,t4837,t4837,t4837,t4837,t4837,t4837,t4837,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4777,t4777,t4777,t4767,t4767,t4767,t4767,t4767,t4767,t4767,t4767,t4767,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4917,t4917,t4917,t4907,t4907,t4907,t4907,t4907,t4907,t4907,t4907,t4907,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5936,t5936,t5936,t5936,t5936,t5936,t5936,t5936,t5936,t5933,t5933,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5281,t5281,t5281,t5278,t5278,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4875,t4875,t4875,t4865,t4865,t4865,t4865,t4865,t4865,t4865,t4865,t4865,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5113,t5113,t5113,t5103,t5103,t5103,t5103,t5103,t5103,t5103,t5103,t5103,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4135,t4135,t4125,t4125,t4125,t4125,t4125,t4125,t4125,t4125,t4125,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4369,t4369,t4359,t4359,t4359,t4359,t4359,t4359,t4359,t4359,t4359,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5260,t5260,t5260,t5257,t5257,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5295,t5295,t5295,t5292,t5292,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3836,t3836,t3826,t3826,t3826,t3826,t3826,t3826,t3826,t3826,t3826,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5015,t5015,t5015,t5005,t5005,t5005,t5005,t5005,t5005,t5005,t5005,t5005,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5676,t5676,t5676,t5676,t5676,t5676,t5676,t5676,t5676,t5673,t5673,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4987,t4987,t4987,t4977,t4977,t4977,t4977,t4977,t4977,t4977,t4977,t4977,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5715,t5715,t5715,t5715,t5715,t5715,t5715,t5715,t5715,t5712,t5712,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4057,t4057,t4047,t4047,t4047,t4047,t4047,t4047,t4047,t4047,t4047,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4148,t4148,t4138,t4138,t4138,t4138,t4138,t4138,t4138,t4138,t4138,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 80 events :t5151,t5150,t5149,t5148,t5151,t5150,t5149,t5148,t5151,t5150,t5149,t5148,t5151,t5150,t5149,t5148,t5151,t5150,t5149,t5148,t5151,t5150,t5149,t5148,t5151,t5150,t5149,t5148,t5151,t5150,t5149,t5148,t5151,t5150,t5149,t5148,t5151,t5150,t5149,t5148,t4542,t4541,t4540,t4539,t4542,t4541,t4540,t4539,t4542,t4541,t4540,t4539,t4542,t4541,t4540,t4539,t4542,t4541,t4540,t4539,t4542,t4541,t4540,t4539,t4542,t4541,t4540,t4539,t4542,t4541,t4540,t4539,t4542,t4541,t4540,t4539,t4542,t4541,t4540,t4539,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5169,t5169,t5169,t5166,t5166,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6053,t6053,t6053,t6053,t6053,t6053,t6053,t6053,t6053,t6050,t6050,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5253,t5253,t5253,t5250,t5250,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3979,t3979,t3969,t3969,t3969,t3969,t3969,t3969,t3969,t3969,t3969,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t5001,t5001,t5001,t4991,t4991,t4991,t4991,t4991,t4991,t4991,t4991,t4991,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4721,t4721,t4721,t4711,t4711,t4711,t4711,t4711,t4711,t4711,t4711,t4711,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3927,t3927,t3917,t3917,t3917,t3917,t3917,t3917,t3917,t3917,t3917,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3888,t3888,t3878,t3878,t3878,t3878,t3878,t3878,t3878,t3878,t3878,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4539,t4539,t4539,t4529,t4529,t4529,t4529,t4529,t4529,t4529,t4529,t4529,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6014,t6014,t6014,t6014,t6014,t6014,t6014,t6014,t6014,t6011,t6011,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5372,t5372,t5372,t5369,t5369,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6092,t6092,t6092,t6092,t6092,t6092,t6092,t6092,t6092,t6089,t6089,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4239,t4239,t4229,t4229,t4229,t4229,t4229,t4229,t4229,t4229,t4229,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 80 events :t5134,t5133,t5132,t5131,t5134,t5133,t5132,t5131,t5134,t5133,t5132,t5131,t5134,t5133,t5132,t5131,t5134,t5133,t5132,t5131,t5134,t5133,t5132,t5131,t5134,t5133,t5132,t5131,t5134,t5133,t5132,t5131,t5134,t5133,t5132,t5131,t5134,t5133,t5132,t5131,t4570,t4569,t4568,t4567,t4570,t4569,t4568,t4567,t4570,t4569,t4568,t4567,t4570,t4569,t4568,t4567,t4570,t4569,t4568,t4567,t4570,t4569,t4568,t4567,t4570,t4569,t4568,t4567,t4570,t4569,t4568,t4567,t4570,t4569,t4568,t4567,t4570,t4569,t4568,t4567,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4567,t4567,t4567,t4557,t4557,t4557,t4557,t4557,t4557,t4557,t4557,t4557,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5155,t5155,t5155,t5152,t5152,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5845,t5845,t5845,t5845,t5845,t5845,t5845,t5845,t5845,t5842,t5842,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 169 events :t3874,t3873,t3872,t3871,t3870,t3869,t3868,t3867,t3866,t3865,t3874,t3873,t3872,t3871,t3870,t3869,t3868,t3867,t3866,t3865,t3874,t3873,t3872,t3871,t3870,t3869,t3868,t3867,t3866,t3865,t3874,t3873,t3872,t3871,t3870,t3869,t3868,t3867,t3866,t3865,t3874,t3873,t3872,t3871,t3870,t3869,t3868,t3867,t3866,t3865,t3812,t3811,t3810,t3812,t3811,t3810,t3812,t3811,t3810,t3812,t3811,t3810,t3812,t3811,t3810,t3812,t3811,t3810,t3812,t3811,t3810,t3812,t3811,t3810,t3812,t3811,t3810,t3812,t3811,t3810,t3812,t3811,t3810,t3812,t3811,t3810,t3812,t3811,t3810,t3874,t3873,t3872,t3871,t3870,t3869,t3868,t3867,t3866,t3865,t3874,t3873,t3872,t3871,t3870,t3869,t3868,t3867,t3866,t3865,t3874,t3873,t3872,t3871,t3870,t3869,t3868,t3867,t3866,t3865,t3874,t3873,t3872,t3871,t3870,t3869,t3868,t3867,t3866,t3865,t3874,t3873,t3872,t3871,t3870,t3869,t3868,t3867,t3866,t3865,t3874,t3873,t3872,t3871,t3870,t3869,t3868,t3867,t3866,t3865,t3874,t3873,t3872,t3871,t3870,t3869,t3868,t3867,t3866,t3865,t3874,t3873,t3872,t3871,t3870,t3869,t3868,t3867,t3866,t3865,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5507,t5507,t5507,t5507,t5507,t5507,t5507,t5507,t5507,t5504,t5504,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5309,t5309,t5309,t5306,t5306,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 169 events :t4306,t4305,t4304,t4306,t4305,t4304,t4306,t4305,t4304,t4306,t4305,t4304,t4306,t4305,t4304,t4306,t4305,t4304,t4199,t4198,t4197,t4196,t4195,t4194,t4193,t4192,t4191,t4190,t4199,t4198,t4197,t4196,t4195,t4194,t4193,t4192,t4191,t4190,t4199,t4198,t4197,t4196,t4195,t4194,t4193,t4192,t4191,t4190,t4199,t4198,t4197,t4196,t4195,t4194,t4193,t4192,t4191,t4190,t4199,t4198,t4197,t4196,t4195,t4194,t4193,t4192,t4191,t4190,t4306,t4305,t4304,t4306,t4305,t4304,t4306,t4305,t4304,t4306,t4305,t4304,t4199,t4198,t4197,t4196,t4195,t4194,t4193,t4192,t4191,t4190,t4199,t4198,t4197,t4196,t4195,t4194,t4193,t4192,t4191,t4190,t4199,t4198,t4197,t4196,t4195,t4194,t4193,t4192,t4191,t4190,t4199,t4198,t4197,t4196,t4195,t4194,t4193,t4192,t4191,t4190,t4306,t4305,t4304,t4306,t4305,t4304,t4306,t4305,t4304,t4199,t4198,t4197,t4196,t4195,t4194,t4193,t4192,t4191,t4190,t4199,t4198,t4197,t4196,t4195,t4194,t4193,t4192,t4191,t4190,t4199,t4198,t4197,t4196,t4195,t4194,t4193,t4192,t4191,t4190,t4199,t4198,t4197,t4196,t4195,t4194,t4193,t4192,t4191,t4190,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5267,t5267,t5267,t5264,t5264,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5176,t5176,t5176,t5173,t5173,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5344,t5344,t5344,t5341,t5341,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4637,t4637,t4637,t4627,t4627,t4627,t4627,t4627,t4627,t4627,t4627,t4627,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4330,t4330,t4320,t4320,t4320,t4320,t4320,t4320,t4320,t4320,t4320,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5910,t5910,t5910,t5910,t5910,t5910,t5910,t5910,t5910,t5907,t5907,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5962,t5962,t5962,t5962,t5962,t5962,t5962,t5962,t5962,t5959,t5959,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5949,t5949,t5949,t5949,t5949,t5949,t5949,t5949,t5949,t5946,t5946,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5624,t5624,t5624,t5624,t5624,t5624,t5624,t5624,t5624,t5621,t5621,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3992,t3992,t3982,t3982,t3982,t3982,t3982,t3982,t3982,t3982,t3982,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 169 events :t4020,t4019,t4018,t4020,t4019,t4018,t3939,t3938,t3937,t3936,t3935,t3934,t3933,t3932,t3931,t3930,t3939,t3938,t3937,t3936,t3935,t3934,t3933,t3932,t3931,t3930,t3939,t3938,t3937,t3936,t3935,t3934,t3933,t3932,t3931,t3930,t3939,t3938,t3937,t3936,t3935,t3934,t3933,t3932,t3931,t3930,t3939,t3938,t3937,t3936,t3935,t3934,t3933,t3932,t3931,t3930,t4020,t4019,t4018,t4020,t4019,t4018,t4020,t4019,t4018,t4020,t4019,t4018,t3939,t3938,t3937,t3936,t3935,t3934,t3933,t3932,t3931,t3930,t3939,t3938,t3937,t3936,t3935,t3934,t3933,t3932,t3931,t3930,t3939,t3938,t3937,t3936,t3935,t3934,t3933,t3932,t3931,t3930,t3939,t3938,t3937,t3936,t3935,t3934,t3933,t3932,t3931,t3930,t4020,t4019,t4018,t4020,t4019,t4018,t4020,t4019,t4018,t4020,t4019,t4018,t4020,t4019,t4018,t4020,t4019,t4018,t4020,t4019,t4018,t3939,t3938,t3937,t3936,t3935,t3934,t3933,t3932,t3931,t3930,t3939,t3938,t3937,t3936,t3935,t3934,t3933,t3932,t3931,t3930,t3939,t3938,t3937,t3936,t3935,t3934,t3933,t3932,t3931,t3930,t3939,t3938,t3937,t3936,t3935,t3934,t3933,t3932,t3931,t3930,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3810,t3810,t3800,t3800,t3800,t3800,t3800,t3800,t3800,t3800,t3800,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6131,t6131,t6131,t6131,t6131,t6131,t6131,t6131,t6131,t6128,t6128,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4044,t4044,t4034,t4034,t4034,t4034,t4034,t4034,t4034,t4034,t4034,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4735,t4735,t4735,t4725,t4725,t4725,t4725,t4725,t4725,t4725,t4725,t4725,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4447,t4447,t4437,t4437,t4437,t4437,t4437,t4437,t4437,t4437,t4437,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5468,t5468,t5468,t5468,t5468,t5468,t5468,t5468,t5468,t5465,t5465,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4226,t4226,t4216,t4216,t4216,t4216,t4216,t4216,t4216,t4216,t4216,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4109,t4109,t4099,t4099,t4099,t4099,t4099,t4099,t4099,t4099,t4099,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5421,t5421,t5421,t5418,t5418,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4473,t4473,t4463,t4463,t4463,t4463,t4463,t4463,t4463,t4463,t4463,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5274,t5274,t5274,t5271,t5271,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4187,t4187,t4177,t4177,t4177,t4177,t4177,t4177,t4177,t4177,t4177,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4434,t4434,t4424,t4424,t4424,t4424,t4424,t4424,t4424,t4424,t4424,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4343,t4343,t4333,t4333,t4333,t4333,t4333,t4333,t4333,t4333,t4333,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5585,t5585,t5585,t5585,t5585,t5585,t5585,t5585,t5585,t5582,t5582,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5435,t5435,t5435,t5432,t5432,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4486,t4486,t4476,t4476,t4476,t4476,t4476,t4476,t4476,t4476,t4476,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5806,t5806,t5806,t5806,t5806,t5806,t5806,t5806,t5806,t5803,t5803,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5754,t5754,t5754,t5754,t5754,t5754,t5754,t5754,t5754,t5751,t5751,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5988,t5988,t5988,t5988,t5988,t5988,t5988,t5988,t5988,t5985,t5985,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6001,t6001,t6001,t6001,t6001,t6001,t6001,t6001,t6001,t5998,t5998,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5858,t5858,t5858,t5858,t5858,t5858,t5858,t5858,t5858,t5855,t5855,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4161,t4161,t4151,t4151,t4151,t4151,t4151,t4151,t4151,t4151,t4151,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4861,t4861,t4861,t4851,t4851,t4851,t4851,t4851,t4851,t4851,t4851,t4851,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4278,t4278,t4268,t4268,t4268,t4268,t4268,t4268,t4268,t4268,t4268,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5365,t5365,t5365,t5362,t5362,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5351,t5351,t5351,t5348,t5348,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4382,t4382,t4372,t4372,t4372,t4372,t4372,t4372,t4372,t4372,t4372,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4265,t4265,t4255,t4255,t4255,t4255,t4255,t4255,t4255,t4255,t4255,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4096,t4096,t4086,t4086,t4086,t4086,t4086,t4086,t4086,t4086,t4086,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4525,t4525,t4525,t4515,t4515,t4515,t4515,t4515,t4515,t4515,t4515,t4515,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 169 events :t4163,t4162,t4161,t4163,t4162,t4161,t4163,t4162,t4161,t4163,t4162,t4161,t4069,t4068,t4067,t4066,t4065,t4064,t4063,t4062,t4061,t4060,t4069,t4068,t4067,t4066,t4065,t4064,t4063,t4062,t4061,t4060,t4069,t4068,t4067,t4066,t4065,t4064,t4063,t4062,t4061,t4060,t4069,t4068,t4067,t4066,t4065,t4064,t4063,t4062,t4061,t4060,t4069,t4068,t4067,t4066,t4065,t4064,t4063,t4062,t4061,t4060,t4163,t4162,t4161,t4163,t4162,t4161,t4163,t4162,t4161,t4163,t4162,t4161,t4069,t4068,t4067,t4066,t4065,t4064,t4063,t4062,t4061,t4060,t4069,t4068,t4067,t4066,t4065,t4064,t4063,t4062,t4061,t4060,t4069,t4068,t4067,t4066,t4065,t4064,t4063,t4062,t4061,t4060,t4069,t4068,t4067,t4066,t4065,t4064,t4063,t4062,t4061,t4060,t4163,t4162,t4161,t4163,t4162,t4161,t4163,t4162,t4161,t4163,t4162,t4161,t4163,t4162,t4161,t4069,t4068,t4067,t4066,t4065,t4064,t4063,t4062,t4061,t4060,t4069,t4068,t4067,t4066,t4065,t4064,t4063,t4062,t4061,t4060,t4069,t4068,t4067,t4066,t4065,t4064,t4063,t4062,t4061,t4060,t4069,t4068,t4067,t4066,t4065,t4064,t4063,t4062,t4061,t4060,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5239,t5239,t5239,t5236,t5236,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5218,t5218,t5218,t5215,t5215,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5232,t5232,t5232,t5229,t5229,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4460,t4460,t4450,t4450,t4450,t4450,t4450,t4450,t4450,t4450,t4450,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4609,t4609,t4609,t4599,t4599,t4599,t4599,t4599,t4599,t4599,t4599,t4599,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4031,t4031,t4021,t4021,t4021,t4021,t4021,t4021,t4021,t4021,t4021,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3862,t3862,t3852,t3852,t3852,t3852,t3852,t3852,t3852,t3852,t3852,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4959,t4959,t4959,t4949,t4949,t4949,t4949,t4949,t4949,t4949,t4949,t4949,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5141,t5141,t5141,t5138,t5138,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4122,t4122,t4112,t4112,t4112,t4112,t4112,t4112,t4112,t4112,t4112,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4763,t4763,t4763,t4753,t4753,t4753,t4753,t4753,t4753,t4753,t4753,t4753,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4749,t4749,t4749,t4739,t4739,t4739,t4739,t4739,t4739,t4739,t4739,t4739,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5225,t5225,t5225,t5222,t5222,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5211,t5211,t5211,t5208,t5208,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3966,t3966,t3956,t3956,t3956,t3956,t3956,t3956,t3956,t3956,t3956,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4291,t4291,t4281,t4281,t4281,t4281,t4281,t4281,t4281,t4281,t4281,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4304,t4304,t4294,t4294,t4294,t4294,t4294,t4294,t4294,t4294,t4294,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5884,t5884,t5884,t5884,t5884,t5884,t5884,t5884,t5884,t5881,t5881,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4805,t4805,t4805,t4795,t4795,t4795,t4795,t4795,t4795,t4795,t4795,t4795,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6066,t6066,t6066,t6066,t6066,t6066,t6066,t6066,t6066,t6063,t6063,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4889,t4889,t4889,t4879,t4879,t4879,t4879,t4879,t4879,t4879,t4879,t4879,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 169 events :t4449,t4448,t4447,t4449,t4448,t4447,t4449,t4448,t4447,t4449,t4448,t4447,t4449,t4448,t4447,t4449,t4448,t4447,t4449,t4448,t4447,t4449,t4448,t4447,t4329,t4328,t4327,t4326,t4325,t4324,t4323,t4322,t4321,t4320,t4329,t4328,t4327,t4326,t4325,t4324,t4323,t4322,t4321,t4320,t4329,t4328,t4327,t4326,t4325,t4324,t4323,t4322,t4321,t4320,t4329,t4328,t4327,t4326,t4325,t4324,t4323,t4322,t4321,t4320,t4329,t4328,t4327,t4326,t4325,t4324,t4323,t4322,t4321,t4320,t4449,t4448,t4447,t4449,t4448,t4447,t4449,t4448,t4447,t4449,t4448,t4447,t4329,t4328,t4327,t4326,t4325,t4324,t4323,t4322,t4321,t4320,t4329,t4328,t4327,t4326,t4325,t4324,t4323,t4322,t4321,t4320,t4329,t4328,t4327,t4326,t4325,t4324,t4323,t4322,t4321,t4320,t4329,t4328,t4327,t4326,t4325,t4324,t4323,t4322,t4321,t4320,t4449,t4448,t4447,t4329,t4328,t4327,t4326,t4325,t4324,t4323,t4322,t4321,t4320,t4329,t4328,t4327,t4326,t4325,t4324,t4323,t4322,t4321,t4320,t4329,t4328,t4327,t4326,t4325,t4324,t4323,t4322,t4321,t4320,t4329,t4328,t4327,t4326,t4325,t4324,t4323,t4322,t4321,t4320,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4174,t4174,t4164,t4164,t4164,t4164,t4164,t4164,t4164,t4164,t4164,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5598,t5598,t5598,t5598,t5598,t5598,t5598,t5598,t5598,t5595,t5595,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5442,t5442,t5442,t5442,t5442,t5442,t5442,t5442,t5442,t5439,t5439,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4018,t4018,t4008,t4008,t4008,t4008,t4008,t4008,t4008,t4008,t4008,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4791,t4791,t4791,t4781,t4781,t4781,t4781,t4781,t4781,t4781,t4781,t4781,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4421,t4421,t4411,t4411,t4411,t4411,t4411,t4411,t4411,t4411,t4411,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 169 events :t5137,t5136,t5135,t5137,t5136,t5135,t5137,t5136,t5135,t5137,t5136,t5135,t5137,t5136,t5135,t5137,t5136,t5135,t5137,t5136,t5135,t5137,t5136,t5135,t5137,t5136,t5135,t5137,t5136,t5135,t4459,t4458,t4457,t4456,t4455,t4454,t4453,t4452,t4451,t4450,t4459,t4458,t4457,t4456,t4455,t4454,t4453,t4452,t4451,t4450,t4459,t4458,t4457,t4456,t4455,t4454,t4453,t4452,t4451,t4450,t4459,t4458,t4457,t4456,t4455,t4454,t4453,t4452,t4451,t4450,t4459,t4458,t4457,t4456,t4455,t4454,t4453,t4452,t4451,t4450,t5137,t5136,t5135,t5137,t5136,t5135,t5137,t5136,t5135,t4459,t4458,t4457,t4456,t4455,t4454,t4453,t4452,t4451,t4450,t4459,t4458,t4457,t4456,t4455,t4454,t4453,t4452,t4451,t4450,t4459,t4458,t4457,t4456,t4455,t4454,t4453,t4452,t4451,t4450,t4459,t4458,t4457,t4456,t4455,t4454,t4453,t4452,t4451,t4450,t4459,t4458,t4457,t4456,t4455,t4454,t4453,t4452,t4451,t4450,t4459,t4458,t4457,t4456,t4455,t4454,t4453,t4452,t4451,t4450,t4459,t4458,t4457,t4456,t4455,t4454,t4453,t4452,t4451,t4450,t4459,t4458,t4457,t4456,t4455,t4454,t4453,t4452,t4451,t4450,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t3940,t3940,t3930,t3930,t3930,t3930,t3930,t3930,t3930,t3930,t3930,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t5494,t5494,t5494,t5494,t5494,t5494,t5494,t5494,t5494,t5491,t5491,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5135,t5135,t5131,t5131,t5131,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t4252,t4252,t4242,t4242,t4242,t4242,t4242,t4242,t4242,t4242,t4242,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 169 events :t3809,t3808,t3807,t3806,t3805,t3804,t3803,t3802,t3801,t3800,t3809,t3808,t3807,t3806,t3805,t3804,t3803,t3802,t3801,t3800,t3809,t3808,t3807,t3806,t3805,t3804,t3803,t3802,t3801,t3800,t3809,t3808,t3807,t3806,t3805,t3804,t3803,t3802,t3801,t3800,t3809,t3808,t3807,t3806,t3805,t3804,t3803,t3802,t3801,t3800,t3877,t3876,t3875,t3877,t3876,t3875,t3877,t3876,t3875,t3877,t3876,t3875,t3809,t3808,t3807,t3806,t3805,t3804,t3803,t3802,t3801,t3800,t3809,t3808,t3807,t3806,t3805,t3804,t3803,t3802,t3801,t3800,t3809,t3808,t3807,t3806,t3805,t3804,t3803,t3802,t3801,t3800,t3809,t3808,t3807,t3806,t3805,t3804,t3803,t3802,t3801,t3800,t3877,t3876,t3875,t3877,t3876,t3875,t3877,t3876,t3875,t3877,t3876,t3875,t3877,t3876,t3875,t3877,t3876,t3875,t3877,t3876,t3875,t3877,t3876,t3875,t3877,t3876,t3875,t3809,t3808,t3807,t3806,t3805,t3804,t3803,t3802,t3801,t3800,t3809,t3808,t3807,t3806,t3805,t3804,t3803,t3802,t3801,t3800,t3809,t3808,t3807,t3806,t3805,t3804,t3803,t3802,t3801,t3800,t3809,t3808,t3807,t3806,t3805,t3804,t3803,t3802,t3801,t3800,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t6144,t6144,t6144,t6144,t6144,t6144,t6144,t6144,t6144,t6141,t6141,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 169 events :t4134,t4133,t4132,t4131,t4130,t4129,t4128,t4127,t4126,t4125,t4134,t4133,t4132,t4131,t4130,t4129,t4128,t4127,t4126,t4125,t4134,t4133,t4132,t4131,t4130,t4129,t4128,t4127,t4126,t4125,t4134,t4133,t4132,t4131,t4130,t4129,t4128,t4127,t4126,t4125,t4134,t4133,t4132,t4131,t4130,t4129,t4128,t4127,t4126,t4125,t3838,t3837,t3836,t3838,t3837,t3836,t3838,t3837,t3836,t3838,t3837,t3836,t3838,t3837,t3836,t3838,t3837,t3836,t3838,t3837,t3836,t3838,t3837,t3836,t3838,t3837,t3836,t4134,t4133,t4132,t4131,t4130,t4129,t4128,t4127,t4126,t4125,t4134,t4133,t4132,t4131,t4130,t4129,t4128,t4127,t4126,t4125,t4134,t4133,t4132,t4131,t4130,t4129,t4128,t4127,t4126,t4125,t4134,t4133,t4132,t4131,t4130,t4129,t4128,t4127,t4126,t4125,t4134,t4133,t4132,t4131,t4130,t4129,t4128,t4127,t4126,t4125,t4134,t4133,t4132,t4131,t4130,t4129,t4128,t4127,t4126,t4125,t4134,t4133,t4132,t4131,t4130,t4129,t4128,t4127,t4126,t4125,t4134,t4133,t4132,t4131,t4130,t4129,t4128,t4127,t4126,t4125,t3838,t3837,t3836,t3838,t3837,t3836,t3838,t3837,t3836,t3838,t3837,t3836,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4623,t4623,t4623,t4613,t4613,t4613,t4613,t4613,t4613,t4613,t4613,t4613,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t4945,t4945,t4945,t4935,t4935,t4935,t4935,t4935,t4935,t4935,t4935,t4935,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t5197,t5197,t5197,t5194,t5194,
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 4137 redundant transitions.
Mar 24, 2019 4:54:07 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 963 ms
Mar 24, 2019 4:54:10 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 214 ms
Mar 24, 2019 4:54:10 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 2 ms
Mar 24, 2019 4:54:13 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 6192 transitions.
Mar 24, 2019 4:54:13 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Too many transitions (6192) to apply POR reductions. Disabling POR matrices.
Mar 24, 2019 4:54:13 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 2903ms conformant to PINS in folder :/home/mcc/execution
ITS-tools command line returned an error code 134

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="DLCround-PT-10b"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="itstools"
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 itstools"
echo " Input is DLCround-PT-10b, 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 r052-oct2-155234409900447"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-10b.tgz
mv DLCround-PT-10b 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 ;