Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2019-input.r203-csrt-155344537900282.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool itstoolsm
Input is NoC3x3-PT-3B, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-csrt-155344537900282
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 740K
-rw-r--r-- 1 mcc users 3.1K Mar 23 12:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 23 12:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 23 12:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 23 12:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 10:10 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 99 Apr 5 12:35 GlobalProperties.txt
-rw-r--r-- 1 mcc users 337 Apr 5 12:35 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.3K Mar 23 12:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 11K Mar 23 12:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 12:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.3K Mar 23 12:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 23 10:10 NewModel
-rw-r--r-- 1 mcc users 3.5K Mar 23 12:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 23 12:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 23 12:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 23 12:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 12:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 12:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 23 10:10 instance
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 iscolored
-rw-r--r-- 1 mcc users 0 Mar 23 10:10 model-fix.log
-rw-r--r-- 1 mcc users 581K Mar 23 10:10 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME NoC3x3-PT-3B-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554500545620

Working with output stream class java.io.PrintStream
Flatten gal took : 1176 ms
Constant places removed 1 places and 1 transitions.
Implicit places reduction removed 5 places :[p1543, p734, p553, p521, p186]
Performed 981 Post agglomeration using F-continuation condition.
Iterating post reduction 0 with 987 rules applied. Total rules applied 987 place count 2111 transition count 1453
Constant places removed 983 places and 2 transitions.
Reduce isomorphic transitions removed 3 transitions.
Performed 3 Post agglomeration using F-continuation condition.
Iterating post reduction 1 with 989 rules applied. Total rules applied 1976 place count 1128 transition count 1445
Constant places removed 12 places and 0 transitions.
Performed 24 Post agglomeration using F-continuation condition.
Iterating post reduction 2 with 36 rules applied. Total rules applied 2012 place count 1116 transition count 1421
Constant places removed 24 places and 0 transitions.
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 3 with 48 rules applied. Total rules applied 2060 place count 1092 transition count 1397
Performed 33 Pre agglomeration using Quasi-Persistent + HF-interchangeable + Divergent Free condition.
Pre-agglomeration after 4 with 33 Pre rules applied. Total rules applied 2060 place count 1092 transition count 1364
Constant places removed 33 places and 0 transitions.
Iterating post reduction 4 with 33 rules applied. Total rules applied 2093 place count 1059 transition count 1364
Symmetric choice reduction at 5 with 128 rule applications. Total rules 2221 place count 1059 transition count 1364
Constant places removed 128 places and 128 transitions.
Iterating post reduction 5 with 128 rules applied. Total rules applied 2349 place count 931 transition count 1236
Performed 8 Pre agglomeration using Quasi-Persistent + HF-interchangeable + Divergent Free condition.
Pre-agglomeration after 6 with 8 Pre rules applied. Total rules applied 2349 place count 931 transition count 1228
Constant places removed 8 places and 0 transitions.
Iterating post reduction 6 with 8 rules applied. Total rules applied 2357 place count 923 transition count 1228
Symmetric choice reduction at 7 with 140 rule applications. Total rules 2497 place count 923 transition count 1228
Constant places removed 140 places and 156 transitions.
Performed 9 Post agglomeration using F-continuation condition.
Iterating post reduction 7 with 149 rules applied. Total rules applied 2646 place count 783 transition count 1063
Constant places removed 9 places and 0 transitions.
Iterating post reduction 8 with 9 rules applied. Total rules applied 2655 place count 774 transition count 1063
Symmetric choice reduction at 9 with 58 rule applications. Total rules 2713 place count 774 transition count 1063
Constant places removed 58 places and 108 transitions.
Reduce isomorphic transitions removed 16 transitions.
Implicit places reduction removed 2 places :[p1695, p556]
Performed 3 Post agglomeration using F-continuation condition.
Iterating post reduction 9 with 79 rules applied. Total rules applied 2792 place count 714 transition count 936
Constant places removed 3 places and 0 transitions.
Iterating post reduction 10 with 3 rules applied. Total rules applied 2795 place count 711 transition count 936
Symmetric choice reduction at 11 with 42 rule applications. Total rules 2837 place count 711 transition count 936
Constant places removed 42 places and 42 transitions.
Implicit places reduction removed 4 places :[p1988, p1985, p1665, p1233]
Performed 4 Post agglomeration using F-continuation condition.
Iterating post reduction 11 with 50 rules applied. Total rules applied 2887 place count 665 transition count 890
Constant places removed 4 places and 0 transitions.
Iterating post reduction 12 with 4 rules applied. Total rules applied 2891 place count 661 transition count 890
Symmetric choice reduction at 13 with 31 rule applications. Total rules 2922 place count 661 transition count 890
Constant places removed 31 places and 62 transitions.
Iterating post reduction 13 with 31 rules applied. Total rules applied 2953 place count 630 transition count 828
Symmetric choice reduction at 14 with 31 rule applications. Total rules 2984 place count 630 transition count 828
Constant places removed 31 places and 31 transitions.
Reduce isomorphic transitions removed 31 transitions.
Implicit places reduction removed 5 places :[p1978, p1975, p1684, p1678, p1220]
Performed 5 Post agglomeration using F-continuation condition.
Iterating post reduction 14 with 72 rules applied. Total rules applied 3056 place count 594 transition count 761
Constant places removed 5 places and 0 transitions.
Iterating post reduction 15 with 5 rules applied. Total rules applied 3061 place count 589 transition count 761
Performed 182 Post agglomeration using F-continuation condition.
Constant places removed 182 places and 0 transitions.
Iterating post reduction 16 with 182 rules applied. Total rules applied 3243 place count 407 transition count 579
Symmetric choice reduction at 17 with 15 rule applications. Total rules 3258 place count 407 transition count 579
Constant places removed 15 places and 15 transitions.
Iterating post reduction 17 with 15 rules applied. Total rules applied 3273 place count 392 transition count 564
Symmetric choice reduction at 18 with 11 rule applications. Total rules 3284 place count 392 transition count 564
Constant places removed 11 places and 22 transitions.
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 18 with 13 rules applied. Total rules applied 3297 place count 381 transition count 540
Symmetric choice reduction at 19 with 2 rule applications. Total rules 3299 place count 381 transition count 540
Constant places removed 2 places and 10 transitions.
Iterating post reduction 19 with 2 rules applied. Total rules applied 3301 place count 379 transition count 530
Performed 22 Post agglomeration using F-continuation condition.
Constant places removed 22 places and 0 transitions.
Iterating post reduction 20 with 22 rules applied. Total rules applied 3323 place count 357 transition count 599
Applied a total of 3323 rules in 2323 ms. Remains 357 /2117 variables (removed 1760) and now considering 599/2435 (removed 1836) transitions.
Random walk for 250 k steps run took 6409 ms.
Normalized transition count is 535
// Phase 1: matrix 535 rows 357 cols
Random walk for 4 * 500 k steps run took 40799 ms.
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/GlobalProperties.pnml.gal, -t, CGAL, -ctl, DEADLOCK, --load-order, /home/mcc/execution/model.ord], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/GlobalProperties.pnml.gal -t CGAL -ctl DEADLOCK --load-order /home/mcc/execution/model.ord
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 535
// Phase 1: matrix 535 rows 357 cols
invariant :p887 + p889 + p893 + p895 + p911 + p919 + p929 + p931 + p941 + p943 + p949 = 1
invariant :p744 + p747 + p749 + p752 + p754 + p757 + p759 + p762 + p764 = 1
invariant :p76 + p79 + p81 + p84 + p86 = 1
invariant :p664 + p666 + p670 + p672 + p678 + p682 + p684 + p696 + p706 + p708 + p716 = 1
invariant :p385 + p388 + p390 + p393 + p395 + p398 + p400 = 1
invariant :p1364 + p1366 + p1370 + p1372 + p1394 + p1396 + p1456 = 1
invariant :p473 + p475 + p479 + p481 + p491 + p493 + p513 = 1
invariant :p1115 + p1117 + p1121 + p1123 + p1133 + p1135 + p1141 + p1145 + p1147 + p1159 + p1165 + p1169 + p1171 + p1183 + p1195 + p1207 + p1215 = 1
invariant :p525 + p529 + p531 + p535 + p537 + p541 + p543 + p547 + p549 = 1
invariant :p304 + p308 + p320 + p325 = 1
invariant :p637 + p641 + p652 + p658 = 1
invariant :p65 + p68 + p70 + p73 + p75 = 1
invariant :p158 + p162 + p164 + p168 + p170 + p174 + p176 + p180 + p182 = 1
invariant :p217 + p219 + p223 + p225 + p247 + p249 + p255 = 1
invariant :p1758 + p1760 + p1764 + p1766 + p1776 + p1778 + p1796 = 1
invariant :p765 + p766 + p770 + p771 + p775 + p776 + p780 + p781 + p785 = 1
invariant :p1717 + p1732 + p1734 + p1752 = 1
invariant :p1568 + p1570 + p1574 + p1576 + p1586 + p1588 + p1608 = 1
invariant :p440 + p444 + p455 + p459 + p461 + p467 = 1
invariant :p260 + p264 + p266 + p270 + p287 + p291 + p293 + p299 = 1
invariant :p128 + p130 + p134 + p136 + p146 + p148 + p156 = 1
invariant :p1240 + p1242 + p1243 + p1246 + p1249 = 1
invariant :p1896 + p1900 + p1902 + p1920 + p1924 + p1926 + p1938 + p1970 = 1
invariant :p718 + p720 + p721 + p724 + p727 + p730 = 1
invariant :p1258 + p1260 + p1264 + p1266 + p1276 + p1278 + p1308 = 1
invariant :p94 + p102 + p108 = 1
invariant :p954 + p958 + p960 + p964 + p978 + p982 + p1005 + p1017 + p1023 = 1
invariant :p401 + p403 + p404 + p407 = 1
invariant :p1462 + p1464 + p1468 + p1470 + p1480 + p1482 + p1488 + p1492 + p1494 + p1506 + p1538 = 1
invariant :p1801 + p1805 + p1807 + p1811 + p1816 + p1820 + p1822 + p1852 + p1870 + p1888 = 1
invariant :p795 + p797 + p801 + p803 + p837 + p839 + p851 + p881 = 1
invariant :p193 + p196 + p198 + p201 + p203 + p206 + p208 = 1
invariant :p414 + p418 + p435 = 1
invariant :p1028 + p1032 + p1034 + p1038 + p1046 + p1050 + p1061 + p1073 + p1109 = 1
invariant :p2005 + p2007 + p2025 = 1
invariant :p2037 + p2039 + p2057 = 1
invariant :p113 + p117 + p122 = 1
invariant :p567 + p571 + p582 + p588 = 1
invariant :p593 + p597 + p603 + p620 + p624 + p626 + p632 = 1
invariant :p1613 + p1617 + p1640 = 1
invariant :p331 + p333 + p337 + p339 + p349 + p351 + p357 + p361 + p363 + p375 + p383 = 1
invariant :p1550 + p1553 + p1555 + p1558 + p1560 = 1
invariant :p1646 + p1652 + p1654 + p1660 = 1
invariant :p2063 + p2065 + p2069 + p2071 + p2093 + p2095 + p2115 = 1
invariant :p1313 + p1317 + p1326 + p1328 + p1340 + p1358 = 1
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
Compilation finished in 20478 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 232 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, -d], workingDir=/home/mcc/execution]
Detected timeout of ITS tools.
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/GlobalProperties.pnml.gal, -t, CGAL, -ctl, DEADLOCK], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/GlobalProperties.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
built 1 ordering constraints for composite.
built 5 ordering constraints for composite.
built 9 ordering constraints for composite.
built 102 ordering constraints for composite.
Detected timeout of ITS tools.
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/GlobalProperties.pnml.gal, -t, CGAL, -ctl, DEADLOCK], workingDir=/home/mcc/execution]

