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-155344538000336.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-6B, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-csrt-155344538000336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 716K
-rw-r--r-- 1 mcc users 4.1K Mar 23 12:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 23 12:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 23 12:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 12:23 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.1K Mar 23 12:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.6K 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 8.5K 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.1K Mar 23 12:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 23 12:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 23 12:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 12:03 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 552K 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-6B-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554500635472

Working with output stream class java.io.PrintStream
Flatten gal took : 968 ms
Constant places removed 1 places and 1 transitions.
Performed 372 Post agglomeration using F-continuation condition.
Iterating post reduction 0 with 373 rules applied. Total rules applied 373 place count 1543 transition count 1856
Constant places removed 373 places and 1 transitions.
Iterating post reduction 1 with 373 rules applied. Total rules applied 746 place count 1170 transition count 1855
Constant places removed 9 places and 0 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 755 place count 1161 transition count 1855
Performed 64 Pre agglomeration using Quasi-Persistent + HF-interchangeable + Divergent Free condition.
Pre-agglomeration after 3 with 64 Pre rules applied. Total rules applied 755 place count 1161 transition count 1791
Constant places removed 64 places and 0 transitions.
Iterating post reduction 3 with 64 rules applied. Total rules applied 819 place count 1097 transition count 1791
Symmetric choice reduction at 4 with 234 rule applications. Total rules 1053 place count 1097 transition count 1791
Constant places removed 234 places and 234 transitions.
Iterating post reduction 4 with 234 rules applied. Total rules applied 1287 place count 863 transition count 1557
Performed 34 Pre agglomeration using Quasi-Persistent + HF-interchangeable + Divergent Free condition.
Pre-agglomeration after 5 with 34 Pre rules applied. Total rules applied 1287 place count 863 transition count 1523
Constant places removed 34 places and 0 transitions.
Iterating post reduction 5 with 34 rules applied. Total rules applied 1321 place count 829 transition count 1523
Symmetric choice reduction at 6 with 80 rule applications. Total rules 1401 place count 829 transition count 1523
Constant places removed 80 places and 180 transitions.
Iterating post reduction 6 with 80 rules applied. Total rules applied 1481 place count 749 transition count 1343
Symmetric choice reduction at 7 with 56 rule applications. Total rules 1537 place count 749 transition count 1343
Constant places removed 56 places and 123 transitions.
Iterating post reduction 7 with 56 rules applied. Total rules applied 1593 place count 693 transition count 1220
Symmetric choice reduction at 8 with 25 rule applications. Total rules 1618 place count 693 transition count 1220
Constant places removed 25 places and 50 transitions.
Iterating post reduction 8 with 25 rules applied. Total rules applied 1643 place count 668 transition count 1170
Symmetric choice reduction at 9 with 17 rule applications. Total rules 1660 place count 668 transition count 1170
Constant places removed 17 places and 42 transitions.
Iterating post reduction 9 with 17 rules applied. Total rules applied 1677 place count 651 transition count 1128
Symmetric choice reduction at 10 with 4 rule applications. Total rules 1681 place count 651 transition count 1128
Constant places removed 4 places and 8 transitions.
Iterating post reduction 10 with 4 rules applied. Total rules applied 1685 place count 647 transition count 1120
Symmetric choice reduction at 11 with 4 rule applications. Total rules 1689 place count 647 transition count 1120
Constant places removed 4 places and 8 transitions.
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 11 with 13 rules applied. Total rules applied 1702 place count 643 transition count 1103
Performed 81 Post agglomeration using F-continuation condition.
Constant places removed 81 places and 0 transitions.
Iterating post reduction 12 with 81 rules applied. Total rules applied 1783 place count 562 transition count 1022
Performed 101 Post agglomeration using F-continuation condition.
Constant places removed 101 places and 0 transitions.
Iterating post reduction 13 with 101 rules applied. Total rules applied 1884 place count 461 transition count 1060
Performed 36 Post agglomeration using F-continuation condition.
Constant places removed 36 places and 0 transitions.
Iterating post reduction 14 with 36 rules applied. Total rules applied 1920 place count 425 transition count 1070
Applied a total of 1920 rules in 1282 ms. Remains 425 /1544 variables (removed 1119) and now considering 1070/2229 (removed 1159) transitions.
Random walk for 250 k steps run took 5825 ms.
Normalized transition count is 970
// Phase 1: matrix 970 rows 425 cols
Random walk for 4 * 500 k steps run took 39438 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 970
// Phase 1: matrix 970 rows 425 cols
invariant :p1523 + p1525 + p1527 + p1531 + p1533 + p1535 + p1537 + p1541 + p1543 = 1
invariant :p335 + p336 + p340 + p341 + p345 + p346 + p350 = 1
invariant :p1313 + p1316 + p1321 + p1324 + p1326 + p1330 + p1334 = 1
invariant :p1018 + p1021 + p1023 + p1027 + p1031 + p1040 + p1044 = 1
invariant :p1288 + p1289 + p1293 + p1294 + p1298 + p1299 + p1303 + p1304 + p1308 = 1
invariant :p1491 + p1494 + p1496 + p1500 + p1504 = 1
invariant :p84 + p85 + p89 + p90 + p94 = 1
invariant :p98 + p101 + p103 + p107 + p111 = 1
invariant :p181 + p182 + p186 + p187 + p191 + p192 + p196 = 1
invariant :p1084 + p1087 + p1092 + p1097 + p1101 + p1105 + p1131 = 1
invariant :p433 + p435 + p436 + p439 + p442 = 1
invariant :p603 + p605 + p606 + p609 + p612 + p615 = 1
invariant :p900 + p902 + p904 + p908 + p910 + p912 + p914 + p918 + p920 + p924 + p928 + p930 + p932 + p940 + p944 + p948 + p950 + p952 + p960 + p970 + p980 = 1
invariant :p351 + p353 + p354 + p357 + p360 = 1
invariant :p243 + p246 + p251 + p254 + p259 + p264 + p268 + p272 = 1
invariant :p676 + p679 + p684 + p689 + p693 + p697 + p700 + p710 + p723 = 1
invariant :p65 + p66 + p71 + p72 + p77 + p78 + p83 = 1
invariant :p1437 + p1439 + p1441 + p1445 + p1447 + p1449 + p1451 + p1455 + p1457 + p1459 + p1467 = 1
invariant :p506 + p509 + p514 + p517 + p522 + p527 + p531 + p535 = 1
invariant :p562 + p564 + p566 + p570 + p572 + p574 + p576 + p580 + p582 + p586 + p590 + p592 + p594 + p602 = 1
invariant :p1278 + p1280 + p1281 + p1284 + p1287 = 1
invariant :p1249 + p1252 + p1254 + p1258 + p1262 = 1
invariant :p1337 + p1340 + p1342 + p1346 + p1350 + p1359 + p1363 = 1
invariant :p1366 + p1369 + p1371 + p1375 + p1379 + p1388 + p1392 + p1403 + p1408 + p1421 = 1
invariant :p1047 + p1050 + p1055 + p1060 + p1064 + p1068 + p1071 + p1081 = 1
invariant :p1175 + p1177 + p1178 + p1181 + p1184 = 1
invariant :p1468 + p1470 + p1471 + p1474 + p1477 = 1
invariant :p171 + p173 + p174 + p177 + p180 = 1
invariant :p991 + p993 + p994 + p997 + p1000 + p1003 = 1
invariant :p726 + p729 + p731 + p735 + p739 + p755 + p765 + p774 + p778 + p787 + p791 = 1
invariant :p1134 + p1136 + p1138 + p1142 + p1144 + p1146 + p1148 + p1152 + p1154 + p1158 + p1162 + p1164 + p1166 + p1174 = 1
invariant :p794 + p797 + p802 + p805 + p810 + p813 + p818 + p831 + p844 = 1
invariant :p443 + p444 + p449 + p450 + p455 + p456 + p461 + p462 + p467 = 1
invariant :p388 + p391 + p396 + p401 + p405 + p409 = 1
invariant :p146 + p147 + p152 + p153 + p158 + p159 + p164 + p165 + p170 = 1
invariant :p468 + p470 + p471 + p474 + p477 = 1
invariant :p650 + p651 + p655 + p656 + p660 + p661 + p665 + p666 + p670 = 1
invariant :p1204 + p1206 + p1208 + p1212 + p1214 + p1216 + p1218 + p1222 + p1224 = 1
invariant :p847 + p850 + p855 + p858 + p863 + p866 + p871 + p884 + p897 = 1
invariant :p1185 + p1186 + p1190 + p1191 + p1195 + p1196 + p1200 = 1
invariant :p114 + p117 + p122 = 1
invariant :p538 + p541 + p546 + p549 + p559 = 1
invariant :p482 + p485 + p490 + p493 + p503 = 1
invariant :p616 + p618 + p619 + p622 + p625 + p628 = 1
invariant :p201 + p204 + p206 + p210 + p214 + p236 + p240 = 1
invariant :p1004 + p1006 + p1007 + p1010 + p1013 = 1
invariant :p412 + p414 + p416 + p420 + p422 + p424 + p426 + p430 + p432 = 1
invariant :p1265 + p1267 + p1268 + p1271 + p1274 + p1277 = 1
invariant :p1507 + p1510 + p1512 + p1516 + p1520 = 1
invariant :p629 + p630 + p634 + p635 + p639 + p640 + p644 + p645 + p649 = 1
invariant :p294 + p296 + p298 + p302 + p304 + p306 + p308 + p312 + p314 + p316 + p324 + p328 + p332 + p334 = 1
invariant :p1478 + p1480 + p1481 + p1484 + p1487 = 1
invariant :p1225 + p1228 + p1233 + p1238 + p1242 + p1246 = 1
invariant :p275 + p278 + p283 + p286 + p291 = 1
invariant :p981 + p983 + p984 + p987 + p990 = 1
invariant :p125 + p127 + p129 + p133 + p135 + p137 + p139 + p143 + p145 = 1
invariant :p364 + p367 + p372 + p377 + p381 + p385 = 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 18078 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 190 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 8 ordering constraints for composite.
built 106 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 8 ordering constraints for composite.
built 106 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:44:01 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:44:01 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Apr 05, 2019 9:44:02 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 441 ms
Apr 05, 2019 9:44:02 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1544 places.
Apr 05, 2019 9:44:02 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2229 transitions.
Apr 05, 2019 9:44:02 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Apr 05, 2019 9:44:02 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 105 ms
Apr 05, 2019 9:44:03 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:44:03 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 9:44:03 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 959 ms
Apr 05, 2019 9:44:03 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.simple.gal : 9 ms
Apr 05, 2019 9:44:04 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 2229 transitions.
Apr 05, 2019 9:44:53 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 9:44:53 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 443 ms
Apr 05, 2019 9:44:53 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 1070 transitions.
Apr 05, 2019 9:44:53 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 1070 transitions.
Apr 05, 2019 9:44:53 PM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 425 places.
Apr 05, 2019 9:44:53 PM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 1070 transitions.
Apr 05, 2019 9:44:54 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 6 ms
Apr 05, 2019 9:44:55 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 57 place invariants in 358 ms
Apr 05, 2019 9:45:02 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 425 variables to be positive in 7239 ms
Apr 05, 2019 9:45:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1070 transitions.
Apr 05, 2019 9:45:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :0/1070 took 0 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 9:45:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 158 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 9:45:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1070 transitions.
Apr 05, 2019 9:45:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 63 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 9:45:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1070 transitions.
Apr 05, 2019 9:45:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(11/1070) took 3121 ms. Total solver calls (SAT/UNSAT): 395(18/377)
Apr 05, 2019 9:45:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(21/1070) took 6181 ms. Total solver calls (SAT/UNSAT): 953(45/908)
Apr 05, 2019 9:45:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(30/1070) took 9181 ms. Total solver calls (SAT/UNSAT): 1234(53/1181)
Apr 05, 2019 9:45:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(39/1070) took 12334 ms. Total solver calls (SAT/UNSAT): 1800(53/1747)
Apr 05, 2019 9:45:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(44/1070) took 15509 ms. Total solver calls (SAT/UNSAT): 2250(53/2197)
Apr 05, 2019 9:45:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(52/1070) took 18910 ms. Total solver calls (SAT/UNSAT): 2696(53/2643)
Apr 05, 2019 9:45:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(58/1070) took 23186 ms. Total solver calls (SAT/UNSAT): 3037(83/2954)
Apr 05, 2019 9:45:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(60/1070) took 26270 ms. Total solver calls (SAT/UNSAT): 3164(98/3066)
Apr 05, 2019 9:45:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(70/1070) took 29728 ms. Total solver calls (SAT/UNSAT): 3603(137/3466)
Apr 05, 2019 9:45:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(81/1070) took 33368 ms. Total solver calls (SAT/UNSAT): 4000(161/3839)
Apr 05, 2019 9:45:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(87/1070) took 36425 ms. Total solver calls (SAT/UNSAT): 4554(209/4345)
Apr 05, 2019 9:45:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(91/1070) took 40106 ms. Total solver calls (SAT/UNSAT): 4948(243/4705)
Apr 05, 2019 9:45:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(95/1070) took 43437 ms. Total solver calls (SAT/UNSAT): 5326(277/5049)
Apr 05, 2019 9:45:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(98/1070) took 46441 ms. Total solver calls (SAT/UNSAT): 5599(301/5298)
Apr 05, 2019 9:45:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(103/1070) took 50683 ms. Total solver calls (SAT/UNSAT): 5862(316/5546)
Apr 05, 2019 9:45:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(109/1070) took 53766 ms. Total solver calls (SAT/UNSAT): 6174(341/5833)
Apr 05, 2019 9:45:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(117/1070) took 56876 ms. Total solver calls (SAT/UNSAT): 6660(379/6281)
Apr 05, 2019 9:46:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(126/1070) took 59971 ms. Total solver calls (SAT/UNSAT): 7329(412/6917)
Apr 05, 2019 9:46:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(129/1070) took 63113 ms. Total solver calls (SAT/UNSAT): 7478(434/7044)
Apr 05, 2019 9:46:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(136/1070) took 66207 ms. Total solver calls (SAT/UNSAT): 7910(454/7456)
Apr 05, 2019 9:46:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(143/1070) took 69566 ms. Total solver calls (SAT/UNSAT): 8280(480/7800)
Apr 05, 2019 9:46:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(154/1070) took 72689 ms. Total solver calls (SAT/UNSAT): 8800(510/8290)
Apr 05, 2019 9:46:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(168/1070) took 76657 ms. Total solver calls (SAT/UNSAT): 9339(552/8787)
Apr 05, 2019 9:46:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(175/1070) took 79925 ms. Total solver calls (SAT/UNSAT): 10014(605/9409)
Apr 05, 2019 9:46:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(178/1070) took 83517 ms. Total solver calls (SAT/UNSAT): 10320(630/9690)
Apr 05, 2019 9:46:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(182/1070) took 86621 ms. Total solver calls (SAT/UNSAT): 10714(664/10050)
Apr 05, 2019 9:46:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(192/1070) took 89872 ms. Total solver calls (SAT/UNSAT): 11271(714/10557)
Apr 05, 2019 9:46:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(202/1070) took 92894 ms. Total solver calls (SAT/UNSAT): 11898(757/11141)
Apr 05, 2019 9:46:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(212/1070) took 96273 ms. Total solver calls (SAT/UNSAT): 12447(795/11652)
Apr 05, 2019 9:46:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(218/1070) took 99630 ms. Total solver calls (SAT/UNSAT): 12760(810/11950)
Apr 05, 2019 9:46:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(222/1070) took 102684 ms. Total solver calls (SAT/UNSAT): 13042(816/12226)
Apr 05, 2019 9:46:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(228/1070) took 105990 ms. Total solver calls (SAT/UNSAT): 13537(838/12699)
Apr 05, 2019 9:46:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(232/1070) took 109155 ms. Total solver calls (SAT/UNSAT): 13887(858/13029)
Apr 05, 2019 9:46:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(236/1070) took 113207 ms. Total solver calls (SAT/UNSAT): 14221(877/13344)
Apr 05, 2019 9:46:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(245/1070) took 116267 ms. Total solver calls (SAT/UNSAT): 14914(917/13997)
Apr 05, 2019 9:47:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(252/1070) took 119372 ms. Total solver calls (SAT/UNSAT): 15413(961/14452)
Apr 05, 2019 9:47:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(262/1070) took 122643 ms. Total solver calls (SAT/UNSAT): 16106(1025/15081)
Apr 05, 2019 9:47:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(267/1070) took 125849 ms. Total solver calls (SAT/UNSAT): 16477(1070/15407)
Apr 05, 2019 9:47:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(277/1070) took 129439 ms. Total solver calls (SAT/UNSAT): 17168(1116/16052)
Apr 05, 2019 9:47:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(289/1070) took 133363 ms. Total solver calls (SAT/UNSAT): 18078(1169/16909)
Apr 05, 2019 9:47:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(299/1070) took 136461 ms. Total solver calls (SAT/UNSAT): 18742(1198/17544)
Apr 05, 2019 9:47:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(308/1070) took 139974 ms. Total solver calls (SAT/UNSAT): 19189(1216/17973)
Apr 05, 2019 9:47:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(315/1070) took 143125 ms. Total solver calls (SAT/UNSAT): 19584(1248/18336)
Apr 05, 2019 9:47:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(323/1070) took 146388 ms. Total solver calls (SAT/UNSAT): 19924(1294/18630)
Apr 05, 2019 9:47:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(340/1070) took 149792 ms. Total solver calls (SAT/UNSAT): 20826(1368/19458)
Apr 05, 2019 9:47:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(347/1070) took 152868 ms. Total solver calls (SAT/UNSAT): 21117(1389/19728)
Apr 05, 2019 9:47:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(358/1070) took 156504 ms. Total solver calls (SAT/UNSAT): 21644(1419/20225)
Apr 05, 2019 9:47:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(366/1070) took 159583 ms. Total solver calls (SAT/UNSAT): 22102(1435/20667)
Apr 05, 2019 9:47:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(375/1070) took 162623 ms. Total solver calls (SAT/UNSAT): 22558(1471/21087)
Apr 05, 2019 9:47:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(385/1070) took 165915 ms. Total solver calls (SAT/UNSAT): 23097(1531/21566)
Apr 05, 2019 9:47:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(392/1070) took 169336 ms. Total solver calls (SAT/UNSAT): 23536(1548/21988)
Apr 05, 2019 9:47:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(399/1070) took 172721 ms. Total solver calls (SAT/UNSAT): 23914(1575/22339)
Apr 05, 2019 9:47:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(414/1070) took 175843 ms. Total solver calls (SAT/UNSAT): 24587(1607/22980)
Apr 05, 2019 9:48:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(428/1070) took 179075 ms. Total solver calls (SAT/UNSAT): 24970(1645/23325)
Apr 05, 2019 9:48:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(442/1070) took 182157 ms. Total solver calls (SAT/UNSAT): 25257(1678/23579)
Apr 05, 2019 9:48:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(453/1070) took 185361 ms. Total solver calls (SAT/UNSAT): 25390(1691/23699)
Apr 05, 2019 9:48:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(475/1070) took 188417 ms. Total solver calls (SAT/UNSAT): 25729(1734/23995)
Apr 05, 2019 9:48:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(482/1070) took 191843 ms. Total solver calls (SAT/UNSAT): 26005(1764/24241)
Apr 05, 2019 9:48:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(490/1070) took 194965 ms. Total solver calls (SAT/UNSAT): 26237(1782/24455)
Apr 05, 2019 9:48:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(503/1070) took 198230 ms. Total solver calls (SAT/UNSAT): 26655(1816/24839)
Apr 05, 2019 9:48:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(518/1070) took 201254 ms. Total solver calls (SAT/UNSAT): 27039(1864/25175)
Apr 05, 2019 9:48:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(536/1070) took 204289 ms. Total solver calls (SAT/UNSAT): 27382(1881/25501)
Apr 05, 2019 9:48:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(558/1070) took 207292 ms. Total solver calls (SAT/UNSAT): 27635(1892/25743)
Apr 05, 2019 9:48:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(566/1070) took 210639 ms. Total solver calls (SAT/UNSAT): 27811(1916/25895)
Apr 05, 2019 9:48:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(577/1070) took 213932 ms. Total solver calls (SAT/UNSAT): 28044(1957/26087)
Apr 05, 2019 9:48:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(594/1070) took 217307 ms. Total solver calls (SAT/UNSAT): 28271(1974/26297)
Apr 05, 2019 9:48:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(611/1070) took 220477 ms. Total solver calls (SAT/UNSAT): 28521(2014/26507)
Apr 05, 2019 9:48:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(621/1070) took 223579 ms. Total solver calls (SAT/UNSAT): 28782(2039/26743)
Apr 05, 2019 9:48:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(632/1070) took 226826 ms. Total solver calls (SAT/UNSAT): 29156(2075/27081)
Apr 05, 2019 9:48:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(651/1070) took 229948 ms. Total solver calls (SAT/UNSAT): 29517(2118/27399)
Apr 05, 2019 9:48:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(674/1070) took 232983 ms. Total solver calls (SAT/UNSAT): 29891(2130/27761)
Apr 05, 2019 9:48:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(686/1070) took 236036 ms. Total solver calls (SAT/UNSAT): 30173(2164/28009)
Apr 05, 2019 9:49:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(697/1070) took 239122 ms. Total solver calls (SAT/UNSAT): 30624(2249/28375)
Apr 05, 2019 9:49:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(705/1070) took 242325 ms. Total solver calls (SAT/UNSAT): 30956(2293/28663)
Apr 05, 2019 9:49:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(712/1070) took 246088 ms. Total solver calls (SAT/UNSAT): 31276(2341/28935)
Apr 05, 2019 9:49:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(724/1070) took 249142 ms. Total solver calls (SAT/UNSAT): 31710(2399/29311)
Apr 05, 2019 9:49:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(734/1070) took 252540 ms. Total solver calls (SAT/UNSAT): 32025(2440/29585)
Apr 05, 2019 9:49:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(747/1070) took 256044 ms. Total solver calls (SAT/UNSAT): 32437(2466/29971)
Apr 05, 2019 9:49:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(759/1070) took 259147 ms. Total solver calls (SAT/UNSAT): 32759(2544/30215)
Apr 05, 2019 9:49:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(770/1070) took 262152 ms. Total solver calls (SAT/UNSAT): 33111(2556/30555)
Apr 05, 2019 9:49:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(779/1070) took 265183 ms. Total solver calls (SAT/UNSAT): 33309(2578/30731)
Apr 05, 2019 9:49:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(798/1070) took 268209 ms. Total solver calls (SAT/UNSAT): 33929(2612/31317)
Apr 05, 2019 9:49:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(813/1070) took 271643 ms. Total solver calls (SAT/UNSAT): 34334(2619/31715)
Apr 05, 2019 9:49:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(831/1070) took 274676 ms. Total solver calls (SAT/UNSAT): 34523(2628/31895)
Apr 05, 2019 9:49:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(846/1070) took 278360 ms. Total solver calls (SAT/UNSAT): 34889(2692/32197)
Apr 05, 2019 9:49:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(857/1070) took 281675 ms. Total solver calls (SAT/UNSAT): 35168(2749/32419)
Apr 05, 2019 9:49:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(871/1070) took 284681 ms. Total solver calls (SAT/UNSAT): 35431(2800/32631)
Apr 05, 2019 9:49:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(890/1070) took 287935 ms. Total solver calls (SAT/UNSAT): 35779(2830/32949)
Apr 05, 2019 9:49:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(912/1070) took 291172 ms. Total solver calls (SAT/UNSAT): 36064(2847/33217)
Apr 05, 2019 9:49:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(930/1070) took 294444 ms. Total solver calls (SAT/UNSAT): 36451(2894/33557)
Apr 05, 2019 9:50:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(950/1070) took 297578 ms. Total solver calls (SAT/UNSAT): 36705(2912/33793)
Apr 05, 2019 9:50:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(971/1070) took 301036 ms. Total solver calls (SAT/UNSAT): 37133(2994/34139)
Apr 05, 2019 9:50:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(984/1070) took 304186 ms. Total solver calls (SAT/UNSAT): 37484(3053/34431)
Apr 05, 2019 9:50:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1002/1070) took 307546 ms. Total solver calls (SAT/UNSAT): 37999(3090/34909)
Apr 05, 2019 9:50:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1027/1070) took 310671 ms. Total solver calls (SAT/UNSAT): 38369(3114/35255)
Apr 05, 2019 9:50:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1061/1070) took 313736 ms. Total solver calls (SAT/UNSAT): 38722(3171/35551)
Apr 05, 2019 9:50:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished co-enabling matrix. took 314681 ms. Total solver calls (SAT/UNSAT): 38750(3175/35575)
Apr 05, 2019 9:50:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 1070 transitions.
Apr 05, 2019 9:50:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed DNA matrix. took 175 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 9:50:18 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 325005ms conformant to PINS in folder :/home/mcc/execution
Apr 05, 2019 10:04:56 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Apr 05, 2019 10:04:56 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:04:56 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 543 ms
Apr 05, 2019 10:04:57 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:04:57 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 671 ms
Apr 05, 2019 10:04:57 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Apr 05, 2019 10:04:57 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 32 events :t605.t1840.t606.t607,t605.t1840.t610,t1838.t608.t1368.t77.t639,t1838.t609,t612.t1852.t613.t614,t612.t1852.t617,t1850.t615.t1369.t74.t639,t1850.t616,t619.t1864.t620.t621,t619.t1864.t624,t633.t1888.t634.t635,t633.t1888.t638,t1886.t636.t1372.t65.t639,t1886.t637,t1884.t63.t639,t1882.t63.t639,t1858.t63.t639,t804.t1825.t802.t639,t804.t1825.t802.t639,t804.t1825.t802.t639,t804.t1878.t802,t804.t1854.t802,t804.t1842.t802,t804.t1830.t802,t804.t1878.t802,t804.t1854.t802,t804.t1842.t802,t804.t1830.t802,t804.t1878.t802,t804.t1854.t802,t804.t1842.t802,t804.t1830.t802,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t1035.t180,t1035.t180,t1040.t175,t1040.t175,t1035.t180,t1035.t180,t1040.t175,t1040.t175,t2191.t165.t191,t2191.t165.t191,t2190.t165.t191,t2190.t165.t191,t1053.t162.t200,t1053.t162.t200,t1052.t162.t200,t1052.t162.t200,t1040.t175,t1066.t207,t1066.t207,t1066.t207,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t459.t1962.t460.t461,t459.t1962.t464,t1960.t462.t1244.t107.t472,t1960.t463,t466.t1973.t467.t468,t466.t1973.t471,t1971.t469.t1245.t104.t472,t1971.t470,t1969.t102.t472,t1967.t102.t472,t866.t1951.t865.t472,t866.t1951.t865.t472,t866.t1966.t865,t866.t1955.t865,t866.t1966.t865,t866.t1955.t865,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 25 events :t577.t1359.t578.t579,t577.t1359.t582,t584.t1351.t585.t586,t584.t1351.t589,t591.t1347.t592.t1892.t83.t602,t591.t1347.t593,t595.t1343.t596.t1891.t81.t602,t595.t1343.t597,t599.t1332.t600.t1890.t79.t602,t599.t1332.t601,t599.t1332.t600.t1890.t79.t602,t599.t1332.t601,t599.t1332.t600.t1890.t79.t602,t599.t1332.t601,t599.t1332.t600.t1890.t79.t602,t599.t1332.t601,t599.t1332.t600.t1890.t79.t602,t599.t1332.t601,t1338.t78.t602,t1338.t78.t602,t1338.t78.t602,t1338.t78.t602,t1349.t78.t602,t1345.t78.t602,t1338.t78.t602,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1201.t387,t1201.t382,t1194.t394,t1194.t389,t1192.t390.t2009.t391,t1192.t392,t1187.t401,t1187.t396,t1185.t397.t2008.t398,t1185.t399,t1180.t408,t1180.t403,t1178.t404.t2007.t405,t1178.t406,t1190.t407,t1183.t407,t1176.t407,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 38 events :t1087.t226,t1087.t226,t1081.t231,t1081.t231,t1087.t226,t1087.t226,t1081.t231,t1081.t231,t2149.t146.t271,t2149.t146.t271,t2148.t146.t271,t2148.t146.t271,t2149.t146.t271,t2149.t146.t271,t2148.t146.t271,t2148.t146.t271,t2149.t146.t271,t2149.t146.t271,t2148.t146.t271,t2148.t146.t271,t1114.t140.t287,t1114.t140.t287,t1113.t140.t287,t1113.t140.t287,t1114.t140.t287,t1114.t140.t287,t1113.t140.t287,t1113.t140.t287,t2084.t135.t300,t2084.t135.t300,t2083.t135.t300,t2083.t135.t300,t1087.t226,t2067.t326,t2067.t326,t2067.t326,t2067.t326,t2067.t326,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t752.t1476.t753.t754,t752.t1476.t757,t1479.t755.t1771.t46.t766,t1479.t756,t1479.t755.t1771.t46.t766,t1479.t756,t1479.t755.t1771.t46.t766,t1479.t756,t1479.t755.t1771.t46.t766,t1479.t756,t1479.t755.t1771.t46.t766,t1479.t756,t759.t1472.t760.t1770.t43.t766,t759.t1472.t761,t763.t1468.t764.t1769.t41.t766,t763.t1468.t765,t1485.t40.t766,t1485.t40.t766,t1485.t40.t766,t1485.t40.t766,t1485.t40.t766,t1474.t40.t766,t1470.t40.t766,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t998.t1655.t999.t1626.t4.t1001,t998.t1655.t1000,t998.t1655.t999.t1626.t4.t1001,t998.t1655.t1000,t998.t1655.t999.t1626.t4.t1001,t998.t1655.t1000,t998.t1655.t999.t1626.t4.t1001,t998.t1655.t1000,t1650.t3.t1001,t1650.t3.t1001,t1650.t3.t1001,t1650.t3.t1001,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t329.t1144.t330.t331,t329.t1144.t334,t1146.t332.t2047.t134.t335,t1146.t333,t1150.t132.t335,t1148.t132.t335,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1568.t873,t1568.t868,t1566.t869.t1720.t870,t1566.t871,t1561.t880,t1561.t875,t1554.t887,t1554.t882,t1552.t883.t1718.t884,t1552.t885,t1547.t894,t1547.t889,t1545.t890.t1717.t891,t1545.t892,t1564.t893,t1550.t893,t1543.t893,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t839.t1518.t840.t841,t839.t1518.t844,t1520.t842.t1722.t29.t849,t1520.t843,t846.t1511.t847.t1721.t26.t849,t846.t1511.t848,t1522.t25.t849,t1513.t25.t849,t959.t1532.t958.t849,t959.t1532.t958.t849,t959.t1528.t958,t959.t1517.t958,t959.t1528.t958,t959.t1517.t958,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t185.t2194.t186.t187,t185.t2194.t190,t2192.t188.t1047.t167.t191,t2192.t189,t2190.t165.t191,t2188.t165.t191,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 21 events :t1614.t993,t1614.t993,t1619.t988,t1619.t988,t1614.t993,t1614.t993,t1619.t988,t1619.t988,t1017.t1644.t0.t1010,t1017.t1644.t0.t1010,t1020.t1641.t0.t1010,t1020.t1641.t0.t1010,t1643.t0.t1010,t1643.t0.t1010,t1642.t0.t1010,t1642.t0.t1010,t1017.t1754.t1019,t1020.t1753.t1019,t1619.t988,t1017.t1754.t1019,t1020.t1753.t1019,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 38 events :t1184.t407,t1184.t407,t1175.t409,t1175.t409,t1184.t407,t1184.t407,t1175.t409,t1175.t409,t1184.t407,t1184.t407,t1175.t409,t1175.t409,t2004.t116.t436,t2004.t116.t436,t2003.t116.t436,t2003.t116.t436,t2004.t116.t436,t2004.t116.t436,t2003.t116.t436,t2003.t116.t436,t1220.t108.t456,t1220.t108.t456,t1219.t108.t456,t1219.t108.t456,t1970.t102.t472,t1970.t102.t472,t1969.t102.t472,t1969.t102.t472,t1970.t102.t472,t1970.t102.t472,t1969.t102.t472,t1969.t102.t472,t1175.t409,t1246.t485,t1246.t485,t1246.t485,t1246.t485,t1246.t485,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1173.t355,t1173.t350,t1171.t351.t2021.t352,t1171.t353,t1166.t362,t1166.t357,t1164.t358.t2020.t359,t1164.t360,t1169.t361,t1162.t361,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1464.t714,t1464.t709,t1457.t721,t1457.t716,t1455.t717.t1803.t718,t1455.t719,t1450.t728,t1450.t723,t1448.t724.t1802.t725,t1448.t726,t1443.t735,t1443.t730,t1441.t731.t1801.t732,t1441.t733,t1453.t734,t1446.t734,t1439.t734,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t925.t1673.t926.t927,t925.t1673.t930,t1671.t928.t1603.t13.t945,t1671.t929,t939.t1695.t940.t941,t939.t1695.t944,t1693.t942.t1605.t7.t945,t1693.t943,t1691.t5.t945,t1689.t5.t945,t1032.t1660.t1030.t945,t1032.t1660.t1030.t945,t1032.t1686.t1030,t1032.t1664.t1030,t1032.t1686.t1030,t1032.t1664.t1030,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 27 events :t243.t2122.t244.t245,t243.t2122.t248,t250.t2133.t251.t1103.t155.t271,t250.t2133.t252,t250.t2133.t251.t1103.t155.t271,t250.t2133.t252,t250.t2133.t251.t1103.t155.t271,t250.t2133.t252,t250.t2133.t251.t1103.t155.t271,t250.t2133.t252,t250.t2133.t251.t1103.t155.t271,t250.t2133.t252,t258.t2146.t259.t260,t258.t2146.t263,t2144.t261.t1105.t151.t271,t2144.t262,t265.t2154.t266.t267,t265.t2154.t270,t2152.t268.t1106.t148.t271,t2152.t269,t2127.t146.t271,t2127.t146.t271,t2127.t146.t271,t2127.t146.t271,t2150.t146.t271,t2148.t146.t271,t2127.t146.t271,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 32 events :t908.t1586.t909.t910,t908.t1586.t913,t1591.t911.t1699.t20.t922,t1591.t912,t1591.t911.t1699.t20.t922,t1591.t912,t1591.t911.t1699.t20.t922,t1591.t912,t1591.t911.t1699.t20.t922,t1591.t912,t1591.t911.t1699.t20.t922,t1591.t912,t915.t1582.t916.t1698.t17.t922,t915.t1582.t917,t919.t1574.t920.t1697.t15.t922,t919.t1574.t921,t919.t1574.t920.t1697.t15.t922,t919.t1574.t921,t919.t1574.t920.t1697.t15.t922,t919.t1574.t921,t919.t1574.t920.t1697.t15.t922,t919.t1574.t921,t1579.t14.t922,t1579.t14.t922,t1579.t14.t922,t1597.t14.t922,t1597.t14.t922,t1597.t14.t922,t1597.t14.t922,t1597.t14.t922,t1584.t14.t922,t1579.t14.t922,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t439.t1227.t440.t441,t439.t1227.t444,t446.t1215.t447.t448,t446.t1215.t451,t1217.t449.t1976.t112.t456,t1217.t450,t453.t1207.t454.t1975.t109.t456,t453.t1207.t455,t1233.t108.t456,t1219.t108.t456,t1209.t108.t456,t697.t1243.t696.t456,t697.t1243.t696.t456,t697.t1243.t696.t456,t697.t1238.t696,t697.t1226.t696,t697.t1214.t696,t697.t1238.t696,t697.t1226.t696,t697.t1214.t696,t697.t1238.t696,t697.t1226.t696,t697.t1214.t696,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :t1279.t544,t1279.t544,t1270.t546,t1270.t546,t1279.t544,t1279.t544,t1270.t546,t1270.t546,t1279.t544,t1279.t544,t1270.t546,t1270.t546,t1913.t90.t574,t1913.t90.t574,t1912.t90.t574,t1912.t90.t574,t1913.t90.t574,t1913.t90.t574,t1912.t90.t574,t1912.t90.t574,t1350.t78.t602,t1350.t78.t602,t1349.t78.t602,t1349.t78.t602,t1350.t78.t602,t1350.t78.t602,t1349.t78.t602,t1349.t78.t602,t1400.t52.t666,t1400.t52.t666,t1399.t52.t666,t1399.t52.t666,t1270.t546,t1422.t702,t1422.t702,t1422.t702,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 49 events :t1272.t544,t1272.t544,t1277.t539,t1277.t539,t1272.t544,t1272.t544,t1277.t539,t1277.t539,t1272.t544,t1272.t544,t1277.t539,t1277.t539,t675.t1342.t78.t602,t675.t1342.t78.t602,t678.t1341.t78.t602,t678.t1341.t78.t602,t681.t1340.t78.t602,t681.t1340.t78.t602,t684.t1337.t78.t602,t684.t1337.t78.t602,t1339.t78.t602,t1339.t78.t602,t1338.t78.t602,t1338.t78.t602,t1883.t63.t639,t1883.t63.t639,t1882.t63.t639,t1882.t63.t639,t1883.t63.t639,t1883.t63.t639,t1882.t63.t639,t1882.t63.t639,t1386.t52.t666,t1386.t52.t666,t1385.t52.t666,t1385.t52.t666,t1386.t52.t666,t1386.t52.t666,t1385.t52.t666,t1385.t52.t666,t675.t2080.t683,t678.t2079.t683,t681.t2078.t683,t684.t2077.t683,t1277.t539,t675.t2080.t683,t678.t2079.t683,t681.t2078.t683,t684.t2077.t683,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 28 events :t1324.t496,t1324.t491,t1317.t503,t1317.t498,t1310.t510,t1310.t505,t1303.t517,t1303.t512,t1301.t513.t1936.t514,t1301.t515,t1296.t524,t1296.t519,t1289.t531,t1289.t526,t1287.t527.t1934.t528,t1287.t529,t1282.t538,t1282.t533,t1280.t534.t1933.t535,t1280.t536,t1275.t545,t1275.t540,t1273.t541.t1932.t542,t1273.t543,t1299.t544,t1285.t544,t1278.t544,t1271.t544,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1045.t174,t1045.t169,t1043.t170.t2197.t171,t1043.t172,t1038.t181,t1038.t176,t1036.t177.t2196.t178,t1036.t179,t1041.t180,t1034.t180,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1086.t227,t1080.t233,t1080.t233,t2151.t146.t271,t2151.t146.t271,t2150.t146.t271,t2150.t146.t271,t2151.t146.t271,t2151.t146.t271,t2150.t146.t271,t2150.t146.t271,t2082.t135.t300,t2082.t135.t300,t2081.t135.t300,t2081.t135.t300,t1136.t321,t1136.t321,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t412.t1985.t413.t414,t412.t1985.t417,t426.t2001.t427.t428,t426.t2001.t431,t1999.t429.t1205.t120.t436,t1999.t430,t433.t2005.t434.t1206.t117.t436,t433.t2005.t435,t2003.t116.t436,t1997.t116.t436,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t1438.t736,t1438.t736,t1446.t734,t1446.t734,t1438.t736,t1438.t736,t1446.t734,t1446.t734,t1774.t47.t749,t1774.t47.t749,t1773.t47.t749,t1773.t47.t749,t1475.t40.t766,t1475.t40.t766,t1474.t40.t766,t1474.t40.t766,t1475.t40.t766,t1475.t40.t766,t1474.t40.t766,t1474.t40.t766,t1438.t736,t1749.t808,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 21 events :t1004.t1628.t1005.t1006,t1004.t1628.t1009,t1004.t1628.t1005.t1006,t1004.t1628.t1009,t1004.t1628.t1005.t1006,t1004.t1628.t1009,t1632.t1007.t1646.t2.t1010,t1632.t1008,t1632.t1007.t1646.t2.t1010,t1632.t1008,t1632.t1007.t1646.t2.t1010,t1632.t1008,t1632.t1007.t1646.t2.t1010,t1632.t1008,t1642.t0.t1010,t1642.t0.t1010,t1637.t0.t1010,t1637.t0.t1010,t1637.t0.t1010,t1642.t0.t1010,t1637.t0.t1010,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 37 events :t1094.t219,t1094.t219,t1088.t231,t1088.t231,t1094.t219,t1094.t219,t1088.t231,t1088.t231,t308.t2124.t146.t271,t308.t2124.t146.t271,t311.t2125.t146.t271,t311.t2125.t146.t271,t314.t2126.t146.t271,t314.t2126.t146.t271,t317.t2129.t146.t271,t317.t2129.t146.t271,t2128.t146.t271,t2128.t146.t271,t2127.t146.t271,t2127.t146.t271,t1112.t140.t287,t1112.t140.t287,t1111.t140.t287,t1111.t140.t287,t1112.t140.t287,t1112.t140.t287,t1111.t140.t287,t1111.t140.t287,t2094.t135.t300,t2094.t135.t300,t2093.t135.t300,t2093.t135.t300,t308.t1056.t316,t311.t1057.t316,t314.t1058.t316,t317.t1059.t316,t1094.t219,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 57 events :t1305.t511,t1305.t511,t1299.t544,t1299.t544,t1305.t511,t1305.t511,t1299.t544,t1299.t544,t1305.t511,t1305.t511,t1299.t544,t1299.t544,t688.t1920.t90.t574,t688.t1920.t90.t574,t691.t1921.t90.t574,t691.t1921.t90.t574,t694.t1922.t90.t574,t694.t1922.t90.t574,t697.t1925.t90.t574,t697.t1925.t90.t574,t1924.t90.t574,t1924.t90.t574,t1923.t90.t574,t1923.t90.t574,t1885.t63.t639,t1885.t63.t639,t1884.t63.t639,t1884.t63.t639,t1885.t63.t639,t1885.t63.t639,t1884.t63.t639,t1884.t63.t639,t1885.t63.t639,t1885.t63.t639,t1884.t63.t639,t1884.t63.t639,t1376.t52.t666,t1376.t52.t666,t1375.t52.t666,t1375.t52.t666,t1376.t52.t666,t1376.t52.t666,t1375.t52.t666,t1375.t52.t666,t688.t1211.t696,t691.t1212.t696,t694.t1213.t696,t697.t1214.t696,t1305.t511,t688.t1211.t696,t688.t1211.t696,t691.t1212.t696,t691.t1212.t696,t694.t1213.t696,t694.t1213.t696,t697.t1214.t696,t697.t1214.t696,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 33 events :t1556.t881,t1556.t881,t1564.t893,t1564.t893,t1556.t881,t1556.t881,t1564.t893,t1564.t893,t953.t1577.t14.t922,t953.t1577.t14.t922,t956.t1578.t14.t922,t956.t1578.t14.t922,t959.t1581.t14.t922,t959.t1581.t14.t922,t1580.t14.t922,t1580.t14.t922,t1579.t14.t922,t1579.t14.t922,t1692.t5.t945,t1692.t5.t945,t1691.t5.t945,t1691.t5.t945,t1692.t5.t945,t1692.t5.t945,t1691.t5.t945,t1691.t5.t945,t953.t1515.t958,t956.t1516.t958,t959.t1517.t958,t1556.t881,t953.t1515.t958,t956.t1516.t958,t959.t1517.t958,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1099.t218,t1099.t213,t1092.t225,t1092.t220,t1090.t221.t2157.t222,t1090.t223,t1085.t232,t1085.t227,t1083.t228.t2156.t229,t1083.t230,t1088.t231,t1081.t231,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t1551.t893,t1551.t893,t1542.t895,t1542.t895,t1551.t893,t1551.t893,t1542.t895,t1542.t895,t1702.t21.t905,t1702.t21.t905,t1701.t21.t905,t1701.t21.t905,t1585.t14.t922,t1585.t14.t922,t1584.t14.t922,t1584.t14.t922,t1585.t14.t922,t1585.t14.t922,t1584.t14.t922,t1584.t14.t922,t1542.t895,t1606.t963,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 65 events :t1549.t888,t1549.t888,t1543.t893,t1543.t893,t1549.t888,t1549.t888,t1543.t893,t1543.t893,t1549.t888,t1549.t888,t1543.t893,t1543.t893,t968.t1594.t14.t922,t968.t1594.t14.t922,t972.t1595.t14.t922,t972.t1595.t14.t922,t976.t1596.t14.t922,t976.t1596.t14.t922,t980.t1599.t14.t922,t980.t1599.t14.t922,t1708.t21.t905,t1708.t21.t905,t1707.t21.t905,t1707.t21.t905,t968.t1594.t14.t922,t968.t1594.t14.t922,t972.t1595.t14.t922,t972.t1595.t14.t922,t976.t1596.t14.t922,t976.t1596.t14.t922,t980.t1599.t14.t922,t980.t1599.t14.t922,t1598.t14.t922,t1598.t14.t922,t1597.t14.t922,t1597.t14.t922,t1690.t5.t945,t1690.t5.t945,t1689.t5.t945,t1689.t5.t945,t1690.t5.t945,t1690.t5.t945,t1689.t5.t945,t1689.t5.t945,t968.t1377.t978,t972.t1378.t978,t976.t1379.t978,t980.t1380.t978,t1549.t888,t968.t1594.t14.t922,t972.t1595.t14.t922,t976.t1596.t14.t922,t980.t1599.t14.t922,t968.t1377.t978,t968.t1377.t978,t968.t1377.t978,t972.t1378.t978,t972.t1378.t978,t972.t1378.t978,t976.t1379.t978,t976.t1379.t978,t976.t1379.t978,t980.t1380.t978,t980.t1380.t978,t980.t1380.t978,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 39 events :t1151.t132.t335,t1151.t132.t335,t1150.t132.t335,t1150.t132.t335,t370.t2041.t127.t348,t370.t2041.t127.t348,t373.t2040.t127.t348,t373.t2040.t127.t348,t376.t2037.t127.t348,t376.t2037.t127.t348,t2039.t127.t348,t2039.t127.t348,t2038.t127.t348,t2038.t127.t348,t370.t2041.t127.t348,t370.t2041.t127.t348,t373.t2040.t127.t348,t373.t2040.t127.t348,t376.t2037.t127.t348,t376.t2037.t127.t348,t2039.t127.t348,t2039.t127.t348,t2038.t127.t348,t2038.t127.t348,t1163.t361,t1163.t361,t1168.t356,t1168.t356,t1163.t361,t1163.t361,t1168.t356,t1168.t356,t370.t1117.t375,t373.t1116.t375,t376.t1115.t375,t1168.t356,t370.t1117.t375,t373.t1116.t375,t376.t1115.t375,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 40 events :t1291.t525,t1291.t525,t1285.t544,t1285.t544,t1291.t525,t1291.t525,t1285.t544,t1285.t544,t1291.t525,t1291.t525,t1285.t544,t1285.t544,t1917.t90.t574,t1917.t90.t574,t1916.t90.t574,t1916.t90.t574,t1917.t90.t574,t1917.t90.t574,t1916.t90.t574,t1916.t90.t574,t1346.t78.t602,t1346.t78.t602,t1345.t78.t602,t1345.t78.t602,t1346.t78.t602,t1346.t78.t602,t1345.t78.t602,t1345.t78.t602,t1859.t63.t639,t1859.t63.t639,t1858.t63.t639,t1858.t63.t639,t1859.t63.t639,t1859.t63.t639,t1858.t63.t639,t1858.t63.t639,t1291.t525,t1817.t707,t1817.t707,t1817.t707,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 26 events :t1182.t402,t1182.t402,t1176.t407,t1176.t407,t1182.t402,t1182.t402,t1176.t407,t1176.t407,t1210.t108.t456,t1210.t108.t456,t1209.t108.t456,t1209.t108.t456,t1210.t108.t456,t1210.t108.t456,t1209.t108.t456,t1209.t108.t456,t1968.t102.t472,t1968.t102.t472,t1967.t102.t472,t1967.t102.t472,t1968.t102.t472,t1968.t102.t472,t1967.t102.t472,t1967.t102.t472,t2187.t480,t1182.t402,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 19 events :t1149.t132.t335,t1149.t132.t335,t1148.t132.t335,t1148.t132.t335,t2029.t127.t348,t2029.t127.t348,t2028.t127.t348,t2028.t127.t348,t1161.t363,t1161.t363,t1169.t361,t1169.t361,t1161.t363,t1161.t363,t1169.t361,t1169.t361,t1161.t363,t2018.t380,t2018.t380,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 38 events :t1621.t993,t1621.t993,t1612.t995,t1612.t995,t1621.t993,t1621.t993,t1612.t995,t1612.t995,t1024.t1640.t0.t1010,t1024.t1640.t0.t1010,t1028.t1639.t0.t1010,t1028.t1639.t0.t1010,t1032.t1636.t0.t1010,t1032.t1636.t0.t1010,t1651.t3.t1001,t1651.t3.t1001,t1650.t3.t1001,t1650.t3.t1001,t1024.t1640.t0.t1010,t1024.t1640.t0.t1010,t1028.t1639.t0.t1010,t1028.t1639.t0.t1010,t1032.t1636.t0.t1010,t1032.t1636.t0.t1010,t1638.t0.t1010,t1638.t0.t1010,t1637.t0.t1010,t1637.t0.t1010,t1024.t1666.t1030,t1028.t1665.t1030,t1032.t1664.t1030,t1612.t995,t1024.t1640.t0.t1010,t1028.t1639.t0.t1010,t1032.t1636.t0.t1010,t1024.t1666.t1030,t1028.t1665.t1030,t1032.t1664.t1030,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t290.t2087.t291.t292,t290.t2087.t295,t2085.t293.t1133.t139.t300,t2085.t294,t297.t2095.t298.t1134.t136.t300,t297.t2095.t299,t2093.t135.t300,t2083.t135.t300,t2081.t135.t300,t684.t2072.t683.t300,t684.t2072.t683.t300,t684.t2072.t683.t300,t684.t2089.t683,t684.t2077.t683,t684.t2089.t683,t684.t2077.t683,t684.t2089.t683,t684.t2077.t683,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t274.t1118.t275.t276,t274.t1118.t279,t1120.t277.t2098.t145.t287,t1120.t278,t281.t1107.t282.t283,t281.t1107.t286,t1109.t284.t2097.t142.t287,t1109.t285,t1113.t140.t287,t1111.t140.t287,t376.t1130.t375.t287,t376.t1130.t375.t287,t376.t1126.t375,t376.t1115.t375,t376.t1126.t375,t376.t1115.t375,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t1504.t821,t1504.t821,t1495.t823,t1495.t823,t1504.t821,t1504.t821,t1495.t823,t1495.t823,t1739.t30.t836,t1739.t30.t836,t1738.t30.t836,t1738.t30.t836,t1739.t30.t836,t1739.t30.t836,t1738.t30.t836,t1738.t30.t836,t1523.t25.t849,t1523.t25.t849,t1522.t25.t849,t1522.t25.t849,t1495.t823,t1534.t856,t1534.t856,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 25 events :t549.t1902.t550.t551,t549.t1902.t554,t556.t1910.t557.t558,t556.t1910.t561,t563.t1914.t564.t1328.t95.t574,t563.t1914.t565,t567.t1918.t568.t1329.t93.t574,t567.t1918.t569,t571.t1929.t572.t1330.t91.t574,t571.t1929.t573,t571.t1929.t572.t1330.t91.t574,t571.t1929.t573,t571.t1929.t572.t1330.t91.t574,t571.t1929.t573,t571.t1929.t572.t1330.t91.t574,t571.t1929.t573,t571.t1929.t572.t1330.t91.t574,t571.t1929.t573,t1923.t90.t574,t1923.t90.t574,t1923.t90.t574,t1923.t90.t574,t1923.t90.t574,t1916.t90.t574,t1912.t90.t574,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t1459.t715,t1459.t715,t1453.t734,t1453.t734,t1459.t715,t1459.t715,t1453.t734,t1453.t734,t1471.t40.t766,t1471.t40.t766,t1470.t40.t766,t1470.t40.t766,t1756.t35.t779,t1756.t35.t779,t1755.t35.t779,t1755.t35.t779,t1154.t787,t1459.t715,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1507.t815,t1507.t810,t1505.t811.t1743.t812,t1505.t813,t1500.t822,t1500.t817,t1498.t818.t1742.t819,t1498.t820,t1503.t821,t1496.t821,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t739.t1787.t740.t741,t739.t1787.t744,t746.t1797.t747.t1467.t48.t749,t746.t1797.t748,t746.t1797.t747.t1467.t48.t749,t746.t1797.t748,t746.t1797.t747.t1467.t48.t749,t746.t1797.t748,t746.t1797.t747.t1467.t48.t749,t746.t1797.t748,t746.t1797.t747.t1467.t48.t749,t746.t1797.t748,t1791.t47.t749,t1791.t47.t749,t1791.t47.t749,t1791.t47.t749,t1791.t47.t749,t1773.t47.t749,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t898.t1703.t899.t1570.t24.t905,t898.t1703.t900,t902.t1713.t903.t1571.t22.t905,t902.t1713.t904,t902.t1713.t903.t1571.t22.t905,t902.t1713.t904,t902.t1713.t903.t1571.t22.t905,t902.t1713.t904,t902.t1713.t903.t1571.t22.t905,t902.t1713.t904,t902.t1713.t903.t1571.t22.t905,t902.t1713.t904,t1707.t21.t905,t1707.t21.t905,t1707.t21.t905,t1707.t21.t905,t1707.t21.t905,t1701.t21.t905,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 33 events :t1502.t816,t1502.t816,t1496.t821,t1496.t821,t1502.t816,t1502.t816,t1496.t821,t1496.t821,t860.t1726.t30.t836,t860.t1726.t30.t836,t863.t1727.t30.t836,t863.t1727.t30.t836,t866.t1730.t30.t836,t866.t1730.t30.t836,t1729.t30.t836,t1729.t30.t836,t1728.t30.t836,t1728.t30.t836,t1514.t25.t849,t1514.t25.t849,t1513.t25.t849,t1513.t25.t849,t1514.t25.t849,t1514.t25.t849,t1513.t25.t849,t1513.t25.t849,t860.t1953.t865,t863.t1954.t865,t866.t1955.t865,t1502.t816,t860.t1953.t865,t863.t1954.t865,t866.t1955.t865,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t1196.t388,t1196.t388,t1190.t407,t1190.t407,t1196.t388,t1196.t388,t1190.t407,t1190.t407,t1998.t116.t436,t1998.t116.t436,t1997.t116.t436,t1997.t116.t436,t1998.t116.t436,t1998.t116.t436,t1997.t116.t436,t1997.t116.t436,t1234.t108.t456,t1234.t108.t456,t1233.t108.t456,t1233.t108.t456,t1196.t388,t1947.t489,t1947.t489,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t826.t1736.t827.t828,t826.t1736.t831,t1733.t829.t1509.t34.t836,t1733.t830,t1733.t829.t1509.t34.t836,t1733.t830,t1733.t829.t1509.t34.t836,t1733.t830,t1733.t829.t1509.t34.t836,t1733.t830,t833.t1740.t834.t1510.t31.t836,t833.t1740.t835,t1728.t30.t836,t1728.t30.t836,t1728.t30.t836,t1738.t30.t836,t1728.t30.t836,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t769.t1761.t770.t771,t769.t1761.t774,t776.t1767.t777.t1494.t36.t779,t776.t1767.t778,t1765.t35.t779,t1755.t35.t779,t1020.t1750.t1019.t779,t1020.t1763.t1019,t1020.t1753.t1019,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t1033.t182,t1033.t182,t1041.t180,t1041.t180,t1033.t182,t1033.t182,t1041.t180,t1041.t180,t2189.t165.t191,t2189.t165.t191,t2188.t165.t191,t2188.t165.t191,t1055.t162.t200,t1055.t162.t200,t1054.t162.t200,t1054.t162.t200,t1033.t182,t2175.t211,t2175.t211,t2175.t211,t2175.t211,t2175.t211,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 61 events :t1440.t734,t1440.t734,t1445.t729,t1445.t729,t1440.t734,t1440.t734,t1445.t729,t1445.t729,t1440.t734,t1440.t734,t1445.t729,t1445.t729,t792.t1489.t40.t766,t792.t1489.t40.t766,t796.t1488.t40.t766,t796.t1488.t40.t766,t800.t1487.t40.t766,t800.t1487.t40.t766,t804.t1484.t40.t766,t804.t1484.t40.t766,t1792.t47.t749,t1792.t47.t749,t1791.t47.t749,t1791.t47.t749,t792.t1489.t40.t766,t792.t1489.t40.t766,t796.t1488.t40.t766,t796.t1488.t40.t766,t800.t1487.t40.t766,t800.t1487.t40.t766,t804.t1484.t40.t766,t804.t1484.t40.t766,t1486.t40.t766,t1486.t40.t766,t1485.t40.t766,t1485.t40.t766,t1766.t35.t779,t1766.t35.t779,t1765.t35.t779,t1765.t35.t779,t792.t1833.t802,t796.t1832.t802,t800.t1831.t802,t804.t1830.t802,t1445.t729,t792.t1489.t40.t766,t796.t1488.t40.t766,t800.t1487.t40.t766,t804.t1484.t40.t766,t792.t1833.t802,t792.t1833.t802,t792.t1833.t802,t796.t1832.t802,t796.t1832.t802,t796.t1832.t802,t800.t1831.t802,t800.t1831.t802,t800.t1831.t802,t804.t1830.t802,t804.t1830.t802,t804.t1830.t802,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t338.t2033.t339.t340,t338.t2033.t343,t338.t2033.t339.t340,t338.t2033.t343,t338.t2033.t339.t340,t338.t2033.t343,t338.t2033.t339.t340,t338.t2033.t343,t2030.t341.t1159.t131.t348,t2030.t342,t345.t2043.t346.t1160.t128.t348,t345.t2043.t347,t345.t2043.t346.t1160.t128.t348,t345.t2043.t347,t345.t2043.t346.t1160.t128.t348,t345.t2043.t347,t345.t2043.t346.t1160.t128.t348,t345.t2043.t347,t2038.t127.t348,t2038.t127.t348,t2038.t127.t348,t2038.t127.t348,t2028.t127.t348,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1624.t987,t1624.t982,t1622.t983.t1659.t984,t1622.t985,t1617.t994,t1617.t989,t1615.t990.t1658.t991,t1615.t992,t1620.t993,t1613.t993,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t194.t1048.t195.t196,t194.t1048.t199,t1050.t197.t2180.t164.t200,t1050.t198,t1054.t162.t200,t1052.t162.t200,t317.t1064.t316.t200,t317.t1064.t316.t200,t317.t1064.t316.t200,t317.t1059.t316,t317.t1059.t316,t317.t1059.t316,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 28 events :t642.t1405.t643.t644,t642.t1405.t647,t649.t1393.t650.t651,t649.t1393.t654,t656.t1381.t657.t658,t656.t1381.t661,t1383.t659.t1822.t56.t666,t1383.t660,t663.t1373.t664.t1821.t53.t666,t663.t1373.t665,t1399.t52.t666,t1385.t52.t666,t1375.t52.t666,t980.t1421.t978.t666,t980.t1421.t978.t666,t980.t1421.t978.t666,t980.t1416.t978,t980.t1404.t978,t980.t1392.t978,t980.t1380.t978,t980.t1416.t978,t980.t1404.t978,t980.t1392.t978,t980.t1380.t978,t980.t1416.t978,t980.t1404.t978,t980.t1392.t978,t980.t1380.t978,
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 1375 redundant transitions.
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:04:59 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1735 ms
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu95_flat :[u95.t694.t1213.t696, u95.t688.t1211.t696, u95.t697.t1214.t696, u95.t691.t1212.t696]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu114_flat :[u114.t1166.t357, u114.t1171.t353, u114.t1171.t351.t2021.t352, u114.t1169.t361, u114.t1166.t362]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu91_flat :[u91.t2018.t380, u91.t2017.t749.t380, u91.t2019.t380]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu71_flat :[u71.t1690.t5.t945, u71.t1689.t5.t945]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu101_flat :[u101.t2071.t326, u101.t2067.t326, u101.t2066.t574.t326, u101.t2070.t326, u101.t2069.t326, u101.t2068.t326]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu78_flat :[u78.t1547.t889, u78.t1552.t885, u78.t1550.t893, u78.t1547.t894, u78.t1552.t883.t1718.t884]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu70_flat :[u70.t1613.t993, u70.t1615.t992, u70.t1624.t987, u70.t1615.t990.t1658.t991, u70.t1624.t982]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu93_flat :[u93.t1345.t78.t602, u93.t1346.t78.t602]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu78_flat :[u78.t1543.t893, u78.t1545.t892, u78.t1568.t868, u78.t1554.t882, u78.t1568.t873, u78.t1554.t887, u78.t1545.t890.t1717.t891]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu69_flat :[u69.t1748.t1001.t808, u69.t1749.t808]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu98_flat :[u98.t980.t1421.t978.t666, u98.t980.t1416.t978, u98.t980.t1404.t978, u98.t980.t1392.t978, u98.t980.t1380.t978]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu90_flat :[u90.t763.t1468.t765, u90.t1470.t40.t766, u90.t763.t1468.t764.t1769.t41.t766]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu66_flat :[u66.t1643.t0.t1010, u66.t1642.t0.t1010, u66.t1017.t1644.t0.t1010, u66.t1020.t1641.t0.t1010]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu119_flat :[u119.t2094.t135.t300, u119.t2093.t135.t300]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu100_flat :[u100.t599.t1332.t600.t1890.t79.t602, u100.t599.t1332.t601, u100.t1338.t78.t602]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu107_flat :[u107.t1971.t469.t1245.t104.t472, u107.t459.t1962.t460.t461, u107.t459.t1962.t464, u107.t1971.t470, u107.t1969.t102.t472]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu107_flat :[u107.t466.t1973.t467.t468, u107.t1960.t463, u107.t1960.t462.t1244.t107.t472, u107.t466.t1973.t471, u107.t1967.t102.t472]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu86_flat :[u86.t1791.t47.t749, u86.t1792.t47.t749]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu78_flat :[u78.t1566.t871, u78.t1561.t875, u78.t1561.t880, u78.t1566.t869.t1720.t870, u78.t1564.t893]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu83_flat :[u83.t1733.t829.t1509.t34.t836, u83.t1728.t30.t836, u83.t1733.t830]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu73_flat :[u73.t956.t1578.t14.t922, u73.t1579.t14.t922, u73.t959.t1581.t14.t922, u73.t1580.t14.t922, u73.t953.t1577.t14.t922]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu101_flat :[u101.t556.t1910.t561, u101.t563.t1914.t565, u101.t563.t1914.t564.t1328.t95.t574, u101.t1912.t90.t574, u101.t556.t1910.t557.t558]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu108_flat :[u108.t1217.t449.t1976.t112.t456, u108.t1219.t108.t456, u108.t1217.t450]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu95_flat :[u95.t1376.t52.t666, u95.t1375.t52.t666]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t1028.t1665.t1030, u65.t1024.t1666.t1030, u65.t1032.t1664.t1030]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu115_flat :[u115.t345.t2043.t347, u115.t2038.t127.t348, u115.t345.t2043.t346.t1160.t128.t348, u115.t338.t2033.t343, u115.t338.t2033.t339.t340]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu101_flat :[u101.t571.t1929.t573, u101.t571.t1929.t572.t1330.t91.t574, u101.t1923.t90.t574]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu111_flat :[u111.t1149.t132.t335, u111.t1148.t132.t335]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu70_flat :[u70.t1617.t989, u70.t1622.t983.t1659.t984, u70.t1622.t985, u70.t1617.t994, u70.t1620.t993]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu77_flat :[u77.t1535.t856, u77.t1533.t905.t856, u77.t1534.t856]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu122_flat :[u122.t1109.t284.t2097.t142.t287, u122.t274.t1118.t279, u122.t1109.t285, u122.t1111.t140.t287, u122.t274.t1118.t275.t276]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu98_flat :[u98.t1385.t52.t666, u98.t642.t1405.t643.t644, u98.t642.t1405.t647, u98.t1383.t659.t1822.t56.t666, u98.t1383.t660]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu103_flat :[u103.t1998.t116.t436, u103.t1997.t116.t436]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu102_flat :[u102.t1280.t536, u102.t1280.t534.t1933.t535, u102.t1289.t531, u102.t1275.t545, u102.t1278.t544, u102.t1289.t526, u102.t1275.t540]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu94_flat :[u94.t1399.t52.t666, u94.t1400.t52.t666]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu112_flat :[u112.t370.t2041.t127.t348, u112.t2039.t127.t348, u112.t373.t2040.t127.t348, u112.t2038.t127.t348, u112.t376.t2037.t127.t348]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu114_flat :[u114.t1162.t361, u114.t1164.t358.t2020.t359, u114.t1173.t350, u114.t1164.t360, u114.t1173.t355]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu99_flat :[u99.t1838.t608.t1368.t77.t639, u99.t633.t1888.t638, u99.t633.t1888.t634.t635, u99.t1882.t63.t639, u99.t1838.t609]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu104_flat :[u104.t1969.t102.t472, u104.t1970.t102.t472]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu124_flat :[u124.t1083.t230, u124.t1092.t220, u124.t1083.t228.t2156.t229, u124.t1081.t231, u124.t1092.t225]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu121_flat :[u121.t290.t2087.t295, u121.t290.t2087.t291.t292, u121.t2081.t135.t300]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu90_flat :[u90.t1425.t766.t702, u90.t1424.t702, u90.t1423.t702, u90.t1422.t702]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu89_flat :[u89.t769.t1761.t774, u89.t1755.t35.t779, u89.t769.t1761.t770.t771]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu93_flat :[u93.t1859.t63.t639, u93.t1858.t63.t639]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t1032.t1636.t0.t1010, u65.t1024.t1640.t0.t1010, u65.t1028.t1639.t0.t1010]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu85_flat :[u85.t1475.t40.t766, u85.t1474.t40.t766]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu68_flat :[u68.t1607.t1010.t963, u68.t1606.t963]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu96_flat :[u96.t1385.t52.t666, u96.t1386.t52.t666]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu83_flat :[u83.t1946.t836.t489, u83.t1948.t489, u83.t1947.t489]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu110_flat :[u110.t1178.t406, u110.t1187.t401, u110.t1187.t396, u110.t1178.t404.t2007.t405, u110.t1176.t407]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t1651.t3.t1001, u65.t1650.t3.t1001]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu86_flat :[u86.t792.t1833.t802, u86.t800.t1831.t802, u86.t804.t1830.t802, u86.t796.t1832.t802]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu77_flat :[u77.t898.t1703.t899.t1570.t24.t905, u77.t1701.t21.t905, u77.t898.t1703.t900]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu96_flat :[u96.t684.t2077.t683, u96.t681.t2078.t683, u96.t675.t2080.t683, u96.t678.t2079.t683]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu80_flat :[u80.t1738.t30.t836, u80.t1739.t30.t836]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu121_flat :[u121.t297.t2095.t298.t1134.t136.t300, u121.t2093.t135.t300, u121.t297.t2095.t299]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu84_flat :[u84.t1496.t821, u84.t1498.t818.t1742.t819, u84.t1507.t815, u84.t1498.t820, u84.t1507.t810]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu109_flat :[u109.t1066.t207, u109.t1065.t436.t207, u109.t1069.t207, u109.t1068.t207]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu66_flat :[u66.t1017.t1754.t1019, u66.t1020.t1753.t1019]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu121_flat :[u121.t684.t2077.t683, u121.t684.t2089.t683, u121.t684.t2072.t683.t300]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu110_flat :[u110.t1194.t394, u110.t1185.t397.t2008.t398, u110.t1185.t399, u110.t1180.t403, u110.t1183.t407, u110.t1180.t408, u110.t1194.t389]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu119_flat :[u119.t1111.t140.t287, u119.t1112.t140.t287]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu99_flat :[u99.t605.t1840.t606.t607, u99.t612.t1852.t617, u99.t605.t1840.t610, u99.t1884.t63.t639, u99.t1886.t637, u99.t612.t1852.t613.t614, u99.t1886.t636.t1372.t65.t639]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu85_flat :[u85.t1774.t47.t749, u85.t1773.t47.t749]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu104_flat :[u104.t2004.t116.t436, u104.t2003.t116.t436]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu71_flat :[u71.t972.t1378.t978, u71.t968.t1377.t978, u71.t980.t1380.t978, u71.t976.t1379.t978]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu68_flat :[u68.t1004.t1628.t1009, u68.t1642.t0.t1010, u68.t1004.t1628.t1005.t1006]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu109_flat :[u109.t426.t2001.t431, u109.t433.t2005.t435, u109.t2003.t116.t436, u109.t433.t2005.t434.t1206.t117.t436, u109.t426.t2001.t427.t428]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu100_flat :[u100.t1246.t485, u100.t1250.t485, u100.t1249.t485, u100.t1251.t602.t485, u100.t1248.t485, u100.t1247.t485]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu98_flat :[u98.t1399.t52.t666, u98.t649.t1393.t654, u98.t649.t1393.t650.t651]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t2127.t146.t271, u123.t250.t2133.t251.t1103.t155.t271, u123.t250.t2133.t252]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu92_flat :[u92.t1446.t734, u92.t1448.t724.t1802.t725, u92.t1443.t730, u92.t1443.t735, u92.t1448.t726]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t1637.t0.t1010, u65.t1638.t0.t1010]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu115_flat :[u115.t1135.t348.t321, u115.t1136.t321, u115.t1137.t321]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu102_flat :[u102.t1310.t510, u102.t1301.t515, u102.t1310.t505, u102.t1301.t513.t1936.t514, u102.t1317.t503, u102.t1299.t544, u102.t1317.t498]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu95_flat :[u95.t1884.t63.t639, u95.t1885.t63.t639]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu89_flat :[u89.t1765.t35.t779, u89.t776.t1767.t777.t1494.t36.t779, u89.t776.t1767.t778]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu71_flat :[u71.t972.t1595.t14.t922, u71.t968.t1594.t14.t922, u71.t980.t1599.t14.t922, u71.t976.t1596.t14.t922]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu96_flat :[u96.t1882.t63.t639, u96.t1883.t63.t639]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu116_flat :[u116.t1154.t787, u116.t1158.t787.t335]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu72_flat :[u72.t1702.t21.t905, u72.t1701.t21.t905]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu79_flat :[u79.t866.t1955.t865, u79.t863.t1954.t865, u79.t860.t1953.t865]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu116_flat :[u116.t1150.t132.t335, u116.t329.t1144.t330.t331, u116.t329.t1144.t334]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu110_flat :[u110.t1201.t387, u110.t1190.t407, u110.t1201.t382, u110.t1192.t390.t2009.t391, u110.t1192.t392]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu117_flat :[u117.t2149.t146.t271, u117.t2148.t146.t271]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu73_flat :[u73.t959.t1517.t958, u73.t956.t1516.t958, u73.t953.t1515.t958]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu77_flat :[u77.t902.t1713.t904, u77.t902.t1713.t903.t1571.t22.t905, u77.t1707.t21.t905]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu86_flat :[u86.t1486.t40.t766, u86.t1485.t40.t766]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu122_flat :[u122.t376.t1115.t375, u122.t376.t1130.t375.t287, u122.t376.t1126.t375]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu107_flat :[u107.t866.t1955.t865, u107.t866.t1966.t865, u107.t866.t1951.t865.t472]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu92_flat :[u92.t1450.t723, u92.t1457.t721, u92.t1439.t734, u92.t1441.t731.t1801.t732, u92.t1450.t728, u92.t1457.t716, u92.t1441.t733]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu94_flat :[u94.t1912.t90.t574, u94.t1913.t90.t574]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu86_flat :[u86.t800.t1487.t40.t766, u86.t804.t1484.t40.t766, u86.t792.t1489.t40.t766, u86.t796.t1488.t40.t766]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu87_flat :[u87.t1756.t35.t779, u87.t1755.t35.t779]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu96_flat :[u96.t1339.t78.t602, u96.t684.t1337.t78.t602, u96.t675.t1342.t78.t602, u96.t1338.t78.t602, u96.t678.t1341.t78.t602, u96.t681.t1340.t78.t602]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t2177.t211, u123.t2173.t271.t211, u123.t2178.t211, u123.t2176.t211, u123.t2179.t211, u123.t2175.t211]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu118_flat :[u118.t2081.t135.t300, u118.t2082.t135.t300]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu86_flat :[u86.t1765.t35.t779, u86.t1766.t35.t779]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu102_flat :[u102.t1273.t543, u102.t1273.t541.t1932.t542, u102.t1271.t544, u102.t1324.t496, u102.t1324.t491, u102.t1282.t538, u102.t1282.t533]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu117_flat :[u117.t2083.t135.t300, u117.t2084.t135.t300]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu71_flat :[u71.t1707.t21.t905, u71.t1708.t21.t905]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu105_flat :[u105.t1209.t108.t456, u105.t1210.t108.t456]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu92_flat :[u92.t1455.t717.t1803.t718, u92.t1464.t714, u92.t1455.t719, u92.t1453.t734, u92.t1464.t709]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t1579.t14.t922, u76.t919.t1574.t921, u76.t919.t1574.t920.t1697.t15.t922]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu93_flat :[u93.t1916.t90.t574, u93.t1917.t90.t574]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu124_flat :[u124.t1085.t227, u124.t1085.t232]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu91_flat :[u91.t746.t1797.t748, u91.t746.t1797.t747.t1467.t48.t749, u91.t1791.t47.t749]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu112_flat :[u112.t370.t1117.t375, u112.t373.t1116.t375, u112.t376.t1115.t375]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu102_flat :[u102.t1285.t544, u102.t1303.t512, u102.t1287.t529, u102.t1296.t524, u102.t1287.t527.t1934.t528, u102.t1296.t519, u102.t1303.t517]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu99_flat :[u99.t1850.t615.t1369.t74.t639, u99.t1858.t63.t639, u99.t619.t1864.t620.t621, u99.t619.t1864.t624, u99.t1850.t616]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t258.t2146.t259.t260, u123.t2152.t268.t1106.t148.t271, u123.t258.t2146.t263, u123.t2152.t269, u123.t2150.t146.t271]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu108_flat :[u108.t439.t1227.t444, u108.t439.t1227.t440.t441, u108.t1233.t108.t456]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu101_flat :[u101.t567.t1918.t568.t1329.t93.t574, u101.t549.t1902.t554, u101.t549.t1902.t550.t551, u101.t567.t1918.t569, u101.t1916.t90.t574]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu68_flat :[u68.t1632.t1007.t1646.t2.t1010, u68.t1637.t0.t1010, u68.t1632.t1008]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu124_flat :[u124.t1090.t223, u124.t1088.t231, u124.t1099.t213, u124.t1090.t221.t2157.t222, u124.t1099.t218]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu109_flat :[u109.t412.t1985.t417, u109.t1999.t430, u109.t1997.t116.t436, u109.t412.t1985.t413.t414, u109.t1999.t429.t1205.t120.t436]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu71_flat :[u71.t1597.t14.t922, u71.t1598.t14.t922]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu117_flat :[u117.t1114.t140.t287, u117.t1113.t140.t287]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu75_flat :[u75.t939.t1695.t944, u75.t1671.t929, u75.t1689.t5.t945, u75.t1671.t928.t1603.t13.t945, u75.t939.t1695.t940.t941]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu112_flat :[u112.t1151.t132.t335, u112.t1150.t132.t335]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu84_flat :[u84.t1503.t821, u84.t1505.t811.t1743.t812, u84.t1500.t822, u84.t1505.t813, u84.t1500.t817]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu103_flat :[u103.t1234.t108.t456, u103.t1233.t108.t456]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu73_flat :[u73.t1691.t5.t945, u73.t1692.t5.t945]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu69_flat :[u69.t998.t1655.t999.t1626.t4.t1001, u69.t998.t1655.t1000, u69.t1650.t3.t1001]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t908.t1586.t913, u76.t915.t1582.t916.t1698.t17.t922, u76.t1584.t14.t922, u76.t908.t1586.t909.t910, u76.t915.t1582.t917]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu100_flat :[u100.t584.t1351.t589, u100.t591.t1347.t593, u100.t584.t1351.t585.t586, u100.t1349.t78.t602, u100.t591.t1347.t592.t1892.t83.t602]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu83_flat :[u83.t826.t1736.t827.t828, u83.t1738.t30.t836, u83.t826.t1736.t831, u83.t833.t1740.t835, u83.t833.t1740.t834.t1510.t31.t836]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu121_flat :[u121.t2083.t135.t300, u121.t2085.t293.t1133.t139.t300, u121.t2085.t294]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu116_flat :[u116.t1146.t333, u116.t1148.t132.t335, u116.t1146.t332.t2047.t134.t335]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu94_flat :[u94.t1350.t78.t602, u94.t1349.t78.t602]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu118_flat :[u118.t2150.t146.t271, u118.t2151.t146.t271]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu100_flat :[u100.t595.t1343.t597, u100.t595.t1343.t596.t1891.t81.t602, u100.t1345.t78.t602, u100.t577.t1359.t578.t579, u100.t577.t1359.t582]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu82_flat :[u82.t1522.t25.t849, u82.t1520.t843, u82.t1520.t842.t1722.t29.t849]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu80_flat :[u80.t1522.t25.t849, u80.t1523.t25.t849]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu90_flat :[u90.t1474.t40.t766, u90.t752.t1476.t757, u90.t759.t1472.t760.t1770.t43.t766, u90.t759.t1472.t761, u90.t752.t1476.t753.t754]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu111_flat :[u111.t2028.t127.t348, u111.t2029.t127.t348]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu90_flat :[u90.t1485.t40.t766, u90.t1479.t755.t1771.t46.t766, u90.t1479.t756]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu75_flat :[u75.t925.t1673.t930, u75.t1693.t943, u75.t1691.t5.t945, u75.t925.t1673.t926.t927, u75.t1693.t942.t1605.t7.t945]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu89_flat :[u89.t1020.t1750.t1019.t779, u89.t1020.t1753.t1019, u89.t1020.t1763.t1019]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu108_flat :[u108.t1209.t108.t456, u108.t453.t1207.t455, u108.t446.t1215.t451, u108.t446.t1215.t447.t448, u108.t453.t1207.t454.t1975.t109.t456]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu115_flat :[u115.t2030.t342, u115.t2028.t127.t348, u115.t2030.t341.t1159.t131.t348]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t265.t2154.t266.t267, u123.t265.t2154.t270, u123.t243.t2122.t244.t245, u123.t2144.t261.t1105.t151.t271, u123.t243.t2122.t248, u123.t2144.t262, u123.t2148.t146.t271]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu82_flat :[u82.t839.t1518.t844, u82.t846.t1511.t848, u82.t846.t1511.t847.t1721.t26.t849, u82.t839.t1518.t840.t841, u82.t1513.t25.t849]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t1597.t14.t922, u76.t1591.t912, u76.t1591.t911.t1699.t20.t922]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu99_flat :[u99.t804.t1854.t802, u99.t804.t1830.t802, u99.t804.t1878.t802, u99.t804.t1825.t802.t639, u99.t804.t1842.t802]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu98_flat :[u98.t1375.t52.t666, u98.t663.t1373.t665, u98.t656.t1381.t657.t658, u98.t663.t1373.t664.t1821.t53.t666, u98.t656.t1381.t661]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu105_flat :[u105.t1967.t102.t472, u105.t1968.t102.t472]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu91_flat :[u91.t739.t1787.t744, u91.t1773.t47.t749, u91.t739.t1787.t740.t741]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu82_flat :[u82.t959.t1517.t958, u82.t959.t1532.t958.t849, u82.t959.t1528.t958]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu122_flat :[u122.t281.t1107.t286, u122.t1120.t278, u122.t1113.t140.t287, u122.t281.t1107.t282.t283, u122.t1120.t277.t2098.t145.t287]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu79_flat :[u79.t1514.t25.t849, u79.t1513.t25.t849]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu108_flat :[u108.t697.t1238.t696, u108.t697.t1243.t696.t456, u108.t697.t1226.t696, u108.t697.t1214.t696]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu95_flat :[u95.t691.t1921.t90.t574, u95.t1923.t90.t574, u95.t694.t1922.t90.t574, u95.t688.t1920.t90.t574, u95.t1924.t90.t574, u95.t697.t1925.t90.t574]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t1817.t707, u76.t1819.t707, u76.t1818.t707, u76.t1820.t922.t707]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu87_flat :[u87.t1470.t40.t766, u87.t1471.t40.t766]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu75_flat :[u75.t1032.t1660.t1030.t945, u75.t1032.t1686.t1030, u75.t1032.t1664.t1030]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu119_flat :[u119.t2128.t146.t271, u119.t2127.t146.t271, u119.t311.t2125.t146.t271, u119.t317.t2129.t146.t271, u119.t308.t2124.t146.t271, u119.t314.t2126.t146.t271]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu79_flat :[u79.t1729.t30.t836, u79.t866.t1730.t30.t836, u79.t863.t1727.t30.t836, u79.t1728.t30.t836, u79.t860.t1726.t30.t836]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu104_flat :[u104.t1219.t108.t456, u104.t1220.t108.t456]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu72_flat :[u72.t1584.t14.t922, u72.t1585.t14.t922]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu128_flat :[u128.t317.t1064.t316.t200, u128.t317.t1059.t316]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0_sub0 :[i0.u126.t1053.t162.t200, i0.u126.t1052.t162.t200]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu128_flat :[u128.t1054.t162.t200, u128.t194.t1048.t195.t196, u128.t194.t1048.t199]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0_sub0 :[i0.u119.t308.t1056.t316, i0.u119.t317.t1059.t316, i0.u119.t314.t1058.t316, i0.u119.t311.t1057.t316]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu128_flat :[u128.t1050.t197.t2180.t164.t200, u128.t1050.t198, u128.t1052.t162.t200]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0_sub0 :[i0.u125.t1055.t162.t200, i0.u125.t1054.t162.t200]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0 :[i0.u125.t2189.t165.t191, i0.u125.t2188.t165.t191]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu129_flat :[u129.t2187.t480, u129.t2183.t480.t191]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu129_flat :[u129.t2190.t165.t191, u129.t2192.t189, u129.t2192.t188.t1047.t167.t191]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0 :[i0.u126.t2191.t165.t191, i0.u126.t2190.t165.t191]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu129_flat :[u129.t185.t2194.t190, u129.t185.t2194.t186.t187, u129.t2188.t165.t191]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu130_flat :[u130.t1038.t181, u130.t1038.t176, u130.t1043.t172, u130.t1041.t180, u130.t1043.t170.t2197.t171]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu130_flat :[u130.t1045.t174, u130.t1045.t169, u130.t1034.t180, u130.t1036.t177.t2196.t178, u130.t1036.t179]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu126_flat :[u126.t1052.t162.t200, u126.t1053.t162.t200]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu119_flat :[u119.t308.t1056.t316, u119.t317.t1059.t316, u119.t314.t1058.t316, u119.t311.t1057.t316]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu125_flat :[u125.t1054.t162.t200, u125.t1055.t162.t200]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0_sub0 :[i0.u125.t2189.t165.t191, i0.u125.t2188.t165.t191]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0_sub0 :[i0.u126.t2191.t165.t191, i0.u126.t2190.t165.t191]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu125_flat :[u125.t2189.t165.t191, u125.t2188.t165.t191]
Apr 05, 2019 10:05:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu126_flat :[u126.t2191.t165.t191, u126.t2190.t165.t191]
Apr 05, 2019 10:05:00 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 92 ms
Apr 05, 2019 10:25:01 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Apr 05, 2019 10:25:01 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:25:01 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 385 ms
Apr 05, 2019 10:25:02 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:25:02 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 427 ms
Apr 05, 2019 10:25:02 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Apr 05, 2019 10:25:02 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t329.t1144.t330.t331,t329.t1144.t334,t1146.t332.t2047.t134.t335,t1146.t333,t1150.t132.t335,t1148.t132.t335,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t412.t1985.t413.t414,t412.t1985.t417,t426.t2001.t427.t428,t426.t2001.t431,t1999.t429.t1205.t120.t436,t1999.t430,t433.t2005.t434.t1206.t117.t436,t433.t2005.t435,t2003.t116.t436,t1997.t116.t436,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 27 events :t243.t2122.t244.t245,t243.t2122.t248,t250.t2133.t251.t1103.t155.t271,t250.t2133.t252,t250.t2133.t251.t1103.t155.t271,t250.t2133.t252,t250.t2133.t251.t1103.t155.t271,t250.t2133.t252,t250.t2133.t251.t1103.t155.t271,t250.t2133.t252,t250.t2133.t251.t1103.t155.t271,t250.t2133.t252,t258.t2146.t259.t260,t258.t2146.t263,t2144.t261.t1105.t151.t271,t2144.t262,t265.t2154.t266.t267,t265.t2154.t270,t2152.t268.t1106.t148.t271,t2152.t269,t2127.t146.t271,t2127.t146.t271,t2127.t146.t271,t2127.t146.t271,t2150.t146.t271,t2148.t146.t271,t2127.t146.t271,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 33 events :t1502.t816,t1502.t816,t1496.t821,t1496.t821,t1502.t816,t1502.t816,t1496.t821,t1496.t821,t860.t1726.t30.t836,t860.t1726.t30.t836,t863.t1727.t30.t836,t863.t1727.t30.t836,t866.t1730.t30.t836,t866.t1730.t30.t836,t1729.t30.t836,t1729.t30.t836,t1728.t30.t836,t1728.t30.t836,t1514.t25.t849,t1514.t25.t849,t1513.t25.t849,t1513.t25.t849,t1514.t25.t849,t1514.t25.t849,t1513.t25.t849,t1513.t25.t849,t860.t1953.t865,t863.t1954.t865,t866.t1955.t865,t1502.t816,t860.t1953.t865,t863.t1954.t865,t866.t1955.t865,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t1033.t182,t1033.t182,t1041.t180,t1041.t180,t1033.t182,t1033.t182,t1041.t180,t1041.t180,t2189.t165.t191,t2189.t165.t191,t2188.t165.t191,t2188.t165.t191,t1055.t162.t200,t1055.t162.t200,t1054.t162.t200,t1054.t162.t200,t1033.t182,t2175.t211,t2175.t211,t2175.t211,t2175.t211,t2175.t211,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1568.t873,t1568.t868,t1566.t869.t1720.t870,t1566.t871,t1561.t880,t1561.t875,t1554.t887,t1554.t882,t1552.t883.t1718.t884,t1552.t885,t1547.t894,t1547.t889,t1545.t890.t1717.t891,t1545.t892,t1564.t893,t1550.t893,t1543.t893,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :t1279.t544,t1279.t544,t1270.t546,t1270.t546,t1279.t544,t1279.t544,t1270.t546,t1270.t546,t1279.t544,t1279.t544,t1270.t546,t1270.t546,t1913.t90.t574,t1913.t90.t574,t1912.t90.t574,t1912.t90.t574,t1913.t90.t574,t1913.t90.t574,t1912.t90.t574,t1912.t90.t574,t1350.t78.t602,t1350.t78.t602,t1349.t78.t602,t1349.t78.t602,t1350.t78.t602,t1350.t78.t602,t1349.t78.t602,t1349.t78.t602,t1400.t52.t666,t1400.t52.t666,t1399.t52.t666,t1399.t52.t666,t1270.t546,t1422.t702,t1422.t702,t1422.t702,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 37 events :t1094.t219,t1094.t219,t1088.t231,t1088.t231,t1094.t219,t1094.t219,t1088.t231,t1088.t231,t308.t2124.t146.t271,t308.t2124.t146.t271,t311.t2125.t146.t271,t311.t2125.t146.t271,t314.t2126.t146.t271,t314.t2126.t146.t271,t317.t2129.t146.t271,t317.t2129.t146.t271,t2128.t146.t271,t2128.t146.t271,t2127.t146.t271,t2127.t146.t271,t1112.t140.t287,t1112.t140.t287,t1111.t140.t287,t1111.t140.t287,t1112.t140.t287,t1112.t140.t287,t1111.t140.t287,t1111.t140.t287,t2094.t135.t300,t2094.t135.t300,t2093.t135.t300,t2093.t135.t300,t308.t1056.t316,t311.t1057.t316,t314.t1058.t316,t317.t1059.t316,t1094.t219,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t1035.t180,t1035.t180,t1040.t175,t1040.t175,t1035.t180,t1035.t180,t1040.t175,t1040.t175,t2191.t165.t191,t2191.t165.t191,t2190.t165.t191,t2190.t165.t191,t1053.t162.t200,t1053.t162.t200,t1052.t162.t200,t1052.t162.t200,t1040.t175,t1066.t207,t1066.t207,t1066.t207,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 57 events :t1305.t511,t1305.t511,t1299.t544,t1299.t544,t1305.t511,t1305.t511,t1299.t544,t1299.t544,t1305.t511,t1305.t511,t1299.t544,t1299.t544,t688.t1920.t90.t574,t688.t1920.t90.t574,t691.t1921.t90.t574,t691.t1921.t90.t574,t694.t1922.t90.t574,t694.t1922.t90.t574,t697.t1925.t90.t574,t697.t1925.t90.t574,t1924.t90.t574,t1924.t90.t574,t1923.t90.t574,t1923.t90.t574,t1885.t63.t639,t1885.t63.t639,t1884.t63.t639,t1884.t63.t639,t1885.t63.t639,t1885.t63.t639,t1884.t63.t639,t1884.t63.t639,t1885.t63.t639,t1885.t63.t639,t1884.t63.t639,t1884.t63.t639,t1376.t52.t666,t1376.t52.t666,t1375.t52.t666,t1375.t52.t666,t1376.t52.t666,t1376.t52.t666,t1375.t52.t666,t1375.t52.t666,t688.t1211.t696,t691.t1212.t696,t694.t1213.t696,t697.t1214.t696,t1305.t511,t688.t1211.t696,t688.t1211.t696,t691.t1212.t696,t691.t1212.t696,t694.t1213.t696,t694.t1213.t696,t697.t1214.t696,t697.t1214.t696,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t826.t1736.t827.t828,t826.t1736.t831,t1733.t829.t1509.t34.t836,t1733.t830,t1733.t829.t1509.t34.t836,t1733.t830,t1733.t829.t1509.t34.t836,t1733.t830,t1733.t829.t1509.t34.t836,t1733.t830,t833.t1740.t834.t1510.t31.t836,t833.t1740.t835,t1728.t30.t836,t1728.t30.t836,t1728.t30.t836,t1738.t30.t836,t1728.t30.t836,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 32 events :t908.t1586.t909.t910,t908.t1586.t913,t1591.t911.t1699.t20.t922,t1591.t912,t1591.t911.t1699.t20.t922,t1591.t912,t1591.t911.t1699.t20.t922,t1591.t912,t1591.t911.t1699.t20.t922,t1591.t912,t1591.t911.t1699.t20.t922,t1591.t912,t915.t1582.t916.t1698.t17.t922,t915.t1582.t917,t919.t1574.t920.t1697.t15.t922,t919.t1574.t921,t919.t1574.t920.t1697.t15.t922,t919.t1574.t921,t919.t1574.t920.t1697.t15.t922,t919.t1574.t921,t919.t1574.t920.t1697.t15.t922,t919.t1574.t921,t1579.t14.t922,t1579.t14.t922,t1579.t14.t922,t1597.t14.t922,t1597.t14.t922,t1597.t14.t922,t1597.t14.t922,t1597.t14.t922,t1584.t14.t922,t1579.t14.t922,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 61 events :t1440.t734,t1440.t734,t1445.t729,t1445.t729,t1440.t734,t1440.t734,t1445.t729,t1445.t729,t1440.t734,t1440.t734,t1445.t729,t1445.t729,t792.t1489.t40.t766,t792.t1489.t40.t766,t796.t1488.t40.t766,t796.t1488.t40.t766,t800.t1487.t40.t766,t800.t1487.t40.t766,t804.t1484.t40.t766,t804.t1484.t40.t766,t1792.t47.t749,t1792.t47.t749,t1791.t47.t749,t1791.t47.t749,t792.t1489.t40.t766,t792.t1489.t40.t766,t796.t1488.t40.t766,t796.t1488.t40.t766,t800.t1487.t40.t766,t800.t1487.t40.t766,t804.t1484.t40.t766,t804.t1484.t40.t766,t1486.t40.t766,t1486.t40.t766,t1485.t40.t766,t1485.t40.t766,t1766.t35.t779,t1766.t35.t779,t1765.t35.t779,t1765.t35.t779,t792.t1833.t802,t796.t1832.t802,t800.t1831.t802,t804.t1830.t802,t1445.t729,t792.t1489.t40.t766,t796.t1488.t40.t766,t800.t1487.t40.t766,t804.t1484.t40.t766,t792.t1833.t802,t792.t1833.t802,t792.t1833.t802,t796.t1832.t802,t796.t1832.t802,t796.t1832.t802,t800.t1831.t802,t800.t1831.t802,t800.t1831.t802,t804.t1830.t802,t804.t1830.t802,t804.t1830.t802,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t1438.t736,t1438.t736,t1446.t734,t1446.t734,t1438.t736,t1438.t736,t1446.t734,t1446.t734,t1774.t47.t749,t1774.t47.t749,t1773.t47.t749,t1773.t47.t749,t1475.t40.t766,t1475.t40.t766,t1474.t40.t766,t1474.t40.t766,t1475.t40.t766,t1475.t40.t766,t1474.t40.t766,t1474.t40.t766,t1438.t736,t1749.t808,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t839.t1518.t840.t841,t839.t1518.t844,t1520.t842.t1722.t29.t849,t1520.t843,t846.t1511.t847.t1721.t26.t849,t846.t1511.t848,t1522.t25.t849,t1513.t25.t849,t959.t1532.t958.t849,t959.t1532.t958.t849,t959.t1528.t958,t959.t1517.t958,t959.t1528.t958,t959.t1517.t958,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t338.t2033.t339.t340,t338.t2033.t343,t338.t2033.t339.t340,t338.t2033.t343,t338.t2033.t339.t340,t338.t2033.t343,t338.t2033.t339.t340,t338.t2033.t343,t2030.t341.t1159.t131.t348,t2030.t342,t345.t2043.t346.t1160.t128.t348,t345.t2043.t347,t345.t2043.t346.t1160.t128.t348,t345.t2043.t347,t345.t2043.t346.t1160.t128.t348,t345.t2043.t347,t345.t2043.t346.t1160.t128.t348,t345.t2043.t347,t2038.t127.t348,t2038.t127.t348,t2038.t127.t348,t2038.t127.t348,t2028.t127.t348,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1086.t227,t1080.t233,t1080.t233,t2151.t146.t271,t2151.t146.t271,t2150.t146.t271,t2150.t146.t271,t2151.t146.t271,t2151.t146.t271,t2150.t146.t271,t2150.t146.t271,t2082.t135.t300,t2082.t135.t300,t2081.t135.t300,t2081.t135.t300,t1136.t321,t1136.t321,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 40 events :t1291.t525,t1291.t525,t1285.t544,t1285.t544,t1291.t525,t1291.t525,t1285.t544,t1285.t544,t1291.t525,t1291.t525,t1285.t544,t1285.t544,t1917.t90.t574,t1917.t90.t574,t1916.t90.t574,t1916.t90.t574,t1917.t90.t574,t1917.t90.t574,t1916.t90.t574,t1916.t90.t574,t1346.t78.t602,t1346.t78.t602,t1345.t78.t602,t1345.t78.t602,t1346.t78.t602,t1346.t78.t602,t1345.t78.t602,t1345.t78.t602,t1859.t63.t639,t1859.t63.t639,t1858.t63.t639,t1858.t63.t639,t1859.t63.t639,t1859.t63.t639,t1858.t63.t639,t1858.t63.t639,t1291.t525,t1817.t707,t1817.t707,t1817.t707,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 38 events :t1621.t993,t1621.t993,t1612.t995,t1612.t995,t1621.t993,t1621.t993,t1612.t995,t1612.t995,t1024.t1640.t0.t1010,t1024.t1640.t0.t1010,t1028.t1639.t0.t1010,t1028.t1639.t0.t1010,t1032.t1636.t0.t1010,t1032.t1636.t0.t1010,t1651.t3.t1001,t1651.t3.t1001,t1650.t3.t1001,t1650.t3.t1001,t1024.t1640.t0.t1010,t1024.t1640.t0.t1010,t1028.t1639.t0.t1010,t1028.t1639.t0.t1010,t1032.t1636.t0.t1010,t1032.t1636.t0.t1010,t1638.t0.t1010,t1638.t0.t1010,t1637.t0.t1010,t1637.t0.t1010,t1024.t1666.t1030,t1028.t1665.t1030,t1032.t1664.t1030,t1612.t995,t1024.t1640.t0.t1010,t1028.t1639.t0.t1010,t1032.t1636.t0.t1010,t1024.t1666.t1030,t1028.t1665.t1030,t1032.t1664.t1030,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t290.t2087.t291.t292,t290.t2087.t295,t2085.t293.t1133.t139.t300,t2085.t294,t297.t2095.t298.t1134.t136.t300,t297.t2095.t299,t2093.t135.t300,t2083.t135.t300,t2081.t135.t300,t684.t2072.t683.t300,t684.t2072.t683.t300,t684.t2072.t683.t300,t684.t2089.t683,t684.t2077.t683,t684.t2089.t683,t684.t2077.t683,t684.t2089.t683,t684.t2077.t683,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1464.t714,t1464.t709,t1457.t721,t1457.t716,t1455.t717.t1803.t718,t1455.t719,t1450.t728,t1450.t723,t1448.t724.t1802.t725,t1448.t726,t1443.t735,t1443.t730,t1441.t731.t1801.t732,t1441.t733,t1453.t734,t1446.t734,t1439.t734,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t898.t1703.t899.t1570.t24.t905,t898.t1703.t900,t902.t1713.t903.t1571.t22.t905,t902.t1713.t904,t902.t1713.t903.t1571.t22.t905,t902.t1713.t904,t902.t1713.t903.t1571.t22.t905,t902.t1713.t904,t902.t1713.t903.t1571.t22.t905,t902.t1713.t904,t902.t1713.t903.t1571.t22.t905,t902.t1713.t904,t1707.t21.t905,t1707.t21.t905,t1707.t21.t905,t1707.t21.t905,t1707.t21.t905,t1701.t21.t905,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1045.t174,t1045.t169,t1043.t170.t2197.t171,t1043.t172,t1038.t181,t1038.t176,t1036.t177.t2196.t178,t1036.t179,t1041.t180,t1034.t180,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t752.t1476.t753.t754,t752.t1476.t757,t1479.t755.t1771.t46.t766,t1479.t756,t1479.t755.t1771.t46.t766,t1479.t756,t1479.t755.t1771.t46.t766,t1479.t756,t1479.t755.t1771.t46.t766,t1479.t756,t1479.t755.t1771.t46.t766,t1479.t756,t759.t1472.t760.t1770.t43.t766,t759.t1472.t761,t763.t1468.t764.t1769.t41.t766,t763.t1468.t765,t1485.t40.t766,t1485.t40.t766,t1485.t40.t766,t1485.t40.t766,t1485.t40.t766,t1474.t40.t766,t1470.t40.t766,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t194.t1048.t195.t196,t194.t1048.t199,t1050.t197.t2180.t164.t200,t1050.t198,t1054.t162.t200,t1052.t162.t200,t317.t1064.t316.t200,t317.t1064.t316.t200,t317.t1064.t316.t200,t317.t1059.t316,t317.t1059.t316,t317.t1059.t316,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 25 events :t577.t1359.t578.t579,t577.t1359.t582,t584.t1351.t585.t586,t584.t1351.t589,t591.t1347.t592.t1892.t83.t602,t591.t1347.t593,t595.t1343.t596.t1891.t81.t602,t595.t1343.t597,t599.t1332.t600.t1890.t79.t602,t599.t1332.t601,t599.t1332.t600.t1890.t79.t602,t599.t1332.t601,t599.t1332.t600.t1890.t79.t602,t599.t1332.t601,t599.t1332.t600.t1890.t79.t602,t599.t1332.t601,t599.t1332.t600.t1890.t79.t602,t599.t1332.t601,t1338.t78.t602,t1338.t78.t602,t1338.t78.t602,t1338.t78.t602,t1349.t78.t602,t1345.t78.t602,t1338.t78.t602,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1624.t987,t1624.t982,t1622.t983.t1659.t984,t1622.t985,t1617.t994,t1617.t989,t1615.t990.t1658.t991,t1615.t992,t1620.t993,t1613.t993,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t998.t1655.t999.t1626.t4.t1001,t998.t1655.t1000,t998.t1655.t999.t1626.t4.t1001,t998.t1655.t1000,t998.t1655.t999.t1626.t4.t1001,t998.t1655.t1000,t998.t1655.t999.t1626.t4.t1001,t998.t1655.t1000,t1650.t3.t1001,t1650.t3.t1001,t1650.t3.t1001,t1650.t3.t1001,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t1504.t821,t1504.t821,t1495.t823,t1495.t823,t1504.t821,t1504.t821,t1495.t823,t1495.t823,t1739.t30.t836,t1739.t30.t836,t1738.t30.t836,t1738.t30.t836,t1739.t30.t836,t1739.t30.t836,t1738.t30.t836,t1738.t30.t836,t1523.t25.t849,t1523.t25.t849,t1522.t25.t849,t1522.t25.t849,t1495.t823,t1534.t856,t1534.t856,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1099.t218,t1099.t213,t1092.t225,t1092.t220,t1090.t221.t2157.t222,t1090.t223,t1085.t232,t1085.t227,t1083.t228.t2156.t229,t1083.t230,t1088.t231,t1081.t231,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 33 events :t1556.t881,t1556.t881,t1564.t893,t1564.t893,t1556.t881,t1556.t881,t1564.t893,t1564.t893,t953.t1577.t14.t922,t953.t1577.t14.t922,t956.t1578.t14.t922,t956.t1578.t14.t922,t959.t1581.t14.t922,t959.t1581.t14.t922,t1580.t14.t922,t1580.t14.t922,t1579.t14.t922,t1579.t14.t922,t1692.t5.t945,t1692.t5.t945,t1691.t5.t945,t1691.t5.t945,t1692.t5.t945,t1692.t5.t945,t1691.t5.t945,t1691.t5.t945,t953.t1515.t958,t956.t1516.t958,t959.t1517.t958,t1556.t881,t953.t1515.t958,t956.t1516.t958,t959.t1517.t958,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t439.t1227.t440.t441,t439.t1227.t444,t446.t1215.t447.t448,t446.t1215.t451,t1217.t449.t1976.t112.t456,t1217.t450,t453.t1207.t454.t1975.t109.t456,t453.t1207.t455,t1233.t108.t456,t1219.t108.t456,t1209.t108.t456,t697.t1243.t696.t456,t697.t1243.t696.t456,t697.t1243.t696.t456,t697.t1238.t696,t697.t1226.t696,t697.t1214.t696,t697.t1238.t696,t697.t1226.t696,t697.t1214.t696,t697.t1238.t696,t697.t1226.t696,t697.t1214.t696,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t925.t1673.t926.t927,t925.t1673.t930,t1671.t928.t1603.t13.t945,t1671.t929,t939.t1695.t940.t941,t939.t1695.t944,t1693.t942.t1605.t7.t945,t1693.t943,t1691.t5.t945,t1689.t5.t945,t1032.t1660.t1030.t945,t1032.t1660.t1030.t945,t1032.t1686.t1030,t1032.t1664.t1030,t1032.t1686.t1030,t1032.t1664.t1030,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 38 events :t1184.t407,t1184.t407,t1175.t409,t1175.t409,t1184.t407,t1184.t407,t1175.t409,t1175.t409,t1184.t407,t1184.t407,t1175.t409,t1175.t409,t2004.t116.t436,t2004.t116.t436,t2003.t116.t436,t2003.t116.t436,t2004.t116.t436,t2004.t116.t436,t2003.t116.t436,t2003.t116.t436,t1220.t108.t456,t1220.t108.t456,t1219.t108.t456,t1219.t108.t456,t1970.t102.t472,t1970.t102.t472,t1969.t102.t472,t1969.t102.t472,t1970.t102.t472,t1970.t102.t472,t1969.t102.t472,t1969.t102.t472,t1175.t409,t1246.t485,t1246.t485,t1246.t485,t1246.t485,t1246.t485,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t769.t1761.t770.t771,t769.t1761.t774,t776.t1767.t777.t1494.t36.t779,t776.t1767.t778,t1765.t35.t779,t1755.t35.t779,t1020.t1750.t1019.t779,t1020.t1763.t1019,t1020.t1753.t1019,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1507.t815,t1507.t810,t1505.t811.t1743.t812,t1505.t813,t1500.t822,t1500.t817,t1498.t818.t1742.t819,t1498.t820,t1503.t821,t1496.t821,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 25 events :t549.t1902.t550.t551,t549.t1902.t554,t556.t1910.t557.t558,t556.t1910.t561,t563.t1914.t564.t1328.t95.t574,t563.t1914.t565,t567.t1918.t568.t1329.t93.t574,t567.t1918.t569,t571.t1929.t572.t1330.t91.t574,t571.t1929.t573,t571.t1929.t572.t1330.t91.t574,t571.t1929.t573,t571.t1929.t572.t1330.t91.t574,t571.t1929.t573,t571.t1929.t572.t1330.t91.t574,t571.t1929.t573,t571.t1929.t572.t1330.t91.t574,t571.t1929.t573,t1923.t90.t574,t1923.t90.t574,t1923.t90.t574,t1923.t90.t574,t1923.t90.t574,t1916.t90.t574,t1912.t90.t574,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 49 events :t1272.t544,t1272.t544,t1277.t539,t1277.t539,t1272.t544,t1272.t544,t1277.t539,t1277.t539,t1272.t544,t1272.t544,t1277.t539,t1277.t539,t675.t1342.t78.t602,t675.t1342.t78.t602,t678.t1341.t78.t602,t678.t1341.t78.t602,t681.t1340.t78.t602,t681.t1340.t78.t602,t684.t1337.t78.t602,t684.t1337.t78.t602,t1339.t78.t602,t1339.t78.t602,t1338.t78.t602,t1338.t78.t602,t1883.t63.t639,t1883.t63.t639,t1882.t63.t639,t1882.t63.t639,t1883.t63.t639,t1883.t63.t639,t1882.t63.t639,t1882.t63.t639,t1386.t52.t666,t1386.t52.t666,t1385.t52.t666,t1385.t52.t666,t1386.t52.t666,t1386.t52.t666,t1385.t52.t666,t1385.t52.t666,t675.t2080.t683,t678.t2079.t683,t681.t2078.t683,t684.t2077.t683,t1277.t539,t675.t2080.t683,t678.t2079.t683,t681.t2078.t683,t684.t2077.t683,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 28 events :t1324.t496,t1324.t491,t1317.t503,t1317.t498,t1310.t510,t1310.t505,t1303.t517,t1303.t512,t1301.t513.t1936.t514,t1301.t515,t1296.t524,t1296.t519,t1289.t531,t1289.t526,t1287.t527.t1934.t528,t1287.t529,t1282.t538,t1282.t533,t1280.t534.t1933.t535,t1280.t536,t1275.t545,t1275.t540,t1273.t541.t1932.t542,t1273.t543,t1299.t544,t1285.t544,t1278.t544,t1271.t544,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 21 events :t1614.t993,t1614.t993,t1619.t988,t1619.t988,t1614.t993,t1614.t993,t1619.t988,t1619.t988,t1017.t1644.t0.t1010,t1017.t1644.t0.t1010,t1020.t1641.t0.t1010,t1020.t1641.t0.t1010,t1643.t0.t1010,t1643.t0.t1010,t1642.t0.t1010,t1642.t0.t1010,t1017.t1754.t1019,t1020.t1753.t1019,t1619.t988,t1017.t1754.t1019,t1020.t1753.t1019,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t459.t1962.t460.t461,t459.t1962.t464,t1960.t462.t1244.t107.t472,t1960.t463,t466.t1973.t467.t468,t466.t1973.t471,t1971.t469.t1245.t104.t472,t1971.t470,t1969.t102.t472,t1967.t102.t472,t866.t1951.t865.t472,t866.t1951.t865.t472,t866.t1966.t865,t866.t1955.t865,t866.t1966.t865,t866.t1955.t865,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 65 events :t1549.t888,t1549.t888,t1543.t893,t1543.t893,t1549.t888,t1549.t888,t1543.t893,t1543.t893,t1549.t888,t1549.t888,t1543.t893,t1543.t893,t968.t1594.t14.t922,t968.t1594.t14.t922,t972.t1595.t14.t922,t972.t1595.t14.t922,t976.t1596.t14.t922,t976.t1596.t14.t922,t980.t1599.t14.t922,t980.t1599.t14.t922,t1708.t21.t905,t1708.t21.t905,t1707.t21.t905,t1707.t21.t905,t968.t1594.t14.t922,t968.t1594.t14.t922,t972.t1595.t14.t922,t972.t1595.t14.t922,t976.t1596.t14.t922,t976.t1596.t14.t922,t980.t1599.t14.t922,t980.t1599.t14.t922,t1598.t14.t922,t1598.t14.t922,t1597.t14.t922,t1597.t14.t922,t1690.t5.t945,t1690.t5.t945,t1689.t5.t945,t1689.t5.t945,t1690.t5.t945,t1690.t5.t945,t1689.t5.t945,t1689.t5.t945,t968.t1377.t978,t972.t1378.t978,t976.t1379.t978,t980.t1380.t978,t1549.t888,t968.t1594.t14.t922,t972.t1595.t14.t922,t976.t1596.t14.t922,t980.t1599.t14.t922,t968.t1377.t978,t968.t1377.t978,t968.t1377.t978,t972.t1378.t978,t972.t1378.t978,t972.t1378.t978,t976.t1379.t978,t976.t1379.t978,t976.t1379.t978,t980.t1380.t978,t980.t1380.t978,t980.t1380.t978,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t739.t1787.t740.t741,t739.t1787.t744,t746.t1797.t747.t1467.t48.t749,t746.t1797.t748,t746.t1797.t747.t1467.t48.t749,t746.t1797.t748,t746.t1797.t747.t1467.t48.t749,t746.t1797.t748,t746.t1797.t747.t1467.t48.t749,t746.t1797.t748,t746.t1797.t747.t1467.t48.t749,t746.t1797.t748,t1791.t47.t749,t1791.t47.t749,t1791.t47.t749,t1791.t47.t749,t1791.t47.t749,t1773.t47.t749,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 21 events :t1004.t1628.t1005.t1006,t1004.t1628.t1009,t1004.t1628.t1005.t1006,t1004.t1628.t1009,t1004.t1628.t1005.t1006,t1004.t1628.t1009,t1632.t1007.t1646.t2.t1010,t1632.t1008,t1632.t1007.t1646.t2.t1010,t1632.t1008,t1632.t1007.t1646.t2.t1010,t1632.t1008,t1632.t1007.t1646.t2.t1010,t1632.t1008,t1642.t0.t1010,t1642.t0.t1010,t1637.t0.t1010,t1637.t0.t1010,t1637.t0.t1010,t1642.t0.t1010,t1637.t0.t1010,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 28 events :t642.t1405.t643.t644,t642.t1405.t647,t649.t1393.t650.t651,t649.t1393.t654,t656.t1381.t657.t658,t656.t1381.t661,t1383.t659.t1822.t56.t666,t1383.t660,t663.t1373.t664.t1821.t53.t666,t663.t1373.t665,t1399.t52.t666,t1385.t52.t666,t1375.t52.t666,t980.t1421.t978.t666,t980.t1421.t978.t666,t980.t1421.t978.t666,t980.t1416.t978,t980.t1404.t978,t980.t1392.t978,t980.t1380.t978,t980.t1416.t978,t980.t1404.t978,t980.t1392.t978,t980.t1380.t978,t980.t1416.t978,t980.t1404.t978,t980.t1392.t978,t980.t1380.t978,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 26 events :t1182.t402,t1182.t402,t1176.t407,t1176.t407,t1182.t402,t1182.t402,t1176.t407,t1176.t407,t1210.t108.t456,t1210.t108.t456,t1209.t108.t456,t1209.t108.t456,t1210.t108.t456,t1210.t108.t456,t1209.t108.t456,t1209.t108.t456,t1968.t102.t472,t1968.t102.t472,t1967.t102.t472,t1967.t102.t472,t1968.t102.t472,t1968.t102.t472,t1967.t102.t472,t1967.t102.t472,t2187.t480,t1182.t402,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 39 events :t1151.t132.t335,t1151.t132.t335,t1150.t132.t335,t1150.t132.t335,t370.t2041.t127.t348,t370.t2041.t127.t348,t373.t2040.t127.t348,t373.t2040.t127.t348,t376.t2037.t127.t348,t376.t2037.t127.t348,t2039.t127.t348,t2039.t127.t348,t2038.t127.t348,t2038.t127.t348,t370.t2041.t127.t348,t370.t2041.t127.t348,t373.t2040.t127.t348,t373.t2040.t127.t348,t376.t2037.t127.t348,t376.t2037.t127.t348,t2039.t127.t348,t2039.t127.t348,t2038.t127.t348,t2038.t127.t348,t1163.t361,t1163.t361,t1168.t356,t1168.t356,t1163.t361,t1163.t361,t1168.t356,t1168.t356,t370.t1117.t375,t373.t1116.t375,t376.t1115.t375,t1168.t356,t370.t1117.t375,t373.t1116.t375,t376.t1115.t375,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 19 events :t1149.t132.t335,t1149.t132.t335,t1148.t132.t335,t1148.t132.t335,t2029.t127.t348,t2029.t127.t348,t2028.t127.t348,t2028.t127.t348,t1161.t363,t1161.t363,t1169.t361,t1169.t361,t1161.t363,t1161.t363,t1169.t361,t1169.t361,t1161.t363,t2018.t380,t2018.t380,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 32 events :t605.t1840.t606.t607,t605.t1840.t610,t1838.t608.t1368.t77.t639,t1838.t609,t612.t1852.t613.t614,t612.t1852.t617,t1850.t615.t1369.t74.t639,t1850.t616,t619.t1864.t620.t621,t619.t1864.t624,t633.t1888.t634.t635,t633.t1888.t638,t1886.t636.t1372.t65.t639,t1886.t637,t1884.t63.t639,t1882.t63.t639,t1858.t63.t639,t804.t1825.t802.t639,t804.t1825.t802.t639,t804.t1825.t802.t639,t804.t1878.t802,t804.t1854.t802,t804.t1842.t802,t804.t1830.t802,t804.t1878.t802,t804.t1854.t802,t804.t1842.t802,t804.t1830.t802,t804.t1878.t802,t804.t1854.t802,t804.t1842.t802,t804.t1830.t802,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1173.t355,t1173.t350,t1171.t351.t2021.t352,t1171.t353,t1166.t362,t1166.t357,t1164.t358.t2020.t359,t1164.t360,t1169.t361,t1162.t361,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t274.t1118.t275.t276,t274.t1118.t279,t1120.t277.t2098.t145.t287,t1120.t278,t281.t1107.t282.t283,t281.t1107.t286,t1109.t284.t2097.t142.t287,t1109.t285,t1113.t140.t287,t1111.t140.t287,t376.t1130.t375.t287,t376.t1130.t375.t287,t376.t1126.t375,t376.t1115.t375,t376.t1126.t375,t376.t1115.t375,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t1551.t893,t1551.t893,t1542.t895,t1542.t895,t1551.t893,t1551.t893,t1542.t895,t1542.t895,t1702.t21.t905,t1702.t21.t905,t1701.t21.t905,t1701.t21.t905,t1585.t14.t922,t1585.t14.t922,t1584.t14.t922,t1584.t14.t922,t1585.t14.t922,t1585.t14.t922,t1584.t14.t922,t1584.t14.t922,t1542.t895,t1606.t963,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 38 events :t1087.t226,t1087.t226,t1081.t231,t1081.t231,t1087.t226,t1087.t226,t1081.t231,t1081.t231,t2149.t146.t271,t2149.t146.t271,t2148.t146.t271,t2148.t146.t271,t2149.t146.t271,t2149.t146.t271,t2148.t146.t271,t2148.t146.t271,t2149.t146.t271,t2149.t146.t271,t2148.t146.t271,t2148.t146.t271,t1114.t140.t287,t1114.t140.t287,t1113.t140.t287,t1113.t140.t287,t1114.t140.t287,t1114.t140.t287,t1113.t140.t287,t1113.t140.t287,t2084.t135.t300,t2084.t135.t300,t2083.t135.t300,t2083.t135.t300,t1087.t226,t2067.t326,t2067.t326,t2067.t326,t2067.t326,t2067.t326,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1201.t387,t1201.t382,t1194.t394,t1194.t389,t1192.t390.t2009.t391,t1192.t392,t1187.t401,t1187.t396,t1185.t397.t2008.t398,t1185.t399,t1180.t408,t1180.t403,t1178.t404.t2007.t405,t1178.t406,t1190.t407,t1183.t407,t1176.t407,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t1196.t388,t1196.t388,t1190.t407,t1190.t407,t1196.t388,t1196.t388,t1190.t407,t1190.t407,t1998.t116.t436,t1998.t116.t436,t1997.t116.t436,t1997.t116.t436,t1998.t116.t436,t1998.t116.t436,t1997.t116.t436,t1997.t116.t436,t1234.t108.t456,t1234.t108.t456,t1233.t108.t456,t1233.t108.t456,t1196.t388,t1947.t489,t1947.t489,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t1459.t715,t1459.t715,t1453.t734,t1453.t734,t1459.t715,t1459.t715,t1453.t734,t1453.t734,t1471.t40.t766,t1471.t40.t766,t1470.t40.t766,t1470.t40.t766,t1756.t35.t779,t1756.t35.t779,t1755.t35.t779,t1755.t35.t779,t1154.t787,t1459.t715,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t185.t2194.t186.t187,t185.t2194.t190,t2192.t188.t1047.t167.t191,t2192.t189,t2190.t165.t191,t2188.t165.t191,
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 1375 redundant transitions.
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 914 ms
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu95_flat :[u95.t694.t1213.t696, u95.t688.t1211.t696, u95.t697.t1214.t696, u95.t691.t1212.t696]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu114_flat :[u114.t1166.t357, u114.t1171.t353, u114.t1171.t351.t2021.t352, u114.t1169.t361, u114.t1166.t362]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu91_flat :[u91.t2018.t380, u91.t2017.t749.t380, u91.t2019.t380]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu71_flat :[u71.t1690.t5.t945, u71.t1689.t5.t945]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu101_flat :[u101.t2071.t326, u101.t2067.t326, u101.t2066.t574.t326, u101.t2070.t326, u101.t2069.t326, u101.t2068.t326]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu78_flat :[u78.t1547.t889, u78.t1552.t885, u78.t1550.t893, u78.t1547.t894, u78.t1552.t883.t1718.t884]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu70_flat :[u70.t1613.t993, u70.t1615.t992, u70.t1624.t987, u70.t1615.t990.t1658.t991, u70.t1624.t982]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu93_flat :[u93.t1345.t78.t602, u93.t1346.t78.t602]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu78_flat :[u78.t1543.t893, u78.t1545.t892, u78.t1568.t868, u78.t1554.t882, u78.t1568.t873, u78.t1554.t887, u78.t1545.t890.t1717.t891]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu69_flat :[u69.t1748.t1001.t808, u69.t1749.t808]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu98_flat :[u98.t980.t1421.t978.t666, u98.t980.t1416.t978, u98.t980.t1404.t978, u98.t980.t1392.t978, u98.t980.t1380.t978]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu90_flat :[u90.t763.t1468.t765, u90.t1470.t40.t766, u90.t763.t1468.t764.t1769.t41.t766]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu66_flat :[u66.t1643.t0.t1010, u66.t1642.t0.t1010, u66.t1017.t1644.t0.t1010, u66.t1020.t1641.t0.t1010]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu119_flat :[u119.t2094.t135.t300, u119.t2093.t135.t300]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu100_flat :[u100.t599.t1332.t600.t1890.t79.t602, u100.t599.t1332.t601, u100.t1338.t78.t602]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu107_flat :[u107.t1971.t469.t1245.t104.t472, u107.t459.t1962.t460.t461, u107.t459.t1962.t464, u107.t1971.t470, u107.t1969.t102.t472]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu107_flat :[u107.t466.t1973.t467.t468, u107.t1960.t463, u107.t1960.t462.t1244.t107.t472, u107.t466.t1973.t471, u107.t1967.t102.t472]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu86_flat :[u86.t1791.t47.t749, u86.t1792.t47.t749]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu78_flat :[u78.t1566.t871, u78.t1561.t875, u78.t1561.t880, u78.t1566.t869.t1720.t870, u78.t1564.t893]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu83_flat :[u83.t1733.t829.t1509.t34.t836, u83.t1728.t30.t836, u83.t1733.t830]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu73_flat :[u73.t956.t1578.t14.t922, u73.t1579.t14.t922, u73.t959.t1581.t14.t922, u73.t1580.t14.t922, u73.t953.t1577.t14.t922]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu101_flat :[u101.t556.t1910.t561, u101.t563.t1914.t565, u101.t563.t1914.t564.t1328.t95.t574, u101.t1912.t90.t574, u101.t556.t1910.t557.t558]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu108_flat :[u108.t1217.t449.t1976.t112.t456, u108.t1219.t108.t456, u108.t1217.t450]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu95_flat :[u95.t1376.t52.t666, u95.t1375.t52.t666]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t1028.t1665.t1030, u65.t1024.t1666.t1030, u65.t1032.t1664.t1030]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu115_flat :[u115.t345.t2043.t347, u115.t2038.t127.t348, u115.t345.t2043.t346.t1160.t128.t348, u115.t338.t2033.t343, u115.t338.t2033.t339.t340]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu101_flat :[u101.t571.t1929.t573, u101.t571.t1929.t572.t1330.t91.t574, u101.t1923.t90.t574]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu111_flat :[u111.t1149.t132.t335, u111.t1148.t132.t335]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu70_flat :[u70.t1617.t989, u70.t1622.t983.t1659.t984, u70.t1622.t985, u70.t1617.t994, u70.t1620.t993]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu77_flat :[u77.t1535.t856, u77.t1533.t905.t856, u77.t1534.t856]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu122_flat :[u122.t1109.t284.t2097.t142.t287, u122.t274.t1118.t279, u122.t1109.t285, u122.t1111.t140.t287, u122.t274.t1118.t275.t276]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu98_flat :[u98.t1385.t52.t666, u98.t642.t1405.t643.t644, u98.t642.t1405.t647, u98.t1383.t659.t1822.t56.t666, u98.t1383.t660]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu103_flat :[u103.t1998.t116.t436, u103.t1997.t116.t436]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu102_flat :[u102.t1280.t536, u102.t1280.t534.t1933.t535, u102.t1289.t531, u102.t1275.t545, u102.t1278.t544, u102.t1289.t526, u102.t1275.t540]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu94_flat :[u94.t1399.t52.t666, u94.t1400.t52.t666]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu112_flat :[u112.t370.t2041.t127.t348, u112.t2039.t127.t348, u112.t373.t2040.t127.t348, u112.t2038.t127.t348, u112.t376.t2037.t127.t348]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu114_flat :[u114.t1162.t361, u114.t1164.t358.t2020.t359, u114.t1173.t350, u114.t1164.t360, u114.t1173.t355]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu99_flat :[u99.t1838.t608.t1368.t77.t639, u99.t633.t1888.t638, u99.t633.t1888.t634.t635, u99.t1882.t63.t639, u99.t1838.t609]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu104_flat :[u104.t1969.t102.t472, u104.t1970.t102.t472]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu124_flat :[u124.t1083.t230, u124.t1092.t220, u124.t1083.t228.t2156.t229, u124.t1081.t231, u124.t1092.t225]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu121_flat :[u121.t290.t2087.t295, u121.t290.t2087.t291.t292, u121.t2081.t135.t300]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu90_flat :[u90.t1425.t766.t702, u90.t1424.t702, u90.t1423.t702, u90.t1422.t702]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu89_flat :[u89.t769.t1761.t774, u89.t1755.t35.t779, u89.t769.t1761.t770.t771]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu93_flat :[u93.t1859.t63.t639, u93.t1858.t63.t639]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t1032.t1636.t0.t1010, u65.t1024.t1640.t0.t1010, u65.t1028.t1639.t0.t1010]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu85_flat :[u85.t1475.t40.t766, u85.t1474.t40.t766]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu68_flat :[u68.t1607.t1010.t963, u68.t1606.t963]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu96_flat :[u96.t1385.t52.t666, u96.t1386.t52.t666]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu83_flat :[u83.t1946.t836.t489, u83.t1948.t489, u83.t1947.t489]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu110_flat :[u110.t1178.t406, u110.t1187.t401, u110.t1187.t396, u110.t1178.t404.t2007.t405, u110.t1176.t407]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t1651.t3.t1001, u65.t1650.t3.t1001]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu86_flat :[u86.t792.t1833.t802, u86.t800.t1831.t802, u86.t804.t1830.t802, u86.t796.t1832.t802]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu77_flat :[u77.t898.t1703.t899.t1570.t24.t905, u77.t1701.t21.t905, u77.t898.t1703.t900]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu96_flat :[u96.t684.t2077.t683, u96.t681.t2078.t683, u96.t675.t2080.t683, u96.t678.t2079.t683]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu80_flat :[u80.t1738.t30.t836, u80.t1739.t30.t836]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu121_flat :[u121.t297.t2095.t298.t1134.t136.t300, u121.t2093.t135.t300, u121.t297.t2095.t299]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu84_flat :[u84.t1496.t821, u84.t1498.t818.t1742.t819, u84.t1507.t815, u84.t1498.t820, u84.t1507.t810]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu109_flat :[u109.t1066.t207, u109.t1065.t436.t207, u109.t1069.t207, u109.t1068.t207]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu66_flat :[u66.t1017.t1754.t1019, u66.t1020.t1753.t1019]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu121_flat :[u121.t684.t2077.t683, u121.t684.t2089.t683, u121.t684.t2072.t683.t300]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu110_flat :[u110.t1194.t394, u110.t1185.t397.t2008.t398, u110.t1185.t399, u110.t1180.t403, u110.t1183.t407, u110.t1180.t408, u110.t1194.t389]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu119_flat :[u119.t1111.t140.t287, u119.t1112.t140.t287]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu99_flat :[u99.t605.t1840.t606.t607, u99.t612.t1852.t617, u99.t605.t1840.t610, u99.t1884.t63.t639, u99.t1886.t637, u99.t612.t1852.t613.t614, u99.t1886.t636.t1372.t65.t639]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu85_flat :[u85.t1774.t47.t749, u85.t1773.t47.t749]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu104_flat :[u104.t2004.t116.t436, u104.t2003.t116.t436]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu71_flat :[u71.t972.t1378.t978, u71.t968.t1377.t978, u71.t980.t1380.t978, u71.t976.t1379.t978]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu68_flat :[u68.t1004.t1628.t1009, u68.t1642.t0.t1010, u68.t1004.t1628.t1005.t1006]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu109_flat :[u109.t426.t2001.t431, u109.t433.t2005.t435, u109.t2003.t116.t436, u109.t433.t2005.t434.t1206.t117.t436, u109.t426.t2001.t427.t428]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu100_flat :[u100.t1246.t485, u100.t1250.t485, u100.t1249.t485, u100.t1251.t602.t485, u100.t1248.t485, u100.t1247.t485]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu98_flat :[u98.t1399.t52.t666, u98.t649.t1393.t654, u98.t649.t1393.t650.t651]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t2127.t146.t271, u123.t250.t2133.t251.t1103.t155.t271, u123.t250.t2133.t252]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu92_flat :[u92.t1446.t734, u92.t1448.t724.t1802.t725, u92.t1443.t730, u92.t1443.t735, u92.t1448.t726]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t1637.t0.t1010, u65.t1638.t0.t1010]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu115_flat :[u115.t1135.t348.t321, u115.t1136.t321, u115.t1137.t321]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu102_flat :[u102.t1310.t510, u102.t1301.t515, u102.t1310.t505, u102.t1301.t513.t1936.t514, u102.t1317.t503, u102.t1299.t544, u102.t1317.t498]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu95_flat :[u95.t1884.t63.t639, u95.t1885.t63.t639]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu89_flat :[u89.t1765.t35.t779, u89.t776.t1767.t777.t1494.t36.t779, u89.t776.t1767.t778]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu71_flat :[u71.t972.t1595.t14.t922, u71.t968.t1594.t14.t922, u71.t980.t1599.t14.t922, u71.t976.t1596.t14.t922]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu96_flat :[u96.t1882.t63.t639, u96.t1883.t63.t639]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu116_flat :[u116.t1154.t787, u116.t1158.t787.t335]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu72_flat :[u72.t1702.t21.t905, u72.t1701.t21.t905]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu79_flat :[u79.t866.t1955.t865, u79.t863.t1954.t865, u79.t860.t1953.t865]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu116_flat :[u116.t1150.t132.t335, u116.t329.t1144.t330.t331, u116.t329.t1144.t334]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu110_flat :[u110.t1201.t387, u110.t1190.t407, u110.t1201.t382, u110.t1192.t390.t2009.t391, u110.t1192.t392]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu117_flat :[u117.t2149.t146.t271, u117.t2148.t146.t271]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu73_flat :[u73.t959.t1517.t958, u73.t956.t1516.t958, u73.t953.t1515.t958]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu77_flat :[u77.t902.t1713.t904, u77.t902.t1713.t903.t1571.t22.t905, u77.t1707.t21.t905]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu86_flat :[u86.t1486.t40.t766, u86.t1485.t40.t766]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu122_flat :[u122.t376.t1115.t375, u122.t376.t1130.t375.t287, u122.t376.t1126.t375]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu107_flat :[u107.t866.t1955.t865, u107.t866.t1966.t865, u107.t866.t1951.t865.t472]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu92_flat :[u92.t1450.t723, u92.t1457.t721, u92.t1439.t734, u92.t1441.t731.t1801.t732, u92.t1450.t728, u92.t1457.t716, u92.t1441.t733]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu94_flat :[u94.t1912.t90.t574, u94.t1913.t90.t574]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu86_flat :[u86.t800.t1487.t40.t766, u86.t804.t1484.t40.t766, u86.t792.t1489.t40.t766, u86.t796.t1488.t40.t766]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu87_flat :[u87.t1756.t35.t779, u87.t1755.t35.t779]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu96_flat :[u96.t1339.t78.t602, u96.t684.t1337.t78.t602, u96.t675.t1342.t78.t602, u96.t1338.t78.t602, u96.t678.t1341.t78.t602, u96.t681.t1340.t78.t602]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t2177.t211, u123.t2173.t271.t211, u123.t2178.t211, u123.t2176.t211, u123.t2179.t211, u123.t2175.t211]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu118_flat :[u118.t2081.t135.t300, u118.t2082.t135.t300]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu86_flat :[u86.t1765.t35.t779, u86.t1766.t35.t779]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu102_flat :[u102.t1273.t543, u102.t1273.t541.t1932.t542, u102.t1271.t544, u102.t1324.t496, u102.t1324.t491, u102.t1282.t538, u102.t1282.t533]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu117_flat :[u117.t2083.t135.t300, u117.t2084.t135.t300]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu71_flat :[u71.t1707.t21.t905, u71.t1708.t21.t905]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu105_flat :[u105.t1209.t108.t456, u105.t1210.t108.t456]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu92_flat :[u92.t1455.t717.t1803.t718, u92.t1464.t714, u92.t1455.t719, u92.t1453.t734, u92.t1464.t709]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t1579.t14.t922, u76.t919.t1574.t921, u76.t919.t1574.t920.t1697.t15.t922]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu93_flat :[u93.t1916.t90.t574, u93.t1917.t90.t574]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu124_flat :[u124.t1085.t227, u124.t1085.t232]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu91_flat :[u91.t746.t1797.t748, u91.t746.t1797.t747.t1467.t48.t749, u91.t1791.t47.t749]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu112_flat :[u112.t370.t1117.t375, u112.t373.t1116.t375, u112.t376.t1115.t375]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu102_flat :[u102.t1285.t544, u102.t1303.t512, u102.t1287.t529, u102.t1296.t524, u102.t1287.t527.t1934.t528, u102.t1296.t519, u102.t1303.t517]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu99_flat :[u99.t1850.t615.t1369.t74.t639, u99.t1858.t63.t639, u99.t619.t1864.t620.t621, u99.t619.t1864.t624, u99.t1850.t616]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t258.t2146.t259.t260, u123.t2152.t268.t1106.t148.t271, u123.t258.t2146.t263, u123.t2152.t269, u123.t2150.t146.t271]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu108_flat :[u108.t439.t1227.t444, u108.t439.t1227.t440.t441, u108.t1233.t108.t456]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu101_flat :[u101.t567.t1918.t568.t1329.t93.t574, u101.t549.t1902.t554, u101.t549.t1902.t550.t551, u101.t567.t1918.t569, u101.t1916.t90.t574]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu68_flat :[u68.t1632.t1007.t1646.t2.t1010, u68.t1637.t0.t1010, u68.t1632.t1008]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu124_flat :[u124.t1090.t223, u124.t1088.t231, u124.t1099.t213, u124.t1090.t221.t2157.t222, u124.t1099.t218]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu109_flat :[u109.t412.t1985.t417, u109.t1999.t430, u109.t1997.t116.t436, u109.t412.t1985.t413.t414, u109.t1999.t429.t1205.t120.t436]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu71_flat :[u71.t1597.t14.t922, u71.t1598.t14.t922]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu117_flat :[u117.t1114.t140.t287, u117.t1113.t140.t287]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu75_flat :[u75.t939.t1695.t944, u75.t1671.t929, u75.t1689.t5.t945, u75.t1671.t928.t1603.t13.t945, u75.t939.t1695.t940.t941]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu112_flat :[u112.t1151.t132.t335, u112.t1150.t132.t335]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu84_flat :[u84.t1503.t821, u84.t1505.t811.t1743.t812, u84.t1500.t822, u84.t1505.t813, u84.t1500.t817]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu103_flat :[u103.t1234.t108.t456, u103.t1233.t108.t456]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu73_flat :[u73.t1691.t5.t945, u73.t1692.t5.t945]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu69_flat :[u69.t998.t1655.t999.t1626.t4.t1001, u69.t998.t1655.t1000, u69.t1650.t3.t1001]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t908.t1586.t913, u76.t915.t1582.t916.t1698.t17.t922, u76.t1584.t14.t922, u76.t908.t1586.t909.t910, u76.t915.t1582.t917]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu100_flat :[u100.t584.t1351.t589, u100.t591.t1347.t593, u100.t584.t1351.t585.t586, u100.t1349.t78.t602, u100.t591.t1347.t592.t1892.t83.t602]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu83_flat :[u83.t826.t1736.t827.t828, u83.t1738.t30.t836, u83.t826.t1736.t831, u83.t833.t1740.t835, u83.t833.t1740.t834.t1510.t31.t836]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu121_flat :[u121.t2083.t135.t300, u121.t2085.t293.t1133.t139.t300, u121.t2085.t294]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu116_flat :[u116.t1146.t333, u116.t1148.t132.t335, u116.t1146.t332.t2047.t134.t335]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu94_flat :[u94.t1350.t78.t602, u94.t1349.t78.t602]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu118_flat :[u118.t2150.t146.t271, u118.t2151.t146.t271]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu100_flat :[u100.t595.t1343.t597, u100.t595.t1343.t596.t1891.t81.t602, u100.t1345.t78.t602, u100.t577.t1359.t578.t579, u100.t577.t1359.t582]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu82_flat :[u82.t1522.t25.t849, u82.t1520.t843, u82.t1520.t842.t1722.t29.t849]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu80_flat :[u80.t1522.t25.t849, u80.t1523.t25.t849]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu90_flat :[u90.t1474.t40.t766, u90.t752.t1476.t757, u90.t759.t1472.t760.t1770.t43.t766, u90.t759.t1472.t761, u90.t752.t1476.t753.t754]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu111_flat :[u111.t2028.t127.t348, u111.t2029.t127.t348]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu90_flat :[u90.t1485.t40.t766, u90.t1479.t755.t1771.t46.t766, u90.t1479.t756]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu75_flat :[u75.t925.t1673.t930, u75.t1693.t943, u75.t1691.t5.t945, u75.t925.t1673.t926.t927, u75.t1693.t942.t1605.t7.t945]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu89_flat :[u89.t1020.t1750.t1019.t779, u89.t1020.t1753.t1019, u89.t1020.t1763.t1019]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu108_flat :[u108.t1209.t108.t456, u108.t453.t1207.t455, u108.t446.t1215.t451, u108.t446.t1215.t447.t448, u108.t453.t1207.t454.t1975.t109.t456]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu115_flat :[u115.t2030.t342, u115.t2028.t127.t348, u115.t2030.t341.t1159.t131.t348]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu123_flat :[u123.t265.t2154.t266.t267, u123.t265.t2154.t270, u123.t243.t2122.t244.t245, u123.t2144.t261.t1105.t151.t271, u123.t243.t2122.t248, u123.t2144.t262, u123.t2148.t146.t271]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu82_flat :[u82.t839.t1518.t844, u82.t846.t1511.t848, u82.t846.t1511.t847.t1721.t26.t849, u82.t839.t1518.t840.t841, u82.t1513.t25.t849]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t1597.t14.t922, u76.t1591.t912, u76.t1591.t911.t1699.t20.t922]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu99_flat :[u99.t804.t1854.t802, u99.t804.t1830.t802, u99.t804.t1878.t802, u99.t804.t1825.t802.t639, u99.t804.t1842.t802]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu98_flat :[u98.t1375.t52.t666, u98.t663.t1373.t665, u98.t656.t1381.t657.t658, u98.t663.t1373.t664.t1821.t53.t666, u98.t656.t1381.t661]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu105_flat :[u105.t1967.t102.t472, u105.t1968.t102.t472]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu91_flat :[u91.t739.t1787.t744, u91.t1773.t47.t749, u91.t739.t1787.t740.t741]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu82_flat :[u82.t959.t1517.t958, u82.t959.t1532.t958.t849, u82.t959.t1528.t958]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu122_flat :[u122.t281.t1107.t286, u122.t1120.t278, u122.t1113.t140.t287, u122.t281.t1107.t282.t283, u122.t1120.t277.t2098.t145.t287]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu79_flat :[u79.t1514.t25.t849, u79.t1513.t25.t849]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu108_flat :[u108.t697.t1238.t696, u108.t697.t1243.t696.t456, u108.t697.t1226.t696, u108.t697.t1214.t696]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu95_flat :[u95.t691.t1921.t90.t574, u95.t1923.t90.t574, u95.t694.t1922.t90.t574, u95.t688.t1920.t90.t574, u95.t1924.t90.t574, u95.t697.t1925.t90.t574]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu76_flat :[u76.t1817.t707, u76.t1819.t707, u76.t1818.t707, u76.t1820.t922.t707]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu87_flat :[u87.t1470.t40.t766, u87.t1471.t40.t766]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu75_flat :[u75.t1032.t1660.t1030.t945, u75.t1032.t1686.t1030, u75.t1032.t1664.t1030]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu119_flat :[u119.t2128.t146.t271, u119.t2127.t146.t271, u119.t311.t2125.t146.t271, u119.t317.t2129.t146.t271, u119.t308.t2124.t146.t271, u119.t314.t2126.t146.t271]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu79_flat :[u79.t1729.t30.t836, u79.t866.t1730.t30.t836, u79.t863.t1727.t30.t836, u79.t1728.t30.t836, u79.t860.t1726.t30.t836]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu104_flat :[u104.t1219.t108.t456, u104.t1220.t108.t456]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu72_flat :[u72.t1584.t14.t922, u72.t1585.t14.t922]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu128_flat :[u128.t317.t1064.t316.t200, u128.t317.t1059.t316]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0_sub0 :[i0.u126.t1053.t162.t200, i0.u126.t1052.t162.t200]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu128_flat :[u128.t1054.t162.t200, u128.t194.t1048.t195.t196, u128.t194.t1048.t199]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0_sub0 :[i0.u119.t308.t1056.t316, i0.u119.t317.t1059.t316, i0.u119.t314.t1058.t316, i0.u119.t311.t1057.t316]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu128_flat :[u128.t1050.t197.t2180.t164.t200, u128.t1050.t198, u128.t1052.t162.t200]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0_sub0 :[i0.u125.t1055.t162.t200, i0.u125.t1054.t162.t200]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0 :[i0.u125.t2189.t165.t191, i0.u125.t2188.t165.t191]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu129_flat :[u129.t2187.t480, u129.t2183.t480.t191]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu129_flat :[u129.t2190.t165.t191, u129.t2192.t189, u129.t2192.t188.t1047.t167.t191]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0 :[i0.u126.t2191.t165.t191, i0.u126.t2190.t165.t191]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu129_flat :[u129.t185.t2194.t190, u129.t185.t2194.t186.t187, u129.t2188.t165.t191]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu130_flat :[u130.t1038.t181, u130.t1038.t176, u130.t1043.t172, u130.t1041.t180, u130.t1043.t170.t2197.t171]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu130_flat :[u130.t1045.t174, u130.t1045.t169, u130.t1034.t180, u130.t1036.t177.t2196.t178, u130.t1036.t179]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu126_flat :[u126.t1052.t162.t200, u126.t1053.t162.t200]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu119_flat :[u119.t308.t1056.t316, u119.t317.t1059.t316, u119.t314.t1058.t316, u119.t311.t1057.t316]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu125_flat :[u125.t1054.t162.t200, u125.t1055.t162.t200]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0_sub0 :[i0.u125.t2189.t165.t191, i0.u125.t2188.t165.t191]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in petri_flat_flat_mod_flat_sub0_sub0_sub0 :[i0.u126.t2191.t165.t191, i0.u126.t2190.t165.t191]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu125_flat :[u125.t2189.t165.t191, u125.t2188.t165.t191]
Apr 05, 2019 10:25:03 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu126_flat :[u126.t2191.t165.t191, u126.t2190.t165.t191]
Apr 05, 2019 10:25:04 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 58 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-6B"
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-6B, 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-155344538000336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-6B.tgz
mv NoC3x3-PT-6B 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 ;