Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2026-input.r082-smll-177946993500077.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2026-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5973
Executing tool itstools
Input is DatabaseWithMutex-PT-40, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r082-smll-177946993500077
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 84M
-rw-r--r-- 1 mcc users 2.2M Mar 5 14:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 8.6M Mar 5 14:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 1.6M Mar 5 14:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 7.1M Mar 5 14:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 3 18:30 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 935K Mar 15 08:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 2.7M Mar 15 08:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 943K Mar 15 08:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 3.4M Mar 15 08:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0M Mar 5 14:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 12M Mar 5 14:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.4M Mar 5 14:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 21M Mar 5 14:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 146K Mar 15 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 346K Mar 15 08:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 3 18:30 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 3 18:30 instance
-rw-r--r-- 1 mcc users 6 Mar 3 18:30 iscolored
-rw-r--r-- 1 mcc users 17M Mar 3 18:30 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

echo here is the order used to build the result vector(from xml file)
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-00
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-01
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-02
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-03
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-04
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-05
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-06
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-07
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-08
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-09
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-10
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-11
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-12
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-13
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-14
FORMULA_NAME DatabaseWithMutex-PT-40-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1779546735403

Invoking MCC driver with
BK_TOOL=itstools
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DatabaseWithMutex-PT-40
BK_MEMORY_CONFINEMENT=16384
Not applying reductions.
Model is PT
UpperBounds PT
Running Version 202604301425
[2026-05-23 14:32:17] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2026-05-23 14:32:17] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2026-05-23 14:32:18] [INFO ] Load time of PNML (sax parser for PT used): 1278 ms
[2026-05-23 14:32:18] [INFO ] Transformed 12920 places.
[2026-05-23 14:32:18] [INFO ] Transformed 12800 transitions.
[2026-05-23 14:32:18] [INFO ] Found NUPN structural information;
[2026-05-23 14:32:18] [INFO ] Parsed PT model containing 12920 places and 12800 transitions and 156800 arcs in 1658 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 70 ms.
Reduction of identical properties reduced properties to check from 16 to 14
Current structural bounds on expressions (Initiallly, because the net is safe) : Max Seen:[0, 0, 40, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0] Max Struct:[1600, 1600, 40, 1600, 1600, 1600, 1, 1, 1, 1, 1, 1, 1, 1]
FORMULA DatabaseWithMutex-PT-40-UpperBounds-14 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DatabaseWithMutex-PT-40-UpperBounds-13 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DatabaseWithMutex-PT-40-UpperBounds-11 1 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DatabaseWithMutex-PT-40-UpperBounds-07 40 TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA DatabaseWithMutex-PT-40-UpperBounds-02 40 TECHNIQUES TOPOLOGICAL INITIAL_STATE
Current structural bounds on expressions (Before main loop) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1600, 1600, 1600, 1600, 1600, 1, 1, 1, 1, 1]
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-8984517702455640269.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-10422859508481978718.kers'
[2026-05-23 14:32:19] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-8984517702455640269.kers, --Pflows, --basisKERS=/tmp/petrispot-output-10422859508481978718.kers]
Culled 0 columns in 34 ms.
// Phase 1: matrix 12800 rows 12920 cols 156800 entries
Finished phase 1 with 9600 SingleSign rule and 1600 generalized
[2026-05-23 14:32:20] [INFO ] Computed 1720 invariants in 559 ms
Computed 1720 P flows in 566 ms.
Exported basis to /tmp/petrispot-output-10422859508481978718.kers
Total runtime 596 ms.
Current structural bounds on expressions (after invariants) : Max Seen:[0, 0, 0, 0, 0, 0, 0, 0, 0, 0] Max Struct:[1600, 1600, 1600, 1600, 1600, 1, 1, 1, 1, 1]
RANDOM walk for 10000 steps (2 resets) in 4027 ms. (2 steps per ms)
FORMULA DatabaseWithMutex-PT-40-UpperBounds-12 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA DatabaseWithMutex-PT-40-UpperBounds-10 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA DatabaseWithMutex-PT-40-UpperBounds-09 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
FORMULA DatabaseWithMutex-PT-40-UpperBounds-08 1 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
BEST_FIRST walk for 70007 steps (14 resets) in 1868 ms. (37 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[809, 27, 451, 13, 40, 0] Max Struct:[1600, 1600, 1600, 1600, 1600, 1]
[2026-05-23 14:32:26] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after SMT) : Max Seen:[809, 27, 451, 13, 40, 0] Max Struct:[1600, 1600, 1600, 1600, 1600, 1]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[809, 27, 451, 13, 40, 0] Max Struct:[1600, 1600, 1600, 1600, 1600, 1]
Support contains 8000 out of 12920 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 12920/12920 places, 12800/12800 transitions.
Performed 1600 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 0 with 1600 Pre rules applied. Total rules applied 0 place count 12920 transition count 11200
Deduced a syphon composed of 1600 places in 19 ms
Reduce places removed 1600 places and 0 transitions.
Iterating global reduction 0 with 3200 rules applied. Total rules applied 3200 place count 11320 transition count 11200
Free-agglomeration rule applied 1600 times.
Iterating global reduction 0 with 1600 rules applied. Total rules applied 4800 place count 11320 transition count 9600
Reduce places removed 1600 places and 0 transitions.
Iterating post reduction 0 with 1600 rules applied. Total rules applied 6400 place count 9720 transition count 9600
Applied a total of 6400 rules in 9564 ms. Remains 9720 /12920 variables (removed 3200) and now considering 9600/12800 (removed 3200) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 9583 ms. Remains : 9720/12920 places, 9600/12800 transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-14679506222017999917.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-101422276546349339.kers'
[2026-05-23 14:33:00] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-14679506222017999917.kers, --Pflows, --basisKERS=/tmp/petrispot-output-101422276546349339.kers]
Culled 0 columns in 34 ms.
// Phase 1: matrix 9600 rows 9720 cols 150400 entries
Finished phase 1 with 6400 SingleSign rule and 1600 generalized
[2026-05-23 14:33:00] [INFO ] Computed 1720 invariants in 470 ms
Computed 1720 P flows in 471 ms.
Exported basis to /tmp/petrispot-output-101422276546349339.kers
Total runtime 520 ms.
Current structural bounds on expressions (after invariants) : Max Seen:[809, 27, 451, 13, 40, 0] Max Struct:[1600, 1600, 1600, 1600, 1600, 1]
RANDOM walk for 63789 steps (0 resets) in 30001 ms. (2 steps per ms)
BEST_FIRST walk for 842462 steps (1 resets) in 30128 ms. (27 steps per ms)
FORMULA DatabaseWithMutex-PT-40-UpperBounds-15 1 TECHNIQUES TOPOLOGICAL RANDOM_WALK
Current structural bounds on expressions (after WALK) : Max Seen:[1281, 40, 1014, 40, 40] Max Struct:[1600, 1600, 1600, 1600, 1600]
[2026-05-23 14:34:01] [INFO ] Invariant cache hit.
[2026-05-23 14:34:04] [INFO ] [Real]Absence check using 123 positive place invariants in 863 ms returned sat
[2026-05-23 14:34:08] [INFO ] [Real]Absence check using 123 positive and 1597 generalized place invariants in 4076 ms returned sat
[2026-05-23 14:34:46] [INFO ] [Real]Absence check using state equation in 37312 ms returned unknown
[2026-05-23 14:34:50] [INFO ] [Real]Absence check using 123 positive place invariants in 707 ms returned sat
[2026-05-23 14:35:31] [INFO ] SMT solver returned unknown. Retrying;
[2026-05-23 14:35:31] [INFO ] [Real]Absence check using 123 positive and 1597 generalized place invariants in 41226 ms returned unknown
[2026-05-23 14:35:34] [INFO ] [Real]Absence check using 123 positive place invariants in 654 ms returned sat
[2026-05-23 14:35:39] [INFO ] [Real]Absence check using 123 positive and 1597 generalized place invariants in 5250 ms returned sat
[2026-05-23 14:36:16] [INFO ] [Real]Absence check using state equation in 36469 ms returned unknown
[2026-05-23 14:36:19] [INFO ] [Real]Absence check using 123 positive place invariants in 617 ms returned sat
[2026-05-23 14:36:19] [INFO ] [Real]Absence check using 123 positive and 1597 generalized place invariants in 82 ms returned unsat
[2026-05-23 14:36:22] [INFO ] [Real]Absence check using 123 positive place invariants in 590 ms returned unsat
Current structural bounds on expressions (after SMT) : Max Seen:[1281, 40, 1014, 40, 40] Max Struct:[1600, 1600, 1600, 40, 40]
FORMULA DatabaseWithMutex-PT-40-UpperBounds-05 40 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA DatabaseWithMutex-PT-40-UpperBounds-04 40 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[1281, 40, 1014] Max Struct:[1600, 1600, 1600]
Support contains 4800 out of 9720 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 9720/9720 places, 9600/9600 transitions.
Performed 1600 Post agglomeration using F-continuation condition.Transition count delta: 1600
Iterating post reduction 0 with 1600 rules applied. Total rules applied 1600 place count 9720 transition count 8000
Reduce places removed 1640 places and 0 transitions.
Iterating post reduction 1 with 1640 rules applied. Total rules applied 3240 place count 8080 transition count 8000
Free-agglomeration rule (complex) applied 1600 times.
Iterating global reduction 2 with 1600 rules applied. Total rules applied 4840 place count 8080 transition count 6400
Reduce places removed 1600 places and 0 transitions.
Iterating post reduction 2 with 1600 rules applied. Total rules applied 6440 place count 6480 transition count 6400
Applied a total of 6440 rules in 5618 ms. Remains 6480 /9720 variables (removed 3240) and now considering 6400/9600 (removed 3200) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5618 ms. Remains : 6480/9720 places, 6400/9600 transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-16504888900957872661.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2695643825238350301.kers'
[2026-05-23 14:36:28] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-16504888900957872661.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2695643825238350301.kers]
Culled 0 columns in 27 ms.
// Phase 1: matrix 6400 rows 6480 cols 140800 entries
Finished phase 1 with 3200 SingleSign rule and 1600 generalized
[2026-05-23 14:36:28] [INFO ] Computed 1680 invariants in 340 ms
Computed 1680 P flows in 341 ms.
Exported basis to /tmp/petrispot-output-2695643825238350301.kers
Total runtime 362 ms.
Current structural bounds on expressions (after invariants) : Max Seen:[1281, 40, 1014] Max Struct:[1600, 1600, 1600]
RANDOM walk for 90990 steps (0 resets) in 30001 ms. (3 steps per ms)
BEST_FIRST walk for 243238 steps (0 resets) in 15119 ms. (16 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1281, 40, 1560] Max Struct:[1600, 1600, 1600]
[2026-05-23 14:37:14] [INFO ] Invariant cache hit.
[2026-05-23 14:37:16] [INFO ] [Real]Absence check using 83 positive place invariants in 370 ms returned sat
[2026-05-23 14:37:17] [INFO ] [Real]Absence check using 83 positive and 1597 generalized place invariants in 1755 ms returned sat
[2026-05-23 14:37:33] [INFO ] [Real]Absence check using state equation in 15647 ms returned sat
[2026-05-23 14:37:35] [INFO ] Computed and/alt/rep : 1600/1600/1600 causal constraints (skipped 3200 transitions) in 1061 ms.
[2026-05-23 14:37:40] [INFO ] Added : 23 causal constraints over 5 iterations in 6089 ms. Result :sat
Minimization took 5408 ms.
[2026-05-23 14:37:48] [INFO ] [Real]Absence check using 83 positive place invariants in 292 ms returned sat
[2026-05-23 14:38:31] [INFO ] SMT solver returned unknown. Retrying;
[2026-05-23 14:38:31] [INFO ] [Real]Absence check using 83 positive and 1597 generalized place invariants in 42812 ms returned unknown
[2026-05-23 14:38:33] [INFO ] [Real]Absence check using 83 positive place invariants in 393 ms returned sat
[2026-05-23 14:38:45] [INFO ] [Real]Absence check using 83 positive and 1597 generalized place invariants in 11521 ms returned unsat
Current structural bounds on expressions (after SMT) : Max Seen:[1281, 40, 1560] Max Struct:[1600, 1600, 1560]
FORMULA DatabaseWithMutex-PT-40-UpperBounds-03 1560 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[1281, 40] Max Struct:[1600, 1600]
Support contains 3200 out of 6480 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6480/6480 places, 6400/6400 transitions.
Applied a total of 0 rules in 1665 ms. Remains 6480 /6480 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1665 ms. Remains : 6480/6480 places, 6400/6400 transitions.
[2026-05-23 14:38:46] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[1281, 40] Max Struct:[1600, 1600]
RANDOM walk for 115984 steps (0 resets) in 30001 ms. (3 steps per ms)
BEST_FIRST walk for 177191 steps (0 resets) in 10049 ms. (17 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1281, 40] Max Struct:[1600, 1600]
[2026-05-23 14:39:26] [INFO ] Invariant cache hit.
[2026-05-23 14:39:29] [INFO ] [Real]Absence check using 83 positive place invariants in 564 ms returned sat
[2026-05-23 14:39:31] [INFO ] [Real]Absence check using 83 positive and 1597 generalized place invariants in 1996 ms returned sat
[2026-05-23 14:39:47] [INFO ] [Real]Absence check using state equation in 15869 ms returned sat
[2026-05-23 14:39:48] [INFO ] Computed and/alt/rep : 1600/1600/1600 causal constraints (skipped 3200 transitions) in 739 ms.
[2026-05-23 14:39:53] [INFO ] Added : 23 causal constraints over 5 iterations in 5385 ms. Result :sat
Minimization took 6543 ms.
[2026-05-23 14:40:02] [INFO ] [Real]Absence check using 83 positive place invariants in 292 ms returned sat
[2026-05-23 14:40:45] [INFO ] SMT solver returned unknown. Retrying;
[2026-05-23 14:40:45] [INFO ] [Real]Absence check using 83 positive and 1597 generalized place invariants in 43036 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[1281, 40] Max Struct:[1600, 1600]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[1281, 40] Max Struct:[1600, 1600]
Support contains 3200 out of 6480 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6480/6480 places, 6400/6400 transitions.
Applied a total of 0 rules in 1489 ms. Remains 6480 /6480 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1489 ms. Remains : 6480/6480 places, 6400/6400 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6480/6480 places, 6400/6400 transitions.
Applied a total of 0 rules in 1276 ms. Remains 6480 /6480 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
[2026-05-23 14:40:48] [INFO ] Invariant cache hit.
[2026-05-23 14:41:30] [INFO ] Performed 365/6480 implicitness test of which 0 returned IMPLICIT in 37 seconds.
[2026-05-23 14:43:28] [INFO ] Implicit Places using invariants in 160016 ms returned []
[2026-05-23 14:43:28] [INFO ] Invariant cache hit.
[2026-05-23 14:44:16] [INFO ] Performed 356/6480 implicitness test of which 0 returned IMPLICIT in 33 seconds.
[2026-05-23 14:46:08] [INFO ] Implicit Places using invariants and state equation in 160015 ms returned []
Implicit Place search using SMT with State Equation took 320087 ms to find 0 implicit places.
[2026-05-23 14:46:09] [INFO ] Redundant transitions in 1273 ms returned []
Running 4800 sub problems to find dead transitions.
[2026-05-23 14:46:09] [INFO ] Invariant cache hit.
Excessive predecessor constraint size, skipping predecessor.
Error getting values : (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")
At refinement iteration 0 (INCLUDED_ONLY) 0/6400 variables, 6400/6400 constraints. Problems are: Problem set: 0 solved, 4800 unsolved
SMT process timed out in 40640ms, After SMT, problems are : Problem set: 0 solved, 4800 unsolved
Search for dead transitions found 0 dead transitions in 40751ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 363476 ms. Remains : 6480/6480 places, 6400/6400 transitions.
[2026-05-23 14:46:54] [INFO ] Flatten gal took : 3094 ms
[2026-05-23 14:46:56] [INFO ] Flatten gal took : 1662 ms
[2026-05-23 14:46:57] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4445554297895433257.gal : 510 ms
[2026-05-23 14:46:57] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality4875491790622695393.prop : 34 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality4445554297895433257.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality4875491790622695393.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
RANDOM walk for 40000 steps (8 resets) in 29874 ms. (1 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 2702 ms. (14 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 2025 ms. (19 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 2126 ms. (18 steps per ms) remains 4/4 properties
BEST_FIRST walk for 40004 steps (8 resets) in 2435 ms. (16 steps per ms) remains 4/4 properties
Loading property file /tmp/ReachabilityCardinality4875491790622695393.prop.
Interrupted probabilistic random walk after 159553 steps, run timeout after 30040 ms. (steps per millisecond=5 ) properties seen :0 out of 4
Probabilistic random walk after 159553 steps, saw 159423 distinct states, run finished after 30053 ms. (steps per millisecond=5 ) properties seen :0
[2026-05-23 14:47:31] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/3200 variables, 3200/3200 constraints. Problems are: Problem set: 0 solved, 4 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/3200 variables, 0/3200 constraints. Problems are: Problem set: 0 solved, 4 unsolved
Problem MAX1 is UNSAT
At refinement iteration 2 (OVERLAPS) 198/3398 variables, 83/3283 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3398 variables, 198/3481 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/3398 variables, 0/3481 constraints. Problems are: Problem set: 1 solved, 3 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 6480/12880 variables, and 5078 constraints, problems are : Problem set: 1 solved, 3 unsolved in 5011 ms.
Refiners :[Domain max(s): 3398/6480 constraints, Positive P Invariants (semi-flows): 83/83 constraints, Generalized P Invariants (flows): 1597/1597 constraints, State Equation: 0/6480 constraints, PredecessorRefiner: 4/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 1 solved, 3 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/3200 variables, 3200/3200 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/3200 variables, 0/3200 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 2 (OVERLAPS) 198/3398 variables, 83/3283 constraints. Problems are: Problem set: 1 solved, 3 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3398 variables, 198/3481 constraints. Problems are: Problem set: 1 solved, 3 unsolved
SMT process timed out in 10478ms, After SMT, problems are : Problem set: 1 solved, 3 unsolved
Fused 3 Parikh solutions to 1 different solutions.
Parikh walk visited 0 properties in 0 ms.
Support contains 3200 out of 6480 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6480/6480 places, 6400/6400 transitions.
Applied a total of 0 rules in 1321 ms. Remains 6480 /6480 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1322 ms. Remains : 6480/6480 places, 6400/6400 transitions.
Detected timeout of ITS tools.
RANDOM walk for 40000 steps (8 resets) in 20912 ms. (1 steps per ms) remains 3/3 properties
[2026-05-23 14:47:48] [INFO ] Flatten gal took : 1593 ms
[2026-05-23 14:47:48] [INFO ] Applying decomposition
BEST_FIRST walk for 40004 steps (8 resets) in 2275 ms. (17 steps per ms) remains 3/3 properties
BEST_FIRST walk for 40004 steps (8 resets) in 2388 ms. (16 steps per ms) remains 3/3 properties
[2026-05-23 14:47:50] [INFO ] Flatten gal took : 1393 ms
BEST_FIRST walk for 40004 steps (8 resets) in 2638 ms. (15 steps per ms) remains 3/3 properties
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph15296564794782051723.txt' '-o' '/tmp/graph15296564794782051723.bin' '-w' '/tmp/graph15296564794782051723.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph15296564794782051723.bin' '-l' '-1' '-v' '-w' '/tmp/graph15296564794782051723.weights' '-q' '0' '-e' '0.001'
[2026-05-23 14:48:04] [INFO ] Decomposing Gal with order
[2026-05-23 14:48:05] [INFO ] Rewriting arrays to variables to allow decomposition.
Interrupted probabilistic random walk after 108056 steps, run timeout after 21066 ms. (steps per millisecond=5 ) properties seen :0 out of 3
Probabilistic random walk after 108056 steps, saw 107974 distinct states, run finished after 21066 ms. (steps per millisecond=5 ) properties seen :0
[2026-05-23 14:48:11] [INFO ] Invariant cache hit.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/3200 variables, 3200/3200 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/3200 variables, 0/3200 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 2 (OVERLAPS) 198/3398 variables, 83/3283 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/3398 variables, 198/3481 constraints. Problems are: Problem set: 0 solved, 3 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/3398 variables, 0/3481 constraints. Problems are: Problem set: 0 solved, 3 unsolved
Problem MAX0 is UNSAT
Problem MIN1 is UNSAT
At refinement iteration 5 (OVERLAPS) 3082/6480 variables, 1597/5078 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/6480 variables, 3082/8160 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/6480 variables, 0/8160 constraints. Problems are: Problem set: 2 solved, 1 unsolved
[2026-05-23 14:48:23] [INFO ] Removed a total of 3040 redundant transitions.
[2026-05-23 14:48:25] [INFO ] Flatten gal took : 18354 ms
[2026-05-23 14:48:28] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 164 ms.
Solver is answering 'unknown', stopping.
[2026-05-23 14:48:30] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality14327801037829484240.gal : 292 ms
[2026-05-23 14:48:30] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality2623293295463211719.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality14327801037829484240.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality2623293295463211719.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
Loading property file /tmp/ReachabilityCardinality2623293295463211719.prop.
After SMT solving in domain Real declared 12880/12880 variables, and 14640 constraints, problems are : Problem set: 2 solved, 1 unsolved in 45007 ms.
Refiners :[Domain max(s): 6480/6480 constraints, Positive P Invariants (semi-flows): 83/83 constraints, Generalized P Invariants (flows): 1597/1597 constraints, State Equation: 6480/6480 constraints, PredecessorRefiner: 3/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 2 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1600 variables, 1600/1600 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1600 variables, 0/1600 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 2 (OVERLAPS) 267/1867 variables, 76/1676 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1867 variables, 267/1943 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1867 variables, 1/1944 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 5 (INCLUDED_ONLY) 0/1867 variables, 0/1944 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 6 (OVERLAPS) 272/2139 variables, 7/1951 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/2139 variables, 272/2223 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 8 (INCLUDED_ONLY) 0/2139 variables, 0/2223 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 9 (OVERLAPS) 4341/6480 variables, 1597/3820 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 10 (INCLUDED_ONLY) 0/6480 variables, 4341/8161 constraints. Problems are: Problem set: 2 solved, 1 unsolved
At refinement iteration 11 (INCLUDED_ONLY) 0/6480 variables, 0/8161 constraints. Problems are: Problem set: 2 solved, 1 unsolved
Solver is answering 'unknown', stopping.
After SMT solving in domain Int declared 12880/12880 variables, and 14641 constraints, problems are : Problem set: 2 solved, 1 unsolved in 13287 ms.
Refiners :[Domain max(s): 6480/6480 constraints, Positive P Invariants (semi-flows): 83/83 constraints, Generalized P Invariants (flows): 1597/1597 constraints, State Equation: 6480/6480 constraints, PredecessorRefiner: 1/0 constraints, Known Traps: 1/1 constraints, Known Traps Along Path: 0/0 constraints]
After SMT, in 58480ms problems are : Problem set: 2 solved, 1 unsolved
Finished Parikh walk after 1506 steps, including 0 resets, run visited all 1 properties in 272 ms. (steps per millisecond=5 )
Parikh walk visited 1 properties in 290 ms.
ITS runner timed out or was interrupted.
ITS tools runner thread asked to quit. Dying gracefully.
FORMULA DatabaseWithMutex-PT-40-UpperBounds-06 40 TECHNIQUES REACHABILITY_MIN
FORMULA DatabaseWithMutex-PT-40-UpperBounds-01 40 TECHNIQUES REACHABILITY_MIN
Current structural bounds on expressions (after reachability check) : Max Seen:[1282] Max Struct:[1599]
[2026-05-23 14:49:10] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[1282] Max Struct:[1599]
RANDOM walk for 169226 steps (0 resets) in 30001 ms. (5 steps per ms)
BEST_FIRST walk for 122916 steps (0 resets) in 5028 ms. (24 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1282] Max Struct:[1599]
[2026-05-23 14:49:45] [INFO ] Invariant cache hit.
[2026-05-23 14:49:47] [INFO ] [Real]Absence check using 83 positive place invariants in 375 ms returned sat
[2026-05-23 14:49:49] [INFO ] [Real]Absence check using 83 positive and 1597 generalized place invariants in 1826 ms returned sat
[2026-05-23 14:50:05] [INFO ] [Real]Absence check using state equation in 16324 ms returned sat
[2026-05-23 14:50:06] [INFO ] Computed and/alt/rep : 1600/1600/1600 causal constraints (skipped 3200 transitions) in 509 ms.
[2026-05-23 14:50:19] [INFO ] Added : 54 causal constraints over 11 iterations in 12722 ms. Result :sat
Minimization took 6446 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[1282] Max Struct:[1599]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[1282] Max Struct:[1599]
Support contains 1600 out of 6480 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6480/6480 places, 6400/6400 transitions.
Applied a total of 0 rules in 1765 ms. Remains 6480 /6480 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1765 ms. Remains : 6480/6480 places, 6400/6400 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6480/6480 places, 6400/6400 transitions.
Applied a total of 0 rules in 1506 ms. Remains 6480 /6480 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
[2026-05-23 14:50:29] [INFO ] Invariant cache hit.
[2026-05-23 14:51:03] [INFO ] Performed 281/6480 implicitness test of which 78 returned IMPLICIT in 30 seconds.
[2026-05-23 14:53:09] [INFO ] Implicit Places using invariants in 160012 ms returned [1, 5, 7, 8, 11, 13, 18, 22, 31, 39, 43, 45, 50, 52, 56, 58, 66, 69, 70, 76, 77, 84, 85, 91, 95, 98, 100, 109, 113, 118, 120, 123, 126, 127, 133, 152, 154, 160, 161, 164, 167, 168, 171, 172, 176, 180, 182, 183, 184, 187, 188, 193, 195, 196, 207, 208, 209, 211, 213, 215, 217, 219, 220, 223, 228, 238, 240, 252, 253, 255, 261, 262, 265, 270, 273, 275, 278, 279, 282, 284, 290, 307, 308, 311, 313, 320, 327, 334, 336, 337, 344, 345, 346, 351]
Discarding 94 places :
Implicit Place search using SMT only with invariants took 160054 ms to find 94 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 6386/6480 places, 6400/6400 transitions.
Applied a total of 0 rules in 1708 ms. Remains 6386 /6386 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 163272 ms. Remains : 6386/6480 places, 6400/6400 transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12376309657064469884.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-2327296196403868575.kers'
[2026-05-23 14:53:11] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12376309657064469884.kers, --Pflows, --basisKERS=/tmp/petrispot-output-2327296196403868575.kers]
Culled 0 columns in 29 ms.
// Phase 1: matrix 6400 rows 6386 cols 140612 entries
Finished phase 1 with 3200 SingleSign rule and 1600 generalized
[2026-05-23 14:53:11] [INFO ] Computed 1586 invariants in 365 ms
Computed 1586 P flows in 366 ms.
Exported basis to /tmp/petrispot-output-2327296196403868575.kers
Total runtime 410 ms.
Current structural bounds on expressions (after invariants) : Max Seen:[1282] Max Struct:[1599]
RANDOM walk for 169271 steps (0 resets) in 30001 ms. (5 steps per ms)
BEST_FIRST walk for 115301 steps (0 resets) in 5037 ms. (22 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1282] Max Struct:[1599]
[2026-05-23 14:53:46] [INFO ] Invariant cache hit.
[2026-05-23 14:53:49] [INFO ] [Real]Absence check using 79 positive place invariants in 523 ms returned sat
[2026-05-23 14:53:50] [INFO ] [Real]Absence check using 79 positive and 1507 generalized place invariants in 1779 ms returned sat
[2026-05-23 14:54:18] [INFO ] [Real]Absence check using state equation in 27663 ms returned sat
[2026-05-23 14:54:20] [INFO ] Solution in real domain found non-integer solution.
[2026-05-23 14:54:27] [INFO ] [Nat]Absence check using 79 positive place invariants in 355 ms returned sat
[2026-05-23 14:54:29] [INFO ] [Nat]Absence check using 79 positive and 1507 generalized place invariants in 2259 ms returned sat
[2026-05-23 14:55:01] [INFO ] [Nat]Absence check using state equation in 32354 ms returned sat
[2026-05-23 14:55:02] [INFO ] Computed and/alt/rep : 1600/1600/1600 causal constraints (skipped 3200 transitions) in 678 ms.
Maximisation of solution failed !
Minimization took 0 ms.
Current structural bounds on expressions (after SMT) : Max Seen:[1282] Max Struct:[1599]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[1282] Max Struct:[1599]
Support contains 1600 out of 6386 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6386/6386 places, 6400/6400 transitions.
Applied a total of 0 rules in 1876 ms. Remains 6386 /6386 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1876 ms. Remains : 6386/6386 places, 6400/6400 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6386/6386 places, 6400/6400 transitions.
Applied a total of 0 rules in 1518 ms. Remains 6386 /6386 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
[2026-05-23 14:55:09] [INFO ] Invariant cache hit.
[2026-05-23 14:55:43] [INFO ] Performed 255/6386 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-23 14:56:15] [INFO ] Performed 438/6386 implicitness test of which 38 returned IMPLICIT in 62 seconds.
[2026-05-23 14:56:47] [INFO ] Performed 591/6386 implicitness test of which 79 returned IMPLICIT in 93 seconds.
[2026-05-23 14:57:17] [INFO ] Performed 769/6386 implicitness test of which 125 returned IMPLICIT in 123 seconds.
[2026-05-23 14:57:47] [INFO ] Performed 976/6386 implicitness test of which 177 returned IMPLICIT in 154 seconds.
[2026-05-23 14:57:49] [INFO ] Implicit Places with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... after 160052 ms
Discarding 182 places :
Implicit Place search using SMT only with invariants took 160088 ms to find 182 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 6204/6386 places, 6400/6400 transitions.
Applied a total of 0 rules in 1797 ms. Remains 6204 /6204 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 163408 ms. Remains : 6204/6386 places, 6400/6400 transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-10532233452776807379.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-7209595976554275191.kers'
[2026-05-23 14:57:51] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-10532233452776807379.kers, --Pflows, --basisKERS=/tmp/petrispot-output-7209595976554275191.kers]
Culled 0 columns in 49 ms.
// Phase 1: matrix 6400 rows 6204 cols 140248 entries
Finished phase 1 with 3200 SingleSign rule and 1600 generalized
[2026-05-23 14:57:51] [INFO ] Computed 1404 invariants in 611 ms
Computed 1404 P flows in 612 ms.
Exported basis to /tmp/petrispot-output-7209595976554275191.kers
Total runtime 636 ms.
Current structural bounds on expressions (after invariants) : Max Seen:[1282] Max Struct:[1599]
RANDOM walk for 171750 steps (0 resets) in 30001 ms. (5 steps per ms)
BEST_FIRST walk for 120392 steps (0 resets) in 5018 ms. (23 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1282] Max Struct:[1599]
[2026-05-23 14:58:26] [INFO ] Invariant cache hit.
[2026-05-23 14:58:29] [INFO ] [Real]Absence check using 73 positive place invariants in 358 ms returned sat
[2026-05-23 14:58:30] [INFO ] [Real]Absence check using 73 positive and 1331 generalized place invariants in 1694 ms returned sat
[2026-05-23 14:59:11] [INFO ] [Real]Absence check using state equation in 41132 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[1282] Max Struct:[1599]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[1282] Max Struct:[1599]
Support contains 1600 out of 6204 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6204/6204 places, 6400/6400 transitions.
Applied a total of 0 rules in 1645 ms. Remains 6204 /6204 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1645 ms. Remains : 6204/6204 places, 6400/6400 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6204/6204 places, 6400/6400 transitions.
Applied a total of 0 rules in 1441 ms. Remains 6204 /6204 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
[2026-05-23 14:59:14] [INFO ] Invariant cache hit.
[2026-05-23 14:59:49] [INFO ] Performed 269/6204 implicitness test of which 0 returned IMPLICIT in 31 seconds.
[2026-05-23 15:00:26] [INFO ] Performed 453/6204 implicitness test of which 0 returned IMPLICIT in 67 seconds.
[2026-05-23 15:00:56] [INFO ] Performed 673/6204 implicitness test of which 0 returned IMPLICIT in 97 seconds.
[2026-05-23 15:01:26] [INFO ] Performed 901/6204 implicitness test of which 25 returned IMPLICIT in 127 seconds.
[2026-05-23 15:01:54] [INFO ] Implicit Places with SMT raised an exceptionSMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... after 160042 ms
Discarding 66 places :
Implicit Place search using SMT only with invariants took 160057 ms to find 66 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 1 : 6138/6204 places, 6400/6400 transitions.
Applied a total of 0 rules in 1628 ms. Remains 6138 /6138 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 163131 ms. Remains : 6138/6204 places, 6400/6400 transitions.
Running PetriSpot : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.petrispot.binaries_1.0.0.202604301425/bin/petri64' '--loadKERS=/tmp/petrispot-input-12504760973188355818.kers' '--Pflows' '--basisKERS=/tmp/petrispot-output-11005008576736073756.kers'
[2026-05-23 15:01:56] [INFO ] Running PetriSpot with arguments : [--loadKERS=/tmp/petrispot-input-12504760973188355818.kers, --Pflows, --basisKERS=/tmp/petrispot-output-11005008576736073756.kers]
Culled 0 columns in 26 ms.
// Phase 1: matrix 6400 rows 6138 cols 140116 entries
Finished phase 1 with 3200 SingleSign rule and 1600 generalized
[2026-05-23 15:01:57] [INFO ] Computed 1338 invariants in 421 ms
Computed 1338 P flows in 422 ms.
Exported basis to /tmp/petrispot-output-11005008576736073756.kers
Total runtime 443 ms.
Current structural bounds on expressions (after invariants) : Max Seen:[1282] Max Struct:[1599]
RANDOM walk for 170079 steps (0 resets) in 30001 ms. (5 steps per ms)
BEST_FIRST walk for 121915 steps (0 resets) in 5001 ms. (24 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1282] Max Struct:[1599]
[2026-05-23 15:02:32] [INFO ] Invariant cache hit.
[2026-05-23 15:02:34] [INFO ] [Real]Absence check using 73 positive place invariants in 343 ms returned sat
[2026-05-23 15:02:35] [INFO ] [Real]Absence check using 73 positive and 1265 generalized place invariants in 1461 ms returned sat
[2026-05-23 15:03:17] [INFO ] [Real]Absence check using state equation in 41580 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[1282] Max Struct:[1599]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[1282] Max Struct:[1599]
Support contains 1600 out of 6138 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6138/6138 places, 6400/6400 transitions.
Applied a total of 0 rules in 1602 ms. Remains 6138 /6138 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1602 ms. Remains : 6138/6138 places, 6400/6400 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6138/6138 places, 6400/6400 transitions.
Applied a total of 0 rules in 1432 ms. Remains 6138 /6138 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
[2026-05-23 15:03:20] [INFO ] Invariant cache hit.
[2026-05-23 15:03:55] [INFO ] Performed 269/6138 implicitness test of which 0 returned IMPLICIT in 31 seconds.
[2026-05-23 15:04:27] [INFO ] Performed 512/6138 implicitness test of which 0 returned IMPLICIT in 63 seconds.
[2026-05-23 15:04:57] [INFO ] Performed 749/6138 implicitness test of which 0 returned IMPLICIT in 93 seconds.
[2026-05-23 15:05:29] [INFO ] Performed 958/6138 implicitness test of which 0 returned IMPLICIT in 126 seconds.
[2026-05-23 15:05:29] [INFO ] Timeout of Implicit test with SMT after 126 seconds.
[2026-05-23 15:05:29] [INFO ] Implicit Places using invariants in 129051 ms returned []
[2026-05-23 15:05:29] [INFO ] Invariant cache hit.
[2026-05-23 15:08:09] [INFO ] Implicit Places using invariants and state equation in 160082 ms returned []
Implicit Place search using SMT with State Equation took 289135 ms to find 0 implicit places.
[2026-05-23 15:08:10] [INFO ] Redundant transitions in 1337 ms returned []
Running 4800 sub problems to find dead transitions.
[2026-05-23 15:08:10] [INFO ] Invariant cache hit.
Error getting values : (error "Timeout of Z3 solver reached")
At refinement iteration 0 (INCLUDED_ONLY) 0/6058 variables, 6058/6058 constraints. Problems are: Problem set: 0 solved, 4800 unsolved
SMT process timed out in 39801ms, After SMT, problems are : Problem set: 0 solved, 4800 unsolved
Search for dead transitions found 0 dead transitions in 39849ms
Finished structural reductions in REACHABILITY mode , in 1 iterations and 331788 ms. Remains : 6138/6138 places, 6400/6400 transitions.
[2026-05-23 15:08:53] [INFO ] Flatten gal took : 2634 ms
[2026-05-23 15:08:55] [INFO ] Flatten gal took : 1566 ms
[2026-05-23 15:08:55] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality8926869922402873157.gal : 185 ms
[2026-05-23 15:08:55] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality12763379253658342217.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality8926869922402873157.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality12763379253658342217.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
RANDOM walk for 40000 steps (8 resets) in 18867 ms. (2 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 2239 ms. (17 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 2040 ms. (19 steps per ms) remains 2/2 properties
Loading property file /tmp/ReachabilityCardinality12763379253658342217.prop.
Probabilistic random walk after 109055 steps, saw 108975 distinct states, run finished after 15134 ms. (steps per millisecond=7 ) properties seen :0
[2026-05-23 15:09:11] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1600 variables, 1600/1600 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1600 variables, 0/1600 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (OVERLAPS) 257/1857 variables, 73/1673 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1857 variables, 257/1930 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1857 variables, 0/1930 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 4281/6138 variables, 1265/3195 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/6138 variables, 4281/7476 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/6138 variables, 0/7476 constraints. Problems are: Problem set: 0 solved, 2 unsolved
SMT process timed out in 5084ms, After SMT, problems are : Problem set: 0 solved, 2 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1600 out of 6138 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6138/6138 places, 6400/6400 transitions.
Applied a total of 0 rules in 1737 ms. Remains 6138 /6138 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1741 ms. Remains : 6138/6138 places, 6400/6400 transitions.
RANDOM walk for 40000 steps (8 resets) in 15636 ms. (2 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1935 ms. (20 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1944 ms. (20 steps per ms) remains 2/2 properties
Interrupted probabilistic random walk after 108056 steps, run timeout after 15005 ms. (steps per millisecond=7 ) properties seen :0 out of 2
Probabilistic random walk after 108056 steps, saw 107975 distinct states, run finished after 15005 ms. (steps per millisecond=7 ) properties seen :0
[2026-05-23 15:09:38] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1600 variables, 1600/1600 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1600 variables, 0/1600 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (OVERLAPS) 257/1857 variables, 73/1673 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1857 variables, 257/1930 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1857 variables, 0/1930 constraints. Problems are: Problem set: 0 solved, 2 unsolved
Problem MAX0 is UNSAT
At refinement iteration 5 (OVERLAPS) 4281/6138 variables, 1265/3195 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/6138 variables, 4281/7476 constraints. Problems are: Problem set: 1 solved, 1 unsolved
Detected timeout of ITS tools.
[2026-05-23 15:09:46] [INFO ] Flatten gal took : 1419 ms
[2026-05-23 15:09:46] [INFO ] Applying decomposition
[2026-05-23 15:09:48] [INFO ] Flatten gal took : 1206 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph3480206943728702147.txt' '-o' '/tmp/graph3480206943728702147.bin' '-w' '/tmp/graph3480206943728702147.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph3480206943728702147.bin' '-l' '-1' '-v' '-w' '/tmp/graph3480206943728702147.weights' '-q' '0' '-e' '0.001'
[2026-05-23 15:09:54] [INFO ] Decomposing Gal with order
[2026-05-23 15:09:55] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 15:10:11] [INFO ] Removed a total of 65656 redundant transitions.
[2026-05-23 15:10:11] [INFO ] Flatten gal took : 14062 ms
[2026-05-23 15:10:21] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1820 ms.
[2026-05-23 15:10:22] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality4716847269591064047.gal : 225 ms
[2026-05-23 15:10:22] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality7373602131059607239.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality4716847269591064047.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality7373602131059607239.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...328
SMT process timed out in 45477ms, After SMT, problems are : Problem set: 1 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1600 out of 6138 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6138/6138 places, 6400/6400 transitions.
Applied a total of 0 rules in 1536 ms. Remains 6138 /6138 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1536 ms. Remains : 6138/6138 places, 6400/6400 transitions.
RANDOM walk for 40000 steps (8 resets) in 11596 ms. (3 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40004 steps (8 resets) in 2128 ms. (18 steps per ms) remains 1/1 properties
Loading property file /tmp/ReachabilityCardinality7373602131059607239.prop.
Interrupted probabilistic random walk after 95668 steps, run timeout after 9019 ms. (steps per millisecond=10 ) properties seen :0 out of 1
Probabilistic random walk after 95668 steps, saw 95595 distinct states, run finished after 9019 ms. (steps per millisecond=10 ) properties seen :0
[2026-05-23 15:10:38] [INFO ] Invariant cache hit.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/1600 variables, 1600/1600 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1600 variables, 0/1600 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (OVERLAPS) 257/1857 variables, 73/1673 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1857 variables, 257/1930 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1857 variables, 0/1930 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 4281/6138 variables, 1265/3195 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/6138 variables, 4281/7476 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/6138 variables, 0/7476 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Detected timeout of ITS tools.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 12538/12538 variables, and 13614 constraints, problems are : Problem set: 0 solved, 1 unsolved in 75041 ms.
Refiners :[Domain max(s): 6138/6138 constraints, Positive P Invariants (semi-flows): 73/73 constraints, Generalized P Invariants (flows): 1265/1265 constraints, State Equation: 6138/6138 constraints, PredecessorRefiner: 1/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1600 variables, 1600/1600 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1600 variables, 0/1600 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (OVERLAPS) 257/1857 variables, 73/1673 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1857 variables, 257/1930 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1857 variables, 0/1930 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 4281/6138 variables, 1265/3195 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/6138 variables, 4281/7476 constraints. Problems are: Problem set: 0 solved, 1 unsolved
SMT process timed out in 155892ms, After SMT, problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1600 out of 6138 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6138/6138 places, 6400/6400 transitions.
Applied a total of 0 rules in 1621 ms. Remains 6138 /6138 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1621 ms. Remains : 6138/6138 places, 6400/6400 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6138/6138 places, 6400/6400 transitions.
Applied a total of 0 rules in 1414 ms. Remains 6138 /6138 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
[2026-05-23 15:13:17] [INFO ] Invariant cache hit.
[2026-05-23 15:13:50] [INFO ] Performed 269/6138 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-23 15:14:21] [INFO ] Performed 512/6138 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-23 15:14:51] [INFO ] Performed 739/6138 implicitness test of which 0 returned IMPLICIT in 91 seconds.
[2026-05-23 15:15:22] [INFO ] Performed 925/6138 implicitness test of which 0 returned IMPLICIT in 122 seconds.
[2026-05-23 15:15:22] [INFO ] Timeout of Implicit test with SMT after 122 seconds.
[2026-05-23 15:15:22] [INFO ] Implicit Places using invariants in 125015 ms returned []
[2026-05-23 15:15:22] [INFO ] Invariant cache hit.
[2026-05-23 15:18:02] [INFO ] Implicit Places using invariants and state equation in 160091 ms returned []
Implicit Place search using SMT with State Equation took 285108 ms to find 0 implicit places.
[2026-05-23 15:18:03] [INFO ] Redundant transitions in 859 ms returned []
Skipped dead transition search.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 287395 ms. Remains : 6138/6138 places, 6400/6400 transitions.
Current structural bounds on expressions (after reachability check) : Max Seen:[1282] Max Struct:[1598]
[2026-05-23 15:18:03] [INFO ] Invariant cache hit.
Current structural bounds on expressions (after invariants) : Max Seen:[1282] Max Struct:[1598]
RANDOM walk for 172813 steps (0 resets) in 30001 ms. (5 steps per ms)
BEST_FIRST walk for 120392 steps (0 resets) in 5017 ms. (23 steps per ms)
Current structural bounds on expressions (after WALK) : Max Seen:[1282] Max Struct:[1598]
[2026-05-23 15:18:38] [INFO ] Invariant cache hit.
[2026-05-23 15:18:40] [INFO ] [Real]Absence check using 73 positive place invariants in 346 ms returned sat
[2026-05-23 15:18:42] [INFO ] [Real]Absence check using 73 positive and 1265 generalized place invariants in 1976 ms returned sat
[2026-05-23 15:19:23] [INFO ] [Real]Absence check using state equation in 40864 ms returned unknown
Current structural bounds on expressions (after SMT) : Max Seen:[1282] Max Struct:[1598]
Current structural bounds on expressions (After Parikh guided walk) : Max Seen:[1282] Max Struct:[1598]
Support contains 1600 out of 6138 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6138/6138 places, 6400/6400 transitions.
Applied a total of 0 rules in 1652 ms. Remains 6138 /6138 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1652 ms. Remains : 6138/6138 places, 6400/6400 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6138/6138 places, 6400/6400 transitions.
Applied a total of 0 rules in 1454 ms. Remains 6138 /6138 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
[2026-05-23 15:19:26] [INFO ] Invariant cache hit.
[2026-05-23 15:20:02] [INFO ] Performed 269/6138 implicitness test of which 0 returned IMPLICIT in 31 seconds.
[2026-05-23 15:20:32] [INFO ] Performed 512/6138 implicitness test of which 0 returned IMPLICIT in 62 seconds.
[2026-05-23 15:21:03] [INFO ] Performed 743/6138 implicitness test of which 0 returned IMPLICIT in 92 seconds.
[2026-05-23 15:21:33] [INFO ] Performed 925/6138 implicitness test of which 0 returned IMPLICIT in 122 seconds.
[2026-05-23 15:21:33] [INFO ] Timeout of Implicit test with SMT after 122 seconds.
[2026-05-23 15:21:33] [INFO ] Implicit Places using invariants in 126735 ms returned []
[2026-05-23 15:21:33] [INFO ] Invariant cache hit.
[2026-05-23 15:24:13] [INFO ] Implicit Places using invariants and state equation in 160090 ms returned []
Implicit Place search using SMT with State Equation took 286827 ms to find 0 implicit places.
[2026-05-23 15:24:14] [INFO ] Redundant transitions in 751 ms returned []
Skipped dead transition search.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 289041 ms. Remains : 6138/6138 places, 6400/6400 transitions.
[2026-05-23 15:24:15] [INFO ] Flatten gal took : 1697 ms
[2026-05-23 15:24:17] [INFO ] Flatten gal took : 1592 ms
[2026-05-23 15:24:17] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality10988239194435981278.gal : 289 ms
[2026-05-23 15:24:17] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality3845115178623782506.prop : 5 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality10988239194435981278.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality3845115178623782506.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
RANDOM walk for 40000 steps (8 resets) in 15836 ms. (2 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 2047 ms. (19 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 2017 ms. (19 steps per ms) remains 2/2 properties
Loading property file /tmp/ReachabilityCardinality3845115178623782506.prop.
Interrupted probabilistic random walk after 104962 steps, run timeout after 15024 ms. (steps per millisecond=6 ) properties seen :0 out of 2
Probabilistic random walk after 104962 steps, saw 104883 distinct states, run finished after 15024 ms. (steps per millisecond=6 ) properties seen :0
[2026-05-23 15:24:34] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1600 variables, 1600/1600 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1600 variables, 0/1600 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (OVERLAPS) 257/1857 variables, 73/1673 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1857 variables, 257/1930 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1857 variables, 0/1930 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 5 (OVERLAPS) 4281/6138 variables, 1265/3195 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/6138 variables, 4281/7476 constraints. Problems are: Problem set: 0 solved, 2 unsolved
SMT process timed out in 8045ms, After SMT, problems are : Problem set: 0 solved, 2 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1600 out of 6138 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6138/6138 places, 6400/6400 transitions.
Applied a total of 0 rules in 1556 ms. Remains 6138 /6138 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1558 ms. Remains : 6138/6138 places, 6400/6400 transitions.
RANDOM walk for 40000 steps (8 resets) in 15547 ms. (2 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 2030 ms. (19 steps per ms) remains 2/2 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1984 ms. (20 steps per ms) remains 2/2 properties
Probabilistic random walk after 104413 steps, saw 104336 distinct states, run finished after 15053 ms. (steps per millisecond=6 ) properties seen :0
[2026-05-23 15:25:04] [INFO ] Invariant cache hit.
At refinement iteration 0 (INCLUDED_ONLY) 0/1600 variables, 1600/1600 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1600 variables, 0/1600 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 2 (OVERLAPS) 257/1857 variables, 73/1673 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1857 variables, 257/1930 constraints. Problems are: Problem set: 0 solved, 2 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1857 variables, 0/1930 constraints. Problems are: Problem set: 0 solved, 2 unsolved
Detected timeout of ITS tools.
[2026-05-23 15:25:09] [INFO ] Flatten gal took : 1273 ms
[2026-05-23 15:25:09] [INFO ] Applying decomposition
Problem MAX0 is UNSAT
At refinement iteration 5 (OVERLAPS) 4281/6138 variables, 1265/3195 constraints. Problems are: Problem set: 1 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/6138 variables, 4281/7476 constraints. Problems are: Problem set: 1 solved, 1 unsolved
[2026-05-23 15:25:10] [INFO ] Flatten gal took : 1168 ms
Converted graph to binary with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/convert-linux64' '-i' '/tmp/graph800242703281782181.txt' '-o' '/tmp/graph800242703281782181.bin' '-w' '/tmp/graph800242703281782181.weights'
Built communities with : '/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202604301425/bin/louvain-linux64' '/tmp/graph800242703281782181.bin' '-l' '-1' '-v' '-w' '/tmp/graph800242703281782181.weights' '-q' '0' '-e' '0.001'
[2026-05-23 15:25:19] [INFO ] Decomposing Gal with order
[2026-05-23 15:25:20] [INFO ] Rewriting arrays to variables to allow decomposition.
[2026-05-23 15:25:37] [INFO ] Removed a total of 65828 redundant transitions.
[2026-05-23 15:25:37] [INFO ] Flatten gal took : 14929 ms
At refinement iteration 7 (INCLUDED_ONLY) 0/6138 variables, 20/7496 constraints. Problems are: Problem set: 1 solved, 1 unsolved
[2026-05-23 15:25:46] [INFO ] Fuse similar labels procedure discarded/fused a total of 0 labels/synchronizations in 1798 ms.
[2026-05-23 15:25:48] [INFO ] Time to serialize gal into /tmp/ReachabilityCardinality3738480142129123282.gal : 224 ms
[2026-05-23 15:25:48] [INFO ] Time to serialize properties into /tmp/ReachabilityCardinality16906934217690412459.prop : 1 ms
Invoking ITS tools like this :cd /home/mcc/execution;'/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64' '--gc-threshold' '2000000' '--quiet' '-i' '/tmp/ReachabilityCardinality3738480142129123282.gal' '-t' 'CGAL' '-reachable-file' '/tmp/ReachabilityCardinality16906934217690412459.prop' '--nowitness' '--gen-order' 'FOLLOW'

its-reach command run as :

/home/mcc/BenchKit/itstools/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202604301425/bin/its-reach-linux64 --gc-threshold 2000000 --quiet ...329
SMT process timed out in 46296ms, After SMT, problems are : Problem set: 1 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1600 out of 6138 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6138/6138 places, 6400/6400 transitions.
Applied a total of 0 rules in 1512 ms. Remains 6138 /6138 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1513 ms. Remains : 6138/6138 places, 6400/6400 transitions.
RANDOM walk for 40000 steps (8 resets) in 11700 ms. (3 steps per ms) remains 1/1 properties
BEST_FIRST walk for 40004 steps (8 resets) in 1954 ms. (20 steps per ms) remains 1/1 properties
Loading property file /tmp/ReachabilityCardinality16906934217690412459.prop.
Interrupted probabilistic random walk after 95668 steps, run timeout after 9038 ms. (steps per millisecond=10 ) properties seen :0 out of 1
Probabilistic random walk after 95668 steps, saw 95595 distinct states, run finished after 9043 ms. (steps per millisecond=10 ) properties seen :0
[2026-05-23 15:26:04] [INFO ] Invariant cache hit.
All remaining problems are real, not stopping.
At refinement iteration 0 (INCLUDED_ONLY) 0/1600 variables, 1600/1600 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1600 variables, 0/1600 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (OVERLAPS) 257/1857 variables, 73/1673 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1857 variables, 257/1930 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1857 variables, 0/1930 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 4281/6138 variables, 1265/3195 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/6138 variables, 4281/7476 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 7 (INCLUDED_ONLY) 0/6138 variables, 0/7476 constraints. Problems are: Problem set: 0 solved, 1 unsolved
Detected timeout of ITS tools.
Solver is answering 'unknown', stopping.
After SMT solving in domain Real declared 12538/12538 variables, and 13614 constraints, problems are : Problem set: 0 solved, 1 unsolved in 75044 ms.
Refiners :[Domain max(s): 6138/6138 constraints, Positive P Invariants (semi-flows): 73/73 constraints, Generalized P Invariants (flows): 1265/1265 constraints, State Equation: 6138/6138 constraints, PredecessorRefiner: 1/0 constraints, Known Traps: 0/0 constraints, Known Traps Along Path: 0/0 constraints]
Escalating to Integer solving :Problem set: 0 solved, 1 unsolved
At refinement iteration 0 (INCLUDED_ONLY) 0/1600 variables, 1600/1600 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 1 (INCLUDED_ONLY) 0/1600 variables, 0/1600 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 2 (OVERLAPS) 257/1857 variables, 73/1673 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 3 (INCLUDED_ONLY) 0/1857 variables, 257/1930 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 4 (INCLUDED_ONLY) 0/1857 variables, 0/1930 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 5 (OVERLAPS) 4281/6138 variables, 1265/3195 constraints. Problems are: Problem set: 0 solved, 1 unsolved
At refinement iteration 6 (INCLUDED_ONLY) 0/6138 variables, 4281/7476 constraints. Problems are: Problem set: 0 solved, 1 unsolved
SMT process timed out in 158475ms, After SMT, problems are : Problem set: 0 solved, 1 unsolved
Skipping Parikh replay, no witness traces provided.
Support contains 1600 out of 6138 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6138/6138 places, 6400/6400 transitions.
Applied a total of 0 rules in 1672 ms. Remains 6138 /6138 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 1672 ms. Remains : 6138/6138 places, 6400/6400 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 6138/6138 places, 6400/6400 transitions.
Applied a total of 0 rules in 1459 ms. Remains 6138 /6138 variables (removed 0) and now considering 6400/6400 (removed 0) transitions.
[2026-05-23 15:28:46] [INFO ] Invariant cache hit.
[2026-05-23 15:29:19] [INFO ] Performed 269/6138 implicitness test of which 0 returned IMPLICIT in 30 seconds.
[2026-05-23 15:29:50] [INFO ] Performed 538/6138 implicitness test of which 0 returned IMPLICIT in 60 seconds.
[2026-05-23 15:30:20] [INFO ] Performed 803/6138 implicitness test of which 0 returned IMPLICIT in 90 seconds.
[2026-05-23 15:30:54] [INFO ] Performed 982/6138 implicitness test of which 0 returned IMPLICIT in 124 seconds.
[2026-05-23 15:30:54] [INFO ] Timeout of Implicit test with SMT after 124 seconds.
[2026-05-23 15:30:54] [INFO ] Implicit Places using invariants in 128043 ms returned []
[2026-05-23 15:30:54] [INFO ] Invariant cache hit.

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
+ BINDIR=/home/mcc/BenchKit/bin//../itstools/bin//../
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit/bin//../itstools/bin//..//runeclipse.sh /home/mcc/execution UpperBounds -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202604301425.jar
+ VERSION=202604301425
+ echo 'Running Version 202604301425'
+ /home/mcc/BenchKit/bin//../itstools/bin//..//itstools/its-tools -pnfolder /home/mcc/execution -examination UpperBounds -its -ltsmin -greatspnpath /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/ -order META -manyOrder -smt -timeout 3600

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="DatabaseWithMutex-PT-40"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5973"
echo " Executing tool itstools"
echo " Input is DatabaseWithMutex-PT-40, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r082-smll-177946993500077"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DatabaseWithMutex-PT-40.tgz
mv DatabaseWithMutex-PT-40 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;