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.r184-csrt-155344538000300.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 itstools
Input is NoC3x3-PT-4B, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r184-csrt-155344538000300
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 760K
-rw-r--r-- 1 mcc users 4.1K Mar 23 12:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 23 12:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 23 12:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 12:21 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 7.3K Mar 23 12:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 23 10:10 NewModel
-rw-r--r-- 1 mcc users 3.2K Mar 23 12:09 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 23 12:09 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 23 12:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 10K Mar 23 12:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 12:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 12:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 23 10:10 instance
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 iscolored
-rw-r--r-- 1 mcc users 0 Mar 23 10:10 model-fix.log
-rw-r--r-- 1 mcc users 608K 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-4B-GlobalProperties-0

=== Now, execution of the tool begins

BK_START 1554501437617

Working with output stream class java.io.PrintStream
Flatten gal took : 730 ms
Constant places removed 1 places and 1 transitions.
Performed 1556 Post agglomeration using F-continuation condition.
Iterating post reduction 0 with 1557 rules applied. Total rules applied 1557 place count 2327 transition count 1144
Constant places removed 1558 places and 2 transitions.
Reduce isomorphic transitions removed 146 transitions.
Performed 66 Post agglomeration using F-continuation condition.
Iterating post reduction 1 with 1770 rules applied. Total rules applied 3327 place count 769 transition count 930
Constant places removed 75 places and 0 transitions.
Reduce isomorphic transitions removed 9 transitions.
Performed 33 Post agglomeration using F-continuation condition.
Iterating post reduction 2 with 117 rules applied. Total rules applied 3444 place count 694 transition count 888
Constant places removed 33 places and 0 transitions.
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 3 with 57 rules applied. Total rules applied 3501 place count 661 transition count 864
Symmetric choice reduction at 4 with 33 rule applications. Total rules 3534 place count 661 transition count 864
Constant places removed 33 places and 33 transitions.
Performed 13 Post agglomeration using F-continuation condition.
Iterating post reduction 4 with 46 rules applied. Total rules applied 3580 place count 628 transition count 818
Constant places removed 13 places and 0 transitions.
Iterating post reduction 5 with 13 rules applied. Total rules applied 3593 place count 615 transition count 818
Performed 178 Post agglomeration using F-continuation condition.
Constant places removed 178 places and 0 transitions.
Reduce isomorphic transitions removed 33 transitions.
Iterating post reduction 6 with 211 rules applied. Total rules applied 3804 place count 437 transition count 607
Performed 42 Post agglomeration using F-continuation condition.
Constant places removed 42 places and 0 transitions.
Reduce isomorphic transitions removed 57 transitions.
Iterating post reduction 7 with 99 rules applied. Total rules applied 3903 place count 395 transition count 952
Applied a total of 3903 rules in 1483 ms. Remains 395 /2328 variables (removed 1933) and now considering 952/2701 (removed 1749) transitions.
Normalized transition count is 767
// Phase 1: matrix 767 rows 395 cols
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 767
// Phase 1: matrix 767 rows 395 cols
invariant :p1125 + p1127 + p1129 + p1137 + p1139 + p1141 + p1157 + p1162 + p1163 = 1
invariant :p596 + p600 + p608 + p612 + p630 + p635 + p636 = 1
invariant :p552 + p555 + p557 + p560 + p562 + p565 + p567 = 1
invariant :p1923 + p1925 + p1927 + p1935 + p1937 + p1939 + p1955 + p1960 + p1961 = 1
invariant :p752 + p755 + p757 + p760 + p762 + p765 + p767 = 1
invariant :p2176 + p2178 + p2188 + p2190 + p2206 + p2211 + p2212 = 1
invariant :p793 + p795 + p796 + p799 + p802 = 1
invariant :p1090 + p1092 + p1093 + p1096 + p1099 + p1102 = 1
invariant :p269 + p273 + p275 + p279 + p281 + p285 + p287 + p291 + p293 = 1
invariant :p710 + p714 + p722 + p726 + p744 = 1
invariant :p1616 + p1620 + p1622 + p1628 + p1632 + p1634 + p1650 = 1
invariant :p1879 + p1881 + p1882 + p1885 + p1888 = 1
invariant :p396 + p400 + p408 + p412 + p430 + p435 + p436 = 1
invariant :p1858 + p1861 + p1863 + p1866 + p1868 + p1871 + p1873 + p1876 + p1878 = 1
invariant :p170 + p172 + p182 + p184 + p204 + p209 + p210 = 1
invariant :p768 + p772 + p774 + p778 + p780 + p784 + p786 + p790 + p792 = 1
invariant :p1502 + p1506 + p1508 + p1514 + p1518 + p1520 + p1536 + p1541 + p1542 = 1
invariant :p1559 + p1563 + p1571 + p1575 + p1593 + p1598 + p1599 = 1
invariant :p2037 + p2039 + p2041 + p2049 + p2051 + p2053 + p2069 + p2074 + p2075 = 1
invariant :p76 + p80 + p82 + p86 + p88 + p92 + p94 = 1
invariant :p1416 + p1418 + p1419 + p1422 + p1425 = 1
invariant :p1035 + p1038 + p1040 + p1043 + p1045 + p1048 + p1050 + p1053 + p1055 = 1
invariant :p1056 + p1059 + p1061 + p1064 + p1066 + p1069 + p1071 + p1074 + p1076 = 1
invariant :p2233 + p2235 + p2245 + p2247 + p2263 + p2268 + p2269 = 1
invariant :p1674 + p1676 + p1677 + p1680 + p1683 = 1
invariant :p1818 + p1822 + p1830 + p1834 + p1850 = 1
invariant :p879 + p881 + p885 + p891 + p893 + p897 + p913 + p918 + p919 = 1
invariant :p2144 + p2146 + p2147 + p2150 + p2153 = 1
invariant :p115 + p127 + p147 + p152 + p153 = 1
invariant :p2290 + p2292 + p2302 + p2304 + p2320 = 1
invariant :p227 + p229 + p239 + p241 + p261 = 1
invariant :p1077 + p1079 + p1080 + p1083 + p1086 + p1089 = 1
invariant :p824 + p828 + p836 + p840 + p856 + p861 + p862 = 1
invariant :p453 + p455 + p465 + p467 + p487 + p492 + p493 = 1
invariant :p653 + p657 + p665 + p669 + p687 + p692 + p693 = 1
invariant :p1658 + p1661 + p1663 + p1666 + p1668 + p1671 + p1673 = 1
invariant :p1180 + p1184 + p1186 + p1192 + p1196 + p1198 + p1214 + p1219 + p1220 = 1
invariant :p1393 + p1395 + p1396 + p1399 + p1402 = 1
invariant :p568 + p570 + p571 + p574 + p577 = 1
invariant :p1889 + p1891 + p1892 + p1895 + p1898 + p1901 = 1
invariant :p294 + p297 + p299 + p302 + p304 + p307 + p309 = 1
invariant :p1704 + p1708 + p1716 + p1720 + p1736 + p1741 + p1742 = 1
invariant :p65 + p68 + p70 + p73 + p75 = 1
invariant :p1351 + p1353 + p1355 + p1357 + p1363 + p1365 + p1367 + p1369 + p1385 = 1
invariant :p936 + p938 + p948 + p950 + p970 + p975 + p976 = 1
invariant :p339 + p341 + p343 + p351 + p353 + p355 + p373 + p378 + p379 = 1
invariant :p993 + p995 + p999 + p1005 + p1007 + p1011 + p1027 = 1
invariant :p1403 + p1405 + p1406 + p1409 + p1412 + p1415 = 1
invariant :p1237 + p1239 + p1243 + p1249 + p1251 + p1255 + p1271 + p1276 + p1277 = 1
invariant :p310 + p312 + p313 + p316 + p319 = 1
invariant :p510 + p512 + p514 + p522 + p524 + p526 + p544 = 1
invariant :p1761 + p1765 + p1773 + p1777 + p1793 + p1798 + p1799 = 1
invariant :p2134 + p2136 + p2137 + p2140 + p2143 = 1
invariant :p1294 + p1296 + p1298 + p1306 + p1308 + p1310 + p1328 + p1333 + p1334 = 1
invariant :p2094 + p2096 + p2098 + p2106 + p2108 + p2110 + p2126 = 1
invariant :p1449 + p1451 + p1461 + p1463 + p1479 + p1484 + p1485 = 1
invariant :p1980 + p1984 + p1992 + p1996 + p2012 + p2017 + p2018 = 1
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903171603/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.201903171603/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 2 ordering constraints for composite.
built 685 ordering constraints for composite.
built 674 ordering constraints for composite.
built 663 ordering constraints for composite.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,2.22868e+47,1.22116,14684,65,18,3853,352,2862,3896,108,1020,0


Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
dead,7.03927e+39,152.814,2021000,1.63205e+06,275,3.35938e+06,850,5562,1.02622e+07,490,4393,3190

