Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r006-smll-158897515500030.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is ASLink-PT-02a, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r006-smll-158897515500030
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 444K
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 08:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 08:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 279K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589213935509

[2020-05-11 16:18:58] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLFireability, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2020-05-11 16:18:58] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-11 16:18:58] [INFO ] Load time of PNML (sax parser for PT used): 188 ms
[2020-05-11 16:18:58] [INFO ] Transformed 626 places.
[2020-05-11 16:18:58] [INFO ] Transformed 1008 transitions.
[2020-05-11 16:18:58] [INFO ] Found NUPN structural information;
[2020-05-11 16:18:58] [INFO ] Parsed PT model containing 626 places and 1008 transitions in 254 ms.
Ensure Unique test removed 10 transitions
Reduce redundant transitions removed 10 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLFireability.xml in 49 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 1205 resets, run finished after 601 ms. (steps per millisecond=166 ) properties seen :[0, 1, 1, 1, 1, 1, 0, 0, 1, 0, 0, 0, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 1, 1, 0, 1, 1, 1, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 0, 1]
// Phase 1: matrix 998 rows 626 cols
[2020-05-11 16:18:59] [INFO ] Computed 118 place invariants in 76 ms
[2020-05-11 16:18:59] [INFO ] [Real]Absence check using 28 positive place invariants in 51 ms returned sat
[2020-05-11 16:18:59] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 76 ms returned sat
[2020-05-11 16:18:59] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:19:01] [INFO ] [Real]Absence check using state equation in 2017 ms returned sat
[2020-05-11 16:19:02] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:19:02] [INFO ] [Nat]Absence check using 28 positive place invariants in 65 ms returned sat
[2020-05-11 16:19:02] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 86 ms returned sat
[2020-05-11 16:19:02] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:19:04] [INFO ] [Nat]Absence check using state equation in 2231 ms returned unsat
[2020-05-11 16:19:04] [INFO ] [Real]Absence check using 28 positive place invariants in 59 ms returned sat
[2020-05-11 16:19:04] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 83 ms returned sat
[2020-05-11 16:19:04] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:19:07] [INFO ] [Real]Absence check using state equation in 2162 ms returned sat
[2020-05-11 16:19:07] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:19:07] [INFO ] [Nat]Absence check using 28 positive place invariants in 56 ms returned sat
[2020-05-11 16:19:07] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 72 ms returned sat
[2020-05-11 16:19:07] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:19:07] [INFO ] [Nat]Absence check using state equation in 545 ms returned unsat
[2020-05-11 16:19:08] [INFO ] [Real]Absence check using 28 positive place invariants in 38 ms returned sat
[2020-05-11 16:19:08] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 76 ms returned sat
[2020-05-11 16:19:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:19:10] [INFO ] [Real]Absence check using state equation in 2106 ms returned sat
[2020-05-11 16:19:10] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:19:10] [INFO ] [Nat]Absence check using 28 positive place invariants in 87 ms returned sat
[2020-05-11 16:19:10] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 96 ms returned sat
[2020-05-11 16:19:10] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:19:11] [INFO ] [Nat]Absence check using state equation in 1030 ms returned unsat
[2020-05-11 16:19:11] [INFO ] [Real]Absence check using 28 positive place invariants in 36 ms returned sat
[2020-05-11 16:19:12] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 81 ms returned sat
[2020-05-11 16:19:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:19:13] [INFO ] [Real]Absence check using state equation in 1942 ms returned sat
[2020-05-11 16:19:14] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:19:14] [INFO ] [Nat]Absence check using 28 positive place invariants in 74 ms returned sat
[2020-05-11 16:19:14] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 105 ms returned sat
[2020-05-11 16:19:14] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:19:16] [INFO ] [Nat]Absence check using state equation in 1989 ms returned unsat
[2020-05-11 16:19:16] [INFO ] [Real]Absence check using 28 positive place invariants in 38 ms returned sat
[2020-05-11 16:19:16] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 73 ms returned sat
[2020-05-11 16:19:16] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:19:18] [INFO ] [Real]Absence check using state equation in 1821 ms returned sat
[2020-05-11 16:19:18] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:19:18] [INFO ] [Nat]Absence check using 28 positive place invariants in 56 ms returned sat
[2020-05-11 16:19:18] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 68 ms returned sat
[2020-05-11 16:19:18] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:19:20] [INFO ] [Nat]Absence check using state equation in 2002 ms returned unsat
[2020-05-11 16:19:21] [INFO ] [Real]Absence check using 28 positive place invariants in 46 ms returned sat
[2020-05-11 16:19:21] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 72 ms returned sat
[2020-05-11 16:19:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:19:22] [INFO ] [Real]Absence check using state equation in 1756 ms returned sat
[2020-05-11 16:19:22] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:19:23] [INFO ] [Nat]Absence check using 28 positive place invariants in 92 ms returned sat
[2020-05-11 16:19:23] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 104 ms returned sat
[2020-05-11 16:19:23] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:19:26] [INFO ] [Nat]Absence check using state equation in 2818 ms returned sat
[2020-05-11 16:19:26] [INFO ] Deduced a trap composed of 24 places in 302 ms
[2020-05-11 16:19:26] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 426 ms
[2020-05-11 16:19:26] [INFO ] Computed and/alt/rep : 997/13104/997 causal constraints in 169 ms.
[2020-05-11 16:19:39] [INFO ] Added : 285 causal constraints over 57 iterations in 13024 ms. Result :sat
[2020-05-11 16:19:39] [INFO ] [Real]Absence check using 28 positive place invariants in 36 ms returned sat
[2020-05-11 16:19:39] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 65 ms returned sat
[2020-05-11 16:19:39] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:19:41] [INFO ] [Real]Absence check using state equation in 1761 ms returned sat
[2020-05-11 16:19:41] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:19:41] [INFO ] [Nat]Absence check using 28 positive place invariants in 85 ms returned sat
[2020-05-11 16:19:41] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 101 ms returned sat
[2020-05-11 16:19:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:19:42] [INFO ] [Nat]Absence check using state equation in 822 ms returned unsat
[2020-05-11 16:19:42] [INFO ] [Real]Absence check using 28 positive place invariants in 61 ms returned sat
[2020-05-11 16:19:43] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 99 ms returned sat
[2020-05-11 16:19:43] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:19:44] [INFO ] [Real]Absence check using state equation in 1690 ms returned sat
[2020-05-11 16:19:44] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:19:45] [INFO ] [Nat]Absence check using 28 positive place invariants in 87 ms returned sat
[2020-05-11 16:19:45] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 100 ms returned sat
[2020-05-11 16:19:45] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:19:47] [INFO ] [Nat]Absence check using state equation in 2290 ms returned sat
[2020-05-11 16:19:47] [INFO ] Deduced a trap composed of 32 places in 375 ms
[2020-05-11 16:19:48] [INFO ] Trap strengthening (SAT) tested/added 2/1 trap constraints in 538 ms
[2020-05-11 16:19:48] [INFO ] Computed and/alt/rep : 997/13104/997 causal constraints in 189 ms.
[2020-05-11 16:20:02] [INFO ] Added : 290 causal constraints over 58 iterations in 14478 ms. Result :unknown
[2020-05-11 16:20:02] [INFO ] [Real]Absence check using 28 positive place invariants in 59 ms returned sat
[2020-05-11 16:20:02] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 103 ms returned sat
[2020-05-11 16:20:02] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:20:05] [INFO ] [Real]Absence check using state equation in 2543 ms returned sat
[2020-05-11 16:20:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:20:05] [INFO ] [Nat]Absence check using 28 positive place invariants in 54 ms returned sat
[2020-05-11 16:20:05] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 71 ms returned sat
[2020-05-11 16:20:05] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:20:07] [INFO ] [Nat]Absence check using state equation in 1821 ms returned sat
[2020-05-11 16:20:07] [INFO ] Computed and/alt/rep : 997/13104/997 causal constraints in 83 ms.
[2020-05-11 16:20:23] [INFO ] Added : 385 causal constraints over 77 iterations in 15653 ms. Result :sat
[2020-05-11 16:20:23] [INFO ] [Real]Absence check using 28 positive place invariants in 38 ms returned sat
[2020-05-11 16:20:23] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 79 ms returned sat
[2020-05-11 16:20:23] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:20:25] [INFO ] [Real]Absence check using state equation in 1699 ms returned sat
[2020-05-11 16:20:25] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:20:25] [INFO ] [Nat]Absence check using 28 positive place invariants in 65 ms returned sat
[2020-05-11 16:20:25] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 67 ms returned sat
[2020-05-11 16:20:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:20:27] [INFO ] [Nat]Absence check using state equation in 2456 ms returned sat
[2020-05-11 16:20:28] [INFO ] Computed and/alt/rep : 997/13104/997 causal constraints in 117 ms.
[2020-05-11 16:20:45] [INFO ] Added : 415 causal constraints over 83 iterations in 17236 ms. Result :unknown
[2020-05-11 16:20:45] [INFO ] [Real]Absence check using 28 positive place invariants in 59 ms returned sat
[2020-05-11 16:20:45] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 68 ms returned sat
[2020-05-11 16:20:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:20:47] [INFO ] [Real]Absence check using state equation in 1676 ms returned sat
[2020-05-11 16:20:47] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:20:47] [INFO ] [Nat]Absence check using 28 positive place invariants in 79 ms returned sat
[2020-05-11 16:20:47] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 67 ms returned sat
[2020-05-11 16:20:47] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:20:49] [INFO ] [Nat]Absence check using state equation in 1686 ms returned sat
[2020-05-11 16:20:49] [INFO ] Deduced a trap composed of 48 places in 402 ms
[2020-05-11 16:20:49] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 436 ms
[2020-05-11 16:20:49] [INFO ] [Real]Absence check using 28 positive place invariants in 37 ms returned sat
[2020-05-11 16:20:49] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 64 ms returned sat
[2020-05-11 16:20:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:20:51] [INFO ] [Real]Absence check using state equation in 1708 ms returned sat
[2020-05-11 16:20:51] [INFO ] Computed and/alt/rep : 997/13104/997 causal constraints in 147 ms.
[2020-05-11 16:20:52] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:20:52] [INFO ] [Nat]Absence check using 28 positive place invariants in 85 ms returned sat
[2020-05-11 16:20:52] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 100 ms returned sat
[2020-05-11 16:20:52] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:20:55] [INFO ] [Nat]Absence check using state equation in 2621 ms returned sat
[2020-05-11 16:20:55] [INFO ] Deduced a trap composed of 31 places in 346 ms
[2020-05-11 16:20:55] [INFO ] Deduced a trap composed of 87 places in 279 ms
[2020-05-11 16:20:55] [INFO ] Trap strengthening (SAT) tested/added 3/2 trap constraints in 763 ms
[2020-05-11 16:20:55] [INFO ] Computed and/alt/rep : 997/13104/997 causal constraints in 102 ms.
[2020-05-11 16:21:12] [INFO ] Added : 340 causal constraints over 68 iterations in 16269 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-11 16:21:12] [INFO ] [Real]Absence check using 28 positive place invariants in 58 ms returned sat
[2020-05-11 16:21:12] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 62 ms returned sat
[2020-05-11 16:21:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:21:14] [INFO ] [Real]Absence check using state equation in 2358 ms returned sat
[2020-05-11 16:21:14] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:21:14] [INFO ] [Nat]Absence check using 28 positive place invariants in 54 ms returned sat
[2020-05-11 16:21:15] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 72 ms returned sat
[2020-05-11 16:21:15] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:21:16] [INFO ] [Nat]Absence check using state equation in 1786 ms returned sat
[2020-05-11 16:21:17] [INFO ] Computed and/alt/rep : 997/13104/997 causal constraints in 125 ms.
[2020-05-11 16:21:34] [INFO ] Added : 410 causal constraints over 82 iterations in 17896 ms. Result :(error "Failed to check-sat")
[2020-05-11 16:21:35] [INFO ] [Real]Absence check using 28 positive place invariants in 62 ms returned sat
[2020-05-11 16:21:35] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 106 ms returned sat
[2020-05-11 16:21:35] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:21:37] [INFO ] [Real]Absence check using state equation in 2327 ms returned sat
[2020-05-11 16:21:37] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:21:37] [INFO ] [Nat]Absence check using 28 positive place invariants in 52 ms returned sat
[2020-05-11 16:21:37] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 66 ms returned sat
[2020-05-11 16:21:37] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:21:39] [INFO ] [Nat]Absence check using state equation in 1887 ms returned sat
[2020-05-11 16:21:39] [INFO ] Computed and/alt/rep : 997/13104/997 causal constraints in 120 ms.
[2020-05-11 16:21:57] [INFO ] Added : 370 causal constraints over 74 iterations in 17804 ms. Result :unknown
[2020-05-11 16:21:57] [INFO ] [Real]Absence check using 28 positive place invariants in 36 ms returned sat
[2020-05-11 16:21:57] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 64 ms returned sat
[2020-05-11 16:21:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:21:59] [INFO ] [Real]Absence check using state equation in 1825 ms returned sat
[2020-05-11 16:21:59] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:21:59] [INFO ] [Nat]Absence check using 28 positive place invariants in 55 ms returned sat
[2020-05-11 16:21:59] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 92 ms returned sat
[2020-05-11 16:21:59] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:22:01] [INFO ] [Nat]Absence check using state equation in 2026 ms returned sat
[2020-05-11 16:22:02] [INFO ] Computed and/alt/rep : 997/13104/997 causal constraints in 123 ms.
[2020-05-11 16:22:19] [INFO ] Added : 365 causal constraints over 73 iterations in 17675 ms. Result :(error "Solver has unexpectedly terminated")
[2020-05-11 16:22:19] [INFO ] [Real]Absence check using 28 positive place invariants in 37 ms returned sat
[2020-05-11 16:22:19] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 68 ms returned sat
[2020-05-11 16:22:19] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:22:21] [INFO ] [Real]Absence check using state equation in 1827 ms returned sat
[2020-05-11 16:22:21] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:22:22] [INFO ] [Nat]Absence check using 28 positive place invariants in 81 ms returned sat
[2020-05-11 16:22:22] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 100 ms returned sat
[2020-05-11 16:22:22] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:22:24] [INFO ] [Nat]Absence check using state equation in 2475 ms returned sat
[2020-05-11 16:22:24] [INFO ] Deduced a trap composed of 24 places in 214 ms
[2020-05-11 16:22:24] [INFO ] Trap strengthening procedure managed to obtain unsat after adding 1 trap constraints in 246 ms
[2020-05-11 16:22:25] [INFO ] [Real]Absence check using 28 positive place invariants in 39 ms returned sat
[2020-05-11 16:22:25] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 63 ms returned sat
[2020-05-11 16:22:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:22:26] [INFO ] [Real]Absence check using state equation in 1812 ms returned sat
[2020-05-11 16:22:26] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:22:27] [INFO ] [Nat]Absence check using 28 positive place invariants in 89 ms returned sat
[2020-05-11 16:22:27] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 65 ms returned sat
[2020-05-11 16:22:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:22:29] [INFO ] [Nat]Absence check using state equation in 2462 ms returned unsat
[2020-05-11 16:22:29] [INFO ] [Real]Absence check using 28 positive place invariants in 38 ms returned sat
[2020-05-11 16:22:29] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 68 ms returned sat
[2020-05-11 16:22:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:22:31] [INFO ] [Real]Absence check using state equation in 1718 ms returned sat
[2020-05-11 16:22:31] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:22:31] [INFO ] [Nat]Absence check using 28 positive place invariants in 86 ms returned sat
[2020-05-11 16:22:32] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 99 ms returned sat
[2020-05-11 16:22:32] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:22:34] [INFO ] [Nat]Absence check using state equation in 2301 ms returned unsat
[2020-05-11 16:22:34] [INFO ] [Real]Absence check using 28 positive place invariants in 36 ms returned sat
[2020-05-11 16:22:34] [INFO ] [Real]Absence check using 28 positive and 90 generalized place invariants in 65 ms returned sat
[2020-05-11 16:22:34] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-11 16:22:36] [INFO ] [Real]Absence check using state equation in 1763 ms returned sat
[2020-05-11 16:22:36] [INFO ] Solution in real domain found non-integer solution.
[2020-05-11 16:22:36] [INFO ] [Nat]Absence check using 28 positive place invariants in 52 ms returned sat
[2020-05-11 16:22:36] [INFO ] [Nat]Absence check using 28 positive and 90 generalized place invariants in 100 ms returned sat
[2020-05-11 16:22:36] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2020-05-11 16:22:37] [INFO ] [Nat]Absence check using state equation in 541 ms returned unsat
Successfully simplified 11 atomic propositions for a total of 13 simplifications.
[2020-05-11 16:22:37] [INFO ] Initial state reduction rules for CTL removed 6 formulas.
[2020-05-11 16:22:37] [INFO ] Flatten gal took : 286 ms
FORMULA ASLink-PT-02a-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-02a-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-02a-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-02a-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-02a-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA ASLink-PT-02a-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-05-11 16:22:37] [INFO ] Flatten gal took : 143 ms
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
[2020-05-11 16:22:38] [INFO ] Applying decomposition
[2020-05-11 16:22:38] [INFO ] Flatten gal took : 145 ms
[2020-05-11 16:22:38] [INFO ] Input system was already deterministic with 998 transitions.
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/convert-linux64, -i, /tmp/graph11658736787731731694.txt, -o, /tmp/graph11658736787731731694.bin, -w, /tmp/graph11658736787731731694.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/louvain-linux64, /tmp/graph11658736787731731694.bin, -l, -1, -v, -w, /tmp/graph11658736787731731694.weights, -q, 0, -e, 0.001], workingDir=null]
[2020-05-11 16:22:38] [INFO ] Decomposing Gal with order
[2020-05-11 16:22:38] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-05-11 16:22:39] [INFO ] Removed a total of 1471 redundant transitions.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 998 rows 626 cols
[2020-05-11 16:22:39] [INFO ] Computed 118 place invariants in 34 ms
inv : p0 + p248 + p319 + p321 + p323 + p325 + p345 + p347 - p363 - p364 - p365 - p366 - p368 - p369 - p370 - p371 + p372 + p373 + p380 + p381 + p382 = 1
inv : p0 + p306 + p307 + p308 + p338 + p339 + p340 + p360 + p361 + p362 + p380 + p381 + p382 + p390 + p423 = 1
inv : p377 + p378 + p379 - p380 - p381 - p382 = 0
inv : p94 - p225 = 0
inv : p0 + p398 + p399 + p400 + p419 = 1
inv : -p582 - p583 - p584 + p585 + p586 + p587 = 0
inv : p0 + p21 + p23 + p26 + p27 + p28 + p33 = 1
inv : p205 + p206 - p207 - p208 - p211 - p213 + p215 + p218 + p224 - p399 - p400 - p419 = 0
inv : -p189 - p190 + p193 + p194 + p195 + p196 + p197 - p221 = 0
inv : p73 + p74 + p75 + p76 + p77 + p78 + p79 + p80 + p81 + p82 + p83 + p84 + p85 + p86 + p87 + p88 + p89 - p92 - p202 = 0
inv : p622 + p623 - p624 - p625 = 0
inv : p0 + p484 + p584 + p590 + p596 + p608 + p609 + p615 = 1
inv : p461 - p507 - p508 - p509 - p541 - p561 - p575 = 0
inv : -p0 - p404 - p405 + p407 - p409 - p411 - p412 - p414 + p463 + p465 + p467 + p469 + p471 + p473 + p475 + p477 + p479 + p481 - p512 + p515 + p516 + p517 - p520 + p523 - p526 + p529 - p532 + p535 - p538 - p544 + p547 + p548 + p549 - p552 + p555 - p558 - p564 + p567 + p568 + p569 - p572 - p578 = -1
inv : p0 + p22 + p23 + p25 + p26 + p27 + p28 + p29 + p30 + p31 + p32 + p33 + p34 + p207 + p208 + p211 + p213 - p215 - p218 + p399 + p400 + p419 = 1
inv : p0 + p424 + p489 + p491 + p493 + p495 + p587 + p593 + p599 + p612 + p618 = 1
inv : p0 + p196 + p227 + p228 = 1
inv : p401 - p419 = 0
inv : p183 + p184 + p185 - p186 - p187 - p188 = 0
inv : p485 - p581 = 0
inv : p385 + p386 - p416 = 0
inv : p0 + p250 + p252 + p254 + p256 + p258 + p260 + p262 + p264 + p294 + p328 + p350 + p370 + p404 + p405 = 1
inv : p483 - p608 - p609 = 0
inv : -p594 - p595 - p596 + p597 + p598 + p599 = 0
inv : p513 + p514 + p515 + p516 + p517 - p518 - p519 - p520 = 0
inv : p0 + p220 + p221 + p222 = 1
inv : p20 - p26 - p27 - p28 = 0
inv : p602 + p603 - p604 - p605 = 0
inv : p100 + p134 + p156 + p176 - p217 - p218 - p219 = 0
inv : p0 + p231 + p233 + p235 + p237 + p239 + p241 + p243 + p245 + p247 - p290 - p296 - p297 - p298 - p300 - p302 - p304 - p330 - p331 - p352 - p353 - p372 - p373 - p383 - p384 + p389 + 2*p390 + p391 - p416 + p423 - p425 - p427 - p429 - p431 - p433 - p435 - p437 - p439 - p441 - p442 - p444 - p446 - p448 - p450 - p452 - p454 - p456 - p458 + p489 + p491 + p493 + p495 + p587 + p593 + p599 + p612 + p618 = 1
inv : p0 + p37 + p39 + p41 + p43 + p45 + p47 + p49 + p51 + p53 + p91 + p92 + p93 + p95 + p97 + p98 + p99 + p101 - p102 - p103 - p104 - p106 - p108 - p110 - p134 + p144 + p145 + p146 - p156 + p166 + p167 + p168 - p176 + p186 + p187 + p188 + p195 + 2*p196 + p197 + p201 + p202 + p203 + p217 + p218 + p219 - p221 - p222 + p225 + p228 - p267 - p269 - p271 - p273 - p275 - p277 - p279 - p281 - p283 + p286 + p396 = 1
inv : p0 + p394 + p419 + p420 + p421 = 1
inv : p212 + p215 + p218 - p399 - p400 - p419 = 0
inv : p55 + p57 + p59 + p61 + p63 + p65 + p67 + p69 + p71 - p125 - p127 - p129 - p131 - p151 - p153 + p169 + p170 + p171 + p172 + p174 + p175 + p176 + p177 - p178 - p179 - p186 - p187 - p188 + p214 + p215 + p216 = 0
inv : p0 + p418 + p419 + p420 + p421 = 1
inv : p0 + p415 + p416 + p417 = 1
inv : p229 + p230 + p290 + p296 + p297 + p298 + p300 + p302 + p304 + p330 + p331 + p352 + p353 + p372 + p373 + p383 + p384 - p389 - 2*p390 - p391 + p416 - p423 = 0
inv : p335 + p336 + p337 - p338 - p339 - p340 = 0
inv : p0 + p405 + p406 + p408 + p409 + p411 + p412 + p414 - p463 - p465 - p467 - p469 - p471 - p473 - p475 - p477 - p479 - p481 + p512 - p515 - p516 - p517 + p520 - p523 + p526 - p529 + p532 - p535 + p538 + p544 - p547 - p548 - p549 + p552 - p555 + p558 + p564 - p567 - p568 - p569 + p572 + p578 = 1
inv : p0 + p486 + p487 + p581 = 1
inv : p0 + p72 + p92 + p202 = 1
inv : p191 + p192 - p221 = 0
inv : p462 + p465 + p466 + p467 + p468 + p469 + p470 + p471 + p472 + p473 + p474 + p475 + p476 + p477 + p478 + p479 + p480 + p481 + p506 + p507 + p508 + p509 - p511 - p512 + p514 + p515 + p516 + p517 - p519 - p520 + p522 + p523 - p525 - p526 + p528 + p529 - p531 - p532 + p534 + p535 - p537 - p538 - p539 + p542 + p546 + p547 + p548 + p549 - p551 - p552 + p554 + p555 - p557 - p558 - p559 + p562 + p566 + p567 + p568 + p569 - p571 - p572 - p573 + p576 = 0
inv : -p613 - p614 - p615 + p616 + p617 + p618 = 0
inv : p209 - p211 - p213 + p215 + p218 - p399 - p400 - p419 = 0
inv : p0 + p210 + p211 + p213 + p214 + p216 + p217 + p219 + p399 + p400 + p419 = 1
inv : -p0 + p392 + p393 - p395 - p396 - p397 - p419 - p420 - p421 = -1
inv : p363 + p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 - p372 - p373 - p380 - p381 - p382 = 0
inv : p341 + p342 + p343 + p344 + p345 + p346 + p347 + p348 + p349 + p350 + p351 - p352 - p353 - p360 - p361 - p362 = 0
inv : p0 + p312 + p313 + p314 + p338 + p339 + p340 + p360 + p361 + p362 + p380 + p381 + p382 + p390 + p423 = 1
inv : p0 + p118 + p119 + p120 + p144 + p145 + p146 + p166 + p167 + p168 + p186 + p187 + p188 + p196 + p228 = 1
inv : p232 + p234 + p236 + p238 + p240 + p242 + p244 + p246 + p425 + p427 + p429 + p431 + p433 + p435 + p437 + p439 + p441 + p442 + p444 + p446 + p448 + p450 + p452 + p454 + p456 + p458 - p489 - p491 - p493 - p495 - p587 - p593 - p599 - p612 - p618 = 0
inv : p24 - p207 - p208 - p211 - p213 + p215 + p218 - p399 - p400 - p419 = 0
inv : p559 + p560 + p561 - p562 - p563 - p564 = 0
inv : p460 + p463 - p506 + p511 - p514 + p519 - p522 + p525 - p528 + p531 - p534 + p537 + p539 + p541 - p542 - p544 - p546 + p551 - p554 + p557 + p559 + p561 - p562 - p564 - p566 + p571 + p573 + p575 - p576 - p578 = 0
inv : p533 + p534 + p535 - p536 - p537 - p538 = 0
inv : p573 + p574 + p575 - p576 - p577 - p578 = 0
inv : p288 - p420 = 0
inv : p0 + p2 + p4 + p6 + p8 + p10 + p12 + p14 + p16 + p18 + p23 + p27 + p30 + p32 + p33 + p34 - p73 - p75 - p77 - p79 - p81 - p83 - p85 - p87 - p89 + p92 + p202 = 1
inv : p425 + p426 + p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 + p436 + p437 + p438 + p439 + p440 + p441 + p442 + p443 + p444 + p445 + p446 + p447 + p448 + p449 + p450 + p451 + p452 + p453 + p454 + p455 + p456 + p457 + p458 - p489 - p491 - p493 - p495 - p587 - p593 - p599 - p612 - p618 = 0
inv : -p0 + p198 + p199 - p201 - p202 - p203 - p224 - p225 - p226 = -1
inv : p0 + p112 + p113 + p114 + p144 + p145 + p146 + p166 + p167 + p168 + p186 + p187 + p188 + p196 + p228 = 1
inv : p332 + p333 + p334 - p338 - p339 - p340 = 0
inv : -p487 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p510 + p511 + p512 + p518 + p519 + p520 + p524 + p525 + p526 + p530 + p531 + p532 + p536 + p537 + p538 + p542 + p543 + p544 + p550 + p551 + p552 + p556 + p557 + p558 + p562 + p563 + p564 + p570 + p571 + p572 + p576 + p577 + p578 - p581 + p582 + p583 + p584 + p588 + p589 + p590 + p594 + p595 + p596 + p604 + p605 + p610 + p611 + p612 + p613 + p614 + p615 + p624 + p625 = 0
inv : p3 + p5 + p7 + p9 + p11 + p13 + p15 + p17 + p73 + p75 + p77 + p79 + p81 + p83 + p85 + p87 + p89 - p92 - p202 = 0
inv : p138 + p139 + p140 - p144 - p145 - p146 = 0
inv : p0 + p294 + p328 + p350 + p370 + p404 + p405 + p409 + p410 + p411 = 1
inv : p565 + p566 + p567 + p568 + p569 - p570 - p571 - p572 = 0
inv : p0 + p223 + p224 + p225 + p226 = 1
inv : p91 + p92 + p93 + p95 + p96 + p97 + p98 + p99 + p101 - p134 + p136 + p137 + p144 + p145 + p146 + p147 + p148 + p149 + p150 + p151 + p152 + p153 + p154 + p155 + p157 - p176 + p178 + p179 + p186 + p187 + p188 + p189 + p190 + p201 + p202 + p203 + p217 + p218 + p219 - p222 + p225 = 0
inv : p91 + p92 + p93 + p95 + p96 + p97 + p98 + p99 + p101 - p134 + p136 + p137 + p144 + p145 + p146 - p156 + p158 + p159 + p166 + p167 + p168 - p176 + p178 + p179 + p186 + p187 + p188 + p189 + p190 + p201 + p202 + p203 + p217 + p218 + p219 - p222 + p225 = 0
inv : p464 - p515 - p516 - p517 - p523 - p529 - p535 - p547 - p548 - p549 - p555 - p567 - p568 - p569 = 0
inv : p19 - p23 - p33 = 0
inv : p521 + p522 + p523 - p524 - p525 - p526 = 0
inv : p285 + p286 + p287 + p289 + p290 + p291 + p292 + p293 + p294 + p295 + p330 + p331 + p338 + p339 + p340 + p352 + p353 + p360 + p361 + p362 + p372 + p373 + p380 + p381 + p382 + p383 + p384 + p395 + p396 + p397 - p417 + p420 = 0
inv : p357 + p358 + p359 - p360 - p361 - p362 = 0
inv : p56 + p58 + p60 + p62 + p64 + p66 + p68 + p70 - p214 - p215 - p216 = 0
inv : p315 + p316 + p317 + p318 + p319 + p320 + p321 + p322 + p323 + p324 + p325 + p326 + p327 + p328 + p329 - p330 - p331 - p338 - p339 - p340 = 0
inv : p354 + p355 + p356 - p360 - p361 - p362 = 0
inv : p163 + p164 + p165 - p166 - p167 - p168 = 0
inv : p0 + p90 + p221 + p222 = 1
inv : -p588 - p589 - p590 + p591 + p592 + p593 = 0
inv : p180 + p181 + p182 - p186 - p187 - p188 = 0
inv : p35 + p36 - p91 - p92 - p93 - p95 - p97 - p98 - p99 - p101 + p102 + p103 + p104 + p106 + p108 + p110 + p134 - p144 - p145 - p146 + p156 - p166 - p167 - p168 + p176 - p186 - p187 - p188 - p195 - 2*p196 - p197 - p201 - p202 - p203 - p217 - p218 - p219 + p221 + p222 - p225 - p228 = 0
inv : p0 + p390 + p422 + p423 = 1
inv : p160 + p161 + p162 - p166 - p167 - p168 = 0
inv : p0 + p284 + p416 + p417 = 1
inv : p0 + p266 + p286 + p396 = 1
inv : p121 + p122 + p123 + p124 + p125 + p126 + p127 + p128 + p129 + p130 + p131 + p132 + p133 + p134 + p135 - p136 - p137 - p144 - p145 - p146 = 0
inv : -p0 + p249 + p251 + p253 + p255 + p257 + p259 + p261 + p263 + p265 - p294 - p319 - p321 - p323 - p325 - p328 - p345 - p347 - p350 + p363 + p364 + p365 + p366 + p368 + p369 + p371 - p372 - p373 - p380 - p381 - p382 - p404 - p405 = -1
inv : p482 - p584 - p590 - p596 - p615 = 0
inv : p0 + p200 + p224 + p225 + p226 = 1
inv : p527 + p528 + p529 - p530 - p531 - p532 = 0
inv : p374 + p375 + p376 - p380 - p381 - p382 = 0
inv : p619 + p620 + p621 - p624 - p625 = 0
inv : -p294 - p328 - p350 - p370 + p412 + p413 + p414 = 0
inv : p505 + p506 + p507 + p508 + p509 - p510 - p511 - p512 = 0
inv : -p383 - p384 + p387 + p388 + p389 + p390 + p391 - p416 = 0
inv : p1 - p23 - p27 - p30 - p32 - p33 - p34 = 0
inv : p141 + p142 + p143 - p144 - p145 - p146 = 0
inv : p0 + p54 + p125 + p127 + p129 + p131 + p151 + p153 - p169 - p170 - p171 - p172 - p174 - p175 - p176 - p177 + p178 + p179 + p186 + p187 + p188 = 1
inv : p0 + p204 + p207 + p208 + p211 + p213 - p215 - p218 + p399 + p400 + p419 = 1
inv : p600 + p601 - p604 - p605 = 0
inv : p0 + p459 + p512 + p520 + p526 + p532 + p538 + p544 + p552 + p558 + p564 + p572 + p578 = 1
inv : p0 + p487 + p488 + p489 + p490 + p491 + p492 + p493 + p494 + p495 + p496 + p581 = 1
inv : -p487 + p497 + p498 + p499 + p500 + p501 + p502 + p503 + p504 + p510 + p511 + p512 + p518 + p519 + p520 + p524 + p525 + p526 + p530 + p531 + p532 + p536 + p537 + p538 + p542 + p543 + p544 + p550 + p551 + p552 + p556 + p557 + p558 + p562 + p563 + p564 + p570 + p571 + p572 + p576 + p577 + p578 - p581 + p582 + p583 + p584 + p588 + p589 + p590 + p594 + p595 + p596 + p604 + p605 + p606 + p607 + p608 + p609 + p613 + p614 + p615 + p624 + p625 = 0
inv : -p399 - p400 + p402 + p403 + p404 - p419 = 0
inv : p579 + p580 + p581 - p582 - p583 - p584 = 0
inv : p539 + p540 + p541 - p542 - p543 - p544 = 0
inv : -p0 + p285 + p286 + p287 + p289 + p290 + p296 + p297 + p298 + p299 + p300 + p301 + p302 + p303 + p304 + p305 + p330 + p331 + p352 + p353 + p372 + p373 + p383 + p384 - p390 + p395 + p396 + p397 - p417 + p420 - p423 = -1
inv : p553 + p554 + p555 - p556 - p557 - p558 = 0
inv : p0 + p115 + p116 + p117 + p144 + p145 + p146 + p166 + p167 + p168 + p186 + p187 + p188 + p196 + p228 = 1
inv : p545 + p546 + p547 + p548 + p549 - p550 - p551 - p552 = 0
inv : p267 + p268 + p269 + p270 + p271 + p272 + p273 + p274 + p275 + p276 + p277 + p278 + p279 + p280 + p281 + p282 + p283 - p286 - p396 = 0
inv : p38 + p40 + p42 + p44 + p46 + p48 + p50 + p52 + p267 + p269 + p271 + p273 + p275 + p277 + p279 + p281 + p283 - p286 - p396 = 0
inv : -p0 - p97 - p98 - p99 - p101 + p102 + p103 + p104 + p105 + p106 + p107 + p108 + p109 + p110 + p111 + p134 - p144 - p145 - p146 + p156 - p166 - p167 - p168 + p176 - p186 - p187 - p188 - p196 - p217 - p218 - p219 - p228 = -1
inv : p0 + p309 + p310 + p311 + p338 + p339 + p340 + p360 + p361 + p362 + p380 + p381 + p382 + p390 + p423 = 1
inv : p169 + p170 + p171 + p172 + p173 + p174 + p175 + p176 + p177 - p178 - p179 - p186 - p187 - p188 = 0
Total of 118 invariants.
[2020-05-11 16:22:39] [INFO ] Computed 118 place invariants in 37 ms
[2020-05-11 16:22:39] [INFO ] Flatten gal took : 383 ms
[2020-05-11 16:22:39] [INFO ] Fuse similar labels procedure discarded/fused a total of 47 labels/synchronizations in 36 ms.
[2020-05-11 16:22:39] [INFO ] Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 22 ms
[2020-05-11 16:22:39] [INFO ] Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 10 LTL properties
Checking formula 0 : !((!(X(((((X("((i8.i0.u108.p411!=1)||(i8.i1.u133.p475!=1))"))&&("(i4.i0.u37.p139==1)"))&&("(i4.i0.u38.p142==1)"))&&("(i4.i0.u39.p145==1)"))&&("(i4.i0.u54.p227==1)")))))
Formula 0 simplified : X("(i4.i0.u37.p139==1)" & "(i4.i0.u38.p142==1)" & "(i4.i0.u39.p145==1)" & "(i4.i0.u54.p227==1)" & X"((i8.i0.u108.p411!=1)||(i8.i1.u133.p475!=1))")
built 16 ordering constraints for composite.
built 17 ordering constraints for composite.
built 123 ordering constraints for composite.
built 36 ordering constraints for composite.
built 27 ordering constraints for composite.
built 16 ordering constraints for composite.
built 8 ordering constraints for composite.
built 127 ordering constraints for composite.
built 22 ordering constraints for composite.
built 12 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 25 ordering constraints for composite.
built 35 ordering constraints for composite.
built 32 ordering constraints for composite.
built 23 ordering constraints for composite.
built 248 ordering constraints for composite.
built 11 ordering constraints for composite.
built 12 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 27 ordering constraints for composite.
built 17 ordering constraints for composite.
built 51 ordering constraints for composite.
built 34 ordering constraints for composite.
built 11 ordering constraints for composite.
built 22 ordering constraints for composite.
built 36 ordering constraints for composite.
[2020-05-11 16:22:40] [INFO ] Proved 626 variables to be positive in 1479 ms
[2020-05-11 16:22:40] [INFO ] Computing symmetric may disable matrix : 998 transitions.
[2020-05-11 16:22:40] [INFO ] Computation of disable matrix completed :0/998 took 0 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2020-05-11 16:22:40] [INFO ] Computation of Complete disable matrix. took 155 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2020-05-11 16:22:40] [INFO ] Computing symmetric may enable matrix : 998 transitions.
[2020-05-11 16:22:41] [INFO ] Computation of Complete enable matrix. took 106 ms. Total solver calls (SAT/UNSAT): 0(0/0)
[2020-05-11 16:22:42] [INFO ] Computing symmetric co enabling matrix : 998 transitions.
[2020-05-11 16:22:44] [INFO ] Computation of co-enabling matrix(4/998) took 1133 ms. Total solver calls (SAT/UNSAT): 396(396/0)
[2020-05-11 16:22:47] [INFO ] Computation of co-enabling matrix(12/998) took 4201 ms. Total solver calls (SAT/UNSAT): 1817(1817/0)
[2020-05-11 16:22:50] [INFO ] Computation of co-enabling matrix(21/998) took 7265 ms. Total solver calls (SAT/UNSAT): 3059(3059/0)
[2020-05-11 16:22:57] [INFO ] Computation of co-enabling matrix(28/998) took 14525 ms. Total solver calls (SAT/UNSAT): 4072(3798/274)
[2020-05-11 16:23:00] [INFO ] Computation of co-enabling matrix(46/998) took 17568 ms. Total solver calls (SAT/UNSAT): 5514(5230/284)
[2020-05-11 16:23:03] [INFO ] Computation of co-enabling matrix(80/998) took 20585 ms. Total solver calls (SAT/UNSAT): 6680(6294/386)
[2020-05-11 16:23:06] [INFO ] Computation of co-enabling matrix(124/998) took 23820 ms. Total solver calls (SAT/UNSAT): 7829(7223/606)
[2020-05-11 16:23:09] [INFO ] Computation of co-enabling matrix(139/998) took 26872 ms. Total solver calls (SAT/UNSAT): 8508(7869/639)
[2020-05-11 16:23:12] [INFO ] Computation of co-enabling matrix(161/998) took 30016 ms. Total solver calls (SAT/UNSAT): 9828(9189/639)
[2020-05-11 16:23:16] [INFO ] Computation of co-enabling matrix(173/998) took 33187 ms. Total solver calls (SAT/UNSAT): 11198(10356/842)
[2020-05-11 16:23:19] [INFO ] Computation of co-enabling matrix(187/998) took 36425 ms. Total solver calls (SAT/UNSAT): 13041(12199/842)
[2020-05-11 16:23:22] [INFO ] Computation of co-enabling matrix(201/998) took 39472 ms. Total solver calls (SAT/UNSAT): 14688(13846/842)
[2020-05-11 16:23:25] [INFO ] Computation of co-enabling matrix(217/998) took 42693 ms. Total solver calls (SAT/UNSAT): 16368(15526/842)
[2020-05-11 16:23:28] [INFO ] Computation of co-enabling matrix(234/998) took 45776 ms. Total solver calls (SAT/UNSAT): 17889(17047/842)
[2020-05-11 16:23:31] [INFO ] Computation of co-enabling matrix(253/998) took 48814 ms. Total solver calls (SAT/UNSAT): 19278(18436/842)
[2020-05-11 16:23:34] [INFO ] Computation of co-enabling matrix(282/998) took 51895 ms. Total solver calls (SAT/UNSAT): 20577(19735/842)
[2020-05-11 16:23:38] [INFO ] Computation of co-enabling matrix(309/998) took 55072 ms. Total solver calls (SAT/UNSAT): 22543(21101/1442)
[2020-05-11 16:23:41] [INFO ] Computation of co-enabling matrix(328/998) took 58194 ms. Total solver calls (SAT/UNSAT): 24686(22068/2618)
Reverse transition relation is NOT exact ! Due to transitions t0, t1, t2, t3, t7, t8, t9, t23, t488, t490, t838, t891, t896, t897, t972, t977, t979, i3.i0.u35.t117, i3.i1.u40.t127, i3.i2.u46.t137, i3.i3.t920, i4.i0.t4, i4.i1.u25.t5, i6.i0.t6, i6.i0.t10, i6.i1.u104.t11, i7.i0.u83.t98, i7.i1.u90.t88, i7.i2.u96.t78, i9.i1.t153, i9.i1.t159, i9.i1.t165, i9.i1.u142.t12, i9.i1.u142.t13, i9.i1.u142.t17, i9.i1.u142.t19, i10.t25, i10.t22, i10.t21, i10.t20, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :461/466/40/967
Computing Next relation with stutter on 2.68735e+06 deadlock states
2 unique states visited
0 strongly connected components in search stack
1 transitions explored
2 items max in DFS search stack
6441 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,64.524,1029592,1,0,1.59734e+06,45797,12606,4.4224e+06,2728,327930,943845
no accepting run found
Formula 0 is TRUE no accepting run found.
FORMULA ASLink-PT-02a-00 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 1 : !((!(G(F("(i4.i0.u31.p114==1)")))))
Formula 1 simplified : GF"(i4.i0.u31.p114==1)"
Computing Next relation with stutter on 2.68735e+06 deadlock states
[2020-05-11 16:23:44] [INFO ] Computation of co-enabling matrix(351/998) took 61286 ms. Total solver calls (SAT/UNSAT): 26744(23418/3326)
[2020-05-11 16:23:47] [INFO ] Computation of co-enabling matrix(397/998) took 64297 ms. Total solver calls (SAT/UNSAT): 29353(24623/4730)
[2020-05-11 16:23:50] [INFO ] Computation of co-enabling matrix(439/998) took 67336 ms. Total solver calls (SAT/UNSAT): 31253(26004/5249)
[2020-05-11 16:23:53] [INFO ] Computation of co-enabling matrix(463/998) took 70419 ms. Total solver calls (SAT/UNSAT): 33201(27664/5537)
[2020-05-11 16:23:56] [INFO ] Computation of co-enabling matrix(484/998) took 73485 ms. Total solver calls (SAT/UNSAT): 35365(29654/5711)
[2020-05-11 16:23:59] [INFO ] Computation of co-enabling matrix(494/998) took 76690 ms. Total solver calls (SAT/UNSAT): 38074(32363/5711)
[2020-05-11 16:24:02] [INFO ] Computation of co-enabling matrix(504/998) took 79988 ms. Total solver calls (SAT/UNSAT): 40747(35036/5711)
[2020-05-11 16:24:05] [INFO ] Computation of co-enabling matrix(515/998) took 83063 ms. Total solver calls (SAT/UNSAT): 43479(37768/5711)
[2020-05-11 16:24:09] [INFO ] Computation of co-enabling matrix(526/998) took 86249 ms. Total solver calls (SAT/UNSAT): 46122(40411/5711)
[2020-05-11 16:24:12] [INFO ] Computation of co-enabling matrix(536/998) took 89291 ms. Total solver calls (SAT/UNSAT): 48475(42764/5711)
[2020-05-11 16:24:15] [INFO ] Computation of co-enabling matrix(548/998) took 92325 ms. Total solver calls (SAT/UNSAT): 51077(45366/5711)
[2020-05-11 16:24:18] [INFO ] Computation of co-enabling matrix(561/998) took 95460 ms. Total solver calls (SAT/UNSAT): 53744(48033/5711)
[2020-05-11 16:24:21] [INFO ] Computation of co-enabling matrix(574/998) took 98518 ms. Total solver calls (SAT/UNSAT): 56274(50563/5711)
[2020-05-11 16:24:24] [INFO ] Computation of co-enabling matrix(588/998) took 101688 ms. Total solver calls (SAT/UNSAT): 58817(53106/5711)
[2020-05-11 16:24:27] [INFO ] Computation of co-enabling matrix(603/998) took 104760 ms. Total solver calls (SAT/UNSAT): 61315(55604/5711)
[2020-05-11 16:24:30] [INFO ] Computation of co-enabling matrix(619/998) took 107779 ms. Total solver calls (SAT/UNSAT): 63723(58012/5711)
[2020-05-11 16:24:33] [INFO ] Computation of co-enabling matrix(637/998) took 110851 ms. Total solver calls (SAT/UNSAT): 66110(60399/5711)
[2020-05-11 16:24:36] [INFO ] Computation of co-enabling matrix(657/998) took 113853 ms. Total solver calls (SAT/UNSAT): 68384(62673/5711)
[2020-05-11 16:24:39] [INFO ] Computation of co-enabling matrix(680/998) took 116941 ms. Total solver calls (SAT/UNSAT): 70579(64868/5711)
[2020-05-11 16:24:42] [INFO ] Computation of co-enabling matrix(711/998) took 119952 ms. Total solver calls (SAT/UNSAT): 72617(66906/5711)
[2020-05-11 16:24:45] [INFO ] Computation of co-enabling matrix(759/998) took 123000 ms. Total solver calls (SAT/UNSAT): 74297(68227/6070)
[2020-05-11 16:24:48] [INFO ] Computation of co-enabling matrix(791/998) took 126026 ms. Total solver calls (SAT/UNSAT): 75543(69189/6354)
[2020-05-11 16:24:52] [INFO ] Computation of co-enabling matrix(846/998) took 129128 ms. Total solver calls (SAT/UNSAT): 76669(69884/6785)
[2020-05-11 16:24:55] [INFO ] Computation of co-enabling matrix(913/998) took 132175 ms. Total solver calls (SAT/UNSAT): 77755(70804/6951)
[2020-05-11 16:24:58] [INFO ] Computation of co-enabling matrix(968/998) took 135205 ms. Total solver calls (SAT/UNSAT): 79000(71874/7126)
[2020-05-11 16:24:59] [INFO ] Computation of Finished co-enabling matrix. took 136165 ms. Total solver calls (SAT/UNSAT): 79193(72001/7192)
[2020-05-11 16:24:59] [INFO ] Computing Do-Not-Accords matrix : 998 transitions.
[2020-05-11 16:25:20] [INFO ] Computation of Completed DNA matrix. took 21615 ms. Total solver calls (SAT/UNSAT): 10155(0/10155)
[2020-05-11 16:25:20] [INFO ] Built C files in 162743ms conformant to PINS in folder :/home/mcc/execution
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
Compilation finished in 16153 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 120 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, !( [](<>((LTLAP5==true)))) , --buchi-type=spotba], workingDir=/home/mcc/execution]
/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc: error while loading shared libraries: libltdl.so.7: cannot open shared object file: No such file or directory
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Unexpected exception when executing ltsmin :CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, !( [](<>((LTLAP5==true)))) , --buchi-type=spotba], workingDir=/home/mcc/execution]
127
java.lang.RuntimeException: Unexpected exception when executing ltsmin :CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, !( [](<>((LTLAP5==true)))) , --buchi-type=spotba], workingDir=/home/mcc/execution]
127
at fr.lip6.move.gal.application.LTSminRunner.checkProperty(LTSminRunner.java:170)
at fr.lip6.move.gal.application.LTSminRunner.access$10(LTSminRunner.java:124)
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:93)
at java.base/java.lang.Thread.run(Thread.java:834)
Detected timeout of ITS tools.
[2020-05-11 16:43:52] [INFO ] Applying decomposition
[2020-05-11 16:43:52] [INFO ] Flatten gal took : 78 ms
[2020-05-11 16:43:52] [INFO ] Decomposing Gal with order
[2020-05-11 16:43:52] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-05-11 16:43:52] [INFO ] Removed a total of 1261 redundant transitions.
[2020-05-11 16:43:53] [INFO ] Flatten gal took : 124 ms
[2020-05-11 16:43:53] [INFO ] Fuse similar labels procedure discarded/fused a total of 399 labels/synchronizations in 39 ms.
[2020-05-11 16:43:53] [INFO ] Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 13 ms
[2020-05-11 16:43:53] [INFO ] Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 9 LTL properties
Checking formula 0 : !((!(G(F("(i6.i1.u10.p114==1)")))))
Formula 0 simplified : GF"(i6.i1.u10.p114==1)"
built 33 ordering constraints for composite.
built 73 ordering constraints for composite.
built 12 ordering constraints for composite.
built 10 ordering constraints for composite.
built 10 ordering constraints for composite.
built 10 ordering constraints for composite.
built 10 ordering constraints for composite.
built 10 ordering constraints for composite.
built 73 ordering constraints for composite.
built 12 ordering constraints for composite.
built 10 ordering constraints for composite.
built 10 ordering constraints for composite.
built 10 ordering constraints for composite.
built 98 ordering constraints for composite.
Reverse transition relation is NOT exact ! Due to transitions t460, t766, t770, t838, t890, t893, t895, t920, t975, t977, i6.t5, i6.t4, i6.t3, i6.t2, i6.t1, i6.t0, i6.u13.t117, i6.u18.t127, i6.u23.t137, i15.t11, i15.t10, i15.t9, i15.t8, i15.t7, i15.t6, i15.u48.t98, i15.u53.t88, i15.u58.t78, i25.t25, i25.t23, i25.t22, i25.t21, i25.t20, i25.t19, i25.t17, i25.t13, i25.t12, i25.u118.t153, i25.u118.t159, i25.u118.t165, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/239/40/279
Computing Next relation with stutter on 2.68735e+06 deadlock states
Detected timeout of ITS tools.
[2020-05-11 17:05:06] [INFO ] Flatten gal took : 73 ms
[2020-05-11 17:05:06] [INFO ] Input system was already deterministic with 998 transitions.
[2020-05-11 17:05:06] [INFO ] Transformed 626 places.
[2020-05-11 17:05:06] [INFO ] Transformed 998 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2020-05-11 17:05:36] [INFO ] Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 11 ms
[2020-05-11 17:05:36] [INFO ] Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 1 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-ltl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Read 9 LTL properties
Successfully loaded order from file /home/mcc/execution/model.ord
Checking formula 0 : !((!(G(F("(p114==1)")))))
Formula 0 simplified : GF"(p114==1)"

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6

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="ASLink-PT-02a"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is ASLink-PT-02a, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r006-smll-158897515500030"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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