its-ctl command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/GlobalProperties.pnml.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
built 1 ordering constraints for composite.
built 5 ordering constraints for composite.
built 9 ordering constraints for composite.
built 102 ordering constraints for composite.

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ GlobalProperties = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution GlobalProperties -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination GlobalProperties -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Apr 05, 2019 9:42:35 PM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, GlobalProperties, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt]
Apr 05, 2019 9:42:35 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Apr 05, 2019 9:42:36 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 672 ms
Apr 05, 2019 9:42:36 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2117 places.
Apr 05, 2019 9:42:37 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2435 transitions.
Apr 05, 2019 9:42:37 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Apr 05, 2019 9:42:37 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 195 ms
Apr 05, 2019 9:42:39 PM fr.lip6.move.gal.instantiate.PropertySimplifier evalInInitialState
WARNING: Unexpected boolean logic operator in evalInInitialState fr.lip6.move.gal.impl.EXImpl
Apr 05, 2019 9:42:39 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-3B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 9:42:39 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1170 ms
Apr 05, 2019 9:42:39 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.simple.gal : 36 ms
Apr 05, 2019 9:42:40 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 2435 transitions.
Apr 05, 2019 9:43:32 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-3B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 9:43:32 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 289 ms
Apr 05, 2019 9:43:32 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 599 transitions.
Apr 05, 2019 9:43:32 PM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 357 places.
Apr 05, 2019 9:43:32 PM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 599 transitions.
Apr 05, 2019 9:43:33 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 123 ms
Apr 05, 2019 9:43:34 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 599 transitions.
Apr 05, 2019 9:43:36 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 45 place invariants in 398 ms
Apr 05, 2019 9:43:45 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 357 variables to be positive in 9254 ms
Apr 05, 2019 9:43:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 599 transitions.
Apr 05, 2019 9:43:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :0/599 took 0 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 9:43:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 229 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 9:43:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 599 transitions.
Apr 05, 2019 9:43:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 59 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 9:43:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 599 transitions.
Apr 05, 2019 9:43:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(4/599) took 3023 ms. Total solver calls (SAT/UNSAT): 135(0/135)
Apr 05, 2019 9:43:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(8/599) took 6308 ms. Total solver calls (SAT/UNSAT): 286(0/286)
Apr 05, 2019 9:43:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(13/599) took 9662 ms. Total solver calls (SAT/UNSAT): 458(0/458)
Apr 05, 2019 9:43:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(21/599) took 12726 ms. Total solver calls (SAT/UNSAT): 596(13/583)
Apr 05, 2019 9:44:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(30/599) took 16031 ms. Total solver calls (SAT/UNSAT): 741(26/715)
Apr 05, 2019 9:44:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(34/599) took 19074 ms. Total solver calls (SAT/UNSAT): 879(52/827)
Apr 05, 2019 9:44:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(39/599) took 22399 ms. Total solver calls (SAT/UNSAT): 1029(62/967)
Apr 05, 2019 9:44:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(48/599) took 25575 ms. Total solver calls (SAT/UNSAT): 1172(78/1094)
Apr 05, 2019 9:44:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(60/599) took 28886 ms. Total solver calls (SAT/UNSAT): 1310(86/1224)
Apr 05, 2019 9:44:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(69/599) took 32075 ms. Total solver calls (SAT/UNSAT): 1454(106/1348)
Apr 05, 2019 9:44:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(72/599) took 35102 ms. Total solver calls (SAT/UNSAT): 1600(106/1494)
Apr 05, 2019 9:44:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(76/599) took 38882 ms. Total solver calls (SAT/UNSAT): 1772(140/1632)
Apr 05, 2019 9:44:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(80/599) took 42036 ms. Total solver calls (SAT/UNSAT): 1928(174/1754)
Apr 05, 2019 9:44:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(85/599) took 45514 ms. Total solver calls (SAT/UNSAT): 2105(200/1905)
Apr 05, 2019 9:44:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(89/599) took 48717 ms. Total solver calls (SAT/UNSAT): 2263(206/2057)
Apr 05, 2019 9:44:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(96/599) took 52458 ms. Total solver calls (SAT/UNSAT): 2403(218/2185)
Apr 05, 2019 9:44:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(100/599) took 55914 ms. Total solver calls (SAT/UNSAT): 2525(224/2301)
Apr 05, 2019 9:44:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(104/599) took 59028 ms. Total solver calls (SAT/UNSAT): 2667(238/2429)
Apr 05, 2019 9:44:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(109/599) took 62427 ms. Total solver calls (SAT/UNSAT): 2787(252/2535)
Apr 05, 2019 9:44:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(114/599) took 65933 ms. Total solver calls (SAT/UNSAT): 2906(270/2636)
Apr 05, 2019 9:44:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(120/599) took 69137 ms. Total solver calls (SAT/UNSAT): 3015(290/2725)
Apr 05, 2019 9:44:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(128/599) took 72372 ms. Total solver calls (SAT/UNSAT): 3122(297/2825)
Apr 05, 2019 9:45:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(134/599) took 76804 ms. Total solver calls (SAT/UNSAT): 3276(303/2973)
Apr 05, 2019 9:45:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(137/599) took 79927 ms. Total solver calls (SAT/UNSAT): 3402(331/3071)
Apr 05, 2019 9:45:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(143/599) took 83881 ms. Total solver calls (SAT/UNSAT): 3561(359/3202)
Apr 05, 2019 9:45:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(151/599) took 86949 ms. Total solver calls (SAT/UNSAT): 3683(387/3296)
Apr 05, 2019 9:45:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(158/599) took 90502 ms. Total solver calls (SAT/UNSAT): 3854(395/3459)
Apr 05, 2019 9:45:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(165/599) took 94311 ms. Total solver calls (SAT/UNSAT): 4037(410/3627)
Apr 05, 2019 9:45:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(172/599) took 97757 ms. Total solver calls (SAT/UNSAT): 4193(421/3772)
Apr 05, 2019 9:45:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(175/599) took 101523 ms. Total solver calls (SAT/UNSAT): 4376(446/3930)
Apr 05, 2019 9:45:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(178/599) took 105234 ms. Total solver calls (SAT/UNSAT): 4562(490/4072)
Apr 05, 2019 9:45:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(181/599) took 108609 ms. Total solver calls (SAT/UNSAT): 4727(529/4198)
Apr 05, 2019 9:45:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(185/599) took 112223 ms. Total solver calls (SAT/UNSAT): 4903(558/4345)
Apr 05, 2019 9:45:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(188/599) took 116482 ms. Total solver calls (SAT/UNSAT): 5101(575/4526)
Apr 05, 2019 9:45:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(191/599) took 119811 ms. Total solver calls (SAT/UNSAT): 5264(607/4657)
Apr 05, 2019 9:45:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(195/599) took 123627 ms. Total solver calls (SAT/UNSAT): 5448(659/4789)
Apr 05, 2019 9:45:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(198/599) took 126730 ms. Total solver calls (SAT/UNSAT): 5608(684/4924)
Apr 05, 2019 9:45:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(202/599) took 130271 ms. Total solver calls (SAT/UNSAT): 5782(722/5060)
Apr 05, 2019 9:45:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(207/599) took 133289 ms. Total solver calls (SAT/UNSAT): 5929(775/5154)
Apr 05, 2019 9:46:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(215/599) took 136438 ms. Total solver calls (SAT/UNSAT): 6059(807/5252)
Apr 05, 2019 9:46:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(221/599) took 139814 ms. Total solver calls (SAT/UNSAT): 6216(846/5370)
Apr 05, 2019 9:46:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(228/599) took 142917 ms. Total solver calls (SAT/UNSAT): 6313(867/5446)
Apr 05, 2019 9:46:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(232/599) took 147290 ms. Total solver calls (SAT/UNSAT): 6463(867/5596)
Apr 05, 2019 9:46:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(237/599) took 151254 ms. Total solver calls (SAT/UNSAT): 6634(876/5758)
Apr 05, 2019 9:46:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(245/599) took 154414 ms. Total solver calls (SAT/UNSAT): 6772(882/5890)
Apr 05, 2019 9:46:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(250/599) took 157460 ms. Total solver calls (SAT/UNSAT): 6908(892/6016)
Apr 05, 2019 9:46:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(257/599) took 160794 ms. Total solver calls (SAT/UNSAT): 7056(903/6153)
Apr 05, 2019 9:46:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(263/599) took 163971 ms. Total solver calls (SAT/UNSAT): 7200(954/6246)
Apr 05, 2019 9:46:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(268/599) took 167087 ms. Total solver calls (SAT/UNSAT): 7324(996/6328)
Apr 05, 2019 9:46:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(274/599) took 170558 ms. Total solver calls (SAT/UNSAT): 7485(1043/6442)
Apr 05, 2019 9:46:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(284/599) took 173648 ms. Total solver calls (SAT/UNSAT): 7610(1087/6523)
Apr 05, 2019 9:46:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(298/599) took 176865 ms. Total solver calls (SAT/UNSAT): 7741(1097/6644)
Apr 05, 2019 9:46:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(313/599) took 180145 ms. Total solver calls (SAT/UNSAT): 7879(1119/6760)
Apr 05, 2019 9:46:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(328/599) took 183417 ms. Total solver calls (SAT/UNSAT): 8054(1186/6868)
Apr 05, 2019 9:46:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(336/599) took 186658 ms. Total solver calls (SAT/UNSAT): 8198(1233/6965)
Apr 05, 2019 9:46:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(343/599) took 189782 ms. Total solver calls (SAT/UNSAT): 8343(1276/7067)
Apr 05, 2019 9:46:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(349/599) took 192873 ms. Total solver calls (SAT/UNSAT): 8482(1295/7187)
Apr 05, 2019 9:47:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(359/599) took 195893 ms. Total solver calls (SAT/UNSAT): 8619(1319/7300)
Apr 05, 2019 9:47:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(376/599) took 198954 ms. Total solver calls (SAT/UNSAT): 8758(1372/7386)
Apr 05, 2019 9:47:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(398/599) took 201961 ms. Total solver calls (SAT/UNSAT): 8891(1401/7490)
Apr 05, 2019 9:47:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(413/599) took 205294 ms. Total solver calls (SAT/UNSAT): 9050(1428/7622)
Apr 05, 2019 9:47:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(420/599) took 208580 ms. Total solver calls (SAT/UNSAT): 9248(1458/7790)
Apr 05, 2019 9:47:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(426/599) took 211942 ms. Total solver calls (SAT/UNSAT): 9413(1491/7922)
Apr 05, 2019 9:47:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(434/599) took 215217 ms. Total solver calls (SAT/UNSAT): 9577(1523/8054)
Apr 05, 2019 9:47:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(451/599) took 218314 ms. Total solver calls (SAT/UNSAT): 9717(1555/8162)
Apr 05, 2019 9:47:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(459/599) took 221529 ms. Total solver calls (SAT/UNSAT): 9873(1578/8295)
Apr 05, 2019 9:47:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(464/599) took 224965 ms. Total solver calls (SAT/UNSAT): 10038(1616/8422)
Apr 05, 2019 9:47:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(470/599) took 228314 ms. Total solver calls (SAT/UNSAT): 10203(1641/8562)
Apr 05, 2019 9:47:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(478/599) took 231446 ms. Total solver calls (SAT/UNSAT): 10355(1674/8681)
Apr 05, 2019 9:47:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(494/599) took 234512 ms. Total solver calls (SAT/UNSAT): 10487(1701/8786)
Apr 05, 2019 9:47:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(508/599) took 237540 ms. Total solver calls (SAT/UNSAT): 10620(1729/8891)
Apr 05, 2019 9:47:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(519/599) took 240810 ms. Total solver calls (SAT/UNSAT): 10763(1754/9009)
Apr 05, 2019 9:47:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(526/599) took 243902 ms. Total solver calls (SAT/UNSAT): 10903(1776/9127)
Apr 05, 2019 9:47:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(542/599) took 247190 ms. Total solver calls (SAT/UNSAT): 11058(1812/9246)
Apr 05, 2019 9:47:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(561/599) took 250277 ms. Total solver calls (SAT/UNSAT): 11194(1843/9351)
Apr 05, 2019 9:47:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(584/599) took 253425 ms. Total solver calls (SAT/UNSAT): 11315(1898/9417)
Apr 05, 2019 9:48:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished co-enabling matrix. took 254854 ms. Total solver calls (SAT/UNSAT): 11370(1953/9417)
Apr 05, 2019 9:48:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 599 transitions.
Apr 05, 2019 9:50:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed DNA matrix. took 124212 ms. Total solver calls (SAT/UNSAT): 696(0/696)
Apr 05, 2019 9:50:05 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 391187ms conformant to PINS in folder :/home/mcc/execution
Apr 05, 2019 10:03:35 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Apr 05, 2019 10:03:35 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-3B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:03:35 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 500 ms
Apr 05, 2019 10:03:36 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-3B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:03:36 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 749 ms
Apr 05, 2019 10:03:36 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Apr 05, 2019 10:03:36 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t1796.t711,t1796.t711,t1796.t711,t2326.t785,t2326.t785,t2326.t785,t2271.t878.t1383.t1398,t2271.t878.t1383.t1398,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t1891.t1053.t2222.t1054,t1891.t1055,t1891.t1053.t2222.t1054,t1891.t1055,t1891.t1053.t2222.t1054,t1891.t1055,t1891.t1053.t2222.t1054,t1891.t1055,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t1965.t1232,t1965.t1232,t1965.t1232,t1979.t1295,t1979.t1295,t1979.t1295,t2151.t1347.t1630.t1633,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t2177.t1258.t1977.t1259,t2177.t1260,t2177.t1258.t1977.t1259,t2177.t1260,t2177.t1258.t1977.t1259,t2177.t1260,t2177.t1258.t1977.t1259,t2177.t1260,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t1706.t436,t1706.t436,t1706.t436,t2400.t495,t2400.t495,t2400.t495,t2400.t495,t2400.t495,t1738.t526,t1738.t526,t1738.t526,t2350.t590.t949.t985,t2350.t590.t949.t985,t2350.t590.t949.t985,t2350.t590.t949.t985,t2350.t590.t949.t985,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t1761.t602,t1761.t599,t1761.t602,t1761.t599,t1763.t601.t1764.t220.t603,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2139.t1389.t2009.t38.t1392,t2139.t1390,t2139.t1389.t2009.t38.t1392,t2139.t1390,t2139.t1389.t2009.t38.t1392,t2139.t1390,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t2272.t1433.t829.t846.t847,t2272.t1433.t829.t846.t847,t2273.t1436.t829.t846.t847,t2273.t1436.t829.t846.t847,t2274.t1439.t829.t846.t847,t2274.t1439.t829.t846.t847,t2137.t1434.t1390,t2138.t1437.t1390,t2140.t1440.t1390,t2139.t1390,t1997.t1373,t1997.t1373,t1997.t1373,t2013.t1421,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t2421.t869.t336.t339.t340,t1787.t723,t1787.t723,t1787.t723,t1820.t822,t1820.t822,t1820.t822,t2291.t855,t2291.t855,t2291.t855,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t1181.t2351.t1180.t536.t537.t2355.t568.t538,t1181.t2351.t1180.t536.t539.t540,t1181.t2351.t1180.t536.t558,t1181.t2351.t1180.t536.t537.t2355.t568.t538,t1181.t2351.t1180.t536.t539.t540,t1181.t2351.t1180.t536.t558,t1181.t2351.t1180.t536.t537.t2355.t568.t538,t1181.t2351.t1180.t536.t539.t540,t1181.t2351.t1180.t536.t558,t2362.t549.t1754.t224.t552,t2366.t559.t1756.t560,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2019.t1579.t1408.t1409.t2016.t1427.t1410,t2019.t1579.t1408.t1411.t1412,t2019.t1579.t1408.t1409.t2016.t1427.t1410,t2019.t1579.t1408.t1411.t1412,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t1788.t725,t1788.t725,t1788.t725,t1788.t725,t1788.t725,t2325.t787,t2325.t787,t2325.t787,t2290.t857,t2290.t857,t2290.t857,t1842.t874.t1010.t1037,t1842.t874.t1010.t1037,t1842.t874.t1010.t1037,t1842.t874.t1010.t1037,t1842.t874.t1010.t1037,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t1988.t1273.t2165.t53.t1276,t1988.t1274,t1988.t1273.t2165.t53.t1276,t1988.t1274,t1988.t1273.t2165.t53.t1276,t1988.t1274,t1988.t1273.t2165.t53.t1276,t1988.t1274,t1981.t1288.t2162.t1289,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t2091.t1669.t1541.t1542.t2093.t1570.t1543,t2091.t1669.t1541.t1544.t1545,t2091.t1669.t1541.t1551.t1552,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2429.t349.t1688.t278.t352,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t1751.t671.t507.t508.t1750.t567.t509,t1751.t671.t507.t510.t511,t1751.t671.t507.t524.t525,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :t2199.t1329.t1067.t1091.t1092,t2199.t1329.t1067.t1091.t1092,t2199.t1329.t1067.t1091.t1092,t2199.t1329.t1067.t1091.t1092,t2198.t1333.t1067.t1091.t1092,t2198.t1333.t1067.t1091.t1092,t2198.t1333.t1067.t1091.t1092,t2198.t1333.t1067.t1091.t1092,t2197.t1337.t1067.t1091.t1092,t2197.t1337.t1067.t1091.t1092,t2197.t1337.t1067.t1091.t1092,t2197.t1337.t1067.t1091.t1092,t2196.t1341.t1067.t1091.t1092,t2196.t1341.t1067.t1091.t1092,t2196.t1341.t1067.t1091.t1092,t2196.t1341.t1067.t1091.t1092,t1991.t1331.t1274,t1991.t1331.t1274,t1990.t1335.t1274,t1990.t1335.t1274,t1989.t1339.t1274,t1989.t1339.t1274,t1987.t1343.t1274,t1987.t1343.t1274,t2177.t1260,t1991.t1331.t1274,t1990.t1335.t1274,t1989.t1339.t1274,t1987.t1343.t1274,t1988.t1274,t1961.t1239,t1961.t1239,t1961.t1239,t1961.t1239,t1961.t1239,t2159.t1315,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t1952.t1587.t1110.t1141.t1142,t1952.t1587.t1110.t1141.t1142,t1952.t1587.t1110.t1141.t1142,t1953.t1591.t1110.t1141.t1142,t1953.t1591.t1110.t1141.t1142,t1953.t1591.t1110.t1141.t1142,t1954.t1595.t1110.t1141.t1142,t1954.t1595.t1110.t1141.t1142,t1954.t1595.t1110.t1141.t1142,t1955.t1599.t1110.t1141.t1142,t1955.t1599.t1110.t1141.t1142,t1955.t1599.t1110.t1141.t1142,t2053.t1589.t1513,t2053.t1589.t1513,t2054.t1593.t1513,t2054.t1593.t1513,t2055.t1597.t1513,t2055.t1597.t1513,t2057.t1601.t1513,t2057.t1601.t1513,t2122.t1499,t2053.t1589.t1513,t2054.t1593.t1513,t2055.t1597.t1513,t2057.t1601.t1513,t2056.t1513,t2022.t1473,t2022.t1473,t2022.t1473,t2022.t1473,t2022.t1473,t2105.t1560,t2105.t1560,t2105.t1560,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t1672.t328,t1672.t328,t1672.t328,t1690.t372.t1691.t271.t374,t1690.t371.t2417.t272.t374,t1702.t383.t733.t750,t1702.t383.t733.t750,t1702.t383.t733.t750,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1671.t326,t1671.t326,t1671.t326,t1689.t373.t1692.t270.t374,t1689.t370,t2416.t387.t444.t492,t2416.t387.t444.t492,t2416.t387.t444.t492,t2416.t387.t444.t492,t2416.t387.t444.t492,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2274.t1439.t829.t830.t2275.t865.t831,t2274.t1439.t829.t832.t833,t2274.t1439.t829.t846.t847,t2274.t1439.t829.t830.t2275.t865.t831,t2274.t1439.t829.t832.t833,t2274.t1439.t829.t846.t847,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t2153.t1660.t1302.t1312,t2153.t1660.t1302.t1312,t2152.t1663.t1302.t1312,t2152.t1663.t1302.t1312,t2078.t1661.t1651,t2076.t1664.t1651,t2077.t1651,t2067.t1620,t2067.t1620,t2067.t1620,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2363.t551.t2360.t222.t552,t2363.t548,t2398.t489,t2398.t489,t2398.t489,t1757.t585.t609.t612.t613,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2077.t1648.t2081.t1649.t2082.t2.t1652,t2077.t1651,t2077.t1648.t2081.t1649.t2082.t2.t1652,t2077.t1651,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t1847.t941,t1847.t941,t1847.t941,t1847.t941,t1847.t941,t2259.t1003,t2259.t1003,t2259.t1003,t1904.t1040,t1904.t1040,t1904.t1040,t1956.t1199.t1267.t1287,t1956.t1199.t1267.t1287,t1956.t1199.t1267.t1287,
Apr 05, 2019 10:03:38 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 30 events :t1834.t1184.t795.t819,t1834.t1184.t795.t819,t1834.t1184.t795.t819,t1835.t1187.t795.t819,t1835.t1187.t795.t819,t1835.t1187.t795.t819,t1836.t1190.t795.t819,t1836.t1190.t795.t819,t1836.t1190.t795.t819,t1837.t1193.t795.t819,t1837.t1193.t795.t819,t1837.t1193.t795.t819,t2253.t1185.t998,t2254.t1188.t998,t2255.t1191.t998,t2257.t1194.t998,t2256.t998,t1863.t913,t1863.t913,t1863.t913,t1863.t913,t1863.t913,t2219.t1102,t2219.t1102,t2219.t1102,t2219.t1102,t2219.t1102,t1923.t1157,t1923.t1157,t1923.t1157,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 24 events :t1172.t2354.t1171.t536.t558,t1172.t2354.t1171.t536.t558,t1175.t2353.t1174.t536.t558,t1175.t2353.t1174.t536.t558,t1178.t2352.t1177.t536.t558,t1178.t2352.t1177.t536.t558,t1181.t2351.t1180.t536.t558,t1181.t2351.t1180.t536.t558,t1172.t1894.t1055,t1175.t1893.t1055,t1178.t1892.t1055,t1181.t1890.t1055,t1891.t1055,t1846.t939,t1846.t939,t1846.t939,t1846.t939,t1846.t939,t2220.t1100,t2220.t1100,t2220.t1100,t1924.t1159,t1924.t1159,t1924.t1159,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t2405.t498.t1737.t499,t2405.t500,t2405.t498.t1737.t499,t2405.t500,t2405.t498.t1737.t499,t2405.t500,t2405.t498.t1737.t499,t2405.t500,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1752.t668.t507.t524.t525,t1752.t668.t507.t524.t525,t1751.t671.t507.t524.t525,t1751.t671.t507.t524.t525,t1762.t669.t599,t1760.t672.t599,t1761.t599,t1775.t656,t1775.t656,t1775.t656,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2086.t1634.t2075.t1635,t2086.t1636,t2086.t1634.t2075.t1635,t2086.t1636,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t2023.t1475,t2023.t1475,t2023.t1475,t2047.t1529,t2047.t1529,t2047.t1529,t2064.t1584.t1643.t1646.t1647,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1837.t1193.t795.t796.t1833.t864.t797,t1837.t1193.t795.t798.t799,t1837.t1193.t795.t812.t813,t1837.t1193.t795.t819,t1837.t1193.t795.t796.t1833.t864.t797,t1837.t1193.t795.t798.t799,t1837.t1193.t795.t812.t813,t1837.t1193.t795.t819,t1837.t1193.t795.t796.t1833.t864.t797,t1837.t1193.t795.t798.t799,t1837.t1193.t795.t812.t813,t1837.t1193.t795.t819,t1822.t815.t2293.t161.t818,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t1769.t1326.t594.t597.t598,t1960.t1237,t1960.t1237,t1960.t1237,t2158.t1310.t2155.t48.t1311,t2158.t1307,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t2092.t1666.t1541.t1551.t1552,t2092.t1666.t1541.t1551.t1552,t2091.t1669.t1541.t1551.t1552,t2091.t1669.t1541.t1551.t1552,t2087.t1667.t1636,t2085.t1670.t1636,t2086.t1636,t2068.t1622,t2068.t1622,t2068.t1622,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t2152.t1663.t1302.t1303.t2154.t1322.t1304,t2152.t1663.t1302.t1305.t1306,t2152.t1663.t1302.t1312,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :t2196.t1341.t1067.t1068.t2200.t1167.t1069,t2196.t1341.t1067.t1070.t1071,t2196.t1341.t1067.t1077.t1078,t2196.t1341.t1067.t1084.t1085,t2196.t1341.t1067.t1091.t1092,t2196.t1341.t1067.t1068.t2200.t1167.t1069,t2196.t1341.t1067.t1070.t1071,t2196.t1341.t1067.t1077.t1078,t2196.t1341.t1067.t1084.t1085,t2196.t1341.t1067.t1091.t1092,t2196.t1341.t1067.t1068.t2200.t1167.t1069,t2196.t1341.t1067.t1070.t1071,t2196.t1341.t1067.t1077.t1078,t2196.t1341.t1067.t1084.t1085,t2196.t1341.t1067.t1091.t1092,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t581.t1701.t580.t358.t359.t1697.t378.t360,t581.t1701.t580.t358.t361.t362,t581.t1701.t580.t358.t359.t1697.t378.t360,t581.t1701.t580.t358.t361.t362,t581.t1701.t580.t358.t359.t1697.t378.t360,t581.t1701.t580.t358.t361.t362,t1690.t371.t2417.t272.t374,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :t572.t1698.t571.t358.t361.t362,t575.t1699.t574.t358.t361.t362,t578.t1700.t577.t358.t361.t362,t581.t1701.t580.t358.t361.t362,t572.t2402.t500,t575.t2403.t500,t578.t2404.t500,t581.t2406.t500,t2405.t500,t1714.t422,t1714.t422,t1714.t422,t1739.t528,t1739.t528,t1739.t528,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t2122.t1497.t2040.t1498,t2122.t1499,t2122.t1497.t2040.t1498,t2122.t1499,t2122.t1497.t2040.t1498,t2122.t1499,t2122.t1497.t2040.t1498,t2122.t1499,t2112.t1489.t2113.t1490,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1955.t1599.t1110.t1111.t1951.t1168.t1112,t1955.t1599.t1110.t1113.t1114,t1955.t1599.t1110.t1127.t1128,t1955.t1599.t1110.t1141.t1142,t1955.t1599.t1110.t1111.t1951.t1168.t1112,t1955.t1599.t1110.t1113.t1114,t1955.t1599.t1110.t1127.t1128,t1955.t1599.t1110.t1141.t1142,t1955.t1599.t1110.t1111.t1951.t1168.t1112,t1955.t1599.t1110.t1113.t1114,t1955.t1599.t1110.t1127.t1128,t1955.t1599.t1110.t1141.t1142,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t1998.t1375,t1998.t1375,t1998.t1375,t2144.t1401,t2144.t1401,t2144.t1401,t2020.t1430.t1483.t1486,t2020.t1430.t1483.t1486,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t2256.t996.t1885.t997,t2256.t998,t2256.t996.t1885.t997,t2256.t998,t2256.t996.t1885.t997,t2256.t998,t2256.t996.t1885.t997,t2256.t998,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t2056.t1512.t2110.t20.t1515,t2056.t1513,t2056.t1512.t2110.t20.t1515,t2056.t1513,t2056.t1512.t2110.t20.t1515,t2056.t1513,t2056.t1512.t2110.t20.t1515,t2056.t1513,t2044.t1532.t2106.t1533,t2044.t1534,t2044.t1532.t2106.t1533,t2044.t1534,t2044.t1532.t2106.t1533,t2044.t1534,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1855.t927,t1855.t927,t1855.t927,t1855.t927,t1855.t927,t2249.t988,t2249.t988,t2249.t988,t1888.t1060,t1888.t1060,t1888.t1060,t2212.t1086,t2212.t1086,t2212.t1086,t2188.t1204.t1506.t1526,t2188.t1204.t1506.t1526,t2188.t1204.t1506.t1526,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2344.t627,t1776.t658,t1776.t658,t1776.t658,t2335.t676.t1247.t1257,t2335.t676.t1247.t1257,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2017.t1573.t1408.t1411.t1412,t2018.t1576.t1408.t1411.t1412,t2019.t1579.t1408.t1411.t1412,t2042.t1574.t1534,t2043.t1577.t1534,t2045.t1580.t1534,t2044.t1534,t2031.t1461,t2031.t1461,t2031.t1461,t2104.t1562,t2104.t1562,t2104.t1562,
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 496 redundant transitions.
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-3B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 2145 ms
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu83_flat :[u83.t2271.t878.t1383.t1398, u83.t2271.t878.t1383.t1386.t1387, u83.t2271.t878.t1383.t1384.t2134.t1426.t1385]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu83_flat :[u83.t2139.t1389.t2009.t38.t1392, u83.t2139.t1390]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu89_flat :[u89.t2159.t1315, u89.t2159.t1313.t1996.t1314]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu109_flat :[u109.t2326.t785, u109.t2317.t773, u109.t2317.t772.t1816.t176.t789, u109.t2326.t788]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t2383.t456, u123.t2383.t459, u123.t2399.t490, u123.t2400.t495, u123.t2400.t493.t1736.t494, u123.t2399.t487]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu108_flat :[u108.t1837.t1193.t795.t796.t1833.t864.t797, u108.t1837.t1193.t795.t798.t799, u108.t1837.t1193.t795.t812.t813, u108.t1837.t1193.t795.t819]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu101_flat :[u101.t2350.t590.t949.t985, u101.t2350.t590.t949.t995, u101.t2350.t590.t949.t959.t960, u101.t2350.t590.t949.t950.t2230.t1165.t951, u101.t2350.t590.t949.t952.t953, u101.t2350.t590.t949.t1000]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu90_flat :[u90.t1956.t1199.t1267.t1292, u90.t1956.t1199.t1267.t1268.t1994.t1321.t1269, u90.t1956.t1199.t1267.t1270.t1271, u90.t1956.t1199.t1267.t1287]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu68_flat :[u68.t2077.t1651, u68.t2077.t1648.t2081.t1649.t2082.t2.t1652]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t2056.t1512.t2110.t20.t1515, u76.t2056.t1513]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu86_flat :[u86.t2198.t1333.t1067.t1091.t1092, u86.t2199.t1329.t1067.t1091.t1092, u86.t2196.t1341.t1067.t1091.t1092, u86.t2197.t1337.t1067.t1091.t1092]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu102_flat :[u102.t1866.t904, u102.t1863.t912.t2265.t137.t943, u102.t1866.t907, u102.t1863.t913, u102.t1874.t890, u102.t1874.t893]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu100_flat :[u100.t1913.t1018, u100.t1904.t1038.t2225.t1039, u100.t1904.t1040, u100.t1913.t1015]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu75_flat :[u75.t2104.t1562, u75.t2104.t1561.t2063.t11.t1564, u75.t2097.t1546, u75.t2097.t1549]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu99_flat :[u99.t2207.t1081, u99.t2212.t1089, u99.t2212.t1086, u99.t2207.t1080.t1919.t101.t1104]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu86_flat :[u86.t1990.t1335.t1274, u86.t1987.t1343.t1274, u86.t1991.t1331.t1274, u86.t1989.t1339.t1274]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t2052.t1511, u76.t2052.t1514, u76.t2047.t1529, u76.t2047.t1527.t2107.t1528]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu98_flat :[u98.t1935.t1136, u98.t1935.t1139, u98.t1924.t1158.t2189.t71.t1161, u98.t1924.t1159]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu91_flat :[u91.t2177.t1258.t1977.t1259, u91.t2177.t1260]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t2398.t489, u123.t2389.t468, u123.t2398.t488.t1735.t239.t491, u123.t2389.t471]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu102_flat :[u102.t1854.t925, u102.t1854.t928, u102.t1850.t932, u102.t1850.t935, u102.t1847.t941, u102.t1847.t940.t2261.t125.t943]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t2416.t387.t444.t492, u123.t2416.t387.t444.t454.t455, u123.t2416.t387.t444.t445.t2371.t566.t446, u123.t2416.t387.t444.t473.t474, u123.t2416.t387.t444.t497, u123.t2416.t387.t444.t447.t448]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu79_flat :[u79.t2139.t1390, u79.t2137.t1434.t1390, u79.t2138.t1437.t1390, u79.t2140.t1440.t1390]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu116_flat :[u116.t1769.t1326.t594.t597.t598, u116.t1769.t1326.t594.t595.t1766.t665.t596]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu92_flat :[u92.t1960.t1240, u92.t1973.t1217.t2184.t68.t1241, u92.t1973.t1218, u92.t1960.t1237]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu111_flat :[u111.t1763.t601.t1764.t220.t603, u111.t1763.t600.t2346.t221.t603]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu110_flat :[u110.t1791.t716, u110.t1795.t712, u110.t1788.t724.t2327.t191.t727, u110.t1791.t719, u110.t1788.t725, u110.t1795.t709]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu96_flat :[u96.t1178.t2352.t1177.t536.t558, u96.t1175.t2353.t1174.t536.t558, u96.t1172.t2354.t1171.t536.t558, u96.t1181.t2351.t1180.t536.t558]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu71_flat :[u71.t2054.t1593.t1513, u71.t2057.t1601.t1513, u71.t2055.t1597.t1513, u71.t2053.t1589.t1513]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu95_flat :[u95.t2255.t1191.t998, u95.t2254.t1188.t998, u95.t2257.t1194.t998, u95.t2256.t998, u95.t2253.t1185.t998]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu84_flat :[u84.t1997.t1373, u84.t1997.t1376, u84.t2002.t1367.t2147.t44.t1377, u84.t2002.t1368]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu78_flat :[u78.t2031.t1460.t2128.t29.t1477, u78.t2034.t1452, u78.t2031.t1461, u78.t2034.t1455]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu109_flat :[u109.t2325.t787, u109.t2318.t771, u109.t2325.t786.t1818.t170.t789, u109.t2318.t774]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu84_flat :[u84.t2001.t1369, u84.t1998.t1374.t2146.t41.t1377, u84.t2001.t1366, u84.t1998.t1375]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu115_flat :[u115.t1757.t585.t609.t612.t613, u115.t1757.t585.t609.t610.t2339.t664.t611]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu77_flat :[u77.t2020.t1430.t1483.t1484.t2111.t1568.t1485, u77.t2020.t1430.t1483.t1496, u77.t2020.t1430.t1483.t1486]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu68_flat :[u68.t2064.t1584.t1643.t1644.t2080.t1657.t1645, u68.t2064.t1584.t1643.t1646.t1647]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu121_flat :[u121.t1181.t2351.t1180.t536.t558, u121.t1181.t2351.t1180.t536.t537.t2355.t568.t538, u121.t1181.t2351.t1180.t536.t539.t540]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu115_flat :[u115.t2344.t625.t1774.t626, u115.t2344.t627]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu66_flat :[u66.t2153.t1660.t1302.t1312, u66.t2152.t1663.t1302.t1312]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu109_flat :[u109.t1702.t383.t733.t743.t744, u109.t1702.t383.t733.t750, u109.t1702.t383.t733.t736.t737, u109.t1702.t383.t733.t734.t2296.t863.t735]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu75_flat :[u75.t2096.t1548, u75.t2105.t1563, u75.t2105.t1560, u75.t2096.t1547.t2061.t17.t1564]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu100_flat :[u100.t1888.t1060, u100.t1909.t1022, u100.t1909.t1025, u100.t1888.t1058.t2221.t1059]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu110_flat :[u110.t1787.t723, u110.t1792.t718, u110.t1787.t726, u110.t1792.t717.t2328.t194.t727]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu78_flat :[u78.t2023.t1475, u78.t2026.t1466, u78.t2023.t1474.t2126.t23.t1477, u78.t2026.t1469]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu122_flat :[u122.t1742.t519, u122.t1739.t527.t2368.t230.t530, u122.t1739.t528, u122.t1742.t522]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu104_flat :[u104.t1822.t816.t1823.t160.t818, u104.t1822.t815.t2293.t161.t818]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu66_flat :[u66.t2076.t1664.t1651, u66.t2078.t1661.t1651, u66.t2077.t1651]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu70_flat :[u70.t2068.t1621.t2089.t5.t1624, u70.t2068.t1622, u70.t2071.t1613, u70.t2071.t1616]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu69_flat :[u69.t2151.t1347.t1630.t1631.t2084.t1656.t1632, u69.t2151.t1347.t1630.t1633]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu107_flat :[u107.t2274.t1439.t829.t832.t833, u107.t2274.t1439.t829.t846.t847, u107.t2274.t1439.t829.t830.t2275.t865.t831]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu102_flat :[u102.t1858.t921, u102.t1870.t900, u102.t1870.t897, u102.t1855.t926.t2263.t131.t943, u102.t1858.t918, u102.t1855.t927]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu82_flat :[u82.t2019.t1579.t1408.t1409.t2016.t1427.t1410, u82.t2019.t1579.t1408.t1411.t1412]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu95_flat :[u95.t1835.t1187.t795.t819, u95.t1836.t1190.t795.t819, u95.t1834.t1184.t795.t819, u95.t1837.t1193.t795.t819]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t2091.t1669.t1541.t1551.t1552, u65.t2092.t1666.t1541.t1551.t1552]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu112_flat :[u112.t1751.t671.t507.t524.t525, u112.t1752.t668.t507.t524.t525]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu117_flat :[u117.t2362.t550.t2361.t223.t552, u117.t2362.t549.t1754.t224.t552]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu101_flat :[u101.t2256.t996.t1885.t997, u101.t2256.t998]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu99_flat :[u99.t2196.t1341.t1067.t1068.t2200.t1167.t1069, u99.t2196.t1341.t1067.t1077.t1078, u99.t2196.t1341.t1067.t1091.t1092, u99.t2196.t1341.t1067.t1084.t1085, u99.t2196.t1341.t1067.t1070.t1071]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu122_flat :[u122.t1738.t529, u122.t1743.t521, u122.t1743.t520.t2369.t233.t530, u122.t1738.t526]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu107_flat :[u107.t2287.t851, u107.t2290.t856.t1841.t149.t859, u107.t2287.t848, u107.t2290.t857]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu100_flat :[u100.t1891.t1055, u100.t1891.t1053.t2222.t1054]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu78_flat :[u78.t2027.t1468, u78.t2022.t1473, u78.t2030.t1459, u78.t2022.t1476, u78.t2027.t1467.t2127.t26.t1477, u78.t2030.t1462]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu71_flat :[u71.t1952.t1587.t1110.t1141.t1142, u71.t1954.t1595.t1110.t1141.t1142, u71.t1955.t1599.t1110.t1141.t1142, u71.t1953.t1591.t1110.t1141.t1142]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu114_flat :[u114.t1780.t650.t2337.t212.t660, u114.t1775.t659, u114.t1780.t651, u114.t1775.t656]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu72_flat :[u72.t2112.t1487.t2038.t1488, u72.t2112.t1489.t2113.t1490]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu73_flat :[u73.t2042.t1574.t1534, u73.t2043.t1577.t1534, u73.t2045.t1580.t1534, u73.t2044.t1534]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t2188.t1204.t1506.t1526, u76.t2188.t1204.t1506.t1509.t1510, u76.t2188.t1204.t1506.t1531, u76.t2188.t1204.t1506.t1507.t2060.t1569.t1508]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu92_flat :[u92.t1968.t1226, u92.t1965.t1231.t2182.t62.t1241, u92.t1965.t1232, u92.t1968.t1223]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu110_flat :[u110.t1799.t702, u110.t1799.t705, u110.t1796.t711, u110.t1796.t710.t2329.t197.t727]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t2086.t1636, u65.t2085.t1670.t1636, u65.t2087.t1667.t1636]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu108_flat :[u108.t1821.t814, u108.t1820.t822, u108.t1820.t820.t2292.t821, u108.t1821.t817]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu92_flat :[u92.t1964.t1233, u92.t1961.t1239, u92.t1964.t1230, u92.t1972.t1216, u92.t1961.t1238.t2181.t59.t1241, u92.t1972.t1219]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu77_flat :[u77.t2122.t1499, u77.t2122.t1497.t2040.t1498]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu102_flat :[u102.t1851.t934, u102.t1846.t942, u102.t1862.t911, u102.t1862.t914, u102.t1851.t933.t2262.t128.t943, u102.t1846.t939]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu98_flat :[u98.t1955.t1599.t1110.t1113.t1114, u98.t1955.t1599.t1110.t1141.t1142, u98.t1955.t1599.t1110.t1111.t1951.t1168.t1112, u98.t1955.t1599.t1110.t1127.t1128]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu119_flat :[u119.t572.t2402.t500, u119.t578.t2404.t500, u119.t581.t2406.t500, u119.t575.t2403.t500, u119.t2405.t500]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu99_flat :[u99.t2204.t1072, u99.t2208.t1082, u99.t2219.t1101.t1922.t92.t1104, u99.t2219.t1102, u99.t2208.t1079, u99.t2204.t1075]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu99_flat :[u99.t2203.t1073.t1918.t104.t1104, u99.t2220.t1103, u99.t2203.t1074, u99.t2220.t1100]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu107_flat :[u107.t2286.t849.t1840.t152.t859, u107.t2286.t850, u107.t2291.t858, u107.t2291.t855]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu82_flat :[u82.t2013.t1421, u82.t2013.t1419.t2130.t1420]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu79_flat :[u79.t2273.t1436.t829.t846.t847, u79.t2272.t1433.t829.t846.t847, u79.t2274.t1439.t829.t846.t847]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu124_flat :[u124.t1717.t416, u124.t1717.t413, u124.t1714.t421.t2410.t260.t438, u124.t1714.t422]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu96_flat :[u96.t1891.t1055, u96.t1181.t1890.t1055, u96.t1178.t1892.t1055, u96.t1172.t1894.t1055, u96.t1175.t1893.t1055]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu101_flat :[u101.t2259.t1001.t1886.t1002, u101.t2244.t976, u101.t2244.t973, u101.t2259.t1003]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu70_flat :[u70.t2072.t1615, u70.t2067.t1623, u70.t2067.t1620, u70.t2072.t1614.t2090.t8.t1624]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu100_flat :[u100.t1842.t874.t1010.t1020.t1021, u100.t1842.t874.t1010.t1037, u100.t1842.t874.t1010.t1011.t1917.t1166.t1012, u100.t1842.t874.t1010.t1057, u100.t1842.t874.t1010.t1052, u100.t1842.t874.t1010.t1013.t1014]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu83_flat :[u83.t2141.t1388, u83.t2144.t1401, u83.t2141.t1391, u83.t2144.t1399.t2011.t1400]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t2044.t1532.t2106.t1533, u76.t2044.t1534]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu98_flat :[u98.t1923.t1157, u98.t1936.t1137.t2192.t80.t1161, u98.t1923.t1160, u98.t1936.t1138]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t2405.t498.t1737.t499, u123.t2405.t500]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu122_flat :[u122.t1751.t671.t507.t524.t525, u122.t1751.t671.t507.t508.t1750.t567.t509, u122.t1751.t671.t507.t510.t511]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu91_flat :[u91.t2335.t676.t1247.t1257, u91.t2335.t676.t1247.t1248.t2166.t1320.t1249, u91.t2335.t676.t1247.t1250.t1251]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu73_flat :[u73.t2019.t1579.t1408.t1411.t1412, u73.t2018.t1576.t1408.t1411.t1412, u73.t2017.t1573.t1408.t1411.t1412]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu89_flat :[u89.t2152.t1663.t1302.t1312, u89.t2152.t1663.t1302.t1303.t2154.t1322.t1304, u89.t2152.t1663.t1302.t1305.t1306]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu114_flat :[u114.t1776.t658, u114.t1779.t652, u114.t1776.t657.t2336.t209.t660, u114.t1779.t649]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu119_flat :[u119.t2366.t559.t1756.t560, u119.t2366.t561.t2367.t562]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu90_flat :[u90.t1988.t1274, u90.t1988.t1273.t2165.t53.t1276]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu124_flat :[u124.t1713.t423, u124.t1713.t420, u124.t1706.t435.t2408.t254.t438, u124.t1706.t436]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu101_flat :[u101.t2249.t988, u101.t2248.t983, u101.t2248.t980, u101.t2249.t986.t1883.t987]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu75_flat :[u75.t2091.t1669.t1541.t1551.t1552, u75.t2091.t1669.t1541.t1542.t2093.t1570.t1543, u75.t2091.t1669.t1541.t1544.t1545]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu116_flat :[u116.t1761.t602, u116.t1761.t599]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu112_flat :[u112.t1762.t669.t599, u112.t1760.t672.t599, u112.t1761.t599]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu90_flat :[u90.t1986.t1275, u90.t1979.t1295, u90.t1986.t1272, u90.t1979.t1293.t2161.t1294]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu69_flat :[u69.t2086.t1634.t2075.t1635, u69.t2086.t1636]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu128_flat :[u128.t581.t1701.t580.t358.t361.t362, u128.t581.t1701.t580.t358.t359.t1697.t378.t360]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0_sub0 :[i0.u119.t572.t1698.t571.t358.t361.t362, i0.u119.t575.t1699.t574.t358.t361.t362, i0.u119.t581.t1701.t580.t358.t361.t362, i0.u119.t578.t1700.t577.t358.t361.t362]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu129_flat :[u129.t2421.t869.t336.t339.t340, u129.t2421.t869.t336.t337.t2422.t379.t338]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0 :[i0.u126.t1690.t371.t2417.t272.t374, i0.u126.t1690.t372.t1691.t271.t374]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu130_flat :[u130.t1671.t329, u130.t1680.t314, u130.t1680.t313.t2433.t290.t330, u130.t1671.t326]
Apr 05, 2019 10:03:39 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu130_flat :[u130.t1672.t328, u130.t1672.t327.t2431.t284.t330, u130.t1679.t312, u130.t1679.t315]
Apr 05, 2019 10:03:40 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu119_flat :[u119.t572.t1698.t571.t358.t361.t362, u119.t575.t1699.t574.t358.t361.t362, u119.t578.t1700.t577.t358.t361.t362, u119.t581.t1701.t580.t358.t361.t362]
Apr 05, 2019 10:03:40 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0_sub0 :[i0.u126.t1690.t371.t2417.t272.t374, i0.u126.t1690.t372.t1691.t271.t374]
Apr 05, 2019 10:03:40 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu126_flat :[u126.t1690.t371.t2417.t272.t374, u126.t1690.t372.t1691.t271.t374]
Apr 05, 2019 10:03:40 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 133 ms
Apr 05, 2019 10:23:41 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Apr 05, 2019 10:23:41 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-3B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:23:42 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 685 ms
Apr 05, 2019 10:23:42 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-3B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:23:42 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 722 ms
Apr 05, 2019 10:23:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Apr 05, 2019 10:23:43 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t1751.t671.t507.t508.t1750.t567.t509,t1751.t671.t507.t510.t511,t1751.t671.t507.t524.t525,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t2256.t996.t1885.t997,t2256.t998,t2256.t996.t1885.t997,t2256.t998,t2256.t996.t1885.t997,t2256.t998,t2256.t996.t1885.t997,t2256.t998,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t2153.t1660.t1302.t1312,t2153.t1660.t1302.t1312,t2152.t1663.t1302.t1312,t2152.t1663.t1302.t1312,t2078.t1661.t1651,t2076.t1664.t1651,t2077.t1651,t2067.t1620,t2067.t1620,t2067.t1620,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2363.t551.t2360.t222.t552,t2363.t548,t2398.t489,t2398.t489,t2398.t489,t1757.t585.t609.t612.t613,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t2177.t1258.t1977.t1259,t2177.t1260,t2177.t1258.t1977.t1259,t2177.t1260,t2177.t1258.t1977.t1259,t2177.t1260,t2177.t1258.t1977.t1259,t2177.t1260,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2344.t627,t1776.t658,t1776.t658,t1776.t658,t2335.t676.t1247.t1257,t2335.t676.t1247.t1257,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t1998.t1375,t1998.t1375,t1998.t1375,t2144.t1401,t2144.t1401,t2144.t1401,t2020.t1430.t1483.t1486,t2020.t1430.t1483.t1486,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t1796.t711,t1796.t711,t1796.t711,t2326.t785,t2326.t785,t2326.t785,t2271.t878.t1383.t1398,t2271.t878.t1383.t1398,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1752.t668.t507.t524.t525,t1752.t668.t507.t524.t525,t1751.t671.t507.t524.t525,t1751.t671.t507.t524.t525,t1762.t669.t599,t1760.t672.t599,t1761.t599,t1775.t656,t1775.t656,t1775.t656,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :t2196.t1341.t1067.t1068.t2200.t1167.t1069,t2196.t1341.t1067.t1070.t1071,t2196.t1341.t1067.t1077.t1078,t2196.t1341.t1067.t1084.t1085,t2196.t1341.t1067.t1091.t1092,t2196.t1341.t1067.t1068.t2200.t1167.t1069,t2196.t1341.t1067.t1070.t1071,t2196.t1341.t1067.t1077.t1078,t2196.t1341.t1067.t1084.t1085,t2196.t1341.t1067.t1091.t1092,t2196.t1341.t1067.t1068.t2200.t1167.t1069,t2196.t1341.t1067.t1070.t1071,t2196.t1341.t1067.t1077.t1078,t2196.t1341.t1067.t1084.t1085,t2196.t1341.t1067.t1091.t1092,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t2023.t1475,t2023.t1475,t2023.t1475,t2047.t1529,t2047.t1529,t2047.t1529,t2064.t1584.t1643.t1646.t1647,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t1952.t1587.t1110.t1141.t1142,t1952.t1587.t1110.t1141.t1142,t1952.t1587.t1110.t1141.t1142,t1953.t1591.t1110.t1141.t1142,t1953.t1591.t1110.t1141.t1142,t1953.t1591.t1110.t1141.t1142,t1954.t1595.t1110.t1141.t1142,t1954.t1595.t1110.t1141.t1142,t1954.t1595.t1110.t1141.t1142,t1955.t1599.t1110.t1141.t1142,t1955.t1599.t1110.t1141.t1142,t1955.t1599.t1110.t1141.t1142,t2053.t1589.t1513,t2053.t1589.t1513,t2054.t1593.t1513,t2054.t1593.t1513,t2055.t1597.t1513,t2055.t1597.t1513,t2057.t1601.t1513,t2057.t1601.t1513,t2122.t1499,t2053.t1589.t1513,t2054.t1593.t1513,t2055.t1597.t1513,t2057.t1601.t1513,t2056.t1513,t2022.t1473,t2022.t1473,t2022.t1473,t2022.t1473,t2022.t1473,t2105.t1560,t2105.t1560,t2105.t1560,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t1965.t1232,t1965.t1232,t1965.t1232,t1979.t1295,t1979.t1295,t1979.t1295,t2151.t1347.t1630.t1633,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t581.t1701.t580.t358.t359.t1697.t378.t360,t581.t1701.t580.t358.t361.t362,t581.t1701.t580.t358.t359.t1697.t378.t360,t581.t1701.t580.t358.t361.t362,t581.t1701.t580.t358.t359.t1697.t378.t360,t581.t1701.t580.t358.t361.t362,t1690.t371.t2417.t272.t374,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t1847.t941,t1847.t941,t1847.t941,t1847.t941,t1847.t941,t2259.t1003,t2259.t1003,t2259.t1003,t1904.t1040,t1904.t1040,t1904.t1040,t1956.t1199.t1267.t1287,t1956.t1199.t1267.t1287,t1956.t1199.t1267.t1287,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t1706.t436,t1706.t436,t1706.t436,t2400.t495,t2400.t495,t2400.t495,t2400.t495,t2400.t495,t1738.t526,t1738.t526,t1738.t526,t2350.t590.t949.t985,t2350.t590.t949.t985,t2350.t590.t949.t985,t2350.t590.t949.t985,t2350.t590.t949.t985,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t1988.t1273.t2165.t53.t1276,t1988.t1274,t1988.t1273.t2165.t53.t1276,t1988.t1274,t1988.t1273.t2165.t53.t1276,t1988.t1274,t1988.t1273.t2165.t53.t1276,t1988.t1274,t1981.t1288.t2162.t1289,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1671.t326,t1671.t326,t1671.t326,t1689.t373.t1692.t270.t374,t1689.t370,t2416.t387.t444.t492,t2416.t387.t444.t492,t2416.t387.t444.t492,t2416.t387.t444.t492,t2416.t387.t444.t492,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1855.t927,t1855.t927,t1855.t927,t1855.t927,t1855.t927,t2249.t988,t2249.t988,t2249.t988,t1888.t1060,t1888.t1060,t1888.t1060,t2212.t1086,t2212.t1086,t2212.t1086,t2188.t1204.t1506.t1526,t2188.t1204.t1506.t1526,t2188.t1204.t1506.t1526,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t1761.t602,t1761.t599,t1761.t602,t1761.t599,t1763.t601.t1764.t220.t603,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :t572.t1698.t571.t358.t361.t362,t575.t1699.t574.t358.t361.t362,t578.t1700.t577.t358.t361.t362,t581.t1701.t580.t358.t361.t362,t572.t2402.t500,t575.t2403.t500,t578.t2404.t500,t581.t2406.t500,t2405.t500,t1714.t422,t1714.t422,t1714.t422,t1739.t528,t1739.t528,t1739.t528,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2017.t1573.t1408.t1411.t1412,t2018.t1576.t1408.t1411.t1412,t2019.t1579.t1408.t1411.t1412,t2042.t1574.t1534,t2043.t1577.t1534,t2045.t1580.t1534,t2044.t1534,t2031.t1461,t2031.t1461,t2031.t1461,t2104.t1562,t2104.t1562,t2104.t1562,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2077.t1648.t2081.t1649.t2082.t2.t1652,t2077.t1651,t2077.t1648.t2081.t1649.t2082.t2.t1652,t2077.t1651,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t2421.t869.t336.t339.t340,t1787.t723,t1787.t723,t1787.t723,t1820.t822,t1820.t822,t1820.t822,t2291.t855,t2291.t855,t2291.t855,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t2122.t1497.t2040.t1498,t2122.t1499,t2122.t1497.t2040.t1498,t2122.t1499,t2122.t1497.t2040.t1498,t2122.t1499,t2122.t1497.t2040.t1498,t2122.t1499,t2112.t1489.t2113.t1490,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t1788.t725,t1788.t725,t1788.t725,t1788.t725,t1788.t725,t2325.t787,t2325.t787,t2325.t787,t2290.t857,t2290.t857,t2290.t857,t1842.t874.t1010.t1037,t1842.t874.t1010.t1037,t1842.t874.t1010.t1037,t1842.t874.t1010.t1037,t1842.t874.t1010.t1037,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2139.t1389.t2009.t38.t1392,t2139.t1390,t2139.t1389.t2009.t38.t1392,t2139.t1390,t2139.t1389.t2009.t38.t1392,t2139.t1390,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t2272.t1433.t829.t846.t847,t2272.t1433.t829.t846.t847,t2273.t1436.t829.t846.t847,t2273.t1436.t829.t846.t847,t2274.t1439.t829.t846.t847,t2274.t1439.t829.t846.t847,t2137.t1434.t1390,t2138.t1437.t1390,t2140.t1440.t1390,t2139.t1390,t1997.t1373,t1997.t1373,t1997.t1373,t2013.t1421,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1837.t1193.t795.t796.t1833.t864.t797,t1837.t1193.t795.t798.t799,t1837.t1193.t795.t812.t813,t1837.t1193.t795.t819,t1837.t1193.t795.t796.t1833.t864.t797,t1837.t1193.t795.t798.t799,t1837.t1193.t795.t812.t813,t1837.t1193.t795.t819,t1837.t1193.t795.t796.t1833.t864.t797,t1837.t1193.t795.t798.t799,t1837.t1193.t795.t812.t813,t1837.t1193.t795.t819,t1822.t815.t2293.t161.t818,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2086.t1634.t2075.t1635,t2086.t1636,t2086.t1634.t2075.t1635,t2086.t1636,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 24 events :t1172.t2354.t1171.t536.t558,t1172.t2354.t1171.t536.t558,t1175.t2353.t1174.t536.t558,t1175.t2353.t1174.t536.t558,t1178.t2352.t1177.t536.t558,t1178.t2352.t1177.t536.t558,t1181.t2351.t1180.t536.t558,t1181.t2351.t1180.t536.t558,t1172.t1894.t1055,t1175.t1893.t1055,t1178.t1892.t1055,t1181.t1890.t1055,t1891.t1055,t1846.t939,t1846.t939,t1846.t939,t1846.t939,t1846.t939,t2220.t1100,t2220.t1100,t2220.t1100,t1924.t1159,t1924.t1159,t1924.t1159,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2274.t1439.t829.t830.t2275.t865.t831,t2274.t1439.t829.t832.t833,t2274.t1439.t829.t846.t847,t2274.t1439.t829.t830.t2275.t865.t831,t2274.t1439.t829.t832.t833,t2274.t1439.t829.t846.t847,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t1672.t328,t1672.t328,t1672.t328,t1690.t372.t1691.t271.t374,t1690.t371.t2417.t272.t374,t1702.t383.t733.t750,t1702.t383.t733.t750,t1702.t383.t733.t750,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t2091.t1669.t1541.t1542.t2093.t1570.t1543,t2091.t1669.t1541.t1544.t1545,t2091.t1669.t1541.t1551.t1552,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t2152.t1663.t1302.t1303.t2154.t1322.t1304,t2152.t1663.t1302.t1305.t1306,t2152.t1663.t1302.t1312,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t2092.t1666.t1541.t1551.t1552,t2092.t1666.t1541.t1551.t1552,t2091.t1669.t1541.t1551.t1552,t2091.t1669.t1541.t1551.t1552,t2087.t1667.t1636,t2085.t1670.t1636,t2086.t1636,t2068.t1622,t2068.t1622,t2068.t1622,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2019.t1579.t1408.t1409.t2016.t1427.t1410,t2019.t1579.t1408.t1411.t1412,t2019.t1579.t1408.t1409.t2016.t1427.t1410,t2019.t1579.t1408.t1411.t1412,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 30 events :t1834.t1184.t795.t819,t1834.t1184.t795.t819,t1834.t1184.t795.t819,t1835.t1187.t795.t819,t1835.t1187.t795.t819,t1835.t1187.t795.t819,t1836.t1190.t795.t819,t1836.t1190.t795.t819,t1836.t1190.t795.t819,t1837.t1193.t795.t819,t1837.t1193.t795.t819,t1837.t1193.t795.t819,t2253.t1185.t998,t2254.t1188.t998,t2255.t1191.t998,t2257.t1194.t998,t2256.t998,t1863.t913,t1863.t913,t1863.t913,t1863.t913,t1863.t913,t2219.t1102,t2219.t1102,t2219.t1102,t2219.t1102,t2219.t1102,t1923.t1157,t1923.t1157,t1923.t1157,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2429.t349.t1688.t278.t352,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t1181.t2351.t1180.t536.t537.t2355.t568.t538,t1181.t2351.t1180.t536.t539.t540,t1181.t2351.t1180.t536.t558,t1181.t2351.t1180.t536.t537.t2355.t568.t538,t1181.t2351.t1180.t536.t539.t540,t1181.t2351.t1180.t536.t558,t1181.t2351.t1180.t536.t537.t2355.t568.t538,t1181.t2351.t1180.t536.t539.t540,t1181.t2351.t1180.t536.t558,t2362.t549.t1754.t224.t552,t2366.t559.t1756.t560,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1955.t1599.t1110.t1111.t1951.t1168.t1112,t1955.t1599.t1110.t1113.t1114,t1955.t1599.t1110.t1127.t1128,t1955.t1599.t1110.t1141.t1142,t1955.t1599.t1110.t1111.t1951.t1168.t1112,t1955.t1599.t1110.t1113.t1114,t1955.t1599.t1110.t1127.t1128,t1955.t1599.t1110.t1141.t1142,t1955.t1599.t1110.t1111.t1951.t1168.t1112,t1955.t1599.t1110.t1113.t1114,t1955.t1599.t1110.t1127.t1128,t1955.t1599.t1110.t1141.t1142,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t1769.t1326.t594.t597.t598,t1960.t1237,t1960.t1237,t1960.t1237,t2158.t1310.t2155.t48.t1311,t2158.t1307,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t1891.t1053.t2222.t1054,t1891.t1055,t1891.t1053.t2222.t1054,t1891.t1055,t1891.t1053.t2222.t1054,t1891.t1055,t1891.t1053.t2222.t1054,t1891.t1055,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t2405.t498.t1737.t499,t2405.t500,t2405.t498.t1737.t499,t2405.t500,t2405.t498.t1737.t499,t2405.t500,t2405.t498.t1737.t499,t2405.t500,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t2056.t1512.t2110.t20.t1515,t2056.t1513,t2056.t1512.t2110.t20.t1515,t2056.t1513,t2056.t1512.t2110.t20.t1515,t2056.t1513,t2056.t1512.t2110.t20.t1515,t2056.t1513,t2044.t1532.t2106.t1533,t2044.t1534,t2044.t1532.t2106.t1533,t2044.t1534,t2044.t1532.t2106.t1533,t2044.t1534,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :t2199.t1329.t1067.t1091.t1092,t2199.t1329.t1067.t1091.t1092,t2199.t1329.t1067.t1091.t1092,t2199.t1329.t1067.t1091.t1092,t2198.t1333.t1067.t1091.t1092,t2198.t1333.t1067.t1091.t1092,t2198.t1333.t1067.t1091.t1092,t2198.t1333.t1067.t1091.t1092,t2197.t1337.t1067.t1091.t1092,t2197.t1337.t1067.t1091.t1092,t2197.t1337.t1067.t1091.t1092,t2197.t1337.t1067.t1091.t1092,t2196.t1341.t1067.t1091.t1092,t2196.t1341.t1067.t1091.t1092,t2196.t1341.t1067.t1091.t1092,t2196.t1341.t1067.t1091.t1092,t1991.t1331.t1274,t1991.t1331.t1274,t1990.t1335.t1274,t1990.t1335.t1274,t1989.t1339.t1274,t1989.t1339.t1274,t1987.t1343.t1274,t1987.t1343.t1274,t2177.t1260,t1991.t1331.t1274,t1990.t1335.t1274,t1989.t1339.t1274,t1987.t1343.t1274,t1988.t1274,t1961.t1239,t1961.t1239,t1961.t1239,t1961.t1239,t1961.t1239,t2159.t1315,
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 496 redundant transitions.
Apr 05, 2019 10:23:44 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-3B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1561 ms
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu83_flat :[u83.t2271.t878.t1383.t1398, u83.t2271.t878.t1383.t1386.t1387, u83.t2271.t878.t1383.t1384.t2134.t1426.t1385]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu83_flat :[u83.t2139.t1389.t2009.t38.t1392, u83.t2139.t1390]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu89_flat :[u89.t2159.t1315, u89.t2159.t1313.t1996.t1314]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu109_flat :[u109.t2326.t785, u109.t2317.t773, u109.t2317.t772.t1816.t176.t789, u109.t2326.t788]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t2383.t456, u123.t2383.t459, u123.t2399.t490, u123.t2400.t495, u123.t2400.t493.t1736.t494, u123.t2399.t487]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu108_flat :[u108.t1837.t1193.t795.t796.t1833.t864.t797, u108.t1837.t1193.t795.t798.t799, u108.t1837.t1193.t795.t812.t813, u108.t1837.t1193.t795.t819]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu101_flat :[u101.t2350.t590.t949.t985, u101.t2350.t590.t949.t995, u101.t2350.t590.t949.t959.t960, u101.t2350.t590.t949.t950.t2230.t1165.t951, u101.t2350.t590.t949.t952.t953, u101.t2350.t590.t949.t1000]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu90_flat :[u90.t1956.t1199.t1267.t1292, u90.t1956.t1199.t1267.t1268.t1994.t1321.t1269, u90.t1956.t1199.t1267.t1270.t1271, u90.t1956.t1199.t1267.t1287]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu68_flat :[u68.t2077.t1651, u68.t2077.t1648.t2081.t1649.t2082.t2.t1652]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t2056.t1512.t2110.t20.t1515, u76.t2056.t1513]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu86_flat :[u86.t2198.t1333.t1067.t1091.t1092, u86.t2199.t1329.t1067.t1091.t1092, u86.t2196.t1341.t1067.t1091.t1092, u86.t2197.t1337.t1067.t1091.t1092]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu102_flat :[u102.t1866.t904, u102.t1863.t912.t2265.t137.t943, u102.t1866.t907, u102.t1863.t913, u102.t1874.t890, u102.t1874.t893]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu100_flat :[u100.t1913.t1018, u100.t1904.t1038.t2225.t1039, u100.t1904.t1040, u100.t1913.t1015]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu75_flat :[u75.t2104.t1562, u75.t2104.t1561.t2063.t11.t1564, u75.t2097.t1546, u75.t2097.t1549]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu99_flat :[u99.t2207.t1081, u99.t2212.t1089, u99.t2212.t1086, u99.t2207.t1080.t1919.t101.t1104]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu86_flat :[u86.t1990.t1335.t1274, u86.t1987.t1343.t1274, u86.t1991.t1331.t1274, u86.t1989.t1339.t1274]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t2052.t1511, u76.t2052.t1514, u76.t2047.t1529, u76.t2047.t1527.t2107.t1528]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu98_flat :[u98.t1935.t1136, u98.t1935.t1139, u98.t1924.t1158.t2189.t71.t1161, u98.t1924.t1159]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu91_flat :[u91.t2177.t1258.t1977.t1259, u91.t2177.t1260]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t2398.t489, u123.t2389.t468, u123.t2398.t488.t1735.t239.t491, u123.t2389.t471]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu102_flat :[u102.t1854.t925, u102.t1854.t928, u102.t1850.t932, u102.t1850.t935, u102.t1847.t941, u102.t1847.t940.t2261.t125.t943]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t2416.t387.t444.t492, u123.t2416.t387.t444.t454.t455, u123.t2416.t387.t444.t445.t2371.t566.t446, u123.t2416.t387.t444.t473.t474, u123.t2416.t387.t444.t497, u123.t2416.t387.t444.t447.t448]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu79_flat :[u79.t2139.t1390, u79.t2137.t1434.t1390, u79.t2138.t1437.t1390, u79.t2140.t1440.t1390]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu116_flat :[u116.t1769.t1326.t594.t597.t598, u116.t1769.t1326.t594.t595.t1766.t665.t596]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu92_flat :[u92.t1960.t1240, u92.t1973.t1217.t2184.t68.t1241, u92.t1973.t1218, u92.t1960.t1237]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu111_flat :[u111.t1763.t601.t1764.t220.t603, u111.t1763.t600.t2346.t221.t603]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu110_flat :[u110.t1791.t716, u110.t1795.t712, u110.t1788.t724.t2327.t191.t727, u110.t1791.t719, u110.t1788.t725, u110.t1795.t709]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu96_flat :[u96.t1178.t2352.t1177.t536.t558, u96.t1175.t2353.t1174.t536.t558, u96.t1172.t2354.t1171.t536.t558, u96.t1181.t2351.t1180.t536.t558]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu71_flat :[u71.t2054.t1593.t1513, u71.t2057.t1601.t1513, u71.t2055.t1597.t1513, u71.t2053.t1589.t1513]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu95_flat :[u95.t2255.t1191.t998, u95.t2254.t1188.t998, u95.t2257.t1194.t998, u95.t2256.t998, u95.t2253.t1185.t998]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu84_flat :[u84.t1997.t1373, u84.t1997.t1376, u84.t2002.t1367.t2147.t44.t1377, u84.t2002.t1368]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu78_flat :[u78.t2031.t1460.t2128.t29.t1477, u78.t2034.t1452, u78.t2031.t1461, u78.t2034.t1455]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu109_flat :[u109.t2325.t787, u109.t2318.t771, u109.t2325.t786.t1818.t170.t789, u109.t2318.t774]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu84_flat :[u84.t2001.t1369, u84.t1998.t1374.t2146.t41.t1377, u84.t2001.t1366, u84.t1998.t1375]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu115_flat :[u115.t1757.t585.t609.t612.t613, u115.t1757.t585.t609.t610.t2339.t664.t611]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu77_flat :[u77.t2020.t1430.t1483.t1484.t2111.t1568.t1485, u77.t2020.t1430.t1483.t1496, u77.t2020.t1430.t1483.t1486]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu68_flat :[u68.t2064.t1584.t1643.t1644.t2080.t1657.t1645, u68.t2064.t1584.t1643.t1646.t1647]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu121_flat :[u121.t1181.t2351.t1180.t536.t558, u121.t1181.t2351.t1180.t536.t537.t2355.t568.t538, u121.t1181.t2351.t1180.t536.t539.t540]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu115_flat :[u115.t2344.t625.t1774.t626, u115.t2344.t627]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu66_flat :[u66.t2153.t1660.t1302.t1312, u66.t2152.t1663.t1302.t1312]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu109_flat :[u109.t1702.t383.t733.t743.t744, u109.t1702.t383.t733.t750, u109.t1702.t383.t733.t736.t737, u109.t1702.t383.t733.t734.t2296.t863.t735]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu75_flat :[u75.t2096.t1548, u75.t2105.t1563, u75.t2105.t1560, u75.t2096.t1547.t2061.t17.t1564]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu100_flat :[u100.t1888.t1060, u100.t1909.t1022, u100.t1909.t1025, u100.t1888.t1058.t2221.t1059]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu110_flat :[u110.t1787.t723, u110.t1792.t718, u110.t1787.t726, u110.t1792.t717.t2328.t194.t727]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu78_flat :[u78.t2023.t1475, u78.t2026.t1466, u78.t2023.t1474.t2126.t23.t1477, u78.t2026.t1469]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu122_flat :[u122.t1742.t519, u122.t1739.t527.t2368.t230.t530, u122.t1739.t528, u122.t1742.t522]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu104_flat :[u104.t1822.t816.t1823.t160.t818, u104.t1822.t815.t2293.t161.t818]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu66_flat :[u66.t2076.t1664.t1651, u66.t2078.t1661.t1651, u66.t2077.t1651]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu70_flat :[u70.t2068.t1621.t2089.t5.t1624, u70.t2068.t1622, u70.t2071.t1613, u70.t2071.t1616]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu69_flat :[u69.t2151.t1347.t1630.t1631.t2084.t1656.t1632, u69.t2151.t1347.t1630.t1633]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu107_flat :[u107.t2274.t1439.t829.t832.t833, u107.t2274.t1439.t829.t846.t847, u107.t2274.t1439.t829.t830.t2275.t865.t831]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu102_flat :[u102.t1858.t921, u102.t1870.t900, u102.t1870.t897, u102.t1855.t926.t2263.t131.t943, u102.t1858.t918, u102.t1855.t927]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu82_flat :[u82.t2019.t1579.t1408.t1409.t2016.t1427.t1410, u82.t2019.t1579.t1408.t1411.t1412]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu95_flat :[u95.t1835.t1187.t795.t819, u95.t1836.t1190.t795.t819, u95.t1834.t1184.t795.t819, u95.t1837.t1193.t795.t819]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t2091.t1669.t1541.t1551.t1552, u65.t2092.t1666.t1541.t1551.t1552]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu112_flat :[u112.t1751.t671.t507.t524.t525, u112.t1752.t668.t507.t524.t525]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu117_flat :[u117.t2362.t550.t2361.t223.t552, u117.t2362.t549.t1754.t224.t552]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu101_flat :[u101.t2256.t996.t1885.t997, u101.t2256.t998]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu99_flat :[u99.t2196.t1341.t1067.t1068.t2200.t1167.t1069, u99.t2196.t1341.t1067.t1077.t1078, u99.t2196.t1341.t1067.t1091.t1092, u99.t2196.t1341.t1067.t1084.t1085, u99.t2196.t1341.t1067.t1070.t1071]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu122_flat :[u122.t1738.t529, u122.t1743.t521, u122.t1743.t520.t2369.t233.t530, u122.t1738.t526]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu107_flat :[u107.t2287.t851, u107.t2290.t856.t1841.t149.t859, u107.t2287.t848, u107.t2290.t857]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu100_flat :[u100.t1891.t1055, u100.t1891.t1053.t2222.t1054]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu78_flat :[u78.t2027.t1468, u78.t2022.t1473, u78.t2030.t1459, u78.t2022.t1476, u78.t2027.t1467.t2127.t26.t1477, u78.t2030.t1462]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu71_flat :[u71.t1952.t1587.t1110.t1141.t1142, u71.t1954.t1595.t1110.t1141.t1142, u71.t1955.t1599.t1110.t1141.t1142, u71.t1953.t1591.t1110.t1141.t1142]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu114_flat :[u114.t1780.t650.t2337.t212.t660, u114.t1775.t659, u114.t1780.t651, u114.t1775.t656]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu72_flat :[u72.t2112.t1487.t2038.t1488, u72.t2112.t1489.t2113.t1490]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu73_flat :[u73.t2042.t1574.t1534, u73.t2043.t1577.t1534, u73.t2045.t1580.t1534, u73.t2044.t1534]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t2188.t1204.t1506.t1526, u76.t2188.t1204.t1506.t1509.t1510, u76.t2188.t1204.t1506.t1531, u76.t2188.t1204.t1506.t1507.t2060.t1569.t1508]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu92_flat :[u92.t1968.t1226, u92.t1965.t1231.t2182.t62.t1241, u92.t1965.t1232, u92.t1968.t1223]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu110_flat :[u110.t1799.t702, u110.t1799.t705, u110.t1796.t711, u110.t1796.t710.t2329.t197.t727]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t2086.t1636, u65.t2085.t1670.t1636, u65.t2087.t1667.t1636]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu108_flat :[u108.t1821.t814, u108.t1820.t822, u108.t1820.t820.t2292.t821, u108.t1821.t817]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu92_flat :[u92.t1964.t1233, u92.t1961.t1239, u92.t1964.t1230, u92.t1972.t1216, u92.t1961.t1238.t2181.t59.t1241, u92.t1972.t1219]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu77_flat :[u77.t2122.t1499, u77.t2122.t1497.t2040.t1498]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu102_flat :[u102.t1851.t934, u102.t1846.t942, u102.t1862.t911, u102.t1862.t914, u102.t1851.t933.t2262.t128.t943, u102.t1846.t939]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu98_flat :[u98.t1955.t1599.t1110.t1113.t1114, u98.t1955.t1599.t1110.t1141.t1142, u98.t1955.t1599.t1110.t1111.t1951.t1168.t1112, u98.t1955.t1599.t1110.t1127.t1128]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu119_flat :[u119.t572.t2402.t500, u119.t578.t2404.t500, u119.t581.t2406.t500, u119.t575.t2403.t500, u119.t2405.t500]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu99_flat :[u99.t2204.t1072, u99.t2208.t1082, u99.t2219.t1101.t1922.t92.t1104, u99.t2219.t1102, u99.t2208.t1079, u99.t2204.t1075]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu99_flat :[u99.t2203.t1073.t1918.t104.t1104, u99.t2220.t1103, u99.t2203.t1074, u99.t2220.t1100]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu107_flat :[u107.t2286.t849.t1840.t152.t859, u107.t2286.t850, u107.t2291.t858, u107.t2291.t855]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu82_flat :[u82.t2013.t1421, u82.t2013.t1419.t2130.t1420]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu79_flat :[u79.t2273.t1436.t829.t846.t847, u79.t2272.t1433.t829.t846.t847, u79.t2274.t1439.t829.t846.t847]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu124_flat :[u124.t1717.t416, u124.t1717.t413, u124.t1714.t421.t2410.t260.t438, u124.t1714.t422]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu96_flat :[u96.t1891.t1055, u96.t1181.t1890.t1055, u96.t1178.t1892.t1055, u96.t1172.t1894.t1055, u96.t1175.t1893.t1055]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu101_flat :[u101.t2259.t1001.t1886.t1002, u101.t2244.t976, u101.t2244.t973, u101.t2259.t1003]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu70_flat :[u70.t2072.t1615, u70.t2067.t1623, u70.t2067.t1620, u70.t2072.t1614.t2090.t8.t1624]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu100_flat :[u100.t1842.t874.t1010.t1020.t1021, u100.t1842.t874.t1010.t1037, u100.t1842.t874.t1010.t1011.t1917.t1166.t1012, u100.t1842.t874.t1010.t1057, u100.t1842.t874.t1010.t1052, u100.t1842.t874.t1010.t1013.t1014]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu83_flat :[u83.t2141.t1388, u83.t2144.t1401, u83.t2141.t1391, u83.t2144.t1399.t2011.t1400]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t2044.t1532.t2106.t1533, u76.t2044.t1534]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu98_flat :[u98.t1923.t1157, u98.t1936.t1137.t2192.t80.t1161, u98.t1923.t1160, u98.t1936.t1138]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t2405.t498.t1737.t499, u123.t2405.t500]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu122_flat :[u122.t1751.t671.t507.t524.t525, u122.t1751.t671.t507.t508.t1750.t567.t509, u122.t1751.t671.t507.t510.t511]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu91_flat :[u91.t2335.t676.t1247.t1257, u91.t2335.t676.t1247.t1248.t2166.t1320.t1249, u91.t2335.t676.t1247.t1250.t1251]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu73_flat :[u73.t2019.t1579.t1408.t1411.t1412, u73.t2018.t1576.t1408.t1411.t1412, u73.t2017.t1573.t1408.t1411.t1412]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu89_flat :[u89.t2152.t1663.t1302.t1312, u89.t2152.t1663.t1302.t1303.t2154.t1322.t1304, u89.t2152.t1663.t1302.t1305.t1306]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu114_flat :[u114.t1776.t658, u114.t1779.t652, u114.t1776.t657.t2336.t209.t660, u114.t1779.t649]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu119_flat :[u119.t2366.t559.t1756.t560, u119.t2366.t561.t2367.t562]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu90_flat :[u90.t1988.t1274, u90.t1988.t1273.t2165.t53.t1276]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu124_flat :[u124.t1713.t423, u124.t1713.t420, u124.t1706.t435.t2408.t254.t438, u124.t1706.t436]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu101_flat :[u101.t2249.t988, u101.t2248.t983, u101.t2248.t980, u101.t2249.t986.t1883.t987]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu75_flat :[u75.t2091.t1669.t1541.t1551.t1552, u75.t2091.t1669.t1541.t1542.t2093.t1570.t1543, u75.t2091.t1669.t1541.t1544.t1545]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu116_flat :[u116.t1761.t602, u116.t1761.t599]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu112_flat :[u112.t1762.t669.t599, u112.t1760.t672.t599, u112.t1761.t599]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu90_flat :[u90.t1986.t1275, u90.t1979.t1295, u90.t1986.t1272, u90.t1979.t1293.t2161.t1294]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu69_flat :[u69.t2086.t1634.t2075.t1635, u69.t2086.t1636]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu128_flat :[u128.t581.t1701.t580.t358.t361.t362, u128.t581.t1701.t580.t358.t359.t1697.t378.t360]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0_sub0 :[i0.u119.t572.t1698.t571.t358.t361.t362, i0.u119.t575.t1699.t574.t358.t361.t362, i0.u119.t581.t1701.t580.t358.t361.t362, i0.u119.t578.t1700.t577.t358.t361.t362]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu129_flat :[u129.t2421.t869.t336.t339.t340, u129.t2421.t869.t336.t337.t2422.t379.t338]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0 :[i0.u126.t1690.t371.t2417.t272.t374, i0.u126.t1690.t372.t1691.t271.t374]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu130_flat :[u130.t1671.t329, u130.t1680.t314, u130.t1680.t313.t2433.t290.t330, u130.t1671.t326]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu130_flat :[u130.t1672.t328, u130.t1672.t327.t2431.t284.t330, u130.t1679.t312, u130.t1679.t315]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu119_flat :[u119.t572.t1698.t571.t358.t361.t362, u119.t575.t1699.t574.t358.t361.t362, u119.t578.t1700.t577.t358.t361.t362, u119.t581.t1701.t580.t358.t361.t362]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0_sub0 :[i0.u126.t1690.t371.t2417.t272.t374, i0.u126.t1690.t372.t1691.t271.t374]
Apr 05, 2019 10:23:45 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu126_flat :[u126.t1690.t371.t2417.t272.t374, u126.t1690.t372.t1691.t271.t374]
Apr 05, 2019 10:23:45 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 159 ms

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="NoC3x3-PT-3B"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="itstoolsm"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool itstoolsm"
echo " Input is NoC3x3-PT-3B, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r203-csrt-155344537900282"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-3B.tgz
mv NoC3x3-PT-3B execution
cd execution
if [ "GlobalProperties" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "GlobalProperties" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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