fond
Model Checking Contest 2019
9th edition, Prague, Czech Republic, April 7, 2019 (TOOLympics)
Execution of r184-csrt-155344538000336
Last Updated
Apr 15, 2019

About the Execution of ITS-Tools for NoC3x3-PT-6B

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
12231.850 3600000.00 13186960.00 744.70 [undef] Time out reached

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-155344538000336.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool itstools
Input is NoC3x3-PT-6B, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r184-csrt-155344538000336
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 716K
-rw-r--r-- 1 mcc users 4.1K Mar 23 12:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Mar 23 12:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 23 12:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 12:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 23 10:10 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 99 Apr 5 12:35 GlobalProperties.txt
-rw-r--r-- 1 mcc users 337 Apr 5 12:35 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.1K Mar 23 12:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 8.6K Mar 23 12:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 12:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.5K Mar 23 12:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 23 10:10 NewModel
-rw-r--r-- 1 mcc users 3.1K Mar 23 12:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 23 12:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 23 12:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 23 12:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 12:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 12:13 UpperBounds.xml

-rw-r--r-- 1 mcc users 6 Mar 23 10:10 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 23 10:10 instance
-rw-r--r-- 1 mcc users 6 Mar 23 10:10 iscolored
-rw-r--r-- 1 mcc users 0 Mar 23 10:10 model-fix.log
-rw-r--r-- 1 mcc users 552K Mar 23 10:10 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1554498287747

