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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 448K
-rw-r--r-- 1 mcc users 3.0K Mar 23 12:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 23 12:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 23 12:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K 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.4K Mar 23 12:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Mar 23 12:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.7K Mar 23 12:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.1K Mar 23 12:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 23 10:10 NewModel
-rw-r--r-- 1 mcc users 2.8K Mar 23 12:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 23 12:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 23 12:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 23 12:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K 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 297K 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-6A-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554501956918

Working with output stream class java.io.PrintStream
Flatten gal took : 887 ms
Constant places removed 1 places and 1 transitions.
Iterating post reduction 0 with 1 rules applied. Total rules applied 1 place count 511 transition count 1116
Constant places removed 9 places and 0 transitions.
Iterating post reduction 1 with 9 rules applied. Total rules applied 10 place count 502 transition count 1116
Symmetric choice reduction at 2 with 57 rule applications. Total rules 67 place count 502 transition count 1116
Constant places removed 57 places and 199 transitions.
Performed 14 Post agglomeration using F-continuation condition.
Iterating post reduction 2 with 71 rules applied. Total rules applied 138 place count 445 transition count 903
Constant places removed 14 places and 0 transitions.
Iterating post reduction 3 with 14 rules applied. Total rules applied 152 place count 431 transition count 903
Performed 10 Post agglomeration using F-continuation condition.
Constant places removed 10 places and 0 transitions.
Iterating post reduction 4 with 10 rules applied. Total rules applied 162 place count 421 transition count 893
Applied a total of 162 rules in 265 ms. Remains 421 /512 variables (removed 91) and now considering 893/1117 (removed 224) transitions.
Random walk for 250 k steps run took 8525 ms.
Normalized transition count is 851
// Phase 1: matrix 851 rows 421 cols
Random walk for 4 * 500 k steps run took 56147 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
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Successfully loaded order from file /home/mcc/execution/model.ord
No direction supplied, using forward translation only.
Normalized transition count is 851
// Phase 1: matrix 851 rows 421 cols
invariant :p54 + p55 + p56 + p57 + p59 + p60 + p61 + p62 + p63 = 1
invariant :p270 + p271 + p272 + p273 + p274 + p275 + p276 + p278 + p279 + p281 + p282 = 1
invariant :p351 + p352 + p353 + p354 + p355 + p356 + p358 + p359 + p361 + p362 = 1
invariant :p284 + p285 + p286 + p287 + p288 + p289 + p290 + p291 + p292 + p293 + p295 + p296 + p297 + p298 + p299 + p301 + p302 + p304 + p305 + p307 + p308 = 1
invariant :p437 + p438 + p439 + p440 + p441 + p442 = 1
invariant :p160 + p161 + p162 + p163 + p164 + p165 + p166 + p167 = 1
invariant :p1 + p2 + p3 + p4 + p5 + p6 + p7 = 1
invariant :p129 + p130 + p131 + p133 + p135 = 1
invariant :p198 + p199 + p200 + p202 + p204 + p206 = 1
invariant :p216 + p217 + p218 + p219 + p220 + p221 + p222 + p223 + p224 = 1
invariant :p239 + p240 + p241 + p242 + p244 + p245 + p247 + p248 + p249 + p250 + p251 + p252 + p253 + p254 = 1
invariant :p495 + p496 + p497 + p498 = 1
invariant :p108 + p109 + p110 + p111 + p112 + p113 = 1
invariant :p309 + p310 + p311 + p313 + p315 = 1
invariant :p153 + p154 + p155 + p157 + p158 = 1
invariant :p207 + p208 + p209 + p210 + p211 + p212 + p213 + p214 + p215 = 1
invariant :p8 + p9 + p10 + p11 + p12 = 1
invariant :p406 + p407 + p408 + p409 = 1
invariant :p364 + p365 + p366 + p367 + p368 + p369 + p370 + p371 + p372 + p373 + p375 + p376 = 1
invariant :p189 + p190 + p191 + p193 + p195 + p197 = 1
invariant :p39 + p40 + p41 + p43 + p45 = 1
invariant :p480 + p481 + p482 + p484 + p486 = 1
invariant :p325 + p326 + p327 + p329 + p331 = 1
invariant :p399 + p400 + p401 + p402 + p403 + p404 = 1
invariant :p505 + p506 + p507 + p508 + p509 + p510 + p511 = 1
invariant :p93 + p94 + p95 + p96 + p97 + p98 + p99 = 1
invariant :p122 + p123 + p124 + p125 + p126 + p127 + p128 = 1
invariant :p392 + p393 + p394 + p395 + p396 + p397 + p398 = 1
invariant :p226 + p227 + p228 + p229 + p230 + p231 + p233 + p234 + p236 + p237 = 1
invariant :p333 + p334 + p335 + p336 + p337 + p338 + p339 = 1
invariant :p19 + p20 + p21 = 1
invariant :p487 + p488 + p489 + p491 + p493 = 1
invariant :p14 + p15 + p16 + p17 = 1
invariant :p30 + p31 + p32 + p33 + p34 + p35 + p36 + p37 + p38 = 1
invariant :p377 + p378 + p379 + p381 + p383 = 1
invariant :p145 + p146 + p147 + p149 + p151 = 1
invariant :p420 + p421 + p422 + p424 + p426 = 1
invariant :p444 + p445 + p446 + p447 + p448 + p449 + p450 = 1
invariant :p23 + p24 + p25 + p26 + p27 + p28 + p29 = 1
invariant :p384 + p385 + p386 + p387 + p388 + p389 + p390 = 1
invariant :p169 + p170 + p171 + p173 + p174 = 1
invariant :p470 + p471 + p472 + p473 + p474 + p475 + p476 + p478 + p479 = 1
invariant :p115 + p116 + p117 + p118 + p119 + p120 = 1
invariant :p341 + p342 + p343 + p344 + p345 + p346 + p348 + p349 = 1
invariant :p136 + p137 + p138 + p139 + p140 + p141 + p142 + p143 + p144 = 1
invariant :p176 + p177 + p178 + p179 + p180 + p181 + p182 + p183 + p184 + p185 + p187 + p188 = 1
invariant :p316 + p317 + p318 + p320 + p322 + p324 = 1
invariant :p452 + p453 + p454 + p455 + p456 + p457 + p458 + p460 + p461 + p462 + p464 + p465 + p467 + p468 = 1
invariant :p427 + p428 + p429 + p430 + p431 + p432 + p433 + p434 + p435 = 1
invariant :p411 + p412 + p413 + p415 + p417 + p419 = 1
invariant :p65 + p66 + p67 + p68 + p69 + p70 + p71 + p72 = 1
invariant :p100 + p101 + p102 + p104 + p106 = 1
invariant :p256 + p257 + p258 + p259 + p260 + p261 + p262 + p264 + p265 + p267 + p268 = 1
invariant :p80 + p81 + p82 + p83 + p84 + p85 + p86 + p88 + p89 + p90 + p91 + p92 = 1
invariant :p500 + p501 + p502 + p503 = 1
invariant :p74 + p75 + p76 + p77 + p78 = 1
invariant :p46 + p47 + p48 + p49 + p50 + p51 + p52 = 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 35154 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 277 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 104 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 104 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 10:06:02 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 10:06:02 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Apr 05, 2019 10:06:03 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 325 ms
Apr 05, 2019 10:06:03 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 512 places.
Apr 05, 2019 10:06:03 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1117 transitions.
Apr 05, 2019 10:06:03 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Apr 05, 2019 10:06:03 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 153 ms
Apr 05, 2019 10:06:04 PM fr.lip6.move.gal.instantiate.PropertySimplifier evalInInitialState
WARNING: Unexpected boolean logic operator in evalInInitialState fr.lip6.move.gal.impl.EXImpl
Apr 05, 2019 10:06:04 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6A-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:06:04 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 846 ms
Apr 05, 2019 10:06:04 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.simple.gal : 22 ms
Apr 05, 2019 10:06:06 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 1117 transitions.
Apr 05, 2019 10:07:14 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6A-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:07:14 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 950 ms
Apr 05, 2019 10:07:14 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 893 transitions.
Apr 05, 2019 10:07:15 PM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 421 places.
Apr 05, 2019 10:07:15 PM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 893 transitions.
Apr 05, 2019 10:07:14 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 893 transitions.
Apr 05, 2019 10:07:15 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 55 ms
Apr 05, 2019 10:07:17 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 57 place invariants in 400 ms
Apr 05, 2019 10:07:26 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 421 variables to be positive in 9652 ms
Apr 05, 2019 10:07:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 893 transitions.
Apr 05, 2019 10:07:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :0/893 took 0 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 10:07:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 187 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 10:07:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 893 transitions.
Apr 05, 2019 10:07:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 85 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 10:07:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 893 transitions.
Apr 05, 2019 10:07:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(3/893) took 3249 ms. Total solver calls (SAT/UNSAT): 114(8/106)
Apr 05, 2019 10:07:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(8/893) took 6254 ms. Total solver calls (SAT/UNSAT): 234(19/215)
Apr 05, 2019 10:07:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(20/893) took 9467 ms. Total solver calls (SAT/UNSAT): 469(37/432)
Apr 05, 2019 10:07:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(24/893) took 12555 ms. Total solver calls (SAT/UNSAT): 608(46/562)
Apr 05, 2019 10:07:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(31/893) took 15592 ms. Total solver calls (SAT/UNSAT): 862(74/788)
Apr 05, 2019 10:07:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(35/893) took 19234 ms. Total solver calls (SAT/UNSAT): 1053(87/966)
Apr 05, 2019 10:07:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(39/893) took 22630 ms. Total solver calls (SAT/UNSAT): 1224(106/1118)
Apr 05, 2019 10:07:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(43/893) took 26013 ms. Total solver calls (SAT/UNSAT): 1394(127/1267)
Apr 05, 2019 10:07:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(47/893) took 29099 ms. Total solver calls (SAT/UNSAT): 1548(150/1398)
Apr 05, 2019 10:08:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(51/893) took 33062 ms. Total solver calls (SAT/UNSAT): 1727(156/1571)
Apr 05, 2019 10:08:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(55/893) took 36714 ms. Total solver calls (SAT/UNSAT): 1915(172/1743)
Apr 05, 2019 10:08:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(59/893) took 40777 ms. Total solver calls (SAT/UNSAT): 2089(184/1905)
Apr 05, 2019 10:08:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(62/893) took 43930 ms. Total solver calls (SAT/UNSAT): 2213(199/2014)
Apr 05, 2019 10:08:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(68/893) took 46935 ms. Total solver calls (SAT/UNSAT): 2426(228/2198)
Apr 05, 2019 10:08:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(74/893) took 50086 ms. Total solver calls (SAT/UNSAT): 2602(244/2358)
Apr 05, 2019 10:08:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(78/893) took 53382 ms. Total solver calls (SAT/UNSAT): 2748(253/2495)
Apr 05, 2019 10:08:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(93/893) took 56451 ms. Total solver calls (SAT/UNSAT): 3125(292/2833)
Apr 05, 2019 10:08:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(102/893) took 59506 ms. Total solver calls (SAT/UNSAT): 3341(305/3036)
Apr 05, 2019 10:08:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(105/893) took 62582 ms. Total solver calls (SAT/UNSAT): 3479(319/3160)
Apr 05, 2019 10:08:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(108/893) took 65966 ms. Total solver calls (SAT/UNSAT): 3640(331/3309)
Apr 05, 2019 10:08:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(111/893) took 69061 ms. Total solver calls (SAT/UNSAT): 3792(347/3445)
Apr 05, 2019 10:08:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(115/893) took 72806 ms. Total solver calls (SAT/UNSAT): 3970(365/3605)
Apr 05, 2019 10:08:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(119/893) took 75858 ms. Total solver calls (SAT/UNSAT): 4113(379/3734)
Apr 05, 2019 10:08:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(123/893) took 78948 ms. Total solver calls (SAT/UNSAT): 4257(393/3864)
Apr 05, 2019 10:08:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(128/893) took 81993 ms. Total solver calls (SAT/UNSAT): 4409(412/3997)
Apr 05, 2019 10:08:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(132/893) took 85066 ms. Total solver calls (SAT/UNSAT): 4555(421/4134)
Apr 05, 2019 10:08:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(135/893) took 88818 ms. Total solver calls (SAT/UNSAT): 4741(430/4311)
Apr 05, 2019 10:08:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(138/893) took 92386 ms. Total solver calls (SAT/UNSAT): 4918(441/4477)
Apr 05, 2019 10:09:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(142/893) took 96180 ms. Total solver calls (SAT/UNSAT): 5095(453/4642)
Apr 05, 2019 10:09:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(146/893) took 100054 ms. Total solver calls (SAT/UNSAT): 5294(469/4825)
Apr 05, 2019 10:09:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(150/893) took 103386 ms. Total solver calls (SAT/UNSAT): 5466(479/4987)
Apr 05, 2019 10:09:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(155/893) took 107349 ms. Total solver calls (SAT/UNSAT): 5670(494/5176)
Apr 05, 2019 10:09:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(159/893) took 110383 ms. Total solver calls (SAT/UNSAT): 5820(502/5318)
Apr 05, 2019 10:09:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(162/893) took 113484 ms. Total solver calls (SAT/UNSAT): 5979(514/5465)
Apr 05, 2019 10:09:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(165/893) took 117048 ms. Total solver calls (SAT/UNSAT): 6165(519/5646)
Apr 05, 2019 10:09:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(167/893) took 120900 ms. Total solver calls (SAT/UNSAT): 6360(532/5828)
Apr 05, 2019 10:09:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(169/893) took 124695 ms. Total solver calls (SAT/UNSAT): 6551(543/6008)
Apr 05, 2019 10:09:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(171/893) took 128166 ms. Total solver calls (SAT/UNSAT): 6710(553/6157)
Apr 05, 2019 10:09:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(173/893) took 131566 ms. Total solver calls (SAT/UNSAT): 6879(556/6323)
Apr 05, 2019 10:09:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(175/893) took 134618 ms. Total solver calls (SAT/UNSAT): 7030(567/6463)
Apr 05, 2019 10:09:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(177/893) took 137733 ms. Total solver calls (SAT/UNSAT): 7191(577/6614)
Apr 05, 2019 10:09:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(179/893) took 140841 ms. Total solver calls (SAT/UNSAT): 7348(590/6758)
Apr 05, 2019 10:09:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(181/893) took 143864 ms. Total solver calls (SAT/UNSAT): 7495(604/6891)
Apr 05, 2019 10:09:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(184/893) took 148093 ms. Total solver calls (SAT/UNSAT): 7704(616/7088)
Apr 05, 2019 10:09:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(187/893) took 152276 ms. Total solver calls (SAT/UNSAT): 7900(628/7272)
Apr 05, 2019 10:10:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(190/893) took 156161 ms. Total solver calls (SAT/UNSAT): 8091(650/7441)
Apr 05, 2019 10:10:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(193/893) took 160242 ms. Total solver calls (SAT/UNSAT): 8291(668/7623)
Apr 05, 2019 10:10:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(196/893) took 164245 ms. Total solver calls (SAT/UNSAT): 8482(694/7788)
Apr 05, 2019 10:10:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(199/893) took 167982 ms. Total solver calls (SAT/UNSAT): 8657(708/7949)
Apr 05, 2019 10:10:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(202/893) took 171690 ms. Total solver calls (SAT/UNSAT): 8830(722/8108)
Apr 05, 2019 10:10:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(205/893) took 175578 ms. Total solver calls (SAT/UNSAT): 9007(735/8272)
Apr 05, 2019 10:10:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(208/893) took 179183 ms. Total solver calls (SAT/UNSAT): 9172(751/8421)
Apr 05, 2019 10:10:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(211/893) took 182666 ms. Total solver calls (SAT/UNSAT): 9328(765/8563)
Apr 05, 2019 10:10:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(215/893) took 186153 ms. Total solver calls (SAT/UNSAT): 9485(782/8703)
Apr 05, 2019 10:10:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(218/893) took 189946 ms. Total solver calls (SAT/UNSAT): 9665(794/8871)
Apr 05, 2019 10:10:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(221/893) took 193702 ms. Total solver calls (SAT/UNSAT): 9836(803/9033)
Apr 05, 2019 10:10:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(224/893) took 197178 ms. Total solver calls (SAT/UNSAT): 9987(822/9165)
Apr 05, 2019 10:10:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(228/893) took 200420 ms. Total solver calls (SAT/UNSAT): 10141(832/9309)
Apr 05, 2019 10:10:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(233/893) took 203773 ms. Total solver calls (SAT/UNSAT): 10296(852/9444)
Apr 05, 2019 10:10:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(238/893) took 206960 ms. Total solver calls (SAT/UNSAT): 10442(870/9572)
Apr 05, 2019 10:10:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(243/893) took 210829 ms. Total solver calls (SAT/UNSAT): 10629(882/9747)
Apr 05, 2019 10:11:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(246/893) took 215046 ms. Total solver calls (SAT/UNSAT): 10825(893/9932)
Apr 05, 2019 10:11:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(248/893) took 218166 ms. Total solver calls (SAT/UNSAT): 10960(904/10056)
Apr 05, 2019 10:11:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(250/893) took 221270 ms. Total solver calls (SAT/UNSAT): 11115(916/10199)
Apr 05, 2019 10:11:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(252/893) took 224454 ms. Total solver calls (SAT/UNSAT): 11266(928/10338)
Apr 05, 2019 10:11:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(255/893) took 228305 ms. Total solver calls (SAT/UNSAT): 11445(939/10506)
Apr 05, 2019 10:11:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(258/893) took 231625 ms. Total solver calls (SAT/UNSAT): 11607(953/10654)
Apr 05, 2019 10:11:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(261/893) took 235125 ms. Total solver calls (SAT/UNSAT): 11784(967/10817)
Apr 05, 2019 10:11:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(264/893) took 238987 ms. Total solver calls (SAT/UNSAT): 11976(982/10994)
Apr 05, 2019 10:11:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(268/893) took 242434 ms. Total solver calls (SAT/UNSAT): 12136(994/11142)
Apr 05, 2019 10:11:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(272/893) took 246490 ms. Total solver calls (SAT/UNSAT): 12337(1006/11331)
Apr 05, 2019 10:11:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(276/893) took 249917 ms. Total solver calls (SAT/UNSAT): 12503(1025/11478)
Apr 05, 2019 10:11:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(280/893) took 253137 ms. Total solver calls (SAT/UNSAT): 12669(1032/11637)
Apr 05, 2019 10:11:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(284/893) took 256325 ms. Total solver calls (SAT/UNSAT): 12829(1043/11786)
Apr 05, 2019 10:11:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(287/893) took 259457 ms. Total solver calls (SAT/UNSAT): 12989(1047/11942)
Apr 05, 2019 10:11:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(289/893) took 262684 ms. Total solver calls (SAT/UNSAT): 13152(1056/12096)
Apr 05, 2019 10:11:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(292/893) took 265686 ms. Total solver calls (SAT/UNSAT): 13309(1068/12241)
Apr 05, 2019 10:11:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(296/893) took 269298 ms. Total solver calls (SAT/UNSAT): 13491(1080/12411)
Apr 05, 2019 10:12:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(299/893) took 272735 ms. Total solver calls (SAT/UNSAT): 13667(1088/12579)
Apr 05, 2019 10:12:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(304/893) took 275876 ms. Total solver calls (SAT/UNSAT): 13831(1098/12733)
Apr 05, 2019 10:12:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(308/893) took 280096 ms. Total solver calls (SAT/UNSAT): 14041(1108/12933)
Apr 05, 2019 10:12:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(314/893) took 283413 ms. Total solver calls (SAT/UNSAT): 14204(1122/13082)
Apr 05, 2019 10:12:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(321/893) took 286584 ms. Total solver calls (SAT/UNSAT): 14356(1130/13226)
Apr 05, 2019 10:12:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(325/893) took 290056 ms. Total solver calls (SAT/UNSAT): 14539(1147/13392)
Apr 05, 2019 10:12:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(328/893) took 293217 ms. Total solver calls (SAT/UNSAT): 14695(1174/13521)
Apr 05, 2019 10:12:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(333/893) took 296520 ms. Total solver calls (SAT/UNSAT): 14849(1186/13663)
Apr 05, 2019 10:12:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(338/893) took 299995 ms. Total solver calls (SAT/UNSAT): 15025(1198/13827)
Apr 05, 2019 10:12:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(345/893) took 303434 ms. Total solver calls (SAT/UNSAT): 15197(1222/13975)
Apr 05, 2019 10:12:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(351/893) took 307038 ms. Total solver calls (SAT/UNSAT): 15367(1231/14136)
Apr 05, 2019 10:12:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(355/893) took 310234 ms. Total solver calls (SAT/UNSAT): 15518(1241/14277)
Apr 05, 2019 10:12:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(362/893) took 313803 ms. Total solver calls (SAT/UNSAT): 15683(1253/14430)
Apr 05, 2019 10:12:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(368/893) took 317631 ms. Total solver calls (SAT/UNSAT): 15861(1264/14597)
Apr 05, 2019 10:12:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(371/893) took 321434 ms. Total solver calls (SAT/UNSAT): 16044(1284/14760)
Apr 05, 2019 10:12:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(375/893) took 325419 ms. Total solver calls (SAT/UNSAT): 16240(1292/14948)
Apr 05, 2019 10:12:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(380/893) took 329371 ms. Total solver calls (SAT/UNSAT): 16437(1315/15122)
Apr 05, 2019 10:13:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(384/893) took 333178 ms. Total solver calls (SAT/UNSAT): 16619(1326/15293)
Apr 05, 2019 10:13:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(388/893) took 336202 ms. Total solver calls (SAT/UNSAT): 16761(1341/15420)
Apr 05, 2019 10:13:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(393/893) took 339866 ms. Total solver calls (SAT/UNSAT): 16925(1357/15568)
Apr 05, 2019 10:13:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(398/893) took 343084 ms. Total solver calls (SAT/UNSAT): 17072(1367/15705)
Apr 05, 2019 10:13:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(402/893) took 346360 ms. Total solver calls (SAT/UNSAT): 17218(1374/15844)
Apr 05, 2019 10:13:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(408/893) took 349610 ms. Total solver calls (SAT/UNSAT): 17371(1382/15989)
Apr 05, 2019 10:13:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(412/893) took 352665 ms. Total solver calls (SAT/UNSAT): 17521(1403/16118)
Apr 05, 2019 10:13:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(417/893) took 355716 ms. Total solver calls (SAT/UNSAT): 17669(1418/16251)
Apr 05, 2019 10:13:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(423/893) took 359226 ms. Total solver calls (SAT/UNSAT): 17837(1428/16409)
Apr 05, 2019 10:13:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(428/893) took 362570 ms. Total solver calls (SAT/UNSAT): 17990(1437/16553)
Apr 05, 2019 10:13:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(433/893) took 365799 ms. Total solver calls (SAT/UNSAT): 18146(1449/16697)
Apr 05, 2019 10:13:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(441/893) took 368832 ms. Total solver calls (SAT/UNSAT): 18291(1466/16825)
Apr 05, 2019 10:13:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(447/893) took 371969 ms. Total solver calls (SAT/UNSAT): 18444(1490/16954)
Apr 05, 2019 10:13:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(457/893) took 374977 ms. Total solver calls (SAT/UNSAT): 18581(1502/17079)
Apr 05, 2019 10:13:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(464/893) took 378549 ms. Total solver calls (SAT/UNSAT): 18746(1515/17231)
Apr 05, 2019 10:13:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(469/893) took 381985 ms. Total solver calls (SAT/UNSAT): 18908(1517/17391)
Apr 05, 2019 10:13:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(476/893) took 385217 ms. Total solver calls (SAT/UNSAT): 19064(1527/17537)
Apr 05, 2019 10:13:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(487/893) took 388542 ms. Total solver calls (SAT/UNSAT): 19223(1538/17685)
Apr 05, 2019 10:13:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(501/893) took 391566 ms. Total solver calls (SAT/UNSAT): 19356(1540/17816)
Apr 05, 2019 10:14:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(513/893) took 394656 ms. Total solver calls (SAT/UNSAT): 19496(1553/17943)
Apr 05, 2019 10:14:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(539/893) took 397680 ms. Total solver calls (SAT/UNSAT): 19939(1574/18365)
Apr 05, 2019 10:14:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(553/893) took 400873 ms. Total solver calls (SAT/UNSAT): 20323(1610/18713)
Apr 05, 2019 10:14:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(560/893) took 403974 ms. Total solver calls (SAT/UNSAT): 20479(1628/18851)
Apr 05, 2019 10:14:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(568/893) took 407680 ms. Total solver calls (SAT/UNSAT): 20660(1644/19016)
Apr 05, 2019 10:14:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(571/893) took 411082 ms. Total solver calls (SAT/UNSAT): 20831(1658/19173)
Apr 05, 2019 10:14:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(574/893) took 414703 ms. Total solver calls (SAT/UNSAT): 21017(1660/19357)
Apr 05, 2019 10:14:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(577/893) took 418279 ms. Total solver calls (SAT/UNSAT): 21194(1662/19532)
Apr 05, 2019 10:14:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(581/893) took 421814 ms. Total solver calls (SAT/UNSAT): 21380(1674/19706)
Apr 05, 2019 10:14:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(585/893) took 425570 ms. Total solver calls (SAT/UNSAT): 21572(1685/19887)
Apr 05, 2019 10:14:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(589/893) took 429044 ms. Total solver calls (SAT/UNSAT): 21760(1692/20068)
Apr 05, 2019 10:14:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(594/893) took 432354 ms. Total solver calls (SAT/UNSAT): 21926(1706/20220)
Apr 05, 2019 10:14:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(598/893) took 435603 ms. Total solver calls (SAT/UNSAT): 22078(1713/20365)
Apr 05, 2019 10:14:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(604/893) took 438829 ms. Total solver calls (SAT/UNSAT): 22231(1725/20506)
Apr 05, 2019 10:14:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(612/893) took 442283 ms. Total solver calls (SAT/UNSAT): 22395(1731/20664)
Apr 05, 2019 10:14:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(621/893) took 445295 ms. Total solver calls (SAT/UNSAT): 22533(1737/20796)
Apr 05, 2019 10:14:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(627/893) took 448655 ms. Total solver calls (SAT/UNSAT): 22694(1741/20953)
Apr 05, 2019 10:14:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(633/893) took 451856 ms. Total solver calls (SAT/UNSAT): 22853(1745/21108)
Apr 05, 2019 10:15:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(640/893) took 454858 ms. Total solver calls (SAT/UNSAT): 22993(1745/21248)
Apr 05, 2019 10:15:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(650/893) took 458025 ms. Total solver calls (SAT/UNSAT): 23132(1749/21383)
Apr 05, 2019 10:15:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(660/893) took 461490 ms. Total solver calls (SAT/UNSAT): 23287(1760/21527)
Apr 05, 2019 10:15:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(668/893) took 464702 ms. Total solver calls (SAT/UNSAT): 23439(1768/21671)
Apr 05, 2019 10:15:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(679/893) took 467938 ms. Total solver calls (SAT/UNSAT): 23585(1785/21800)
Apr 05, 2019 10:15:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(687/893) took 471082 ms. Total solver calls (SAT/UNSAT): 23733(1787/21946)
Apr 05, 2019 10:15:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(704/893) took 474106 ms. Total solver calls (SAT/UNSAT): 23858(1793/22065)
Apr 05, 2019 10:15:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(714/893) took 477308 ms. Total solver calls (SAT/UNSAT): 24002(1805/22197)
Apr 05, 2019 10:15:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(726/893) took 480458 ms. Total solver calls (SAT/UNSAT): 24126(1810/22316)
Apr 05, 2019 10:15:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(734/893) took 483773 ms. Total solver calls (SAT/UNSAT): 24263(1828/22435)
Apr 05, 2019 10:15:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(740/893) took 487047 ms. Total solver calls (SAT/UNSAT): 24418(1843/22575)
Apr 05, 2019 10:15:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(755/893) took 491053 ms. Total solver calls (SAT/UNSAT): 24714(1867/22847)
Apr 05, 2019 10:15:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(759/893) took 494162 ms. Total solver calls (SAT/UNSAT): 24892(1867/23025)
Apr 05, 2019 10:15:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(763/893) took 497710 ms. Total solver calls (SAT/UNSAT): 25063(1876/23187)
Apr 05, 2019 10:15:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(767/893) took 501126 ms. Total solver calls (SAT/UNSAT): 25218(1877/23341)
Apr 05, 2019 10:15:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(771/893) took 504126 ms. Total solver calls (SAT/UNSAT): 25357(1878/23479)
Apr 05, 2019 10:15:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(776/893) took 507474 ms. Total solver calls (SAT/UNSAT): 25512(1881/23631)
Apr 05, 2019 10:15:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(783/893) took 510789 ms. Total solver calls (SAT/UNSAT): 25666(1885/23781)
Apr 05, 2019 10:16:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(794/893) took 513809 ms. Total solver calls (SAT/UNSAT): 25809(1889/23920)
Apr 05, 2019 10:16:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(823/893) took 516833 ms. Total solver calls (SAT/UNSAT): 25918(1924/23994)
Apr 05, 2019 10:16:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(884/893) took 519834 ms. Total solver calls (SAT/UNSAT): 25994(1966/24028)
Apr 05, 2019 10:16:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished co-enabling matrix. took 520118 ms. Total solver calls (SAT/UNSAT): 26003(1966/24037)
Apr 05, 2019 10:16:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 893 transitions.
Apr 05, 2019 10:16:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed DNA matrix. took 291 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 10:16:08 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 533889ms conformant to PINS in folder :/home/mcc/execution
Apr 05, 2019 10:27:17 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Apr 05, 2019 10:27:18 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6A-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:27:19 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1507 ms
Apr 05, 2019 10:27:20 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6A-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:27:20 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 964 ms
Apr 05, 2019 10:27:20 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Apr 05, 2019 10:27:20 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t834,t834,t834,t834,t834,t832,t830,t828,t826,t824,t822,t820,t816,t814,t812,t808,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 25 events :t374.t373,t374.t373,t374.t373,t369,t369,t369,t364,t362,t358,t358,t358,t353,t351,t347,t347,t347,t345,t343,t341,t339,t335,t335,t335,t333,t331,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t675.t677,t691,t689,t687,t685,t683,t678,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t549,t635,t634,t530,t529,t530,t529,t530,t529,t498,t492,t498,t492,t492,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 33 events :t732,t809,t808,t809,t808,t809,t808,t809,t808,t763,t762,t763,t763,t762,t732,t732,t304,t304,t303,t304,t303,t304,t303,t250,t249,t250,t249,t250,t250,t249,t250,t250,t249,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t863,t862,t861,t863,t862,t861,t655,t654,t463,t463,t462,t463,t462,t448,t447,t448,t448,t447,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t710,t710,t710,t710,t710,t708,t706,t700,t700,t700,t700,t700,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t518,t516,t514,t511,t509,t504,t502,t500,t497,t495,t493,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 45 events :t180,t179,t178,t177,t833,t832,t750,t749,t750,t749,t750,t749,t750,t749,t750,t749,t750,t750,t749,t332,t331,t332,t331,t332,t331,t332,t331,t264,t263,t264,t263,t264,t264,t263,t264,t264,t263,t180,t179,t178,t177,t180,t179,t178,t177,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t909,t907,t905,t903,t901,t899,t897,t895,t890,t888,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t679,t678,t679,t678,t572,t571,t557,t556,t556,t557,t556,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t28.t27,t28.t27,t28.t27,t23,t23,t23,t20,t18,t16,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t972.t976,t972.t976,t972.t976,t994,t992,t988,t988,t988,t986,t984,t982,t977,t977,t977,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t567,t565,t563,t560,t558,t556,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t96.t95,t96.t95,t92,t92,t90,t88,t86,t84,t81,t81,t78,t76,t74,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t440,t434,t434,t434,t434,t434,t432,t430,t428,t426,t424,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :t543,t541,t535,t535,t535,t535,t535,t533,t531,t529,t527,t522,t522,t522,t522,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t595.t598,t595.t598,t628,t626,t624,t622,t619,t619,t617,t615,t609,t609,t607,t605,t603,t599,t599,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t1082,t1080,t1078,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t857.t860,t857.t860,t879,t877,t875,t871,t871,t869,t867,t865,t861,t861,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t102,t1005,t999,t1005,t999,t1005,t999,t1005,t999,t999,t981,t102,t47,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 29 events :t378,t813,t812,t813,t812,t813,t812,t813,t812,t378,t378,t351,t308,t307,t307,t308,t307,t308,t307,t240,t234,t240,t234,t234,t240,t234,t240,t234,t234,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t665,t663,t661,t656,t656,t656,t656,t654,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 21 events :t601,t600,t599,t601,t600,t599,t601,t600,t599,t578,t587,t586,t577,t574,t576,t575,t561,t555,t561,t555,t555,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t922,t932,t931,t922,t127,t132,t127,t132,t127,t113,t112,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t320,t318,t313,t311,t309,t307,t305,t303,t301,t295,t295,t295,t295,t295,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t942,t942,t942,t942,t940,t935,t935,t935,t935,t933,t931,t927,t927,t927,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 35 events :t210,t889,t888,t889,t888,t889,t888,t889,t888,t889,t888,t888,t870,t864,t870,t864,t864,t210,t210,t210,t210,t184,t183,t184,t183,t147,t141,t147,t141,t141,t147,t141,t147,t141,t141,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t120,t680,t425,t424,t410,t409,t410,t410,t409,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 24 events :t83,t82,t81,t930,t929,t937,t928,t927,t937,t928,t930,t929,t928,t927,t129,t128,t128,t129,t128,t111,t110,t83,t82,t81,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 25 events :t26,t25,t24,t23,t1014,t1013,t1012,t1011,t1010,t1009,t1013,t1012,t993,t992,t77,t76,t77,t76,t77,t76,t56,t55,t56,t56,t55,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 48 events :t748,t747,t746,t745,t748,t747,t746,t745,t748,t747,t746,t745,t748,t747,t746,t745,t748,t747,t746,t745,t439,t438,t703,t702,t437,t434,t703,t702,t439,t438,t437,t434,t684,t683,t684,t683,t436,t435,t396,t395,t396,t395,t395,t396,t395,t395,t396,t395,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t674,t697,t429,t429,t428,t429,t428,t394,t399,t394,t399,t394,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t1043,t1041,t1039,t1037,t1035,t1033,t1031,t1029,t1027,t1019,t1019,t1019,t1019,t1019,t1017,t1015,t1009,t1009,t1009,t1009,t1009,t1004,t1002,
Apr 05, 2019 10:27:23 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t480.t479,t480.t479,t476,t476,t473,t471,t469,t466,t466,t464,t462,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t484,t662,t653,t662,t653,t653,t484,t472,t471,t452,t446,t452,t446,t446,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t288,t286,t281,t279,t274,t272,t267,t265,t263,t260,t258,t253,t251,t249,t246,t244,t242,t239,t237,t235,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t13,t11,t9,t6,t4,t2,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :t980,t979,t978,t977,t980,t979,t978,t977,t752,t751,t752,t751,t752,t751,t751,t752,t751,t341,t342,t341,t342,t341,t342,t341,t297,t296,t236,t235,t235,t236,t235,t236,t235,t235,t236,t235,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t66,t64,t59,t57,t55,t52,t50,t48,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t167,t165,t160,t158,t156,t153,t151,t149,t146,t144,t142,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t33,t1079,t1078,t33,t33,t33,t19,t18,t3,t2,t2,t3,t2,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t458,t456,t454,t451,t449,t447,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 43 events :t338,t337,t336,t335,t540,t537,t639,t638,t536,t535,t604,t603,t604,t603,t604,t603,t604,t604,t603,t539,t538,t494,t493,t494,t494,t493,t494,t493,t494,t494,t493,t338,t337,t336,t335,t338,t337,t336,t335,t338,t337,t336,t335,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t116,t114,t112,t110,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :t855,t885,t890,t885,t890,t885,t890,t885,t855,t193,t157,t156,t157,t157,t156,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t588,t588,t588,t588,t586,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t420,t418,t413,t411,t409,t406,t404,t402,t399,t397,t395,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t139,t137,t135,t132,t130,t128,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t640,t640,t640,t640,t640,t638,t636,t634,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t581,t579,t574,t574,t574,t574,t570,t570,t570,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t468,t467,t466,t602,t607,t602,t607,t602,t607,t602,t525,t524,t506,t511,t506,t511,t506,t468,t467,t466,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1063,t1077,t1063,t1063,t1063,t1063,t1063,t17,t1,t6,t1,t6,t1,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 32 events :t967,t1003,t1002,t1003,t1002,t1003,t1002,t1003,t1002,t1003,t1002,t1003,t1002,t1003,t983,t982,t967,t967,t967,t967,t75,t74,t75,t74,t75,t49,t48,t49,t48,t49,t49,t48,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t1076,t866,t865,t866,t866,t865,t174,t174,t173,t174,t173,t143,t142,t143,t143,t142,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 19 events :t204.t203,t204.t203,t204.t203,t199,t199,t199,t194,t192,t188,t188,t188,t185,t183,t181,t177,t177,t177,t175,t173,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 33 events :t740.t744,t740.t744,t740.t744,t800,t798,t796,t794,t790,t790,t790,t788,t786,t779,t779,t779,t777,t775,t768,t768,t768,t766,t764,t762,t757,t757,t757,t755,t753,t751,t749,t745,t745,t745,
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 947 redundant transitions.
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6A-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 3212 ms
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.t570, u2.t573]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu48_flat :[u48.t111, u48.t110]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu20_flat :[u20.t449, u20.t447, u20.t458]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.t607, u11.t615, u11.t626, u11.t624]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t235, u38.t246, u38.t279, u38.t237, u38.t288]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t408, u28.t401]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu43_flat :[u43.t871, u43.t861, u43.t857.t860]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu46_flat :[u46.t141, u46.t155]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t1013, u55.t1012]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t469, u18.t464, u18.t462]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.t862, u15.t861, u15.t863]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t790, u35.t740.t744, u35.t779, u35.t768, u35.t757, u35.t745]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu29_flat :[u29.t809, u29.t808]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.t609, u11.t619, u11.t595.t598, u11.t599]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu44_flat :[u44.t177, u44.t199, u44.t188, u44.t204.t203]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t404, u28.t402, u28.t399]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t703, u22.t702]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu8_flat :[u8.t634, u8.t635]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu46_flat :[u46.t151, u46.t165, u46.t146, u46.t149, u46.t160]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu52_flat :[u52.t110, u52.t116]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu26_flat :[u26.t424, u26.t426]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu45_flat :[u45.t899, u45.t888, u45.t897, u45.t907, u45.t909, u45.t905]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t638, u7.t639]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu30_flat :[u30.t812, u30.t813]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu5_flat :[u5.t673.t585, u5.t674]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t249, u38.t267, u38.t260, u38.t272, u38.t251]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu45_flat :[u45.t901, u45.t895, u45.t903, u45.t890]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu26_flat :[u26.t378, u26.t379, u26.t380, u26.t381.t443]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.t657, u15.t656, u15.t660]
Apr 05, 2019 10:27:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu34_flat :[u34.t335, u34.t347, u34.t358, u34.t369, u34.t374.t373]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu62_flat :[u62.t18, u62.t19]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t794, u35.t751, u35.t753, u35.t800, u35.t788]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1068, u59.t1062.t998, u59.t1063, u59.t1064, u59.t1065, u59.t1066, u59.t1067]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.t522, u9.t526, u9.t523]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu60_flat :[u60.t48, u60.t59, u60.t50, u60.t64]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu48_flat :[u48.t81, u48.t82, u48.t83]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu16_flat :[u16.t471, u16.t472]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1019, u59.t1009]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t1076, u65.t1072.t1073]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu34_flat :[u34.t362, u34.t353, u34.t341, u34.t343]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t493, u14.t509, u14.t495, u14.t518, u14.t504]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t395, u28.t418, u28.t406, u28.t413, u28.t397]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu43_flat :[u43.t879, u43.t867, u43.t865]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t678, u25.t687, u25.t675.t677]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu44_flat :[u44.t175, u44.t173, u44.t181]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t248, u38.t234]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t435, u22.t436]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu66_flat :[u66.t6, u66.t11, u66.t9]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t331, u31.t332]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu50_flat :[u50.t132, u50.t137, u50.t135]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu37_flat :[u37.t828, u37.t814, u37.t820, u37.t830, u37.t808]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.t679, u2.t678]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t466, u18.t476, u18.t480.t479]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t836, u31.t834, u31.t835, u31.t839]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu43_flat :[u43.t869, u43.t877, u43.t875]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu23_flat :[u23.t425, u23.t424]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t499, u14.t513]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t473, u18.t471]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu64_flat :[u64.t18, u64.t20]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu50_flat :[u50.t130, u50.t128, u50.t139]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.t572, u2.t571]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu20_flat :[u20.t451, u20.t456, u20.t454]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.t525, u9.t524]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu45_flat :[u45.t35, u45.t32.t884, u45.t36, u45.t33, u45.t34]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu46_flat :[u46.t167, u46.t156, u46.t158]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu19_flat :[u19.t854.t652, u19.t855, u19.t856]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t748, u22.t745, u22.t747, u22.t746]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu57_flat :[u57.t988, u57.t977, u57.t972.t976]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t832, u31.t833]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu26_flat :[u26.t432, u26.t430, u26.t428]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu53_flat :[u53.t982, u53.t983]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu47_flat :[u47.t931, u47.t932]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t255, u38.t262]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t578, u1.t574, u1.t577]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t575, u1.t576]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.t467, u9.t466, u9.t468]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t434, u22.t437, u22.t439, u22.t438]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu34_flat :[u34.t331, u34.t364, u34.t333, u34.t345, u34.t339]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu4_flat :[u4.t549, u4.t550.t583]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu37_flat :[u37.t816, u37.t826, u37.t824, u37.t812, u37.t822]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t922, u27.t923, u27.t921.t696]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu47_flat :[u47.t113, u47.t112]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.t605, u11.t617, u11.t628, u11.t603, u11.t622]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t539, u7.t538]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu51_flat :[u51.t935, u51.t942]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t586, u1.t587]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t269, u38.t276]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t1078, u65.t1080]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu36_flat :[u36.t309, u36.t307, u36.t320, u36.t311]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu13_flat :[u13.t485, u13.t483.t633, u13.t484]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t684, u22.t683]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t298, u32.t295, u32.t300, u32.t299]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu36_flat :[u36.t305, u36.t303, u36.t318, u36.t313]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.t655, u15.t654]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t286, u38.t265, u38.t263, u38.t274, u38.t281]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu58_flat :[u58.t90, u58.t76, u58.t78, u58.t84]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t980, u32.t979, u32.t978, u32.t977]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t600, u1.t601, u1.t599]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu60_flat :[u60.t55, u60.t66, u60.t57]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu12_flat :[u12.t543, u12.t533, u12.t529, u12.t531]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu8_flat :[u8.t529, u8.t530]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu12_flat :[u12.t732, u12.t733, u12.t734, u12.t735.t545]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu37_flat :[u37.t969, u37.t968, u37.t967, u37.t971, u37.t966.t807, u37.t970]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu57_flat :[u57.t984, u57.t982]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t1009, u55.t1014, u55.t1011, u55.t1010]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t689, u25.t683, u25.t691]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu6_flat :[u6.t556, u6.t567, u6.t558]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu19_flat :[u19.t661, u19.t663, u19.t665]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu48_flat :[u48.t927, u48.t929, u48.t930]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t283, u38.t241]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t77, u55.t76]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu46_flat :[u46.t142, u46.t153, u46.t144]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t258, u38.t242, u38.t253, u38.t244, u38.t239]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu58_flat :[u58.t96.t95, u58.t81, u58.t92]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu57_flat :[u57.t992, u57.t994]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t700, u27.t710]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu44_flat :[u44.t185, u44.t194, u44.t183]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1002, u59.t1015, u59.t1037, u59.t1027, u59.t1031, u59.t1043, u59.t1033]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu64_flat :[u64.t23, u64.t28.t27]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t537, u7.t536, u7.t540, u7.t535]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu6_flat :[u6.t565, u6.t560, u6.t563]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu58_flat :[u58.t86, u58.t88, u58.t74]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t497, u14.t500, u14.t502]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu51_flat :[u51.t102, u51.t103, u51.t101.t926]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu52_flat :[u52.t112, u52.t114]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu13_flat :[u13.t636, u13.t634]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t409, u28.t411, u28.t420]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t796, u35.t749, u35.t798, u35.t786, u35.t775, u35.t766, u35.t755]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t180, u31.t179, u31.t177, u31.t178]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t762, u35.t764, u35.t777]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t511, u14.t516, u14.t514]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t26, u55.t25, u55.t24, u55.t23]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu66_flat :[u66.t4, u66.t13, u66.t2]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t297, u32.t296]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t992, u55.t993]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu51_flat :[u51.t933, u51.t931]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu36_flat :[u36.t210, u36.t215.t325, u36.t213, u36.t214, u36.t211, u36.t212]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu40_flat :[u40.t184, u40.t183]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu52_flat :[u52.t120, u52.t124.t121]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t338, u7.t335, u7.t337, u7.t336]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1035, u59.t1004, u59.t1039, u59.t1029, u59.t1041]
Apr 05, 2019 10:27:25 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu62_flat :[u62.t1078, u62.t1079]
Apr 05, 2019 10:27:25 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 181 ms
Apr 05, 2019 10:47:26 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Apr 05, 2019 10:47:26 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6A-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:47:26 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 217 ms
Apr 05, 2019 10:47:26 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6A-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:47:26 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 376 ms
Apr 05, 2019 10:47:26 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Apr 05, 2019 10:47:26 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t480.t479,t480.t479,t476,t476,t473,t471,t469,t466,t466,t464,t462,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t116,t114,t112,t110,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t972.t976,t972.t976,t972.t976,t994,t992,t988,t988,t988,t986,t984,t982,t977,t977,t977,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 32 events :t967,t1003,t1002,t1003,t1002,t1003,t1002,t1003,t1002,t1003,t1002,t1003,t1002,t1003,t983,t982,t967,t967,t967,t967,t75,t74,t75,t74,t75,t49,t48,t49,t48,t49,t49,t48,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t675.t677,t691,t689,t687,t685,t683,t678,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t458,t456,t454,t451,t449,t447,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t139,t137,t135,t132,t130,t128,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t66,t64,t59,t57,t55,t52,t50,t48,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t710,t710,t710,t710,t710,t708,t706,t700,t700,t700,t700,t700,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t320,t318,t313,t311,t309,t307,t305,t303,t301,t295,t295,t295,t295,t295,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t679,t678,t679,t678,t572,t571,t557,t556,t556,t557,t556,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t588,t588,t588,t588,t586,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t863,t862,t861,t863,t862,t861,t655,t654,t463,t463,t462,t463,t462,t448,t447,t448,t448,t447,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t834,t834,t834,t834,t834,t832,t830,t828,t826,t824,t822,t820,t816,t814,t812,t808,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :t855,t885,t890,t885,t890,t885,t890,t885,t855,t193,t157,t156,t157,t157,t156,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t665,t663,t661,t656,t656,t656,t656,t654,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t96.t95,t96.t95,t92,t92,t90,t88,t86,t84,t81,t81,t78,t76,t74,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t640,t640,t640,t640,t640,t638,t636,t634,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t13,t11,t9,t6,t4,t2,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t440,t434,t434,t434,t434,t434,t432,t430,t428,t426,t424,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t857.t860,t857.t860,t879,t877,t875,t871,t871,t869,t867,t865,t861,t861,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t33,t1079,t1078,t33,t33,t33,t19,t18,t3,t2,t2,t3,t2,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 29 events :t378,t813,t812,t813,t812,t813,t812,t813,t812,t378,t378,t351,t308,t307,t307,t308,t307,t308,t307,t240,t234,t240,t234,t234,t240,t234,t240,t234,t234,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :t980,t979,t978,t977,t980,t979,t978,t977,t752,t751,t752,t751,t752,t751,t751,t752,t751,t341,t342,t341,t342,t341,t342,t341,t297,t296,t236,t235,t235,t236,t235,t236,t235,t235,t236,t235,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 43 events :t338,t337,t336,t335,t540,t537,t639,t638,t536,t535,t604,t603,t604,t603,t604,t603,t604,t604,t603,t539,t538,t494,t493,t494,t494,t493,t494,t493,t494,t494,t493,t338,t337,t336,t335,t338,t337,t336,t335,t338,t337,t336,t335,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t1043,t1041,t1039,t1037,t1035,t1033,t1031,t1029,t1027,t1019,t1019,t1019,t1019,t1019,t1017,t1015,t1009,t1009,t1009,t1009,t1009,t1004,t1002,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t167,t165,t160,t158,t156,t153,t151,t149,t146,t144,t142,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t581,t579,t574,t574,t574,t574,t570,t570,t570,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1063,t1077,t1063,t1063,t1063,t1063,t1063,t17,t1,t6,t1,t6,t1,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 33 events :t740.t744,t740.t744,t740.t744,t800,t798,t796,t794,t790,t790,t790,t788,t786,t779,t779,t779,t777,t775,t768,t768,t768,t766,t764,t762,t757,t757,t757,t755,t753,t751,t749,t745,t745,t745,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t567,t565,t563,t560,t558,t556,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 21 events :t601,t600,t599,t601,t600,t599,t601,t600,t599,t578,t587,t586,t577,t574,t576,t575,t561,t555,t561,t555,t555,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t1082,t1080,t1078,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t28.t27,t28.t27,t28.t27,t23,t23,t23,t20,t18,t16,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 45 events :t180,t179,t178,t177,t833,t832,t750,t749,t750,t749,t750,t749,t750,t749,t750,t749,t750,t750,t749,t332,t331,t332,t331,t332,t331,t332,t331,t264,t263,t264,t263,t264,t264,t263,t264,t264,t263,t180,t179,t178,t177,t180,t179,t178,t177,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t674,t697,t429,t429,t428,t429,t428,t394,t399,t394,t399,t394,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t288,t286,t281,t279,t274,t272,t267,t265,t263,t260,t258,t253,t251,t249,t246,t244,t242,t239,t237,t235,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :t543,t541,t535,t535,t535,t535,t535,t533,t531,t529,t527,t522,t522,t522,t522,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 19 events :t204.t203,t204.t203,t204.t203,t199,t199,t199,t194,t192,t188,t188,t188,t185,t183,t181,t177,t177,t177,t175,t173,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 25 events :t374.t373,t374.t373,t374.t373,t369,t369,t369,t364,t362,t358,t358,t358,t353,t351,t347,t347,t347,t345,t343,t341,t339,t335,t335,t335,t333,t331,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t468,t467,t466,t602,t607,t602,t607,t602,t607,t602,t525,t524,t506,t511,t506,t511,t506,t468,t467,t466,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t518,t516,t514,t511,t509,t504,t502,t500,t497,t495,t493,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t922,t932,t931,t922,t127,t132,t127,t132,t127,t113,t112,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 25 events :t26,t25,t24,t23,t1014,t1013,t1012,t1011,t1010,t1009,t1013,t1012,t993,t992,t77,t76,t77,t76,t77,t76,t56,t55,t56,t56,t55,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t549,t635,t634,t530,t529,t530,t529,t530,t529,t498,t492,t498,t492,t492,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 33 events :t732,t809,t808,t809,t808,t809,t808,t809,t808,t763,t762,t763,t763,t762,t732,t732,t304,t304,t303,t304,t303,t304,t303,t250,t249,t250,t249,t250,t250,t249,t250,t250,t249,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t595.t598,t595.t598,t628,t626,t624,t622,t619,t619,t617,t615,t609,t609,t607,t605,t603,t599,t599,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t909,t907,t905,t903,t901,t899,t897,t895,t890,t888,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 24 events :t83,t82,t81,t930,t929,t937,t928,t927,t937,t928,t930,t929,t928,t927,t129,t128,t128,t129,t128,t111,t110,t83,t82,t81,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t420,t418,t413,t411,t409,t406,t404,t402,t399,t397,t395,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t942,t942,t942,t942,t940,t935,t935,t935,t935,t933,t931,t927,t927,t927,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t484,t662,t653,t662,t653,t653,t484,t472,t471,t452,t446,t452,t446,t446,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t120,t680,t425,t424,t410,t409,t410,t410,t409,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 35 events :t210,t889,t888,t889,t888,t889,t888,t889,t888,t889,t888,t888,t870,t864,t870,t864,t864,t210,t210,t210,t210,t184,t183,t184,t183,t147,t141,t147,t141,t141,t147,t141,t147,t141,t141,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 48 events :t748,t747,t746,t745,t748,t747,t746,t745,t748,t747,t746,t745,t748,t747,t746,t745,t748,t747,t746,t745,t439,t438,t703,t702,t437,t434,t703,t702,t439,t438,t437,t434,t684,t683,t684,t683,t436,t435,t396,t395,t396,t395,t395,t396,t395,t395,t396,t395,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t1076,t866,t865,t866,t866,t865,t174,t174,t173,t174,t173,t143,t142,t143,t143,t142,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t102,t1005,t999,t1005,t999,t1005,t999,t1005,t999,t999,t981,t102,t47,
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 947 redundant transitions.
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6A-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 514 ms
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.t570, u2.t573]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu48_flat :[u48.t111, u48.t110]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu20_flat :[u20.t449, u20.t447, u20.t458]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.t607, u11.t615, u11.t626, u11.t624]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t235, u38.t246, u38.t279, u38.t237, u38.t288]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t408, u28.t401]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu43_flat :[u43.t871, u43.t861, u43.t857.t860]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu46_flat :[u46.t141, u46.t155]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t1013, u55.t1012]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t469, u18.t464, u18.t462]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.t862, u15.t861, u15.t863]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t790, u35.t740.t744, u35.t779, u35.t768, u35.t757, u35.t745]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu29_flat :[u29.t809, u29.t808]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.t609, u11.t619, u11.t595.t598, u11.t599]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu44_flat :[u44.t177, u44.t199, u44.t188, u44.t204.t203]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t404, u28.t402, u28.t399]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t703, u22.t702]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu8_flat :[u8.t634, u8.t635]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu46_flat :[u46.t151, u46.t165, u46.t146, u46.t149, u46.t160]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu52_flat :[u52.t110, u52.t116]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu26_flat :[u26.t424, u26.t426]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu45_flat :[u45.t899, u45.t888, u45.t897, u45.t907, u45.t909, u45.t905]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t638, u7.t639]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu30_flat :[u30.t812, u30.t813]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu5_flat :[u5.t673.t585, u5.t674]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t249, u38.t267, u38.t260, u38.t272, u38.t251]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu45_flat :[u45.t901, u45.t895, u45.t903, u45.t890]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu26_flat :[u26.t378, u26.t379, u26.t380, u26.t381.t443]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.t657, u15.t656, u15.t660]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu34_flat :[u34.t335, u34.t347, u34.t358, u34.t369, u34.t374.t373]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu62_flat :[u62.t18, u62.t19]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t794, u35.t751, u35.t753, u35.t800, u35.t788]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1068, u59.t1062.t998, u59.t1063, u59.t1064, u59.t1065, u59.t1066, u59.t1067]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.t522, u9.t526, u9.t523]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu60_flat :[u60.t48, u60.t59, u60.t50, u60.t64]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu48_flat :[u48.t81, u48.t82, u48.t83]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu16_flat :[u16.t471, u16.t472]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1019, u59.t1009]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t1076, u65.t1072.t1073]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu34_flat :[u34.t362, u34.t353, u34.t341, u34.t343]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t493, u14.t509, u14.t495, u14.t518, u14.t504]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t395, u28.t418, u28.t406, u28.t413, u28.t397]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu43_flat :[u43.t879, u43.t867, u43.t865]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t678, u25.t687, u25.t675.t677]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu44_flat :[u44.t175, u44.t173, u44.t181]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t248, u38.t234]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t435, u22.t436]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu66_flat :[u66.t6, u66.t11, u66.t9]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t331, u31.t332]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu50_flat :[u50.t132, u50.t137, u50.t135]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu37_flat :[u37.t828, u37.t814, u37.t820, u37.t830, u37.t808]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.t679, u2.t678]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t466, u18.t476, u18.t480.t479]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t836, u31.t834, u31.t835, u31.t839]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu43_flat :[u43.t869, u43.t877, u43.t875]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu23_flat :[u23.t425, u23.t424]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t499, u14.t513]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu18_flat :[u18.t473, u18.t471]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu64_flat :[u64.t18, u64.t20]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu50_flat :[u50.t130, u50.t128, u50.t139]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu2_flat :[u2.t572, u2.t571]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu20_flat :[u20.t451, u20.t456, u20.t454]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.t525, u9.t524]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu45_flat :[u45.t35, u45.t32.t884, u45.t36, u45.t33, u45.t34]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu46_flat :[u46.t167, u46.t156, u46.t158]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu19_flat :[u19.t854.t652, u19.t855, u19.t856]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t748, u22.t745, u22.t747, u22.t746]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu57_flat :[u57.t988, u57.t977, u57.t972.t976]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t832, u31.t833]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu26_flat :[u26.t432, u26.t430, u26.t428]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu53_flat :[u53.t982, u53.t983]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu47_flat :[u47.t931, u47.t932]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t255, u38.t262]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t578, u1.t574, u1.t577]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t575, u1.t576]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu9_flat :[u9.t467, u9.t466, u9.t468]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t434, u22.t437, u22.t439, u22.t438]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu34_flat :[u34.t331, u34.t364, u34.t333, u34.t345, u34.t339]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu4_flat :[u4.t549, u4.t550.t583]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu37_flat :[u37.t816, u37.t826, u37.t824, u37.t812, u37.t822]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t922, u27.t923, u27.t921.t696]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu47_flat :[u47.t113, u47.t112]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu11_flat :[u11.t605, u11.t617, u11.t628, u11.t603, u11.t622]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t539, u7.t538]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu51_flat :[u51.t935, u51.t942]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t586, u1.t587]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t269, u38.t276]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu65_flat :[u65.t1078, u65.t1080]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu36_flat :[u36.t309, u36.t307, u36.t320, u36.t311]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu13_flat :[u13.t485, u13.t483.t633, u13.t484]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu22_flat :[u22.t684, u22.t683]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t298, u32.t295, u32.t300, u32.t299]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu36_flat :[u36.t305, u36.t303, u36.t318, u36.t313]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu15_flat :[u15.t655, u15.t654]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t286, u38.t265, u38.t263, u38.t274, u38.t281]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu58_flat :[u58.t90, u58.t76, u58.t78, u58.t84]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t980, u32.t979, u32.t978, u32.t977]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu1_flat :[u1.t600, u1.t601, u1.t599]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu60_flat :[u60.t55, u60.t66, u60.t57]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu12_flat :[u12.t543, u12.t533, u12.t529, u12.t531]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu8_flat :[u8.t529, u8.t530]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu12_flat :[u12.t732, u12.t733, u12.t734, u12.t735.t545]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu37_flat :[u37.t969, u37.t968, u37.t967, u37.t971, u37.t966.t807, u37.t970]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu57_flat :[u57.t984, u57.t982]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t1009, u55.t1014, u55.t1011, u55.t1010]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu25_flat :[u25.t689, u25.t683, u25.t691]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu6_flat :[u6.t556, u6.t567, u6.t558]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu19_flat :[u19.t661, u19.t663, u19.t665]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu48_flat :[u48.t927, u48.t929, u48.t930]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t283, u38.t241]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t77, u55.t76]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu46_flat :[u46.t142, u46.t153, u46.t144]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu38_flat :[u38.t258, u38.t242, u38.t253, u38.t244, u38.t239]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu58_flat :[u58.t96.t95, u58.t81, u58.t92]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu57_flat :[u57.t992, u57.t994]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu27_flat :[u27.t700, u27.t710]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu44_flat :[u44.t185, u44.t194, u44.t183]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1002, u59.t1015, u59.t1037, u59.t1027, u59.t1031, u59.t1043, u59.t1033]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu64_flat :[u64.t23, u64.t28.t27]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t537, u7.t536, u7.t540, u7.t535]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu6_flat :[u6.t565, u6.t560, u6.t563]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu58_flat :[u58.t86, u58.t88, u58.t74]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t497, u14.t500, u14.t502]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu51_flat :[u51.t102, u51.t103, u51.t101.t926]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu52_flat :[u52.t112, u52.t114]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu13_flat :[u13.t636, u13.t634]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu28_flat :[u28.t409, u28.t411, u28.t420]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t796, u35.t749, u35.t798, u35.t786, u35.t775, u35.t766, u35.t755]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu31_flat :[u31.t180, u31.t179, u31.t177, u31.t178]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu35_flat :[u35.t762, u35.t764, u35.t777]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu14_flat :[u14.t511, u14.t516, u14.t514]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t26, u55.t25, u55.t24, u55.t23]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu66_flat :[u66.t4, u66.t13, u66.t2]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu32_flat :[u32.t297, u32.t296]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu55_flat :[u55.t992, u55.t993]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu51_flat :[u51.t933, u51.t931]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu36_flat :[u36.t210, u36.t215.t325, u36.t213, u36.t214, u36.t211, u36.t212]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu40_flat :[u40.t184, u40.t183]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu52_flat :[u52.t120, u52.t124.t121]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu7_flat :[u7.t338, u7.t335, u7.t337, u7.t336]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu59_flat :[u59.t1035, u59.t1004, u59.t1039, u59.t1029, u59.t1041]
Apr 05, 2019 10:47:27 PM fr.lip6.move.gal.instantiate.CompositeBuilder fuseSimilarLabels
INFO: Found fuseable labels in Tu62_flat :[u62.t1078, u62.t1079]
Apr 05, 2019 10:47:27 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 47 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-6A"
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-6A, 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-155344538000327"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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