Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2021-input.r093-tall-162048900400120.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2021-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is FamilyReunion-PT-L00050M0005C002P002G001, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-tall-162048900400120
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 13M
-rw-r--r-- 1 mcc users 524K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 3.2M May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 629K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.2M May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 34K Mar 28 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 144K Mar 28 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 84K Mar 28 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 225K Mar 28 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 50K Mar 23 10:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 198K Mar 23 10:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 163K Mar 22 18:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 428K Mar 22 18:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 21K Mar 22 09:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 55K Mar 22 09:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_col
-rw-r--r-- 1 mcc users 24 May 5 16:51 instance
-rw-r--r-- 1 mcc users 6 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 4.7M May 5 16:51 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-00
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-01
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-02
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-03
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-04
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-05
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-06
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-07
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-08
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-09
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-10
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-11
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-12
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-13
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-14
FORMULA_NAME FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1620740072259

[2021-05-11 13:34:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-11 13:34:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-11 13:34:39] [INFO ] Load time of PNML (sax parser for PT used): 360 ms
[2021-05-11 13:34:39] [INFO ] Transformed 12194 places.
[2021-05-11 13:34:39] [INFO ] Transformed 10560 transitions.
[2021-05-11 13:34:39] [INFO ] Parsed PT model containing 12194 places and 10560 transitions in 467 ms.
Reduce places removed 17 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 282 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 4 ms. (steps per millisecond=0 )
[2021-05-11 13:34:41] [INFO ] Flatten gal took : 623 ms
[2021-05-11 13:34:41] [INFO ] Applying decomposition
[2021-05-11 13:34:41] [INFO ] Flatten gal took : 454 ms
[2021-05-11 13:34:42] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 87 ms
[2021-05-11 13:34:42] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --gen-order FOLLOW
Loading property file UpperBounds.prop.
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-00 with value :l8_0+l8_1+l8_2+l8_3+l8_4+l8_5+l8_6+l8_7+l8_8+l8_9+l8_10+l8_11+l8_12+l8_13+l8_14+l8_15+l8_16+l8_17+l8_18+l8_19+l8_20+l8_21+l8_22+l8_23+l8_24+l8_25+l8_26+l8_27+l8_28+l8_29+l8_30+l8_31+l8_32+l8_33+l8_34+l8_35+l8_36+l8_37+l8_38+l8_39+l8_40+l8_41+l8_42+l8_43+l8_44+l8_45+l8_46+l8_47+l8_48+l8_49+l8_50
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-01 with value :l4_0_0+l4_1_0+l4_2_0+l4_3_0+l4_4_0+l4_5_0+l4_6_0+l4_7_0+l4_8_0+l4_9_0+l4_10_0+l4_11_0+l4_12_0+l4_13_0+l4_14_0+l4_15_0+l4_16_0+l4_17_0+l4_18_0+l4_19_0+l4_20_0+l4_21_0+l4_22_0+l4_23_0+l4_24_0+l4_25_0+l4_26_0+l4_27_0+l4_28_0+l4_29_0+l4_30_0+l4_31_0+l4_32_0+l4_33_0+l4_34_0+l4_35_0+l4_36_0+l4_37_0+l4_38_0+l4_39_0+l4_40_0+l4_41_0+l4_42_0+l4_43_0+l4_44_0+l4_45_0+l4_46_0+l4_47_0+l4_48_0+l4_49_0+l4_50_0+l4_0_1+l4_1_1+l4_2_1+l4_3_1+l4_4_1+l4_5_1+l4_6_1+l4_7_1+l4_8_1+l4_9_1+l4_10_1+l4_11_1+l4_12_1+l4_13_1+l4_14_1+l4_15_1+l4_16_1+l4_17_1+l4_18_1+l4_19_1+l4_20_1+l4_21_1+l4_22_1+l4_23_1+l4_24_1+l4_25_1+l4_26_1+l4_27_1+l4_28_1+l4_29_1+l4_30_1+l4_31_1+l4_32_1+l4_33_1+l4_34_1+l4_35_1+l4_36_1+l4_37_1+l4_38_1+l4_39_1+l4_40_1+l4_41_1+l4_42_1+l4_43_1+l4_44_1+l4_45_1+l4_46_1+l4_47_1+l4_48_1+l4_49_1+l4_50_1+l4_0_2+l4_1_2+l4_2_2+l4_3_2+l4_4_2+l4_5_2+l4_6_2+l4_7_2+l4_8_2+l4_9_2+l4_10_2+l4_11_2+l4_12_2+l4_13_2+l4_14_2+l4_15_2+l4_16_2+l4_17_2+l4_18_2+l4_19_2+l4_20_2+l4_21_2+l4_22_2+l4_23_2+l4_24_2+l4_25_2+l4_26_2+l4_27_2+l4_28_2+l4_29_2+l4_30_2+l4_31_2+l4_32_2+l4_33_2+l4_34_2+l4_35_2+l4_36_2+l4_37_2+l4_38_2+l4_39_2+l4_40_2+l4_41_2+l4_42_2+l4_43_2+l4_44_2+l4_45_2+l4_46_2+l4_47_2+l4_48_2+l4_49_2+l4_50_2+l4_0_3+l4_1_3+l4_2_3+l4_3_3+l4_4_3+l4_5_3+l4_6_3+l4_7_3+l4_8_3+l4_9_3+l4_10_3+l4_11_3+l4_12_3+l4_13_3+l4_14_3+l4_15_3+l4_16_3+l4_17_3+l4_18_3+l4_19_3+l4_20_3+l4_21_3+l4_22_3+l4_23_3+l4_24_3+l4_25_3+l4_26_3+l4_27_3+l4_28_3+l4_29_3+l4_30_3+l4_31_3+l4_32_3+l4_33_3+l4_34_3+l4_35_3+l4_36_3+l4_37_3+l4_38_3+l4_39_3+l4_40_3+l4_41_3+l4_42_3+l4_43_3+l4_44_3+l4_45_3+l4_46_3+l4_47_3+l4_48_3+l4_49_3+l4_50_3+l4_0_4+l4_1_4+l4_2_4+l4_3_4+l4_4_4+l4_5_4+l4_6_4+l4_7_4+l4_8_4+l4_9_4+l4_10_4+l4_11_4+l4_12_4+l4_13_4+l4_14_4+l4_15_4+l4_16_4+l4_17_4+l4_18_4+l4_19_4+l4_20_4+l4_21_4+l4_22_4+l4_23_4+l4_24_4+l4_25_4+l4_26_4+l4_27_4+l4_28_4+l4_29_4+l4_30_4+l4_31_4+l4_32_4+l4_33_4+l4_34_4+l4_35_4+l4_36_4+l4_37_4+l4_38_4+l4_39_4+l4_40_4+l4_41_4+l4_42_4+l4_43_4+l4_44_4+l4_45_4+l4_46_4+l4_47_4+l4_48_4+l4_49_4+l4_50_4+l4_0_5+l4_1_5+l4_2_5+l4_3_5+l4_4_5+l4_5_5+l4_6_5+l4_7_5+l4_8_5+l4_9_5+l4_10_5+l4_11_5+l4_12_5+l4_13_5+l4_14_5+l4_15_5+l4_16_5+l4_17_5+l4_18_5+l4_19_5+l4_20_5+l4_21_5+l4_22_5+l4_23_5+l4_24_5+l4_25_5+l4_26_5+l4_27_5+l4_28_5+l4_29_5+l4_30_5+l4_31_5+l4_32_5+l4_33_5+l4_34_5+l4_35_5+l4_36_5+l4_37_5+l4_38_5+l4_39_5+l4_40_5+l4_41_5+l4_42_5+l4_43_5+l4_44_5+l4_45_5+l4_46_5+l4_47_5+l4_48_5+l4_49_5+l4_50_5
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-02 with value :l3_0_0+l3_1_0+l3_2_0+l3_3_0+l3_4_0+l3_5_0+l3_6_0+l3_7_0+l3_8_0+l3_9_0+l3_10_0+l3_11_0+l3_12_0+l3_13_0+l3_14_0+l3_15_0+l3_16_0+l3_17_0+l3_18_0+l3_19_0+l3_20_0+l3_21_0+l3_22_0+l3_23_0+l3_24_0+l3_25_0+l3_26_0+l3_27_0+l3_28_0+l3_29_0+l3_30_0+l3_31_0+l3_32_0+l3_33_0+l3_34_0+l3_35_0+l3_36_0+l3_37_0+l3_38_0+l3_39_0+l3_40_0+l3_41_0+l3_42_0+l3_43_0+l3_44_0+l3_45_0+l3_46_0+l3_47_0+l3_48_0+l3_49_0+l3_50_0+l3_0_1+l3_1_1+l3_2_1+l3_3_1+l3_4_1+l3_5_1+l3_6_1+l3_7_1+l3_8_1+l3_9_1+l3_10_1+l3_11_1+l3_12_1+l3_13_1+l3_14_1+l3_15_1+l3_16_1+l3_17_1+l3_18_1+l3_19_1+l3_20_1+l3_21_1+l3_22_1+l3_23_1+l3_24_1+l3_25_1+l3_26_1+l3_27_1+l3_28_1+l3_29_1+l3_30_1+l3_31_1+l3_32_1+l3_33_1+l3_34_1+l3_35_1+l3_36_1+l3_37_1+l3_38_1+l3_39_1+l3_40_1+l3_41_1+l3_42_1+l3_43_1+l3_44_1+l3_45_1+l3_46_1+l3_47_1+l3_48_1+l3_49_1+l3_50_1+l3_0_2+l3_1_2+l3_2_2+l3_3_2+l3_4_2+l3_5_2+l3_6_2+l3_7_2+l3_8_2+l3_9_2+l3_10_2+l3_11_2+l3_12_2+l3_13_2+l3_14_2+l3_15_2+l3_16_2+l3_17_2+l3_18_2+l3_19_2+l3_20_2+l3_21_2+l3_22_2+l3_23_2+l3_24_2+l3_25_2+l3_26_2+l3_27_2+l3_28_2+l3_29_2+l3_30_2+l3_31_2+l3_32_2+l3_33_2+l3_34_2+l3_35_2+l3_36_2+l3_37_2+l3_38_2+l3_39_2+l3_40_2+l3_41_2+l3_42_2+l3_43_2+l3_44_2+l3_45_2+l3_46_2+l3_47_2+l3_48_2+l3_49_2+l3_50_2+l3_0_3+l3_1_3+l3_2_3+l3_3_3+l3_4_3+l3_5_3+l3_6_3+l3_7_3+l3_8_3+l3_9_3+l3_10_3+l3_11_3+l3_12_3+l3_13_3+l3_14_3+l3_15_3+l3_16_3+l3_17_3+l3_18_3+l3_19_3+l3_20_3+l3_21_3+l3_22_3+l3_23_3+l3_24_3+l3_25_3+l3_26_3+l3_27_3+l3_28_3+l3_29_3+l3_30_3+l3_31_3+l3_32_3+l3_33_3+l3_34_3+l3_35_3+l3_36_3+l3_37_3+l3_38_3+l3_39_3+l3_40_3+l3_41_3+l3_42_3+l3_43_3+l3_44_3+l3_45_3+l3_46_3+l3_47_3+l3_48_3+l3_49_3+l3_50_3+l3_0_4+l3_1_4+l3_2_4+l3_3_4+l3_4_4+l3_5_4+l3_6_4+l3_7_4+l3_8_4+l3_9_4+l3_10_4+l3_11_4+l3_12_4+l3_13_4+l3_14_4+l3_15_4+l3_16_4+l3_17_4+l3_18_4+l3_19_4+l3_20_4+l3_21_4+l3_22_4+l3_23_4+l3_24_4+l3_25_4+l3_26_4+l3_27_4+l3_28_4+l3_29_4+l3_30_4+l3_31_4+l3_32_4+l3_33_4+l3_34_4+l3_35_4+l3_36_4+l3_37_4+l3_38_4+l3_39_4+l3_40_4+l3_41_4+l3_42_4+l3_43_4+l3_44_4+l3_45_4+l3_46_4+l3_47_4+l3_48_4+l3_49_4+l3_50_4+l3_0_5+l3_1_5+l3_2_5+l3_3_5+l3_4_5+l3_5_5+l3_6_5+l3_7_5+l3_8_5+l3_9_5+l3_10_5+l3_11_5+l3_12_5+l3_13_5+l3_14_5+l3_15_5+l3_16_5+l3_17_5+l3_18_5+l3_19_5+l3_20_5+l3_21_5+l3_22_5+l3_23_5+l3_24_5+l3_25_5+l3_26_5+l3_27_5+l3_28_5+l3_29_5+l3_30_5+l3_31_5+l3_32_5+l3_33_5+l3_34_5+l3_35_5+l3_36_5+l3_37_5+l3_38_5+l3_39_5+l3_40_5+l3_41_5+l3_42_5+l3_43_5+l3_44_5+l3_45_5+l3_46_5+l3_47_5+l3_48_5+l3_49_5+l3_50_5
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-03 with value :m9_0_0+m9_1_0+m9_2_0+m9_3_0+m9_4_0+m9_5_0+m9_6_0+m9_7_0+m9_8_0+m9_9_0+m9_10_0+m9_11_0+m9_12_0+m9_13_0+m9_14_0+m9_15_0+m9_16_0+m9_17_0+m9_18_0+m9_19_0+m9_20_0+m9_21_0+m9_22_0+m9_23_0+m9_24_0+m9_25_0+m9_26_0+m9_27_0+m9_28_0+m9_29_0+m9_30_0+m9_31_0+m9_32_0+m9_33_0+m9_34_0+m9_35_0+m9_36_0+m9_37_0+m9_38_0+m9_39_0+m9_40_0+m9_41_0+m9_42_0+m9_43_0+m9_44_0+m9_45_0+m9_46_0+m9_47_0+m9_48_0+m9_49_0+m9_50_0+m9_0_1+m9_1_1+m9_2_1+m9_3_1+m9_4_1+m9_5_1+m9_6_1+m9_7_1+m9_8_1+m9_9_1+m9_10_1+m9_11_1+m9_12_1+m9_13_1+m9_14_1+m9_15_1+m9_16_1+m9_17_1+m9_18_1+m9_19_1+m9_20_1+m9_21_1+m9_22_1+m9_23_1+m9_24_1+m9_25_1+m9_26_1+m9_27_1+m9_28_1+m9_29_1+m9_30_1+m9_31_1+m9_32_1+m9_33_1+m9_34_1+m9_35_1+m9_36_1+m9_37_1+m9_38_1+m9_39_1+m9_40_1+m9_41_1+m9_42_1+m9_43_1+m9_44_1+m9_45_1+m9_46_1+m9_47_1+m9_48_1+m9_49_1+m9_50_1+m9_0_2+m9_1_2+m9_2_2+m9_3_2+m9_4_2+m9_5_2+m9_6_2+m9_7_2+m9_8_2+m9_9_2+m9_10_2+m9_11_2+m9_12_2+m9_13_2+m9_14_2+m9_15_2+m9_16_2+m9_17_2+m9_18_2+m9_19_2+m9_20_2+m9_21_2+m9_22_2+m9_23_2+m9_24_2+m9_25_2+m9_26_2+m9_27_2+m9_28_2+m9_29_2+m9_30_2+m9_31_2+m9_32_2+m9_33_2+m9_34_2+m9_35_2+m9_36_2+m9_37_2+m9_38_2+m9_39_2+m9_40_2+m9_41_2+m9_42_2+m9_43_2+m9_44_2+m9_45_2+m9_46_2+m9_47_2+m9_48_2+m9_49_2+m9_50_2+m9_0_3+m9_1_3+m9_2_3+m9_3_3+m9_4_3+m9_5_3+m9_6_3+m9_7_3+m9_8_3+m9_9_3+m9_10_3+m9_11_3+m9_12_3+m9_13_3+m9_14_3+m9_15_3+m9_16_3+m9_17_3+m9_18_3+m9_19_3+m9_20_3+m9_21_3+m9_22_3+m9_23_3+m9_24_3+m9_25_3+m9_26_3+m9_27_3+m9_28_3+m9_29_3+m9_30_3+m9_31_3+m9_32_3+m9_33_3+m9_34_3+m9_35_3+m9_36_3+m9_37_3+m9_38_3+m9_39_3+m9_40_3+m9_41_3+m9_42_3+m9_43_3+m9_44_3+m9_45_3+m9_46_3+m9_47_3+m9_48_3+m9_49_3+m9_50_3+m9_0_4+m9_1_4+m9_2_4+m9_3_4+m9_4_4+m9_5_4+m9_6_4+m9_7_4+m9_8_4+m9_9_4+m9_10_4+m9_11_4+m9_12_4+m9_13_4+m9_14_4+m9_15_4+m9_16_4+m9_17_4+m9_18_4+m9_19_4+m9_20_4+m9_21_4+m9_22_4+m9_23_4+m9_24_4+m9_25_4+m9_26_4+m9_27_4+m9_28_4+m9_29_4+m9_30_4+m9_31_4+m9_32_4+m9_33_4+m9_34_4+m9_35_4+m9_36_4+m9_37_4+m9_38_4+m9_39_4+m9_40_4+m9_41_4+m9_42_4+m9_43_4+m9_44_4+m9_45_4+m9_46_4+m9_47_4+m9_48_4+m9_49_4+m9_50_4+m9_0_5+m9_1_5+m9_2_5+m9_3_5+m9_4_5+m9_5_5+m9_6_5+m9_7_5+m9_8_5+m9_9_5+m9_10_5+m9_11_5+m9_12_5+m9_13_5+m9_14_5+m9_15_5+m9_16_5+m9_17_5+m9_18_5+m9_19_5+m9_20_5+m9_21_5+m9_22_5+m9_23_5+m9_24_5+m9_25_5+m9_26_5+m9_27_5+m9_28_5+m9_29_5+m9_30_5+m9_31_5+m9_32_5+m9_33_5+m9_34_5+m9_35_5+m9_36_5+m9_37_5+m9_38_5+m9_39_5+m9_40_5+m9_41_5+m9_42_5+m9_43_5+m9_44_5+m9_45_5+m9_46_5+m9_47_5+m9_48_5+m9_49_5+m9_50_5
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-04 with value :lc3_0+lc3_1+lc3_2+lc3_3+lc3_4+lc3_5+lc3_6+lc3_7+lc3_8+lc3_9+lc3_10+lc3_11+lc3_12+lc3_13+lc3_14+lc3_15+lc3_16+lc3_17+lc3_18+lc3_19+lc3_20+lc3_21+lc3_22+lc3_23+lc3_24+lc3_25+lc3_26+lc3_27+lc3_28+lc3_29+lc3_30+lc3_31+lc3_32+lc3_33+lc3_34+lc3_35+lc3_36+lc3_37+lc3_38+lc3_39+lc3_40+lc3_41+lc3_42+lc3_43+lc3_44+lc3_45+lc3_46+lc3_47+lc3_48+lc3_49+lc3_50
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-05 with value :ml4_0_0+ml4_1_0+ml4_2_0+ml4_3_0+ml4_4_0+ml4_5_0+ml4_6_0+ml4_7_0+ml4_8_0+ml4_9_0+ml4_10_0+ml4_11_0+ml4_12_0+ml4_13_0+ml4_14_0+ml4_15_0+ml4_16_0+ml4_17_0+ml4_18_0+ml4_19_0+ml4_20_0+ml4_21_0+ml4_22_0+ml4_23_0+ml4_24_0+ml4_25_0+ml4_26_0+ml4_27_0+ml4_28_0+ml4_29_0+ml4_30_0+ml4_31_0+ml4_32_0+ml4_33_0+ml4_34_0+ml4_35_0+ml4_36_0+ml4_37_0+ml4_38_0+ml4_39_0+ml4_40_0+ml4_41_0+ml4_42_0+ml4_43_0+ml4_44_0+ml4_45_0+ml4_46_0+ml4_47_0+ml4_48_0+ml4_49_0+ml4_50_0+ml4_0_1+ml4_1_1+ml4_2_1+ml4_3_1+ml4_4_1+ml4_5_1+ml4_6_1+ml4_7_1+ml4_8_1+ml4_9_1+ml4_10_1+ml4_11_1+ml4_12_1+ml4_13_1+ml4_14_1+ml4_15_1+ml4_16_1+ml4_17_1+ml4_18_1+ml4_19_1+ml4_20_1+ml4_21_1+ml4_22_1+ml4_23_1+ml4_24_1+ml4_25_1+ml4_26_1+ml4_27_1+ml4_28_1+ml4_29_1+ml4_30_1+ml4_31_1+ml4_32_1+ml4_33_1+ml4_34_1+ml4_35_1+ml4_36_1+ml4_37_1+ml4_38_1+ml4_39_1+ml4_40_1+ml4_41_1+ml4_42_1+ml4_43_1+ml4_44_1+ml4_45_1+ml4_46_1+ml4_47_1+ml4_48_1+ml4_49_1+ml4_50_1+ml4_0_2+ml4_1_2+ml4_2_2+ml4_3_2+ml4_4_2+ml4_5_2+ml4_6_2+ml4_7_2+ml4_8_2+ml4_9_2+ml4_10_2+ml4_11_2+ml4_12_2+ml4_13_2+ml4_14_2+ml4_15_2+ml4_16_2+ml4_17_2+ml4_18_2+ml4_19_2+ml4_20_2+ml4_21_2+ml4_22_2+ml4_23_2+ml4_24_2+ml4_25_2+ml4_26_2+ml4_27_2+ml4_28_2+ml4_29_2+ml4_30_2+ml4_31_2+ml4_32_2+ml4_33_2+ml4_34_2+ml4_35_2+ml4_36_2+ml4_37_2+ml4_38_2+ml4_39_2+ml4_40_2+ml4_41_2+ml4_42_2+ml4_43_2+ml4_44_2+ml4_45_2+ml4_46_2+ml4_47_2+ml4_48_2+ml4_49_2+ml4_50_2+ml4_0_3+ml4_1_3+ml4_2_3+ml4_3_3+ml4_4_3+ml4_5_3+ml4_6_3+ml4_7_3+ml4_8_3+ml4_9_3+ml4_10_3+ml4_11_3+ml4_12_3+ml4_13_3+ml4_14_3+ml4_15_3+ml4_16_3+ml4_17_3+ml4_18_3+ml4_19_3+ml4_20_3+ml4_21_3+ml4_22_3+ml4_23_3+ml4_24_3+ml4_25_3+ml4_26_3+ml4_27_3+ml4_28_3+ml4_29_3+ml4_30_3+ml4_31_3+ml4_32_3+ml4_33_3+ml4_34_3+ml4_35_3+ml4_36_3+ml4_37_3+ml4_38_3+ml4_39_3+ml4_40_3+ml4_41_3+ml4_42_3+ml4_43_3+ml4_44_3+ml4_45_3+ml4_46_3+ml4_47_3+ml4_48_3+ml4_49_3+ml4_50_3+ml4_0_4+ml4_1_4+ml4_2_4+ml4_3_4+ml4_4_4+ml4_5_4+ml4_6_4+ml4_7_4+ml4_8_4+ml4_9_4+ml4_10_4+ml4_11_4+ml4_12_4+ml4_13_4+ml4_14_4+ml4_15_4+ml4_16_4+ml4_17_4+ml4_18_4+ml4_19_4+ml4_20_4+ml4_21_4+ml4_22_4+ml4_23_4+ml4_24_4+ml4_25_4+ml4_26_4+ml4_27_4+ml4_28_4+ml4_29_4+ml4_30_4+ml4_31_4+ml4_32_4+ml4_33_4+ml4_34_4+ml4_35_4+ml4_36_4+ml4_37_4+ml4_38_4+ml4_39_4+ml4_40_4+ml4_41_4+ml4_42_4+ml4_43_4+ml4_44_4+ml4_45_4+ml4_46_4+ml4_47_4+ml4_48_4+ml4_49_4+ml4_50_4+ml4_0_5+ml4_1_5+ml4_2_5+ml4_3_5+ml4_4_5+ml4_5_5+ml4_6_5+ml4_7_5+ml4_8_5+ml4_9_5+ml4_10_5+ml4_11_5+ml4_12_5+ml4_13_5+ml4_14_5+ml4_15_5+ml4_16_5+ml4_17_5+ml4_18_5+ml4_19_5+ml4_20_5+ml4_21_5+ml4_22_5+ml4_23_5+ml4_24_5+ml4_25_5+ml4_26_5+ml4_27_5+ml4_28_5+ml4_29_5+ml4_30_5+ml4_31_5+ml4_32_5+ml4_33_5+ml4_34_5+ml4_35_5+ml4_36_5+ml4_37_5+ml4_38_5+ml4_39_5+ml4_40_5+ml4_41_5+ml4_42_5+ml4_43_5+ml4_44_5+ml4_45_5+ml4_46_5+ml4_47_5+ml4_48_5+ml4_49_5+ml4_50_5
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-06 with value :l25_0+l25_1+l25_2+l25_3+l25_4+l25_5+l25_6+l25_7+l25_8+l25_9+l25_10+l25_11+l25_12+l25_13+l25_14+l25_15+l25_16+l25_17+l25_18+l25_19+l25_20+l25_21+l25_22+l25_23+l25_24+l25_25+l25_26+l25_27+l25_28+l25_29+l25_30+l25_31+l25_32+l25_33+l25_34+l25_35+l25_36+l25_37+l25_38+l25_39+l25_40+l25_41+l25_42+l25_43+l25_44+l25_45+l25_46+l25_47+l25_48+l25_49+l25_50
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-07 with value :lm2_0_0+lm2_1_0+lm2_2_0+lm2_3_0+lm2_4_0+lm2_5_0+lm2_6_0+lm2_7_0+lm2_8_0+lm2_9_0+lm2_10_0+lm2_11_0+lm2_12_0+lm2_13_0+lm2_14_0+lm2_15_0+lm2_16_0+lm2_17_0+lm2_18_0+lm2_19_0+lm2_20_0+lm2_21_0+lm2_22_0+lm2_23_0+lm2_24_0+lm2_25_0+lm2_26_0+lm2_27_0+lm2_28_0+lm2_29_0+lm2_30_0+lm2_31_0+lm2_32_0+lm2_33_0+lm2_34_0+lm2_35_0+lm2_36_0+lm2_37_0+lm2_38_0+lm2_39_0+lm2_40_0+lm2_41_0+lm2_42_0+lm2_43_0+lm2_44_0+lm2_45_0+lm2_46_0+lm2_47_0+lm2_48_0+lm2_49_0+lm2_50_0+lm2_0_1+lm2_1_1+lm2_2_1+lm2_3_1+lm2_4_1+lm2_5_1+lm2_6_1+lm2_7_1+lm2_8_1+lm2_9_1+lm2_10_1+lm2_11_1+lm2_12_1+lm2_13_1+lm2_14_1+lm2_15_1+lm2_16_1+lm2_17_1+lm2_18_1+lm2_19_1+lm2_20_1+lm2_21_1+lm2_22_1+lm2_23_1+lm2_24_1+lm2_25_1+lm2_26_1+lm2_27_1+lm2_28_1+lm2_29_1+lm2_30_1+lm2_31_1+lm2_32_1+lm2_33_1+lm2_34_1+lm2_35_1+lm2_36_1+lm2_37_1+lm2_38_1+lm2_39_1+lm2_40_1+lm2_41_1+lm2_42_1+lm2_43_1+lm2_44_1+lm2_45_1+lm2_46_1+lm2_47_1+lm2_48_1+lm2_49_1+lm2_50_1+lm2_0_2+lm2_1_2+lm2_2_2+lm2_3_2+lm2_4_2+lm2_5_2+lm2_6_2+lm2_7_2+lm2_8_2+lm2_9_2+lm2_10_2+lm2_11_2+lm2_12_2+lm2_13_2+lm2_14_2+lm2_15_2+lm2_16_2+lm2_17_2+lm2_18_2+lm2_19_2+lm2_20_2+lm2_21_2+lm2_22_2+lm2_23_2+lm2_24_2+lm2_25_2+lm2_26_2+lm2_27_2+lm2_28_2+lm2_29_2+lm2_30_2+lm2_31_2+lm2_32_2+lm2_33_2+lm2_34_2+lm2_35_2+lm2_36_2+lm2_37_2+lm2_38_2+lm2_39_2+lm2_40_2+lm2_41_2+lm2_42_2+lm2_43_2+lm2_44_2+lm2_45_2+lm2_46_2+lm2_47_2+lm2_48_2+lm2_49_2+lm2_50_2+lm2_0_3+lm2_1_3+lm2_2_3+lm2_3_3+lm2_4_3+lm2_5_3+lm2_6_3+lm2_7_3+lm2_8_3+lm2_9_3+lm2_10_3+lm2_11_3+lm2_12_3+lm2_13_3+lm2_14_3+lm2_15_3+lm2_16_3+lm2_17_3+lm2_18_3+lm2_19_3+lm2_20_3+lm2_21_3+lm2_22_3+lm2_23_3+lm2_24_3+lm2_25_3+lm2_26_3+lm2_27_3+lm2_28_3+lm2_29_3+lm2_30_3+lm2_31_3+lm2_32_3+lm2_33_3+lm2_34_3+lm2_35_3+lm2_36_3+lm2_37_3+lm2_38_3+lm2_39_3+lm2_40_3+lm2_41_3+lm2_42_3+lm2_43_3+lm2_44_3+lm2_45_3+lm2_46_3+lm2_47_3+lm2_48_3+lm2_49_3+lm2_50_3+lm2_0_4+lm2_1_4+lm2_2_4+lm2_3_4+lm2_4_4+lm2_5_4+lm2_6_4+lm2_7_4+lm2_8_4+lm2_9_4+lm2_10_4+lm2_11_4+lm2_12_4+lm2_13_4+lm2_14_4+lm2_15_4+lm2_16_4+lm2_17_4+lm2_18_4+lm2_19_4+lm2_20_4+lm2_21_4+lm2_22_4+lm2_23_4+lm2_24_4+lm2_25_4+lm2_26_4+lm2_27_4+lm2_28_4+lm2_29_4+lm2_30_4+lm2_31_4+lm2_32_4+lm2_33_4+lm2_34_4+lm2_35_4+lm2_36_4+lm2_37_4+lm2_38_4+lm2_39_4+lm2_40_4+lm2_41_4+lm2_42_4+lm2_43_4+lm2_44_4+lm2_45_4+lm2_46_4+lm2_47_4+lm2_48_4+lm2_49_4+lm2_50_4+lm2_0_5+lm2_1_5+lm2_2_5+lm2_3_5+lm2_4_5+lm2_5_5+lm2_6_5+lm2_7_5+lm2_8_5+lm2_9_5+lm2_10_5+lm2_11_5+lm2_12_5+lm2_13_5+lm2_14_5+lm2_15_5+lm2_16_5+lm2_17_5+lm2_18_5+lm2_19_5+lm2_20_5+lm2_21_5+lm2_22_5+lm2_23_5+lm2_24_5+lm2_25_5+lm2_26_5+lm2_27_5+lm2_28_5+lm2_29_5+lm2_30_5+lm2_31_5+lm2_32_5+lm2_33_5+lm2_34_5+lm2_35_5+lm2_36_5+lm2_37_5+lm2_38_5+lm2_39_5+lm2_40_5+lm2_41_5+lm2_42_5+lm2_43_5+lm2_44_5+lm2_45_5+lm2_46_5+lm2_47_5+lm2_48_5+lm2_49_5+lm2_50_5
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-08 with value :p6_36_0
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-09 with value :l12_47
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-10 with value :l5_25_4
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-11 with value :l3_5_1
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-12 with value :p6_40_1
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-13 with value :l4_24_0
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-14 with value :l5_36_3
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-15 with value :m5_13_4
Detected timeout of ITS tools.
[2021-05-11 13:54:51] [INFO ] Flatten gal took : 934 ms
[2021-05-11 13:54:52] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 66 ms
[2021-05-11 13:54:52] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --gen-order FOLLOW
Loading property file UpperBounds.prop.
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-00 with value :l8_0+l8_1+l8_2+l8_3+l8_4+l8_5+l8_6+l8_7+l8_8+l8_9+l8_10+l8_11+l8_12+l8_13+l8_14+l8_15+l8_16+l8_17+l8_18+l8_19+l8_20+l8_21+l8_22+l8_23+l8_24+l8_25+l8_26+l8_27+l8_28+l8_29+l8_30+l8_31+l8_32+l8_33+l8_34+l8_35+l8_36+l8_37+l8_38+l8_39+l8_40+l8_41+l8_42+l8_43+l8_44+l8_45+l8_46+l8_47+l8_48+l8_49+l8_50
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-01 with value :l4_0_0+l4_1_0+l4_2_0+l4_3_0+l4_4_0+l4_5_0+l4_6_0+l4_7_0+l4_8_0+l4_9_0+l4_10_0+l4_11_0+l4_12_0+l4_13_0+l4_14_0+l4_15_0+l4_16_0+l4_17_0+l4_18_0+l4_19_0+l4_20_0+l4_21_0+l4_22_0+l4_23_0+l4_24_0+l4_25_0+l4_26_0+l4_27_0+l4_28_0+l4_29_0+l4_30_0+l4_31_0+l4_32_0+l4_33_0+l4_34_0+l4_35_0+l4_36_0+l4_37_0+l4_38_0+l4_39_0+l4_40_0+l4_41_0+l4_42_0+l4_43_0+l4_44_0+l4_45_0+l4_46_0+l4_47_0+l4_48_0+l4_49_0+l4_50_0+l4_0_1+l4_1_1+l4_2_1+l4_3_1+l4_4_1+l4_5_1+l4_6_1+l4_7_1+l4_8_1+l4_9_1+l4_10_1+l4_11_1+l4_12_1+l4_13_1+l4_14_1+l4_15_1+l4_16_1+l4_17_1+l4_18_1+l4_19_1+l4_20_1+l4_21_1+l4_22_1+l4_23_1+l4_24_1+l4_25_1+l4_26_1+l4_27_1+l4_28_1+l4_29_1+l4_30_1+l4_31_1+l4_32_1+l4_33_1+l4_34_1+l4_35_1+l4_36_1+l4_37_1+l4_38_1+l4_39_1+l4_40_1+l4_41_1+l4_42_1+l4_43_1+l4_44_1+l4_45_1+l4_46_1+l4_47_1+l4_48_1+l4_49_1+l4_50_1+l4_0_2+l4_1_2+l4_2_2+l4_3_2+l4_4_2+l4_5_2+l4_6_2+l4_7_2+l4_8_2+l4_9_2+l4_10_2+l4_11_2+l4_12_2+l4_13_2+l4_14_2+l4_15_2+l4_16_2+l4_17_2+l4_18_2+l4_19_2+l4_20_2+l4_21_2+l4_22_2+l4_23_2+l4_24_2+l4_25_2+l4_26_2+l4_27_2+l4_28_2+l4_29_2+l4_30_2+l4_31_2+l4_32_2+l4_33_2+l4_34_2+l4_35_2+l4_36_2+l4_37_2+l4_38_2+l4_39_2+l4_40_2+l4_41_2+l4_42_2+l4_43_2+l4_44_2+l4_45_2+l4_46_2+l4_47_2+l4_48_2+l4_49_2+l4_50_2+l4_0_3+l4_1_3+l4_2_3+l4_3_3+l4_4_3+l4_5_3+l4_6_3+l4_7_3+l4_8_3+l4_9_3+l4_10_3+l4_11_3+l4_12_3+l4_13_3+l4_14_3+l4_15_3+l4_16_3+l4_17_3+l4_18_3+l4_19_3+l4_20_3+l4_21_3+l4_22_3+l4_23_3+l4_24_3+l4_25_3+l4_26_3+l4_27_3+l4_28_3+l4_29_3+l4_30_3+l4_31_3+l4_32_3+l4_33_3+l4_34_3+l4_35_3+l4_36_3+l4_37_3+l4_38_3+l4_39_3+l4_40_3+l4_41_3+l4_42_3+l4_43_3+l4_44_3+l4_45_3+l4_46_3+l4_47_3+l4_48_3+l4_49_3+l4_50_3+l4_0_4+l4_1_4+l4_2_4+l4_3_4+l4_4_4+l4_5_4+l4_6_4+l4_7_4+l4_8_4+l4_9_4+l4_10_4+l4_11_4+l4_12_4+l4_13_4+l4_14_4+l4_15_4+l4_16_4+l4_17_4+l4_18_4+l4_19_4+l4_20_4+l4_21_4+l4_22_4+l4_23_4+l4_24_4+l4_25_4+l4_26_4+l4_27_4+l4_28_4+l4_29_4+l4_30_4+l4_31_4+l4_32_4+l4_33_4+l4_34_4+l4_35_4+l4_36_4+l4_37_4+l4_38_4+l4_39_4+l4_40_4+l4_41_4+l4_42_4+l4_43_4+l4_44_4+l4_45_4+l4_46_4+l4_47_4+l4_48_4+l4_49_4+l4_50_4+l4_0_5+l4_1_5+l4_2_5+l4_3_5+l4_4_5+l4_5_5+l4_6_5+l4_7_5+l4_8_5+l4_9_5+l4_10_5+l4_11_5+l4_12_5+l4_13_5+l4_14_5+l4_15_5+l4_16_5+l4_17_5+l4_18_5+l4_19_5+l4_20_5+l4_21_5+l4_22_5+l4_23_5+l4_24_5+l4_25_5+l4_26_5+l4_27_5+l4_28_5+l4_29_5+l4_30_5+l4_31_5+l4_32_5+l4_33_5+l4_34_5+l4_35_5+l4_36_5+l4_37_5+l4_38_5+l4_39_5+l4_40_5+l4_41_5+l4_42_5+l4_43_5+l4_44_5+l4_45_5+l4_46_5+l4_47_5+l4_48_5+l4_49_5+l4_50_5
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-02 with value :l3_0_0+l3_1_0+l3_2_0+l3_3_0+l3_4_0+l3_5_0+l3_6_0+l3_7_0+l3_8_0+l3_9_0+l3_10_0+l3_11_0+l3_12_0+l3_13_0+l3_14_0+l3_15_0+l3_16_0+l3_17_0+l3_18_0+l3_19_0+l3_20_0+l3_21_0+l3_22_0+l3_23_0+l3_24_0+l3_25_0+l3_26_0+l3_27_0+l3_28_0+l3_29_0+l3_30_0+l3_31_0+l3_32_0+l3_33_0+l3_34_0+l3_35_0+l3_36_0+l3_37_0+l3_38_0+l3_39_0+l3_40_0+l3_41_0+l3_42_0+l3_43_0+l3_44_0+l3_45_0+l3_46_0+l3_47_0+l3_48_0+l3_49_0+l3_50_0+l3_0_1+l3_1_1+l3_2_1+l3_3_1+l3_4_1+l3_5_1+l3_6_1+l3_7_1+l3_8_1+l3_9_1+l3_10_1+l3_11_1+l3_12_1+l3_13_1+l3_14_1+l3_15_1+l3_16_1+l3_17_1+l3_18_1+l3_19_1+l3_20_1+l3_21_1+l3_22_1+l3_23_1+l3_24_1+l3_25_1+l3_26_1+l3_27_1+l3_28_1+l3_29_1+l3_30_1+l3_31_1+l3_32_1+l3_33_1+l3_34_1+l3_35_1+l3_36_1+l3_37_1+l3_38_1+l3_39_1+l3_40_1+l3_41_1+l3_42_1+l3_43_1+l3_44_1+l3_45_1+l3_46_1+l3_47_1+l3_48_1+l3_49_1+l3_50_1+l3_0_2+l3_1_2+l3_2_2+l3_3_2+l3_4_2+l3_5_2+l3_6_2+l3_7_2+l3_8_2+l3_9_2+l3_10_2+l3_11_2+l3_12_2+l3_13_2+l3_14_2+l3_15_2+l3_16_2+l3_17_2+l3_18_2+l3_19_2+l3_20_2+l3_21_2+l3_22_2+l3_23_2+l3_24_2+l3_25_2+l3_26_2+l3_27_2+l3_28_2+l3_29_2+l3_30_2+l3_31_2+l3_32_2+l3_33_2+l3_34_2+l3_35_2+l3_36_2+l3_37_2+l3_38_2+l3_39_2+l3_40_2+l3_41_2+l3_42_2+l3_43_2+l3_44_2+l3_45_2+l3_46_2+l3_47_2+l3_48_2+l3_49_2+l3_50_2+l3_0_3+l3_1_3+l3_2_3+l3_3_3+l3_4_3+l3_5_3+l3_6_3+l3_7_3+l3_8_3+l3_9_3+l3_10_3+l3_11_3+l3_12_3+l3_13_3+l3_14_3+l3_15_3+l3_16_3+l3_17_3+l3_18_3+l3_19_3+l3_20_3+l3_21_3+l3_22_3+l3_23_3+l3_24_3+l3_25_3+l3_26_3+l3_27_3+l3_28_3+l3_29_3+l3_30_3+l3_31_3+l3_32_3+l3_33_3+l3_34_3+l3_35_3+l3_36_3+l3_37_3+l3_38_3+l3_39_3+l3_40_3+l3_41_3+l3_42_3+l3_43_3+l3_44_3+l3_45_3+l3_46_3+l3_47_3+l3_48_3+l3_49_3+l3_50_3+l3_0_4+l3_1_4+l3_2_4+l3_3_4+l3_4_4+l3_5_4+l3_6_4+l3_7_4+l3_8_4+l3_9_4+l3_10_4+l3_11_4+l3_12_4+l3_13_4+l3_14_4+l3_15_4+l3_16_4+l3_17_4+l3_18_4+l3_19_4+l3_20_4+l3_21_4+l3_22_4+l3_23_4+l3_24_4+l3_25_4+l3_26_4+l3_27_4+l3_28_4+l3_29_4+l3_30_4+l3_31_4+l3_32_4+l3_33_4+l3_34_4+l3_35_4+l3_36_4+l3_37_4+l3_38_4+l3_39_4+l3_40_4+l3_41_4+l3_42_4+l3_43_4+l3_44_4+l3_45_4+l3_46_4+l3_47_4+l3_48_4+l3_49_4+l3_50_4+l3_0_5+l3_1_5+l3_2_5+l3_3_5+l3_4_5+l3_5_5+l3_6_5+l3_7_5+l3_8_5+l3_9_5+l3_10_5+l3_11_5+l3_12_5+l3_13_5+l3_14_5+l3_15_5+l3_16_5+l3_17_5+l3_18_5+l3_19_5+l3_20_5+l3_21_5+l3_22_5+l3_23_5+l3_24_5+l3_25_5+l3_26_5+l3_27_5+l3_28_5+l3_29_5+l3_30_5+l3_31_5+l3_32_5+l3_33_5+l3_34_5+l3_35_5+l3_36_5+l3_37_5+l3_38_5+l3_39_5+l3_40_5+l3_41_5+l3_42_5+l3_43_5+l3_44_5+l3_45_5+l3_46_5+l3_47_5+l3_48_5+l3_49_5+l3_50_5
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-03 with value :m9_0_0+m9_1_0+m9_2_0+m9_3_0+m9_4_0+m9_5_0+m9_6_0+m9_7_0+m9_8_0+m9_9_0+m9_10_0+m9_11_0+m9_12_0+m9_13_0+m9_14_0+m9_15_0+m9_16_0+m9_17_0+m9_18_0+m9_19_0+m9_20_0+m9_21_0+m9_22_0+m9_23_0+m9_24_0+m9_25_0+m9_26_0+m9_27_0+m9_28_0+m9_29_0+m9_30_0+m9_31_0+m9_32_0+m9_33_0+m9_34_0+m9_35_0+m9_36_0+m9_37_0+m9_38_0+m9_39_0+m9_40_0+m9_41_0+m9_42_0+m9_43_0+m9_44_0+m9_45_0+m9_46_0+m9_47_0+m9_48_0+m9_49_0+m9_50_0+m9_0_1+m9_1_1+m9_2_1+m9_3_1+m9_4_1+m9_5_1+m9_6_1+m9_7_1+m9_8_1+m9_9_1+m9_10_1+m9_11_1+m9_12_1+m9_13_1+m9_14_1+m9_15_1+m9_16_1+m9_17_1+m9_18_1+m9_19_1+m9_20_1+m9_21_1+m9_22_1+m9_23_1+m9_24_1+m9_25_1+m9_26_1+m9_27_1+m9_28_1+m9_29_1+m9_30_1+m9_31_1+m9_32_1+m9_33_1+m9_34_1+m9_35_1+m9_36_1+m9_37_1+m9_38_1+m9_39_1+m9_40_1+m9_41_1+m9_42_1+m9_43_1+m9_44_1+m9_45_1+m9_46_1+m9_47_1+m9_48_1+m9_49_1+m9_50_1+m9_0_2+m9_1_2+m9_2_2+m9_3_2+m9_4_2+m9_5_2+m9_6_2+m9_7_2+m9_8_2+m9_9_2+m9_10_2+m9_11_2+m9_12_2+m9_13_2+m9_14_2+m9_15_2+m9_16_2+m9_17_2+m9_18_2+m9_19_2+m9_20_2+m9_21_2+m9_22_2+m9_23_2+m9_24_2+m9_25_2+m9_26_2+m9_27_2+m9_28_2+m9_29_2+m9_30_2+m9_31_2+m9_32_2+m9_33_2+m9_34_2+m9_35_2+m9_36_2+m9_37_2+m9_38_2+m9_39_2+m9_40_2+m9_41_2+m9_42_2+m9_43_2+m9_44_2+m9_45_2+m9_46_2+m9_47_2+m9_48_2+m9_49_2+m9_50_2+m9_0_3+m9_1_3+m9_2_3+m9_3_3+m9_4_3+m9_5_3+m9_6_3+m9_7_3+m9_8_3+m9_9_3+m9_10_3+m9_11_3+m9_12_3+m9_13_3+m9_14_3+m9_15_3+m9_16_3+m9_17_3+m9_18_3+m9_19_3+m9_20_3+m9_21_3+m9_22_3+m9_23_3+m9_24_3+m9_25_3+m9_26_3+m9_27_3+m9_28_3+m9_29_3+m9_30_3+m9_31_3+m9_32_3+m9_33_3+m9_34_3+m9_35_3+m9_36_3+m9_37_3+m9_38_3+m9_39_3+m9_40_3+m9_41_3+m9_42_3+m9_43_3+m9_44_3+m9_45_3+m9_46_3+m9_47_3+m9_48_3+m9_49_3+m9_50_3+m9_0_4+m9_1_4+m9_2_4+m9_3_4+m9_4_4+m9_5_4+m9_6_4+m9_7_4+m9_8_4+m9_9_4+m9_10_4+m9_11_4+m9_12_4+m9_13_4+m9_14_4+m9_15_4+m9_16_4+m9_17_4+m9_18_4+m9_19_4+m9_20_4+m9_21_4+m9_22_4+m9_23_4+m9_24_4+m9_25_4+m9_26_4+m9_27_4+m9_28_4+m9_29_4+m9_30_4+m9_31_4+m9_32_4+m9_33_4+m9_34_4+m9_35_4+m9_36_4+m9_37_4+m9_38_4+m9_39_4+m9_40_4+m9_41_4+m9_42_4+m9_43_4+m9_44_4+m9_45_4+m9_46_4+m9_47_4+m9_48_4+m9_49_4+m9_50_4+m9_0_5+m9_1_5+m9_2_5+m9_3_5+m9_4_5+m9_5_5+m9_6_5+m9_7_5+m9_8_5+m9_9_5+m9_10_5+m9_11_5+m9_12_5+m9_13_5+m9_14_5+m9_15_5+m9_16_5+m9_17_5+m9_18_5+m9_19_5+m9_20_5+m9_21_5+m9_22_5+m9_23_5+m9_24_5+m9_25_5+m9_26_5+m9_27_5+m9_28_5+m9_29_5+m9_30_5+m9_31_5+m9_32_5+m9_33_5+m9_34_5+m9_35_5+m9_36_5+m9_37_5+m9_38_5+m9_39_5+m9_40_5+m9_41_5+m9_42_5+m9_43_5+m9_44_5+m9_45_5+m9_46_5+m9_47_5+m9_48_5+m9_49_5+m9_50_5
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-04 with value :lc3_0+lc3_1+lc3_2+lc3_3+lc3_4+lc3_5+lc3_6+lc3_7+lc3_8+lc3_9+lc3_10+lc3_11+lc3_12+lc3_13+lc3_14+lc3_15+lc3_16+lc3_17+lc3_18+lc3_19+lc3_20+lc3_21+lc3_22+lc3_23+lc3_24+lc3_25+lc3_26+lc3_27+lc3_28+lc3_29+lc3_30+lc3_31+lc3_32+lc3_33+lc3_34+lc3_35+lc3_36+lc3_37+lc3_38+lc3_39+lc3_40+lc3_41+lc3_42+lc3_43+lc3_44+lc3_45+lc3_46+lc3_47+lc3_48+lc3_49+lc3_50
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-05 with value :ml4_0_0+ml4_1_0+ml4_2_0+ml4_3_0+ml4_4_0+ml4_5_0+ml4_6_0+ml4_7_0+ml4_8_0+ml4_9_0+ml4_10_0+ml4_11_0+ml4_12_0+ml4_13_0+ml4_14_0+ml4_15_0+ml4_16_0+ml4_17_0+ml4_18_0+ml4_19_0+ml4_20_0+ml4_21_0+ml4_22_0+ml4_23_0+ml4_24_0+ml4_25_0+ml4_26_0+ml4_27_0+ml4_28_0+ml4_29_0+ml4_30_0+ml4_31_0+ml4_32_0+ml4_33_0+ml4_34_0+ml4_35_0+ml4_36_0+ml4_37_0+ml4_38_0+ml4_39_0+ml4_40_0+ml4_41_0+ml4_42_0+ml4_43_0+ml4_44_0+ml4_45_0+ml4_46_0+ml4_47_0+ml4_48_0+ml4_49_0+ml4_50_0+ml4_0_1+ml4_1_1+ml4_2_1+ml4_3_1+ml4_4_1+ml4_5_1+ml4_6_1+ml4_7_1+ml4_8_1+ml4_9_1+ml4_10_1+ml4_11_1+ml4_12_1+ml4_13_1+ml4_14_1+ml4_15_1+ml4_16_1+ml4_17_1+ml4_18_1+ml4_19_1+ml4_20_1+ml4_21_1+ml4_22_1+ml4_23_1+ml4_24_1+ml4_25_1+ml4_26_1+ml4_27_1+ml4_28_1+ml4_29_1+ml4_30_1+ml4_31_1+ml4_32_1+ml4_33_1+ml4_34_1+ml4_35_1+ml4_36_1+ml4_37_1+ml4_38_1+ml4_39_1+ml4_40_1+ml4_41_1+ml4_42_1+ml4_43_1+ml4_44_1+ml4_45_1+ml4_46_1+ml4_47_1+ml4_48_1+ml4_49_1+ml4_50_1+ml4_0_2+ml4_1_2+ml4_2_2+ml4_3_2+ml4_4_2+ml4_5_2+ml4_6_2+ml4_7_2+ml4_8_2+ml4_9_2+ml4_10_2+ml4_11_2+ml4_12_2+ml4_13_2+ml4_14_2+ml4_15_2+ml4_16_2+ml4_17_2+ml4_18_2+ml4_19_2+ml4_20_2+ml4_21_2+ml4_22_2+ml4_23_2+ml4_24_2+ml4_25_2+ml4_26_2+ml4_27_2+ml4_28_2+ml4_29_2+ml4_30_2+ml4_31_2+ml4_32_2+ml4_33_2+ml4_34_2+ml4_35_2+ml4_36_2+ml4_37_2+ml4_38_2+ml4_39_2+ml4_40_2+ml4_41_2+ml4_42_2+ml4_43_2+ml4_44_2+ml4_45_2+ml4_46_2+ml4_47_2+ml4_48_2+ml4_49_2+ml4_50_2+ml4_0_3+ml4_1_3+ml4_2_3+ml4_3_3+ml4_4_3+ml4_5_3+ml4_6_3+ml4_7_3+ml4_8_3+ml4_9_3+ml4_10_3+ml4_11_3+ml4_12_3+ml4_13_3+ml4_14_3+ml4_15_3+ml4_16_3+ml4_17_3+ml4_18_3+ml4_19_3+ml4_20_3+ml4_21_3+ml4_22_3+ml4_23_3+ml4_24_3+ml4_25_3+ml4_26_3+ml4_27_3+ml4_28_3+ml4_29_3+ml4_30_3+ml4_31_3+ml4_32_3+ml4_33_3+ml4_34_3+ml4_35_3+ml4_36_3+ml4_37_3+ml4_38_3+ml4_39_3+ml4_40_3+ml4_41_3+ml4_42_3+ml4_43_3+ml4_44_3+ml4_45_3+ml4_46_3+ml4_47_3+ml4_48_3+ml4_49_3+ml4_50_3+ml4_0_4+ml4_1_4+ml4_2_4+ml4_3_4+ml4_4_4+ml4_5_4+ml4_6_4+ml4_7_4+ml4_8_4+ml4_9_4+ml4_10_4+ml4_11_4+ml4_12_4+ml4_13_4+ml4_14_4+ml4_15_4+ml4_16_4+ml4_17_4+ml4_18_4+ml4_19_4+ml4_20_4+ml4_21_4+ml4_22_4+ml4_23_4+ml4_24_4+ml4_25_4+ml4_26_4+ml4_27_4+ml4_28_4+ml4_29_4+ml4_30_4+ml4_31_4+ml4_32_4+ml4_33_4+ml4_34_4+ml4_35_4+ml4_36_4+ml4_37_4+ml4_38_4+ml4_39_4+ml4_40_4+ml4_41_4+ml4_42_4+ml4_43_4+ml4_44_4+ml4_45_4+ml4_46_4+ml4_47_4+ml4_48_4+ml4_49_4+ml4_50_4+ml4_0_5+ml4_1_5+ml4_2_5+ml4_3_5+ml4_4_5+ml4_5_5+ml4_6_5+ml4_7_5+ml4_8_5+ml4_9_5+ml4_10_5+ml4_11_5+ml4_12_5+ml4_13_5+ml4_14_5+ml4_15_5+ml4_16_5+ml4_17_5+ml4_18_5+ml4_19_5+ml4_20_5+ml4_21_5+ml4_22_5+ml4_23_5+ml4_24_5+ml4_25_5+ml4_26_5+ml4_27_5+ml4_28_5+ml4_29_5+ml4_30_5+ml4_31_5+ml4_32_5+ml4_33_5+ml4_34_5+ml4_35_5+ml4_36_5+ml4_37_5+ml4_38_5+ml4_39_5+ml4_40_5+ml4_41_5+ml4_42_5+ml4_43_5+ml4_44_5+ml4_45_5+ml4_46_5+ml4_47_5+ml4_48_5+ml4_49_5+ml4_50_5
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-06 with value :l25_0+l25_1+l25_2+l25_3+l25_4+l25_5+l25_6+l25_7+l25_8+l25_9+l25_10+l25_11+l25_12+l25_13+l25_14+l25_15+l25_16+l25_17+l25_18+l25_19+l25_20+l25_21+l25_22+l25_23+l25_24+l25_25+l25_26+l25_27+l25_28+l25_29+l25_30+l25_31+l25_32+l25_33+l25_34+l25_35+l25_36+l25_37+l25_38+l25_39+l25_40+l25_41+l25_42+l25_43+l25_44+l25_45+l25_46+l25_47+l25_48+l25_49+l25_50
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-07 with value :lm2_0_0+lm2_1_0+lm2_2_0+lm2_3_0+lm2_4_0+lm2_5_0+lm2_6_0+lm2_7_0+lm2_8_0+lm2_9_0+lm2_10_0+lm2_11_0+lm2_12_0+lm2_13_0+lm2_14_0+lm2_15_0+lm2_16_0+lm2_17_0+lm2_18_0+lm2_19_0+lm2_20_0+lm2_21_0+lm2_22_0+lm2_23_0+lm2_24_0+lm2_25_0+lm2_26_0+lm2_27_0+lm2_28_0+lm2_29_0+lm2_30_0+lm2_31_0+lm2_32_0+lm2_33_0+lm2_34_0+lm2_35_0+lm2_36_0+lm2_37_0+lm2_38_0+lm2_39_0+lm2_40_0+lm2_41_0+lm2_42_0+lm2_43_0+lm2_44_0+lm2_45_0+lm2_46_0+lm2_47_0+lm2_48_0+lm2_49_0+lm2_50_0+lm2_0_1+lm2_1_1+lm2_2_1+lm2_3_1+lm2_4_1+lm2_5_1+lm2_6_1+lm2_7_1+lm2_8_1+lm2_9_1+lm2_10_1+lm2_11_1+lm2_12_1+lm2_13_1+lm2_14_1+lm2_15_1+lm2_16_1+lm2_17_1+lm2_18_1+lm2_19_1+lm2_20_1+lm2_21_1+lm2_22_1+lm2_23_1+lm2_24_1+lm2_25_1+lm2_26_1+lm2_27_1+lm2_28_1+lm2_29_1+lm2_30_1+lm2_31_1+lm2_32_1+lm2_33_1+lm2_34_1+lm2_35_1+lm2_36_1+lm2_37_1+lm2_38_1+lm2_39_1+lm2_40_1+lm2_41_1+lm2_42_1+lm2_43_1+lm2_44_1+lm2_45_1+lm2_46_1+lm2_47_1+lm2_48_1+lm2_49_1+lm2_50_1+lm2_0_2+lm2_1_2+lm2_2_2+lm2_3_2+lm2_4_2+lm2_5_2+lm2_6_2+lm2_7_2+lm2_8_2+lm2_9_2+lm2_10_2+lm2_11_2+lm2_12_2+lm2_13_2+lm2_14_2+lm2_15_2+lm2_16_2+lm2_17_2+lm2_18_2+lm2_19_2+lm2_20_2+lm2_21_2+lm2_22_2+lm2_23_2+lm2_24_2+lm2_25_2+lm2_26_2+lm2_27_2+lm2_28_2+lm2_29_2+lm2_30_2+lm2_31_2+lm2_32_2+lm2_33_2+lm2_34_2+lm2_35_2+lm2_36_2+lm2_37_2+lm2_38_2+lm2_39_2+lm2_40_2+lm2_41_2+lm2_42_2+lm2_43_2+lm2_44_2+lm2_45_2+lm2_46_2+lm2_47_2+lm2_48_2+lm2_49_2+lm2_50_2+lm2_0_3+lm2_1_3+lm2_2_3+lm2_3_3+lm2_4_3+lm2_5_3+lm2_6_3+lm2_7_3+lm2_8_3+lm2_9_3+lm2_10_3+lm2_11_3+lm2_12_3+lm2_13_3+lm2_14_3+lm2_15_3+lm2_16_3+lm2_17_3+lm2_18_3+lm2_19_3+lm2_20_3+lm2_21_3+lm2_22_3+lm2_23_3+lm2_24_3+lm2_25_3+lm2_26_3+lm2_27_3+lm2_28_3+lm2_29_3+lm2_30_3+lm2_31_3+lm2_32_3+lm2_33_3+lm2_34_3+lm2_35_3+lm2_36_3+lm2_37_3+lm2_38_3+lm2_39_3+lm2_40_3+lm2_41_3+lm2_42_3+lm2_43_3+lm2_44_3+lm2_45_3+lm2_46_3+lm2_47_3+lm2_48_3+lm2_49_3+lm2_50_3+lm2_0_4+lm2_1_4+lm2_2_4+lm2_3_4+lm2_4_4+lm2_5_4+lm2_6_4+lm2_7_4+lm2_8_4+lm2_9_4+lm2_10_4+lm2_11_4+lm2_12_4+lm2_13_4+lm2_14_4+lm2_15_4+lm2_16_4+lm2_17_4+lm2_18_4+lm2_19_4+lm2_20_4+lm2_21_4+lm2_22_4+lm2_23_4+lm2_24_4+lm2_25_4+lm2_26_4+lm2_27_4+lm2_28_4+lm2_29_4+lm2_30_4+lm2_31_4+lm2_32_4+lm2_33_4+lm2_34_4+lm2_35_4+lm2_36_4+lm2_37_4+lm2_38_4+lm2_39_4+lm2_40_4+lm2_41_4+lm2_42_4+lm2_43_4+lm2_44_4+lm2_45_4+lm2_46_4+lm2_47_4+lm2_48_4+lm2_49_4+lm2_50_4+lm2_0_5+lm2_1_5+lm2_2_5+lm2_3_5+lm2_4_5+lm2_5_5+lm2_6_5+lm2_7_5+lm2_8_5+lm2_9_5+lm2_10_5+lm2_11_5+lm2_12_5+lm2_13_5+lm2_14_5+lm2_15_5+lm2_16_5+lm2_17_5+lm2_18_5+lm2_19_5+lm2_20_5+lm2_21_5+lm2_22_5+lm2_23_5+lm2_24_5+lm2_25_5+lm2_26_5+lm2_27_5+lm2_28_5+lm2_29_5+lm2_30_5+lm2_31_5+lm2_32_5+lm2_33_5+lm2_34_5+lm2_35_5+lm2_36_5+lm2_37_5+lm2_38_5+lm2_39_5+lm2_40_5+lm2_41_5+lm2_42_5+lm2_43_5+lm2_44_5+lm2_45_5+lm2_46_5+lm2_47_5+lm2_48_5+lm2_49_5+lm2_50_5
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-08 with value :p6_36_0
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-09 with value :l12_47
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-10 with value :l5_25_4
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-11 with value :l3_5_1
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-12 with value :p6_40_1
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-13 with value :l4_24_0
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-14 with value :l5_36_3
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-15 with value :m5_13_4
Detected timeout of ITS tools.
[2021-05-11 14:14:55] [INFO ] Flatten gal took : 1171 ms
[2021-05-11 14:14:57] [INFO ] Input system was already deterministic with 10560 transitions.
[2021-05-11 14:14:57] [INFO ] Transformed 12177 places.
[2021-05-11 14:14:57] [INFO ] Transformed 10560 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-11 14:15:28] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 42 ms
[2021-05-11 14:15:28] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file UpperBounds.prop.
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-00 with value :l8_0+l8_1+l8_2+l8_3+l8_4+l8_5+l8_6+l8_7+l8_8+l8_9+l8_10+l8_11+l8_12+l8_13+l8_14+l8_15+l8_16+l8_17+l8_18+l8_19+l8_20+l8_21+l8_22+l8_23+l8_24+l8_25+l8_26+l8_27+l8_28+l8_29+l8_30+l8_31+l8_32+l8_33+l8_34+l8_35+l8_36+l8_37+l8_38+l8_39+l8_40+l8_41+l8_42+l8_43+l8_44+l8_45+l8_46+l8_47+l8_48+l8_49+l8_50
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-01 with value :l4_0_0+l4_1_0+l4_2_0+l4_3_0+l4_4_0+l4_5_0+l4_6_0+l4_7_0+l4_8_0+l4_9_0+l4_10_0+l4_11_0+l4_12_0+l4_13_0+l4_14_0+l4_15_0+l4_16_0+l4_17_0+l4_18_0+l4_19_0+l4_20_0+l4_21_0+l4_22_0+l4_23_0+l4_24_0+l4_25_0+l4_26_0+l4_27_0+l4_28_0+l4_29_0+l4_30_0+l4_31_0+l4_32_0+l4_33_0+l4_34_0+l4_35_0+l4_36_0+l4_37_0+l4_38_0+l4_39_0+l4_40_0+l4_41_0+l4_42_0+l4_43_0+l4_44_0+l4_45_0+l4_46_0+l4_47_0+l4_48_0+l4_49_0+l4_50_0+l4_0_1+l4_1_1+l4_2_1+l4_3_1+l4_4_1+l4_5_1+l4_6_1+l4_7_1+l4_8_1+l4_9_1+l4_10_1+l4_11_1+l4_12_1+l4_13_1+l4_14_1+l4_15_1+l4_16_1+l4_17_1+l4_18_1+l4_19_1+l4_20_1+l4_21_1+l4_22_1+l4_23_1+l4_24_1+l4_25_1+l4_26_1+l4_27_1+l4_28_1+l4_29_1+l4_30_1+l4_31_1+l4_32_1+l4_33_1+l4_34_1+l4_35_1+l4_36_1+l4_37_1+l4_38_1+l4_39_1+l4_40_1+l4_41_1+l4_42_1+l4_43_1+l4_44_1+l4_45_1+l4_46_1+l4_47_1+l4_48_1+l4_49_1+l4_50_1+l4_0_2+l4_1_2+l4_2_2+l4_3_2+l4_4_2+l4_5_2+l4_6_2+l4_7_2+l4_8_2+l4_9_2+l4_10_2+l4_11_2+l4_12_2+l4_13_2+l4_14_2+l4_15_2+l4_16_2+l4_17_2+l4_18_2+l4_19_2+l4_20_2+l4_21_2+l4_22_2+l4_23_2+l4_24_2+l4_25_2+l4_26_2+l4_27_2+l4_28_2+l4_29_2+l4_30_2+l4_31_2+l4_32_2+l4_33_2+l4_34_2+l4_35_2+l4_36_2+l4_37_2+l4_38_2+l4_39_2+l4_40_2+l4_41_2+l4_42_2+l4_43_2+l4_44_2+l4_45_2+l4_46_2+l4_47_2+l4_48_2+l4_49_2+l4_50_2+l4_0_3+l4_1_3+l4_2_3+l4_3_3+l4_4_3+l4_5_3+l4_6_3+l4_7_3+l4_8_3+l4_9_3+l4_10_3+l4_11_3+l4_12_3+l4_13_3+l4_14_3+l4_15_3+l4_16_3+l4_17_3+l4_18_3+l4_19_3+l4_20_3+l4_21_3+l4_22_3+l4_23_3+l4_24_3+l4_25_3+l4_26_3+l4_27_3+l4_28_3+l4_29_3+l4_30_3+l4_31_3+l4_32_3+l4_33_3+l4_34_3+l4_35_3+l4_36_3+l4_37_3+l4_38_3+l4_39_3+l4_40_3+l4_41_3+l4_42_3+l4_43_3+l4_44_3+l4_45_3+l4_46_3+l4_47_3+l4_48_3+l4_49_3+l4_50_3+l4_0_4+l4_1_4+l4_2_4+l4_3_4+l4_4_4+l4_5_4+l4_6_4+l4_7_4+l4_8_4+l4_9_4+l4_10_4+l4_11_4+l4_12_4+l4_13_4+l4_14_4+l4_15_4+l4_16_4+l4_17_4+l4_18_4+l4_19_4+l4_20_4+l4_21_4+l4_22_4+l4_23_4+l4_24_4+l4_25_4+l4_26_4+l4_27_4+l4_28_4+l4_29_4+l4_30_4+l4_31_4+l4_32_4+l4_33_4+l4_34_4+l4_35_4+l4_36_4+l4_37_4+l4_38_4+l4_39_4+l4_40_4+l4_41_4+l4_42_4+l4_43_4+l4_44_4+l4_45_4+l4_46_4+l4_47_4+l4_48_4+l4_49_4+l4_50_4+l4_0_5+l4_1_5+l4_2_5+l4_3_5+l4_4_5+l4_5_5+l4_6_5+l4_7_5+l4_8_5+l4_9_5+l4_10_5+l4_11_5+l4_12_5+l4_13_5+l4_14_5+l4_15_5+l4_16_5+l4_17_5+l4_18_5+l4_19_5+l4_20_5+l4_21_5+l4_22_5+l4_23_5+l4_24_5+l4_25_5+l4_26_5+l4_27_5+l4_28_5+l4_29_5+l4_30_5+l4_31_5+l4_32_5+l4_33_5+l4_34_5+l4_35_5+l4_36_5+l4_37_5+l4_38_5+l4_39_5+l4_40_5+l4_41_5+l4_42_5+l4_43_5+l4_44_5+l4_45_5+l4_46_5+l4_47_5+l4_48_5+l4_49_5+l4_50_5
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-02 with value :l3_0_0+l3_1_0+l3_2_0+l3_3_0+l3_4_0+l3_5_0+l3_6_0+l3_7_0+l3_8_0+l3_9_0+l3_10_0+l3_11_0+l3_12_0+l3_13_0+l3_14_0+l3_15_0+l3_16_0+l3_17_0+l3_18_0+l3_19_0+l3_20_0+l3_21_0+l3_22_0+l3_23_0+l3_24_0+l3_25_0+l3_26_0+l3_27_0+l3_28_0+l3_29_0+l3_30_0+l3_31_0+l3_32_0+l3_33_0+l3_34_0+l3_35_0+l3_36_0+l3_37_0+l3_38_0+l3_39_0+l3_40_0+l3_41_0+l3_42_0+l3_43_0+l3_44_0+l3_45_0+l3_46_0+l3_47_0+l3_48_0+l3_49_0+l3_50_0+l3_0_1+l3_1_1+l3_2_1+l3_3_1+l3_4_1+l3_5_1+l3_6_1+l3_7_1+l3_8_1+l3_9_1+l3_10_1+l3_11_1+l3_12_1+l3_13_1+l3_14_1+l3_15_1+l3_16_1+l3_17_1+l3_18_1+l3_19_1+l3_20_1+l3_21_1+l3_22_1+l3_23_1+l3_24_1+l3_25_1+l3_26_1+l3_27_1+l3_28_1+l3_29_1+l3_30_1+l3_31_1+l3_32_1+l3_33_1+l3_34_1+l3_35_1+l3_36_1+l3_37_1+l3_38_1+l3_39_1+l3_40_1+l3_41_1+l3_42_1+l3_43_1+l3_44_1+l3_45_1+l3_46_1+l3_47_1+l3_48_1+l3_49_1+l3_50_1+l3_0_2+l3_1_2+l3_2_2+l3_3_2+l3_4_2+l3_5_2+l3_6_2+l3_7_2+l3_8_2+l3_9_2+l3_10_2+l3_11_2+l3_12_2+l3_13_2+l3_14_2+l3_15_2+l3_16_2+l3_17_2+l3_18_2+l3_19_2+l3_20_2+l3_21_2+l3_22_2+l3_23_2+l3_24_2+l3_25_2+l3_26_2+l3_27_2+l3_28_2+l3_29_2+l3_30_2+l3_31_2+l3_32_2+l3_33_2+l3_34_2+l3_35_2+l3_36_2+l3_37_2+l3_38_2+l3_39_2+l3_40_2+l3_41_2+l3_42_2+l3_43_2+l3_44_2+l3_45_2+l3_46_2+l3_47_2+l3_48_2+l3_49_2+l3_50_2+l3_0_3+l3_1_3+l3_2_3+l3_3_3+l3_4_3+l3_5_3+l3_6_3+l3_7_3+l3_8_3+l3_9_3+l3_10_3+l3_11_3+l3_12_3+l3_13_3+l3_14_3+l3_15_3+l3_16_3+l3_17_3+l3_18_3+l3_19_3+l3_20_3+l3_21_3+l3_22_3+l3_23_3+l3_24_3+l3_25_3+l3_26_3+l3_27_3+l3_28_3+l3_29_3+l3_30_3+l3_31_3+l3_32_3+l3_33_3+l3_34_3+l3_35_3+l3_36_3+l3_37_3+l3_38_3+l3_39_3+l3_40_3+l3_41_3+l3_42_3+l3_43_3+l3_44_3+l3_45_3+l3_46_3+l3_47_3+l3_48_3+l3_49_3+l3_50_3+l3_0_4+l3_1_4+l3_2_4+l3_3_4+l3_4_4+l3_5_4+l3_6_4+l3_7_4+l3_8_4+l3_9_4+l3_10_4+l3_11_4+l3_12_4+l3_13_4+l3_14_4+l3_15_4+l3_16_4+l3_17_4+l3_18_4+l3_19_4+l3_20_4+l3_21_4+l3_22_4+l3_23_4+l3_24_4+l3_25_4+l3_26_4+l3_27_4+l3_28_4+l3_29_4+l3_30_4+l3_31_4+l3_32_4+l3_33_4+l3_34_4+l3_35_4+l3_36_4+l3_37_4+l3_38_4+l3_39_4+l3_40_4+l3_41_4+l3_42_4+l3_43_4+l3_44_4+l3_45_4+l3_46_4+l3_47_4+l3_48_4+l3_49_4+l3_50_4+l3_0_5+l3_1_5+l3_2_5+l3_3_5+l3_4_5+l3_5_5+l3_6_5+l3_7_5+l3_8_5+l3_9_5+l3_10_5+l3_11_5+l3_12_5+l3_13_5+l3_14_5+l3_15_5+l3_16_5+l3_17_5+l3_18_5+l3_19_5+l3_20_5+l3_21_5+l3_22_5+l3_23_5+l3_24_5+l3_25_5+l3_26_5+l3_27_5+l3_28_5+l3_29_5+l3_30_5+l3_31_5+l3_32_5+l3_33_5+l3_34_5+l3_35_5+l3_36_5+l3_37_5+l3_38_5+l3_39_5+l3_40_5+l3_41_5+l3_42_5+l3_43_5+l3_44_5+l3_45_5+l3_46_5+l3_47_5+l3_48_5+l3_49_5+l3_50_5
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-03 with value :m9_0_0+m9_1_0+m9_2_0+m9_3_0+m9_4_0+m9_5_0+m9_6_0+m9_7_0+m9_8_0+m9_9_0+m9_10_0+m9_11_0+m9_12_0+m9_13_0+m9_14_0+m9_15_0+m9_16_0+m9_17_0+m9_18_0+m9_19_0+m9_20_0+m9_21_0+m9_22_0+m9_23_0+m9_24_0+m9_25_0+m9_26_0+m9_27_0+m9_28_0+m9_29_0+m9_30_0+m9_31_0+m9_32_0+m9_33_0+m9_34_0+m9_35_0+m9_36_0+m9_37_0+m9_38_0+m9_39_0+m9_40_0+m9_41_0+m9_42_0+m9_43_0+m9_44_0+m9_45_0+m9_46_0+m9_47_0+m9_48_0+m9_49_0+m9_50_0+m9_0_1+m9_1_1+m9_2_1+m9_3_1+m9_4_1+m9_5_1+m9_6_1+m9_7_1+m9_8_1+m9_9_1+m9_10_1+m9_11_1+m9_12_1+m9_13_1+m9_14_1+m9_15_1+m9_16_1+m9_17_1+m9_18_1+m9_19_1+m9_20_1+m9_21_1+m9_22_1+m9_23_1+m9_24_1+m9_25_1+m9_26_1+m9_27_1+m9_28_1+m9_29_1+m9_30_1+m9_31_1+m9_32_1+m9_33_1+m9_34_1+m9_35_1+m9_36_1+m9_37_1+m9_38_1+m9_39_1+m9_40_1+m9_41_1+m9_42_1+m9_43_1+m9_44_1+m9_45_1+m9_46_1+m9_47_1+m9_48_1+m9_49_1+m9_50_1+m9_0_2+m9_1_2+m9_2_2+m9_3_2+m9_4_2+m9_5_2+m9_6_2+m9_7_2+m9_8_2+m9_9_2+m9_10_2+m9_11_2+m9_12_2+m9_13_2+m9_14_2+m9_15_2+m9_16_2+m9_17_2+m9_18_2+m9_19_2+m9_20_2+m9_21_2+m9_22_2+m9_23_2+m9_24_2+m9_25_2+m9_26_2+m9_27_2+m9_28_2+m9_29_2+m9_30_2+m9_31_2+m9_32_2+m9_33_2+m9_34_2+m9_35_2+m9_36_2+m9_37_2+m9_38_2+m9_39_2+m9_40_2+m9_41_2+m9_42_2+m9_43_2+m9_44_2+m9_45_2+m9_46_2+m9_47_2+m9_48_2+m9_49_2+m9_50_2+m9_0_3+m9_1_3+m9_2_3+m9_3_3+m9_4_3+m9_5_3+m9_6_3+m9_7_3+m9_8_3+m9_9_3+m9_10_3+m9_11_3+m9_12_3+m9_13_3+m9_14_3+m9_15_3+m9_16_3+m9_17_3+m9_18_3+m9_19_3+m9_20_3+m9_21_3+m9_22_3+m9_23_3+m9_24_3+m9_25_3+m9_26_3+m9_27_3+m9_28_3+m9_29_3+m9_30_3+m9_31_3+m9_32_3+m9_33_3+m9_34_3+m9_35_3+m9_36_3+m9_37_3+m9_38_3+m9_39_3+m9_40_3+m9_41_3+m9_42_3+m9_43_3+m9_44_3+m9_45_3+m9_46_3+m9_47_3+m9_48_3+m9_49_3+m9_50_3+m9_0_4+m9_1_4+m9_2_4+m9_3_4+m9_4_4+m9_5_4+m9_6_4+m9_7_4+m9_8_4+m9_9_4+m9_10_4+m9_11_4+m9_12_4+m9_13_4+m9_14_4+m9_15_4+m9_16_4+m9_17_4+m9_18_4+m9_19_4+m9_20_4+m9_21_4+m9_22_4+m9_23_4+m9_24_4+m9_25_4+m9_26_4+m9_27_4+m9_28_4+m9_29_4+m9_30_4+m9_31_4+m9_32_4+m9_33_4+m9_34_4+m9_35_4+m9_36_4+m9_37_4+m9_38_4+m9_39_4+m9_40_4+m9_41_4+m9_42_4+m9_43_4+m9_44_4+m9_45_4+m9_46_4+m9_47_4+m9_48_4+m9_49_4+m9_50_4+m9_0_5+m9_1_5+m9_2_5+m9_3_5+m9_4_5+m9_5_5+m9_6_5+m9_7_5+m9_8_5+m9_9_5+m9_10_5+m9_11_5+m9_12_5+m9_13_5+m9_14_5+m9_15_5+m9_16_5+m9_17_5+m9_18_5+m9_19_5+m9_20_5+m9_21_5+m9_22_5+m9_23_5+m9_24_5+m9_25_5+m9_26_5+m9_27_5+m9_28_5+m9_29_5+m9_30_5+m9_31_5+m9_32_5+m9_33_5+m9_34_5+m9_35_5+m9_36_5+m9_37_5+m9_38_5+m9_39_5+m9_40_5+m9_41_5+m9_42_5+m9_43_5+m9_44_5+m9_45_5+m9_46_5+m9_47_5+m9_48_5+m9_49_5+m9_50_5
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-04 with value :lc3_0+lc3_1+lc3_2+lc3_3+lc3_4+lc3_5+lc3_6+lc3_7+lc3_8+lc3_9+lc3_10+lc3_11+lc3_12+lc3_13+lc3_14+lc3_15+lc3_16+lc3_17+lc3_18+lc3_19+lc3_20+lc3_21+lc3_22+lc3_23+lc3_24+lc3_25+lc3_26+lc3_27+lc3_28+lc3_29+lc3_30+lc3_31+lc3_32+lc3_33+lc3_34+lc3_35+lc3_36+lc3_37+lc3_38+lc3_39+lc3_40+lc3_41+lc3_42+lc3_43+lc3_44+lc3_45+lc3_46+lc3_47+lc3_48+lc3_49+lc3_50
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-05 with value :ml4_0_0+ml4_1_0+ml4_2_0+ml4_3_0+ml4_4_0+ml4_5_0+ml4_6_0+ml4_7_0+ml4_8_0+ml4_9_0+ml4_10_0+ml4_11_0+ml4_12_0+ml4_13_0+ml4_14_0+ml4_15_0+ml4_16_0+ml4_17_0+ml4_18_0+ml4_19_0+ml4_20_0+ml4_21_0+ml4_22_0+ml4_23_0+ml4_24_0+ml4_25_0+ml4_26_0+ml4_27_0+ml4_28_0+ml4_29_0+ml4_30_0+ml4_31_0+ml4_32_0+ml4_33_0+ml4_34_0+ml4_35_0+ml4_36_0+ml4_37_0+ml4_38_0+ml4_39_0+ml4_40_0+ml4_41_0+ml4_42_0+ml4_43_0+ml4_44_0+ml4_45_0+ml4_46_0+ml4_47_0+ml4_48_0+ml4_49_0+ml4_50_0+ml4_0_1+ml4_1_1+ml4_2_1+ml4_3_1+ml4_4_1+ml4_5_1+ml4_6_1+ml4_7_1+ml4_8_1+ml4_9_1+ml4_10_1+ml4_11_1+ml4_12_1+ml4_13_1+ml4_14_1+ml4_15_1+ml4_16_1+ml4_17_1+ml4_18_1+ml4_19_1+ml4_20_1+ml4_21_1+ml4_22_1+ml4_23_1+ml4_24_1+ml4_25_1+ml4_26_1+ml4_27_1+ml4_28_1+ml4_29_1+ml4_30_1+ml4_31_1+ml4_32_1+ml4_33_1+ml4_34_1+ml4_35_1+ml4_36_1+ml4_37_1+ml4_38_1+ml4_39_1+ml4_40_1+ml4_41_1+ml4_42_1+ml4_43_1+ml4_44_1+ml4_45_1+ml4_46_1+ml4_47_1+ml4_48_1+ml4_49_1+ml4_50_1+ml4_0_2+ml4_1_2+ml4_2_2+ml4_3_2+ml4_4_2+ml4_5_2+ml4_6_2+ml4_7_2+ml4_8_2+ml4_9_2+ml4_10_2+ml4_11_2+ml4_12_2+ml4_13_2+ml4_14_2+ml4_15_2+ml4_16_2+ml4_17_2+ml4_18_2+ml4_19_2+ml4_20_2+ml4_21_2+ml4_22_2+ml4_23_2+ml4_24_2+ml4_25_2+ml4_26_2+ml4_27_2+ml4_28_2+ml4_29_2+ml4_30_2+ml4_31_2+ml4_32_2+ml4_33_2+ml4_34_2+ml4_35_2+ml4_36_2+ml4_37_2+ml4_38_2+ml4_39_2+ml4_40_2+ml4_41_2+ml4_42_2+ml4_43_2+ml4_44_2+ml4_45_2+ml4_46_2+ml4_47_2+ml4_48_2+ml4_49_2+ml4_50_2+ml4_0_3+ml4_1_3+ml4_2_3+ml4_3_3+ml4_4_3+ml4_5_3+ml4_6_3+ml4_7_3+ml4_8_3+ml4_9_3+ml4_10_3+ml4_11_3+ml4_12_3+ml4_13_3+ml4_14_3+ml4_15_3+ml4_16_3+ml4_17_3+ml4_18_3+ml4_19_3+ml4_20_3+ml4_21_3+ml4_22_3+ml4_23_3+ml4_24_3+ml4_25_3+ml4_26_3+ml4_27_3+ml4_28_3+ml4_29_3+ml4_30_3+ml4_31_3+ml4_32_3+ml4_33_3+ml4_34_3+ml4_35_3+ml4_36_3+ml4_37_3+ml4_38_3+ml4_39_3+ml4_40_3+ml4_41_3+ml4_42_3+ml4_43_3+ml4_44_3+ml4_45_3+ml4_46_3+ml4_47_3+ml4_48_3+ml4_49_3+ml4_50_3+ml4_0_4+ml4_1_4+ml4_2_4+ml4_3_4+ml4_4_4+ml4_5_4+ml4_6_4+ml4_7_4+ml4_8_4+ml4_9_4+ml4_10_4+ml4_11_4+ml4_12_4+ml4_13_4+ml4_14_4+ml4_15_4+ml4_16_4+ml4_17_4+ml4_18_4+ml4_19_4+ml4_20_4+ml4_21_4+ml4_22_4+ml4_23_4+ml4_24_4+ml4_25_4+ml4_26_4+ml4_27_4+ml4_28_4+ml4_29_4+ml4_30_4+ml4_31_4+ml4_32_4+ml4_33_4+ml4_34_4+ml4_35_4+ml4_36_4+ml4_37_4+ml4_38_4+ml4_39_4+ml4_40_4+ml4_41_4+ml4_42_4+ml4_43_4+ml4_44_4+ml4_45_4+ml4_46_4+ml4_47_4+ml4_48_4+ml4_49_4+ml4_50_4+ml4_0_5+ml4_1_5+ml4_2_5+ml4_3_5+ml4_4_5+ml4_5_5+ml4_6_5+ml4_7_5+ml4_8_5+ml4_9_5+ml4_10_5+ml4_11_5+ml4_12_5+ml4_13_5+ml4_14_5+ml4_15_5+ml4_16_5+ml4_17_5+ml4_18_5+ml4_19_5+ml4_20_5+ml4_21_5+ml4_22_5+ml4_23_5+ml4_24_5+ml4_25_5+ml4_26_5+ml4_27_5+ml4_28_5+ml4_29_5+ml4_30_5+ml4_31_5+ml4_32_5+ml4_33_5+ml4_34_5+ml4_35_5+ml4_36_5+ml4_37_5+ml4_38_5+ml4_39_5+ml4_40_5+ml4_41_5+ml4_42_5+ml4_43_5+ml4_44_5+ml4_45_5+ml4_46_5+ml4_47_5+ml4_48_5+ml4_49_5+ml4_50_5
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-06 with value :l25_0+l25_1+l25_2+l25_3+l25_4+l25_5+l25_6+l25_7+l25_8+l25_9+l25_10+l25_11+l25_12+l25_13+l25_14+l25_15+l25_16+l25_17+l25_18+l25_19+l25_20+l25_21+l25_22+l25_23+l25_24+l25_25+l25_26+l25_27+l25_28+l25_29+l25_30+l25_31+l25_32+l25_33+l25_34+l25_35+l25_36+l25_37+l25_38+l25_39+l25_40+l25_41+l25_42+l25_43+l25_44+l25_45+l25_46+l25_47+l25_48+l25_49+l25_50
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-07 with value :lm2_0_0+lm2_1_0+lm2_2_0+lm2_3_0+lm2_4_0+lm2_5_0+lm2_6_0+lm2_7_0+lm2_8_0+lm2_9_0+lm2_10_0+lm2_11_0+lm2_12_0+lm2_13_0+lm2_14_0+lm2_15_0+lm2_16_0+lm2_17_0+lm2_18_0+lm2_19_0+lm2_20_0+lm2_21_0+lm2_22_0+lm2_23_0+lm2_24_0+lm2_25_0+lm2_26_0+lm2_27_0+lm2_28_0+lm2_29_0+lm2_30_0+lm2_31_0+lm2_32_0+lm2_33_0+lm2_34_0+lm2_35_0+lm2_36_0+lm2_37_0+lm2_38_0+lm2_39_0+lm2_40_0+lm2_41_0+lm2_42_0+lm2_43_0+lm2_44_0+lm2_45_0+lm2_46_0+lm2_47_0+lm2_48_0+lm2_49_0+lm2_50_0+lm2_0_1+lm2_1_1+lm2_2_1+lm2_3_1+lm2_4_1+lm2_5_1+lm2_6_1+lm2_7_1+lm2_8_1+lm2_9_1+lm2_10_1+lm2_11_1+lm2_12_1+lm2_13_1+lm2_14_1+lm2_15_1+lm2_16_1+lm2_17_1+lm2_18_1+lm2_19_1+lm2_20_1+lm2_21_1+lm2_22_1+lm2_23_1+lm2_24_1+lm2_25_1+lm2_26_1+lm2_27_1+lm2_28_1+lm2_29_1+lm2_30_1+lm2_31_1+lm2_32_1+lm2_33_1+lm2_34_1+lm2_35_1+lm2_36_1+lm2_37_1+lm2_38_1+lm2_39_1+lm2_40_1+lm2_41_1+lm2_42_1+lm2_43_1+lm2_44_1+lm2_45_1+lm2_46_1+lm2_47_1+lm2_48_1+lm2_49_1+lm2_50_1+lm2_0_2+lm2_1_2+lm2_2_2+lm2_3_2+lm2_4_2+lm2_5_2+lm2_6_2+lm2_7_2+lm2_8_2+lm2_9_2+lm2_10_2+lm2_11_2+lm2_12_2+lm2_13_2+lm2_14_2+lm2_15_2+lm2_16_2+lm2_17_2+lm2_18_2+lm2_19_2+lm2_20_2+lm2_21_2+lm2_22_2+lm2_23_2+lm2_24_2+lm2_25_2+lm2_26_2+lm2_27_2+lm2_28_2+lm2_29_2+lm2_30_2+lm2_31_2+lm2_32_2+lm2_33_2+lm2_34_2+lm2_35_2+lm2_36_2+lm2_37_2+lm2_38_2+lm2_39_2+lm2_40_2+lm2_41_2+lm2_42_2+lm2_43_2+lm2_44_2+lm2_45_2+lm2_46_2+lm2_47_2+lm2_48_2+lm2_49_2+lm2_50_2+lm2_0_3+lm2_1_3+lm2_2_3+lm2_3_3+lm2_4_3+lm2_5_3+lm2_6_3+lm2_7_3+lm2_8_3+lm2_9_3+lm2_10_3+lm2_11_3+lm2_12_3+lm2_13_3+lm2_14_3+lm2_15_3+lm2_16_3+lm2_17_3+lm2_18_3+lm2_19_3+lm2_20_3+lm2_21_3+lm2_22_3+lm2_23_3+lm2_24_3+lm2_25_3+lm2_26_3+lm2_27_3+lm2_28_3+lm2_29_3+lm2_30_3+lm2_31_3+lm2_32_3+lm2_33_3+lm2_34_3+lm2_35_3+lm2_36_3+lm2_37_3+lm2_38_3+lm2_39_3+lm2_40_3+lm2_41_3+lm2_42_3+lm2_43_3+lm2_44_3+lm2_45_3+lm2_46_3+lm2_47_3+lm2_48_3+lm2_49_3+lm2_50_3+lm2_0_4+lm2_1_4+lm2_2_4+lm2_3_4+lm2_4_4+lm2_5_4+lm2_6_4+lm2_7_4+lm2_8_4+lm2_9_4+lm2_10_4+lm2_11_4+lm2_12_4+lm2_13_4+lm2_14_4+lm2_15_4+lm2_16_4+lm2_17_4+lm2_18_4+lm2_19_4+lm2_20_4+lm2_21_4+lm2_22_4+lm2_23_4+lm2_24_4+lm2_25_4+lm2_26_4+lm2_27_4+lm2_28_4+lm2_29_4+lm2_30_4+lm2_31_4+lm2_32_4+lm2_33_4+lm2_34_4+lm2_35_4+lm2_36_4+lm2_37_4+lm2_38_4+lm2_39_4+lm2_40_4+lm2_41_4+lm2_42_4+lm2_43_4+lm2_44_4+lm2_45_4+lm2_46_4+lm2_47_4+lm2_48_4+lm2_49_4+lm2_50_4+lm2_0_5+lm2_1_5+lm2_2_5+lm2_3_5+lm2_4_5+lm2_5_5+lm2_6_5+lm2_7_5+lm2_8_5+lm2_9_5+lm2_10_5+lm2_11_5+lm2_12_5+lm2_13_5+lm2_14_5+lm2_15_5+lm2_16_5+lm2_17_5+lm2_18_5+lm2_19_5+lm2_20_5+lm2_21_5+lm2_22_5+lm2_23_5+lm2_24_5+lm2_25_5+lm2_26_5+lm2_27_5+lm2_28_5+lm2_29_5+lm2_30_5+lm2_31_5+lm2_32_5+lm2_33_5+lm2_34_5+lm2_35_5+lm2_36_5+lm2_37_5+lm2_38_5+lm2_39_5+lm2_40_5+lm2_41_5+lm2_42_5+lm2_43_5+lm2_44_5+lm2_45_5+lm2_46_5+lm2_47_5+lm2_48_5+lm2_49_5+lm2_50_5
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-08 with value :p6_36_0
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-09 with value :l12_47
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-10 with value :l5_25_4
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-11 with value :l3_5_1
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-12 with value :p6_40_1
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-13 with value :l4_24_0
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-14 with value :l5_36_3
Read [bounds] property : FamilyReunion-PT-L00050M0005C002P002G001-UpperBounds-15 with value :m5_13_4

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
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution UpperBounds -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ 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 UpperBounds -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6

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="FamilyReunion-PT-L00050M0005C002P002G001"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-4028"
echo " Executing tool gold2020"
echo " Input is FamilyReunion-PT-L00050M0005C002P002G001, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r093-tall-162048900400120"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-PT-L00050M0005C002P002G001.tgz
mv FamilyReunion-PT-L00050M0005C002P002G001 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; 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 [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;