Working with output stream class java.io.PrintStream
Flatten gal took : 1929 ms
Constant places removed 1 places and 1 transitions.
Performed 372 Post agglomeration using F-continuation condition.
Iterating post reduction 0 with 373 rules applied. Total rules applied 373 place count 1543 transition count 1856
Constant places removed 373 places and 1 transitions.
Iterating post reduction 1 with 373 rules applied. Total rules applied 746 place count 1170 transition count 1855
Constant places removed 9 places and 0 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 755 place count 1161 transition count 1855
Performed 64 Pre agglomeration using Quasi-Persistent + HF-interchangeable + Divergent Free condition.
Pre-agglomeration after 3 with 64 Pre rules applied. Total rules applied 755 place count 1161 transition count 1791
Constant places removed 64 places and 0 transitions.
Iterating post reduction 3 with 64 rules applied. Total rules applied 819 place count 1097 transition count 1791
Symmetric choice reduction at 4 with 234 rule applications. Total rules 1053 place count 1097 transition count 1791
Constant places removed 234 places and 234 transitions.
Iterating post reduction 4 with 234 rules applied. Total rules applied 1287 place count 863 transition count 1557
Performed 34 Pre agglomeration using Quasi-Persistent + HF-interchangeable + Divergent Free condition.
Pre-agglomeration after 5 with 34 Pre rules applied. Total rules applied 1287 place count 863 transition count 1523
Constant places removed 34 places and 0 transitions.
Iterating post reduction 5 with 34 rules applied. Total rules applied 1321 place count 829 transition count 1523
Symmetric choice reduction at 6 with 80 rule applications. Total rules 1401 place count 829 transition count 1523
Constant places removed 80 places and 180 transitions.
Iterating post reduction 6 with 80 rules applied. Total rules applied 1481 place count 749 transition count 1343
Symmetric choice reduction at 7 with 56 rule applications. Total rules 1537 place count 749 transition count 1343
Constant places removed 56 places and 123 transitions.
Iterating post reduction 7 with 56 rules applied. Total rules applied 1593 place count 693 transition count 1220
Symmetric choice reduction at 8 with 25 rule applications. Total rules 1618 place count 693 transition count 1220
Constant places removed 25 places and 50 transitions.
Iterating post reduction 8 with 25 rules applied. Total rules applied 1643 place count 668 transition count 1170
Symmetric choice reduction at 9 with 17 rule applications. Total rules 1660 place count 668 transition count 1170
Constant places removed 17 places and 42 transitions.
Iterating post reduction 9 with 17 rules applied. Total rules applied 1677 place count 651 transition count 1128
Symmetric choice reduction at 10 with 4 rule applications. Total rules 1681 place count 651 transition count 1128
Constant places removed 4 places and 8 transitions.
Iterating post reduction 10 with 4 rules applied. Total rules applied 1685 place count 647 transition count 1120
Symmetric choice reduction at 11 with 4 rule applications. Total rules 1689 place count 647 transition count 1120
Constant places removed 4 places and 8 transitions.
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 11 with 13 rules applied. Total rules applied 1702 place count 643 transition count 1103
Performed 81 Post agglomeration using F-continuation condition.
Constant places removed 81 places and 0 transitions.
Iterating post reduction 12 with 81 rules applied. Total rules applied 1783 place count 562 transition count 1022
Performed 101 Post agglomeration using F-continuation condition.
Constant places removed 101 places and 0 transitions.
Iterating post reduction 13 with 101 rules applied. Total rules applied 1884 place count 461 transition count 1060
Performed 36 Post agglomeration using F-continuation condition.
Constant places removed 36 places and 0 transitions.
Iterating post reduction 14 with 36 rules applied. Total rules applied 1920 place count 425 transition count 1070
Applied a total of 1920 rules in 2020 ms. Remains 425 /1544 variables (removed 1119) and now considering 1070/2229 (removed 1159) transitions.
Normalized transition count is 970
// Phase 1: matrix 970 rows 425 cols
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
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
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
Normalized transition count is 970
// Phase 1: matrix 970 rows 425 cols
invariant :p1523 + p1525 + p1527 + p1531 + p1533 + p1535 + p1537 + p1541 + p1543 = 1
invariant :p335 + p336 + p340 + p341 + p345 + p346 + p350 = 1
invariant :p1313 + p1316 + p1321 + p1324 + p1326 + p1330 + p1334 = 1
invariant :p1018 + p1021 + p1023 + p1027 + p1031 + p1040 + p1044 = 1
invariant :p1288 + p1289 + p1293 + p1294 + p1298 + p1299 + p1303 + p1304 + p1308 = 1
invariant :p1491 + p1494 + p1496 + p1500 + p1504 = 1
invariant :p84 + p85 + p89 + p90 + p94 = 1
invariant :p98 + p101 + p103 + p107 + p111 = 1
invariant :p181 + p182 + p186 + p187 + p191 + p192 + p196 = 1
invariant :p1084 + p1087 + p1092 + p1097 + p1101 + p1105 + p1131 = 1
invariant :p433 + p435 + p436 + p439 + p442 = 1
invariant :p603 + p605 + p606 + p609 + p612 + p615 = 1
invariant :p900 + p902 + p904 + p908 + p910 + p912 + p914 + p918 + p920 + p924 + p928 + p930 + p932 + p940 + p944 + p948 + p950 + p952 + p960 + p970 + p980 = 1
invariant :p351 + p353 + p354 + p357 + p360 = 1
invariant :p243 + p246 + p251 + p254 + p259 + p264 + p268 + p272 = 1
invariant :p676 + p679 + p684 + p689 + p693 + p697 + p700 + p710 + p723 = 1
invariant :p65 + p66 + p71 + p72 + p77 + p78 + p83 = 1
invariant :p1437 + p1439 + p1441 + p1445 + p1447 + p1449 + p1451 + p1455 + p1457 + p1459 + p1467 = 1
invariant :p506 + p509 + p514 + p517 + p522 + p527 + p531 + p535 = 1
invariant :p562 + p564 + p566 + p570 + p572 + p574 + p576 + p580 + p582 + p586 + p590 + p592 + p594 + p602 = 1
invariant :p1278 + p1280 + p1281 + p1284 + p1287 = 1
invariant :p1249 + p1252 + p1254 + p1258 + p1262 = 1
invariant :p1337 + p1340 + p1342 + p1346 + p1350 + p1359 + p1363 = 1
invariant :p1366 + p1369 + p1371 + p1375 + p1379 + p1388 + p1392 + p1403 + p1408 + p1421 = 1
invariant :p1047 + p1050 + p1055 + p1060 + p1064 + p1068 + p1071 + p1081 = 1
invariant :p1175 + p1177 + p1178 + p1181 + p1184 = 1
invariant :p1468 + p1470 + p1471 + p1474 + p1477 = 1
invariant :p171 + p173 + p174 + p177 + p180 = 1
invariant :p991 + p993 + p994 + p997 + p1000 + p1003 = 1
invariant :p726 + p729 + p731 + p735 + p739 + p755 + p765 + p774 + p778 + p787 + p791 = 1
invariant :p1134 + p1136 + p1138 + p1142 + p1144 + p1146 + p1148 + p1152 + p1154 + p1158 + p1162 + p1164 + p1166 + p1174 = 1
invariant :p794 + p797 + p802 + p805 + p810 + p813 + p818 + p831 + p844 = 1
invariant :p443 + p444 + p449 + p450 + p455 + p456 + p461 + p462 + p467 = 1
invariant :p388 + p391 + p396 + p401 + p405 + p409 = 1
invariant :p146 + p147 + p152 + p153 + p158 + p159 + p164 + p165 + p170 = 1
invariant :p468 + p470 + p471 + p474 + p477 = 1
invariant :p650 + p651 + p655 + p656 + p660 + p661 + p665 + p666 + p670 = 1
invariant :p1204 + p1206 + p1208 + p1212 + p1214 + p1216 + p1218 + p1222 + p1224 = 1
invariant :p847 + p850 + p855 + p858 + p863 + p866 + p871 + p884 + p897 = 1
invariant :p1185 + p1186 + p1190 + p1191 + p1195 + p1196 + p1200 = 1
invariant :p114 + p117 + p122 = 1
invariant :p538 + p541 + p546 + p549 + p559 = 1
invariant :p482 + p485 + p490 + p493 + p503 = 1
invariant :p616 + p618 + p619 + p622 + p625 + p628 = 1
invariant :p201 + p204 + p206 + p210 + p214 + p236 + p240 = 1
invariant :p1004 + p1006 + p1007 + p1010 + p1013 = 1
invariant :p412 + p414 + p416 + p420 + p422 + p424 + p426 + p430 + p432 = 1
invariant :p1265 + p1267 + p1268 + p1271 + p1274 + p1277 = 1
invariant :p1507 + p1510 + p1512 + p1516 + p1520 = 1
invariant :p629 + p630 + p634 + p635 + p639 + p640 + p644 + p645 + p649 = 1
invariant :p294 + p296 + p298 + p302 + p304 + p306 + p308 + p312 + p314 + p316 + p324 + p328 + p332 + p334 = 1
invariant :p1478 + p1480 + p1481 + p1484 + p1487 = 1
invariant :p1225 + p1228 + p1233 + p1238 + p1242 + p1246 = 1
invariant :p275 + p278 + p283 + p286 + p291 = 1
invariant :p981 + p983 + p984 + p987 + p990 = 1
invariant :p125 + p127 + p129 + p133 + p135 + p137 + p139 + p143 + p145 = 1
invariant :p364 + p367 + p372 + p377 + p381 + p385 = 1
No direction supplied, using forward translation only.
built 2 ordering constraints for composite.
built 691 ordering constraints for composite.
built 683 ordering constraints for composite.
built 675 ordering constraints for composite.
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
Compilation finished in 33237 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 286 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, -d], workingDir=/home/mcc/execution]

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ GlobalProperties = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution GlobalProperties -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -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:04:54 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:04:54 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Apr 05, 2019 9:04:54 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 496 ms
Apr 05, 2019 9:04:54 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 1544 places.
Apr 05, 2019 9:04:55 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2229 transitions.
Apr 05, 2019 9:04:55 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Apr 05, 2019 9:04:55 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 176 ms
Apr 05, 2019 9:04:57 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:04:57 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 9:04:57 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1899 ms
Apr 05, 2019 9:04:57 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.simple.gal : 39 ms
Apr 05, 2019 9:04:59 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 2229 transitions.
Apr 05, 2019 9:05:04 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Apr 05, 2019 9:05:04 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 9:05:05 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 669 ms
Apr 05, 2019 9:05:05 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 9:05:06 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1099 ms
Apr 05, 2019 9:05:06 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Apr 05, 2019 9:05:06 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Apr 05, 2019 9:05:07 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 1070 transitions.
Apr 05, 2019 9:05:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 61 events :t1440.t734,t1440.t734,t1445.t729,t1445.t729,t1440.t734,t1440.t734,t1445.t729,t1445.t729,t1440.t734,t1440.t734,t1445.t729,t1445.t729,t792.t1489.t40.t766,t792.t1489.t40.t766,t796.t1488.t40.t766,t796.t1488.t40.t766,t800.t1487.t40.t766,t800.t1487.t40.t766,t804.t1484.t40.t766,t804.t1484.t40.t766,t1792.t47.t749,t1792.t47.t749,t1791.t47.t749,t1791.t47.t749,t792.t1489.t40.t766,t792.t1489.t40.t766,t796.t1488.t40.t766,t796.t1488.t40.t766,t800.t1487.t40.t766,t800.t1487.t40.t766,t804.t1484.t40.t766,t804.t1484.t40.t766,t1486.t40.t766,t1486.t40.t766,t1485.t40.t766,t1485.t40.t766,t1766.t35.t779,t1766.t35.t779,t1765.t35.t779,t1765.t35.t779,t792.t1833.t802,t796.t1832.t802,t800.t1831.t802,t804.t1830.t802,t1445.t729,t792.t1489.t40.t766,t796.t1488.t40.t766,t800.t1487.t40.t766,t804.t1484.t40.t766,t792.t1833.t802,t792.t1833.t802,t792.t1833.t802,t796.t1832.t802,t796.t1832.t802,t796.t1832.t802,t800.t1831.t802,t800.t1831.t802,t800.t1831.t802,t804.t1830.t802,t804.t1830.t802,t804.t1830.t802,
Apr 05, 2019 9:05:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t998.t1655.t999.t1626.t4.t1001,t998.t1655.t1000,t998.t1655.t999.t1626.t4.t1001,t998.t1655.t1000,t998.t1655.t999.t1626.t4.t1001,t998.t1655.t1000,t998.t1655.t999.t1626.t4.t1001,t998.t1655.t1000,t1650.t3.t1001,t1650.t3.t1001,t1650.t3.t1001,t1650.t3.t1001,
Apr 05, 2019 9:05:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t412.t1985.t413.t414,t412.t1985.t417,t426.t2001.t427.t428,t426.t2001.t431,t1999.t429.t1205.t120.t436,t1999.t430,t433.t2005.t434.t1206.t117.t436,t433.t2005.t435,t2003.t116.t436,t1997.t116.t436,
Apr 05, 2019 9:05:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t826.t1736.t827.t828,t826.t1736.t831,t1733.t829.t1509.t34.t836,t1733.t830,t1733.t829.t1509.t34.t836,t1733.t830,t1733.t829.t1509.t34.t836,t1733.t830,t1733.t829.t1509.t34.t836,t1733.t830,t833.t1740.t834.t1510.t31.t836,t833.t1740.t835,t1728.t30.t836,t1728.t30.t836,t1728.t30.t836,t1738.t30.t836,t1728.t30.t836,
Apr 05, 2019 9:05:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t1033.t182,t1033.t182,t1041.t180,t1041.t180,t1033.t182,t1033.t182,t1041.t180,t1041.t180,t2189.t165.t191,t2189.t165.t191,t2188.t165.t191,t2188.t165.t191,t1055.t162.t200,t1055.t162.t200,t1054.t162.t200,t1054.t162.t200,t1033.t182,t2175.t211,t2175.t211,t2175.t211,t2175.t211,t2175.t211,
Apr 05, 2019 9:05:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 21 events :t1614.t993,t1614.t993,t1619.t988,t1619.t988,t1614.t993,t1614.t993,t1619.t988,t1619.t988,t1017.t1644.t0.t1010,t1017.t1644.t0.t1010,t1020.t1641.t0.t1010,t1020.t1641.t0.t1010,t1643.t0.t1010,t1643.t0.t1010,t1642.t0.t1010,t1642.t0.t1010,t1017.t1754.t1019,t1020.t1753.t1019,t1619.t988,t1017.t1754.t1019,t1020.t1753.t1019,
Apr 05, 2019 9:05:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 19 events :t1149.t132.t335,t1149.t132.t335,t1148.t132.t335,t1148.t132.t335,t2029.t127.t348,t2029.t127.t348,t2028.t127.t348,t2028.t127.t348,t1161.t363,t1161.t363,t1169.t361,t1169.t361,t1161.t363,t1161.t363,t1169.t361,t1169.t361,t1161.t363,t2018.t380,t2018.t380,
Apr 05, 2019 9:05:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1099.t218,t1099.t213,t1092.t225,t1092.t220,t1090.t221.t2157.t222,t1090.t223,t1085.t232,t1085.t227,t1083.t228.t2156.t229,t1083.t230,t1088.t231,t1081.t231,
Apr 05, 2019 9:05:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 25 events :t577.t1359.t578.t579,t577.t1359.t582,t584.t1351.t585.t586,t584.t1351.t589,t591.t1347.t592.t1892.t83.t602,t591.t1347.t593,t595.t1343.t596.t1891.t81.t602,t595.t1343.t597,t599.t1332.t600.t1890.t79.t602,t599.t1332.t601,t599.t1332.t600.t1890.t79.t602,t599.t1332.t601,t599.t1332.t600.t1890.t79.t602,t599.t1332.t601,t599.t1332.t600.t1890.t79.t602,t599.t1332.t601,t599.t1332.t600.t1890.t79.t602,t599.t1332.t601,t1338.t78.t602,t1338.t78.t602,t1338.t78.t602,t1338.t78.t602,t1349.t78.t602,t1345.t78.t602,t1338.t78.t602,
Apr 05, 2019 9:05:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1507.t815,t1507.t810,t1505.t811.t1743.t812,t1505.t813,t1500.t822,t1500.t817,t1498.t818.t1742.t819,t1498.t820,t1503.t821,t1496.t821,
Apr 05, 2019 9:05:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 37 events :t1094.t219,t1094.t219,t1088.t231,t1088.t231,t1094.t219,t1094.t219,t1088.t231,t1088.t231,t308.t2124.t146.t271,t308.t2124.t146.t271,t311.t2125.t146.t271,t311.t2125.t146.t271,t314.t2126.t146.t271,t314.t2126.t146.t271,t317.t2129.t146.t271,t317.t2129.t146.t271,t2128.t146.t271,t2128.t146.t271,t2127.t146.t271,t2127.t146.t271,t1112.t140.t287,t1112.t140.t287,t1111.t140.t287,t1111.t140.t287,t1112.t140.t287,t1112.t140.t287,t1111.t140.t287,t1111.t140.t287,t2094.t135.t300,t2094.t135.t300,t2093.t135.t300,t2093.t135.t300,t308.t1056.t316,t311.t1057.t316,t314.t1058.t316,t317.t1059.t316,t1094.t219,
Apr 05, 2019 9:05:07 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 33 events :t1502.t816,t1502.t816,t1496.t821,t1496.t821,t1502.t816,t1502.t816,t1496.t821,t1496.t821,t860.t1726.t30.t836,t860.t1726.t30.t836,t863.t1727.t30.t836,t863.t1727.t30.t836,t866.t1730.t30.t836,t866.t1730.t30.t836,t1729.t30.t836,t1729.t30.t836,t1728.t30.t836,t1728.t30.t836,t1514.t25.t849,t1514.t25.t849,t1513.t25.t849,t1513.t25.t849,t1514.t25.t849,t1514.t25.t849,t1513.t25.t849,t1513.t25.t849,t860.t1953.t865,t863.t1954.t865,t866.t1955.t865,t1502.t816,t860.t1953.t865,t863.t1954.t865,t866.t1955.t865,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 20 events :t1035.t180,t1035.t180,t1040.t175,t1040.t175,t1035.t180,t1035.t180,t1040.t175,t1040.t175,t2191.t165.t191,t2191.t165.t191,t2190.t165.t191,t2190.t165.t191,t1053.t162.t200,t1053.t162.t200,t1052.t162.t200,t1052.t162.t200,t1040.t175,t1066.t207,t1066.t207,t1066.t207,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1568.t873,t1568.t868,t1566.t869.t1720.t870,t1566.t871,t1561.t880,t1561.t875,t1554.t887,t1554.t882,t1552.t883.t1718.t884,t1552.t885,t1547.t894,t1547.t889,t1545.t890.t1717.t891,t1545.t892,t1564.t893,t1550.t893,t1543.t893,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t925.t1673.t926.t927,t925.t1673.t930,t1671.t928.t1603.t13.t945,t1671.t929,t939.t1695.t940.t941,t939.t1695.t944,t1693.t942.t1605.t7.t945,t1693.t943,t1691.t5.t945,t1689.t5.t945,t1032.t1660.t1030.t945,t1032.t1660.t1030.t945,t1032.t1686.t1030,t1032.t1664.t1030,t1032.t1686.t1030,t1032.t1664.t1030,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1464.t714,t1464.t709,t1457.t721,t1457.t716,t1455.t717.t1803.t718,t1455.t719,t1450.t728,t1450.t723,t1448.t724.t1802.t725,t1448.t726,t1443.t735,t1443.t730,t1441.t731.t1801.t732,t1441.t733,t1453.t734,t1446.t734,t1439.t734,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 38 events :t1184.t407,t1184.t407,t1175.t409,t1175.t409,t1184.t407,t1184.t407,t1175.t409,t1175.t409,t1184.t407,t1184.t407,t1175.t409,t1175.t409,t2004.t116.t436,t2004.t116.t436,t2003.t116.t436,t2003.t116.t436,t2004.t116.t436,t2004.t116.t436,t2003.t116.t436,t2003.t116.t436,t1220.t108.t456,t1220.t108.t456,t1219.t108.t456,t1219.t108.t456,t1970.t102.t472,t1970.t102.t472,t1969.t102.t472,t1969.t102.t472,t1970.t102.t472,t1970.t102.t472,t1969.t102.t472,t1969.t102.t472,t1175.t409,t1246.t485,t1246.t485,t1246.t485,t1246.t485,t1246.t485,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1201.t387,t1201.t382,t1194.t394,t1194.t389,t1192.t390.t2009.t391,t1192.t392,t1187.t401,t1187.t396,t1185.t397.t2008.t398,t1185.t399,t1180.t408,t1180.t403,t1178.t404.t2007.t405,t1178.t406,t1190.t407,t1183.t407,t1176.t407,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t1504.t821,t1504.t821,t1495.t823,t1495.t823,t1504.t821,t1504.t821,t1495.t823,t1495.t823,t1739.t30.t836,t1739.t30.t836,t1738.t30.t836,t1738.t30.t836,t1739.t30.t836,t1739.t30.t836,t1738.t30.t836,t1738.t30.t836,t1523.t25.t849,t1523.t25.t849,t1522.t25.t849,t1522.t25.t849,t1495.t823,t1534.t856,t1534.t856,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 27 events :t243.t2122.t244.t245,t243.t2122.t248,t250.t2133.t251.t1103.t155.t271,t250.t2133.t252,t250.t2133.t251.t1103.t155.t271,t250.t2133.t252,t250.t2133.t251.t1103.t155.t271,t250.t2133.t252,t250.t2133.t251.t1103.t155.t271,t250.t2133.t252,t250.t2133.t251.t1103.t155.t271,t250.t2133.t252,t258.t2146.t259.t260,t258.t2146.t263,t2144.t261.t1105.t151.t271,t2144.t262,t265.t2154.t266.t267,t265.t2154.t270,t2152.t268.t1106.t148.t271,t2152.t269,t2127.t146.t271,t2127.t146.t271,t2127.t146.t271,t2127.t146.t271,t2150.t146.t271,t2148.t146.t271,t2127.t146.t271,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 65 events :t1549.t888,t1549.t888,t1543.t893,t1543.t893,t1549.t888,t1549.t888,t1543.t893,t1543.t893,t1549.t888,t1549.t888,t1543.t893,t1543.t893,t968.t1594.t14.t922,t968.t1594.t14.t922,t972.t1595.t14.t922,t972.t1595.t14.t922,t976.t1596.t14.t922,t976.t1596.t14.t922,t980.t1599.t14.t922,t980.t1599.t14.t922,t1708.t21.t905,t1708.t21.t905,t1707.t21.t905,t1707.t21.t905,t968.t1594.t14.t922,t968.t1594.t14.t922,t972.t1595.t14.t922,t972.t1595.t14.t922,t976.t1596.t14.t922,t976.t1596.t14.t922,t980.t1599.t14.t922,t980.t1599.t14.t922,t1598.t14.t922,t1598.t14.t922,t1597.t14.t922,t1597.t14.t922,t1690.t5.t945,t1690.t5.t945,t1689.t5.t945,t1689.t5.t945,t1690.t5.t945,t1690.t5.t945,t1689.t5.t945,t1689.t5.t945,t968.t1377.t978,t972.t1378.t978,t976.t1379.t978,t980.t1380.t978,t1549.t888,t968.t1594.t14.t922,t972.t1595.t14.t922,t976.t1596.t14.t922,t980.t1599.t14.t922,t968.t1377.t978,t968.t1377.t978,t968.t1377.t978,t972.t1378.t978,t972.t1378.t978,t972.t1378.t978,t976.t1379.t978,t976.t1379.t978,t976.t1379.t978,t980.t1380.t978,t980.t1380.t978,t980.t1380.t978,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 49 events :t1272.t544,t1272.t544,t1277.t539,t1277.t539,t1272.t544,t1272.t544,t1277.t539,t1277.t539,t1272.t544,t1272.t544,t1277.t539,t1277.t539,t675.t1342.t78.t602,t675.t1342.t78.t602,t678.t1341.t78.t602,t678.t1341.t78.t602,t681.t1340.t78.t602,t681.t1340.t78.t602,t684.t1337.t78.t602,t684.t1337.t78.t602,t1339.t78.t602,t1339.t78.t602,t1338.t78.t602,t1338.t78.t602,t1883.t63.t639,t1883.t63.t639,t1882.t63.t639,t1882.t63.t639,t1883.t63.t639,t1883.t63.t639,t1882.t63.t639,t1882.t63.t639,t1386.t52.t666,t1386.t52.t666,t1385.t52.t666,t1385.t52.t666,t1386.t52.t666,t1386.t52.t666,t1385.t52.t666,t1385.t52.t666,t675.t2080.t683,t678.t2079.t683,t681.t2078.t683,t684.t2077.t683,t1277.t539,t675.t2080.t683,t678.t2079.t683,t681.t2078.t683,t684.t2077.t683,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 40 events :t1291.t525,t1291.t525,t1285.t544,t1285.t544,t1291.t525,t1291.t525,t1285.t544,t1285.t544,t1291.t525,t1291.t525,t1285.t544,t1285.t544,t1917.t90.t574,t1917.t90.t574,t1916.t90.t574,t1916.t90.t574,t1917.t90.t574,t1917.t90.t574,t1916.t90.t574,t1916.t90.t574,t1346.t78.t602,t1346.t78.t602,t1345.t78.t602,t1345.t78.t602,t1346.t78.t602,t1346.t78.t602,t1345.t78.t602,t1345.t78.t602,t1859.t63.t639,t1859.t63.t639,t1858.t63.t639,t1858.t63.t639,t1859.t63.t639,t1859.t63.t639,t1858.t63.t639,t1858.t63.t639,t1291.t525,t1817.t707,t1817.t707,t1817.t707,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t1196.t388,t1196.t388,t1190.t407,t1190.t407,t1196.t388,t1196.t388,t1190.t407,t1190.t407,t1998.t116.t436,t1998.t116.t436,t1997.t116.t436,t1997.t116.t436,t1998.t116.t436,t1998.t116.t436,t1997.t116.t436,t1997.t116.t436,t1234.t108.t456,t1234.t108.t456,t1233.t108.t456,t1233.t108.t456,t1196.t388,t1947.t489,t1947.t489,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t898.t1703.t899.t1570.t24.t905,t898.t1703.t900,t902.t1713.t903.t1571.t22.t905,t902.t1713.t904,t902.t1713.t903.t1571.t22.t905,t902.t1713.t904,t902.t1713.t903.t1571.t22.t905,t902.t1713.t904,t902.t1713.t903.t1571.t22.t905,t902.t1713.t904,t902.t1713.t903.t1571.t22.t905,t902.t1713.t904,t1707.t21.t905,t1707.t21.t905,t1707.t21.t905,t1707.t21.t905,t1707.t21.t905,t1701.t21.t905,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1173.t355,t1173.t350,t1171.t351.t2021.t352,t1171.t353,t1166.t362,t1166.t357,t1164.t358.t2020.t359,t1164.t360,t1169.t361,t1162.t361,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t274.t1118.t275.t276,t274.t1118.t279,t1120.t277.t2098.t145.t287,t1120.t278,t281.t1107.t282.t283,t281.t1107.t286,t1109.t284.t2097.t142.t287,t1109.t285,t1113.t140.t287,t1111.t140.t287,t376.t1130.t375.t287,t376.t1130.t375.t287,t376.t1126.t375,t376.t1115.t375,t376.t1126.t375,t376.t1115.t375,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 32 events :t908.t1586.t909.t910,t908.t1586.t913,t1591.t911.t1699.t20.t922,t1591.t912,t1591.t911.t1699.t20.t922,t1591.t912,t1591.t911.t1699.t20.t922,t1591.t912,t1591.t911.t1699.t20.t922,t1591.t912,t1591.t911.t1699.t20.t922,t1591.t912,t915.t1582.t916.t1698.t17.t922,t915.t1582.t917,t919.t1574.t920.t1697.t15.t922,t919.t1574.t921,t919.t1574.t920.t1697.t15.t922,t919.t1574.t921,t919.t1574.t920.t1697.t15.t922,t919.t1574.t921,t919.t1574.t920.t1697.t15.t922,t919.t1574.t921,t1579.t14.t922,t1579.t14.t922,t1579.t14.t922,t1597.t14.t922,t1597.t14.t922,t1597.t14.t922,t1597.t14.t922,t1597.t14.t922,t1584.t14.t922,t1579.t14.t922,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 32 events :t605.t1840.t606.t607,t605.t1840.t610,t1838.t608.t1368.t77.t639,t1838.t609,t612.t1852.t613.t614,t612.t1852.t617,t1850.t615.t1369.t74.t639,t1850.t616,t619.t1864.t620.t621,t619.t1864.t624,t633.t1888.t634.t635,t633.t1888.t638,t1886.t636.t1372.t65.t639,t1886.t637,t1884.t63.t639,t1882.t63.t639,t1858.t63.t639,t804.t1825.t802.t639,t804.t1825.t802.t639,t804.t1825.t802.t639,t804.t1878.t802,t804.t1854.t802,t804.t1842.t802,t804.t1830.t802,t804.t1878.t802,t804.t1854.t802,t804.t1842.t802,t804.t1830.t802,t804.t1878.t802,t804.t1854.t802,t804.t1842.t802,t804.t1830.t802,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t329.t1144.t330.t331,t329.t1144.t334,t1146.t332.t2047.t134.t335,t1146.t333,t1150.t132.t335,t1148.t132.t335,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t769.t1761.t770.t771,t769.t1761.t774,t776.t1767.t777.t1494.t36.t779,t776.t1767.t778,t1765.t35.t779,t1755.t35.t779,t1020.t1750.t1019.t779,t1020.t1763.t1019,t1020.t1753.t1019,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t1551.t893,t1551.t893,t1542.t895,t1542.t895,t1551.t893,t1551.t893,t1542.t895,t1542.t895,t1702.t21.t905,t1702.t21.t905,t1701.t21.t905,t1701.t21.t905,t1585.t14.t922,t1585.t14.t922,t1584.t14.t922,t1584.t14.t922,t1585.t14.t922,t1585.t14.t922,t1584.t14.t922,t1584.t14.t922,t1542.t895,t1606.t963,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 25 events :t549.t1902.t550.t551,t549.t1902.t554,t556.t1910.t557.t558,t556.t1910.t561,t563.t1914.t564.t1328.t95.t574,t563.t1914.t565,t567.t1918.t568.t1329.t93.t574,t567.t1918.t569,t571.t1929.t572.t1330.t91.t574,t571.t1929.t573,t571.t1929.t572.t1330.t91.t574,t571.t1929.t573,t571.t1929.t572.t1330.t91.t574,t571.t1929.t573,t571.t1929.t572.t1330.t91.t574,t571.t1929.t573,t571.t1929.t572.t1330.t91.t574,t571.t1929.t573,t1923.t90.t574,t1923.t90.t574,t1923.t90.t574,t1923.t90.t574,t1923.t90.t574,t1916.t90.t574,t1912.t90.t574,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1045.t174,t1045.t169,t1043.t170.t2197.t171,t1043.t172,t1038.t181,t1038.t176,t1036.t177.t2196.t178,t1036.t179,t1041.t180,t1034.t180,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t739.t1787.t740.t741,t739.t1787.t744,t746.t1797.t747.t1467.t48.t749,t746.t1797.t748,t746.t1797.t747.t1467.t48.t749,t746.t1797.t748,t746.t1797.t747.t1467.t48.t749,t746.t1797.t748,t746.t1797.t747.t1467.t48.t749,t746.t1797.t748,t746.t1797.t747.t1467.t48.t749,t746.t1797.t748,t1791.t47.t749,t1791.t47.t749,t1791.t47.t749,t1791.t47.t749,t1791.t47.t749,t1773.t47.t749,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 33 events :t1556.t881,t1556.t881,t1564.t893,t1564.t893,t1556.t881,t1556.t881,t1564.t893,t1564.t893,t953.t1577.t14.t922,t953.t1577.t14.t922,t956.t1578.t14.t922,t956.t1578.t14.t922,t959.t1581.t14.t922,t959.t1581.t14.t922,t1580.t14.t922,t1580.t14.t922,t1579.t14.t922,t1579.t14.t922,t1692.t5.t945,t1692.t5.t945,t1691.t5.t945,t1691.t5.t945,t1692.t5.t945,t1692.t5.t945,t1691.t5.t945,t1691.t5.t945,t953.t1515.t958,t956.t1516.t958,t959.t1517.t958,t1556.t881,t953.t1515.t958,t956.t1516.t958,t959.t1517.t958,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t1459.t715,t1459.t715,t1453.t734,t1453.t734,t1459.t715,t1459.t715,t1453.t734,t1453.t734,t1471.t40.t766,t1471.t40.t766,t1470.t40.t766,t1470.t40.t766,t1756.t35.t779,t1756.t35.t779,t1755.t35.t779,t1755.t35.t779,t1154.t787,t1459.t715,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t338.t2033.t339.t340,t338.t2033.t343,t338.t2033.t339.t340,t338.t2033.t343,t338.t2033.t339.t340,t338.t2033.t343,t338.t2033.t339.t340,t338.t2033.t343,t2030.t341.t1159.t131.t348,t2030.t342,t345.t2043.t346.t1160.t128.t348,t345.t2043.t347,t345.t2043.t346.t1160.t128.t348,t345.t2043.t347,t345.t2043.t346.t1160.t128.t348,t345.t2043.t347,t345.t2043.t346.t1160.t128.t348,t345.t2043.t347,t2038.t127.t348,t2038.t127.t348,t2038.t127.t348,t2038.t127.t348,t2028.t127.t348,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 38 events :t1621.t993,t1621.t993,t1612.t995,t1612.t995,t1621.t993,t1621.t993,t1612.t995,t1612.t995,t1024.t1640.t0.t1010,t1024.t1640.t0.t1010,t1028.t1639.t0.t1010,t1028.t1639.t0.t1010,t1032.t1636.t0.t1010,t1032.t1636.t0.t1010,t1651.t3.t1001,t1651.t3.t1001,t1650.t3.t1001,t1650.t3.t1001,t1024.t1640.t0.t1010,t1024.t1640.t0.t1010,t1028.t1639.t0.t1010,t1028.t1639.t0.t1010,t1032.t1636.t0.t1010,t1032.t1636.t0.t1010,t1638.t0.t1010,t1638.t0.t1010,t1637.t0.t1010,t1637.t0.t1010,t1024.t1666.t1030,t1028.t1665.t1030,t1032.t1664.t1030,t1612.t995,t1024.t1640.t0.t1010,t1028.t1639.t0.t1010,t1032.t1636.t0.t1010,t1024.t1666.t1030,t1028.t1665.t1030,t1032.t1664.t1030,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 28 events :t642.t1405.t643.t644,t642.t1405.t647,t649.t1393.t650.t651,t649.t1393.t654,t656.t1381.t657.t658,t656.t1381.t661,t1383.t659.t1822.t56.t666,t1383.t660,t663.t1373.t664.t1821.t53.t666,t663.t1373.t665,t1399.t52.t666,t1385.t52.t666,t1375.t52.t666,t980.t1421.t978.t666,t980.t1421.t978.t666,t980.t1421.t978.t666,t980.t1416.t978,t980.t1404.t978,t980.t1392.t978,t980.t1380.t978,t980.t1416.t978,t980.t1404.t978,t980.t1392.t978,t980.t1380.t978,t980.t1416.t978,t980.t1404.t978,t980.t1392.t978,t980.t1380.t978,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 26 events :t1182.t402,t1182.t402,t1176.t407,t1176.t407,t1182.t402,t1182.t402,t1176.t407,t1176.t407,t1210.t108.t456,t1210.t108.t456,t1209.t108.t456,t1209.t108.t456,t1210.t108.t456,t1210.t108.t456,t1209.t108.t456,t1209.t108.t456,t1968.t102.t472,t1968.t102.t472,t1967.t102.t472,t1967.t102.t472,t1968.t102.t472,t1968.t102.t472,t1967.t102.t472,t1967.t102.t472,t2187.t480,t1182.t402,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 18 events :t290.t2087.t291.t292,t290.t2087.t295,t2085.t293.t1133.t139.t300,t2085.t294,t297.t2095.t298.t1134.t136.t300,t297.t2095.t299,t2093.t135.t300,t2083.t135.t300,t2081.t135.t300,t684.t2072.t683.t300,t684.t2072.t683.t300,t684.t2072.t683.t300,t684.t2089.t683,t684.t2077.t683,t684.t2089.t683,t684.t2077.t683,t684.t2089.t683,t684.t2077.t683,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t839.t1518.t840.t841,t839.t1518.t844,t1520.t842.t1722.t29.t849,t1520.t843,t846.t1511.t847.t1721.t26.t849,t846.t1511.t848,t1522.t25.t849,t1513.t25.t849,t959.t1532.t958.t849,t959.t1532.t958.t849,t959.t1528.t958,t959.t1517.t958,t959.t1528.t958,t959.t1517.t958,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1086.t227,t1080.t233,t1080.t233,t2151.t146.t271,t2151.t146.t271,t2150.t146.t271,t2150.t146.t271,t2151.t146.t271,t2151.t146.t271,t2150.t146.t271,t2150.t146.t271,t2082.t135.t300,t2082.t135.t300,t2081.t135.t300,t2081.t135.t300,t1136.t321,t1136.t321,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 38 events :t1087.t226,t1087.t226,t1081.t231,t1081.t231,t1087.t226,t1087.t226,t1081.t231,t1081.t231,t2149.t146.t271,t2149.t146.t271,t2148.t146.t271,t2148.t146.t271,t2149.t146.t271,t2149.t146.t271,t2148.t146.t271,t2148.t146.t271,t2149.t146.t271,t2149.t146.t271,t2148.t146.t271,t2148.t146.t271,t1114.t140.t287,t1114.t140.t287,t1113.t140.t287,t1113.t140.t287,t1114.t140.t287,t1114.t140.t287,t1113.t140.t287,t1113.t140.t287,t2084.t135.t300,t2084.t135.t300,t2083.t135.t300,t2083.t135.t300,t1087.t226,t2067.t326,t2067.t326,t2067.t326,t2067.t326,t2067.t326,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t459.t1962.t460.t461,t459.t1962.t464,t1960.t462.t1244.t107.t472,t1960.t463,t466.t1973.t467.t468,t466.t1973.t471,t1971.t469.t1245.t104.t472,t1971.t470,t1969.t102.t472,t1967.t102.t472,t866.t1951.t865.t472,t866.t1951.t865.t472,t866.t1966.t865,t866.t1955.t865,t866.t1966.t865,t866.t1955.t865,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :t1279.t544,t1279.t544,t1270.t546,t1270.t546,t1279.t544,t1279.t544,t1270.t546,t1270.t546,t1279.t544,t1279.t544,t1270.t546,t1270.t546,t1913.t90.t574,t1913.t90.t574,t1912.t90.t574,t1912.t90.t574,t1913.t90.t574,t1913.t90.t574,t1912.t90.t574,t1912.t90.t574,t1350.t78.t602,t1350.t78.t602,t1349.t78.t602,t1349.t78.t602,t1350.t78.t602,t1350.t78.t602,t1349.t78.t602,t1349.t78.t602,t1400.t52.t666,t1400.t52.t666,t1399.t52.t666,t1399.t52.t666,t1270.t546,t1422.t702,t1422.t702,t1422.t702,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 22 events :t1438.t736,t1438.t736,t1446.t734,t1446.t734,t1438.t736,t1438.t736,t1446.t734,t1446.t734,t1774.t47.t749,t1774.t47.t749,t1773.t47.t749,t1773.t47.t749,t1475.t40.t766,t1475.t40.t766,t1474.t40.t766,t1474.t40.t766,t1475.t40.t766,t1475.t40.t766,t1474.t40.t766,t1474.t40.t766,t1438.t736,t1749.t808,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t752.t1476.t753.t754,t752.t1476.t757,t1479.t755.t1771.t46.t766,t1479.t756,t1479.t755.t1771.t46.t766,t1479.t756,t1479.t755.t1771.t46.t766,t1479.t756,t1479.t755.t1771.t46.t766,t1479.t756,t1479.t755.t1771.t46.t766,t1479.t756,t759.t1472.t760.t1770.t43.t766,t759.t1472.t761,t763.t1468.t764.t1769.t41.t766,t763.t1468.t765,t1485.t40.t766,t1485.t40.t766,t1485.t40.t766,t1485.t40.t766,t1485.t40.t766,t1474.t40.t766,t1470.t40.t766,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t185.t2194.t186.t187,t185.t2194.t190,t2192.t188.t1047.t167.t191,t2192.t189,t2190.t165.t191,t2188.t165.t191,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1624.t987,t1624.t982,t1622.t983.t1659.t984,t1622.t985,t1617.t994,t1617.t989,t1615.t990.t1658.t991,t1615.t992,t1620.t993,t1613.t993,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 21 events :t1004.t1628.t1005.t1006,t1004.t1628.t1009,t1004.t1628.t1005.t1006,t1004.t1628.t1009,t1004.t1628.t1005.t1006,t1004.t1628.t1009,t1632.t1007.t1646.t2.t1010,t1632.t1008,t1632.t1007.t1646.t2.t1010,t1632.t1008,t1632.t1007.t1646.t2.t1010,t1632.t1008,t1632.t1007.t1646.t2.t1010,t1632.t1008,t1642.t0.t1010,t1642.t0.t1010,t1637.t0.t1010,t1637.t0.t1010,t1637.t0.t1010,t1642.t0.t1010,t1637.t0.t1010,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 23 events :t439.t1227.t440.t441,t439.t1227.t444,t446.t1215.t447.t448,t446.t1215.t451,t1217.t449.t1976.t112.t456,t1217.t450,t453.t1207.t454.t1975.t109.t456,t453.t1207.t455,t1233.t108.t456,t1219.t108.t456,t1209.t108.t456,t697.t1243.t696.t456,t697.t1243.t696.t456,t697.t1243.t696.t456,t697.t1238.t696,t697.t1226.t696,t697.t1214.t696,t697.t1238.t696,t697.t1226.t696,t697.t1214.t696,t697.t1238.t696,t697.t1226.t696,t697.t1214.t696,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t194.t1048.t195.t196,t194.t1048.t199,t1050.t197.t2180.t164.t200,t1050.t198,t1054.t162.t200,t1052.t162.t200,t317.t1064.t316.t200,t317.t1064.t316.t200,t317.t1064.t316.t200,t317.t1059.t316,t317.t1059.t316,t317.t1059.t316,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 57 events :t1305.t511,t1305.t511,t1299.t544,t1299.t544,t1305.t511,t1305.t511,t1299.t544,t1299.t544,t1305.t511,t1305.t511,t1299.t544,t1299.t544,t688.t1920.t90.t574,t688.t1920.t90.t574,t691.t1921.t90.t574,t691.t1921.t90.t574,t694.t1922.t90.t574,t694.t1922.t90.t574,t697.t1925.t90.t574,t697.t1925.t90.t574,t1924.t90.t574,t1924.t90.t574,t1923.t90.t574,t1923.t90.t574,t1885.t63.t639,t1885.t63.t639,t1884.t63.t639,t1884.t63.t639,t1885.t63.t639,t1885.t63.t639,t1884.t63.t639,t1884.t63.t639,t1885.t63.t639,t1885.t63.t639,t1884.t63.t639,t1884.t63.t639,t1376.t52.t666,t1376.t52.t666,t1375.t52.t666,t1375.t52.t666,t1376.t52.t666,t1376.t52.t666,t1375.t52.t666,t1375.t52.t666,t688.t1211.t696,t691.t1212.t696,t694.t1213.t696,t697.t1214.t696,t1305.t511,t688.t1211.t696,t688.t1211.t696,t691.t1212.t696,t691.t1212.t696,t694.t1213.t696,t694.t1213.t696,t697.t1214.t696,t697.t1214.t696,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 39 events :t1151.t132.t335,t1151.t132.t335,t1150.t132.t335,t1150.t132.t335,t370.t2041.t127.t348,t370.t2041.t127.t348,t373.t2040.t127.t348,t373.t2040.t127.t348,t376.t2037.t127.t348,t376.t2037.t127.t348,t2039.t127.t348,t2039.t127.t348,t2038.t127.t348,t2038.t127.t348,t370.t2041.t127.t348,t370.t2041.t127.t348,t373.t2040.t127.t348,t373.t2040.t127.t348,t376.t2037.t127.t348,t376.t2037.t127.t348,t2039.t127.t348,t2039.t127.t348,t2038.t127.t348,t2038.t127.t348,t1163.t361,t1163.t361,t1168.t356,t1168.t356,t1163.t361,t1163.t361,t1168.t356,t1168.t356,t370.t1117.t375,t373.t1116.t375,t376.t1115.t375,t1168.t356,t370.t1117.t375,t373.t1116.t375,t376.t1115.t375,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 28 events :t1324.t496,t1324.t491,t1317.t503,t1317.t498,t1310.t510,t1310.t505,t1303.t517,t1303.t512,t1301.t513.t1936.t514,t1301.t515,t1296.t524,t1296.t519,t1289.t531,t1289.t526,t1287.t527.t1934.t528,t1287.t529,t1282.t538,t1282.t533,t1280.t534.t1933.t535,t1280.t536,t1275.t545,t1275.t540,t1273.t541.t1932.t542,t1273.t543,t1299.t544,t1285.t544,t1278.t544,t1271.t544,
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 1375 redundant transitions.
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-6B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 9:05:08 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1903 ms
Apr 05, 2019 9:05:09 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 82 ms
Apr 05, 2019 9:05:12 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 57 place invariants in 357 ms
Apr 05, 2019 9:05:21 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 425 variables to be positive in 9610 ms
Apr 05, 2019 9:05:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 1070 transitions.
Apr 05, 2019 9:05:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :0/1070 took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 9:05:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 532 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 9:05:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 1070 transitions.
Apr 05, 2019 9:05:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 115 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 9:05:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 1070 transitions.
Apr 05, 2019 9:05:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(4/1070) took 2919 ms. Total solver calls (SAT/UNSAT): 129(4/125)
Apr 05, 2019 9:05:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(9/1070) took 6721 ms. Total solver calls (SAT/UNSAT): 291(11/280)
Apr 05, 2019 9:05:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(12/1070) took 9998 ms. Total solver calls (SAT/UNSAT): 461(24/437)
Apr 05, 2019 9:05:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(15/1070) took 13651 ms. Total solver calls (SAT/UNSAT): 653(36/617)
Apr 05, 2019 9:05:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(18/1070) took 17447 ms. Total solver calls (SAT/UNSAT): 836(39/797)
Apr 05, 2019 9:05:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(22/1070) took 20695 ms. Total solver calls (SAT/UNSAT): 990(45/945)
Apr 05, 2019 9:05:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(27/1070) took 24204 ms. Total solver calls (SAT/UNSAT): 1152(52/1100)
Apr 05, 2019 9:05:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(31/1070) took 27367 ms. Total solver calls (SAT/UNSAT): 1294(53/1241)
Apr 05, 2019 9:05:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(34/1070) took 31755 ms. Total solver calls (SAT/UNSAT): 1487(53/1434)
Apr 05, 2019 9:05:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(37/1070) took 35401 ms. Total solver calls (SAT/UNSAT): 1649(53/1596)
Apr 05, 2019 9:06:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(39/1070) took 38606 ms. Total solver calls (SAT/UNSAT): 1800(53/1747)
Apr 05, 2019 9:06:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(42/1070) took 43962 ms. Total solver calls (SAT/UNSAT): 2045(53/1992)
Apr 05, 2019 9:06:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(44/1070) took 48290 ms. Total solver calls (SAT/UNSAT): 2250(53/2197)
Apr 05, 2019 9:06:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(47/1070) took 52067 ms. Total solver calls (SAT/UNSAT): 2428(53/2375)
Apr 05, 2019 9:06:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(51/1070) took 56723 ms. Total solver calls (SAT/UNSAT): 2630(53/2577)
Apr 05, 2019 9:06:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(54/1070) took 59747 ms. Total solver calls (SAT/UNSAT): 2771(53/2718)
Apr 05, 2019 9:06:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(57/1070) took 64114 ms. Total solver calls (SAT/UNSAT): 2972(76/2896)
Apr 05, 2019 9:06:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(59/1070) took 67899 ms. Total solver calls (SAT/UNSAT): 3101(91/3010)
Apr 05, 2019 9:06:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(62/1070) took 72012 ms. Total solver calls (SAT/UNSAT): 3241(107/3134)
Apr 05, 2019 9:06:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(65/1070) took 75555 ms. Total solver calls (SAT/UNSAT): 3370(116/3254)
Apr 05, 2019 9:06:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(68/1070) took 78991 ms. Total solver calls (SAT/UNSAT): 3500(129/3371)
Apr 05, 2019 9:06:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(71/1070) took 82679 ms. Total solver calls (SAT/UNSAT): 3653(141/3512)
Apr 05, 2019 9:06:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(76/1070) took 86381 ms. Total solver calls (SAT/UNSAT): 3832(153/3679)
Apr 05, 2019 9:06:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(81/1070) took 89786 ms. Total solver calls (SAT/UNSAT): 4000(161/3839)
Apr 05, 2019 9:06:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(83/1070) took 93310 ms. Total solver calls (SAT/UNSAT): 4144(175/3969)
Apr 05, 2019 9:06:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(85/1070) took 97683 ms. Total solver calls (SAT/UNSAT): 4351(192/4159)
Apr 05, 2019 9:07:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(87/1070) took 101590 ms. Total solver calls (SAT/UNSAT): 4554(209/4345)
Apr 05, 2019 9:07:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(89/1070) took 105398 ms. Total solver calls (SAT/UNSAT): 4753(226/4527)
Apr 05, 2019 9:07:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(91/1070) took 109144 ms. Total solver calls (SAT/UNSAT): 4948(243/4705)
Apr 05, 2019 9:07:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(93/1070) took 112819 ms. Total solver calls (SAT/UNSAT): 5139(260/4879)
Apr 05, 2019 9:07:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(95/1070) took 116715 ms. Total solver calls (SAT/UNSAT): 5326(277/5049)
Apr 05, 2019 9:07:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(97/1070) took 120140 ms. Total solver calls (SAT/UNSAT): 5509(294/5215)
Apr 05, 2019 9:07:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(100/1070) took 123751 ms. Total solver calls (SAT/UNSAT): 5688(302/5386)
Apr 05, 2019 9:07:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(103/1070) took 127170 ms. Total solver calls (SAT/UNSAT): 5862(316/5546)
Apr 05, 2019 9:07:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(106/1070) took 130448 ms. Total solver calls (SAT/UNSAT): 6027(329/5698)
Apr 05, 2019 9:07:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(110/1070) took 134718 ms. Total solver calls (SAT/UNSAT): 6247(354/5893)
Apr 05, 2019 9:07:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(113/1070) took 137898 ms. Total solver calls (SAT/UNSAT): 6408(362/6046)
Apr 05, 2019 9:07:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(116/1070) took 141687 ms. Total solver calls (SAT/UNSAT): 6601(371/6230)
Apr 05, 2019 9:07:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(119/1070) took 146138 ms. Total solver calls (SAT/UNSAT): 6831(393/6438)
Apr 05, 2019 9:07:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(121/1070) took 149502 ms. Total solver calls (SAT/UNSAT): 6998(401/6597)
Apr 05, 2019 9:07:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(123/1070) took 152783 ms. Total solver calls (SAT/UNSAT): 7161(409/6752)
Apr 05, 2019 9:07:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(126/1070) took 156279 ms. Total solver calls (SAT/UNSAT): 7329(412/6917)
Apr 05, 2019 9:08:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(130/1070) took 160350 ms. Total solver calls (SAT/UNSAT): 7539(434/7105)
Apr 05, 2019 9:08:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(133/1070) took 163739 ms. Total solver calls (SAT/UNSAT): 7716(443/7273)
Apr 05, 2019 9:08:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(136/1070) took 167798 ms. Total solver calls (SAT/UNSAT): 7910(454/7456)
Apr 05, 2019 9:08:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(140/1070) took 171839 ms. Total solver calls (SAT/UNSAT): 8094(466/7628)
Apr 05, 2019 9:08:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(143/1070) took 175355 ms. Total solver calls (SAT/UNSAT): 8280(480/7800)
Apr 05, 2019 9:08:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(146/1070) took 178650 ms. Total solver calls (SAT/UNSAT): 8457(493/7964)
Apr 05, 2019 9:08:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(155/1070) took 182194 ms. Total solver calls (SAT/UNSAT): 8833(510/8323)
Apr 05, 2019 9:08:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(160/1070) took 185395 ms. Total solver calls (SAT/UNSAT): 9037(536/8501)
Apr 05, 2019 9:08:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(166/1070) took 189043 ms. Total solver calls (SAT/UNSAT): 9274(545/8729)
Apr 05, 2019 9:08:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(170/1070) took 193883 ms. Total solver calls (SAT/UNSAT): 9484(562/8922)
Apr 05, 2019 9:08:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(172/1070) took 198414 ms. Total solver calls (SAT/UNSAT): 9699(579/9120)
Apr 05, 2019 9:08:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(174/1070) took 202879 ms. Total solver calls (SAT/UNSAT): 9910(596/9314)
Apr 05, 2019 9:08:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(176/1070) took 207147 ms. Total solver calls (SAT/UNSAT): 10117(613/9504)
Apr 05, 2019 9:08:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(178/1070) took 211299 ms. Total solver calls (SAT/UNSAT): 10320(630/9690)
Apr 05, 2019 9:08:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(181/1070) took 216314 ms. Total solver calls (SAT/UNSAT): 10617(654/9963)
Apr 05, 2019 9:09:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(183/1070) took 220450 ms. Total solver calls (SAT/UNSAT): 10810(673/10137)
Apr 05, 2019 9:09:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(185/1070) took 224130 ms. Total solver calls (SAT/UNSAT): 10999(688/10311)
Apr 05, 2019 9:09:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(190/1070) took 227132 ms. Total solver calls (SAT/UNSAT): 11146(701/10445)
Apr 05, 2019 9:09:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(193/1070) took 230774 ms. Total solver calls (SAT/UNSAT): 11323(721/10602)
Apr 05, 2019 9:09:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(196/1070) took 233951 ms. Total solver calls (SAT/UNSAT): 11475(729/10746)
Apr 05, 2019 9:09:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(199/1070) took 238100 ms. Total solver calls (SAT/UNSAT): 11691(745/10946)
Apr 05, 2019 9:09:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(202/1070) took 242217 ms. Total solver calls (SAT/UNSAT): 11898(757/11141)
Apr 05, 2019 9:09:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(206/1070) took 246618 ms. Total solver calls (SAT/UNSAT): 12100(777/11323)
Apr 05, 2019 9:09:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(211/1070) took 249817 ms. Total solver calls (SAT/UNSAT): 12383(789/11594)
Apr 05, 2019 9:09:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(217/1070) took 254058 ms. Total solver calls (SAT/UNSAT): 12684(808/11876)
Apr 05, 2019 9:09:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(220/1070) took 258437 ms. Total solver calls (SAT/UNSAT): 12909(811/12098)
Apr 05, 2019 9:09:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(223/1070) took 262414 ms. Total solver calls (SAT/UNSAT): 13107(817/12290)
Apr 05, 2019 9:09:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(225/1070) took 265483 ms. Total solver calls (SAT/UNSAT): 13264(823/12441)
Apr 05, 2019 9:09:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(227/1070) took 269056 ms. Total solver calls (SAT/UNSAT): 13447(832/12615)
Apr 05, 2019 9:09:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(229/1070) took 272631 ms. Total solver calls (SAT/UNSAT): 13626(843/12783)
Apr 05, 2019 9:09:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(231/1070) took 275823 ms. Total solver calls (SAT/UNSAT): 13801(853/12948)
Apr 05, 2019 9:10:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(233/1070) took 279327 ms. Total solver calls (SAT/UNSAT): 13972(862/13110)
Apr 05, 2019 9:10:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(235/1070) took 282634 ms. Total solver calls (SAT/UNSAT): 14139(873/13266)
Apr 05, 2019 9:10:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(237/1070) took 285878 ms. Total solver calls (SAT/UNSAT): 14302(882/13420)
Apr 05, 2019 9:10:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(239/1070) took 289153 ms. Total solver calls (SAT/UNSAT): 14461(891/13570)
Apr 05, 2019 9:10:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(242/1070) took 293342 ms. Total solver calls (SAT/UNSAT): 14692(904/13788)
Apr 05, 2019 9:10:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(244/1070) took 296529 ms. Total solver calls (SAT/UNSAT): 14841(913/13928)
Apr 05, 2019 9:10:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(247/1070) took 300661 ms. Total solver calls (SAT/UNSAT): 15057(925/14132)
Apr 05, 2019 9:10:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(250/1070) took 304786 ms. Total solver calls (SAT/UNSAT): 15276(946/14330)
Apr 05, 2019 9:10:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(253/1070) took 308467 ms. Total solver calls (SAT/UNSAT): 15468(961/14507)
Apr 05, 2019 9:10:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(256/1070) took 312707 ms. Total solver calls (SAT/UNSAT): 15675(986/14689)
Apr 05, 2019 9:10:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(259/1070) took 316991 ms. Total solver calls (SAT/UNSAT): 15891(1011/14880)
Apr 05, 2019 9:10:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(262/1070) took 321298 ms. Total solver calls (SAT/UNSAT): 16106(1025/15081)
Apr 05, 2019 9:10:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(265/1070) took 325586 ms. Total solver calls (SAT/UNSAT): 16328(1039/15289)
Apr 05, 2019 9:10:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(268/1070) took 329902 ms. Total solver calls (SAT/UNSAT): 16549(1070/15479)
Apr 05, 2019 9:10:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(271/1070) took 334187 ms. Total solver calls (SAT/UNSAT): 16753(1085/15668)
Apr 05, 2019 9:11:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(274/1070) took 338255 ms. Total solver calls (SAT/UNSAT): 16960(1088/15872)
Apr 05, 2019 9:11:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(276/1070) took 341391 ms. Total solver calls (SAT/UNSAT): 17097(1101/15996)
Apr 05, 2019 9:11:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(278/1070) took 344519 ms. Total solver calls (SAT/UNSAT): 17238(1116/16122)
Apr 05, 2019 9:11:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(280/1070) took 347695 ms. Total solver calls (SAT/UNSAT): 17391(1133/16258)
Apr 05, 2019 9:11:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(282/1070) took 351235 ms. Total solver calls (SAT/UNSAT): 17540(1135/16405)
Apr 05, 2019 9:11:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(284/1070) took 354871 ms. Total solver calls (SAT/UNSAT): 17685(1137/16548)
Apr 05, 2019 9:11:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(286/1070) took 358590 ms. Total solver calls (SAT/UNSAT): 17858(1147/16711)
Apr 05, 2019 9:11:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(288/1070) took 361724 ms. Total solver calls (SAT/UNSAT): 18003(1157/16846)
Apr 05, 2019 9:11:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(290/1070) took 364742 ms. Total solver calls (SAT/UNSAT): 18152(1169/16983)
Apr 05, 2019 9:11:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(292/1070) took 368171 ms. Total solver calls (SAT/UNSAT): 18321(1181/17140)
Apr 05, 2019 9:11:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(296/1070) took 372494 ms. Total solver calls (SAT/UNSAT): 18529(1189/17340)
Apr 05, 2019 9:11:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(298/1070) took 375572 ms. Total solver calls (SAT/UNSAT): 18672(1196/17476)
Apr 05, 2019 9:11:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(301/1070) took 379950 ms. Total solver calls (SAT/UNSAT): 18879(1199/17680)
Apr 05, 2019 9:11:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(305/1070) took 383855 ms. Total solver calls (SAT/UNSAT): 19063(1206/17857)
Apr 05, 2019 9:11:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(309/1070) took 387290 ms. Total solver calls (SAT/UNSAT): 19235(1231/18004)
Apr 05, 2019 9:11:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(312/1070) took 391441 ms. Total solver calls (SAT/UNSAT): 19439(1237/18202)
Apr 05, 2019 9:11:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(316/1070) took 395403 ms. Total solver calls (SAT/UNSAT): 19635(1248/18387)
Apr 05, 2019 9:12:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(320/1070) took 398707 ms. Total solver calls (SAT/UNSAT): 19795(1281/18514)
Apr 05, 2019 9:12:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(324/1070) took 402298 ms. Total solver calls (SAT/UNSAT): 19974(1302/18672)
Apr 05, 2019 9:12:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(327/1070) took 405430 ms. Total solver calls (SAT/UNSAT): 20124(1312/18812)
Apr 05, 2019 9:12:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(331/1070) took 408508 ms. Total solver calls (SAT/UNSAT): 20284(1321/18963)
Apr 05, 2019 9:12:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(339/1070) took 411699 ms. Total solver calls (SAT/UNSAT): 20774(1360/19414)
Apr 05, 2019 9:12:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(344/1070) took 415259 ms. Total solver calls (SAT/UNSAT): 20976(1381/19595)
Apr 05, 2019 9:12:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(348/1070) took 419162 ms. Total solver calls (SAT/UNSAT): 21162(1390/19772)
Apr 05, 2019 9:12:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(353/1070) took 422415 ms. Total solver calls (SAT/UNSAT): 21319(1397/19922)
Apr 05, 2019 9:12:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(361/1070) took 425614 ms. Total solver calls (SAT/UNSAT): 21827(1422/20405)
Apr 05, 2019 9:12:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(368/1070) took 429677 ms. Total solver calls (SAT/UNSAT): 22223(1441/20782)
Apr 05, 2019 9:12:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(375/1070) took 433646 ms. Total solver calls (SAT/UNSAT): 22558(1471/21087)
Apr 05, 2019 9:12:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(378/1070) took 436803 ms. Total solver calls (SAT/UNSAT): 22721(1488/21233)
Apr 05, 2019 9:12:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(381/1070) took 439846 ms. Total solver calls (SAT/UNSAT): 22881(1506/21375)
Apr 05, 2019 9:12:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(385/1070) took 444067 ms. Total solver calls (SAT/UNSAT): 23097(1531/21566)
Apr 05, 2019 9:12:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(388/1070) took 448031 ms. Total solver calls (SAT/UNSAT): 23302(1542/21760)
Apr 05, 2019 9:12:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(393/1070) took 451349 ms. Total solver calls (SAT/UNSAT): 23601(1549/22052)
Apr 05, 2019 9:12:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(398/1070) took 455180 ms. Total solver calls (SAT/UNSAT): 23855(1570/22285)
Apr 05, 2019 9:13:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(401/1070) took 458787 ms. Total solver calls (SAT/UNSAT): 24029(1582/22447)
Apr 05, 2019 9:13:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(404/1070) took 462350 ms. Total solver calls (SAT/UNSAT): 24194(1585/22609)
Apr 05, 2019 9:13:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(408/1070) took 465451 ms. Total solver calls (SAT/UNSAT): 24352(1591/22761)
Apr 05, 2019 9:13:11 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(412/1070) took 469311 ms. Total solver calls (SAT/UNSAT): 24534(1599/22935)
Apr 05, 2019 9:13:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(418/1070) took 472606 ms. Total solver calls (SAT/UNSAT): 24697(1622/23075)
Apr 05, 2019 9:13:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(424/1070) took 475848 ms. Total solver calls (SAT/UNSAT): 24844(1637/23207)
Apr 05, 2019 9:13:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(429/1070) took 479272 ms. Total solver calls (SAT/UNSAT): 25002(1651/23351)
Apr 05, 2019 9:13:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(435/1070) took 482671 ms. Total solver calls (SAT/UNSAT): 25173(1666/23507)
Apr 05, 2019 9:13:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(447/1070) took 485991 ms. Total solver calls (SAT/UNSAT): 25327(1688/23639)
Apr 05, 2019 9:13:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(460/1070) took 489127 ms. Total solver calls (SAT/UNSAT): 25474(1695/23779)
Apr 05, 2019 9:13:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(472/1070) took 492251 ms. Total solver calls (SAT/UNSAT): 25606(1713/23893)
Apr 05, 2019 9:13:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(476/1070) took 496055 ms. Total solver calls (SAT/UNSAT): 25774(1735/24039)
Apr 05, 2019 9:13:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(480/1070) took 499779 ms. Total solver calls (SAT/UNSAT): 25944(1757/24187)
Apr 05, 2019 9:13:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(486/1070) took 503258 ms. Total solver calls (SAT/UNSAT): 26099(1776/24323)
Apr 05, 2019 9:13:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(490/1070) took 506329 ms. Total solver calls (SAT/UNSAT): 26237(1782/24455)
Apr 05, 2019 9:13:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(495/1070) took 509553 ms. Total solver calls (SAT/UNSAT): 26387(1784/24603)
Apr 05, 2019 9:13:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(501/1070) took 512891 ms. Total solver calls (SAT/UNSAT): 26582(1815/24767)
Apr 05, 2019 9:13:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(511/1070) took 516526 ms. Total solver calls (SAT/UNSAT): 26907(1836/25071)
Apr 05, 2019 9:14:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(519/1070) took 519934 ms. Total solver calls (SAT/UNSAT): 27063(1864/25199)
Apr 05, 2019 9:14:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(526/1070) took 523175 ms. Total solver calls (SAT/UNSAT): 27203(1868/25335)
Apr 05, 2019 9:14:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(535/1070) took 526662 ms. Total solver calls (SAT/UNSAT): 27359(1880/25479)
Apr 05, 2019 9:14:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(543/1070) took 529954 ms. Total solver calls (SAT/UNSAT): 27515(1884/25631)
Apr 05, 2019 9:14:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(560/1070) took 533561 ms. Total solver calls (SAT/UNSAT): 27664(1899/25765)
Apr 05, 2019 9:14:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(566/1070) took 536846 ms. Total solver calls (SAT/UNSAT): 27811(1916/25895)
Apr 05, 2019 9:14:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(573/1070) took 540247 ms. Total solver calls (SAT/UNSAT): 27958(1939/26019)
Apr 05, 2019 9:14:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(580/1070) took 543321 ms. Total solver calls (SAT/UNSAT): 28098(1959/26139)
Apr 05, 2019 9:14:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(591/1070) took 546406 ms. Total solver calls (SAT/UNSAT): 28235(1972/26263)
Apr 05, 2019 9:14:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(606/1070) took 549694 ms. Total solver calls (SAT/UNSAT): 28369(1980/26389)
Apr 05, 2019 9:14:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(610/1070) took 552742 ms. Total solver calls (SAT/UNSAT): 28507(2008/26499)
Apr 05, 2019 9:14:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(617/1070) took 556277 ms. Total solver calls (SAT/UNSAT): 28664(2025/26639)
Apr 05, 2019 9:14:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(622/1070) took 559570 ms. Total solver calls (SAT/UNSAT): 28821(2040/26781)
Apr 05, 2019 9:14:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(626/1070) took 562788 ms. Total solver calls (SAT/UNSAT): 28967(2060/26907)
Apr 05, 2019 9:14:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(631/1070) took 565979 ms. Total solver calls (SAT/UNSAT): 29127(2072/27055)
Apr 05, 2019 9:14:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(639/1070) took 569434 ms. Total solver calls (SAT/UNSAT): 29291(2092/27199)
Apr 05, 2019 9:14:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(646/1070) took 572699 ms. Total solver calls (SAT/UNSAT): 29445(2108/27337)
Apr 05, 2019 9:14:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(656/1070) took 576023 ms. Total solver calls (SAT/UNSAT): 29612(2121/27491)
Apr 05, 2019 9:15:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(664/1070) took 579402 ms. Total solver calls (SAT/UNSAT): 29776(2125/27651)
Apr 05, 2019 9:15:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(678/1070) took 582514 ms. Total solver calls (SAT/UNSAT): 29909(2132/27777)
Apr 05, 2019 9:15:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(684/1070) took 585953 ms. Total solver calls (SAT/UNSAT): 30074(2163/27911)
Apr 05, 2019 9:15:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(688/1070) took 589747 ms. Total solver calls (SAT/UNSAT): 30264(2177/28087)
Apr 05, 2019 9:15:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(692/1070) took 593334 ms. Total solver calls (SAT/UNSAT): 30446(2219/28227)
Apr 05, 2019 9:15:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(697/1070) took 596903 ms. Total solver calls (SAT/UNSAT): 30624(2249/28375)
Apr 05, 2019 9:15:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(702/1070) took 600458 ms. Total solver calls (SAT/UNSAT): 30809(2284/28525)
Apr 05, 2019 9:15:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(706/1070) took 604306 ms. Total solver calls (SAT/UNSAT): 31003(2294/28709)
Apr 05, 2019 9:15:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(710/1070) took 607962 ms. Total solver calls (SAT/UNSAT): 31185(2326/28859)
Apr 05, 2019 9:15:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(714/1070) took 611712 ms. Total solver calls (SAT/UNSAT): 31363(2356/29007)
Apr 05, 2019 9:15:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(718/1070) took 614983 ms. Total solver calls (SAT/UNSAT): 31521(2380/29141)
Apr 05, 2019 9:15:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(723/1070) took 618350 ms. Total solver calls (SAT/UNSAT): 31681(2390/29291)
Apr 05, 2019 9:15:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(729/1070) took 621650 ms. Total solver calls (SAT/UNSAT): 31840(2425/29415)
Apr 05, 2019 9:15:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(734/1070) took 625360 ms. Total solver calls (SAT/UNSAT): 32025(2440/29585)
Apr 05, 2019 9:15:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(739/1070) took 628863 ms. Total solver calls (SAT/UNSAT): 32185(2442/29743)
Apr 05, 2019 9:15:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(744/1070) took 632143 ms. Total solver calls (SAT/UNSAT): 32344(2465/29879)
Apr 05, 2019 9:15:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(749/1070) took 635395 ms. Total solver calls (SAT/UNSAT): 32494(2487/30007)
Apr 05, 2019 9:16:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(755/1070) took 638400 ms. Total solver calls (SAT/UNSAT): 32641(2530/30111)
Apr 05, 2019 9:16:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(760/1070) took 641696 ms. Total solver calls (SAT/UNSAT): 32796(2545/30251)
Apr 05, 2019 9:16:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(765/1070) took 645023 ms. Total solver calls (SAT/UNSAT): 32966(2547/30419)
Apr 05, 2019 9:16:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(770/1070) took 648224 ms. Total solver calls (SAT/UNSAT): 33111(2556/30555)
Apr 05, 2019 9:16:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(777/1070) took 651710 ms. Total solver calls (SAT/UNSAT): 33272(2577/30695)
Apr 05, 2019 9:16:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(786/1070) took 655695 ms. Total solver calls (SAT/UNSAT): 33443(2606/30837)
Apr 05, 2019 9:16:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(789/1070) took 658982 ms. Total solver calls (SAT/UNSAT): 33578(2607/30971)
Apr 05, 2019 9:16:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(793/1070) took 662686 ms. Total solver calls (SAT/UNSAT): 33744(2609/31135)
Apr 05, 2019 9:16:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(797/1070) took 665929 ms. Total solver calls (SAT/UNSAT): 33894(2611/31283)
Apr 05, 2019 9:16:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(802/1070) took 669283 ms. Total solver calls (SAT/UNSAT): 34059(2614/31445)
Apr 05, 2019 9:16:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(809/1070) took 672958 ms. Total solver calls (SAT/UNSAT): 34248(2617/31631)
Apr 05, 2019 9:16:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(823/1070) took 676069 ms. Total solver calls (SAT/UNSAT): 34479(2624/31855)
Apr 05, 2019 9:16:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(835/1070) took 679090 ms. Total solver calls (SAT/UNSAT): 34601(2630/31971)
Apr 05, 2019 9:16:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(840/1070) took 682334 ms. Total solver calls (SAT/UNSAT): 34752(2673/32079)
Apr 05, 2019 9:16:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(849/1070) took 685498 ms. Total solver calls (SAT/UNSAT): 34964(2717/32247)
Apr 05, 2019 9:16:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(859/1070) took 688675 ms. Total solver calls (SAT/UNSAT): 35197(2758/32439)
Apr 05, 2019 9:16:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(867/1070) took 692076 ms. Total solver calls (SAT/UNSAT): 35345(2778/32567)
Apr 05, 2019 9:16:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(877/1070) took 695525 ms. Total solver calls (SAT/UNSAT): 35534(2815/32719)
Apr 05, 2019 9:17:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(886/1070) took 698934 ms. Total solver calls (SAT/UNSAT): 35697(2828/32869)
Apr 05, 2019 9:17:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(894/1070) took 702110 ms. Total solver calls (SAT/UNSAT): 35845(2832/33013)
Apr 05, 2019 9:17:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(910/1070) took 705440 ms. Total solver calls (SAT/UNSAT): 35989(2840/33149)
Apr 05, 2019 9:17:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(915/1070) took 708535 ms. Total solver calls (SAT/UNSAT): 36137(2862/33275)
Apr 05, 2019 9:17:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(924/1070) took 711951 ms. Total solver calls (SAT/UNSAT): 36302(2881/33421)
Apr 05, 2019 9:17:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(930/1070) took 715030 ms. Total solver calls (SAT/UNSAT): 36451(2894/33557)
Apr 05, 2019 9:17:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(938/1070) took 718192 ms. Total solver calls (SAT/UNSAT): 36599(2902/33697)
Apr 05, 2019 9:17:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(958/1070) took 721991 ms. Total solver calls (SAT/UNSAT): 36765(2926/33839)
Apr 05, 2019 9:17:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(962/1070) took 725042 ms. Total solver calls (SAT/UNSAT): 36911(2952/33959)
Apr 05, 2019 9:17:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(969/1070) took 728091 ms. Total solver calls (SAT/UNSAT): 37064(2981/34083)
Apr 05, 2019 9:17:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(975/1070) took 731247 ms. Total solver calls (SAT/UNSAT): 37259(3016/34243)
Apr 05, 2019 9:17:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(981/1070) took 734610 ms. Total solver calls (SAT/UNSAT): 37418(3039/34379)
Apr 05, 2019 9:17:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(987/1070) took 737639 ms. Total solver calls (SAT/UNSAT): 37573(3054/34519)
Apr 05, 2019 9:17:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(992/1070) took 741043 ms. Total solver calls (SAT/UNSAT): 37740(3069/34671)
Apr 05, 2019 9:17:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(997/1070) took 744175 ms. Total solver calls (SAT/UNSAT): 37890(3079/34811)
Apr 05, 2019 9:17:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1004/1070) took 747208 ms. Total solver calls (SAT/UNSAT): 38042(3095/34947)
Apr 05, 2019 9:17:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1014/1070) took 750371 ms. Total solver calls (SAT/UNSAT): 38197(3104/35093)
Apr 05, 2019 9:17:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1024/1070) took 753651 ms. Total solver calls (SAT/UNSAT): 38336(3113/35223)
Apr 05, 2019 9:17:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1045/1070) took 756964 ms. Total solver calls (SAT/UNSAT): 38538(3147/35391)
Apr 05, 2019 9:18:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(1056/1070) took 760013 ms. Total solver calls (SAT/UNSAT): 38672(3169/35503)
Apr 05, 2019 9:18:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished co-enabling matrix. took 761645 ms. Total solver calls (SAT/UNSAT): 38750(3175/35575)
Apr 05, 2019 9:18:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 1070 transitions.
Apr 05, 2019 9:18:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed DNA matrix. took 295 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 9:18:04 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 778172ms 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-6B"
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-6B, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r184-csrt-155344538000336"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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