Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2024-input.r175-smll-171636280200251.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2024-input.qcow2 backing_fmt=qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5568
Executing tool gold2023
Input is FamilyReunion-COL-L00050M0005C002P002G001, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r175-smll-171636280200251
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 660K
-rw-r--r-- 1 mcc users 6.8K Apr 11 20:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Apr 11 20:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Apr 11 20:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Apr 11 20:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 18 16:42 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Apr 22 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 22 14:44 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 22 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 22 14:44 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Apr 11 21:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 144K Apr 11 21:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 16K Apr 11 21:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 110K Apr 11 21:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Apr 22 14:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 22 14:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 18 16:42 equiv_pt
-rw-r--r-- 1 mcc users 24 May 18 16:42 instance
-rw-r--r-- 1 mcc users 5 May 18 16:42 iscolored
-rw-r--r-- 1 mcc users 137K May 18 16:42 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1716588141289

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=gold2023
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FamilyReunion-COL-L00050M0005C002P002G001
Not applying reductions.
Model is COL
UpperBounds COL
Running Version 202304061127
[2024-05-24 22:02:23] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -its, -ltsmin, -greatspnpath, /home/mcc/BenchKit/bin//../itstools/bin//..//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2024-05-24 22:02:23] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2024-05-24 22:02:23] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2024-05-24 22:02:24] [WARNING] Using fallBack plugin, rng conformance not checked
[2024-05-24 22:02:24] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 861 ms
[2024-05-24 22:02:24] [INFO ] Detected 5 constant HL places corresponding to 17 PT places.
[2024-05-24 22:02:24] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 12245 PT places and 10611.0 transition bindings in 43 ms.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 10 ms.
[2024-05-24 22:02:25] [INFO ] Built PT skeleton of HLPN with 104 places and 66 transitions 198 arcs in 8 ms.
[2024-05-24 22:02:25] [INFO ] Skeletonized 16 HLPN properties in 0 ms.
Reduce places removed 5 places and 0 transitions.
// Phase 1: matrix 66 rows 99 cols
[2024-05-24 22:02:25] [INFO ] Computed 33 invariants in 10 ms
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05 3 TECHNIQUES TOPOLOGICAL CPN_APPROX INITIAL_STATE
[2024-05-24 22:02:25] [INFO ] Invariant cache hit.
[2024-05-24 22:02:25] [INFO ] [Real]Absence check using 4 positive place invariants in 8 ms returned sat
[2024-05-24 22:02:25] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 13 ms returned sat
[2024-05-24 22:02:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:25] [INFO ] [Real]Absence check using state equation in 75 ms returned sat
[2024-05-24 22:02:25] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:02:25] [INFO ] [Nat]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:25] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 17 ms returned sat
[2024-05-24 22:02:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:25] [INFO ] [Nat]Absence check using state equation in 67 ms returned sat
[2024-05-24 22:02:25] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 17 ms.
[2024-05-24 22:02:25] [INFO ] Added : 12 causal constraints over 3 iterations in 66 ms. Result :sat
Minimization took 19 ms.
[2024-05-24 22:02:25] [INFO ] [Real]Absence check using 4 positive place invariants in 4 ms returned sat
[2024-05-24 22:02:25] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 10 ms returned sat
[2024-05-24 22:02:25] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:25] [INFO ] [Real]Absence check using state equation in 46 ms returned sat
[2024-05-24 22:02:25] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:02:25] [INFO ] [Nat]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:25] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 9 ms returned sat
[2024-05-24 22:02:25] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:25] [INFO ] [Nat]Absence check using state equation in 46 ms returned sat
[2024-05-24 22:02:25] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 10 ms.
[2024-05-24 22:02:25] [INFO ] Added : 25 causal constraints over 5 iterations in 74 ms. Result :sat
Minimization took 13 ms.
[2024-05-24 22:02:26] [INFO ] [Real]Absence check using 4 positive place invariants in 5 ms returned sat
[2024-05-24 22:02:26] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 10 ms returned sat
[2024-05-24 22:02:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:26] [INFO ] [Real]Absence check using state equation in 47 ms returned sat
[2024-05-24 22:02:26] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:02:26] [INFO ] [Nat]Absence check using 4 positive place invariants in 4 ms returned sat
[2024-05-24 22:02:26] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 12 ms returned sat
[2024-05-24 22:02:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:26] [INFO ] [Nat]Absence check using state equation in 53 ms returned sat
[2024-05-24 22:02:26] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 12 ms.
[2024-05-24 22:02:26] [INFO ] Added : 63 causal constraints over 13 iterations in 142 ms. Result :sat
Minimization took 19 ms.
[2024-05-24 22:02:26] [INFO ] [Real]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:26] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 11 ms returned sat
[2024-05-24 22:02:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:26] [INFO ] [Real]Absence check using state equation in 38 ms returned sat
[2024-05-24 22:02:26] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:02:26] [INFO ] [Nat]Absence check using 4 positive place invariants in 2 ms returned sat
[2024-05-24 22:02:26] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 12 ms returned sat
[2024-05-24 22:02:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:26] [INFO ] [Nat]Absence check using state equation in 49 ms returned sat
[2024-05-24 22:02:26] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 9 ms.
[2024-05-24 22:02:26] [INFO ] Added : 17 causal constraints over 4 iterations in 51 ms. Result :sat
Minimization took 12 ms.
[2024-05-24 22:02:26] [INFO ] [Real]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:26] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 11 ms returned sat
[2024-05-24 22:02:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:26] [INFO ] [Real]Absence check using state equation in 44 ms returned sat
[2024-05-24 22:02:26] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:02:26] [INFO ] [Nat]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:26] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 16 ms returned sat
[2024-05-24 22:02:26] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:26] [INFO ] [Nat]Absence check using state equation in 38 ms returned sat
[2024-05-24 22:02:26] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 6 ms.
[2024-05-24 22:02:27] [INFO ] Added : 49 causal constraints over 10 iterations in 102 ms. Result :sat
Minimization took 18 ms.
[2024-05-24 22:02:27] [INFO ] [Real]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:27] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 10 ms returned sat
[2024-05-24 22:02:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:27] [INFO ] [Real]Absence check using state equation in 50 ms returned sat
[2024-05-24 22:02:27] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:02:27] [INFO ] [Nat]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:27] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 13 ms returned sat
[2024-05-24 22:02:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:27] [INFO ] [Nat]Absence check using state equation in 37 ms returned sat
[2024-05-24 22:02:27] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 8 ms.
[2024-05-24 22:02:27] [INFO ] Added : 11 causal constraints over 3 iterations in 56 ms. Result :sat
Minimization took 12 ms.
[2024-05-24 22:02:27] [INFO ] [Real]Absence check using 4 positive place invariants in 2 ms returned sat
[2024-05-24 22:02:27] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 9 ms returned sat
[2024-05-24 22:02:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:27] [INFO ] [Real]Absence check using state equation in 39 ms returned sat
[2024-05-24 22:02:27] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:02:27] [INFO ] [Nat]Absence check using 4 positive place invariants in 2 ms returned sat
[2024-05-24 22:02:27] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 10 ms returned sat
[2024-05-24 22:02:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:27] [INFO ] [Nat]Absence check using state equation in 39 ms returned sat
[2024-05-24 22:02:27] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 6 ms.
[2024-05-24 22:02:27] [INFO ] Added : 18 causal constraints over 4 iterations in 44 ms. Result :sat
Minimization took 13 ms.
[2024-05-24 22:02:27] [INFO ] [Real]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:27] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 9 ms returned sat
[2024-05-24 22:02:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:27] [INFO ] [Real]Absence check using state equation in 38 ms returned sat
[2024-05-24 22:02:27] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:02:27] [INFO ] [Nat]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:27] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 10 ms returned sat
[2024-05-24 22:02:27] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:27] [INFO ] [Nat]Absence check using state equation in 42 ms returned sat
[2024-05-24 22:02:27] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 7 ms.
[2024-05-24 22:02:27] [INFO ] Added : 37 causal constraints over 8 iterations in 81 ms. Result :sat
Minimization took 17 ms.
[2024-05-24 22:02:27] [INFO ] [Real]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:27] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 10 ms returned sat
[2024-05-24 22:02:27] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:27] [INFO ] [Real]Absence check using state equation in 40 ms returned sat
[2024-05-24 22:02:27] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:02:27] [INFO ] [Nat]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:28] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 9 ms returned sat
[2024-05-24 22:02:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:28] [INFO ] [Nat]Absence check using state equation in 37 ms returned sat
[2024-05-24 22:02:28] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 5 ms.
[2024-05-24 22:02:28] [INFO ] Added : 3 causal constraints over 1 iterations in 21 ms. Result :sat
Minimization took 10 ms.
[2024-05-24 22:02:28] [INFO ] [Real]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:28] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 10 ms returned sat
[2024-05-24 22:02:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:28] [INFO ] [Real]Absence check using state equation in 37 ms returned sat
[2024-05-24 22:02:28] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:02:28] [INFO ] [Nat]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:28] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 10 ms returned sat
[2024-05-24 22:02:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:28] [INFO ] [Nat]Absence check using state equation in 47 ms returned sat
[2024-05-24 22:02:28] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 6 ms.
[2024-05-24 22:02:28] [INFO ] Added : 25 causal constraints over 5 iterations in 54 ms. Result :sat
Minimization took 15 ms.
[2024-05-24 22:02:28] [INFO ] [Real]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:28] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 9 ms returned sat
[2024-05-24 22:02:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:28] [INFO ] [Real]Absence check using state equation in 35 ms returned sat
[2024-05-24 22:02:28] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:02:28] [INFO ] [Nat]Absence check using 4 positive place invariants in 4 ms returned sat
[2024-05-24 22:02:28] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 10 ms returned sat
[2024-05-24 22:02:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:28] [INFO ] [Nat]Absence check using state equation in 38 ms returned sat
[2024-05-24 22:02:28] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 7 ms.
[2024-05-24 22:02:28] [INFO ] Added : 8 causal constraints over 2 iterations in 31 ms. Result :sat
Minimization took 12 ms.
[2024-05-24 22:02:28] [INFO ] [Real]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:28] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 10 ms returned sat
[2024-05-24 22:02:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:28] [INFO ] [Real]Absence check using state equation in 40 ms returned sat
[2024-05-24 22:02:28] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:02:28] [INFO ] [Nat]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:28] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 11 ms returned sat
[2024-05-24 22:02:28] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:28] [INFO ] [Nat]Absence check using state equation in 47 ms returned sat
[2024-05-24 22:02:28] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 9 ms.
[2024-05-24 22:02:28] [INFO ] Added : 56 causal constraints over 12 iterations in 122 ms. Result :sat
Minimization took 21 ms.
[2024-05-24 22:02:28] [INFO ] [Real]Absence check using 4 positive place invariants in 4 ms returned sat
[2024-05-24 22:02:28] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 10 ms returned sat
[2024-05-24 22:02:28] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:28] [INFO ] [Real]Absence check using state equation in 45 ms returned sat
[2024-05-24 22:02:29] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:02:29] [INFO ] [Nat]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:29] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 11 ms returned sat
[2024-05-24 22:02:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:29] [INFO ] [Nat]Absence check using state equation in 44 ms returned sat
[2024-05-24 22:02:29] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 7 ms.
[2024-05-24 22:02:29] [INFO ] Added : 53 causal constraints over 11 iterations in 107 ms. Result :sat
Minimization took 18 ms.
[2024-05-24 22:02:29] [INFO ] [Real]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:29] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 9 ms returned sat
[2024-05-24 22:02:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:29] [INFO ] [Real]Absence check using state equation in 41 ms returned sat
[2024-05-24 22:02:29] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:02:29] [INFO ] [Nat]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:29] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 9 ms returned sat
[2024-05-24 22:02:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:29] [INFO ] [Nat]Absence check using state equation in 37 ms returned sat
[2024-05-24 22:02:29] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 7 ms.
[2024-05-24 22:02:29] [INFO ] Added : 40 causal constraints over 8 iterations in 82 ms. Result :sat
Minimization took 17 ms.
[2024-05-24 22:02:29] [INFO ] [Real]Absence check using 4 positive place invariants in 3 ms returned sat
[2024-05-24 22:02:29] [INFO ] [Real]Absence check using 4 positive and 29 generalized place invariants in 10 ms returned sat
[2024-05-24 22:02:29] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:29] [INFO ] [Real]Absence check using state equation in 34 ms returned sat
[2024-05-24 22:02:29] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:02:29] [INFO ] [Nat]Absence check using 4 positive place invariants in 2 ms returned sat
[2024-05-24 22:02:29] [INFO ] [Nat]Absence check using 4 positive and 29 generalized place invariants in 9 ms returned sat
[2024-05-24 22:02:29] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:29] [INFO ] [Nat]Absence check using state equation in 37 ms returned sat
[2024-05-24 22:02:29] [INFO ] Computed and/alt/rep : 65/89/65 causal constraints (skipped 0 transitions) in 6 ms.
[2024-05-24 22:02:29] [INFO ] Added : 57 causal constraints over 12 iterations in 109 ms. Result :sat
Minimization took 18 ms.
Current structural bounds on expressions (after SMT) : [51, 51, 2, 867, 51, 51, 51, 408, 51, 51, 1122, 2, 51, 102, 6]
Transition Gate2ANDJoin forces synchronizations/join behavior on parameter l of sort LegalResident
Transition ReceiveLangChoice forces synchronizations/join behavior on parameter m of sort MICSystem
Symmetric sort wr.t. initial and guards and successors and join/free detected :CINFORMI
Symmetric sort wr.t. initial detected :CINFORMI
Symmetric sort wr.t. initial and guards detected :CINFORMI
Applying symmetric unfolding of full symmetric sort :CINFORMI domain size was 3
Transition Gate1ANDJoin forces synchronizations/join behavior on parameter p of sort PublicAdminOffice
Symmetric sort wr.t. initial and guards and successors and join/free detected :Response
Symmetric sort wr.t. initial detected :Response
Transition SendClearanceToRel : guard parameter $r(Response:2) in guard (EQ $r 0)introduces in Response(2) partition with 2 elements
Symmetric sort wr.t. initial and guards and successors and join/free detected :GovernmentCommission
Symmetric sort wr.t. initial detected :GovernmentCommission
Symmetric sort wr.t. initial and guards detected :GovernmentCommission
Applying symmetric unfolding of full symmetric sort :GovernmentCommission domain size was 2
[2024-05-24 22:02:29] [INFO ] Unfolded HLPN to a Petri net with 11467 places and 9336 transitions 26832 arcs in 143 ms.
[2024-05-24 22:02:29] [INFO ] Unfolded 15 HLPN properties in 1 ms.
Deduced a syphon composed of 51 places in 63 ms
Reduce places removed 64 places and 0 transitions.
Incomplete random walk after 10000 steps, including 3 resets, run finished after 698 ms. (steps per millisecond=14 ) properties (out of 15) seen :210
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12 2 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02 2 TECHNIQUES TOPOLOGICAL RANDOM_WALK
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01 51 TECHNIQUES TOPOLOGICAL RANDOM_WALK
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 91 ms. (steps per millisecond=109 ) properties (out of 12) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 12) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 38 ms. (steps per millisecond=263 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10000 steps, including 2 resets, run finished after 86 ms. (steps per millisecond=116 ) properties (out of 12) seen :2
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 88 ms. (steps per millisecond=113 ) properties (out of 12) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 35 ms. (steps per millisecond=285 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 81 ms. (steps per millisecond=123 ) properties (out of 12) seen :3
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 34 ms. (steps per millisecond=294 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 83 ms. (steps per millisecond=120 ) properties (out of 12) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 24 ms. (steps per millisecond=416 ) properties (out of 12) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 34 ms. (steps per millisecond=294 ) properties (out of 12) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 34 ms. (steps per millisecond=294 ) properties (out of 12) seen :1
// Phase 1: matrix 9336 rows 11403 cols
[2024-05-24 22:02:32] [INFO ] Computed 2767 invariants in 1021 ms
[2024-05-24 22:02:34] [INFO ] [Real]Absence check using 59 positive place invariants in 388 ms returned sat
[2024-05-24 22:02:36] [INFO ] [Real]Absence check using 59 positive and 2708 generalized place invariants in 1992 ms returned sat
[2024-05-24 22:02:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:37] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 0
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:902)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-24 22:02:39] [INFO ] [Real]Absence check using 59 positive place invariants in 386 ms returned sat
[2024-05-24 22:02:41] [INFO ] [Real]Absence check using 59 positive and 2708 generalized place invariants in 1987 ms returned sat
[2024-05-24 22:02:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:42] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 1
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:902)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-24 22:02:44] [INFO ] [Real]Absence check using 59 positive place invariants in 400 ms returned sat
[2024-05-24 22:02:46] [INFO ] [Real]Absence check using 59 positive and 2708 generalized place invariants in 2032 ms returned sat
[2024-05-24 22:02:46] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:47] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 2
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:902)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-24 22:02:49] [INFO ] [Real]Absence check using 59 positive place invariants in 377 ms returned sat
[2024-05-24 22:02:51] [INFO ] [Real]Absence check using 59 positive and 2708 generalized place invariants in 1934 ms returned sat
[2024-05-24 22:02:51] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:52] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 3
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:902)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-24 22:02:54] [INFO ] [Real]Absence check using 59 positive place invariants in 382 ms returned sat
[2024-05-24 22:02:56] [INFO ] [Real]Absence check using 59 positive and 2708 generalized place invariants in 1801 ms returned sat
[2024-05-24 22:02:56] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:02:57] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 4
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:902)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-24 22:02:59] [INFO ] [Real]Absence check using 59 positive place invariants in 382 ms returned sat
[2024-05-24 22:03:01] [INFO ] [Real]Absence check using 59 positive and 2708 generalized place invariants in 1955 ms returned sat
[2024-05-24 22:03:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:03:02] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 5
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:902)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-24 22:03:04] [INFO ] [Real]Absence check using 59 positive place invariants in 390 ms returned sat
[2024-05-24 22:03:06] [INFO ] [Real]Absence check using 59 positive and 2708 generalized place invariants in 1926 ms returned sat
[2024-05-24 22:03:06] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:03:07] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 6
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:902)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-24 22:03:10] [INFO ] [Real]Absence check using 59 positive place invariants in 401 ms returned sat
[2024-05-24 22:03:12] [INFO ] [Real]Absence check using 59 positive and 2708 generalized place invariants in 1987 ms returned sat
[2024-05-24 22:03:12] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:03:12] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 7
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:902)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-24 22:03:14] [INFO ] [Real]Absence check using 59 positive place invariants in 401 ms returned sat
[2024-05-24 22:03:17] [INFO ] [Real]Absence check using 59 positive and 2708 generalized place invariants in 2079 ms returned sat
[2024-05-24 22:03:17] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:03:17] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ... while checking expression at index 8
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Failed to assert expression: java.io.IOException: Broken pipe ...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:902)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-24 22:03:19] [INFO ] [Real]Absence check using 59 positive place invariants in 389 ms returned sat
[2024-05-24 22:03:21] [INFO ] [Real]Absence check using 59 positive and 2708 generalized place invariants in 1995 ms returned sat
[2024-05-24 22:03:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:03:22] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")... while checking expression at index 9
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Broken pipe")...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:902)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-24 22:03:25] [INFO ] [Real]Absence check using 59 positive place invariants in 391 ms returned sat
[2024-05-24 22:03:26] [INFO ] [Real]Absence check using 59 positive and 2708 generalized place invariants in 1914 ms returned sat
[2024-05-24 22:03:26] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:03:27] [WARNING] SMT solver failed with error :java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed... while checking expression at index 10
java.lang.RuntimeException: SMT solver raised an error when submitting script. Raised (error "Error writing to Z3 solver: java.io.IOException: Stream closed...
at fr.lip6.move.gal.structural.smt.SMTUtils.execAndCheckResult(SMTUtils.java:251)
at fr.lip6.move.gal.structural.smt.DeadlockTester.verifyPossible(DeadlockTester.java:902)
at fr.lip6.move.gal.structural.smt.DeadlockTester.findStructuralMaxWithSMT(DeadlockTester.java:2621)
at fr.lip6.move.gal.application.solver.UpperBoundsSolver.applyReductions(UpperBoundsSolver.java:186)
at fr.lip6.move.gal.application.Application.startNoEx(Application.java:754)
at fr.lip6.move.gal.application.Application.start(Application.java:182)
at fr.lip6.move.gal.itscl.application.Application.start(Application.java:45)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:203)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:136)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:402)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:255)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at java.base/jdk.internal.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:77)
at java.base/jdk.internal.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.base/java.lang.reflect.Method.invoke(Method.java:568)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:659)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:596)
at org.eclipse.equinox.launcher.Main.run(Main.java:1467)
at org.eclipse.equinox.launcher.Main.main(Main.java:1440)
[2024-05-24 22:03:30] [INFO ] [Real]Absence check using 59 positive place invariants in 391 ms returned sat
[2024-05-24 22:03:31] [INFO ] [Real]Absence check using 59 positive and 2708 generalized place invariants in 1818 ms returned unsat
Current structural bounds on expressions (after SMT) : [51, 867, 51, 51, 51, 408, 51, 51, 1122, 51, 102, 2] Max seen :[22, 4, 8, 10, 13, 28, 19, 8, 13, 16, 12, 2]
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15 2 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Support contains 1786 out of 11403 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 11403/11403 places, 9336/9336 transitions.
Graph (complete) has 16989 edges and 11403 vertex of which 10363 are kept as prefixes of interest. Removing 1040 places using SCC suffix rule.58 ms
Discarding 1040 places :
Also discarding 768 output transitions
Drop transitions removed 768 transitions
Discarding 1683 places :
Implicit places reduction removed 1683 places
Drop transitions removed 1632 transitions
Trivial Post-agglo rules discarded 1632 transitions
Performed 1632 trivial Post agglomeration. Transition count delta: 1632
Iterating post reduction 0 with 3315 rules applied. Total rules applied 3316 place count 8680 transition count 6936
Reduce places removed 1632 places and 0 transitions.
Performed 969 Post agglomeration using F-continuation condition.Transition count delta: 969
Iterating post reduction 1 with 2601 rules applied. Total rules applied 5917 place count 7048 transition count 5967
Reduce places removed 969 places and 0 transitions.
Iterating post reduction 2 with 969 rules applied. Total rules applied 6886 place count 6079 transition count 5967
Performed 765 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 3 with 765 Pre rules applied. Total rules applied 6886 place count 6079 transition count 5202
Deduced a syphon composed of 765 places in 7 ms
Ensure Unique test removed 306 places
Reduce places removed 1071 places and 0 transitions.
Iterating global reduction 3 with 1836 rules applied. Total rules applied 8722 place count 5008 transition count 5202
Drop transitions removed 153 transitions
Trivial Post-agglo rules discarded 153 transitions
Performed 153 trivial Post agglomeration. Transition count delta: 153
Iterating post reduction 3 with 153 rules applied. Total rules applied 8875 place count 5008 transition count 5049
Reduce places removed 153 places and 0 transitions.
Iterating post reduction 4 with 153 rules applied. Total rules applied 9028 place count 4855 transition count 5049
Performed 51 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 51 Pre rules applied. Total rules applied 9028 place count 4855 transition count 4998
Deduced a syphon composed of 51 places in 6 ms
Reduce places removed 51 places and 0 transitions.
Iterating global reduction 5 with 102 rules applied. Total rules applied 9130 place count 4804 transition count 4998
Discarding 764 places :
Symmetric choice reduction at 5 with 764 rule applications. Total rules 9894 place count 4040 transition count 4234
Ensure Unique test removed 1 places
Iterating global reduction 5 with 765 rules applied. Total rules applied 10659 place count 4039 transition count 4234
Performed 51 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 5 with 51 Pre rules applied. Total rules applied 10659 place count 4039 transition count 4183
Deduced a syphon composed of 51 places in 4 ms
Reduce places removed 51 places and 0 transitions.
Iterating global reduction 5 with 102 rules applied. Total rules applied 10761 place count 3988 transition count 4183
Discarding 2 places :
Symmetric choice reduction at 5 with 2 rule applications. Total rules 10763 place count 3986 transition count 4081
Iterating global reduction 5 with 2 rules applied. Total rules applied 10765 place count 3986 transition count 4081
Ensure Unique test removed 102 transitions
Reduce isomorphic transitions removed 102 transitions.
Iterating post reduction 5 with 102 rules applied. Total rules applied 10867 place count 3986 transition count 3979
Performed 102 Post agglomeration using F-continuation condition.Transition count delta: 102
Deduced a syphon composed of 102 places in 5 ms
Ensure Unique test removed 51 places
Reduce places removed 153 places and 0 transitions.
Iterating global reduction 6 with 255 rules applied. Total rules applied 11122 place count 3833 transition count 3877
Free-agglomeration rule (complex) applied 51 times.
Iterating global reduction 6 with 51 rules applied. Total rules applied 11173 place count 3833 transition count 3826
Ensure Unique test removed 51 places
Reduce places removed 102 places and 0 transitions.
Iterating post reduction 6 with 102 rules applied. Total rules applied 11275 place count 3731 transition count 3826
Applied a total of 11275 rules in 4095 ms. Remains 3731 /11403 variables (removed 7672) and now considering 3826/9336 (removed 5510) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 4096 ms. Remains : 3731/11403 places, 3826/9336 transitions.
// Phase 1: matrix 3826 rows 3731 cols
[2024-05-24 22:03:36] [INFO ] Computed 410 invariants in 66 ms
Finished random walk after 712790 steps, including 659 resets, run visited all 11 properties in 30001 ms. (steps per millisecond=23 )
Finished Best-First random walk after 511032 steps, including 10 resets, run visited all 11 properties in 5001 ms. (steps per millisecond=102 )
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00 51 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 1000001 steps, including 15 resets, run finished after 3167 ms. (steps per millisecond=315 ) properties (out of 10) seen :179
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04 51 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Finished Best-First random walk after 540402 steps, including 10 resets, run visited all 9 properties in 5001 ms. (steps per millisecond=108 )
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07 51 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Finished Best-First random walk after 560266 steps, including 12 resets, run visited all 8 properties in 5001 ms. (steps per millisecond=112 )
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09 51 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Finished Best-First random walk after 572697 steps, including 13 resets, run visited all 7 properties in 5001 ms. (steps per millisecond=114 )
Incomplete Best-First random walk after 1000001 steps, including 17 resets, run finished after 1871 ms. (steps per millisecond=534 ) properties (out of 7) seen :134
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13 51 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
[2024-05-24 22:04:31] [INFO ] Invariant cache hit.
[2024-05-24 22:04:31] [INFO ] [Real]Absence check using 0 positive and 410 generalized place invariants in 183 ms returned sat
[2024-05-24 22:04:31] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:04:34] [INFO ] [Real]Absence check using state equation in 2548 ms returned sat
[2024-05-24 22:04:34] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:04:35] [INFO ] [Nat]Absence check using 0 positive and 410 generalized place invariants in 192 ms returned sat
[2024-05-24 22:04:35] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:04:38] [INFO ] [Nat]Absence check using state equation in 2722 ms returned sat
[2024-05-24 22:04:38] [INFO ] Computed and/alt/rep : 3162/5865/3162 causal constraints (skipped 358 transitions) in 473 ms.
[2024-05-24 22:04:49] [INFO ] Added : 133 causal constraints over 27 iterations in 11067 ms. Result :sat
[2024-05-24 22:04:50] [INFO ] [Real]Absence check using 0 positive and 410 generalized place invariants in 187 ms returned sat
[2024-05-24 22:04:50] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:04:53] [INFO ] [Real]Absence check using state equation in 2615 ms returned sat
[2024-05-24 22:04:53] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:04:53] [INFO ] [Nat]Absence check using 0 positive and 410 generalized place invariants in 184 ms returned sat
[2024-05-24 22:04:53] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:04:56] [INFO ] [Nat]Absence check using state equation in 2626 ms returned sat
[2024-05-24 22:04:57] [INFO ] Computed and/alt/rep : 3162/5865/3162 causal constraints (skipped 358 transitions) in 677 ms.
[2024-05-24 22:05:08] [INFO ] Added : 161 causal constraints over 33 iterations in 11599 ms. Result :sat
[2024-05-24 22:05:09] [INFO ] [Real]Absence check using 0 positive and 410 generalized place invariants in 181 ms returned sat
[2024-05-24 22:05:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:05:12] [INFO ] [Real]Absence check using state equation in 3022 ms returned sat
[2024-05-24 22:05:12] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:05:13] [INFO ] [Nat]Absence check using 0 positive and 410 generalized place invariants in 183 ms returned sat
[2024-05-24 22:05:13] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:05:16] [INFO ] [Nat]Absence check using state equation in 3156 ms returned sat
[2024-05-24 22:05:16] [INFO ] Computed and/alt/rep : 3162/5865/3162 causal constraints (skipped 358 transitions) in 275 ms.
[2024-05-24 22:05:36] [INFO ] Added : 275 causal constraints over 55 iterations in 20038 ms.(timeout) Result :sat
[2024-05-24 22:05:37] [INFO ] [Real]Absence check using 0 positive and 410 generalized place invariants in 181 ms returned sat
[2024-05-24 22:05:37] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:05:40] [INFO ] [Real]Absence check using state equation in 2894 ms returned sat
[2024-05-24 22:05:40] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:05:41] [INFO ] [Nat]Absence check using 0 positive and 410 generalized place invariants in 182 ms returned sat
[2024-05-24 22:05:41] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:05:44] [INFO ] [Nat]Absence check using state equation in 2997 ms returned sat
[2024-05-24 22:05:44] [INFO ] Computed and/alt/rep : 3162/5865/3162 causal constraints (skipped 358 transitions) in 387 ms.
[2024-05-24 22:06:04] [INFO ] Added : 253 causal constraints over 51 iterations in 20309 ms. Result :sat
[2024-05-24 22:06:05] [INFO ] [Real]Absence check using 0 positive and 410 generalized place invariants in 180 ms returned sat
[2024-05-24 22:06:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:06:07] [INFO ] [Real]Absence check using state equation in 1683 ms returned unsat
[2024-05-24 22:06:08] [INFO ] [Real]Absence check using 0 positive and 410 generalized place invariants in 181 ms returned sat
[2024-05-24 22:06:08] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:06:10] [INFO ] [Real]Absence check using state equation in 2692 ms returned sat
[2024-05-24 22:06:10] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:06:11] [INFO ] [Nat]Absence check using 0 positive and 410 generalized place invariants in 183 ms returned sat
[2024-05-24 22:06:11] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:06:14] [INFO ] [Nat]Absence check using state equation in 2665 ms returned sat
[2024-05-24 22:06:14] [INFO ] Computed and/alt/rep : 3162/5865/3162 causal constraints (skipped 358 transitions) in 245 ms.
[2024-05-24 22:06:22] [INFO ] Added : 45 causal constraints over 9 iterations in 7621 ms. Result :sat
Current structural bounds on expressions (after SMT) : [867, 51, 408, 51, 51, 102] Max seen :[8, 18, 28, 16, 51, 14]
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11 51 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Support contains 510 out of 3731 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 3731/3731 places, 3826/3826 transitions.
Graph (complete) has 5916 edges and 3731 vertex of which 3628 are kept as prefixes of interest. Removing 103 places using SCC suffix rule.2 ms
Discarding 103 places :
Also discarding 103 output transitions
Drop transitions removed 103 transitions
Discarding 306 places :
Implicit places reduction removed 306 places
Drop transitions removed 1224 transitions
Trivial Post-agglo rules discarded 1224 transitions
Performed 1224 trivial Post agglomeration. Transition count delta: 1224
Iterating post reduction 0 with 1530 rules applied. Total rules applied 1531 place count 3322 transition count 2499
Reduce places removed 1224 places and 0 transitions.
Performed 612 Post agglomeration using F-continuation condition.Transition count delta: 612
Iterating post reduction 1 with 1836 rules applied. Total rules applied 3367 place count 2098 transition count 1887
Reduce places removed 612 places and 0 transitions.
Iterating post reduction 2 with 612 rules applied. Total rules applied 3979 place count 1486 transition count 1887
Discarding 5 places :
Symmetric choice reduction at 3 with 5 rule applications. Total rules 3984 place count 1481 transition count 1632
Iterating global reduction 3 with 5 rules applied. Total rules applied 3989 place count 1481 transition count 1632
Discarding 51 places :
Implicit places reduction removed 51 places
Iterating post reduction 3 with 51 rules applied. Total rules applied 4040 place count 1430 transition count 1632
Free-agglomeration rule (complex) applied 306 times.
Iterating global reduction 4 with 306 rules applied. Total rules applied 4346 place count 1430 transition count 1326
Reduce places removed 306 places and 0 transitions.
Iterating post reduction 4 with 306 rules applied. Total rules applied 4652 place count 1124 transition count 1326
Applied a total of 4652 rules in 533 ms. Remains 1124 /3731 variables (removed 2607) and now considering 1326/3826 (removed 2500) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 534 ms. Remains : 1124/3731 places, 1326/3826 transitions.
// Phase 1: matrix 1326 rows 1124 cols
[2024-05-24 22:06:24] [INFO ] Computed 53 invariants in 11 ms
Incomplete random walk after 1000000 steps, including 1779 resets, run finished after 17019 ms. (steps per millisecond=58 ) properties (out of 5) seen :117
Incomplete Best-First random walk after 1000001 steps, including 35 resets, run finished after 2826 ms. (steps per millisecond=353 ) properties (out of 5) seen :80
Finished Best-First random walk after 580044 steps, including 18 resets, run visited all 5 properties in 5001 ms. (steps per millisecond=115 )
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06 51 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
Incomplete Best-First random walk after 1000001 steps, including 32 resets, run finished after 2686 ms. (steps per millisecond=372 ) properties (out of 4) seen :74
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10 51 TECHNIQUES TOPOLOGICAL BESTFIRST_WALK
[2024-05-24 22:06:52] [INFO ] Invariant cache hit.
[2024-05-24 22:06:52] [INFO ] [Real]Absence check using 0 positive and 53 generalized place invariants in 27 ms returned sat
[2024-05-24 22:06:52] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:06:53] [INFO ] [Real]Absence check using state equation in 708 ms returned unsat
[2024-05-24 22:06:53] [INFO ] [Real]Absence check using 0 positive and 53 generalized place invariants in 27 ms returned sat
[2024-05-24 22:06:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:06:54] [INFO ] [Real]Absence check using state equation in 641 ms returned sat
[2024-05-24 22:06:54] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:06:54] [INFO ] [Nat]Absence check using 0 positive and 53 generalized place invariants in 28 ms returned sat
[2024-05-24 22:06:54] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:06:55] [INFO ] [Nat]Absence check using state equation in 654 ms returned sat
[2024-05-24 22:06:55] [INFO ] Computed and/alt/rep : 918/3009/918 causal constraints (skipped 102 transitions) in 97 ms.
[2024-05-24 22:06:59] [INFO ] Added : 227 causal constraints over 46 iterations in 4273 ms. Result :sat
Minimization took 1196 ms.
[2024-05-24 22:07:00] [INFO ] [Real]Absence check using 0 positive and 53 generalized place invariants in 26 ms returned sat
[2024-05-24 22:07:00] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:07:01] [INFO ] [Real]Absence check using state equation in 599 ms returned sat
[2024-05-24 22:07:01] [INFO ] Solution in real domain found non-integer solution.
[2024-05-24 22:07:01] [INFO ] [Nat]Absence check using 0 positive and 53 generalized place invariants in 28 ms returned sat
[2024-05-24 22:07:01] [INFO ] [Nat]Adding state equation constraints to refine reachable states.
[2024-05-24 22:07:02] [INFO ] [Nat]Absence check using state equation in 659 ms returned sat
[2024-05-24 22:07:02] [INFO ] Computed and/alt/rep : 918/3009/918 causal constraints (skipped 102 transitions) in 92 ms.
[2024-05-24 22:07:06] [INFO ] Added : 216 causal constraints over 44 iterations in 3951 ms. Result :sat
Minimization took 857 ms.
Current structural bounds on expressions (after SMT) : [51, 408, 102] Max seen :[51, 29, 20]
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03 51 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
Support contains 102 out of 1124 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 1124/1124 places, 1326/1326 transitions.
Drop transitions removed 408 transitions
Trivial Post-agglo rules discarded 408 transitions
Performed 408 trivial Post agglomeration. Transition count delta: 408
Iterating post reduction 0 with 408 rules applied. Total rules applied 408 place count 1124 transition count 918
Reduce places removed 408 places and 0 transitions.
Iterating post reduction 1 with 408 rules applied. Total rules applied 816 place count 716 transition count 918
Performed 51 Pre agglomeration using Quasi-Persistent + Divergent Free condition..
Pre-agglomeration after 2 with 51 Pre rules applied. Total rules applied 816 place count 716 transition count 867
Deduced a syphon composed of 51 places in 0 ms
Reduce places removed 51 places and 0 transitions.
Iterating global reduction 2 with 102 rules applied. Total rules applied 918 place count 665 transition count 867
Discarding 255 places :
Symmetric choice reduction at 2 with 255 rule applications. Total rules 1173 place count 410 transition count 612
Ensure Unique test removed 51 places
Iterating global reduction 2 with 306 rules applied. Total rules applied 1479 place count 359 transition count 612
Ensure Unique test removed 255 transitions
Reduce isomorphic transitions removed 255 transitions.
Drop transitions removed 51 transitions
Trivial Post-agglo rules discarded 51 transitions
Performed 51 trivial Post agglomeration. Transition count delta: 51
Iterating post reduction 2 with 306 rules applied. Total rules applied 1785 place count 359 transition count 306
Reduce places removed 51 places and 0 transitions.
Iterating post reduction 3 with 51 rules applied. Total rules applied 1836 place count 308 transition count 306
Free-agglomeration rule (complex) applied 51 times.
Iterating global reduction 4 with 51 rules applied. Total rules applied 1887 place count 308 transition count 255
Reduce places removed 51 places and 0 transitions.
Iterating post reduction 4 with 51 rules applied. Total rules applied 1938 place count 257 transition count 255
Reduce places removed 51 places and 51 transitions.
Iterating global reduction 5 with 51 rules applied. Total rules applied 1989 place count 206 transition count 204
Applied a total of 1989 rules in 49 ms. Remains 206 /1124 variables (removed 918) and now considering 204/1326 (removed 1122) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 49 ms. Remains : 206/1124 places, 204/1326 transitions.
// Phase 1: matrix 204 rows 206 cols
[2024-05-24 22:07:08] [INFO ] Computed 2 invariants in 3 ms
Incomplete random walk after 1000000 steps, including 4878 resets, run finished after 7854 ms. (steps per millisecond=127 ) properties (out of 2) seen :58
Incomplete Best-First random walk after 1000001 steps, including 147 resets, run finished after 2515 ms. (steps per millisecond=397 ) properties (out of 2) seen :52
Incomplete Best-First random walk after 1000001 steps, including 107 resets, run finished after 2685 ms. (steps per millisecond=372 ) properties (out of 2) seen :79
[2024-05-24 22:07:21] [INFO ] Invariant cache hit.
[2024-05-24 22:07:21] [INFO ] [Real]Absence check using 0 positive and 2 generalized place invariants in 3 ms returned sat
[2024-05-24 22:07:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:07:21] [INFO ] [Real]Absence check using state equation in 47 ms returned unsat
[2024-05-24 22:07:21] [INFO ] [Real]Absence check using 0 positive and 2 generalized place invariants in 3 ms returned sat
[2024-05-24 22:07:21] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2024-05-24 22:07:21] [INFO ] [Real]Absence check using state equation in 54 ms returned unsat
Current structural bounds on expressions (after SMT) : [51, 51] Max seen :[51, 51]
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14 51 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
FORMULA FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08 51 TECHNIQUES TOPOLOGICAL SAT_SMT RANDOM_WALK
All properties solved without resorting to model-checking.
Total runtime 297707 ms.

BK_STOP 1716588442551

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FamilyReunion-COL-L00050M0005C002P002G001"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="gold2023"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5568"
echo " Executing tool gold2023"
echo " Input is FamilyReunion-COL-L00050M0005C002P002G001, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r175-smll-171636280200251"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;