System contains 7.03927e+39 deadlocks (shown below if less than --print-limit option) !
FORMULA NoC3x3-PT-4B-GlobalProperties-0 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
[ u130={[ p2290=1 ]
} i0={[ u129={[ p2245=1 ]
} i0={[ u128={[ p2188=1 ]
} i0={[ u126={[ p2146=1 ]
} u125={[ p2143=1 ]
} u124={[ p2106=1 ]
} u123={[ p2049=1 ]
} u122={[ p1992=1 ]
} u121={[ p1935=1 ]
} u119={[ p1891=1 ]
} u118={[ p1881=1 ]
} u117={[ p1861=1 ]
[ p1866=1 ]
[ p1858=1 ]
[ p1871=1 ]
[ p1876=1 ]
} u116={[ p1818=1 ]
} u115={[ p1773=1 ]
} u114={[ p1716=1 ]
} u112={[ p1676=1 ]
} u111={[ p1661=1 ]
[ p1666=1 ]
[ p1671=1 ]
[ p1673=1 ]
} u110={[ p1628=1 ]
} u109={[ p1571=1 ]
} u108={[ p1514=1 ]
} u107={[ p1461=1 ]
} u105={[ p1418=1 ]
} u104={[ p1405=1 ]
} u103={[ p1393=1 ]
[ p1395=1 ]
} u102={[ p1363=1 ]
} u101={[ p1306=1 ]
} u100={[ p1249=1 ]
} u99={[ p1192=1 ]
} u98={[ p1137=1 ]
} u96={[ p1092=1 ]
} u95={[ p1079=1 ]
} u94={[ p1059=1 ]
[ p1064=1 ]
[ p1066=1 ]
[ p1056=1 ]
[ p1069=1 ]
[ p1071=1 ]
[ p1074=1 ]
[ p1076=1 ]
} u93={[ p1038=1 ]
[ p1043=1 ]
[ p1035=1 ]
[ p1048=1 ]
[ p1053=1 ]
} u92={[ p1005=1 ]
} u91={[ p948=1 ]
} u90={[ p891=1 ]
} u89={[ p836=1 ]
} u87={[ p795=1 ]
} u86={[ p772=1 ]
[ p778=1 ]
[ p780=1 ]
[ p768=1 ]
[ p784=1 ]
[ p786=1 ]
[ p790=1 ]
[ p792=1 ]
} u85={[ p755=1 ]
[ p752=1 ]
[ p760=1 ]
[ p765=1 ]
} u84={[ p710=1 ]
} u83={[ p665=1 ]
} u82={[ p608=1 ]
} u80={[ p570=1 ]
} u79={[ p555=1 ]
[ p560=1 ]
[ p565=1 ]
[ p567=1 ]
} u78={[ p522=1 ]
} u77={[ p465=1 ]
} u76={[ p408=1 ]
} u75={[ p351=1 ]
} u73={[ p312=1 ]
} u72={[ p297=1 ]
[ p299=1 ]
[ p294=1 ]
[ p302=1 ]
[ p304=1 ]
[ p307=1 ]
[ p309=1 ]
} u71={[ p273=1 ]
[ p279=1 ]
[ p269=1 ]
[ p285=1 ]
[ p291=1 ]
} u70={[ p227=1 ]
} u69={[ p182=1 ]
} u68={[ p115=1 ]
} u66={[ p82=1 ]
[ p88=1 ]
[ p94=1 ]
} u65={[ p68=1 ]
[ p73=1 ]
[ p75=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]
WARNING : LTS min runner thread was asked to interrupt. Dying gracefully.

BK_STOP 1554501603478

--------------------
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/ -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/ -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Apr 05, 2019 9:57:22 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/, -smt]
Apr 05, 2019 9:57:22 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Apr 05, 2019 9:57:23 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 356 ms
Apr 05, 2019 9:57:23 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2328 places.
Apr 05, 2019 9:57:23 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2701 transitions.
Apr 05, 2019 9:57:23 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Apr 05, 2019 9:57:23 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 69 ms
Apr 05, 2019 9:57:24 PM fr.lip6.move.gal.instantiate.PropertySimplifier evalInInitialState
WARNING: Unexpected boolean logic operator in evalInInitialState fr.lip6.move.gal.impl.EXImpl
Apr 05, 2019 9:57:24 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-4B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 9:57:24 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 710 ms
Apr 05, 2019 9:57:24 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.simple.gal : 14 ms
Apr 05, 2019 9:57:25 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 2701 transitions.
Apr 05, 2019 9:57:27 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Apr 05, 2019 9:57:27 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-4B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 9:57:27 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 190 ms
Apr 05, 2019 9:57:27 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 952 transitions.
Apr 05, 2019 9:57:27 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-4B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 9:57:27 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 268 ms
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t2260.t1260.t829.t830.t831.t832,t2260.t1260.t829.t830.t831.t832,t2260.t1260.t829.t830.t831.t832,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 2 events :t2597.t1717.t773.t774.t775.t776,t2597.t1717.t773.t774.t775.t776,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t2311.t1217.t1194.t1195.t1196.t1197.t2304.t1238.t1198.t43.t1222,t2311.t1217.t1194.t1195.t1196.t1203,t2311.t1217.t1194.t1195.t1196.t1201,t2311.t1217.t1194.t1195.t1196.t1199,t2311.t1217.t1209.t1210.t1211,t2311.t1217.t1194.t1195.t1196.t1197.t2304.t1238.t1198.t43.t1222,t2311.t1217.t1194.t1195.t1196.t1203,t2311.t1217.t1194.t1195.t1196.t1201,t2311.t1217.t1194.t1195.t1196.t1199,t2311.t1217.t1209.t1210.t1211,t2311.t1217.t1194.t1195.t1196.t1197.t2304.t1238.t1198.t43.t1222,t2311.t1217.t1194.t1195.t1196.t1203,t2311.t1217.t1194.t1195.t1196.t1201,t2311.t1217.t1194.t1195.t1196.t1199,t2311.t1217.t1209.t1210.t1211,t2311.t1217.t1194.t1195.t1196.t1197.t2304.t1238.t1198.t43.t1222,t2311.t1217.t1194.t1195.t1196.t1203,t2311.t1217.t1194.t1195.t1196.t1201,t2311.t1217.t1194.t1195.t1196.t1199,t2311.t1217.t1209.t1210.t1211,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t2324.t1316.t1291.t1292.t1293.t1296,t2324.t1316.t1291.t1292.t1293.t1296,t2324.t1316.t1291.t1292.t1293.t1296,t2529.t1372.t1362.t1363.t1364,t2529.t1372.t1362.t1363.t1364,t2529.t1372.t1362.t1363.t1364,t2342.t1527.t1428.t1418.t1419.t1420,t2342.t1527.t1428.t1418.t1419.t1420,t2342.t1527.t1428.t1418.t1419.t1420,t2342.t1527.t1428.t1418.t1419.t1420,t2343.t1530.t1428.t1418.t1419.t1420,t2343.t1530.t1428.t1418.t1419.t1420,t2343.t1530.t1428.t1418.t1419.t1420,t2343.t1530.t1428.t1418.t1419.t1420,t2345.t1533.t1428.t1418.t1419.t1420,t2345.t1533.t1428.t1418.t1419.t1420,t2345.t1533.t1428.t1418.t1419.t1420,t2345.t1533.t1428.t1418.t1419.t1420,t2344.t1428.t1418.t1419.t1420,t2344.t1428.t1418.t1419.t1420,t2344.t1428.t1418.t1419.t1420,t2344.t1428.t1418.t1419.t1420,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2370.t1687.t1662.t1663.t1664.t1665.t2364.t1704.t1666.t22.t1690,t2370.t1687.t1662.t1663.t1664.t1673,t2370.t1687.t1662.t1663.t1664.t1669,t2370.t1687.t1677.t1678.t1679,t2370.t1687.t1662.t1663.t1664.t1665.t2364.t1704.t1666.t22.t1690,t2370.t1687.t1662.t1663.t1664.t1673,t2370.t1687.t1662.t1663.t1664.t1669,t2370.t1687.t1677.t1678.t1679,t2370.t1687.t1662.t1663.t1664.t1665.t2364.t1704.t1666.t22.t1690,t2370.t1687.t1662.t1663.t1664.t1673,t2370.t1687.t1662.t1663.t1664.t1669,t2370.t1687.t1677.t1678.t1679,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t2394.t1872.t1847.t1848.t1849.t1850.t2388.t1945.t1851.t13.t1875,t2394.t1872.t1847.t1848.t1849.t1858,t2394.t1872.t1847.t1848.t1849.t1854,t2394.t1872.t1862.t1863.t1864,t2394.t1872.t1847.t1848.t1849.t1850.t2388.t1945.t1851.t13.t1875,t2394.t1872.t1847.t1848.t1849.t1858,t2394.t1872.t1847.t1848.t1849.t1854,t2394.t1872.t1862.t1863.t1864,t2394.t1872.t1847.t1848.t1849.t1850.t2388.t1945.t1851.t13.t1875,t2394.t1872.t1847.t1848.t1849.t1858,t2394.t1872.t1847.t1848.t1849.t1854,t2394.t1872.t1862.t1863.t1864,t2394.t1872.t1847.t1848.t1849.t1850.t2388.t1945.t1851.t13.t1875,t2394.t1872.t1847.t1848.t1849.t1858,t2394.t1872.t1847.t1848.t1849.t1854,t2394.t1872.t1862.t1863.t1864,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2527.t2166.t1335.t1336.t1337.t1338,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t2405.t2019.t1994.t1995.t1996.t2003,t2405.t2019.t1994.t1995.t1996.t2003,t2430.t2164.t2075.t2065.t2066.t2067,t2430.t2164.t2075.t2065.t2066.t2067,t2430.t2164.t2075.t2065.t2066.t2067,t2428.t2167.t2075.t2065.t2066.t2067,t2428.t2167.t2075.t2065.t2066.t2067,t2428.t2167.t2075.t2065.t2066.t2067,t2429.t2075.t2065.t2066.t2067,t2429.t2075.t2065.t2066.t2067,t2429.t2075.t2065.t2066.t2067,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t2171.t136.t115.t116.t117.t120,t2171.t136.t115.t116.t117.t120,t2687.t192.t186.t187.t188,t2687.t192.t186.t187.t188,t2687.t192.t186.t187.t188,t2183.t248.t242.t243.t244,t2183.t248.t242.t243.t244,t2183.t248.t242.t243.t244,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t2641.t485.t462.t463.t464.t465.t2648.t505.t466.t79.t490,t2641.t485.t462.t463.t464.t471,t2641.t485.t462.t463.t464.t469,t2641.t485.t462.t463.t464.t467,t2641.t485.t477.t478.t479,t2641.t485.t462.t463.t464.t465.t2648.t505.t466.t79.t490,t2641.t485.t462.t463.t464.t471,t2641.t485.t462.t463.t464.t469,t2641.t485.t462.t463.t464.t467,t2641.t485.t477.t478.t479,t2641.t485.t462.t463.t464.t465.t2648.t505.t466.t79.t490,t2641.t485.t462.t463.t464.t471,t2641.t485.t462.t463.t464.t469,t2641.t485.t462.t463.t464.t467,t2641.t485.t477.t478.t479,t2641.t485.t462.t463.t464.t465.t2648.t505.t466.t79.t490,t2641.t485.t462.t463.t464.t471,t2641.t485.t462.t463.t464.t469,t2641.t485.t462.t463.t464.t467,t2641.t485.t477.t478.t479,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 2 events :t2471.t2159.t1779.t1780.t1781.t1782,t2471.t2159.t1779.t1780.t1781.t1782,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 45 events :t2323.t1314.t1291.t1292.t1293.t1296,t2323.t1314.t1291.t1292.t1293.t1296,t2323.t1314.t1291.t1292.t1293.t1296,t2530.t1370.t1362.t1363.t1364,t2530.t1370.t1362.t1363.t1364,t2530.t1370.t1362.t1363.t1364,t2517.t1511.t1482.t1474.t1475.t1476,t2517.t1511.t1482.t1474.t1475.t1476,t2517.t1511.t1482.t1474.t1475.t1476,t2517.t1511.t1482.t1474.t1475.t1476,t2517.t1511.t1482.t1474.t1475.t1476,t2516.t1515.t1482.t1474.t1475.t1476,t2516.t1515.t1482.t1474.t1475.t1476,t2516.t1515.t1482.t1474.t1475.t1476,t2516.t1515.t1482.t1474.t1475.t1476,t2516.t1515.t1482.t1474.t1475.t1476,t2515.t1519.t1482.t1474.t1475.t1476,t2515.t1519.t1482.t1474.t1475.t1476,t2515.t1519.t1482.t1474.t1475.t1476,t2515.t1519.t1482.t1474.t1475.t1476,t2515.t1519.t1482.t1474.t1475.t1476,t2513.t1523.t1482.t1474.t1475.t1476,t2513.t1523.t1482.t1474.t1475.t1476,t2513.t1523.t1482.t1474.t1475.t1476,t2513.t1523.t1482.t1474.t1475.t1476,t2513.t1523.t1482.t1474.t1475.t1476,t2339.t1428.t1418.t1419.t1420,t2339.t1428.t1418.t1419.t1420,t2339.t1428.t1418.t1419.t1420,t2339.t1428.t1418.t1419.t1420,t2517.t1511.t1482.t1474.t1475.t1476,t2517.t1511.t1482.t1474.t1475.t1476,t2517.t1511.t1482.t1474.t1475.t1476,t2516.t1515.t1482.t1474.t1475.t1476,t2516.t1515.t1482.t1474.t1475.t1476,t2516.t1515.t1482.t1474.t1475.t1476,t2515.t1519.t1482.t1474.t1475.t1476,t2515.t1519.t1482.t1474.t1475.t1476,t2515.t1519.t1482.t1474.t1475.t1476,t2513.t1523.t1482.t1474.t1475.t1476,t2513.t1523.t1482.t1474.t1475.t1476,t2513.t1523.t1482.t1474.t1475.t1476,t2514.t1482.t1474.t1475.t1476,t2514.t1482.t1474.t1475.t1476,t2514.t1482.t1474.t1475.t1476,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t2378.t1756.t1735.t1736.t1737.t1742,t2378.t1756.t1735.t1736.t1737.t1742,t2378.t1756.t1735.t1736.t1737.t1742,t2391.t1868.t1862.t1863.t1864,t2391.t1868.t1862.t1863.t1864,t2391.t1868.t1862.t1863.t1864,t2459.t1924.t1918.t1919.t1920,t2459.t1924.t1918.t1919.t1920,t2459.t1924.t1918.t1919.t1920,t2459.t1924.t1918.t1919.t1920,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t2194.t313.t294.t295.t296.t299,t2194.t313.t294.t295.t296.t299,t2194.t313.t294.t295.t296.t299,t2662.t369.t365.t366.t367,t2662.t369.t365.t366.t367,t2662.t369.t365.t366.t367,t2662.t369.t365.t366.t367,t2205.t425.t421.t422.t423,t2205.t425.t421.t422.t423,t2205.t425.t421.t422.t423,t2644.t481.t477.t478.t479,t2644.t481.t477.t478.t479,t2644.t481.t477.t478.t479,t2644.t481.t477.t478.t479,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t2659.t1273.t338.t339.t340.t341,t2659.t1273.t338.t339.t340.t341,t2659.t1273.t338.t339.t340.t341,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t2170.t134.t115.t116.t117.t120,t2170.t134.t115.t116.t117.t120,t2688.t190.t186.t187.t188,t2688.t190.t186.t187.t188,t2688.t190.t186.t187.t188,t2182.t246.t242.t243.t244,t2182.t246.t242.t243.t244,t2182.t246.t242.t243.t244,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t2187.t526.t215.t216.t217.t218,t2187.t526.t215.t216.t217.t218,t2187.t526.t215.t216.t217.t218,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 2 events :t2209.t711.t394.t395.t396.t397,t2209.t711.t394.t395.t396.t397,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 45 events :t2380.t1760.t1735.t1736.t1737.t1742,t2380.t1760.t1735.t1736.t1737.t1742,t2380.t1760.t1735.t1736.t1737.t1742,t2474.t1816.t1806.t1807.t1808,t2474.t1816.t1806.t1807.t1808,t2474.t1816.t1806.t1807.t1808,t2450.t1965.t1928.t1918.t1919.t1920,t2450.t1965.t1928.t1918.t1919.t1920,t2450.t1965.t1928.t1918.t1919.t1920,t2450.t1965.t1928.t1918.t1919.t1920,t2451.t1969.t1928.t1918.t1919.t1920,t2451.t1969.t1928.t1918.t1919.t1920,t2451.t1969.t1928.t1918.t1919.t1920,t2451.t1969.t1928.t1918.t1919.t1920,t2452.t1973.t1928.t1918.t1919.t1920,t2452.t1973.t1928.t1918.t1919.t1920,t2452.t1973.t1928.t1918.t1919.t1920,t2452.t1973.t1928.t1918.t1919.t1920,t2454.t1977.t1928.t1918.t1919.t1920,t2454.t1977.t1928.t1918.t1919.t1920,t2454.t1977.t1928.t1918.t1919.t1920,t2454.t1977.t1928.t1918.t1919.t1920,t2394.t1872.t1862.t1863.t1864,t2394.t1872.t1862.t1863.t1864,t2394.t1872.t1862.t1863.t1864,t2450.t1965.t1928.t1918.t1919.t1920,t2450.t1965.t1928.t1918.t1919.t1920,t2450.t1965.t1928.t1918.t1919.t1920,t2450.t1965.t1928.t1918.t1919.t1920,t2451.t1969.t1928.t1918.t1919.t1920,t2451.t1969.t1928.t1918.t1919.t1920,t2451.t1969.t1928.t1918.t1919.t1920,t2451.t1969.t1928.t1918.t1919.t1920,t2452.t1973.t1928.t1918.t1919.t1920,t2452.t1973.t1928.t1918.t1919.t1920,t2452.t1973.t1928.t1918.t1919.t1920,t2452.t1973.t1928.t1918.t1919.t1920,t2454.t1977.t1928.t1918.t1919.t1920,t2454.t1977.t1928.t1918.t1919.t1920,t2454.t1977.t1928.t1918.t1919.t1920,t2454.t1977.t1928.t1918.t1919.t1920,t2453.t1928.t1918.t1919.t1920,t2453.t1928.t1918.t1919.t1920,t2453.t1928.t1918.t1919.t1920,t2453.t1928.t1918.t1919.t1920,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t2279.t989.t970.t971.t972.t975,t2279.t989.t970.t971.t972.t975,t2279.t989.t970.t971.t972.t975,t2279.t989.t970.t971.t972.t975,t2292.t1101.t1097.t1098.t1099,t2292.t1101.t1097.t1098.t1099,t2292.t1101.t1097.t1098.t1099,t2292.t1101.t1097.t1098.t1099,t2556.t1157.t1153.t1154.t1155,t2556.t1157.t1153.t1154.t1155,t2556.t1157.t1153.t1154.t1155,t2556.t1157.t1153.t1154.t1155,t2308.t1213.t1209.t1210.t1211,t2308.t1213.t1209.t1210.t1211,t2308.t1213.t1209.t1210.t1211,t2308.t1213.t1209.t1210.t1211,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t2432.t2075.t2050.t2051.t2052.t2053.t2437.t2147.t2054.t4.t2078,t2432.t2075.t2050.t2051.t2052.t2061,t2432.t2075.t2050.t2051.t2052.t2059,t2432.t2075.t2065.t2066.t2067,t2432.t2075.t2050.t2051.t2052.t2053.t2437.t2147.t2054.t4.t2078,t2432.t2075.t2050.t2051.t2052.t2061,t2432.t2075.t2050.t2051.t2052.t2059,t2432.t2075.t2065.t2066.t2067,t2432.t2075.t2050.t2051.t2052.t2053.t2437.t2147.t2054.t4.t2078,t2432.t2075.t2050.t2051.t2052.t2061,t2432.t2075.t2050.t2051.t2052.t2059,t2432.t2075.t2065.t2066.t2067,t2429.t2075.t2050.t2051.t2052.t2053.t2437.t2147.t2054.t4.t2078,t2429.t2075.t2050.t2051.t2052.t2061,t2429.t2075.t2050.t2051.t2052.t2059,t2429.t2075.t2065.t2066.t2067,t2429.t2075.t2050.t2051.t2052.t2053.t2437.t2147.t2054.t4.t2078,t2429.t2075.t2050.t2051.t2052.t2061,t2429.t2075.t2050.t2051.t2052.t2059,t2429.t2075.t2065.t2066.t2067,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2244.t750.t729.t730.t731.t734,t2244.t750.t729.t730.t731.t734,t2244.t750.t729.t730.t731.t734,t2599.t806.t800.t801.t802,t2599.t806.t800.t801.t802,t2599.t806.t800.t801.t802,t2258.t862.t856.t857.t858,t2258.t862.t856.t857.t858,t2258.t862.t856.t857.t858,t2258.t862.t856.t857.t858,t2585.t918.t912.t913.t914,t2585.t918.t912.t913.t914,t2585.t918.t912.t913.t914,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t2356.t1575.t1550.t1551.t1552.t1557,t2356.t1575.t1550.t1551.t1552.t1557,t2496.t1631.t1621.t1622.t1623,t2496.t1631.t1621.t1622.t1623,t2496.t1631.t1621.t1622.t1623,t2368.t1712.t1687.t1677.t1678.t1679,t2368.t1712.t1687.t1677.t1678.t1679,t2368.t1712.t1687.t1677.t1678.t1679,t2369.t1715.t1687.t1677.t1678.t1679,t2369.t1715.t1687.t1677.t1678.t1679,t2369.t1715.t1687.t1677.t1678.t1679,t2371.t1718.t1687.t1677.t1678.t1679,t2371.t1718.t1687.t1677.t1678.t1679,t2371.t1718.t1687.t1677.t1678.t1679,t2370.t1687.t1677.t1678.t1679,t2370.t1687.t1677.t1678.t1679,t2370.t1687.t1677.t1678.t1679,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t2569.t1975.t1014.t1015.t1016.t1017,t2569.t1975.t1014.t1015.t1016.t1017,t2569.t1975.t1014.t1015.t1016.t1017,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t2379.t1758.t1735.t1736.t1737.t1742,t2379.t1758.t1735.t1736.t1737.t1742,t2379.t1758.t1735.t1736.t1737.t1742,t2475.t1814.t1806.t1807.t1808,t2475.t1814.t1806.t1807.t1808,t2475.t1814.t1806.t1807.t1808,t2458.t1954.t1928.t1918.t1919.t1920,t2458.t1954.t1928.t1918.t1919.t1920,t2458.t1954.t1928.t1918.t1919.t1920,t2458.t1954.t1928.t1918.t1919.t1920,t2457.t1957.t1928.t1918.t1919.t1920,t2457.t1957.t1928.t1918.t1919.t1920,t2457.t1957.t1928.t1918.t1919.t1920,t2457.t1957.t1928.t1918.t1919.t1920,t2455.t1960.t1928.t1918.t1919.t1920,t2455.t1960.t1928.t1918.t1919.t1920,t2455.t1960.t1928.t1918.t1919.t1920,t2455.t1960.t1928.t1918.t1919.t1920,t2456.t1928.t1918.t1919.t1920,t2456.t1928.t1918.t1919.t1920,t2456.t1928.t1918.t1919.t1920,t2456.t1928.t1918.t1919.t1920,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t2243.t748.t729.t730.t731.t734,t2243.t748.t729.t730.t731.t734,t2243.t748.t729.t730.t731.t734,t2257.t860.t856.t857.t858,t2257.t860.t856.t857.t858,t2257.t860.t856.t857.t858,t2257.t860.t856.t857.t858,t2586.t916.t912.t913.t914,t2586.t916.t912.t913.t914,t2586.t916.t912.t913.t914,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t2514.t1482.t1459.t1460.t1461.t1462.t2521.t1500.t1463.t31.t1487,t2514.t1482.t1459.t1460.t1461.t1468,t2514.t1482.t1459.t1460.t1461.t1464,t2514.t1482.t1474.t1475.t1476,t2514.t1482.t1459.t1460.t1461.t1462.t2521.t1500.t1463.t31.t1487,t2514.t1482.t1459.t1460.t1461.t1468,t2514.t1482.t1459.t1460.t1461.t1464,t2514.t1482.t1474.t1475.t1476,t2514.t1482.t1459.t1460.t1461.t1462.t2521.t1500.t1463.t31.t1487,t2514.t1482.t1459.t1460.t1461.t1468,t2514.t1482.t1459.t1460.t1461.t1464,t2514.t1482.t1474.t1475.t1476,t2514.t1482.t1459.t1460.t1461.t1462.t2521.t1500.t1463.t31.t1487,t2514.t1482.t1459.t1460.t1461.t1468,t2514.t1482.t1459.t1460.t1461.t1464,t2514.t1482.t1474.t1475.t1476,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 32 events :t2281.t993.t970.t971.t972.t975,t2281.t993.t970.t971.t972.t975,t2281.t993.t970.t971.t972.t975,t2281.t993.t970.t971.t972.t975,t2571.t1049.t1041.t1042.t1043,t2571.t1049.t1041.t1042.t1043,t2571.t1049.t1041.t1042.t1043,t2571.t1049.t1041.t1042.t1043,t2293.t1105.t1097.t1098.t1099,t2293.t1105.t1097.t1098.t1099,t2293.t1105.t1097.t1098.t1099,t2293.t1105.t1097.t1098.t1099,t2314.t1252.t1217.t1209.t1210.t1211,t2314.t1252.t1217.t1209.t1210.t1211,t2314.t1252.t1217.t1209.t1210.t1211,t2314.t1252.t1217.t1209.t1210.t1211,t2313.t1255.t1217.t1209.t1210.t1211,t2313.t1255.t1217.t1209.t1210.t1211,t2313.t1255.t1217.t1209.t1210.t1211,t2313.t1255.t1217.t1209.t1210.t1211,t2312.t1258.t1217.t1209.t1210.t1211,t2312.t1258.t1217.t1209.t1210.t1211,t2312.t1258.t1217.t1209.t1210.t1211,t2312.t1258.t1217.t1209.t1210.t1211,t2310.t1261.t1217.t1209.t1210.t1211,t2310.t1261.t1217.t1209.t1210.t1211,t2310.t1261.t1217.t1209.t1210.t1211,t2310.t1261.t1217.t1209.t1210.t1211,t2311.t1217.t1209.t1210.t1211,t2311.t1217.t1209.t1210.t1211,t2311.t1217.t1209.t1210.t1211,t2311.t1217.t1209.t1210.t1211,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t2417.t2129.t2106.t2107.t2108.t2109.t2413.t2148.t2110.t1.t2134,t2417.t2129.t2106.t2107.t2108.t2115,t2417.t2129.t2121.t2122.t2123,t2417.t2129.t2106.t2107.t2108.t2109.t2413.t2148.t2110.t1.t2134,t2417.t2129.t2106.t2107.t2108.t2115,t2417.t2129.t2121.t2122.t2123,t2417.t2129.t2106.t2107.t2108.t2109.t2413.t2148.t2110.t1.t2134,t2417.t2129.t2106.t2107.t2108.t2115,t2417.t2129.t2121.t2122.t2123,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 35 events :t2456.t1928.t1903.t1904.t1905.t1906.t2463.t1946.t1907.t10.t1931,t2456.t1928.t1903.t1904.t1905.t1914,t2456.t1928.t1903.t1904.t1905.t1912,t2456.t1928.t1903.t1904.t1905.t1910,t2456.t1928.t1918.t1919.t1920,t2456.t1928.t1903.t1904.t1905.t1906.t2463.t1946.t1907.t10.t1931,t2456.t1928.t1903.t1904.t1905.t1914,t2456.t1928.t1903.t1904.t1905.t1912,t2456.t1928.t1903.t1904.t1905.t1910,t2456.t1928.t1918.t1919.t1920,t2456.t1928.t1903.t1904.t1905.t1906.t2463.t1946.t1907.t10.t1931,t2456.t1928.t1903.t1904.t1905.t1914,t2456.t1928.t1903.t1904.t1905.t1912,t2456.t1928.t1903.t1904.t1905.t1910,t2456.t1928.t1918.t1919.t1920,t2453.t1928.t1903.t1904.t1905.t1906.t2463.t1946.t1907.t10.t1931,t2453.t1928.t1903.t1904.t1905.t1914,t2453.t1928.t1903.t1904.t1905.t1912,t2453.t1928.t1903.t1904.t1905.t1910,t2453.t1928.t1918.t1919.t1920,t2453.t1928.t1903.t1904.t1905.t1906.t2463.t1946.t1907.t10.t1931,t2453.t1928.t1903.t1904.t1905.t1914,t2453.t1928.t1903.t1904.t1905.t1912,t2453.t1928.t1903.t1904.t1905.t1910,t2453.t1928.t1918.t1919.t1920,t2453.t1928.t1903.t1904.t1905.t1906.t2463.t1946.t1907.t10.t1931,t2453.t1928.t1903.t1904.t1905.t1914,t2453.t1928.t1903.t1904.t1905.t1912,t2453.t1928.t1903.t1904.t1905.t1910,t2453.t1928.t1918.t1919.t1920,t2453.t1928.t1903.t1904.t1905.t1906.t2463.t1946.t1907.t10.t1931,t2453.t1928.t1903.t1904.t1905.t1914,t2453.t1928.t1903.t1904.t1905.t1912,t2453.t1928.t1903.t1904.t1905.t1910,t2453.t1928.t1918.t1919.t1920,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t2553.t1163.t1138.t1139.t1140.t1141.t2560.t1237.t1142.t46.t1166,t2553.t1163.t1138.t1139.t1140.t1149,t2553.t1163.t1138.t1139.t1140.t1145,t2553.t1163.t1138.t1139.t1140.t1143,t2553.t1163.t1153.t1154.t1155,t2553.t1163.t1138.t1139.t1140.t1141.t2560.t1237.t1142.t46.t1166,t2553.t1163.t1138.t1139.t1140.t1149,t2553.t1163.t1138.t1139.t1140.t1145,t2553.t1163.t1138.t1139.t1140.t1143,t2553.t1163.t1153.t1154.t1155,t2553.t1163.t1138.t1139.t1140.t1141.t2560.t1237.t1142.t46.t1166,t2553.t1163.t1138.t1139.t1140.t1149,t2553.t1163.t1138.t1139.t1140.t1145,t2553.t1163.t1138.t1139.t1140.t1143,t2553.t1163.t1153.t1154.t1155,t2553.t1163.t1138.t1139.t1140.t1141.t2560.t1237.t1142.t46.t1166,t2553.t1163.t1138.t1139.t1140.t1149,t2553.t1163.t1138.t1139.t1140.t1145,t2553.t1163.t1138.t1139.t1140.t1143,t2553.t1163.t1153.t1154.t1155,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t2322.t1310.t1291.t1292.t1293.t1296,t2322.t1310.t1291.t1292.t1293.t1296,t2322.t1310.t1291.t1292.t1293.t1296,t2336.t1422.t1418.t1419.t1420,t2336.t1422.t1418.t1419.t1420,t2336.t1422.t1418.t1419.t1420,t2336.t1422.t1418.t1419.t1420,t2518.t1478.t1474.t1475.t1476,t2518.t1478.t1474.t1475.t1476,t2518.t1478.t1474.t1475.t1476,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t2280.t991.t970.t971.t972.t975,t2280.t991.t970.t971.t972.t975,t2280.t991.t970.t971.t972.t975,t2280.t991.t970.t971.t972.t975,t2572.t1047.t1041.t1042.t1043,t2572.t1047.t1041.t1042.t1043,t2572.t1047.t1041.t1042.t1043,t2572.t1047.t1041.t1042.t1043,t2555.t1159.t1153.t1154.t1155,t2555.t1159.t1153.t1154.t1155,t2555.t1159.t1153.t1154.t1155,t2555.t1159.t1153.t1154.t1155,t2309.t1215.t1209.t1210.t1211,t2309.t1215.t1209.t1210.t1211,t2309.t1215.t1209.t1210.t1211,t2309.t1215.t1209.t1210.t1211,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 35 events :t2339.t1428.t1403.t1404.t1405.t1406.t2332.t1501.t1407.t34.t1431,t2339.t1428.t1403.t1404.t1405.t1414,t2339.t1428.t1403.t1404.t1405.t1412,t2339.t1428.t1403.t1404.t1405.t1408,t2339.t1428.t1418.t1419.t1420,t2339.t1428.t1403.t1404.t1405.t1406.t2332.t1501.t1407.t34.t1431,t2339.t1428.t1403.t1404.t1405.t1414,t2339.t1428.t1403.t1404.t1405.t1412,t2339.t1428.t1403.t1404.t1405.t1408,t2339.t1428.t1418.t1419.t1420,t2339.t1428.t1403.t1404.t1405.t1406.t2332.t1501.t1407.t34.t1431,t2339.t1428.t1403.t1404.t1405.t1414,t2339.t1428.t1403.t1404.t1405.t1412,t2339.t1428.t1403.t1404.t1405.t1408,t2339.t1428.t1418.t1419.t1420,t2339.t1428.t1403.t1404.t1405.t1406.t2332.t1501.t1407.t34.t1431,t2339.t1428.t1403.t1404.t1405.t1414,t2339.t1428.t1403.t1404.t1405.t1412,t2339.t1428.t1403.t1404.t1405.t1408,t2339.t1428.t1418.t1419.t1420,t2344.t1428.t1403.t1404.t1405.t1406.t2332.t1501.t1407.t34.t1431,t2344.t1428.t1403.t1404.t1405.t1414,t2344.t1428.t1403.t1404.t1405.t1412,t2344.t1428.t1403.t1404.t1405.t1408,t2344.t1428.t1418.t1419.t1420,t2344.t1428.t1403.t1404.t1405.t1406.t2332.t1501.t1407.t34.t1431,t2344.t1428.t1403.t1404.t1405.t1414,t2344.t1428.t1403.t1404.t1405.t1412,t2344.t1428.t1403.t1404.t1405.t1408,t2344.t1428.t1418.t1419.t1420,t2344.t1428.t1403.t1404.t1405.t1406.t2332.t1501.t1407.t34.t1431,t2344.t1428.t1403.t1404.t1405.t1414,t2344.t1428.t1403.t1404.t1405.t1412,t2344.t1428.t1403.t1404.t1405.t1408,t2344.t1428.t1418.t1419.t1420,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 32 events :t2282.t995.t970.t971.t972.t975,t2282.t995.t970.t971.t972.t975,t2282.t995.t970.t971.t972.t975,t2282.t995.t970.t971.t972.t975,t2570.t1051.t1041.t1042.t1043,t2570.t1051.t1041.t1042.t1043,t2570.t1051.t1041.t1042.t1043,t2570.t1051.t1041.t1042.t1043,t2294.t1107.t1097.t1098.t1099,t2294.t1107.t1097.t1098.t1099,t2294.t1107.t1097.t1098.t1099,t2294.t1107.t1097.t1098.t1099,t2550.t1265.t1163.t1153.t1154.t1155,t2550.t1265.t1163.t1153.t1154.t1155,t2550.t1265.t1163.t1153.t1154.t1155,t2550.t1265.t1163.t1153.t1154.t1155,t2551.t1268.t1163.t1153.t1154.t1155,t2551.t1268.t1163.t1153.t1154.t1155,t2551.t1268.t1163.t1153.t1154.t1155,t2551.t1268.t1163.t1153.t1154.t1155,t2552.t1271.t1163.t1153.t1154.t1155,t2552.t1271.t1163.t1153.t1154.t1155,t2552.t1271.t1163.t1153.t1154.t1155,t2552.t1271.t1163.t1153.t1154.t1155,t2554.t1274.t1163.t1153.t1154.t1155,t2554.t1274.t1163.t1153.t1154.t1155,t2554.t1274.t1163.t1153.t1154.t1155,t2554.t1274.t1163.t1153.t1154.t1155,t2553.t1163.t1153.t1154.t1155,t2553.t1163.t1153.t1154.t1155,t2553.t1163.t1153.t1154.t1155,t2553.t1163.t1153.t1154.t1155,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 25 events :t2404.t2017.t1994.t1995.t1996.t2003,t2404.t2017.t1994.t1995.t1996.t2003,t2418.t2152.t2129.t2121.t2122.t2123,t2418.t2152.t2129.t2121.t2122.t2123,t2418.t2152.t2129.t2121.t2122.t2123,t2418.t2152.t2129.t2121.t2122.t2123,t2416.t2156.t2129.t2121.t2122.t2123,t2416.t2156.t2129.t2121.t2122.t2123,t2416.t2156.t2129.t2121.t2122.t2123,t2416.t2156.t2129.t2121.t2122.t2123,t2415.t2160.t2129.t2121.t2122.t2123,t2415.t2160.t2129.t2121.t2122.t2123,t2415.t2160.t2129.t2121.t2122.t2123,t2415.t2160.t2129.t2121.t2122.t2123,t2432.t2075.t2065.t2066.t2067,t2432.t2075.t2065.t2066.t2067,t2432.t2075.t2065.t2066.t2067,t2418.t2152.t2129.t2121.t2122.t2123,t2418.t2152.t2129.t2121.t2122.t2123,t2416.t2156.t2129.t2121.t2122.t2123,t2416.t2156.t2129.t2121.t2122.t2123,t2415.t2160.t2129.t2121.t2122.t2123,t2415.t2160.t2129.t2121.t2122.t2123,t2417.t2129.t2121.t2122.t2123,t2417.t2129.t2121.t2122.t2123,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t2355.t1571.t1550.t1551.t1552.t1557,t2355.t1571.t1550.t1551.t1552.t1557,t2497.t1627.t1621.t1622.t1623,t2497.t1627.t1621.t1622.t1623,t2497.t1627.t1621.t1622.t1623,t2367.t1683.t1677.t1678.t1679,t2367.t1683.t1677.t1678.t1679,t2367.t1683.t1677.t1678.t1679,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 30 events :t2196.t317.t294.t295.t296.t299,t2196.t317.t294.t295.t296.t299,t2196.t317.t294.t295.t296.t299,t2660.t373.t365.t366.t367,t2660.t373.t365.t366.t367,t2660.t373.t365.t366.t367,t2660.t373.t365.t366.t367,t2206.t429.t421.t422.t423,t2206.t429.t421.t422.t423,t2206.t429.t421.t422.t423,t2638.t518.t485.t477.t478.t479,t2638.t518.t485.t477.t478.t479,t2638.t518.t485.t477.t478.t479,t2638.t518.t485.t477.t478.t479,t2639.t521.t485.t477.t478.t479,t2639.t521.t485.t477.t478.t479,t2639.t521.t485.t477.t478.t479,t2639.t521.t485.t477.t478.t479,t2640.t524.t485.t477.t478.t479,t2640.t524.t485.t477.t478.t479,t2640.t524.t485.t477.t478.t479,t2640.t524.t485.t477.t478.t479,t2642.t527.t485.t477.t478.t479,t2642.t527.t485.t477.t478.t479,t2642.t527.t485.t477.t478.t479,t2642.t527.t485.t477.t478.t479,t2641.t485.t477.t478.t479,t2641.t485.t477.t478.t479,t2641.t485.t477.t478.t479,t2641.t485.t477.t478.t479,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t2295.t1521.t1070.t1071.t1072.t1073,t2295.t1521.t1070.t1071.t1072.t1073,t2295.t1521.t1070.t1071.t1072.t1073,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 2 events :t2619.t1532.t588.t589.t590.t591,t2619.t1532.t588.t589.t590.t591,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t2195.t315.t294.t295.t296.t299,t2195.t315.t294.t295.t296.t299,t2195.t315.t294.t295.t296.t299,t2661.t371.t365.t366.t367,t2661.t371.t365.t366.t367,t2661.t371.t365.t366.t367,t2661.t371.t365.t366.t367,t2643.t483.t477.t478.t479,t2643.t483.t477.t478.t479,t2643.t483.t477.t478.t479,t2643.t483.t477.t478.t479,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 2 events :t2493.t1959.t1594.t1595.t1596.t1597,t2493.t1959.t1594.t1595.t1596.t1597,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t2221.t567.t544.t545.t546.t549,t2221.t567.t544.t545.t546.t549,t2620.t623.t615.t616.t617,t2620.t623.t615.t616.t617,t2620.t623.t615.t616.t617,t2233.t706.t679.t671.t672.t673,t2233.t706.t679.t671.t672.t673,t2233.t706.t679.t671.t672.t673,t2234.t709.t679.t671.t672.t673,t2234.t709.t679.t671.t672.t673,t2234.t709.t679.t671.t672.t673,t2236.t712.t679.t671.t672.t673,t2236.t712.t679.t671.t672.t673,t2236.t712.t679.t671.t672.t673,t2235.t679.t671.t672.t673,t2235.t679.t671.t672.t673,t2235.t679.t671.t672.t673,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t2235.t679.t656.t657.t658.t659.t2229.t697.t660.t70.t684,t2235.t679.t656.t657.t658.t665,t2235.t679.t656.t657.t658.t661,t2235.t679.t671.t672.t673,t2235.t679.t656.t657.t658.t659.t2229.t697.t660.t70.t684,t2235.t679.t656.t657.t658.t665,t2235.t679.t656.t657.t658.t661,t2235.t679.t671.t672.t673,t2235.t679.t656.t657.t658.t659.t2229.t697.t660.t70.t684,t2235.t679.t656.t657.t658.t665,t2235.t679.t656.t657.t658.t661,t2235.t679.t671.t672.t673,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t2220.t563.t544.t545.t546.t549,t2220.t563.t544.t545.t546.t549,t2621.t619.t615.t616.t617,t2621.t619.t615.t616.t617,t2621.t619.t615.t616.t617,t2232.t675.t671.t672.t673,t2232.t675.t671.t672.t673,t2232.t675.t671.t672.t673,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t2245.t754.t729.t730.t731.t734,t2245.t754.t729.t730.t731.t734,t2245.t754.t729.t730.t731.t734,t2598.t810.t800.t801.t802,t2598.t810.t800.t801.t802,t2598.t810.t800.t801.t802,t2259.t866.t856.t857.t858,t2259.t866.t856.t857.t858,t2259.t866.t856.t857.t858,t2259.t866.t856.t857.t858,
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 681 redundant transitions.
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-4B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 547 ms
Apr 05, 2019 9:57:28 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 57 place invariants in 293 ms
Apr 05, 2019 9:57:28 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 26 ms
Apr 05, 2019 9:57:34 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 395 variables to be positive in 5482 ms
Apr 05, 2019 9:57:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 952 transitions.
Apr 05, 2019 9:57:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :0/952 took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 9:57:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 162 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 9:57:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 952 transitions.
Apr 05, 2019 9:57:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 92 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 9:57:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 952 transitions.
Apr 05, 2019 9:57:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(14/952) took 3097 ms. Total solver calls (SAT/UNSAT): 434(15/419)
Apr 05, 2019 9:57:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(29/952) took 6338 ms. Total solver calls (SAT/UNSAT): 959(27/932)
Apr 05, 2019 9:57:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(42/952) took 9542 ms. Total solver calls (SAT/UNSAT): 1603(61/1542)
Apr 05, 2019 9:57:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(61/952) took 12738 ms. Total solver calls (SAT/UNSAT): 2331(115/2216)
Apr 05, 2019 9:57:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(77/952) took 16159 ms. Total solver calls (SAT/UNSAT): 2824(155/2669)
Apr 05, 2019 9:57:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(89/952) took 19315 ms. Total solver calls (SAT/UNSAT): 3468(182/3286)
Apr 05, 2019 9:57:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(104/952) took 22685 ms. Total solver calls (SAT/UNSAT): 4066(221/3845)
Apr 05, 2019 9:58:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(116/952) took 25741 ms. Total solver calls (SAT/UNSAT): 4679(250/4429)
Apr 05, 2019 9:58:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(127/952) took 29028 ms. Total solver calls (SAT/UNSAT): 5268(304/4964)
Apr 05, 2019 9:58:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(138/952) took 32168 ms. Total solver calls (SAT/UNSAT): 5855(358/5497)
Apr 05, 2019 9:58:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(158/952) took 35273 ms. Total solver calls (SAT/UNSAT): 6517(426/6091)
Apr 05, 2019 9:58:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(176/952) took 38614 ms. Total solver calls (SAT/UNSAT): 7056(476/6580)
Apr 05, 2019 9:58:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(192/952) took 41821 ms. Total solver calls (SAT/UNSAT): 7635(525/7110)
Apr 05, 2019 9:58:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(208/952) took 44949 ms. Total solver calls (SAT/UNSAT): 8209(564/7645)
Apr 05, 2019 9:58:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(221/952) took 48037 ms. Total solver calls (SAT/UNSAT): 8651(608/8043)
Apr 05, 2019 9:58:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(239/952) took 51156 ms. Total solver calls (SAT/UNSAT): 9190(683/8507)
Apr 05, 2019 9:58:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(259/952) took 54197 ms. Total solver calls (SAT/UNSAT): 9676(758/8918)
Apr 05, 2019 9:58:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(290/952) took 57205 ms. Total solver calls (SAT/UNSAT): 10009(797/9212)
Apr 05, 2019 9:58:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(301/952) took 60405 ms. Total solver calls (SAT/UNSAT): 10694(917/9777)
Apr 05, 2019 9:58:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(313/952) took 63491 ms. Total solver calls (SAT/UNSAT): 11404(1012/10392)
Apr 05, 2019 9:58:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(323/952) took 66804 ms. Total solver calls (SAT/UNSAT): 11969(1072/10897)
Apr 05, 2019 9:58:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(338/952) took 69980 ms. Total solver calls (SAT/UNSAT): 12389(1114/11275)
Apr 05, 2019 9:58:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(364/952) took 73063 ms. Total solver calls (SAT/UNSAT): 12923(1204/11719)
Apr 05, 2019 9:58:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(397/952) took 76140 ms. Total solver calls (SAT/UNSAT): 13271(1290/11981)
Apr 05, 2019 9:58:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(431/952) took 79150 ms. Total solver calls (SAT/UNSAT): 13764(1394/12370)
Apr 05, 2019 9:58:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(459/952) took 82382 ms. Total solver calls (SAT/UNSAT): 14198(1521/12677)
Apr 05, 2019 9:58:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(469/952) took 85430 ms. Total solver calls (SAT/UNSAT): 14693(1594/13099)
Apr 05, 2019 9:59:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(487/952) took 88663 ms. Total solver calls (SAT/UNSAT): 15386(1697/13689)
Apr 05, 2019 9:59:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(499/952) took 91793 ms. Total solver calls (SAT/UNSAT): 15992(1784/14208)
Apr 05, 2019 9:59:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(512/952) took 94912 ms. Total solver calls (SAT/UNSAT): 16486(1811/14675)
Apr 05, 2019 9:59:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(531/952) took 97914 ms. Total solver calls (SAT/UNSAT): 16895(1848/15047)
Apr 05, 2019 9:59:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(560/952) took 100930 ms. Total solver calls (SAT/UNSAT): 17163(1928/15235)
Apr 05, 2019 9:59:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(572/952) took 104052 ms. Total solver calls (SAT/UNSAT): 17493(2032/15461)
Apr 05, 2019 9:59:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(579/952) took 107107 ms. Total solver calls (SAT/UNSAT): 17815(2152/15663)
Apr 05, 2019 9:59:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(591/952) took 110253 ms. Total solver calls (SAT/UNSAT): 18253(2203/16050)
Apr 05, 2019 9:59:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(611/952) took 113364 ms. Total solver calls (SAT/UNSAT): 18758(2293/16465)
Apr 05, 2019 9:59:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(624/952) took 116602 ms. Total solver calls (SAT/UNSAT): 19305(2447/16858)
Apr 05, 2019 9:59:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(639/952) took 119613 ms. Total solver calls (SAT/UNSAT): 19755(2477/17278)
Apr 05, 2019 9:59:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(657/952) took 122669 ms. Total solver calls (SAT/UNSAT): 20078(2617/17461)
Apr 05, 2019 9:59:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(675/952) took 125693 ms. Total solver calls (SAT/UNSAT): 20327(2718/17609)
Apr 05, 2019 9:59:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(697/952) took 128694 ms. Total solver calls (SAT/UNSAT): 20671(2797/17874)
Apr 05, 2019 9:59:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(723/952) took 131839 ms. Total solver calls (SAT/UNSAT): 20980(2918/18062)
Apr 05, 2019 9:59:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(739/952) took 134973 ms. Total solver calls (SAT/UNSAT): 21248(3039/18209)
Apr 05, 2019 9:59:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(774/952) took 138017 ms. Total solver calls (SAT/UNSAT): 21562(3138/18424)
Apr 05, 2019 9:59:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(793/952) took 141107 ms. Total solver calls (SAT/UNSAT): 21928(3218/18710)
Apr 05, 2019 9:59:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(821/952) took 144221 ms. Total solver calls (SAT/UNSAT): 22151(3281/18870)
Apr 05, 2019 10:00:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(833/952) took 147281 ms. Total solver calls (SAT/UNSAT): 22533(3384/19149)
Skipping mayMatrices nes/nds SMT solver raised an exception or timeout.
java.lang.RuntimeException: SMT solver raised an exception or timeout.
at fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver.computeCoEnablingMatrix(NecessaryEnablingsolver.java:480)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.printLabels(Gal2PinsTransformerNext.java:530)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.printDependencyMatrix(Gal2PinsTransformerNext.java:209)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.buildBodyFile(Gal2PinsTransformerNext.java:85)
at fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext.transform(Gal2PinsTransformerNext.java:830)
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:71)
at java.lang.Thread.run(Thread.java:748)
Apr 05, 2019 10:00:02 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 155400ms conformant to PINS in folder :/home/mcc/execution

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool itstools"
echo " Input is NoC3x3-PT-4B, 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 r184-csrt-155344538000300"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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