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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15903.180 3600000.00 13946139.00 382.80 [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-155344537900282.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool itstools
Input is NoC3x3-PT-3B, examination is GlobalProperties
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r184-csrt-155344537900282
=====================================================================

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

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

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1554501618889

Working with output stream class java.io.PrintStream
Flatten gal took : 1234 ms
Constant places removed 1 places and 1 transitions.
Implicit places reduction removed 5 places :[p1543, p734, p553, p521, p186]
Performed 981 Post agglomeration using F-continuation condition.
Iterating post reduction 0 with 987 rules applied. Total rules applied 987 place count 2111 transition count 1453
Constant places removed 983 places and 2 transitions.
Reduce isomorphic transitions removed 3 transitions.
Performed 3 Post agglomeration using F-continuation condition.
Iterating post reduction 1 with 989 rules applied. Total rules applied 1976 place count 1128 transition count 1445
Constant places removed 12 places and 0 transitions.
Performed 24 Post agglomeration using F-continuation condition.
Iterating post reduction 2 with 36 rules applied. Total rules applied 2012 place count 1116 transition count 1421
Constant places removed 24 places and 0 transitions.
Reduce isomorphic transitions removed 24 transitions.
Iterating post reduction 3 with 48 rules applied. Total rules applied 2060 place count 1092 transition count 1397
Performed 33 Pre agglomeration using Quasi-Persistent + HF-interchangeable + Divergent Free condition.
Pre-agglomeration after 4 with 33 Pre rules applied. Total rules applied 2060 place count 1092 transition count 1364
Constant places removed 33 places and 0 transitions.
Iterating post reduction 4 with 33 rules applied. Total rules applied 2093 place count 1059 transition count 1364
Symmetric choice reduction at 5 with 128 rule applications. Total rules 2221 place count 1059 transition count 1364
Constant places removed 128 places and 128 transitions.
Iterating post reduction 5 with 128 rules applied. Total rules applied 2349 place count 931 transition count 1236
Performed 8 Pre agglomeration using Quasi-Persistent + HF-interchangeable + Divergent Free condition.
Pre-agglomeration after 6 with 8 Pre rules applied. Total rules applied 2349 place count 931 transition count 1228
Constant places removed 8 places and 0 transitions.
Iterating post reduction 6 with 8 rules applied. Total rules applied 2357 place count 923 transition count 1228
Symmetric choice reduction at 7 with 140 rule applications. Total rules 2497 place count 923 transition count 1228
Constant places removed 140 places and 156 transitions.
Performed 9 Post agglomeration using F-continuation condition.
Iterating post reduction 7 with 149 rules applied. Total rules applied 2646 place count 783 transition count 1063
Constant places removed 9 places and 0 transitions.
Iterating post reduction 8 with 9 rules applied. Total rules applied 2655 place count 774 transition count 1063
Symmetric choice reduction at 9 with 58 rule applications. Total rules 2713 place count 774 transition count 1063
Constant places removed 58 places and 108 transitions.
Reduce isomorphic transitions removed 16 transitions.
Implicit places reduction removed 2 places :[p1695, p556]
Performed 3 Post agglomeration using F-continuation condition.
Iterating post reduction 9 with 79 rules applied. Total rules applied 2792 place count 714 transition count 936
Constant places removed 3 places and 0 transitions.
Iterating post reduction 10 with 3 rules applied. Total rules applied 2795 place count 711 transition count 936
Symmetric choice reduction at 11 with 42 rule applications. Total rules 2837 place count 711 transition count 936
Constant places removed 42 places and 42 transitions.
Implicit places reduction removed 4 places :[p1988, p1985, p1665, p1233]
Performed 4 Post agglomeration using F-continuation condition.
Iterating post reduction 11 with 50 rules applied. Total rules applied 2887 place count 665 transition count 890
Constant places removed 4 places and 0 transitions.
Iterating post reduction 12 with 4 rules applied. Total rules applied 2891 place count 661 transition count 890
Symmetric choice reduction at 13 with 31 rule applications. Total rules 2922 place count 661 transition count 890
Constant places removed 31 places and 62 transitions.
Iterating post reduction 13 with 31 rules applied. Total rules applied 2953 place count 630 transition count 828
Symmetric choice reduction at 14 with 31 rule applications. Total rules 2984 place count 630 transition count 828
Constant places removed 31 places and 31 transitions.
Reduce isomorphic transitions removed 31 transitions.
Implicit places reduction removed 5 places :[p1978, p1975, p1684, p1678, p1220]
Performed 5 Post agglomeration using F-continuation condition.
Iterating post reduction 14 with 72 rules applied. Total rules applied 3056 place count 594 transition count 761
Constant places removed 5 places and 0 transitions.
Iterating post reduction 15 with 5 rules applied. Total rules applied 3061 place count 589 transition count 761
Performed 182 Post agglomeration using F-continuation condition.
Constant places removed 182 places and 0 transitions.
Iterating post reduction 16 with 182 rules applied. Total rules applied 3243 place count 407 transition count 579
Symmetric choice reduction at 17 with 15 rule applications. Total rules 3258 place count 407 transition count 579
Constant places removed 15 places and 15 transitions.
Iterating post reduction 17 with 15 rules applied. Total rules applied 3273 place count 392 transition count 564
Symmetric choice reduction at 18 with 11 rule applications. Total rules 3284 place count 392 transition count 564
Constant places removed 11 places and 22 transitions.
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 18 with 13 rules applied. Total rules applied 3297 place count 381 transition count 540
Symmetric choice reduction at 19 with 2 rule applications. Total rules 3299 place count 381 transition count 540
Constant places removed 2 places and 10 transitions.
Iterating post reduction 19 with 2 rules applied. Total rules applied 3301 place count 379 transition count 530
Performed 22 Post agglomeration using F-continuation condition.
Constant places removed 22 places and 0 transitions.
Iterating post reduction 20 with 22 rules applied. Total rules applied 3323 place count 357 transition count 599
Applied a total of 3323 rules in 2045 ms. Remains 357 /2117 variables (removed 1760) and now considering 599/2435 (removed 1836) transitions.
Normalized transition count is 535
// Phase 1: matrix 535 rows 357 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]
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.

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
Normalized transition count is 535
// Phase 1: matrix 535 rows 357 cols
invariant :p887 + p889 + p893 + p895 + p911 + p919 + p929 + p931 + p941 + p943 + p949 = 1
invariant :p744 + p747 + p749 + p752 + p754 + p757 + p759 + p762 + p764 = 1
invariant :p76 + p79 + p81 + p84 + p86 = 1
invariant :p664 + p666 + p670 + p672 + p678 + p682 + p684 + p696 + p706 + p708 + p716 = 1
invariant :p385 + p388 + p390 + p393 + p395 + p398 + p400 = 1
invariant :p1364 + p1366 + p1370 + p1372 + p1394 + p1396 + p1456 = 1
invariant :p473 + p475 + p479 + p481 + p491 + p493 + p513 = 1
invariant :p1115 + p1117 + p1121 + p1123 + p1133 + p1135 + p1141 + p1145 + p1147 + p1159 + p1165 + p1169 + p1171 + p1183 + p1195 + p1207 + p1215 = 1
invariant :p525 + p529 + p531 + p535 + p537 + p541 + p543 + p547 + p549 = 1
invariant :p304 + p308 + p320 + p325 = 1
invariant :p637 + p641 + p652 + p658 = 1
invariant :p65 + p68 + p70 + p73 + p75 = 1
invariant :p158 + p162 + p164 + p168 + p170 + p174 + p176 + p180 + p182 = 1
invariant :p217 + p219 + p223 + p225 + p247 + p249 + p255 = 1
invariant :p1758 + p1760 + p1764 + p1766 + p1776 + p1778 + p1796 = 1
invariant :p765 + p766 + p770 + p771 + p775 + p776 + p780 + p781 + p785 = 1
invariant :p1717 + p1732 + p1734 + p1752 = 1
invariant :p1568 + p1570 + p1574 + p1576 + p1586 + p1588 + p1608 = 1
invariant :p440 + p444 + p455 + p459 + p461 + p467 = 1
invariant :p260 + p264 + p266 + p270 + p287 + p291 + p293 + p299 = 1
invariant :p128 + p130 + p134 + p136 + p146 + p148 + p156 = 1
invariant :p1240 + p1242 + p1243 + p1246 + p1249 = 1
invariant :p1896 + p1900 + p1902 + p1920 + p1924 + p1926 + p1938 + p1970 = 1
invariant :p718 + p720 + p721 + p724 + p727 + p730 = 1
invariant :p1258 + p1260 + p1264 + p1266 + p1276 + p1278 + p1308 = 1
invariant :p94 + p102 + p108 = 1
invariant :p954 + p958 + p960 + p964 + p978 + p982 + p1005 + p1017 + p1023 = 1
invariant :p401 + p403 + p404 + p407 = 1
invariant :p1462 + p1464 + p1468 + p1470 + p1480 + p1482 + p1488 + p1492 + p1494 + p1506 + p1538 = 1
invariant :p1801 + p1805 + p1807 + p1811 + p1816 + p1820 + p1822 + p1852 + p1870 + p1888 = 1
invariant :p795 + p797 + p801 + p803 + p837 + p839 + p851 + p881 = 1
invariant :p193 + p196 + p198 + p201 + p203 + p206 + p208 = 1
invariant :p414 + p418 + p435 = 1
invariant :p1028 + p1032 + p1034 + p1038 + p1046 + p1050 + p1061 + p1073 + p1109 = 1
invariant :p2005 + p2007 + p2025 = 1
invariant :p2037 + p2039 + p2057 = 1
invariant :p113 + p117 + p122 = 1
invariant :p567 + p571 + p582 + p588 = 1
invariant :p593 + p597 + p603 + p620 + p624 + p626 + p632 = 1
invariant :p1613 + p1617 + p1640 = 1
invariant :p331 + p333 + p337 + p339 + p349 + p351 + p357 + p361 + p363 + p375 + p383 = 1
invariant :p1550 + p1553 + p1555 + p1558 + p1560 = 1
invariant :p1646 + p1652 + p1654 + p1660 = 1
invariant :p2063 + p2065 + p2069 + p2071 + p2093 + p2095 + p2115 = 1
invariant :p1313 + p1317 + p1326 + p1328 + p1340 + p1358 = 1
No direction supplied, using forward translation only.
built 2 ordering constraints for composite.
built 612 ordering constraints for composite.
built 607 ordering constraints for composite.
built 602 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 13191 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 109 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]
sparsehash FATAL ERROR: failed to allocate 29 groups

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 10:00:27 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 10:00:27 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Apr 05, 2019 10:00:28 PM fr.lip6.move.gal.nupn.PTNetReader loadFromXML
INFO: Load time of PNML (sax parser for PT used): 510 ms
Apr 05, 2019 10:00:28 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2117 places.
Apr 05, 2019 10:00:28 PM fr.lip6.move.gal.pnml.togal.PTGALTransformer handlePage
INFO: Transformed 2435 transitions.
Apr 05, 2019 10:00:28 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Found NUPN structural information;
Apr 05, 2019 10:00:29 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 136 ms
Apr 05, 2019 10:00:30 PM fr.lip6.move.gal.instantiate.PropertySimplifier evalInInitialState
WARNING: Unexpected boolean logic operator in evalInInitialState fr.lip6.move.gal.impl.EXImpl
Apr 05, 2019 10:00:30 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-3B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:00:30 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1228 ms
Apr 05, 2019 10:00:30 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.simple.gal : 19 ms
Apr 05, 2019 10:00:31 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 2435 transitions.
Apr 05, 2019 10:00:35 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Apr 05, 2019 10:00:35 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-3B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:00:35 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 432 ms
Apr 05, 2019 10:00:35 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-3B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:00:36 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 165 ms
Apr 05, 2019 10:00:36 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Apr 05, 2019 10:00:36 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays to variables to allow decomposition.
Apr 05, 2019 10:00:36 PM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was already deterministic with 599 transitions.
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t1998.t1375,t1998.t1375,t1998.t1375,t2144.t1401,t2144.t1401,t2144.t1401,t2020.t1430.t1483.t1486,t2020.t1430.t1483.t1486,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :t2196.t1341.t1067.t1068.t2200.t1167.t1069,t2196.t1341.t1067.t1070.t1071,t2196.t1341.t1067.t1077.t1078,t2196.t1341.t1067.t1084.t1085,t2196.t1341.t1067.t1091.t1092,t2196.t1341.t1067.t1068.t2200.t1167.t1069,t2196.t1341.t1067.t1070.t1071,t2196.t1341.t1067.t1077.t1078,t2196.t1341.t1067.t1084.t1085,t2196.t1341.t1067.t1091.t1092,t2196.t1341.t1067.t1068.t2200.t1167.t1069,t2196.t1341.t1067.t1070.t1071,t2196.t1341.t1067.t1077.t1078,t2196.t1341.t1067.t1084.t1085,t2196.t1341.t1067.t1091.t1092,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t2405.t498.t1737.t499,t2405.t500,t2405.t498.t1737.t499,t2405.t500,t2405.t498.t1737.t499,t2405.t500,t2405.t498.t1737.t499,t2405.t500,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2139.t1389.t2009.t38.t1392,t2139.t1390,t2139.t1389.t2009.t38.t1392,t2139.t1390,t2139.t1389.t2009.t38.t1392,t2139.t1390,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t2272.t1433.t829.t846.t847,t2272.t1433.t829.t846.t847,t2273.t1436.t829.t846.t847,t2273.t1436.t829.t846.t847,t2274.t1439.t829.t846.t847,t2274.t1439.t829.t846.t847,t2137.t1434.t1390,t2138.t1437.t1390,t2140.t1440.t1390,t2139.t1390,t1997.t1373,t1997.t1373,t1997.t1373,t2013.t1421,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t1847.t941,t1847.t941,t1847.t941,t1847.t941,t1847.t941,t2259.t1003,t2259.t1003,t2259.t1003,t1904.t1040,t1904.t1040,t1904.t1040,t1956.t1199.t1267.t1287,t1956.t1199.t1267.t1287,t1956.t1199.t1267.t1287,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t1965.t1232,t1965.t1232,t1965.t1232,t1979.t1295,t1979.t1295,t1979.t1295,t2151.t1347.t1630.t1633,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 34 events :t1952.t1587.t1110.t1141.t1142,t1952.t1587.t1110.t1141.t1142,t1952.t1587.t1110.t1141.t1142,t1953.t1591.t1110.t1141.t1142,t1953.t1591.t1110.t1141.t1142,t1953.t1591.t1110.t1141.t1142,t1954.t1595.t1110.t1141.t1142,t1954.t1595.t1110.t1141.t1142,t1954.t1595.t1110.t1141.t1142,t1955.t1599.t1110.t1141.t1142,t1955.t1599.t1110.t1141.t1142,t1955.t1599.t1110.t1141.t1142,t2053.t1589.t1513,t2053.t1589.t1513,t2054.t1593.t1513,t2054.t1593.t1513,t2055.t1597.t1513,t2055.t1597.t1513,t2057.t1601.t1513,t2057.t1601.t1513,t2122.t1499,t2053.t1589.t1513,t2054.t1593.t1513,t2055.t1597.t1513,t2057.t1601.t1513,t2056.t1513,t2022.t1473,t2022.t1473,t2022.t1473,t2022.t1473,t2022.t1473,t2105.t1560,t2105.t1560,t2105.t1560,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t1988.t1273.t2165.t53.t1276,t1988.t1274,t1988.t1273.t2165.t53.t1276,t1988.t1274,t1988.t1273.t2165.t53.t1276,t1988.t1274,t1988.t1273.t2165.t53.t1276,t1988.t1274,t1981.t1288.t2162.t1289,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t2177.t1258.t1977.t1259,t2177.t1260,t2177.t1258.t1977.t1259,t2177.t1260,t2177.t1258.t1977.t1259,t2177.t1260,t2177.t1258.t1977.t1259,t2177.t1260,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 9 events :t2122.t1497.t2040.t1498,t2122.t1499,t2122.t1497.t2040.t1498,t2122.t1499,t2122.t1497.t2040.t1498,t2122.t1499,t2122.t1497.t2040.t1498,t2122.t1499,t2112.t1489.t2113.t1490,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2077.t1648.t2081.t1649.t2082.t2.t1652,t2077.t1651,t2077.t1648.t2081.t1649.t2082.t2.t1652,t2077.t1651,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1752.t668.t507.t524.t525,t1752.t668.t507.t524.t525,t1751.t671.t507.t524.t525,t1751.t671.t507.t524.t525,t1762.t669.t599,t1760.t672.t599,t1761.t599,t1775.t656,t1775.t656,t1775.t656,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t2091.t1669.t1541.t1542.t2093.t1570.t1543,t2091.t1669.t1541.t1544.t1545,t2091.t1669.t1541.t1551.t1552,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t2256.t996.t1885.t997,t2256.t998,t2256.t996.t1885.t997,t2256.t998,t2256.t996.t1885.t997,t2256.t998,t2256.t996.t1885.t997,t2256.t998,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t1891.t1053.t2222.t1054,t1891.t1055,t1891.t1053.t2222.t1054,t1891.t1055,t1891.t1053.t2222.t1054,t1891.t1055,t1891.t1053.t2222.t1054,t1891.t1055,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 36 events :t2199.t1329.t1067.t1091.t1092,t2199.t1329.t1067.t1091.t1092,t2199.t1329.t1067.t1091.t1092,t2199.t1329.t1067.t1091.t1092,t2198.t1333.t1067.t1091.t1092,t2198.t1333.t1067.t1091.t1092,t2198.t1333.t1067.t1091.t1092,t2198.t1333.t1067.t1091.t1092,t2197.t1337.t1067.t1091.t1092,t2197.t1337.t1067.t1091.t1092,t2197.t1337.t1067.t1091.t1092,t2197.t1337.t1067.t1091.t1092,t2196.t1341.t1067.t1091.t1092,t2196.t1341.t1067.t1091.t1092,t2196.t1341.t1067.t1091.t1092,t2196.t1341.t1067.t1091.t1092,t1991.t1331.t1274,t1991.t1331.t1274,t1990.t1335.t1274,t1990.t1335.t1274,t1989.t1339.t1274,t1989.t1339.t1274,t1987.t1343.t1274,t1987.t1343.t1274,t2177.t1260,t1991.t1331.t1274,t1990.t1335.t1274,t1989.t1339.t1274,t1987.t1343.t1274,t1988.t1274,t1961.t1239,t1961.t1239,t1961.t1239,t1961.t1239,t1961.t1239,t2159.t1315,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 1 events :t2429.t349.t1688.t278.t352,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 11 events :t1181.t2351.t1180.t536.t537.t2355.t568.t538,t1181.t2351.t1180.t536.t539.t540,t1181.t2351.t1180.t536.t558,t1181.t2351.t1180.t536.t537.t2355.t568.t538,t1181.t2351.t1180.t536.t539.t540,t1181.t2351.t1180.t536.t558,t1181.t2351.t1180.t536.t537.t2355.t568.t538,t1181.t2351.t1180.t536.t539.t540,t1181.t2351.t1180.t536.t558,t2362.t549.t1754.t224.t552,t2366.t559.t1756.t560,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 17 events :t1855.t927,t1855.t927,t1855.t927,t1855.t927,t1855.t927,t2249.t988,t2249.t988,t2249.t988,t1888.t1060,t1888.t1060,t1888.t1060,t2212.t1086,t2212.t1086,t2212.t1086,t2188.t1204.t1506.t1526,t2188.t1204.t1506.t1526,t2188.t1204.t1506.t1526,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t2421.t869.t336.t339.t340,t1787.t723,t1787.t723,t1787.t723,t1820.t822,t1820.t822,t1820.t822,t2291.t855,t2291.t855,t2291.t855,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t2152.t1663.t1302.t1303.t2154.t1322.t1304,t2152.t1663.t1302.t1305.t1306,t2152.t1663.t1302.t1312,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :t1761.t602,t1761.t599,t1761.t602,t1761.t599,t1763.t601.t1764.t220.t603,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 3 events :t1751.t671.t507.t508.t1750.t567.t509,t1751.t671.t507.t510.t511,t1751.t671.t507.t524.t525,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 14 events :t2056.t1512.t2110.t20.t1515,t2056.t1513,t2056.t1512.t2110.t20.t1515,t2056.t1513,t2056.t1512.t2110.t20.t1515,t2056.t1513,t2056.t1512.t2110.t20.t1515,t2056.t1513,t2044.t1532.t2106.t1533,t2044.t1534,t2044.t1532.t2106.t1533,t2044.t1534,t2044.t1532.t2106.t1533,t2044.t1534,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2363.t551.t2360.t222.t552,t2363.t548,t2398.t489,t2398.t489,t2398.t489,t1757.t585.t609.t612.t613,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t1837.t1193.t795.t796.t1833.t864.t797,t1837.t1193.t795.t798.t799,t1837.t1193.t795.t812.t813,t1837.t1193.t795.t819,t1837.t1193.t795.t796.t1833.t864.t797,t1837.t1193.t795.t798.t799,t1837.t1193.t795.t812.t813,t1837.t1193.t795.t819,t1837.t1193.t795.t796.t1833.t864.t797,t1837.t1193.t795.t798.t799,t1837.t1193.t795.t812.t813,t1837.t1193.t795.t819,t1822.t815.t2293.t161.t818,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 12 events :t1955.t1599.t1110.t1111.t1951.t1168.t1112,t1955.t1599.t1110.t1113.t1114,t1955.t1599.t1110.t1127.t1128,t1955.t1599.t1110.t1141.t1142,t1955.t1599.t1110.t1111.t1951.t1168.t1112,t1955.t1599.t1110.t1113.t1114,t1955.t1599.t1110.t1127.t1128,t1955.t1599.t1110.t1141.t1142,t1955.t1599.t1110.t1111.t1951.t1168.t1112,t1955.t1599.t1110.t1113.t1114,t1955.t1599.t1110.t1127.t1128,t1955.t1599.t1110.t1141.t1142,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t1769.t1326.t594.t597.t598,t1960.t1237,t1960.t1237,t1960.t1237,t2158.t1310.t2155.t48.t1311,t2158.t1307,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t1706.t436,t1706.t436,t1706.t436,t2400.t495,t2400.t495,t2400.t495,t2400.t495,t2400.t495,t1738.t526,t1738.t526,t1738.t526,t2350.t590.t949.t985,t2350.t590.t949.t985,t2350.t590.t949.t985,t2350.t590.t949.t985,t2350.t590.t949.t985,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2274.t1439.t829.t830.t2275.t865.t831,t2274.t1439.t829.t832.t833,t2274.t1439.t829.t846.t847,t2274.t1439.t829.t830.t2275.t865.t831,t2274.t1439.t829.t832.t833,t2274.t1439.t829.t846.t847,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 15 events :t572.t1698.t571.t358.t361.t362,t575.t1699.t574.t358.t361.t362,t578.t1700.t577.t358.t361.t362,t581.t1701.t580.t358.t361.t362,t572.t2402.t500,t575.t2403.t500,t578.t2404.t500,t581.t2406.t500,t2405.t500,t1714.t422,t1714.t422,t1714.t422,t1739.t528,t1739.t528,t1739.t528,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t1671.t326,t1671.t326,t1671.t326,t1689.t373.t1692.t270.t374,t1689.t370,t2416.t387.t444.t492,t2416.t387.t444.t492,t2416.t387.t444.t492,t2416.t387.t444.t492,t2416.t387.t444.t492,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2019.t1579.t1408.t1409.t2016.t1427.t1410,t2019.t1579.t1408.t1411.t1412,t2019.t1579.t1408.t1409.t2016.t1427.t1410,t2019.t1579.t1408.t1411.t1412,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 24 events :t1172.t2354.t1171.t536.t558,t1172.t2354.t1171.t536.t558,t1175.t2353.t1174.t536.t558,t1175.t2353.t1174.t536.t558,t1178.t2352.t1177.t536.t558,t1178.t2352.t1177.t536.t558,t1181.t2351.t1180.t536.t558,t1181.t2351.t1180.t536.t558,t1172.t1894.t1055,t1175.t1893.t1055,t1178.t1892.t1055,t1181.t1890.t1055,t1891.t1055,t1846.t939,t1846.t939,t1846.t939,t1846.t939,t1846.t939,t2220.t1100,t2220.t1100,t2220.t1100,t1924.t1159,t1924.t1159,t1924.t1159,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 16 events :t1788.t725,t1788.t725,t1788.t725,t1788.t725,t1788.t725,t2325.t787,t2325.t787,t2325.t787,t2290.t857,t2290.t857,t2290.t857,t1842.t874.t1010.t1037,t1842.t874.t1010.t1037,t1842.t874.t1010.t1037,t1842.t874.t1010.t1037,t1842.t874.t1010.t1037,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t2092.t1666.t1541.t1551.t1552,t2092.t1666.t1541.t1551.t1552,t2091.t1669.t1541.t1551.t1552,t2091.t1669.t1541.t1551.t1552,t2087.t1667.t1636,t2085.t1670.t1636,t2086.t1636,t2068.t1622,t2068.t1622,t2068.t1622,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t581.t1701.t580.t358.t359.t1697.t378.t360,t581.t1701.t580.t358.t361.t362,t581.t1701.t580.t358.t359.t1697.t378.t360,t581.t1701.t580.t358.t361.t362,t581.t1701.t580.t358.t359.t1697.t378.t360,t581.t1701.t580.t358.t361.t362,t1690.t371.t2417.t272.t374,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t1672.t328,t1672.t328,t1672.t328,t1690.t372.t1691.t271.t374,t1690.t371.t2417.t272.t374,t1702.t383.t733.t750,t1702.t383.t733.t750,t1702.t383.t733.t750,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 10 events :t2153.t1660.t1302.t1312,t2153.t1660.t1302.t1312,t2152.t1663.t1302.t1312,t2152.t1663.t1302.t1312,t2078.t1661.t1651,t2076.t1664.t1651,t2077.t1651,t2067.t1620,t2067.t1620,t2067.t1620,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 7 events :t2023.t1475,t2023.t1475,t2023.t1475,t2047.t1529,t2047.t1529,t2047.t1529,t2064.t1584.t1643.t1646.t1647,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 13 events :t2017.t1573.t1408.t1411.t1412,t2018.t1576.t1408.t1411.t1412,t2019.t1579.t1408.t1411.t1412,t2042.t1574.t1534,t2043.t1577.t1534,t2045.t1580.t1534,t2044.t1534,t2031.t1461,t2031.t1461,t2031.t1461,t2104.t1562,t2104.t1562,t2104.t1562,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 8 events :t1796.t711,t1796.t711,t1796.t711,t2326.t785,t2326.t785,t2326.t785,t2271.t878.t1383.t1398,t2271.t878.t1383.t1398,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 6 events :t2344.t627,t1776.t658,t1776.t658,t1776.t658,t2335.t676.t1247.t1257,t2335.t676.t1247.t1257,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 30 events :t1834.t1184.t795.t819,t1834.t1184.t795.t819,t1834.t1184.t795.t819,t1835.t1187.t795.t819,t1835.t1187.t795.t819,t1835.t1187.t795.t819,t1836.t1190.t795.t819,t1836.t1190.t795.t819,t1836.t1190.t795.t819,t1837.t1193.t795.t819,t1837.t1193.t795.t819,t1837.t1193.t795.t819,t2253.t1185.t998,t2254.t1188.t998,t2255.t1191.t998,t2257.t1194.t998,t2256.t998,t1863.t913,t1863.t913,t1863.t913,t1863.t913,t1863.t913,t2219.t1102,t2219.t1102,t2219.t1102,t2219.t1102,t2219.t1102,t1923.t1157,t1923.t1157,t1923.t1157,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 4 events :t2086.t1634.t2075.t1635,t2086.t1636,t2086.t1634.t2075.t1635,t2086.t1636,
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 496 redundant transitions.
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NoC3x3-PT-3B-GlobalProperties-0 is trivially true : it is verified in initial state.
Apr 05, 2019 10:00:37 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1020 ms
Apr 05, 2019 10:00:37 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/GlobalProperties.pnml.gal : 35 ms
Apr 05, 2019 10:00:38 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 45 place invariants in 596 ms
Apr 05, 2019 10:00:46 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 357 variables to be positive in 8607 ms
Apr 05, 2019 10:00:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 599 transitions.
Apr 05, 2019 10:00:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of disable matrix completed :0/599 took 1 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 10:00:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 171 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 10:00:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 599 transitions.
Apr 05, 2019 10:00:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 89 ms. Total solver calls (SAT/UNSAT): 0(0/0)
Apr 05, 2019 10:00:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 599 transitions.
Apr 05, 2019 10:00:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(10/599) took 3106 ms. Total solver calls (SAT/UNSAT): 390(0/390)
Apr 05, 2019 10:00:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(26/599) took 6209 ms. Total solver calls (SAT/UNSAT): 667(20/647)
Apr 05, 2019 10:00:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(33/599) took 9226 ms. Total solver calls (SAT/UNSAT): 846(47/799)
Apr 05, 2019 10:00:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(46/599) took 12424 ms. Total solver calls (SAT/UNSAT): 1147(75/1072)
Apr 05, 2019 10:01:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(60/599) took 15955 ms. Total solver calls (SAT/UNSAT): 1310(86/1224)
Apr 05, 2019 10:01:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(67/599) took 18961 ms. Total solver calls (SAT/UNSAT): 1429(101/1328)
Apr 05, 2019 10:01:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(79/599) took 22204 ms. Total solver calls (SAT/UNSAT): 1903(168/1735)
Apr 05, 2019 10:01:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(88/599) took 25248 ms. Total solver calls (SAT/UNSAT): 2225(206/2019)
Apr 05, 2019 10:01:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(115/599) took 28418 ms. Total solver calls (SAT/UNSAT): 2926(275/2651)
Apr 05, 2019 10:01:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(136/599) took 31771 ms. Total solver calls (SAT/UNSAT): 3389(324/3065)
Apr 05, 2019 10:01:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(146/599) took 34977 ms. Total solver calls (SAT/UNSAT): 3615(375/3240)
Apr 05, 2019 10:01:25 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(159/599) took 38228 ms. Total solver calls (SAT/UNSAT): 3906(399/3507)
Apr 05, 2019 10:01:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(172/599) took 41308 ms. Total solver calls (SAT/UNSAT): 4193(421/3772)
Apr 05, 2019 10:01:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(177/599) took 44414 ms. Total solver calls (SAT/UNSAT): 4501(475/4026)
Apr 05, 2019 10:01:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(184/599) took 47880 ms. Total solver calls (SAT/UNSAT): 4853(558/4295)
Apr 05, 2019 10:01:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(190/599) took 51436 ms. Total solver calls (SAT/UNSAT): 5220(592/4628)
Apr 05, 2019 10:01:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(195/599) took 54993 ms. Total solver calls (SAT/UNSAT): 5448(659/4789)
Apr 05, 2019 10:01:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(201/599) took 58055 ms. Total solver calls (SAT/UNSAT): 5749(712/5037)
Apr 05, 2019 10:01:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(214/599) took 61067 ms. Total solver calls (SAT/UNSAT): 6030(800/5230)
Apr 05, 2019 10:01:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(224/599) took 64554 ms. Total solver calls (SAT/UNSAT): 6267(861/5406)
Apr 05, 2019 10:01:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(234/599) took 67561 ms. Total solver calls (SAT/UNSAT): 6508(868/5640)
Apr 05, 2019 10:01:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(243/599) took 70619 ms. Total solver calls (SAT/UNSAT): 6749(881/5868)
Apr 05, 2019 10:02:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(257/599) took 73671 ms. Total solver calls (SAT/UNSAT): 7056(903/6153)
Apr 05, 2019 10:02:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(268/599) took 76877 ms. Total solver calls (SAT/UNSAT): 7324(996/6328)
Apr 05, 2019 10:02:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(281/599) took 80063 ms. Total solver calls (SAT/UNSAT): 7579(1070/6509)
Apr 05, 2019 10:02:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(306/599) took 83134 ms. Total solver calls (SAT/UNSAT): 7771(1100/6671)
Apr 05, 2019 10:02:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(323/599) took 86155 ms. Total solver calls (SAT/UNSAT): 7938(1136/6802)
Apr 05, 2019 10:02:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(336/599) took 89321 ms. Total solver calls (SAT/UNSAT): 8198(1233/6965)
Apr 05, 2019 10:02:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(351/599) took 92671 ms. Total solver calls (SAT/UNSAT): 8523(1304/7219)
Apr 05, 2019 10:02:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(372/599) took 96261 ms. Total solver calls (SAT/UNSAT): 8720(1352/7368)
Apr 05, 2019 10:02:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(394/599) took 99415 ms. Total solver calls (SAT/UNSAT): 8855(1393/7462)
Apr 05, 2019 10:02:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(411/599) took 102505 ms. Total solver calls (SAT/UNSAT): 9013(1423/7590)
Apr 05, 2019 10:02:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(420/599) took 105981 ms. Total solver calls (SAT/UNSAT): 9248(1458/7790)
Apr 05, 2019 10:02:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(429/599) took 109129 ms. Total solver calls (SAT/UNSAT): 9482(1500/7982)
Apr 05, 2019 10:02:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(445/599) took 112233 ms. Total solver calls (SAT/UNSAT): 9666(1538/8128)
Apr 05, 2019 10:02:42 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(459/599) took 115317 ms. Total solver calls (SAT/UNSAT): 9873(1578/8295)
Apr 05, 2019 10:02:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(465/599) took 118353 ms. Total solver calls (SAT/UNSAT): 10068(1623/8445)
Apr 05, 2019 10:02:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(478/599) took 121537 ms. Total solver calls (SAT/UNSAT): 10355(1674/8681)
Apr 05, 2019 10:02:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(498/599) took 124626 ms. Total solver calls (SAT/UNSAT): 10545(1709/8836)
Apr 05, 2019 10:02:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(520/599) took 127645 ms. Total solver calls (SAT/UNSAT): 10776(1758/9018)
Apr 05, 2019 10:02:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(527/599) took 130690 ms. Total solver calls (SAT/UNSAT): 10923(1780/9143)
Apr 05, 2019 10:03:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(554/599) took 133703 ms. Total solver calls (SAT/UNSAT): 11148(1830/9318)
Apr 05, 2019 10:03:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of co-enabling matrix(582/599) took 136760 ms. Total solver calls (SAT/UNSAT): 11298(1881/9417)
Apr 05, 2019 10:03:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished co-enabling matrix. took 138649 ms. Total solver calls (SAT/UNSAT): 11370(1953/9417)
Apr 05, 2019 10:03:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 599 transitions.
Apr 05, 2019 10:04:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed DNA matrix. took 83306 ms. Total solver calls (SAT/UNSAT): 696(0/696)
Apr 05, 2019 10:04:29 PM fr.lip6.move.gal.gal2pins.Gal2PinsTransformerNext transform
INFO: Built C files in 232944ms conformant to PINS in folder :/home/mcc/execution
ITS-tools command line returned an error code 1

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-3B"
export BK_EXAMINATION="GlobalProperties"
export BK_TOOL="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-3B, examination is GlobalProperties"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r184-csrt-155344537900282"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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