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-162048900400121.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-L00100M0010C005P005G002, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-tall-162048900400121
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 55M
-rw-r--r-- 1 mcc users 2.0M May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 12M May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5M May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 16M 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 168K Mar 28 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 682K Mar 28 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 320K Mar 28 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 853K Mar 28 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 170K Mar 23 10:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 640K Mar 23 10:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 473K Mar 22 18:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.3M Mar 22 18:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 41K Mar 22 09:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 112K Mar 22 09:12 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 17M 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-L00100M0010C005P005G002-UpperBounds-00
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-01
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-02
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-03
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-04
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-05
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-06
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-07
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-08
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-09
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-10
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-11
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-12
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-13
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-14
FORMULA_NAME FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1620740129237

[2021-05-11 13:35:32] [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:35:32] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-11 13:35:33] [INFO ] Load time of PNML (sax parser for PT used): 865 ms
[2021-05-11 13:35:33] [INFO ] Transformed 40605 places.
[2021-05-11 13:35:33] [INFO ] Transformed 36871 transitions.
[2021-05-11 13:35:33] [INFO ] Parsed PT model containing 40605 places and 36871 transitions in 1066 ms.
Reduce places removed 31 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 1111 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 9 ms. (steps per millisecond=0 )
[2021-05-11 13:35:40] [INFO ] Flatten gal took : 5529 ms
[2021-05-11 13:35:41] [INFO ] Applying decomposition
[2021-05-11 13:35:43] [INFO ] Flatten gal took : 1355 ms
[2021-05-11 13:35:43] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 215 ms
[2021-05-11 13:35:43] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 5 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-L00100M0010C005P005G002-UpperBounds-00 with value :lm0_0+lm0_1+lm0_2+lm0_3+lm0_4+lm0_5+lm0_6+lm0_7+lm0_8+lm0_9+lm0_10+lm0_11+lm0_12+lm0_13+lm0_14+lm0_15+lm0_16+lm0_17+lm0_18+lm0_19+lm0_20+lm0_21+lm0_22+lm0_23+lm0_24+lm0_25+lm0_26+lm0_27+lm0_28+lm0_29+lm0_30+lm0_31+lm0_32+lm0_33+lm0_34+lm0_35+lm0_36+lm0_37+lm0_38+lm0_39+lm0_40+lm0_41+lm0_42+lm0_43+lm0_44+lm0_45+lm0_46+lm0_47+lm0_48+lm0_49+lm0_50+lm0_51+lm0_52+lm0_53+lm0_54+lm0_55+lm0_56+lm0_57+lm0_58+lm0_59+lm0_60+lm0_61+lm0_62+lm0_63+lm0_64+lm0_65+lm0_66+lm0_67+lm0_68+lm0_69+lm0_70+lm0_71+lm0_72+lm0_73+lm0_74+lm0_75+lm0_76+lm0_77+lm0_78+lm0_79+lm0_80+lm0_81+lm0_82+lm0_83+lm0_84+lm0_85+lm0_86+lm0_87+lm0_88+lm0_89+lm0_90+lm0_91+lm0_92+lm0_93+lm0_94+lm0_95+lm0_96+lm0_97+lm0_98+lm0_99+lm0_100
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-01 with value :p3_0_0+p3_1_0+p3_2_0+p3_3_0+p3_4_0+p3_5_0+p3_6_0+p3_7_0+p3_8_0+p3_9_0+p3_10_0+p3_11_0+p3_12_0+p3_13_0+p3_14_0+p3_15_0+p3_16_0+p3_17_0+p3_18_0+p3_19_0+p3_20_0+p3_21_0+p3_22_0+p3_23_0+p3_24_0+p3_25_0+p3_26_0+p3_27_0+p3_28_0+p3_29_0+p3_30_0+p3_31_0+p3_32_0+p3_33_0+p3_34_0+p3_35_0+p3_36_0+p3_37_0+p3_38_0+p3_39_0+p3_40_0+p3_41_0+p3_42_0+p3_43_0+p3_44_0+p3_45_0+p3_46_0+p3_47_0+p3_48_0+p3_49_0+p3_50_0+p3_51_0+p3_52_0+p3_53_0+p3_54_0+p3_55_0+p3_56_0+p3_57_0+p3_58_0+p3_59_0+p3_60_0+p3_61_0+p3_62_0+p3_63_0+p3_64_0+p3_65_0+p3_66_0+p3_67_0+p3_68_0+p3_69_0+p3_70_0+p3_71_0+p3_72_0+p3_73_0+p3_74_0+p3_75_0+p3_76_0+p3_77_0+p3_78_0+p3_79_0+p3_80_0+p3_81_0+p3_82_0+p3_83_0+p3_84_0+p3_85_0+p3_86_0+p3_87_0+p3_88_0+p3_89_0+p3_90_0+p3_91_0+p3_92_0+p3_93_0+p3_94_0+p3_95_0+p3_96_0+p3_97_0+p3_98_0+p3_99_0+p3_100_0+p3_0_1+p3_1_1+p3_2_1+p3_3_1+p3_4_1+p3_5_1+p3_6_1+p3_7_1+p3_8_1+p3_9_1+p3_10_1+p3_11_1+p3_12_1+p3_13_1+p3_14_1+p3_15_1+p3_16_1+p3_17_1+p3_18_1+p3_19_1+p3_20_1+p3_21_1+p3_22_1+p3_23_1+p3_24_1+p3_25_1+p3_26_1+p3_27_1+p3_28_1+p3_29_1+p3_30_1+p3_31_1+p3_32_1+p3_33_1+p3_34_1+p3_35_1+p3_36_1+p3_37_1+p3_38_1+p3_39_1+p3_40_1+p3_41_1+p3_42_1+p3_43_1+p3_44_1+p3_45_1+p3_46_1+p3_47_1+p3_48_1+p3_49_1+p3_50_1+p3_51_1+p3_52_1+p3_53_1+p3_54_1+p3_55_1+p3_56_1+p3_57_1+p3_58_1+p3_59_1+p3_60_1+p3_61_1+p3_62_1+p3_63_1+p3_64_1+p3_65_1+p3_66_1+p3_67_1+p3_68_1+p3_69_1+p3_70_1+p3_71_1+p3_72_1+p3_73_1+p3_74_1+p3_75_1+p3_76_1+p3_77_1+p3_78_1+p3_79_1+p3_80_1+p3_81_1+p3_82_1+p3_83_1+p3_84_1+p3_85_1+p3_86_1+p3_87_1+p3_88_1+p3_89_1+p3_90_1+p3_91_1+p3_92_1+p3_93_1+p3_94_1+p3_95_1+p3_96_1+p3_97_1+p3_98_1+p3_99_1+p3_100_1+p3_0_2+p3_1_2+p3_2_2+p3_3_2+p3_4_2+p3_5_2+p3_6_2+p3_7_2+p3_8_2+p3_9_2+p3_10_2+p3_11_2+p3_12_2+p3_13_2+p3_14_2+p3_15_2+p3_16_2+p3_17_2+p3_18_2+p3_19_2+p3_20_2+p3_21_2+p3_22_2+p3_23_2+p3_24_2+p3_25_2+p3_26_2+p3_27_2+p3_28_2+p3_29_2+p3_30_2+p3_31_2+p3_32_2+p3_33_2+p3_34_2+p3_35_2+p3_36_2+p3_37_2+p3_38_2+p3_39_2+p3_40_2+p3_41_2+p3_42_2+p3_43_2+p3_44_2+p3_45_2+p3_46_2+p3_47_2+p3_48_2+p3_49_2+p3_50_2+p3_51_2+p3_52_2+p3_53_2+p3_54_2+p3_55_2+p3_56_2+p3_57_2+p3_58_2+p3_59_2+p3_60_2+p3_61_2+p3_62_2+p3_63_2+p3_64_2+p3_65_2+p3_66_2+p3_67_2+p3_68_2+p3_69_2+p3_70_2+p3_71_2+p3_72_2+p3_73_2+p3_74_2+p3_75_2+p3_76_2+p3_77_2+p3_78_2+p3_79_2+p3_80_2+p3_81_2+p3_82_2+p3_83_2+p3_84_2+p3_85_2+p3_86_2+p3_87_2+p3_88_2+p3_89_2+p3_90_2+p3_91_2+p3_92_2+p3_93_2+p3_94_2+p3_95_2+p3_96_2+p3_97_2+p3_98_2+p3_99_2+p3_100_2+p3_0_3+p3_1_3+p3_2_3+p3_3_3+p3_4_3+p3_5_3+p3_6_3+p3_7_3+p3_8_3+p3_9_3+p3_10_3+p3_11_3+p3_12_3+p3_13_3+p3_14_3+p3_15_3+p3_16_3+p3_17_3+p3_18_3+p3_19_3+p3_20_3+p3_21_3+p3_22_3+p3_23_3+p3_24_3+p3_25_3+p3_26_3+p3_27_3+p3_28_3+p3_29_3+p3_30_3+p3_31_3+p3_32_3+p3_33_3+p3_34_3+p3_35_3+p3_36_3+p3_37_3+p3_38_3+p3_39_3+p3_40_3+p3_41_3+p3_42_3+p3_43_3+p3_44_3+p3_45_3+p3_46_3+p3_47_3+p3_48_3+p3_49_3+p3_50_3+p3_51_3+p3_52_3+p3_53_3+p3_54_3+p3_55_3+p3_56_3+p3_57_3+p3_58_3+p3_59_3+p3_60_3+p3_61_3+p3_62_3+p3_63_3+p3_64_3+p3_65_3+p3_66_3+p3_67_3+p3_68_3+p3_69_3+p3_70_3+p3_71_3+p3_72_3+p3_73_3+p3_74_3+p3_75_3+p3_76_3+p3_77_3+p3_78_3+p3_79_3+p3_80_3+p3_81_3+p3_82_3+p3_83_3+p3_84_3+p3_85_3+p3_86_3+p3_87_3+p3_88_3+p3_89_3+p3_90_3+p3_91_3+p3_92_3+p3_93_3+p3_94_3+p3_95_3+p3_96_3+p3_97_3+p3_98_3+p3_99_3+p3_100_3+p3_0_4+p3_1_4+p3_2_4+p3_3_4+p3_4_4+p3_5_4+p3_6_4+p3_7_4+p3_8_4+p3_9_4+p3_10_4+p3_11_4+p3_12_4+p3_13_4+p3_14_4+p3_15_4+p3_16_4+p3_17_4+p3_18_4+p3_19_4+p3_20_4+p3_21_4+p3_22_4+p3_23_4+p3_24_4+p3_25_4+p3_26_4+p3_27_4+p3_28_4+p3_29_4+p3_30_4+p3_31_4+p3_32_4+p3_33_4+p3_34_4+p3_35_4+p3_36_4+p3_37_4+p3_38_4+p3_39_4+p3_40_4+p3_41_4+p3_42_4+p3_43_4+p3_44_4+p3_45_4+p3_46_4+p3_47_4+p3_48_4+p3_49_4+p3_50_4+p3_51_4+p3_52_4+p3_53_4+p3_54_4+p3_55_4+p3_56_4+p3_57_4+p3_58_4+p3_59_4+p3_60_4+p3_61_4+p3_62_4+p3_63_4+p3_64_4+p3_65_4+p3_66_4+p3_67_4+p3_68_4+p3_69_4+p3_70_4+p3_71_4+p3_72_4+p3_73_4+p3_74_4+p3_75_4+p3_76_4+p3_77_4+p3_78_4+p3_79_4+p3_80_4+p3_81_4+p3_82_4+p3_83_4+p3_84_4+p3_85_4+p3_86_4+p3_87_4+p3_88_4+p3_89_4+p3_90_4+p3_91_4+p3_92_4+p3_93_4+p3_94_4+p3_95_4+p3_96_4+p3_97_4+p3_98_4+p3_99_4+p3_100_4+p3_0_5+p3_1_5+p3_2_5+p3_3_5+p3_4_5+p3_5_5+p3_6_5+p3_7_5+p3_8_5+p3_9_5+p3_10_5+p3_11_5+p3_12_5+p3_13_5+p3_14_5+p3_15_5+p3_16_5+p3_17_5+p3_18_5+p3_19_5+p3_20_5+p3_21_5+p3_22_5+p3_23_5+p3_24_5+p3_25_5+p3_26_5+p3_27_5+p3_28_5+p3_29_5+p3_30_5+p3_31_5+p3_32_5+p3_33_5+p3_34_5+p3_35_5+p3_36_5+p3_37_5+p3_38_5+p3_39_5+p3_40_5+p3_41_5+p3_42_5+p3_43_5+p3_44_5+p3_45_5+p3_46_5+p3_47_5+p3_48_5+p3_49_5+p3_50_5+p3_51_5+p3_52_5+p3_53_5+p3_54_5+p3_55_5+p3_56_5+p3_57_5+p3_58_5+p3_59_5+p3_60_5+p3_61_5+p3_62_5+p3_63_5+p3_64_5+p3_65_5+p3_66_5+p3_67_5+p3_68_5+p3_69_5+p3_70_5+p3_71_5+p3_72_5+p3_73_5+p3_74_5+p3_75_5+p3_76_5+p3_77_5+p3_78_5+p3_79_5+p3_80_5+p3_81_5+p3_82_5+p3_83_5+p3_84_5+p3_85_5+p3_86_5+p3_87_5+p3_88_5+p3_89_5+p3_90_5+p3_91_5+p3_92_5+p3_93_5+p3_94_5+p3_95_5+p3_96_5+p3_97_5+p3_98_5+p3_99_5+p3_100_5
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-02 with value :cl1_0_0+cl1_1_0+cl1_2_0+cl1_3_0+cl1_4_0+cl1_5_0+cl1_6_0+cl1_7_0+cl1_8_0+cl1_9_0+cl1_10_0+cl1_11_0+cl1_12_0+cl1_13_0+cl1_14_0+cl1_15_0+cl1_16_0+cl1_17_0+cl1_18_0+cl1_19_0+cl1_20_0+cl1_21_0+cl1_22_0+cl1_23_0+cl1_24_0+cl1_25_0+cl1_26_0+cl1_27_0+cl1_28_0+cl1_29_0+cl1_30_0+cl1_31_0+cl1_32_0+cl1_33_0+cl1_34_0+cl1_35_0+cl1_36_0+cl1_37_0+cl1_38_0+cl1_39_0+cl1_40_0+cl1_41_0+cl1_42_0+cl1_43_0+cl1_44_0+cl1_45_0+cl1_46_0+cl1_47_0+cl1_48_0+cl1_49_0+cl1_50_0+cl1_51_0+cl1_52_0+cl1_53_0+cl1_54_0+cl1_55_0+cl1_56_0+cl1_57_0+cl1_58_0+cl1_59_0+cl1_60_0+cl1_61_0+cl1_62_0+cl1_63_0+cl1_64_0+cl1_65_0+cl1_66_0+cl1_67_0+cl1_68_0+cl1_69_0+cl1_70_0+cl1_71_0+cl1_72_0+cl1_73_0+cl1_74_0+cl1_75_0+cl1_76_0+cl1_77_0+cl1_78_0+cl1_79_0+cl1_80_0+cl1_81_0+cl1_82_0+cl1_83_0+cl1_84_0+cl1_85_0+cl1_86_0+cl1_87_0+cl1_88_0+cl1_89_0+cl1_90_0+cl1_91_0+cl1_92_0+cl1_93_0+cl1_94_0+cl1_95_0+cl1_96_0+cl1_97_0+cl1_98_0+cl1_99_0+cl1_100_0+cl1_0_1+cl1_1_1+cl1_2_1+cl1_3_1+cl1_4_1+cl1_5_1+cl1_6_1+cl1_7_1+cl1_8_1+cl1_9_1+cl1_10_1+cl1_11_1+cl1_12_1+cl1_13_1+cl1_14_1+cl1_15_1+cl1_16_1+cl1_17_1+cl1_18_1+cl1_19_1+cl1_20_1+cl1_21_1+cl1_22_1+cl1_23_1+cl1_24_1+cl1_25_1+cl1_26_1+cl1_27_1+cl1_28_1+cl1_29_1+cl1_30_1+cl1_31_1+cl1_32_1+cl1_33_1+cl1_34_1+cl1_35_1+cl1_36_1+cl1_37_1+cl1_38_1+cl1_39_1+cl1_40_1+cl1_41_1+cl1_42_1+cl1_43_1+cl1_44_1+cl1_45_1+cl1_46_1+cl1_47_1+cl1_48_1+cl1_49_1+cl1_50_1+cl1_51_1+cl1_52_1+cl1_53_1+cl1_54_1+cl1_55_1+cl1_56_1+cl1_57_1+cl1_58_1+cl1_59_1+cl1_60_1+cl1_61_1+cl1_62_1+cl1_63_1+cl1_64_1+cl1_65_1+cl1_66_1+cl1_67_1+cl1_68_1+cl1_69_1+cl1_70_1+cl1_71_1+cl1_72_1+cl1_73_1+cl1_74_1+cl1_75_1+cl1_76_1+cl1_77_1+cl1_78_1+cl1_79_1+cl1_80_1+cl1_81_1+cl1_82_1+cl1_83_1+cl1_84_1+cl1_85_1+cl1_86_1+cl1_87_1+cl1_88_1+cl1_89_1+cl1_90_1+cl1_91_1+cl1_92_1+cl1_93_1+cl1_94_1+cl1_95_1+cl1_96_1+cl1_97_1+cl1_98_1+cl1_99_1+cl1_100_1+cl1_0_2+cl1_1_2+cl1_2_2+cl1_3_2+cl1_4_2+cl1_5_2+cl1_6_2+cl1_7_2+cl1_8_2+cl1_9_2+cl1_10_2+cl1_11_2+cl1_12_2+cl1_13_2+cl1_14_2+cl1_15_2+cl1_16_2+cl1_17_2+cl1_18_2+cl1_19_2+cl1_20_2+cl1_21_2+cl1_22_2+cl1_23_2+cl1_24_2+cl1_25_2+cl1_26_2+cl1_27_2+cl1_28_2+cl1_29_2+cl1_30_2+cl1_31_2+cl1_32_2+cl1_33_2+cl1_34_2+cl1_35_2+cl1_36_2+cl1_37_2+cl1_38_2+cl1_39_2+cl1_40_2+cl1_41_2+cl1_42_2+cl1_43_2+cl1_44_2+cl1_45_2+cl1_46_2+cl1_47_2+cl1_48_2+cl1_49_2+cl1_50_2+cl1_51_2+cl1_52_2+cl1_53_2+cl1_54_2+cl1_55_2+cl1_56_2+cl1_57_2+cl1_58_2+cl1_59_2+cl1_60_2+cl1_61_2+cl1_62_2+cl1_63_2+cl1_64_2+cl1_65_2+cl1_66_2+cl1_67_2+cl1_68_2+cl1_69_2+cl1_70_2+cl1_71_2+cl1_72_2+cl1_73_2+cl1_74_2+cl1_75_2+cl1_76_2+cl1_77_2+cl1_78_2+cl1_79_2+cl1_80_2+cl1_81_2+cl1_82_2+cl1_83_2+cl1_84_2+cl1_85_2+cl1_86_2+cl1_87_2+cl1_88_2+cl1_89_2+cl1_90_2+cl1_91_2+cl1_92_2+cl1_93_2+cl1_94_2+cl1_95_2+cl1_96_2+cl1_97_2+cl1_98_2+cl1_99_2+cl1_100_2+cl1_0_3+cl1_1_3+cl1_2_3+cl1_3_3+cl1_4_3+cl1_5_3+cl1_6_3+cl1_7_3+cl1_8_3+cl1_9_3+cl1_10_3+cl1_11_3+cl1_12_3+cl1_13_3+cl1_14_3+cl1_15_3+cl1_16_3+cl1_17_3+cl1_18_3+cl1_19_3+cl1_20_3+cl1_21_3+cl1_22_3+cl1_23_3+cl1_24_3+cl1_25_3+cl1_26_3+cl1_27_3+cl1_28_3+cl1_29_3+cl1_30_3+cl1_31_3+cl1_32_3+cl1_33_3+cl1_34_3+cl1_35_3+cl1_36_3+cl1_37_3+cl1_38_3+cl1_39_3+cl1_40_3+cl1_41_3+cl1_42_3+cl1_43_3+cl1_44_3+cl1_45_3+cl1_46_3+cl1_47_3+cl1_48_3+cl1_49_3+cl1_50_3+cl1_51_3+cl1_52_3+cl1_53_3+cl1_54_3+cl1_55_3+cl1_56_3+cl1_57_3+cl1_58_3+cl1_59_3+cl1_60_3+cl1_61_3+cl1_62_3+cl1_63_3+cl1_64_3+cl1_65_3+cl1_66_3+cl1_67_3+cl1_68_3+cl1_69_3+cl1_70_3+cl1_71_3+cl1_72_3+cl1_73_3+cl1_74_3+cl1_75_3+cl1_76_3+cl1_77_3+cl1_78_3+cl1_79_3+cl1_80_3+cl1_81_3+cl1_82_3+cl1_83_3+cl1_84_3+cl1_85_3+cl1_86_3+cl1_87_3+cl1_88_3+cl1_89_3+cl1_90_3+cl1_91_3+cl1_92_3+cl1_93_3+cl1_94_3+cl1_95_3+cl1_96_3+cl1_97_3+cl1_98_3+cl1_99_3+cl1_100_3+cl1_0_4+cl1_1_4+cl1_2_4+cl1_3_4+cl1_4_4+cl1_5_4+cl1_6_4+cl1_7_4+cl1_8_4+cl1_9_4+cl1_10_4+cl1_11_4+cl1_12_4+cl1_13_4+cl1_14_4+cl1_15_4+cl1_16_4+cl1_17_4+cl1_18_4+cl1_19_4+cl1_20_4+cl1_21_4+cl1_22_4+cl1_23_4+cl1_24_4+cl1_25_4+cl1_26_4+cl1_27_4+cl1_28_4+cl1_29_4+cl1_30_4+cl1_31_4+cl1_32_4+cl1_33_4+cl1_34_4+cl1_35_4+cl1_36_4+cl1_37_4+cl1_38_4+cl1_39_4+cl1_40_4+cl1_41_4+cl1_42_4+cl1_43_4+cl1_44_4+cl1_45_4+cl1_46_4+cl1_47_4+cl1_48_4+cl1_49_4+cl1_50_4+cl1_51_4+cl1_52_4+cl1_53_4+cl1_54_4+cl1_55_4+cl1_56_4+cl1_57_4+cl1_58_4+cl1_59_4+cl1_60_4+cl1_61_4+cl1_62_4+cl1_63_4+cl1_64_4+cl1_65_4+cl1_66_4+cl1_67_4+cl1_68_4+cl1_69_4+cl1_70_4+cl1_71_4+cl1_72_4+cl1_73_4+cl1_74_4+cl1_75_4+cl1_76_4+cl1_77_4+cl1_78_4+cl1_79_4+cl1_80_4+cl1_81_4+cl1_82_4+cl1_83_4+cl1_84_4+cl1_85_4+cl1_86_4+cl1_87_4+cl1_88_4+cl1_89_4+cl1_90_4+cl1_91_4+cl1_92_4+cl1_93_4+cl1_94_4+cl1_95_4+cl1_96_4+cl1_97_4+cl1_98_4+cl1_99_4+cl1_100_4+cl1_0_5+cl1_1_5+cl1_2_5+cl1_3_5+cl1_4_5+cl1_5_5+cl1_6_5+cl1_7_5+cl1_8_5+cl1_9_5+cl1_10_5+cl1_11_5+cl1_12_5+cl1_13_5+cl1_14_5+cl1_15_5+cl1_16_5+cl1_17_5+cl1_18_5+cl1_19_5+cl1_20_5+cl1_21_5+cl1_22_5+cl1_23_5+cl1_24_5+cl1_25_5+cl1_26_5+cl1_27_5+cl1_28_5+cl1_29_5+cl1_30_5+cl1_31_5+cl1_32_5+cl1_33_5+cl1_34_5+cl1_35_5+cl1_36_5+cl1_37_5+cl1_38_5+cl1_39_5+cl1_40_5+cl1_41_5+cl1_42_5+cl1_43_5+cl1_44_5+cl1_45_5+cl1_46_5+cl1_47_5+cl1_48_5+cl1_49_5+cl1_50_5+cl1_51_5+cl1_52_5+cl1_53_5+cl1_54_5+cl1_55_5+cl1_56_5+cl1_57_5+cl1_58_5+cl1_59_5+cl1_60_5+cl1_61_5+cl1_62_5+cl1_63_5+cl1_64_5+cl1_65_5+cl1_66_5+cl1_67_5+cl1_68_5+cl1_69_5+cl1_70_5+cl1_71_5+cl1_72_5+cl1_73_5+cl1_74_5+cl1_75_5+cl1_76_5+cl1_77_5+cl1_78_5+cl1_79_5+cl1_80_5+cl1_81_5+cl1_82_5+cl1_83_5+cl1_84_5+cl1_85_5+cl1_86_5+cl1_87_5+cl1_88_5+cl1_89_5+cl1_90_5+cl1_91_5+cl1_92_5+cl1_93_5+cl1_94_5+cl1_95_5+cl1_96_5+cl1_97_5+cl1_98_5+cl1_99_5+cl1_100_5
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-03 with value :m4_0_0+m4_1_0+m4_2_0+m4_3_0+m4_4_0+m4_5_0+m4_6_0+m4_7_0+m4_8_0+m4_9_0+m4_10_0+m4_11_0+m4_12_0+m4_13_0+m4_14_0+m4_15_0+m4_16_0+m4_17_0+m4_18_0+m4_19_0+m4_20_0+m4_21_0+m4_22_0+m4_23_0+m4_24_0+m4_25_0+m4_26_0+m4_27_0+m4_28_0+m4_29_0+m4_30_0+m4_31_0+m4_32_0+m4_33_0+m4_34_0+m4_35_0+m4_36_0+m4_37_0+m4_38_0+m4_39_0+m4_40_0+m4_41_0+m4_42_0+m4_43_0+m4_44_0+m4_45_0+m4_46_0+m4_47_0+m4_48_0+m4_49_0+m4_50_0+m4_51_0+m4_52_0+m4_53_0+m4_54_0+m4_55_0+m4_56_0+m4_57_0+m4_58_0+m4_59_0+m4_60_0+m4_61_0+m4_62_0+m4_63_0+m4_64_0+m4_65_0+m4_66_0+m4_67_0+m4_68_0+m4_69_0+m4_70_0+m4_71_0+m4_72_0+m4_73_0+m4_74_0+m4_75_0+m4_76_0+m4_77_0+m4_78_0+m4_79_0+m4_80_0+m4_81_0+m4_82_0+m4_83_0+m4_84_0+m4_85_0+m4_86_0+m4_87_0+m4_88_0+m4_89_0+m4_90_0+m4_91_0+m4_92_0+m4_93_0+m4_94_0+m4_95_0+m4_96_0+m4_97_0+m4_98_0+m4_99_0+m4_100_0+m4_0_1+m4_1_1+m4_2_1+m4_3_1+m4_4_1+m4_5_1+m4_6_1+m4_7_1+m4_8_1+m4_9_1+m4_10_1+m4_11_1+m4_12_1+m4_13_1+m4_14_1+m4_15_1+m4_16_1+m4_17_1+m4_18_1+m4_19_1+m4_20_1+m4_21_1+m4_22_1+m4_23_1+m4_24_1+m4_25_1+m4_26_1+m4_27_1+m4_28_1+m4_29_1+m4_30_1+m4_31_1+m4_32_1+m4_33_1+m4_34_1+m4_35_1+m4_36_1+m4_37_1+m4_38_1+m4_39_1+m4_40_1+m4_41_1+m4_42_1+m4_43_1+m4_44_1+m4_45_1+m4_46_1+m4_47_1+m4_48_1+m4_49_1+m4_50_1+m4_51_1+m4_52_1+m4_53_1+m4_54_1+m4_55_1+m4_56_1+m4_57_1+m4_58_1+m4_59_1+m4_60_1+m4_61_1+m4_62_1+m4_63_1+m4_64_1+m4_65_1+m4_66_1+m4_67_1+m4_68_1+m4_69_1+m4_70_1+m4_71_1+m4_72_1+m4_73_1+m4_74_1+m4_75_1+m4_76_1+m4_77_1+m4_78_1+m4_79_1+m4_80_1+m4_81_1+m4_82_1+m4_83_1+m4_84_1+m4_85_1+m4_86_1+m4_87_1+m4_88_1+m4_89_1+m4_90_1+m4_91_1+m4_92_1+m4_93_1+m4_94_1+m4_95_1+m4_96_1+m4_97_1+m4_98_1+m4_99_1+m4_100_1+m4_0_2+m4_1_2+m4_2_2+m4_3_2+m4_4_2+m4_5_2+m4_6_2+m4_7_2+m4_8_2+m4_9_2+m4_10_2+m4_11_2+m4_12_2+m4_13_2+m4_14_2+m4_15_2+m4_16_2+m4_17_2+m4_18_2+m4_19_2+m4_20_2+m4_21_2+m4_22_2+m4_23_2+m4_24_2+m4_25_2+m4_26_2+m4_27_2+m4_28_2+m4_29_2+m4_30_2+m4_31_2+m4_32_2+m4_33_2+m4_34_2+m4_35_2+m4_36_2+m4_37_2+m4_38_2+m4_39_2+m4_40_2+m4_41_2+m4_42_2+m4_43_2+m4_44_2+m4_45_2+m4_46_2+m4_47_2+m4_48_2+m4_49_2+m4_50_2+m4_51_2+m4_52_2+m4_53_2+m4_54_2+m4_55_2+m4_56_2+m4_57_2+m4_58_2+m4_59_2+m4_60_2+m4_61_2+m4_62_2+m4_63_2+m4_64_2+m4_65_2+m4_66_2+m4_67_2+m4_68_2+m4_69_2+m4_70_2+m4_71_2+m4_72_2+m4_73_2+m4_74_2+m4_75_2+m4_76_2+m4_77_2+m4_78_2+m4_79_2+m4_80_2+m4_81_2+m4_82_2+m4_83_2+m4_84_2+m4_85_2+m4_86_2+m4_87_2+m4_88_2+m4_89_2+m4_90_2+m4_91_2+m4_92_2+m4_93_2+m4_94_2+m4_95_2+m4_96_2+m4_97_2+m4_98_2+m4_99_2+m4_100_2+m4_0_3+m4_1_3+m4_2_3+m4_3_3+m4_4_3+m4_5_3+m4_6_3+m4_7_3+m4_8_3+m4_9_3+m4_10_3+m4_11_3+m4_12_3+m4_13_3+m4_14_3+m4_15_3+m4_16_3+m4_17_3+m4_18_3+m4_19_3+m4_20_3+m4_21_3+m4_22_3+m4_23_3+m4_24_3+m4_25_3+m4_26_3+m4_27_3+m4_28_3+m4_29_3+m4_30_3+m4_31_3+m4_32_3+m4_33_3+m4_34_3+m4_35_3+m4_36_3+m4_37_3+m4_38_3+m4_39_3+m4_40_3+m4_41_3+m4_42_3+m4_43_3+m4_44_3+m4_45_3+m4_46_3+m4_47_3+m4_48_3+m4_49_3+m4_50_3+m4_51_3+m4_52_3+m4_53_3+m4_54_3+m4_55_3+m4_56_3+m4_57_3+m4_58_3+m4_59_3+m4_60_3+m4_61_3+m4_62_3+m4_63_3+m4_64_3+m4_65_3+m4_66_3+m4_67_3+m4_68_3+m4_69_3+m4_70_3+m4_71_3+m4_72_3+m4_73_3+m4_74_3+m4_75_3+m4_76_3+m4_77_3+m4_78_3+m4_79_3+m4_80_3+m4_81_3+m4_82_3+m4_83_3+m4_84_3+m4_85_3+m4_86_3+m4_87_3+m4_88_3+m4_89_3+m4_90_3+m4_91_3+m4_92_3+m4_93_3+m4_94_3+m4_95_3+m4_96_3+m4_97_3+m4_98_3+m4_99_3+m4_100_3+m4_0_4+m4_1_4+m4_2_4+m4_3_4+m4_4_4+m4_5_4+m4_6_4+m4_7_4+m4_8_4+m4_9_4+m4_10_4+m4_11_4+m4_12_4+m4_13_4+m4_14_4+m4_15_4+m4_16_4+m4_17_4+m4_18_4+m4_19_4+m4_20_4+m4_21_4+m4_22_4+m4_23_4+m4_24_4+m4_25_4+m4_26_4+m4_27_4+m4_28_4+m4_29_4+m4_30_4+m4_31_4+m4_32_4+m4_33_4+m4_34_4+m4_35_4+m4_36_4+m4_37_4+m4_38_4+m4_39_4+m4_40_4+m4_41_4+m4_42_4+m4_43_4+m4_44_4+m4_45_4+m4_46_4+m4_47_4+m4_48_4+m4_49_4+m4_50_4+m4_51_4+m4_52_4+m4_53_4+m4_54_4+m4_55_4+m4_56_4+m4_57_4+m4_58_4+m4_59_4+m4_60_4+m4_61_4+m4_62_4+m4_63_4+m4_64_4+m4_65_4+m4_66_4+m4_67_4+m4_68_4+m4_69_4+m4_70_4+m4_71_4+m4_72_4+m4_73_4+m4_74_4+m4_75_4+m4_76_4+m4_77_4+m4_78_4+m4_79_4+m4_80_4+m4_81_4+m4_82_4+m4_83_4+m4_84_4+m4_85_4+m4_86_4+m4_87_4+m4_88_4+m4_89_4+m4_90_4+m4_91_4+m4_92_4+m4_93_4+m4_94_4+m4_95_4+m4_96_4+m4_97_4+m4_98_4+m4_99_4+m4_100_4+m4_0_5+m4_1_5+m4_2_5+m4_3_5+m4_4_5+m4_5_5+m4_6_5+m4_7_5+m4_8_5+m4_9_5+m4_10_5+m4_11_5+m4_12_5+m4_13_5+m4_14_5+m4_15_5+m4_16_5+m4_17_5+m4_18_5+m4_19_5+m4_20_5+m4_21_5+m4_22_5+m4_23_5+m4_24_5+m4_25_5+m4_26_5+m4_27_5+m4_28_5+m4_29_5+m4_30_5+m4_31_5+m4_32_5+m4_33_5+m4_34_5+m4_35_5+m4_36_5+m4_37_5+m4_38_5+m4_39_5+m4_40_5+m4_41_5+m4_42_5+m4_43_5+m4_44_5+m4_45_5+m4_46_5+m4_47_5+m4_48_5+m4_49_5+m4_50_5+m4_51_5+m4_52_5+m4_53_5+m4_54_5+m4_55_5+m4_56_5+m4_57_5+m4_58_5+m4_59_5+m4_60_5+m4_61_5+m4_62_5+m4_63_5+m4_64_5+m4_65_5+m4_66_5+m4_67_5+m4_68_5+m4_69_5+m4_70_5+m4_71_5+m4_72_5+m4_73_5+m4_74_5+m4_75_5+m4_76_5+m4_77_5+m4_78_5+m4_79_5+m4_80_5+m4_81_5+m4_82_5+m4_83_5+m4_84_5+m4_85_5+m4_86_5+m4_87_5+m4_88_5+m4_89_5+m4_90_5+m4_91_5+m4_92_5+m4_93_5+m4_94_5+m4_95_5+m4_96_5+m4_97_5+m4_98_5+m4_99_5+m4_100_5+m4_0_6+m4_1_6+m4_2_6+m4_3_6+m4_4_6+m4_5_6+m4_6_6+m4_7_6+m4_8_6+m4_9_6+m4_10_6+m4_11_6+m4_12_6+m4_13_6+m4_14_6+m4_15_6+m4_16_6+m4_17_6+m4_18_6+m4_19_6+m4_20_6+m4_21_6+m4_22_6+m4_23_6+m4_24_6+m4_25_6+m4_26_6+m4_27_6+m4_28_6+m4_29_6+m4_30_6+m4_31_6+m4_32_6+m4_33_6+m4_34_6+m4_35_6+m4_36_6+m4_37_6+m4_38_6+m4_39_6+m4_40_6+m4_41_6+m4_42_6+m4_43_6+m4_44_6+m4_45_6+m4_46_6+m4_47_6+m4_48_6+m4_49_6+m4_50_6+m4_51_6+m4_52_6+m4_53_6+m4_54_6+m4_55_6+m4_56_6+m4_57_6+m4_58_6+m4_59_6+m4_60_6+m4_61_6+m4_62_6+m4_63_6+m4_64_6+m4_65_6+m4_66_6+m4_67_6+m4_68_6+m4_69_6+m4_70_6+m4_71_6+m4_72_6+m4_73_6+m4_74_6+m4_75_6+m4_76_6+m4_77_6+m4_78_6+m4_79_6+m4_80_6+m4_81_6+m4_82_6+m4_83_6+m4_84_6+m4_85_6+m4_86_6+m4_87_6+m4_88_6+m4_89_6+m4_90_6+m4_91_6+m4_92_6+m4_93_6+m4_94_6+m4_95_6+m4_96_6+m4_97_6+m4_98_6+m4_99_6+m4_100_6+m4_0_7+m4_1_7+m4_2_7+m4_3_7+m4_4_7+m4_5_7+m4_6_7+m4_7_7+m4_8_7+m4_9_7+m4_10_7+m4_11_7+m4_12_7+m4_13_7+m4_14_7+m4_15_7+m4_16_7+m4_17_7+m4_18_7+m4_19_7+m4_20_7+m4_21_7+m4_22_7+m4_23_7+m4_24_7+m4_25_7+m4_26_7+m4_27_7+m4_28_7+m4_29_7+m4_30_7+m4_31_7+m4_32_7+m4_33_7+m4_34_7+m4_35_7+m4_36_7+m4_37_7+m4_38_7+m4_39_7+m4_40_7+m4_41_7+m4_42_7+m4_43_7+m4_44_7+m4_45_7+m4_46_7+m4_47_7+m4_48_7+m4_49_7+m4_50_7+m4_51_7+m4_52_7+m4_53_7+m4_54_7+m4_55_7+m4_56_7+m4_57_7+m4_58_7+m4_59_7+m4_60_7+m4_61_7+m4_62_7+m4_63_7+m4_64_7+m4_65_7+m4_66_7+m4_67_7+m4_68_7+m4_69_7+m4_70_7+m4_71_7+m4_72_7+m4_73_7+m4_74_7+m4_75_7+m4_76_7+m4_77_7+m4_78_7+m4_79_7+m4_80_7+m4_81_7+m4_82_7+m4_83_7+m4_84_7+m4_85_7+m4_86_7+m4_87_7+m4_88_7+m4_89_7+m4_90_7+m4_91_7+m4_92_7+m4_93_7+m4_94_7+m4_95_7+m4_96_7+m4_97_7+m4_98_7+m4_99_7+m4_100_7+m4_0_8+m4_1_8+m4_2_8+m4_3_8+m4_4_8+m4_5_8+m4_6_8+m4_7_8+m4_8_8+m4_9_8+m4_10_8+m4_11_8+m4_12_8+m4_13_8+m4_14_8+m4_15_8+m4_16_8+m4_17_8+m4_18_8+m4_19_8+m4_20_8+m4_21_8+m4_22_8+m4_23_8+m4_24_8+m4_25_8+m4_26_8+m4_27_8+m4_28_8+m4_29_8+m4_30_8+m4_31_8+m4_32_8+m4_33_8+m4_34_8+m4_35_8+m4_36_8+m4_37_8+m4_38_8+m4_39_8+m4_40_8+m4_41_8+m4_42_8+m4_43_8+m4_44_8+m4_45_8+m4_46_8+m4_47_8+m4_48_8+m4_49_8+m4_50_8+m4_51_8+m4_52_8+m4_53_8+m4_54_8+m4_55_8+m4_56_8+m4_57_8+m4_58_8+m4_59_8+m4_60_8+m4_61_8+m4_62_8+m4_63_8+m4_64_8+m4_65_8+m4_66_8+m4_67_8+m4_68_8+m4_69_8+m4_70_8+m4_71_8+m4_72_8+m4_73_8+m4_74_8+m4_75_8+m4_76_8+m4_77_8+m4_78_8+m4_79_8+m4_80_8+m4_81_8+m4_82_8+m4_83_8+m4_84_8+m4_85_8+m4_86_8+m4_87_8+m4_88_8+m4_89_8+m4_90_8+m4_91_8+m4_92_8+m4_93_8+m4_94_8+m4_95_8+m4_96_8+m4_97_8+m4_98_8+m4_99_8+m4_100_8+m4_0_9+m4_1_9+m4_2_9+m4_3_9+m4_4_9+m4_5_9+m4_6_9+m4_7_9+m4_8_9+m4_9_9+m4_10_9+m4_11_9+m4_12_9+m4_13_9+m4_14_9+m4_15_9+m4_16_9+m4_17_9+m4_18_9+m4_19_9+m4_20_9+m4_21_9+m4_22_9+m4_23_9+m4_24_9+m4_25_9+m4_26_9+m4_27_9+m4_28_9+m4_29_9+m4_30_9+m4_31_9+m4_32_9+m4_33_9+m4_34_9+m4_35_9+m4_36_9+m4_37_9+m4_38_9+m4_39_9+m4_40_9+m4_41_9+m4_42_9+m4_43_9+m4_44_9+m4_45_9+m4_46_9+m4_47_9+m4_48_9+m4_49_9+m4_50_9+m4_51_9+m4_52_9+m4_53_9+m4_54_9+m4_55_9+m4_56_9+m4_57_9+m4_58_9+m4_59_9+m4_60_9+m4_61_9+m4_62_9+m4_63_9+m4_64_9+m4_65_9+m4_66_9+m4_67_9+m4_68_9+m4_69_9+m4_70_9+m4_71_9+m4_72_9+m4_73_9+m4_74_9+m4_75_9+m4_76_9+m4_77_9+m4_78_9+m4_79_9+m4_80_9+m4_81_9+m4_82_9+m4_83_9+m4_84_9+m4_85_9+m4_86_9+m4_87_9+m4_88_9+m4_89_9+m4_90_9+m4_91_9+m4_92_9+m4_93_9+m4_94_9+m4_95_9+m4_96_9+m4_97_9+m4_98_9+m4_99_9+m4_100_9+m4_0_10+m4_1_10+m4_2_10+m4_3_10+m4_4_10+m4_5_10+m4_6_10+m4_7_10+m4_8_10+m4_9_10+m4_10_10+m4_11_10+m4_12_10+m4_13_10+m4_14_10+m4_15_10+m4_16_10+m4_17_10+m4_18_10+m4_19_10+m4_20_10+m4_21_10+m4_22_10+m4_23_10+m4_24_10+m4_25_10+m4_26_10+m4_27_10+m4_28_10+m4_29_10+m4_30_10+m4_31_10+m4_32_10+m4_33_10+m4_34_10+m4_35_10+m4_36_10+m4_37_10+m4_38_10+m4_39_10+m4_40_10+m4_41_10+m4_42_10+m4_43_10+m4_44_10+m4_45_10+m4_46_10+m4_47_10+m4_48_10+m4_49_10+m4_50_10+m4_51_10+m4_52_10+m4_53_10+m4_54_10+m4_55_10+m4_56_10+m4_57_10+m4_58_10+m4_59_10+m4_60_10+m4_61_10+m4_62_10+m4_63_10+m4_64_10+m4_65_10+m4_66_10+m4_67_10+m4_68_10+m4_69_10+m4_70_10+m4_71_10+m4_72_10+m4_73_10+m4_74_10+m4_75_10+m4_76_10+m4_77_10+m4_78_10+m4_79_10+m4_80_10+m4_81_10+m4_82_10+m4_83_10+m4_84_10+m4_85_10+m4_86_10+m4_87_10+m4_88_10+m4_89_10+m4_90_10+m4_91_10+m4_92_10+m4_93_10+m4_94_10+m4_95_10+m4_96_10+m4_97_10+m4_98_10+m4_99_10+m4_100_10
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-04 with value :l20_0+l20_1+l20_2+l20_3+l20_4+l20_5+l20_6+l20_7+l20_8+l20_9+l20_10+l20_11+l20_12+l20_13+l20_14+l20_15+l20_16+l20_17+l20_18+l20_19+l20_20+l20_21+l20_22+l20_23+l20_24+l20_25+l20_26+l20_27+l20_28+l20_29+l20_30+l20_31+l20_32+l20_33+l20_34+l20_35+l20_36+l20_37+l20_38+l20_39+l20_40+l20_41+l20_42+l20_43+l20_44+l20_45+l20_46+l20_47+l20_48+l20_49+l20_50+l20_51+l20_52+l20_53+l20_54+l20_55+l20_56+l20_57+l20_58+l20_59+l20_60+l20_61+l20_62+l20_63+l20_64+l20_65+l20_66+l20_67+l20_68+l20_69+l20_70+l20_71+l20_72+l20_73+l20_74+l20_75+l20_76+l20_77+l20_78+l20_79+l20_80+l20_81+l20_82+l20_83+l20_84+l20_85+l20_86+l20_87+l20_88+l20_89+l20_90+l20_91+l20_92+l20_93+l20_94+l20_95+l20_96+l20_97+l20_98+l20_99+l20_100
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-05 with value :gl0_0_0+gl0_1_0+gl0_2_0+gl0_3_0+gl0_4_0+gl0_5_0+gl0_6_0+gl0_7_0+gl0_8_0+gl0_9_0+gl0_10_0+gl0_11_0+gl0_12_0+gl0_13_0+gl0_14_0+gl0_15_0+gl0_16_0+gl0_17_0+gl0_18_0+gl0_19_0+gl0_20_0+gl0_21_0+gl0_22_0+gl0_23_0+gl0_24_0+gl0_25_0+gl0_26_0+gl0_27_0+gl0_28_0+gl0_29_0+gl0_30_0+gl0_31_0+gl0_32_0+gl0_33_0+gl0_34_0+gl0_35_0+gl0_36_0+gl0_37_0+gl0_38_0+gl0_39_0+gl0_40_0+gl0_41_0+gl0_42_0+gl0_43_0+gl0_44_0+gl0_45_0+gl0_46_0+gl0_47_0+gl0_48_0+gl0_49_0+gl0_50_0+gl0_51_0+gl0_52_0+gl0_53_0+gl0_54_0+gl0_55_0+gl0_56_0+gl0_57_0+gl0_58_0+gl0_59_0+gl0_60_0+gl0_61_0+gl0_62_0+gl0_63_0+gl0_64_0+gl0_65_0+gl0_66_0+gl0_67_0+gl0_68_0+gl0_69_0+gl0_70_0+gl0_71_0+gl0_72_0+gl0_73_0+gl0_74_0+gl0_75_0+gl0_76_0+gl0_77_0+gl0_78_0+gl0_79_0+gl0_80_0+gl0_81_0+gl0_82_0+gl0_83_0+gl0_84_0+gl0_85_0+gl0_86_0+gl0_87_0+gl0_88_0+gl0_89_0+gl0_90_0+gl0_91_0+gl0_92_0+gl0_93_0+gl0_94_0+gl0_95_0+gl0_96_0+gl0_97_0+gl0_98_0+gl0_99_0+gl0_100_0+gl0_0_1+gl0_1_1+gl0_2_1+gl0_3_1+gl0_4_1+gl0_5_1+gl0_6_1+gl0_7_1+gl0_8_1+gl0_9_1+gl0_10_1+gl0_11_1+gl0_12_1+gl0_13_1+gl0_14_1+gl0_15_1+gl0_16_1+gl0_17_1+gl0_18_1+gl0_19_1+gl0_20_1+gl0_21_1+gl0_22_1+gl0_23_1+gl0_24_1+gl0_25_1+gl0_26_1+gl0_27_1+gl0_28_1+gl0_29_1+gl0_30_1+gl0_31_1+gl0_32_1+gl0_33_1+gl0_34_1+gl0_35_1+gl0_36_1+gl0_37_1+gl0_38_1+gl0_39_1+gl0_40_1+gl0_41_1+gl0_42_1+gl0_43_1+gl0_44_1+gl0_45_1+gl0_46_1+gl0_47_1+gl0_48_1+gl0_49_1+gl0_50_1+gl0_51_1+gl0_52_1+gl0_53_1+gl0_54_1+gl0_55_1+gl0_56_1+gl0_57_1+gl0_58_1+gl0_59_1+gl0_60_1+gl0_61_1+gl0_62_1+gl0_63_1+gl0_64_1+gl0_65_1+gl0_66_1+gl0_67_1+gl0_68_1+gl0_69_1+gl0_70_1+gl0_71_1+gl0_72_1+gl0_73_1+gl0_74_1+gl0_75_1+gl0_76_1+gl0_77_1+gl0_78_1+gl0_79_1+gl0_80_1+gl0_81_1+gl0_82_1+gl0_83_1+gl0_84_1+gl0_85_1+gl0_86_1+gl0_87_1+gl0_88_1+gl0_89_1+gl0_90_1+gl0_91_1+gl0_92_1+gl0_93_1+gl0_94_1+gl0_95_1+gl0_96_1+gl0_97_1+gl0_98_1+gl0_99_1+gl0_100_1+gl0_0_2+gl0_1_2+gl0_2_2+gl0_3_2+gl0_4_2+gl0_5_2+gl0_6_2+gl0_7_2+gl0_8_2+gl0_9_2+gl0_10_2+gl0_11_2+gl0_12_2+gl0_13_2+gl0_14_2+gl0_15_2+gl0_16_2+gl0_17_2+gl0_18_2+gl0_19_2+gl0_20_2+gl0_21_2+gl0_22_2+gl0_23_2+gl0_24_2+gl0_25_2+gl0_26_2+gl0_27_2+gl0_28_2+gl0_29_2+gl0_30_2+gl0_31_2+gl0_32_2+gl0_33_2+gl0_34_2+gl0_35_2+gl0_36_2+gl0_37_2+gl0_38_2+gl0_39_2+gl0_40_2+gl0_41_2+gl0_42_2+gl0_43_2+gl0_44_2+gl0_45_2+gl0_46_2+gl0_47_2+gl0_48_2+gl0_49_2+gl0_50_2+gl0_51_2+gl0_52_2+gl0_53_2+gl0_54_2+gl0_55_2+gl0_56_2+gl0_57_2+gl0_58_2+gl0_59_2+gl0_60_2+gl0_61_2+gl0_62_2+gl0_63_2+gl0_64_2+gl0_65_2+gl0_66_2+gl0_67_2+gl0_68_2+gl0_69_2+gl0_70_2+gl0_71_2+gl0_72_2+gl0_73_2+gl0_74_2+gl0_75_2+gl0_76_2+gl0_77_2+gl0_78_2+gl0_79_2+gl0_80_2+gl0_81_2+gl0_82_2+gl0_83_2+gl0_84_2+gl0_85_2+gl0_86_2+gl0_87_2+gl0_88_2+gl0_89_2+gl0_90_2+gl0_91_2+gl0_92_2+gl0_93_2+gl0_94_2+gl0_95_2+gl0_96_2+gl0_97_2+gl0_98_2+gl0_99_2+gl0_100_2
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-06 with value :c6_0_0+c6_1_0+c6_2_0+c6_3_0+c6_4_0+c6_5_0+c6_6_0+c6_7_0+c6_8_0+c6_9_0+c6_10_0+c6_11_0+c6_12_0+c6_13_0+c6_14_0+c6_15_0+c6_16_0+c6_17_0+c6_18_0+c6_19_0+c6_20_0+c6_21_0+c6_22_0+c6_23_0+c6_24_0+c6_25_0+c6_26_0+c6_27_0+c6_28_0+c6_29_0+c6_30_0+c6_31_0+c6_32_0+c6_33_0+c6_34_0+c6_35_0+c6_36_0+c6_37_0+c6_38_0+c6_39_0+c6_40_0+c6_41_0+c6_42_0+c6_43_0+c6_44_0+c6_45_0+c6_46_0+c6_47_0+c6_48_0+c6_49_0+c6_50_0+c6_51_0+c6_52_0+c6_53_0+c6_54_0+c6_55_0+c6_56_0+c6_57_0+c6_58_0+c6_59_0+c6_60_0+c6_61_0+c6_62_0+c6_63_0+c6_64_0+c6_65_0+c6_66_0+c6_67_0+c6_68_0+c6_69_0+c6_70_0+c6_71_0+c6_72_0+c6_73_0+c6_74_0+c6_75_0+c6_76_0+c6_77_0+c6_78_0+c6_79_0+c6_80_0+c6_81_0+c6_82_0+c6_83_0+c6_84_0+c6_85_0+c6_86_0+c6_87_0+c6_88_0+c6_89_0+c6_90_0+c6_91_0+c6_92_0+c6_93_0+c6_94_0+c6_95_0+c6_96_0+c6_97_0+c6_98_0+c6_99_0+c6_100_0+c6_0_1+c6_1_1+c6_2_1+c6_3_1+c6_4_1+c6_5_1+c6_6_1+c6_7_1+c6_8_1+c6_9_1+c6_10_1+c6_11_1+c6_12_1+c6_13_1+c6_14_1+c6_15_1+c6_16_1+c6_17_1+c6_18_1+c6_19_1+c6_20_1+c6_21_1+c6_22_1+c6_23_1+c6_24_1+c6_25_1+c6_26_1+c6_27_1+c6_28_1+c6_29_1+c6_30_1+c6_31_1+c6_32_1+c6_33_1+c6_34_1+c6_35_1+c6_36_1+c6_37_1+c6_38_1+c6_39_1+c6_40_1+c6_41_1+c6_42_1+c6_43_1+c6_44_1+c6_45_1+c6_46_1+c6_47_1+c6_48_1+c6_49_1+c6_50_1+c6_51_1+c6_52_1+c6_53_1+c6_54_1+c6_55_1+c6_56_1+c6_57_1+c6_58_1+c6_59_1+c6_60_1+c6_61_1+c6_62_1+c6_63_1+c6_64_1+c6_65_1+c6_66_1+c6_67_1+c6_68_1+c6_69_1+c6_70_1+c6_71_1+c6_72_1+c6_73_1+c6_74_1+c6_75_1+c6_76_1+c6_77_1+c6_78_1+c6_79_1+c6_80_1+c6_81_1+c6_82_1+c6_83_1+c6_84_1+c6_85_1+c6_86_1+c6_87_1+c6_88_1+c6_89_1+c6_90_1+c6_91_1+c6_92_1+c6_93_1+c6_94_1+c6_95_1+c6_96_1+c6_97_1+c6_98_1+c6_99_1+c6_100_1+c6_0_2+c6_1_2+c6_2_2+c6_3_2+c6_4_2+c6_5_2+c6_6_2+c6_7_2+c6_8_2+c6_9_2+c6_10_2+c6_11_2+c6_12_2+c6_13_2+c6_14_2+c6_15_2+c6_16_2+c6_17_2+c6_18_2+c6_19_2+c6_20_2+c6_21_2+c6_22_2+c6_23_2+c6_24_2+c6_25_2+c6_26_2+c6_27_2+c6_28_2+c6_29_2+c6_30_2+c6_31_2+c6_32_2+c6_33_2+c6_34_2+c6_35_2+c6_36_2+c6_37_2+c6_38_2+c6_39_2+c6_40_2+c6_41_2+c6_42_2+c6_43_2+c6_44_2+c6_45_2+c6_46_2+c6_47_2+c6_48_2+c6_49_2+c6_50_2+c6_51_2+c6_52_2+c6_53_2+c6_54_2+c6_55_2+c6_56_2+c6_57_2+c6_58_2+c6_59_2+c6_60_2+c6_61_2+c6_62_2+c6_63_2+c6_64_2+c6_65_2+c6_66_2+c6_67_2+c6_68_2+c6_69_2+c6_70_2+c6_71_2+c6_72_2+c6_73_2+c6_74_2+c6_75_2+c6_76_2+c6_77_2+c6_78_2+c6_79_2+c6_80_2+c6_81_2+c6_82_2+c6_83_2+c6_84_2+c6_85_2+c6_86_2+c6_87_2+c6_88_2+c6_89_2+c6_90_2+c6_91_2+c6_92_2+c6_93_2+c6_94_2+c6_95_2+c6_96_2+c6_97_2+c6_98_2+c6_99_2+c6_100_2+c6_0_3+c6_1_3+c6_2_3+c6_3_3+c6_4_3+c6_5_3+c6_6_3+c6_7_3+c6_8_3+c6_9_3+c6_10_3+c6_11_3+c6_12_3+c6_13_3+c6_14_3+c6_15_3+c6_16_3+c6_17_3+c6_18_3+c6_19_3+c6_20_3+c6_21_3+c6_22_3+c6_23_3+c6_24_3+c6_25_3+c6_26_3+c6_27_3+c6_28_3+c6_29_3+c6_30_3+c6_31_3+c6_32_3+c6_33_3+c6_34_3+c6_35_3+c6_36_3+c6_37_3+c6_38_3+c6_39_3+c6_40_3+c6_41_3+c6_42_3+c6_43_3+c6_44_3+c6_45_3+c6_46_3+c6_47_3+c6_48_3+c6_49_3+c6_50_3+c6_51_3+c6_52_3+c6_53_3+c6_54_3+c6_55_3+c6_56_3+c6_57_3+c6_58_3+c6_59_3+c6_60_3+c6_61_3+c6_62_3+c6_63_3+c6_64_3+c6_65_3+c6_66_3+c6_67_3+c6_68_3+c6_69_3+c6_70_3+c6_71_3+c6_72_3+c6_73_3+c6_74_3+c6_75_3+c6_76_3+c6_77_3+c6_78_3+c6_79_3+c6_80_3+c6_81_3+c6_82_3+c6_83_3+c6_84_3+c6_85_3+c6_86_3+c6_87_3+c6_88_3+c6_89_3+c6_90_3+c6_91_3+c6_92_3+c6_93_3+c6_94_3+c6_95_3+c6_96_3+c6_97_3+c6_98_3+c6_99_3+c6_100_3+c6_0_4+c6_1_4+c6_2_4+c6_3_4+c6_4_4+c6_5_4+c6_6_4+c6_7_4+c6_8_4+c6_9_4+c6_10_4+c6_11_4+c6_12_4+c6_13_4+c6_14_4+c6_15_4+c6_16_4+c6_17_4+c6_18_4+c6_19_4+c6_20_4+c6_21_4+c6_22_4+c6_23_4+c6_24_4+c6_25_4+c6_26_4+c6_27_4+c6_28_4+c6_29_4+c6_30_4+c6_31_4+c6_32_4+c6_33_4+c6_34_4+c6_35_4+c6_36_4+c6_37_4+c6_38_4+c6_39_4+c6_40_4+c6_41_4+c6_42_4+c6_43_4+c6_44_4+c6_45_4+c6_46_4+c6_47_4+c6_48_4+c6_49_4+c6_50_4+c6_51_4+c6_52_4+c6_53_4+c6_54_4+c6_55_4+c6_56_4+c6_57_4+c6_58_4+c6_59_4+c6_60_4+c6_61_4+c6_62_4+c6_63_4+c6_64_4+c6_65_4+c6_66_4+c6_67_4+c6_68_4+c6_69_4+c6_70_4+c6_71_4+c6_72_4+c6_73_4+c6_74_4+c6_75_4+c6_76_4+c6_77_4+c6_78_4+c6_79_4+c6_80_4+c6_81_4+c6_82_4+c6_83_4+c6_84_4+c6_85_4+c6_86_4+c6_87_4+c6_88_4+c6_89_4+c6_90_4+c6_91_4+c6_92_4+c6_93_4+c6_94_4+c6_95_4+c6_96_4+c6_97_4+c6_98_4+c6_99_4+c6_100_4+c6_0_5+c6_1_5+c6_2_5+c6_3_5+c6_4_5+c6_5_5+c6_6_5+c6_7_5+c6_8_5+c6_9_5+c6_10_5+c6_11_5+c6_12_5+c6_13_5+c6_14_5+c6_15_5+c6_16_5+c6_17_5+c6_18_5+c6_19_5+c6_20_5+c6_21_5+c6_22_5+c6_23_5+c6_24_5+c6_25_5+c6_26_5+c6_27_5+c6_28_5+c6_29_5+c6_30_5+c6_31_5+c6_32_5+c6_33_5+c6_34_5+c6_35_5+c6_36_5+c6_37_5+c6_38_5+c6_39_5+c6_40_5+c6_41_5+c6_42_5+c6_43_5+c6_44_5+c6_45_5+c6_46_5+c6_47_5+c6_48_5+c6_49_5+c6_50_5+c6_51_5+c6_52_5+c6_53_5+c6_54_5+c6_55_5+c6_56_5+c6_57_5+c6_58_5+c6_59_5+c6_60_5+c6_61_5+c6_62_5+c6_63_5+c6_64_5+c6_65_5+c6_66_5+c6_67_5+c6_68_5+c6_69_5+c6_70_5+c6_71_5+c6_72_5+c6_73_5+c6_74_5+c6_75_5+c6_76_5+c6_77_5+c6_78_5+c6_79_5+c6_80_5+c6_81_5+c6_82_5+c6_83_5+c6_84_5+c6_85_5+c6_86_5+c6_87_5+c6_88_5+c6_89_5+c6_90_5+c6_91_5+c6_92_5+c6_93_5+c6_94_5+c6_95_5+c6_96_5+c6_97_5+c6_98_5+c6_99_5+c6_100_5
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-07 with value :l30_0+l30_1+l30_2+l30_3+l30_4+l30_5+l30_6+l30_7+l30_8+l30_9+l30_10+l30_11+l30_12+l30_13+l30_14+l30_15+l30_16+l30_17+l30_18+l30_19+l30_20+l30_21+l30_22+l30_23+l30_24+l30_25+l30_26+l30_27+l30_28+l30_29+l30_30+l30_31+l30_32+l30_33+l30_34+l30_35+l30_36+l30_37+l30_38+l30_39+l30_40+l30_41+l30_42+l30_43+l30_44+l30_45+l30_46+l30_47+l30_48+l30_49+l30_50+l30_51+l30_52+l30_53+l30_54+l30_55+l30_56+l30_57+l30_58+l30_59+l30_60+l30_61+l30_62+l30_63+l30_64+l30_65+l30_66+l30_67+l30_68+l30_69+l30_70+l30_71+l30_72+l30_73+l30_74+l30_75+l30_76+l30_77+l30_78+l30_79+l30_80+l30_81+l30_82+l30_83+l30_84+l30_85+l30_86+l30_87+l30_88+l30_89+l30_90+l30_91+l30_92+l30_93+l30_94+l30_95+l30_96+l30_97+l30_98+l30_99+l30_100
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-08 with value :l11_87
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-09 with value :l2_5_3
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-10 with value :l40_45_Y
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-11 with value :pl1_94_4
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-12 with value :m9_99_4
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-13 with value :l6_33_10
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-14 with value :l6_31_3
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-15 with value :ml0_3_0
Detected timeout of ITS tools.
[2021-05-11 13:55:47] [INFO ] Flatten gal took : 1226 ms
[2021-05-11 13:56:01] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 13714 ms
[2021-05-11 13:56:01] [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-L00100M0010C005P005G002-UpperBounds-00 with value :lm0_0+lm0_1+lm0_2+lm0_3+lm0_4+lm0_5+lm0_6+lm0_7+lm0_8+lm0_9+lm0_10+lm0_11+lm0_12+lm0_13+lm0_14+lm0_15+lm0_16+lm0_17+lm0_18+lm0_19+lm0_20+lm0_21+lm0_22+lm0_23+lm0_24+lm0_25+lm0_26+lm0_27+lm0_28+lm0_29+lm0_30+lm0_31+lm0_32+lm0_33+lm0_34+lm0_35+lm0_36+lm0_37+lm0_38+lm0_39+lm0_40+lm0_41+lm0_42+lm0_43+lm0_44+lm0_45+lm0_46+lm0_47+lm0_48+lm0_49+lm0_50+lm0_51+lm0_52+lm0_53+lm0_54+lm0_55+lm0_56+lm0_57+lm0_58+lm0_59+lm0_60+lm0_61+lm0_62+lm0_63+lm0_64+lm0_65+lm0_66+lm0_67+lm0_68+lm0_69+lm0_70+lm0_71+lm0_72+lm0_73+lm0_74+lm0_75+lm0_76+lm0_77+lm0_78+lm0_79+lm0_80+lm0_81+lm0_82+lm0_83+lm0_84+lm0_85+lm0_86+lm0_87+lm0_88+lm0_89+lm0_90+lm0_91+lm0_92+lm0_93+lm0_94+lm0_95+lm0_96+lm0_97+lm0_98+lm0_99+lm0_100
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-01 with value :p3_0_0+p3_1_0+p3_2_0+p3_3_0+p3_4_0+p3_5_0+p3_6_0+p3_7_0+p3_8_0+p3_9_0+p3_10_0+p3_11_0+p3_12_0+p3_13_0+p3_14_0+p3_15_0+p3_16_0+p3_17_0+p3_18_0+p3_19_0+p3_20_0+p3_21_0+p3_22_0+p3_23_0+p3_24_0+p3_25_0+p3_26_0+p3_27_0+p3_28_0+p3_29_0+p3_30_0+p3_31_0+p3_32_0+p3_33_0+p3_34_0+p3_35_0+p3_36_0+p3_37_0+p3_38_0+p3_39_0+p3_40_0+p3_41_0+p3_42_0+p3_43_0+p3_44_0+p3_45_0+p3_46_0+p3_47_0+p3_48_0+p3_49_0+p3_50_0+p3_51_0+p3_52_0+p3_53_0+p3_54_0+p3_55_0+p3_56_0+p3_57_0+p3_58_0+p3_59_0+p3_60_0+p3_61_0+p3_62_0+p3_63_0+p3_64_0+p3_65_0+p3_66_0+p3_67_0+p3_68_0+p3_69_0+p3_70_0+p3_71_0+p3_72_0+p3_73_0+p3_74_0+p3_75_0+p3_76_0+p3_77_0+p3_78_0+p3_79_0+p3_80_0+p3_81_0+p3_82_0+p3_83_0+p3_84_0+p3_85_0+p3_86_0+p3_87_0+p3_88_0+p3_89_0+p3_90_0+p3_91_0+p3_92_0+p3_93_0+p3_94_0+p3_95_0+p3_96_0+p3_97_0+p3_98_0+p3_99_0+p3_100_0+p3_0_1+p3_1_1+p3_2_1+p3_3_1+p3_4_1+p3_5_1+p3_6_1+p3_7_1+p3_8_1+p3_9_1+p3_10_1+p3_11_1+p3_12_1+p3_13_1+p3_14_1+p3_15_1+p3_16_1+p3_17_1+p3_18_1+p3_19_1+p3_20_1+p3_21_1+p3_22_1+p3_23_1+p3_24_1+p3_25_1+p3_26_1+p3_27_1+p3_28_1+p3_29_1+p3_30_1+p3_31_1+p3_32_1+p3_33_1+p3_34_1+p3_35_1+p3_36_1+p3_37_1+p3_38_1+p3_39_1+p3_40_1+p3_41_1+p3_42_1+p3_43_1+p3_44_1+p3_45_1+p3_46_1+p3_47_1+p3_48_1+p3_49_1+p3_50_1+p3_51_1+p3_52_1+p3_53_1+p3_54_1+p3_55_1+p3_56_1+p3_57_1+p3_58_1+p3_59_1+p3_60_1+p3_61_1+p3_62_1+p3_63_1+p3_64_1+p3_65_1+p3_66_1+p3_67_1+p3_68_1+p3_69_1+p3_70_1+p3_71_1+p3_72_1+p3_73_1+p3_74_1+p3_75_1+p3_76_1+p3_77_1+p3_78_1+p3_79_1+p3_80_1+p3_81_1+p3_82_1+p3_83_1+p3_84_1+p3_85_1+p3_86_1+p3_87_1+p3_88_1+p3_89_1+p3_90_1+p3_91_1+p3_92_1+p3_93_1+p3_94_1+p3_95_1+p3_96_1+p3_97_1+p3_98_1+p3_99_1+p3_100_1+p3_0_2+p3_1_2+p3_2_2+p3_3_2+p3_4_2+p3_5_2+p3_6_2+p3_7_2+p3_8_2+p3_9_2+p3_10_2+p3_11_2+p3_12_2+p3_13_2+p3_14_2+p3_15_2+p3_16_2+p3_17_2+p3_18_2+p3_19_2+p3_20_2+p3_21_2+p3_22_2+p3_23_2+p3_24_2+p3_25_2+p3_26_2+p3_27_2+p3_28_2+p3_29_2+p3_30_2+p3_31_2+p3_32_2+p3_33_2+p3_34_2+p3_35_2+p3_36_2+p3_37_2+p3_38_2+p3_39_2+p3_40_2+p3_41_2+p3_42_2+p3_43_2+p3_44_2+p3_45_2+p3_46_2+p3_47_2+p3_48_2+p3_49_2+p3_50_2+p3_51_2+p3_52_2+p3_53_2+p3_54_2+p3_55_2+p3_56_2+p3_57_2+p3_58_2+p3_59_2+p3_60_2+p3_61_2+p3_62_2+p3_63_2+p3_64_2+p3_65_2+p3_66_2+p3_67_2+p3_68_2+p3_69_2+p3_70_2+p3_71_2+p3_72_2+p3_73_2+p3_74_2+p3_75_2+p3_76_2+p3_77_2+p3_78_2+p3_79_2+p3_80_2+p3_81_2+p3_82_2+p3_83_2+p3_84_2+p3_85_2+p3_86_2+p3_87_2+p3_88_2+p3_89_2+p3_90_2+p3_91_2+p3_92_2+p3_93_2+p3_94_2+p3_95_2+p3_96_2+p3_97_2+p3_98_2+p3_99_2+p3_100_2+p3_0_3+p3_1_3+p3_2_3+p3_3_3+p3_4_3+p3_5_3+p3_6_3+p3_7_3+p3_8_3+p3_9_3+p3_10_3+p3_11_3+p3_12_3+p3_13_3+p3_14_3+p3_15_3+p3_16_3+p3_17_3+p3_18_3+p3_19_3+p3_20_3+p3_21_3+p3_22_3+p3_23_3+p3_24_3+p3_25_3+p3_26_3+p3_27_3+p3_28_3+p3_29_3+p3_30_3+p3_31_3+p3_32_3+p3_33_3+p3_34_3+p3_35_3+p3_36_3+p3_37_3+p3_38_3+p3_39_3+p3_40_3+p3_41_3+p3_42_3+p3_43_3+p3_44_3+p3_45_3+p3_46_3+p3_47_3+p3_48_3+p3_49_3+p3_50_3+p3_51_3+p3_52_3+p3_53_3+p3_54_3+p3_55_3+p3_56_3+p3_57_3+p3_58_3+p3_59_3+p3_60_3+p3_61_3+p3_62_3+p3_63_3+p3_64_3+p3_65_3+p3_66_3+p3_67_3+p3_68_3+p3_69_3+p3_70_3+p3_71_3+p3_72_3+p3_73_3+p3_74_3+p3_75_3+p3_76_3+p3_77_3+p3_78_3+p3_79_3+p3_80_3+p3_81_3+p3_82_3+p3_83_3+p3_84_3+p3_85_3+p3_86_3+p3_87_3+p3_88_3+p3_89_3+p3_90_3+p3_91_3+p3_92_3+p3_93_3+p3_94_3+p3_95_3+p3_96_3+p3_97_3+p3_98_3+p3_99_3+p3_100_3+p3_0_4+p3_1_4+p3_2_4+p3_3_4+p3_4_4+p3_5_4+p3_6_4+p3_7_4+p3_8_4+p3_9_4+p3_10_4+p3_11_4+p3_12_4+p3_13_4+p3_14_4+p3_15_4+p3_16_4+p3_17_4+p3_18_4+p3_19_4+p3_20_4+p3_21_4+p3_22_4+p3_23_4+p3_24_4+p3_25_4+p3_26_4+p3_27_4+p3_28_4+p3_29_4+p3_30_4+p3_31_4+p3_32_4+p3_33_4+p3_34_4+p3_35_4+p3_36_4+p3_37_4+p3_38_4+p3_39_4+p3_40_4+p3_41_4+p3_42_4+p3_43_4+p3_44_4+p3_45_4+p3_46_4+p3_47_4+p3_48_4+p3_49_4+p3_50_4+p3_51_4+p3_52_4+p3_53_4+p3_54_4+p3_55_4+p3_56_4+p3_57_4+p3_58_4+p3_59_4+p3_60_4+p3_61_4+p3_62_4+p3_63_4+p3_64_4+p3_65_4+p3_66_4+p3_67_4+p3_68_4+p3_69_4+p3_70_4+p3_71_4+p3_72_4+p3_73_4+p3_74_4+p3_75_4+p3_76_4+p3_77_4+p3_78_4+p3_79_4+p3_80_4+p3_81_4+p3_82_4+p3_83_4+p3_84_4+p3_85_4+p3_86_4+p3_87_4+p3_88_4+p3_89_4+p3_90_4+p3_91_4+p3_92_4+p3_93_4+p3_94_4+p3_95_4+p3_96_4+p3_97_4+p3_98_4+p3_99_4+p3_100_4+p3_0_5+p3_1_5+p3_2_5+p3_3_5+p3_4_5+p3_5_5+p3_6_5+p3_7_5+p3_8_5+p3_9_5+p3_10_5+p3_11_5+p3_12_5+p3_13_5+p3_14_5+p3_15_5+p3_16_5+p3_17_5+p3_18_5+p3_19_5+p3_20_5+p3_21_5+p3_22_5+p3_23_5+p3_24_5+p3_25_5+p3_26_5+p3_27_5+p3_28_5+p3_29_5+p3_30_5+p3_31_5+p3_32_5+p3_33_5+p3_34_5+p3_35_5+p3_36_5+p3_37_5+p3_38_5+p3_39_5+p3_40_5+p3_41_5+p3_42_5+p3_43_5+p3_44_5+p3_45_5+p3_46_5+p3_47_5+p3_48_5+p3_49_5+p3_50_5+p3_51_5+p3_52_5+p3_53_5+p3_54_5+p3_55_5+p3_56_5+p3_57_5+p3_58_5+p3_59_5+p3_60_5+p3_61_5+p3_62_5+p3_63_5+p3_64_5+p3_65_5+p3_66_5+p3_67_5+p3_68_5+p3_69_5+p3_70_5+p3_71_5+p3_72_5+p3_73_5+p3_74_5+p3_75_5+p3_76_5+p3_77_5+p3_78_5+p3_79_5+p3_80_5+p3_81_5+p3_82_5+p3_83_5+p3_84_5+p3_85_5+p3_86_5+p3_87_5+p3_88_5+p3_89_5+p3_90_5+p3_91_5+p3_92_5+p3_93_5+p3_94_5+p3_95_5+p3_96_5+p3_97_5+p3_98_5+p3_99_5+p3_100_5
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-02 with value :cl1_0_0+cl1_1_0+cl1_2_0+cl1_3_0+cl1_4_0+cl1_5_0+cl1_6_0+cl1_7_0+cl1_8_0+cl1_9_0+cl1_10_0+cl1_11_0+cl1_12_0+cl1_13_0+cl1_14_0+cl1_15_0+cl1_16_0+cl1_17_0+cl1_18_0+cl1_19_0+cl1_20_0+cl1_21_0+cl1_22_0+cl1_23_0+cl1_24_0+cl1_25_0+cl1_26_0+cl1_27_0+cl1_28_0+cl1_29_0+cl1_30_0+cl1_31_0+cl1_32_0+cl1_33_0+cl1_34_0+cl1_35_0+cl1_36_0+cl1_37_0+cl1_38_0+cl1_39_0+cl1_40_0+cl1_41_0+cl1_42_0+cl1_43_0+cl1_44_0+cl1_45_0+cl1_46_0+cl1_47_0+cl1_48_0+cl1_49_0+cl1_50_0+cl1_51_0+cl1_52_0+cl1_53_0+cl1_54_0+cl1_55_0+cl1_56_0+cl1_57_0+cl1_58_0+cl1_59_0+cl1_60_0+cl1_61_0+cl1_62_0+cl1_63_0+cl1_64_0+cl1_65_0+cl1_66_0+cl1_67_0+cl1_68_0+cl1_69_0+cl1_70_0+cl1_71_0+cl1_72_0+cl1_73_0+cl1_74_0+cl1_75_0+cl1_76_0+cl1_77_0+cl1_78_0+cl1_79_0+cl1_80_0+cl1_81_0+cl1_82_0+cl1_83_0+cl1_84_0+cl1_85_0+cl1_86_0+cl1_87_0+cl1_88_0+cl1_89_0+cl1_90_0+cl1_91_0+cl1_92_0+cl1_93_0+cl1_94_0+cl1_95_0+cl1_96_0+cl1_97_0+cl1_98_0+cl1_99_0+cl1_100_0+cl1_0_1+cl1_1_1+cl1_2_1+cl1_3_1+cl1_4_1+cl1_5_1+cl1_6_1+cl1_7_1+cl1_8_1+cl1_9_1+cl1_10_1+cl1_11_1+cl1_12_1+cl1_13_1+cl1_14_1+cl1_15_1+cl1_16_1+cl1_17_1+cl1_18_1+cl1_19_1+cl1_20_1+cl1_21_1+cl1_22_1+cl1_23_1+cl1_24_1+cl1_25_1+cl1_26_1+cl1_27_1+cl1_28_1+cl1_29_1+cl1_30_1+cl1_31_1+cl1_32_1+cl1_33_1+cl1_34_1+cl1_35_1+cl1_36_1+cl1_37_1+cl1_38_1+cl1_39_1+cl1_40_1+cl1_41_1+cl1_42_1+cl1_43_1+cl1_44_1+cl1_45_1+cl1_46_1+cl1_47_1+cl1_48_1+cl1_49_1+cl1_50_1+cl1_51_1+cl1_52_1+cl1_53_1+cl1_54_1+cl1_55_1+cl1_56_1+cl1_57_1+cl1_58_1+cl1_59_1+cl1_60_1+cl1_61_1+cl1_62_1+cl1_63_1+cl1_64_1+cl1_65_1+cl1_66_1+cl1_67_1+cl1_68_1+cl1_69_1+cl1_70_1+cl1_71_1+cl1_72_1+cl1_73_1+cl1_74_1+cl1_75_1+cl1_76_1+cl1_77_1+cl1_78_1+cl1_79_1+cl1_80_1+cl1_81_1+cl1_82_1+cl1_83_1+cl1_84_1+cl1_85_1+cl1_86_1+cl1_87_1+cl1_88_1+cl1_89_1+cl1_90_1+cl1_91_1+cl1_92_1+cl1_93_1+cl1_94_1+cl1_95_1+cl1_96_1+cl1_97_1+cl1_98_1+cl1_99_1+cl1_100_1+cl1_0_2+cl1_1_2+cl1_2_2+cl1_3_2+cl1_4_2+cl1_5_2+cl1_6_2+cl1_7_2+cl1_8_2+cl1_9_2+cl1_10_2+cl1_11_2+cl1_12_2+cl1_13_2+cl1_14_2+cl1_15_2+cl1_16_2+cl1_17_2+cl1_18_2+cl1_19_2+cl1_20_2+cl1_21_2+cl1_22_2+cl1_23_2+cl1_24_2+cl1_25_2+cl1_26_2+cl1_27_2+cl1_28_2+cl1_29_2+cl1_30_2+cl1_31_2+cl1_32_2+cl1_33_2+cl1_34_2+cl1_35_2+cl1_36_2+cl1_37_2+cl1_38_2+cl1_39_2+cl1_40_2+cl1_41_2+cl1_42_2+cl1_43_2+cl1_44_2+cl1_45_2+cl1_46_2+cl1_47_2+cl1_48_2+cl1_49_2+cl1_50_2+cl1_51_2+cl1_52_2+cl1_53_2+cl1_54_2+cl1_55_2+cl1_56_2+cl1_57_2+cl1_58_2+cl1_59_2+cl1_60_2+cl1_61_2+cl1_62_2+cl1_63_2+cl1_64_2+cl1_65_2+cl1_66_2+cl1_67_2+cl1_68_2+cl1_69_2+cl1_70_2+cl1_71_2+cl1_72_2+cl1_73_2+cl1_74_2+cl1_75_2+cl1_76_2+cl1_77_2+cl1_78_2+cl1_79_2+cl1_80_2+cl1_81_2+cl1_82_2+cl1_83_2+cl1_84_2+cl1_85_2+cl1_86_2+cl1_87_2+cl1_88_2+cl1_89_2+cl1_90_2+cl1_91_2+cl1_92_2+cl1_93_2+cl1_94_2+cl1_95_2+cl1_96_2+cl1_97_2+cl1_98_2+cl1_99_2+cl1_100_2+cl1_0_3+cl1_1_3+cl1_2_3+cl1_3_3+cl1_4_3+cl1_5_3+cl1_6_3+cl1_7_3+cl1_8_3+cl1_9_3+cl1_10_3+cl1_11_3+cl1_12_3+cl1_13_3+cl1_14_3+cl1_15_3+cl1_16_3+cl1_17_3+cl1_18_3+cl1_19_3+cl1_20_3+cl1_21_3+cl1_22_3+cl1_23_3+cl1_24_3+cl1_25_3+cl1_26_3+cl1_27_3+cl1_28_3+cl1_29_3+cl1_30_3+cl1_31_3+cl1_32_3+cl1_33_3+cl1_34_3+cl1_35_3+cl1_36_3+cl1_37_3+cl1_38_3+cl1_39_3+cl1_40_3+cl1_41_3+cl1_42_3+cl1_43_3+cl1_44_3+cl1_45_3+cl1_46_3+cl1_47_3+cl1_48_3+cl1_49_3+cl1_50_3+cl1_51_3+cl1_52_3+cl1_53_3+cl1_54_3+cl1_55_3+cl1_56_3+cl1_57_3+cl1_58_3+cl1_59_3+cl1_60_3+cl1_61_3+cl1_62_3+cl1_63_3+cl1_64_3+cl1_65_3+cl1_66_3+cl1_67_3+cl1_68_3+cl1_69_3+cl1_70_3+cl1_71_3+cl1_72_3+cl1_73_3+cl1_74_3+cl1_75_3+cl1_76_3+cl1_77_3+cl1_78_3+cl1_79_3+cl1_80_3+cl1_81_3+cl1_82_3+cl1_83_3+cl1_84_3+cl1_85_3+cl1_86_3+cl1_87_3+cl1_88_3+cl1_89_3+cl1_90_3+cl1_91_3+cl1_92_3+cl1_93_3+cl1_94_3+cl1_95_3+cl1_96_3+cl1_97_3+cl1_98_3+cl1_99_3+cl1_100_3+cl1_0_4+cl1_1_4+cl1_2_4+cl1_3_4+cl1_4_4+cl1_5_4+cl1_6_4+cl1_7_4+cl1_8_4+cl1_9_4+cl1_10_4+cl1_11_4+cl1_12_4+cl1_13_4+cl1_14_4+cl1_15_4+cl1_16_4+cl1_17_4+cl1_18_4+cl1_19_4+cl1_20_4+cl1_21_4+cl1_22_4+cl1_23_4+cl1_24_4+cl1_25_4+cl1_26_4+cl1_27_4+cl1_28_4+cl1_29_4+cl1_30_4+cl1_31_4+cl1_32_4+cl1_33_4+cl1_34_4+cl1_35_4+cl1_36_4+cl1_37_4+cl1_38_4+cl1_39_4+cl1_40_4+cl1_41_4+cl1_42_4+cl1_43_4+cl1_44_4+cl1_45_4+cl1_46_4+cl1_47_4+cl1_48_4+cl1_49_4+cl1_50_4+cl1_51_4+cl1_52_4+cl1_53_4+cl1_54_4+cl1_55_4+cl1_56_4+cl1_57_4+cl1_58_4+cl1_59_4+cl1_60_4+cl1_61_4+cl1_62_4+cl1_63_4+cl1_64_4+cl1_65_4+cl1_66_4+cl1_67_4+cl1_68_4+cl1_69_4+cl1_70_4+cl1_71_4+cl1_72_4+cl1_73_4+cl1_74_4+cl1_75_4+cl1_76_4+cl1_77_4+cl1_78_4+cl1_79_4+cl1_80_4+cl1_81_4+cl1_82_4+cl1_83_4+cl1_84_4+cl1_85_4+cl1_86_4+cl1_87_4+cl1_88_4+cl1_89_4+cl1_90_4+cl1_91_4+cl1_92_4+cl1_93_4+cl1_94_4+cl1_95_4+cl1_96_4+cl1_97_4+cl1_98_4+cl1_99_4+cl1_100_4+cl1_0_5+cl1_1_5+cl1_2_5+cl1_3_5+cl1_4_5+cl1_5_5+cl1_6_5+cl1_7_5+cl1_8_5+cl1_9_5+cl1_10_5+cl1_11_5+cl1_12_5+cl1_13_5+cl1_14_5+cl1_15_5+cl1_16_5+cl1_17_5+cl1_18_5+cl1_19_5+cl1_20_5+cl1_21_5+cl1_22_5+cl1_23_5+cl1_24_5+cl1_25_5+cl1_26_5+cl1_27_5+cl1_28_5+cl1_29_5+cl1_30_5+cl1_31_5+cl1_32_5+cl1_33_5+cl1_34_5+cl1_35_5+cl1_36_5+cl1_37_5+cl1_38_5+cl1_39_5+cl1_40_5+cl1_41_5+cl1_42_5+cl1_43_5+cl1_44_5+cl1_45_5+cl1_46_5+cl1_47_5+cl1_48_5+cl1_49_5+cl1_50_5+cl1_51_5+cl1_52_5+cl1_53_5+cl1_54_5+cl1_55_5+cl1_56_5+cl1_57_5+cl1_58_5+cl1_59_5+cl1_60_5+cl1_61_5+cl1_62_5+cl1_63_5+cl1_64_5+cl1_65_5+cl1_66_5+cl1_67_5+cl1_68_5+cl1_69_5+cl1_70_5+cl1_71_5+cl1_72_5+cl1_73_5+cl1_74_5+cl1_75_5+cl1_76_5+cl1_77_5+cl1_78_5+cl1_79_5+cl1_80_5+cl1_81_5+cl1_82_5+cl1_83_5+cl1_84_5+cl1_85_5+cl1_86_5+cl1_87_5+cl1_88_5+cl1_89_5+cl1_90_5+cl1_91_5+cl1_92_5+cl1_93_5+cl1_94_5+cl1_95_5+cl1_96_5+cl1_97_5+cl1_98_5+cl1_99_5+cl1_100_5
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-03 with value :m4_0_0+m4_1_0+m4_2_0+m4_3_0+m4_4_0+m4_5_0+m4_6_0+m4_7_0+m4_8_0+m4_9_0+m4_10_0+m4_11_0+m4_12_0+m4_13_0+m4_14_0+m4_15_0+m4_16_0+m4_17_0+m4_18_0+m4_19_0+m4_20_0+m4_21_0+m4_22_0+m4_23_0+m4_24_0+m4_25_0+m4_26_0+m4_27_0+m4_28_0+m4_29_0+m4_30_0+m4_31_0+m4_32_0+m4_33_0+m4_34_0+m4_35_0+m4_36_0+m4_37_0+m4_38_0+m4_39_0+m4_40_0+m4_41_0+m4_42_0+m4_43_0+m4_44_0+m4_45_0+m4_46_0+m4_47_0+m4_48_0+m4_49_0+m4_50_0+m4_51_0+m4_52_0+m4_53_0+m4_54_0+m4_55_0+m4_56_0+m4_57_0+m4_58_0+m4_59_0+m4_60_0+m4_61_0+m4_62_0+m4_63_0+m4_64_0+m4_65_0+m4_66_0+m4_67_0+m4_68_0+m4_69_0+m4_70_0+m4_71_0+m4_72_0+m4_73_0+m4_74_0+m4_75_0+m4_76_0+m4_77_0+m4_78_0+m4_79_0+m4_80_0+m4_81_0+m4_82_0+m4_83_0+m4_84_0+m4_85_0+m4_86_0+m4_87_0+m4_88_0+m4_89_0+m4_90_0+m4_91_0+m4_92_0+m4_93_0+m4_94_0+m4_95_0+m4_96_0+m4_97_0+m4_98_0+m4_99_0+m4_100_0+m4_0_1+m4_1_1+m4_2_1+m4_3_1+m4_4_1+m4_5_1+m4_6_1+m4_7_1+m4_8_1+m4_9_1+m4_10_1+m4_11_1+m4_12_1+m4_13_1+m4_14_1+m4_15_1+m4_16_1+m4_17_1+m4_18_1+m4_19_1+m4_20_1+m4_21_1+m4_22_1+m4_23_1+m4_24_1+m4_25_1+m4_26_1+m4_27_1+m4_28_1+m4_29_1+m4_30_1+m4_31_1+m4_32_1+m4_33_1+m4_34_1+m4_35_1+m4_36_1+m4_37_1+m4_38_1+m4_39_1+m4_40_1+m4_41_1+m4_42_1+m4_43_1+m4_44_1+m4_45_1+m4_46_1+m4_47_1+m4_48_1+m4_49_1+m4_50_1+m4_51_1+m4_52_1+m4_53_1+m4_54_1+m4_55_1+m4_56_1+m4_57_1+m4_58_1+m4_59_1+m4_60_1+m4_61_1+m4_62_1+m4_63_1+m4_64_1+m4_65_1+m4_66_1+m4_67_1+m4_68_1+m4_69_1+m4_70_1+m4_71_1+m4_72_1+m4_73_1+m4_74_1+m4_75_1+m4_76_1+m4_77_1+m4_78_1+m4_79_1+m4_80_1+m4_81_1+m4_82_1+m4_83_1+m4_84_1+m4_85_1+m4_86_1+m4_87_1+m4_88_1+m4_89_1+m4_90_1+m4_91_1+m4_92_1+m4_93_1+m4_94_1+m4_95_1+m4_96_1+m4_97_1+m4_98_1+m4_99_1+m4_100_1+m4_0_2+m4_1_2+m4_2_2+m4_3_2+m4_4_2+m4_5_2+m4_6_2+m4_7_2+m4_8_2+m4_9_2+m4_10_2+m4_11_2+m4_12_2+m4_13_2+m4_14_2+m4_15_2+m4_16_2+m4_17_2+m4_18_2+m4_19_2+m4_20_2+m4_21_2+m4_22_2+m4_23_2+m4_24_2+m4_25_2+m4_26_2+m4_27_2+m4_28_2+m4_29_2+m4_30_2+m4_31_2+m4_32_2+m4_33_2+m4_34_2+m4_35_2+m4_36_2+m4_37_2+m4_38_2+m4_39_2+m4_40_2+m4_41_2+m4_42_2+m4_43_2+m4_44_2+m4_45_2+m4_46_2+m4_47_2+m4_48_2+m4_49_2+m4_50_2+m4_51_2+m4_52_2+m4_53_2+m4_54_2+m4_55_2+m4_56_2+m4_57_2+m4_58_2+m4_59_2+m4_60_2+m4_61_2+m4_62_2+m4_63_2+m4_64_2+m4_65_2+m4_66_2+m4_67_2+m4_68_2+m4_69_2+m4_70_2+m4_71_2+m4_72_2+m4_73_2+m4_74_2+m4_75_2+m4_76_2+m4_77_2+m4_78_2+m4_79_2+m4_80_2+m4_81_2+m4_82_2+m4_83_2+m4_84_2+m4_85_2+m4_86_2+m4_87_2+m4_88_2+m4_89_2+m4_90_2+m4_91_2+m4_92_2+m4_93_2+m4_94_2+m4_95_2+m4_96_2+m4_97_2+m4_98_2+m4_99_2+m4_100_2+m4_0_3+m4_1_3+m4_2_3+m4_3_3+m4_4_3+m4_5_3+m4_6_3+m4_7_3+m4_8_3+m4_9_3+m4_10_3+m4_11_3+m4_12_3+m4_13_3+m4_14_3+m4_15_3+m4_16_3+m4_17_3+m4_18_3+m4_19_3+m4_20_3+m4_21_3+m4_22_3+m4_23_3+m4_24_3+m4_25_3+m4_26_3+m4_27_3+m4_28_3+m4_29_3+m4_30_3+m4_31_3+m4_32_3+m4_33_3+m4_34_3+m4_35_3+m4_36_3+m4_37_3+m4_38_3+m4_39_3+m4_40_3+m4_41_3+m4_42_3+m4_43_3+m4_44_3+m4_45_3+m4_46_3+m4_47_3+m4_48_3+m4_49_3+m4_50_3+m4_51_3+m4_52_3+m4_53_3+m4_54_3+m4_55_3+m4_56_3+m4_57_3+m4_58_3+m4_59_3+m4_60_3+m4_61_3+m4_62_3+m4_63_3+m4_64_3+m4_65_3+m4_66_3+m4_67_3+m4_68_3+m4_69_3+m4_70_3+m4_71_3+m4_72_3+m4_73_3+m4_74_3+m4_75_3+m4_76_3+m4_77_3+m4_78_3+m4_79_3+m4_80_3+m4_81_3+m4_82_3+m4_83_3+m4_84_3+m4_85_3+m4_86_3+m4_87_3+m4_88_3+m4_89_3+m4_90_3+m4_91_3+m4_92_3+m4_93_3+m4_94_3+m4_95_3+m4_96_3+m4_97_3+m4_98_3+m4_99_3+m4_100_3+m4_0_4+m4_1_4+m4_2_4+m4_3_4+m4_4_4+m4_5_4+m4_6_4+m4_7_4+m4_8_4+m4_9_4+m4_10_4+m4_11_4+m4_12_4+m4_13_4+m4_14_4+m4_15_4+m4_16_4+m4_17_4+m4_18_4+m4_19_4+m4_20_4+m4_21_4+m4_22_4+m4_23_4+m4_24_4+m4_25_4+m4_26_4+m4_27_4+m4_28_4+m4_29_4+m4_30_4+m4_31_4+m4_32_4+m4_33_4+m4_34_4+m4_35_4+m4_36_4+m4_37_4+m4_38_4+m4_39_4+m4_40_4+m4_41_4+m4_42_4+m4_43_4+m4_44_4+m4_45_4+m4_46_4+m4_47_4+m4_48_4+m4_49_4+m4_50_4+m4_51_4+m4_52_4+m4_53_4+m4_54_4+m4_55_4+m4_56_4+m4_57_4+m4_58_4+m4_59_4+m4_60_4+m4_61_4+m4_62_4+m4_63_4+m4_64_4+m4_65_4+m4_66_4+m4_67_4+m4_68_4+m4_69_4+m4_70_4+m4_71_4+m4_72_4+m4_73_4+m4_74_4+m4_75_4+m4_76_4+m4_77_4+m4_78_4+m4_79_4+m4_80_4+m4_81_4+m4_82_4+m4_83_4+m4_84_4+m4_85_4+m4_86_4+m4_87_4+m4_88_4+m4_89_4+m4_90_4+m4_91_4+m4_92_4+m4_93_4+m4_94_4+m4_95_4+m4_96_4+m4_97_4+m4_98_4+m4_99_4+m4_100_4+m4_0_5+m4_1_5+m4_2_5+m4_3_5+m4_4_5+m4_5_5+m4_6_5+m4_7_5+m4_8_5+m4_9_5+m4_10_5+m4_11_5+m4_12_5+m4_13_5+m4_14_5+m4_15_5+m4_16_5+m4_17_5+m4_18_5+m4_19_5+m4_20_5+m4_21_5+m4_22_5+m4_23_5+m4_24_5+m4_25_5+m4_26_5+m4_27_5+m4_28_5+m4_29_5+m4_30_5+m4_31_5+m4_32_5+m4_33_5+m4_34_5+m4_35_5+m4_36_5+m4_37_5+m4_38_5+m4_39_5+m4_40_5+m4_41_5+m4_42_5+m4_43_5+m4_44_5+m4_45_5+m4_46_5+m4_47_5+m4_48_5+m4_49_5+m4_50_5+m4_51_5+m4_52_5+m4_53_5+m4_54_5+m4_55_5+m4_56_5+m4_57_5+m4_58_5+m4_59_5+m4_60_5+m4_61_5+m4_62_5+m4_63_5+m4_64_5+m4_65_5+m4_66_5+m4_67_5+m4_68_5+m4_69_5+m4_70_5+m4_71_5+m4_72_5+m4_73_5+m4_74_5+m4_75_5+m4_76_5+m4_77_5+m4_78_5+m4_79_5+m4_80_5+m4_81_5+m4_82_5+m4_83_5+m4_84_5+m4_85_5+m4_86_5+m4_87_5+m4_88_5+m4_89_5+m4_90_5+m4_91_5+m4_92_5+m4_93_5+m4_94_5+m4_95_5+m4_96_5+m4_97_5+m4_98_5+m4_99_5+m4_100_5+m4_0_6+m4_1_6+m4_2_6+m4_3_6+m4_4_6+m4_5_6+m4_6_6+m4_7_6+m4_8_6+m4_9_6+m4_10_6+m4_11_6+m4_12_6+m4_13_6+m4_14_6+m4_15_6+m4_16_6+m4_17_6+m4_18_6+m4_19_6+m4_20_6+m4_21_6+m4_22_6+m4_23_6+m4_24_6+m4_25_6+m4_26_6+m4_27_6+m4_28_6+m4_29_6+m4_30_6+m4_31_6+m4_32_6+m4_33_6+m4_34_6+m4_35_6+m4_36_6+m4_37_6+m4_38_6+m4_39_6+m4_40_6+m4_41_6+m4_42_6+m4_43_6+m4_44_6+m4_45_6+m4_46_6+m4_47_6+m4_48_6+m4_49_6+m4_50_6+m4_51_6+m4_52_6+m4_53_6+m4_54_6+m4_55_6+m4_56_6+m4_57_6+m4_58_6+m4_59_6+m4_60_6+m4_61_6+m4_62_6+m4_63_6+m4_64_6+m4_65_6+m4_66_6+m4_67_6+m4_68_6+m4_69_6+m4_70_6+m4_71_6+m4_72_6+m4_73_6+m4_74_6+m4_75_6+m4_76_6+m4_77_6+m4_78_6+m4_79_6+m4_80_6+m4_81_6+m4_82_6+m4_83_6+m4_84_6+m4_85_6+m4_86_6+m4_87_6+m4_88_6+m4_89_6+m4_90_6+m4_91_6+m4_92_6+m4_93_6+m4_94_6+m4_95_6+m4_96_6+m4_97_6+m4_98_6+m4_99_6+m4_100_6+m4_0_7+m4_1_7+m4_2_7+m4_3_7+m4_4_7+m4_5_7+m4_6_7+m4_7_7+m4_8_7+m4_9_7+m4_10_7+m4_11_7+m4_12_7+m4_13_7+m4_14_7+m4_15_7+m4_16_7+m4_17_7+m4_18_7+m4_19_7+m4_20_7+m4_21_7+m4_22_7+m4_23_7+m4_24_7+m4_25_7+m4_26_7+m4_27_7+m4_28_7+m4_29_7+m4_30_7+m4_31_7+m4_32_7+m4_33_7+m4_34_7+m4_35_7+m4_36_7+m4_37_7+m4_38_7+m4_39_7+m4_40_7+m4_41_7+m4_42_7+m4_43_7+m4_44_7+m4_45_7+m4_46_7+m4_47_7+m4_48_7+m4_49_7+m4_50_7+m4_51_7+m4_52_7+m4_53_7+m4_54_7+m4_55_7+m4_56_7+m4_57_7+m4_58_7+m4_59_7+m4_60_7+m4_61_7+m4_62_7+m4_63_7+m4_64_7+m4_65_7+m4_66_7+m4_67_7+m4_68_7+m4_69_7+m4_70_7+m4_71_7+m4_72_7+m4_73_7+m4_74_7+m4_75_7+m4_76_7+m4_77_7+m4_78_7+m4_79_7+m4_80_7+m4_81_7+m4_82_7+m4_83_7+m4_84_7+m4_85_7+m4_86_7+m4_87_7+m4_88_7+m4_89_7+m4_90_7+m4_91_7+m4_92_7+m4_93_7+m4_94_7+m4_95_7+m4_96_7+m4_97_7+m4_98_7+m4_99_7+m4_100_7+m4_0_8+m4_1_8+m4_2_8+m4_3_8+m4_4_8+m4_5_8+m4_6_8+m4_7_8+m4_8_8+m4_9_8+m4_10_8+m4_11_8+m4_12_8+m4_13_8+m4_14_8+m4_15_8+m4_16_8+m4_17_8+m4_18_8+m4_19_8+m4_20_8+m4_21_8+m4_22_8+m4_23_8+m4_24_8+m4_25_8+m4_26_8+m4_27_8+m4_28_8+m4_29_8+m4_30_8+m4_31_8+m4_32_8+m4_33_8+m4_34_8+m4_35_8+m4_36_8+m4_37_8+m4_38_8+m4_39_8+m4_40_8+m4_41_8+m4_42_8+m4_43_8+m4_44_8+m4_45_8+m4_46_8+m4_47_8+m4_48_8+m4_49_8+m4_50_8+m4_51_8+m4_52_8+m4_53_8+m4_54_8+m4_55_8+m4_56_8+m4_57_8+m4_58_8+m4_59_8+m4_60_8+m4_61_8+m4_62_8+m4_63_8+m4_64_8+m4_65_8+m4_66_8+m4_67_8+m4_68_8+m4_69_8+m4_70_8+m4_71_8+m4_72_8+m4_73_8+m4_74_8+m4_75_8+m4_76_8+m4_77_8+m4_78_8+m4_79_8+m4_80_8+m4_81_8+m4_82_8+m4_83_8+m4_84_8+m4_85_8+m4_86_8+m4_87_8+m4_88_8+m4_89_8+m4_90_8+m4_91_8+m4_92_8+m4_93_8+m4_94_8+m4_95_8+m4_96_8+m4_97_8+m4_98_8+m4_99_8+m4_100_8+m4_0_9+m4_1_9+m4_2_9+m4_3_9+m4_4_9+m4_5_9+m4_6_9+m4_7_9+m4_8_9+m4_9_9+m4_10_9+m4_11_9+m4_12_9+m4_13_9+m4_14_9+m4_15_9+m4_16_9+m4_17_9+m4_18_9+m4_19_9+m4_20_9+m4_21_9+m4_22_9+m4_23_9+m4_24_9+m4_25_9+m4_26_9+m4_27_9+m4_28_9+m4_29_9+m4_30_9+m4_31_9+m4_32_9+m4_33_9+m4_34_9+m4_35_9+m4_36_9+m4_37_9+m4_38_9+m4_39_9+m4_40_9+m4_41_9+m4_42_9+m4_43_9+m4_44_9+m4_45_9+m4_46_9+m4_47_9+m4_48_9+m4_49_9+m4_50_9+m4_51_9+m4_52_9+m4_53_9+m4_54_9+m4_55_9+m4_56_9+m4_57_9+m4_58_9+m4_59_9+m4_60_9+m4_61_9+m4_62_9+m4_63_9+m4_64_9+m4_65_9+m4_66_9+m4_67_9+m4_68_9+m4_69_9+m4_70_9+m4_71_9+m4_72_9+m4_73_9+m4_74_9+m4_75_9+m4_76_9+m4_77_9+m4_78_9+m4_79_9+m4_80_9+m4_81_9+m4_82_9+m4_83_9+m4_84_9+m4_85_9+m4_86_9+m4_87_9+m4_88_9+m4_89_9+m4_90_9+m4_91_9+m4_92_9+m4_93_9+m4_94_9+m4_95_9+m4_96_9+m4_97_9+m4_98_9+m4_99_9+m4_100_9+m4_0_10+m4_1_10+m4_2_10+m4_3_10+m4_4_10+m4_5_10+m4_6_10+m4_7_10+m4_8_10+m4_9_10+m4_10_10+m4_11_10+m4_12_10+m4_13_10+m4_14_10+m4_15_10+m4_16_10+m4_17_10+m4_18_10+m4_19_10+m4_20_10+m4_21_10+m4_22_10+m4_23_10+m4_24_10+m4_25_10+m4_26_10+m4_27_10+m4_28_10+m4_29_10+m4_30_10+m4_31_10+m4_32_10+m4_33_10+m4_34_10+m4_35_10+m4_36_10+m4_37_10+m4_38_10+m4_39_10+m4_40_10+m4_41_10+m4_42_10+m4_43_10+m4_44_10+m4_45_10+m4_46_10+m4_47_10+m4_48_10+m4_49_10+m4_50_10+m4_51_10+m4_52_10+m4_53_10+m4_54_10+m4_55_10+m4_56_10+m4_57_10+m4_58_10+m4_59_10+m4_60_10+m4_61_10+m4_62_10+m4_63_10+m4_64_10+m4_65_10+m4_66_10+m4_67_10+m4_68_10+m4_69_10+m4_70_10+m4_71_10+m4_72_10+m4_73_10+m4_74_10+m4_75_10+m4_76_10+m4_77_10+m4_78_10+m4_79_10+m4_80_10+m4_81_10+m4_82_10+m4_83_10+m4_84_10+m4_85_10+m4_86_10+m4_87_10+m4_88_10+m4_89_10+m4_90_10+m4_91_10+m4_92_10+m4_93_10+m4_94_10+m4_95_10+m4_96_10+m4_97_10+m4_98_10+m4_99_10+m4_100_10
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-04 with value :l20_0+l20_1+l20_2+l20_3+l20_4+l20_5+l20_6+l20_7+l20_8+l20_9+l20_10+l20_11+l20_12+l20_13+l20_14+l20_15+l20_16+l20_17+l20_18+l20_19+l20_20+l20_21+l20_22+l20_23+l20_24+l20_25+l20_26+l20_27+l20_28+l20_29+l20_30+l20_31+l20_32+l20_33+l20_34+l20_35+l20_36+l20_37+l20_38+l20_39+l20_40+l20_41+l20_42+l20_43+l20_44+l20_45+l20_46+l20_47+l20_48+l20_49+l20_50+l20_51+l20_52+l20_53+l20_54+l20_55+l20_56+l20_57+l20_58+l20_59+l20_60+l20_61+l20_62+l20_63+l20_64+l20_65+l20_66+l20_67+l20_68+l20_69+l20_70+l20_71+l20_72+l20_73+l20_74+l20_75+l20_76+l20_77+l20_78+l20_79+l20_80+l20_81+l20_82+l20_83+l20_84+l20_85+l20_86+l20_87+l20_88+l20_89+l20_90+l20_91+l20_92+l20_93+l20_94+l20_95+l20_96+l20_97+l20_98+l20_99+l20_100
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-05 with value :gl0_0_0+gl0_1_0+gl0_2_0+gl0_3_0+gl0_4_0+gl0_5_0+gl0_6_0+gl0_7_0+gl0_8_0+gl0_9_0+gl0_10_0+gl0_11_0+gl0_12_0+gl0_13_0+gl0_14_0+gl0_15_0+gl0_16_0+gl0_17_0+gl0_18_0+gl0_19_0+gl0_20_0+gl0_21_0+gl0_22_0+gl0_23_0+gl0_24_0+gl0_25_0+gl0_26_0+gl0_27_0+gl0_28_0+gl0_29_0+gl0_30_0+gl0_31_0+gl0_32_0+gl0_33_0+gl0_34_0+gl0_35_0+gl0_36_0+gl0_37_0+gl0_38_0+gl0_39_0+gl0_40_0+gl0_41_0+gl0_42_0+gl0_43_0+gl0_44_0+gl0_45_0+gl0_46_0+gl0_47_0+gl0_48_0+gl0_49_0+gl0_50_0+gl0_51_0+gl0_52_0+gl0_53_0+gl0_54_0+gl0_55_0+gl0_56_0+gl0_57_0+gl0_58_0+gl0_59_0+gl0_60_0+gl0_61_0+gl0_62_0+gl0_63_0+gl0_64_0+gl0_65_0+gl0_66_0+gl0_67_0+gl0_68_0+gl0_69_0+gl0_70_0+gl0_71_0+gl0_72_0+gl0_73_0+gl0_74_0+gl0_75_0+gl0_76_0+gl0_77_0+gl0_78_0+gl0_79_0+gl0_80_0+gl0_81_0+gl0_82_0+gl0_83_0+gl0_84_0+gl0_85_0+gl0_86_0+gl0_87_0+gl0_88_0+gl0_89_0+gl0_90_0+gl0_91_0+gl0_92_0+gl0_93_0+gl0_94_0+gl0_95_0+gl0_96_0+gl0_97_0+gl0_98_0+gl0_99_0+gl0_100_0+gl0_0_1+gl0_1_1+gl0_2_1+gl0_3_1+gl0_4_1+gl0_5_1+gl0_6_1+gl0_7_1+gl0_8_1+gl0_9_1+gl0_10_1+gl0_11_1+gl0_12_1+gl0_13_1+gl0_14_1+gl0_15_1+gl0_16_1+gl0_17_1+gl0_18_1+gl0_19_1+gl0_20_1+gl0_21_1+gl0_22_1+gl0_23_1+gl0_24_1+gl0_25_1+gl0_26_1+gl0_27_1+gl0_28_1+gl0_29_1+gl0_30_1+gl0_31_1+gl0_32_1+gl0_33_1+gl0_34_1+gl0_35_1+gl0_36_1+gl0_37_1+gl0_38_1+gl0_39_1+gl0_40_1+gl0_41_1+gl0_42_1+gl0_43_1+gl0_44_1+gl0_45_1+gl0_46_1+gl0_47_1+gl0_48_1+gl0_49_1+gl0_50_1+gl0_51_1+gl0_52_1+gl0_53_1+gl0_54_1+gl0_55_1+gl0_56_1+gl0_57_1+gl0_58_1+gl0_59_1+gl0_60_1+gl0_61_1+gl0_62_1+gl0_63_1+gl0_64_1+gl0_65_1+gl0_66_1+gl0_67_1+gl0_68_1+gl0_69_1+gl0_70_1+gl0_71_1+gl0_72_1+gl0_73_1+gl0_74_1+gl0_75_1+gl0_76_1+gl0_77_1+gl0_78_1+gl0_79_1+gl0_80_1+gl0_81_1+gl0_82_1+gl0_83_1+gl0_84_1+gl0_85_1+gl0_86_1+gl0_87_1+gl0_88_1+gl0_89_1+gl0_90_1+gl0_91_1+gl0_92_1+gl0_93_1+gl0_94_1+gl0_95_1+gl0_96_1+gl0_97_1+gl0_98_1+gl0_99_1+gl0_100_1+gl0_0_2+gl0_1_2+gl0_2_2+gl0_3_2+gl0_4_2+gl0_5_2+gl0_6_2+gl0_7_2+gl0_8_2+gl0_9_2+gl0_10_2+gl0_11_2+gl0_12_2+gl0_13_2+gl0_14_2+gl0_15_2+gl0_16_2+gl0_17_2+gl0_18_2+gl0_19_2+gl0_20_2+gl0_21_2+gl0_22_2+gl0_23_2+gl0_24_2+gl0_25_2+gl0_26_2+gl0_27_2+gl0_28_2+gl0_29_2+gl0_30_2+gl0_31_2+gl0_32_2+gl0_33_2+gl0_34_2+gl0_35_2+gl0_36_2+gl0_37_2+gl0_38_2+gl0_39_2+gl0_40_2+gl0_41_2+gl0_42_2+gl0_43_2+gl0_44_2+gl0_45_2+gl0_46_2+gl0_47_2+gl0_48_2+gl0_49_2+gl0_50_2+gl0_51_2+gl0_52_2+gl0_53_2+gl0_54_2+gl0_55_2+gl0_56_2+gl0_57_2+gl0_58_2+gl0_59_2+gl0_60_2+gl0_61_2+gl0_62_2+gl0_63_2+gl0_64_2+gl0_65_2+gl0_66_2+gl0_67_2+gl0_68_2+gl0_69_2+gl0_70_2+gl0_71_2+gl0_72_2+gl0_73_2+gl0_74_2+gl0_75_2+gl0_76_2+gl0_77_2+gl0_78_2+gl0_79_2+gl0_80_2+gl0_81_2+gl0_82_2+gl0_83_2+gl0_84_2+gl0_85_2+gl0_86_2+gl0_87_2+gl0_88_2+gl0_89_2+gl0_90_2+gl0_91_2+gl0_92_2+gl0_93_2+gl0_94_2+gl0_95_2+gl0_96_2+gl0_97_2+gl0_98_2+gl0_99_2+gl0_100_2
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-06 with value :c6_0_0+c6_1_0+c6_2_0+c6_3_0+c6_4_0+c6_5_0+c6_6_0+c6_7_0+c6_8_0+c6_9_0+c6_10_0+c6_11_0+c6_12_0+c6_13_0+c6_14_0+c6_15_0+c6_16_0+c6_17_0+c6_18_0+c6_19_0+c6_20_0+c6_21_0+c6_22_0+c6_23_0+c6_24_0+c6_25_0+c6_26_0+c6_27_0+c6_28_0+c6_29_0+c6_30_0+c6_31_0+c6_32_0+c6_33_0+c6_34_0+c6_35_0+c6_36_0+c6_37_0+c6_38_0+c6_39_0+c6_40_0+c6_41_0+c6_42_0+c6_43_0+c6_44_0+c6_45_0+c6_46_0+c6_47_0+c6_48_0+c6_49_0+c6_50_0+c6_51_0+c6_52_0+c6_53_0+c6_54_0+c6_55_0+c6_56_0+c6_57_0+c6_58_0+c6_59_0+c6_60_0+c6_61_0+c6_62_0+c6_63_0+c6_64_0+c6_65_0+c6_66_0+c6_67_0+c6_68_0+c6_69_0+c6_70_0+c6_71_0+c6_72_0+c6_73_0+c6_74_0+c6_75_0+c6_76_0+c6_77_0+c6_78_0+c6_79_0+c6_80_0+c6_81_0+c6_82_0+c6_83_0+c6_84_0+c6_85_0+c6_86_0+c6_87_0+c6_88_0+c6_89_0+c6_90_0+c6_91_0+c6_92_0+c6_93_0+c6_94_0+c6_95_0+c6_96_0+c6_97_0+c6_98_0+c6_99_0+c6_100_0+c6_0_1+c6_1_1+c6_2_1+c6_3_1+c6_4_1+c6_5_1+c6_6_1+c6_7_1+c6_8_1+c6_9_1+c6_10_1+c6_11_1+c6_12_1+c6_13_1+c6_14_1+c6_15_1+c6_16_1+c6_17_1+c6_18_1+c6_19_1+c6_20_1+c6_21_1+c6_22_1+c6_23_1+c6_24_1+c6_25_1+c6_26_1+c6_27_1+c6_28_1+c6_29_1+c6_30_1+c6_31_1+c6_32_1+c6_33_1+c6_34_1+c6_35_1+c6_36_1+c6_37_1+c6_38_1+c6_39_1+c6_40_1+c6_41_1+c6_42_1+c6_43_1+c6_44_1+c6_45_1+c6_46_1+c6_47_1+c6_48_1+c6_49_1+c6_50_1+c6_51_1+c6_52_1+c6_53_1+c6_54_1+c6_55_1+c6_56_1+c6_57_1+c6_58_1+c6_59_1+c6_60_1+c6_61_1+c6_62_1+c6_63_1+c6_64_1+c6_65_1+c6_66_1+c6_67_1+c6_68_1+c6_69_1+c6_70_1+c6_71_1+c6_72_1+c6_73_1+c6_74_1+c6_75_1+c6_76_1+c6_77_1+c6_78_1+c6_79_1+c6_80_1+c6_81_1+c6_82_1+c6_83_1+c6_84_1+c6_85_1+c6_86_1+c6_87_1+c6_88_1+c6_89_1+c6_90_1+c6_91_1+c6_92_1+c6_93_1+c6_94_1+c6_95_1+c6_96_1+c6_97_1+c6_98_1+c6_99_1+c6_100_1+c6_0_2+c6_1_2+c6_2_2+c6_3_2+c6_4_2+c6_5_2+c6_6_2+c6_7_2+c6_8_2+c6_9_2+c6_10_2+c6_11_2+c6_12_2+c6_13_2+c6_14_2+c6_15_2+c6_16_2+c6_17_2+c6_18_2+c6_19_2+c6_20_2+c6_21_2+c6_22_2+c6_23_2+c6_24_2+c6_25_2+c6_26_2+c6_27_2+c6_28_2+c6_29_2+c6_30_2+c6_31_2+c6_32_2+c6_33_2+c6_34_2+c6_35_2+c6_36_2+c6_37_2+c6_38_2+c6_39_2+c6_40_2+c6_41_2+c6_42_2+c6_43_2+c6_44_2+c6_45_2+c6_46_2+c6_47_2+c6_48_2+c6_49_2+c6_50_2+c6_51_2+c6_52_2+c6_53_2+c6_54_2+c6_55_2+c6_56_2+c6_57_2+c6_58_2+c6_59_2+c6_60_2+c6_61_2+c6_62_2+c6_63_2+c6_64_2+c6_65_2+c6_66_2+c6_67_2+c6_68_2+c6_69_2+c6_70_2+c6_71_2+c6_72_2+c6_73_2+c6_74_2+c6_75_2+c6_76_2+c6_77_2+c6_78_2+c6_79_2+c6_80_2+c6_81_2+c6_82_2+c6_83_2+c6_84_2+c6_85_2+c6_86_2+c6_87_2+c6_88_2+c6_89_2+c6_90_2+c6_91_2+c6_92_2+c6_93_2+c6_94_2+c6_95_2+c6_96_2+c6_97_2+c6_98_2+c6_99_2+c6_100_2+c6_0_3+c6_1_3+c6_2_3+c6_3_3+c6_4_3+c6_5_3+c6_6_3+c6_7_3+c6_8_3+c6_9_3+c6_10_3+c6_11_3+c6_12_3+c6_13_3+c6_14_3+c6_15_3+c6_16_3+c6_17_3+c6_18_3+c6_19_3+c6_20_3+c6_21_3+c6_22_3+c6_23_3+c6_24_3+c6_25_3+c6_26_3+c6_27_3+c6_28_3+c6_29_3+c6_30_3+c6_31_3+c6_32_3+c6_33_3+c6_34_3+c6_35_3+c6_36_3+c6_37_3+c6_38_3+c6_39_3+c6_40_3+c6_41_3+c6_42_3+c6_43_3+c6_44_3+c6_45_3+c6_46_3+c6_47_3+c6_48_3+c6_49_3+c6_50_3+c6_51_3+c6_52_3+c6_53_3+c6_54_3+c6_55_3+c6_56_3+c6_57_3+c6_58_3+c6_59_3+c6_60_3+c6_61_3+c6_62_3+c6_63_3+c6_64_3+c6_65_3+c6_66_3+c6_67_3+c6_68_3+c6_69_3+c6_70_3+c6_71_3+c6_72_3+c6_73_3+c6_74_3+c6_75_3+c6_76_3+c6_77_3+c6_78_3+c6_79_3+c6_80_3+c6_81_3+c6_82_3+c6_83_3+c6_84_3+c6_85_3+c6_86_3+c6_87_3+c6_88_3+c6_89_3+c6_90_3+c6_91_3+c6_92_3+c6_93_3+c6_94_3+c6_95_3+c6_96_3+c6_97_3+c6_98_3+c6_99_3+c6_100_3+c6_0_4+c6_1_4+c6_2_4+c6_3_4+c6_4_4+c6_5_4+c6_6_4+c6_7_4+c6_8_4+c6_9_4+c6_10_4+c6_11_4+c6_12_4+c6_13_4+c6_14_4+c6_15_4+c6_16_4+c6_17_4+c6_18_4+c6_19_4+c6_20_4+c6_21_4+c6_22_4+c6_23_4+c6_24_4+c6_25_4+c6_26_4+c6_27_4+c6_28_4+c6_29_4+c6_30_4+c6_31_4+c6_32_4+c6_33_4+c6_34_4+c6_35_4+c6_36_4+c6_37_4+c6_38_4+c6_39_4+c6_40_4+c6_41_4+c6_42_4+c6_43_4+c6_44_4+c6_45_4+c6_46_4+c6_47_4+c6_48_4+c6_49_4+c6_50_4+c6_51_4+c6_52_4+c6_53_4+c6_54_4+c6_55_4+c6_56_4+c6_57_4+c6_58_4+c6_59_4+c6_60_4+c6_61_4+c6_62_4+c6_63_4+c6_64_4+c6_65_4+c6_66_4+c6_67_4+c6_68_4+c6_69_4+c6_70_4+c6_71_4+c6_72_4+c6_73_4+c6_74_4+c6_75_4+c6_76_4+c6_77_4+c6_78_4+c6_79_4+c6_80_4+c6_81_4+c6_82_4+c6_83_4+c6_84_4+c6_85_4+c6_86_4+c6_87_4+c6_88_4+c6_89_4+c6_90_4+c6_91_4+c6_92_4+c6_93_4+c6_94_4+c6_95_4+c6_96_4+c6_97_4+c6_98_4+c6_99_4+c6_100_4+c6_0_5+c6_1_5+c6_2_5+c6_3_5+c6_4_5+c6_5_5+c6_6_5+c6_7_5+c6_8_5+c6_9_5+c6_10_5+c6_11_5+c6_12_5+c6_13_5+c6_14_5+c6_15_5+c6_16_5+c6_17_5+c6_18_5+c6_19_5+c6_20_5+c6_21_5+c6_22_5+c6_23_5+c6_24_5+c6_25_5+c6_26_5+c6_27_5+c6_28_5+c6_29_5+c6_30_5+c6_31_5+c6_32_5+c6_33_5+c6_34_5+c6_35_5+c6_36_5+c6_37_5+c6_38_5+c6_39_5+c6_40_5+c6_41_5+c6_42_5+c6_43_5+c6_44_5+c6_45_5+c6_46_5+c6_47_5+c6_48_5+c6_49_5+c6_50_5+c6_51_5+c6_52_5+c6_53_5+c6_54_5+c6_55_5+c6_56_5+c6_57_5+c6_58_5+c6_59_5+c6_60_5+c6_61_5+c6_62_5+c6_63_5+c6_64_5+c6_65_5+c6_66_5+c6_67_5+c6_68_5+c6_69_5+c6_70_5+c6_71_5+c6_72_5+c6_73_5+c6_74_5+c6_75_5+c6_76_5+c6_77_5+c6_78_5+c6_79_5+c6_80_5+c6_81_5+c6_82_5+c6_83_5+c6_84_5+c6_85_5+c6_86_5+c6_87_5+c6_88_5+c6_89_5+c6_90_5+c6_91_5+c6_92_5+c6_93_5+c6_94_5+c6_95_5+c6_96_5+c6_97_5+c6_98_5+c6_99_5+c6_100_5
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-07 with value :l30_0+l30_1+l30_2+l30_3+l30_4+l30_5+l30_6+l30_7+l30_8+l30_9+l30_10+l30_11+l30_12+l30_13+l30_14+l30_15+l30_16+l30_17+l30_18+l30_19+l30_20+l30_21+l30_22+l30_23+l30_24+l30_25+l30_26+l30_27+l30_28+l30_29+l30_30+l30_31+l30_32+l30_33+l30_34+l30_35+l30_36+l30_37+l30_38+l30_39+l30_40+l30_41+l30_42+l30_43+l30_44+l30_45+l30_46+l30_47+l30_48+l30_49+l30_50+l30_51+l30_52+l30_53+l30_54+l30_55+l30_56+l30_57+l30_58+l30_59+l30_60+l30_61+l30_62+l30_63+l30_64+l30_65+l30_66+l30_67+l30_68+l30_69+l30_70+l30_71+l30_72+l30_73+l30_74+l30_75+l30_76+l30_77+l30_78+l30_79+l30_80+l30_81+l30_82+l30_83+l30_84+l30_85+l30_86+l30_87+l30_88+l30_89+l30_90+l30_91+l30_92+l30_93+l30_94+l30_95+l30_96+l30_97+l30_98+l30_99+l30_100
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-08 with value :l11_87
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-09 with value :l2_5_3
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-10 with value :l40_45_Y
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-11 with value :pl1_94_4
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-12 with value :m9_99_4
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-13 with value :l6_33_10
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-14 with value :l6_31_3
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-15 with value :ml0_3_0
Detected timeout of ITS tools.
[2021-05-11 14:16:04] [INFO ] Flatten gal took : 1292 ms
[2021-05-11 14:16:06] [INFO ] Input system was already deterministic with 36871 transitions.
[2021-05-11 14:16:06] [INFO ] Transformed 40574 places.
[2021-05-11 14:16:06] [INFO ] Transformed 36871 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:16:43] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 91 ms
[2021-05-11 14:16:43] [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-L00100M0010C005P005G002-UpperBounds-00 with value :lm0_0+lm0_1+lm0_2+lm0_3+lm0_4+lm0_5+lm0_6+lm0_7+lm0_8+lm0_9+lm0_10+lm0_11+lm0_12+lm0_13+lm0_14+lm0_15+lm0_16+lm0_17+lm0_18+lm0_19+lm0_20+lm0_21+lm0_22+lm0_23+lm0_24+lm0_25+lm0_26+lm0_27+lm0_28+lm0_29+lm0_30+lm0_31+lm0_32+lm0_33+lm0_34+lm0_35+lm0_36+lm0_37+lm0_38+lm0_39+lm0_40+lm0_41+lm0_42+lm0_43+lm0_44+lm0_45+lm0_46+lm0_47+lm0_48+lm0_49+lm0_50+lm0_51+lm0_52+lm0_53+lm0_54+lm0_55+lm0_56+lm0_57+lm0_58+lm0_59+lm0_60+lm0_61+lm0_62+lm0_63+lm0_64+lm0_65+lm0_66+lm0_67+lm0_68+lm0_69+lm0_70+lm0_71+lm0_72+lm0_73+lm0_74+lm0_75+lm0_76+lm0_77+lm0_78+lm0_79+lm0_80+lm0_81+lm0_82+lm0_83+lm0_84+lm0_85+lm0_86+lm0_87+lm0_88+lm0_89+lm0_90+lm0_91+lm0_92+lm0_93+lm0_94+lm0_95+lm0_96+lm0_97+lm0_98+lm0_99+lm0_100
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-01 with value :p3_0_0+p3_1_0+p3_2_0+p3_3_0+p3_4_0+p3_5_0+p3_6_0+p3_7_0+p3_8_0+p3_9_0+p3_10_0+p3_11_0+p3_12_0+p3_13_0+p3_14_0+p3_15_0+p3_16_0+p3_17_0+p3_18_0+p3_19_0+p3_20_0+p3_21_0+p3_22_0+p3_23_0+p3_24_0+p3_25_0+p3_26_0+p3_27_0+p3_28_0+p3_29_0+p3_30_0+p3_31_0+p3_32_0+p3_33_0+p3_34_0+p3_35_0+p3_36_0+p3_37_0+p3_38_0+p3_39_0+p3_40_0+p3_41_0+p3_42_0+p3_43_0+p3_44_0+p3_45_0+p3_46_0+p3_47_0+p3_48_0+p3_49_0+p3_50_0+p3_51_0+p3_52_0+p3_53_0+p3_54_0+p3_55_0+p3_56_0+p3_57_0+p3_58_0+p3_59_0+p3_60_0+p3_61_0+p3_62_0+p3_63_0+p3_64_0+p3_65_0+p3_66_0+p3_67_0+p3_68_0+p3_69_0+p3_70_0+p3_71_0+p3_72_0+p3_73_0+p3_74_0+p3_75_0+p3_76_0+p3_77_0+p3_78_0+p3_79_0+p3_80_0+p3_81_0+p3_82_0+p3_83_0+p3_84_0+p3_85_0+p3_86_0+p3_87_0+p3_88_0+p3_89_0+p3_90_0+p3_91_0+p3_92_0+p3_93_0+p3_94_0+p3_95_0+p3_96_0+p3_97_0+p3_98_0+p3_99_0+p3_100_0+p3_0_1+p3_1_1+p3_2_1+p3_3_1+p3_4_1+p3_5_1+p3_6_1+p3_7_1+p3_8_1+p3_9_1+p3_10_1+p3_11_1+p3_12_1+p3_13_1+p3_14_1+p3_15_1+p3_16_1+p3_17_1+p3_18_1+p3_19_1+p3_20_1+p3_21_1+p3_22_1+p3_23_1+p3_24_1+p3_25_1+p3_26_1+p3_27_1+p3_28_1+p3_29_1+p3_30_1+p3_31_1+p3_32_1+p3_33_1+p3_34_1+p3_35_1+p3_36_1+p3_37_1+p3_38_1+p3_39_1+p3_40_1+p3_41_1+p3_42_1+p3_43_1+p3_44_1+p3_45_1+p3_46_1+p3_47_1+p3_48_1+p3_49_1+p3_50_1+p3_51_1+p3_52_1+p3_53_1+p3_54_1+p3_55_1+p3_56_1+p3_57_1+p3_58_1+p3_59_1+p3_60_1+p3_61_1+p3_62_1+p3_63_1+p3_64_1+p3_65_1+p3_66_1+p3_67_1+p3_68_1+p3_69_1+p3_70_1+p3_71_1+p3_72_1+p3_73_1+p3_74_1+p3_75_1+p3_76_1+p3_77_1+p3_78_1+p3_79_1+p3_80_1+p3_81_1+p3_82_1+p3_83_1+p3_84_1+p3_85_1+p3_86_1+p3_87_1+p3_88_1+p3_89_1+p3_90_1+p3_91_1+p3_92_1+p3_93_1+p3_94_1+p3_95_1+p3_96_1+p3_97_1+p3_98_1+p3_99_1+p3_100_1+p3_0_2+p3_1_2+p3_2_2+p3_3_2+p3_4_2+p3_5_2+p3_6_2+p3_7_2+p3_8_2+p3_9_2+p3_10_2+p3_11_2+p3_12_2+p3_13_2+p3_14_2+p3_15_2+p3_16_2+p3_17_2+p3_18_2+p3_19_2+p3_20_2+p3_21_2+p3_22_2+p3_23_2+p3_24_2+p3_25_2+p3_26_2+p3_27_2+p3_28_2+p3_29_2+p3_30_2+p3_31_2+p3_32_2+p3_33_2+p3_34_2+p3_35_2+p3_36_2+p3_37_2+p3_38_2+p3_39_2+p3_40_2+p3_41_2+p3_42_2+p3_43_2+p3_44_2+p3_45_2+p3_46_2+p3_47_2+p3_48_2+p3_49_2+p3_50_2+p3_51_2+p3_52_2+p3_53_2+p3_54_2+p3_55_2+p3_56_2+p3_57_2+p3_58_2+p3_59_2+p3_60_2+p3_61_2+p3_62_2+p3_63_2+p3_64_2+p3_65_2+p3_66_2+p3_67_2+p3_68_2+p3_69_2+p3_70_2+p3_71_2+p3_72_2+p3_73_2+p3_74_2+p3_75_2+p3_76_2+p3_77_2+p3_78_2+p3_79_2+p3_80_2+p3_81_2+p3_82_2+p3_83_2+p3_84_2+p3_85_2+p3_86_2+p3_87_2+p3_88_2+p3_89_2+p3_90_2+p3_91_2+p3_92_2+p3_93_2+p3_94_2+p3_95_2+p3_96_2+p3_97_2+p3_98_2+p3_99_2+p3_100_2+p3_0_3+p3_1_3+p3_2_3+p3_3_3+p3_4_3+p3_5_3+p3_6_3+p3_7_3+p3_8_3+p3_9_3+p3_10_3+p3_11_3+p3_12_3+p3_13_3+p3_14_3+p3_15_3+p3_16_3+p3_17_3+p3_18_3+p3_19_3+p3_20_3+p3_21_3+p3_22_3+p3_23_3+p3_24_3+p3_25_3+p3_26_3+p3_27_3+p3_28_3+p3_29_3+p3_30_3+p3_31_3+p3_32_3+p3_33_3+p3_34_3+p3_35_3+p3_36_3+p3_37_3+p3_38_3+p3_39_3+p3_40_3+p3_41_3+p3_42_3+p3_43_3+p3_44_3+p3_45_3+p3_46_3+p3_47_3+p3_48_3+p3_49_3+p3_50_3+p3_51_3+p3_52_3+p3_53_3+p3_54_3+p3_55_3+p3_56_3+p3_57_3+p3_58_3+p3_59_3+p3_60_3+p3_61_3+p3_62_3+p3_63_3+p3_64_3+p3_65_3+p3_66_3+p3_67_3+p3_68_3+p3_69_3+p3_70_3+p3_71_3+p3_72_3+p3_73_3+p3_74_3+p3_75_3+p3_76_3+p3_77_3+p3_78_3+p3_79_3+p3_80_3+p3_81_3+p3_82_3+p3_83_3+p3_84_3+p3_85_3+p3_86_3+p3_87_3+p3_88_3+p3_89_3+p3_90_3+p3_91_3+p3_92_3+p3_93_3+p3_94_3+p3_95_3+p3_96_3+p3_97_3+p3_98_3+p3_99_3+p3_100_3+p3_0_4+p3_1_4+p3_2_4+p3_3_4+p3_4_4+p3_5_4+p3_6_4+p3_7_4+p3_8_4+p3_9_4+p3_10_4+p3_11_4+p3_12_4+p3_13_4+p3_14_4+p3_15_4+p3_16_4+p3_17_4+p3_18_4+p3_19_4+p3_20_4+p3_21_4+p3_22_4+p3_23_4+p3_24_4+p3_25_4+p3_26_4+p3_27_4+p3_28_4+p3_29_4+p3_30_4+p3_31_4+p3_32_4+p3_33_4+p3_34_4+p3_35_4+p3_36_4+p3_37_4+p3_38_4+p3_39_4+p3_40_4+p3_41_4+p3_42_4+p3_43_4+p3_44_4+p3_45_4+p3_46_4+p3_47_4+p3_48_4+p3_49_4+p3_50_4+p3_51_4+p3_52_4+p3_53_4+p3_54_4+p3_55_4+p3_56_4+p3_57_4+p3_58_4+p3_59_4+p3_60_4+p3_61_4+p3_62_4+p3_63_4+p3_64_4+p3_65_4+p3_66_4+p3_67_4+p3_68_4+p3_69_4+p3_70_4+p3_71_4+p3_72_4+p3_73_4+p3_74_4+p3_75_4+p3_76_4+p3_77_4+p3_78_4+p3_79_4+p3_80_4+p3_81_4+p3_82_4+p3_83_4+p3_84_4+p3_85_4+p3_86_4+p3_87_4+p3_88_4+p3_89_4+p3_90_4+p3_91_4+p3_92_4+p3_93_4+p3_94_4+p3_95_4+p3_96_4+p3_97_4+p3_98_4+p3_99_4+p3_100_4+p3_0_5+p3_1_5+p3_2_5+p3_3_5+p3_4_5+p3_5_5+p3_6_5+p3_7_5+p3_8_5+p3_9_5+p3_10_5+p3_11_5+p3_12_5+p3_13_5+p3_14_5+p3_15_5+p3_16_5+p3_17_5+p3_18_5+p3_19_5+p3_20_5+p3_21_5+p3_22_5+p3_23_5+p3_24_5+p3_25_5+p3_26_5+p3_27_5+p3_28_5+p3_29_5+p3_30_5+p3_31_5+p3_32_5+p3_33_5+p3_34_5+p3_35_5+p3_36_5+p3_37_5+p3_38_5+p3_39_5+p3_40_5+p3_41_5+p3_42_5+p3_43_5+p3_44_5+p3_45_5+p3_46_5+p3_47_5+p3_48_5+p3_49_5+p3_50_5+p3_51_5+p3_52_5+p3_53_5+p3_54_5+p3_55_5+p3_56_5+p3_57_5+p3_58_5+p3_59_5+p3_60_5+p3_61_5+p3_62_5+p3_63_5+p3_64_5+p3_65_5+p3_66_5+p3_67_5+p3_68_5+p3_69_5+p3_70_5+p3_71_5+p3_72_5+p3_73_5+p3_74_5+p3_75_5+p3_76_5+p3_77_5+p3_78_5+p3_79_5+p3_80_5+p3_81_5+p3_82_5+p3_83_5+p3_84_5+p3_85_5+p3_86_5+p3_87_5+p3_88_5+p3_89_5+p3_90_5+p3_91_5+p3_92_5+p3_93_5+p3_94_5+p3_95_5+p3_96_5+p3_97_5+p3_98_5+p3_99_5+p3_100_5
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-02 with value :cl1_0_0+cl1_1_0+cl1_2_0+cl1_3_0+cl1_4_0+cl1_5_0+cl1_6_0+cl1_7_0+cl1_8_0+cl1_9_0+cl1_10_0+cl1_11_0+cl1_12_0+cl1_13_0+cl1_14_0+cl1_15_0+cl1_16_0+cl1_17_0+cl1_18_0+cl1_19_0+cl1_20_0+cl1_21_0+cl1_22_0+cl1_23_0+cl1_24_0+cl1_25_0+cl1_26_0+cl1_27_0+cl1_28_0+cl1_29_0+cl1_30_0+cl1_31_0+cl1_32_0+cl1_33_0+cl1_34_0+cl1_35_0+cl1_36_0+cl1_37_0+cl1_38_0+cl1_39_0+cl1_40_0+cl1_41_0+cl1_42_0+cl1_43_0+cl1_44_0+cl1_45_0+cl1_46_0+cl1_47_0+cl1_48_0+cl1_49_0+cl1_50_0+cl1_51_0+cl1_52_0+cl1_53_0+cl1_54_0+cl1_55_0+cl1_56_0+cl1_57_0+cl1_58_0+cl1_59_0+cl1_60_0+cl1_61_0+cl1_62_0+cl1_63_0+cl1_64_0+cl1_65_0+cl1_66_0+cl1_67_0+cl1_68_0+cl1_69_0+cl1_70_0+cl1_71_0+cl1_72_0+cl1_73_0+cl1_74_0+cl1_75_0+cl1_76_0+cl1_77_0+cl1_78_0+cl1_79_0+cl1_80_0+cl1_81_0+cl1_82_0+cl1_83_0+cl1_84_0+cl1_85_0+cl1_86_0+cl1_87_0+cl1_88_0+cl1_89_0+cl1_90_0+cl1_91_0+cl1_92_0+cl1_93_0+cl1_94_0+cl1_95_0+cl1_96_0+cl1_97_0+cl1_98_0+cl1_99_0+cl1_100_0+cl1_0_1+cl1_1_1+cl1_2_1+cl1_3_1+cl1_4_1+cl1_5_1+cl1_6_1+cl1_7_1+cl1_8_1+cl1_9_1+cl1_10_1+cl1_11_1+cl1_12_1+cl1_13_1+cl1_14_1+cl1_15_1+cl1_16_1+cl1_17_1+cl1_18_1+cl1_19_1+cl1_20_1+cl1_21_1+cl1_22_1+cl1_23_1+cl1_24_1+cl1_25_1+cl1_26_1+cl1_27_1+cl1_28_1+cl1_29_1+cl1_30_1+cl1_31_1+cl1_32_1+cl1_33_1+cl1_34_1+cl1_35_1+cl1_36_1+cl1_37_1+cl1_38_1+cl1_39_1+cl1_40_1+cl1_41_1+cl1_42_1+cl1_43_1+cl1_44_1+cl1_45_1+cl1_46_1+cl1_47_1+cl1_48_1+cl1_49_1+cl1_50_1+cl1_51_1+cl1_52_1+cl1_53_1+cl1_54_1+cl1_55_1+cl1_56_1+cl1_57_1+cl1_58_1+cl1_59_1+cl1_60_1+cl1_61_1+cl1_62_1+cl1_63_1+cl1_64_1+cl1_65_1+cl1_66_1+cl1_67_1+cl1_68_1+cl1_69_1+cl1_70_1+cl1_71_1+cl1_72_1+cl1_73_1+cl1_74_1+cl1_75_1+cl1_76_1+cl1_77_1+cl1_78_1+cl1_79_1+cl1_80_1+cl1_81_1+cl1_82_1+cl1_83_1+cl1_84_1+cl1_85_1+cl1_86_1+cl1_87_1+cl1_88_1+cl1_89_1+cl1_90_1+cl1_91_1+cl1_92_1+cl1_93_1+cl1_94_1+cl1_95_1+cl1_96_1+cl1_97_1+cl1_98_1+cl1_99_1+cl1_100_1+cl1_0_2+cl1_1_2+cl1_2_2+cl1_3_2+cl1_4_2+cl1_5_2+cl1_6_2+cl1_7_2+cl1_8_2+cl1_9_2+cl1_10_2+cl1_11_2+cl1_12_2+cl1_13_2+cl1_14_2+cl1_15_2+cl1_16_2+cl1_17_2+cl1_18_2+cl1_19_2+cl1_20_2+cl1_21_2+cl1_22_2+cl1_23_2+cl1_24_2+cl1_25_2+cl1_26_2+cl1_27_2+cl1_28_2+cl1_29_2+cl1_30_2+cl1_31_2+cl1_32_2+cl1_33_2+cl1_34_2+cl1_35_2+cl1_36_2+cl1_37_2+cl1_38_2+cl1_39_2+cl1_40_2+cl1_41_2+cl1_42_2+cl1_43_2+cl1_44_2+cl1_45_2+cl1_46_2+cl1_47_2+cl1_48_2+cl1_49_2+cl1_50_2+cl1_51_2+cl1_52_2+cl1_53_2+cl1_54_2+cl1_55_2+cl1_56_2+cl1_57_2+cl1_58_2+cl1_59_2+cl1_60_2+cl1_61_2+cl1_62_2+cl1_63_2+cl1_64_2+cl1_65_2+cl1_66_2+cl1_67_2+cl1_68_2+cl1_69_2+cl1_70_2+cl1_71_2+cl1_72_2+cl1_73_2+cl1_74_2+cl1_75_2+cl1_76_2+cl1_77_2+cl1_78_2+cl1_79_2+cl1_80_2+cl1_81_2+cl1_82_2+cl1_83_2+cl1_84_2+cl1_85_2+cl1_86_2+cl1_87_2+cl1_88_2+cl1_89_2+cl1_90_2+cl1_91_2+cl1_92_2+cl1_93_2+cl1_94_2+cl1_95_2+cl1_96_2+cl1_97_2+cl1_98_2+cl1_99_2+cl1_100_2+cl1_0_3+cl1_1_3+cl1_2_3+cl1_3_3+cl1_4_3+cl1_5_3+cl1_6_3+cl1_7_3+cl1_8_3+cl1_9_3+cl1_10_3+cl1_11_3+cl1_12_3+cl1_13_3+cl1_14_3+cl1_15_3+cl1_16_3+cl1_17_3+cl1_18_3+cl1_19_3+cl1_20_3+cl1_21_3+cl1_22_3+cl1_23_3+cl1_24_3+cl1_25_3+cl1_26_3+cl1_27_3+cl1_28_3+cl1_29_3+cl1_30_3+cl1_31_3+cl1_32_3+cl1_33_3+cl1_34_3+cl1_35_3+cl1_36_3+cl1_37_3+cl1_38_3+cl1_39_3+cl1_40_3+cl1_41_3+cl1_42_3+cl1_43_3+cl1_44_3+cl1_45_3+cl1_46_3+cl1_47_3+cl1_48_3+cl1_49_3+cl1_50_3+cl1_51_3+cl1_52_3+cl1_53_3+cl1_54_3+cl1_55_3+cl1_56_3+cl1_57_3+cl1_58_3+cl1_59_3+cl1_60_3+cl1_61_3+cl1_62_3+cl1_63_3+cl1_64_3+cl1_65_3+cl1_66_3+cl1_67_3+cl1_68_3+cl1_69_3+cl1_70_3+cl1_71_3+cl1_72_3+cl1_73_3+cl1_74_3+cl1_75_3+cl1_76_3+cl1_77_3+cl1_78_3+cl1_79_3+cl1_80_3+cl1_81_3+cl1_82_3+cl1_83_3+cl1_84_3+cl1_85_3+cl1_86_3+cl1_87_3+cl1_88_3+cl1_89_3+cl1_90_3+cl1_91_3+cl1_92_3+cl1_93_3+cl1_94_3+cl1_95_3+cl1_96_3+cl1_97_3+cl1_98_3+cl1_99_3+cl1_100_3+cl1_0_4+cl1_1_4+cl1_2_4+cl1_3_4+cl1_4_4+cl1_5_4+cl1_6_4+cl1_7_4+cl1_8_4+cl1_9_4+cl1_10_4+cl1_11_4+cl1_12_4+cl1_13_4+cl1_14_4+cl1_15_4+cl1_16_4+cl1_17_4+cl1_18_4+cl1_19_4+cl1_20_4+cl1_21_4+cl1_22_4+cl1_23_4+cl1_24_4+cl1_25_4+cl1_26_4+cl1_27_4+cl1_28_4+cl1_29_4+cl1_30_4+cl1_31_4+cl1_32_4+cl1_33_4+cl1_34_4+cl1_35_4+cl1_36_4+cl1_37_4+cl1_38_4+cl1_39_4+cl1_40_4+cl1_41_4+cl1_42_4+cl1_43_4+cl1_44_4+cl1_45_4+cl1_46_4+cl1_47_4+cl1_48_4+cl1_49_4+cl1_50_4+cl1_51_4+cl1_52_4+cl1_53_4+cl1_54_4+cl1_55_4+cl1_56_4+cl1_57_4+cl1_58_4+cl1_59_4+cl1_60_4+cl1_61_4+cl1_62_4+cl1_63_4+cl1_64_4+cl1_65_4+cl1_66_4+cl1_67_4+cl1_68_4+cl1_69_4+cl1_70_4+cl1_71_4+cl1_72_4+cl1_73_4+cl1_74_4+cl1_75_4+cl1_76_4+cl1_77_4+cl1_78_4+cl1_79_4+cl1_80_4+cl1_81_4+cl1_82_4+cl1_83_4+cl1_84_4+cl1_85_4+cl1_86_4+cl1_87_4+cl1_88_4+cl1_89_4+cl1_90_4+cl1_91_4+cl1_92_4+cl1_93_4+cl1_94_4+cl1_95_4+cl1_96_4+cl1_97_4+cl1_98_4+cl1_99_4+cl1_100_4+cl1_0_5+cl1_1_5+cl1_2_5+cl1_3_5+cl1_4_5+cl1_5_5+cl1_6_5+cl1_7_5+cl1_8_5+cl1_9_5+cl1_10_5+cl1_11_5+cl1_12_5+cl1_13_5+cl1_14_5+cl1_15_5+cl1_16_5+cl1_17_5+cl1_18_5+cl1_19_5+cl1_20_5+cl1_21_5+cl1_22_5+cl1_23_5+cl1_24_5+cl1_25_5+cl1_26_5+cl1_27_5+cl1_28_5+cl1_29_5+cl1_30_5+cl1_31_5+cl1_32_5+cl1_33_5+cl1_34_5+cl1_35_5+cl1_36_5+cl1_37_5+cl1_38_5+cl1_39_5+cl1_40_5+cl1_41_5+cl1_42_5+cl1_43_5+cl1_44_5+cl1_45_5+cl1_46_5+cl1_47_5+cl1_48_5+cl1_49_5+cl1_50_5+cl1_51_5+cl1_52_5+cl1_53_5+cl1_54_5+cl1_55_5+cl1_56_5+cl1_57_5+cl1_58_5+cl1_59_5+cl1_60_5+cl1_61_5+cl1_62_5+cl1_63_5+cl1_64_5+cl1_65_5+cl1_66_5+cl1_67_5+cl1_68_5+cl1_69_5+cl1_70_5+cl1_71_5+cl1_72_5+cl1_73_5+cl1_74_5+cl1_75_5+cl1_76_5+cl1_77_5+cl1_78_5+cl1_79_5+cl1_80_5+cl1_81_5+cl1_82_5+cl1_83_5+cl1_84_5+cl1_85_5+cl1_86_5+cl1_87_5+cl1_88_5+cl1_89_5+cl1_90_5+cl1_91_5+cl1_92_5+cl1_93_5+cl1_94_5+cl1_95_5+cl1_96_5+cl1_97_5+cl1_98_5+cl1_99_5+cl1_100_5
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-03 with value :m4_0_0+m4_1_0+m4_2_0+m4_3_0+m4_4_0+m4_5_0+m4_6_0+m4_7_0+m4_8_0+m4_9_0+m4_10_0+m4_11_0+m4_12_0+m4_13_0+m4_14_0+m4_15_0+m4_16_0+m4_17_0+m4_18_0+m4_19_0+m4_20_0+m4_21_0+m4_22_0+m4_23_0+m4_24_0+m4_25_0+m4_26_0+m4_27_0+m4_28_0+m4_29_0+m4_30_0+m4_31_0+m4_32_0+m4_33_0+m4_34_0+m4_35_0+m4_36_0+m4_37_0+m4_38_0+m4_39_0+m4_40_0+m4_41_0+m4_42_0+m4_43_0+m4_44_0+m4_45_0+m4_46_0+m4_47_0+m4_48_0+m4_49_0+m4_50_0+m4_51_0+m4_52_0+m4_53_0+m4_54_0+m4_55_0+m4_56_0+m4_57_0+m4_58_0+m4_59_0+m4_60_0+m4_61_0+m4_62_0+m4_63_0+m4_64_0+m4_65_0+m4_66_0+m4_67_0+m4_68_0+m4_69_0+m4_70_0+m4_71_0+m4_72_0+m4_73_0+m4_74_0+m4_75_0+m4_76_0+m4_77_0+m4_78_0+m4_79_0+m4_80_0+m4_81_0+m4_82_0+m4_83_0+m4_84_0+m4_85_0+m4_86_0+m4_87_0+m4_88_0+m4_89_0+m4_90_0+m4_91_0+m4_92_0+m4_93_0+m4_94_0+m4_95_0+m4_96_0+m4_97_0+m4_98_0+m4_99_0+m4_100_0+m4_0_1+m4_1_1+m4_2_1+m4_3_1+m4_4_1+m4_5_1+m4_6_1+m4_7_1+m4_8_1+m4_9_1+m4_10_1+m4_11_1+m4_12_1+m4_13_1+m4_14_1+m4_15_1+m4_16_1+m4_17_1+m4_18_1+m4_19_1+m4_20_1+m4_21_1+m4_22_1+m4_23_1+m4_24_1+m4_25_1+m4_26_1+m4_27_1+m4_28_1+m4_29_1+m4_30_1+m4_31_1+m4_32_1+m4_33_1+m4_34_1+m4_35_1+m4_36_1+m4_37_1+m4_38_1+m4_39_1+m4_40_1+m4_41_1+m4_42_1+m4_43_1+m4_44_1+m4_45_1+m4_46_1+m4_47_1+m4_48_1+m4_49_1+m4_50_1+m4_51_1+m4_52_1+m4_53_1+m4_54_1+m4_55_1+m4_56_1+m4_57_1+m4_58_1+m4_59_1+m4_60_1+m4_61_1+m4_62_1+m4_63_1+m4_64_1+m4_65_1+m4_66_1+m4_67_1+m4_68_1+m4_69_1+m4_70_1+m4_71_1+m4_72_1+m4_73_1+m4_74_1+m4_75_1+m4_76_1+m4_77_1+m4_78_1+m4_79_1+m4_80_1+m4_81_1+m4_82_1+m4_83_1+m4_84_1+m4_85_1+m4_86_1+m4_87_1+m4_88_1+m4_89_1+m4_90_1+m4_91_1+m4_92_1+m4_93_1+m4_94_1+m4_95_1+m4_96_1+m4_97_1+m4_98_1+m4_99_1+m4_100_1+m4_0_2+m4_1_2+m4_2_2+m4_3_2+m4_4_2+m4_5_2+m4_6_2+m4_7_2+m4_8_2+m4_9_2+m4_10_2+m4_11_2+m4_12_2+m4_13_2+m4_14_2+m4_15_2+m4_16_2+m4_17_2+m4_18_2+m4_19_2+m4_20_2+m4_21_2+m4_22_2+m4_23_2+m4_24_2+m4_25_2+m4_26_2+m4_27_2+m4_28_2+m4_29_2+m4_30_2+m4_31_2+m4_32_2+m4_33_2+m4_34_2+m4_35_2+m4_36_2+m4_37_2+m4_38_2+m4_39_2+m4_40_2+m4_41_2+m4_42_2+m4_43_2+m4_44_2+m4_45_2+m4_46_2+m4_47_2+m4_48_2+m4_49_2+m4_50_2+m4_51_2+m4_52_2+m4_53_2+m4_54_2+m4_55_2+m4_56_2+m4_57_2+m4_58_2+m4_59_2+m4_60_2+m4_61_2+m4_62_2+m4_63_2+m4_64_2+m4_65_2+m4_66_2+m4_67_2+m4_68_2+m4_69_2+m4_70_2+m4_71_2+m4_72_2+m4_73_2+m4_74_2+m4_75_2+m4_76_2+m4_77_2+m4_78_2+m4_79_2+m4_80_2+m4_81_2+m4_82_2+m4_83_2+m4_84_2+m4_85_2+m4_86_2+m4_87_2+m4_88_2+m4_89_2+m4_90_2+m4_91_2+m4_92_2+m4_93_2+m4_94_2+m4_95_2+m4_96_2+m4_97_2+m4_98_2+m4_99_2+m4_100_2+m4_0_3+m4_1_3+m4_2_3+m4_3_3+m4_4_3+m4_5_3+m4_6_3+m4_7_3+m4_8_3+m4_9_3+m4_10_3+m4_11_3+m4_12_3+m4_13_3+m4_14_3+m4_15_3+m4_16_3+m4_17_3+m4_18_3+m4_19_3+m4_20_3+m4_21_3+m4_22_3+m4_23_3+m4_24_3+m4_25_3+m4_26_3+m4_27_3+m4_28_3+m4_29_3+m4_30_3+m4_31_3+m4_32_3+m4_33_3+m4_34_3+m4_35_3+m4_36_3+m4_37_3+m4_38_3+m4_39_3+m4_40_3+m4_41_3+m4_42_3+m4_43_3+m4_44_3+m4_45_3+m4_46_3+m4_47_3+m4_48_3+m4_49_3+m4_50_3+m4_51_3+m4_52_3+m4_53_3+m4_54_3+m4_55_3+m4_56_3+m4_57_3+m4_58_3+m4_59_3+m4_60_3+m4_61_3+m4_62_3+m4_63_3+m4_64_3+m4_65_3+m4_66_3+m4_67_3+m4_68_3+m4_69_3+m4_70_3+m4_71_3+m4_72_3+m4_73_3+m4_74_3+m4_75_3+m4_76_3+m4_77_3+m4_78_3+m4_79_3+m4_80_3+m4_81_3+m4_82_3+m4_83_3+m4_84_3+m4_85_3+m4_86_3+m4_87_3+m4_88_3+m4_89_3+m4_90_3+m4_91_3+m4_92_3+m4_93_3+m4_94_3+m4_95_3+m4_96_3+m4_97_3+m4_98_3+m4_99_3+m4_100_3+m4_0_4+m4_1_4+m4_2_4+m4_3_4+m4_4_4+m4_5_4+m4_6_4+m4_7_4+m4_8_4+m4_9_4+m4_10_4+m4_11_4+m4_12_4+m4_13_4+m4_14_4+m4_15_4+m4_16_4+m4_17_4+m4_18_4+m4_19_4+m4_20_4+m4_21_4+m4_22_4+m4_23_4+m4_24_4+m4_25_4+m4_26_4+m4_27_4+m4_28_4+m4_29_4+m4_30_4+m4_31_4+m4_32_4+m4_33_4+m4_34_4+m4_35_4+m4_36_4+m4_37_4+m4_38_4+m4_39_4+m4_40_4+m4_41_4+m4_42_4+m4_43_4+m4_44_4+m4_45_4+m4_46_4+m4_47_4+m4_48_4+m4_49_4+m4_50_4+m4_51_4+m4_52_4+m4_53_4+m4_54_4+m4_55_4+m4_56_4+m4_57_4+m4_58_4+m4_59_4+m4_60_4+m4_61_4+m4_62_4+m4_63_4+m4_64_4+m4_65_4+m4_66_4+m4_67_4+m4_68_4+m4_69_4+m4_70_4+m4_71_4+m4_72_4+m4_73_4+m4_74_4+m4_75_4+m4_76_4+m4_77_4+m4_78_4+m4_79_4+m4_80_4+m4_81_4+m4_82_4+m4_83_4+m4_84_4+m4_85_4+m4_86_4+m4_87_4+m4_88_4+m4_89_4+m4_90_4+m4_91_4+m4_92_4+m4_93_4+m4_94_4+m4_95_4+m4_96_4+m4_97_4+m4_98_4+m4_99_4+m4_100_4+m4_0_5+m4_1_5+m4_2_5+m4_3_5+m4_4_5+m4_5_5+m4_6_5+m4_7_5+m4_8_5+m4_9_5+m4_10_5+m4_11_5+m4_12_5+m4_13_5+m4_14_5+m4_15_5+m4_16_5+m4_17_5+m4_18_5+m4_19_5+m4_20_5+m4_21_5+m4_22_5+m4_23_5+m4_24_5+m4_25_5+m4_26_5+m4_27_5+m4_28_5+m4_29_5+m4_30_5+m4_31_5+m4_32_5+m4_33_5+m4_34_5+m4_35_5+m4_36_5+m4_37_5+m4_38_5+m4_39_5+m4_40_5+m4_41_5+m4_42_5+m4_43_5+m4_44_5+m4_45_5+m4_46_5+m4_47_5+m4_48_5+m4_49_5+m4_50_5+m4_51_5+m4_52_5+m4_53_5+m4_54_5+m4_55_5+m4_56_5+m4_57_5+m4_58_5+m4_59_5+m4_60_5+m4_61_5+m4_62_5+m4_63_5+m4_64_5+m4_65_5+m4_66_5+m4_67_5+m4_68_5+m4_69_5+m4_70_5+m4_71_5+m4_72_5+m4_73_5+m4_74_5+m4_75_5+m4_76_5+m4_77_5+m4_78_5+m4_79_5+m4_80_5+m4_81_5+m4_82_5+m4_83_5+m4_84_5+m4_85_5+m4_86_5+m4_87_5+m4_88_5+m4_89_5+m4_90_5+m4_91_5+m4_92_5+m4_93_5+m4_94_5+m4_95_5+m4_96_5+m4_97_5+m4_98_5+m4_99_5+m4_100_5+m4_0_6+m4_1_6+m4_2_6+m4_3_6+m4_4_6+m4_5_6+m4_6_6+m4_7_6+m4_8_6+m4_9_6+m4_10_6+m4_11_6+m4_12_6+m4_13_6+m4_14_6+m4_15_6+m4_16_6+m4_17_6+m4_18_6+m4_19_6+m4_20_6+m4_21_6+m4_22_6+m4_23_6+m4_24_6+m4_25_6+m4_26_6+m4_27_6+m4_28_6+m4_29_6+m4_30_6+m4_31_6+m4_32_6+m4_33_6+m4_34_6+m4_35_6+m4_36_6+m4_37_6+m4_38_6+m4_39_6+m4_40_6+m4_41_6+m4_42_6+m4_43_6+m4_44_6+m4_45_6+m4_46_6+m4_47_6+m4_48_6+m4_49_6+m4_50_6+m4_51_6+m4_52_6+m4_53_6+m4_54_6+m4_55_6+m4_56_6+m4_57_6+m4_58_6+m4_59_6+m4_60_6+m4_61_6+m4_62_6+m4_63_6+m4_64_6+m4_65_6+m4_66_6+m4_67_6+m4_68_6+m4_69_6+m4_70_6+m4_71_6+m4_72_6+m4_73_6+m4_74_6+m4_75_6+m4_76_6+m4_77_6+m4_78_6+m4_79_6+m4_80_6+m4_81_6+m4_82_6+m4_83_6+m4_84_6+m4_85_6+m4_86_6+m4_87_6+m4_88_6+m4_89_6+m4_90_6+m4_91_6+m4_92_6+m4_93_6+m4_94_6+m4_95_6+m4_96_6+m4_97_6+m4_98_6+m4_99_6+m4_100_6+m4_0_7+m4_1_7+m4_2_7+m4_3_7+m4_4_7+m4_5_7+m4_6_7+m4_7_7+m4_8_7+m4_9_7+m4_10_7+m4_11_7+m4_12_7+m4_13_7+m4_14_7+m4_15_7+m4_16_7+m4_17_7+m4_18_7+m4_19_7+m4_20_7+m4_21_7+m4_22_7+m4_23_7+m4_24_7+m4_25_7+m4_26_7+m4_27_7+m4_28_7+m4_29_7+m4_30_7+m4_31_7+m4_32_7+m4_33_7+m4_34_7+m4_35_7+m4_36_7+m4_37_7+m4_38_7+m4_39_7+m4_40_7+m4_41_7+m4_42_7+m4_43_7+m4_44_7+m4_45_7+m4_46_7+m4_47_7+m4_48_7+m4_49_7+m4_50_7+m4_51_7+m4_52_7+m4_53_7+m4_54_7+m4_55_7+m4_56_7+m4_57_7+m4_58_7+m4_59_7+m4_60_7+m4_61_7+m4_62_7+m4_63_7+m4_64_7+m4_65_7+m4_66_7+m4_67_7+m4_68_7+m4_69_7+m4_70_7+m4_71_7+m4_72_7+m4_73_7+m4_74_7+m4_75_7+m4_76_7+m4_77_7+m4_78_7+m4_79_7+m4_80_7+m4_81_7+m4_82_7+m4_83_7+m4_84_7+m4_85_7+m4_86_7+m4_87_7+m4_88_7+m4_89_7+m4_90_7+m4_91_7+m4_92_7+m4_93_7+m4_94_7+m4_95_7+m4_96_7+m4_97_7+m4_98_7+m4_99_7+m4_100_7+m4_0_8+m4_1_8+m4_2_8+m4_3_8+m4_4_8+m4_5_8+m4_6_8+m4_7_8+m4_8_8+m4_9_8+m4_10_8+m4_11_8+m4_12_8+m4_13_8+m4_14_8+m4_15_8+m4_16_8+m4_17_8+m4_18_8+m4_19_8+m4_20_8+m4_21_8+m4_22_8+m4_23_8+m4_24_8+m4_25_8+m4_26_8+m4_27_8+m4_28_8+m4_29_8+m4_30_8+m4_31_8+m4_32_8+m4_33_8+m4_34_8+m4_35_8+m4_36_8+m4_37_8+m4_38_8+m4_39_8+m4_40_8+m4_41_8+m4_42_8+m4_43_8+m4_44_8+m4_45_8+m4_46_8+m4_47_8+m4_48_8+m4_49_8+m4_50_8+m4_51_8+m4_52_8+m4_53_8+m4_54_8+m4_55_8+m4_56_8+m4_57_8+m4_58_8+m4_59_8+m4_60_8+m4_61_8+m4_62_8+m4_63_8+m4_64_8+m4_65_8+m4_66_8+m4_67_8+m4_68_8+m4_69_8+m4_70_8+m4_71_8+m4_72_8+m4_73_8+m4_74_8+m4_75_8+m4_76_8+m4_77_8+m4_78_8+m4_79_8+m4_80_8+m4_81_8+m4_82_8+m4_83_8+m4_84_8+m4_85_8+m4_86_8+m4_87_8+m4_88_8+m4_89_8+m4_90_8+m4_91_8+m4_92_8+m4_93_8+m4_94_8+m4_95_8+m4_96_8+m4_97_8+m4_98_8+m4_99_8+m4_100_8+m4_0_9+m4_1_9+m4_2_9+m4_3_9+m4_4_9+m4_5_9+m4_6_9+m4_7_9+m4_8_9+m4_9_9+m4_10_9+m4_11_9+m4_12_9+m4_13_9+m4_14_9+m4_15_9+m4_16_9+m4_17_9+m4_18_9+m4_19_9+m4_20_9+m4_21_9+m4_22_9+m4_23_9+m4_24_9+m4_25_9+m4_26_9+m4_27_9+m4_28_9+m4_29_9+m4_30_9+m4_31_9+m4_32_9+m4_33_9+m4_34_9+m4_35_9+m4_36_9+m4_37_9+m4_38_9+m4_39_9+m4_40_9+m4_41_9+m4_42_9+m4_43_9+m4_44_9+m4_45_9+m4_46_9+m4_47_9+m4_48_9+m4_49_9+m4_50_9+m4_51_9+m4_52_9+m4_53_9+m4_54_9+m4_55_9+m4_56_9+m4_57_9+m4_58_9+m4_59_9+m4_60_9+m4_61_9+m4_62_9+m4_63_9+m4_64_9+m4_65_9+m4_66_9+m4_67_9+m4_68_9+m4_69_9+m4_70_9+m4_71_9+m4_72_9+m4_73_9+m4_74_9+m4_75_9+m4_76_9+m4_77_9+m4_78_9+m4_79_9+m4_80_9+m4_81_9+m4_82_9+m4_83_9+m4_84_9+m4_85_9+m4_86_9+m4_87_9+m4_88_9+m4_89_9+m4_90_9+m4_91_9+m4_92_9+m4_93_9+m4_94_9+m4_95_9+m4_96_9+m4_97_9+m4_98_9+m4_99_9+m4_100_9+m4_0_10+m4_1_10+m4_2_10+m4_3_10+m4_4_10+m4_5_10+m4_6_10+m4_7_10+m4_8_10+m4_9_10+m4_10_10+m4_11_10+m4_12_10+m4_13_10+m4_14_10+m4_15_10+m4_16_10+m4_17_10+m4_18_10+m4_19_10+m4_20_10+m4_21_10+m4_22_10+m4_23_10+m4_24_10+m4_25_10+m4_26_10+m4_27_10+m4_28_10+m4_29_10+m4_30_10+m4_31_10+m4_32_10+m4_33_10+m4_34_10+m4_35_10+m4_36_10+m4_37_10+m4_38_10+m4_39_10+m4_40_10+m4_41_10+m4_42_10+m4_43_10+m4_44_10+m4_45_10+m4_46_10+m4_47_10+m4_48_10+m4_49_10+m4_50_10+m4_51_10+m4_52_10+m4_53_10+m4_54_10+m4_55_10+m4_56_10+m4_57_10+m4_58_10+m4_59_10+m4_60_10+m4_61_10+m4_62_10+m4_63_10+m4_64_10+m4_65_10+m4_66_10+m4_67_10+m4_68_10+m4_69_10+m4_70_10+m4_71_10+m4_72_10+m4_73_10+m4_74_10+m4_75_10+m4_76_10+m4_77_10+m4_78_10+m4_79_10+m4_80_10+m4_81_10+m4_82_10+m4_83_10+m4_84_10+m4_85_10+m4_86_10+m4_87_10+m4_88_10+m4_89_10+m4_90_10+m4_91_10+m4_92_10+m4_93_10+m4_94_10+m4_95_10+m4_96_10+m4_97_10+m4_98_10+m4_99_10+m4_100_10
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-04 with value :l20_0+l20_1+l20_2+l20_3+l20_4+l20_5+l20_6+l20_7+l20_8+l20_9+l20_10+l20_11+l20_12+l20_13+l20_14+l20_15+l20_16+l20_17+l20_18+l20_19+l20_20+l20_21+l20_22+l20_23+l20_24+l20_25+l20_26+l20_27+l20_28+l20_29+l20_30+l20_31+l20_32+l20_33+l20_34+l20_35+l20_36+l20_37+l20_38+l20_39+l20_40+l20_41+l20_42+l20_43+l20_44+l20_45+l20_46+l20_47+l20_48+l20_49+l20_50+l20_51+l20_52+l20_53+l20_54+l20_55+l20_56+l20_57+l20_58+l20_59+l20_60+l20_61+l20_62+l20_63+l20_64+l20_65+l20_66+l20_67+l20_68+l20_69+l20_70+l20_71+l20_72+l20_73+l20_74+l20_75+l20_76+l20_77+l20_78+l20_79+l20_80+l20_81+l20_82+l20_83+l20_84+l20_85+l20_86+l20_87+l20_88+l20_89+l20_90+l20_91+l20_92+l20_93+l20_94+l20_95+l20_96+l20_97+l20_98+l20_99+l20_100
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-05 with value :gl0_0_0+gl0_1_0+gl0_2_0+gl0_3_0+gl0_4_0+gl0_5_0+gl0_6_0+gl0_7_0+gl0_8_0+gl0_9_0+gl0_10_0+gl0_11_0+gl0_12_0+gl0_13_0+gl0_14_0+gl0_15_0+gl0_16_0+gl0_17_0+gl0_18_0+gl0_19_0+gl0_20_0+gl0_21_0+gl0_22_0+gl0_23_0+gl0_24_0+gl0_25_0+gl0_26_0+gl0_27_0+gl0_28_0+gl0_29_0+gl0_30_0+gl0_31_0+gl0_32_0+gl0_33_0+gl0_34_0+gl0_35_0+gl0_36_0+gl0_37_0+gl0_38_0+gl0_39_0+gl0_40_0+gl0_41_0+gl0_42_0+gl0_43_0+gl0_44_0+gl0_45_0+gl0_46_0+gl0_47_0+gl0_48_0+gl0_49_0+gl0_50_0+gl0_51_0+gl0_52_0+gl0_53_0+gl0_54_0+gl0_55_0+gl0_56_0+gl0_57_0+gl0_58_0+gl0_59_0+gl0_60_0+gl0_61_0+gl0_62_0+gl0_63_0+gl0_64_0+gl0_65_0+gl0_66_0+gl0_67_0+gl0_68_0+gl0_69_0+gl0_70_0+gl0_71_0+gl0_72_0+gl0_73_0+gl0_74_0+gl0_75_0+gl0_76_0+gl0_77_0+gl0_78_0+gl0_79_0+gl0_80_0+gl0_81_0+gl0_82_0+gl0_83_0+gl0_84_0+gl0_85_0+gl0_86_0+gl0_87_0+gl0_88_0+gl0_89_0+gl0_90_0+gl0_91_0+gl0_92_0+gl0_93_0+gl0_94_0+gl0_95_0+gl0_96_0+gl0_97_0+gl0_98_0+gl0_99_0+gl0_100_0+gl0_0_1+gl0_1_1+gl0_2_1+gl0_3_1+gl0_4_1+gl0_5_1+gl0_6_1+gl0_7_1+gl0_8_1+gl0_9_1+gl0_10_1+gl0_11_1+gl0_12_1+gl0_13_1+gl0_14_1+gl0_15_1+gl0_16_1+gl0_17_1+gl0_18_1+gl0_19_1+gl0_20_1+gl0_21_1+gl0_22_1+gl0_23_1+gl0_24_1+gl0_25_1+gl0_26_1+gl0_27_1+gl0_28_1+gl0_29_1+gl0_30_1+gl0_31_1+gl0_32_1+gl0_33_1+gl0_34_1+gl0_35_1+gl0_36_1+gl0_37_1+gl0_38_1+gl0_39_1+gl0_40_1+gl0_41_1+gl0_42_1+gl0_43_1+gl0_44_1+gl0_45_1+gl0_46_1+gl0_47_1+gl0_48_1+gl0_49_1+gl0_50_1+gl0_51_1+gl0_52_1+gl0_53_1+gl0_54_1+gl0_55_1+gl0_56_1+gl0_57_1+gl0_58_1+gl0_59_1+gl0_60_1+gl0_61_1+gl0_62_1+gl0_63_1+gl0_64_1+gl0_65_1+gl0_66_1+gl0_67_1+gl0_68_1+gl0_69_1+gl0_70_1+gl0_71_1+gl0_72_1+gl0_73_1+gl0_74_1+gl0_75_1+gl0_76_1+gl0_77_1+gl0_78_1+gl0_79_1+gl0_80_1+gl0_81_1+gl0_82_1+gl0_83_1+gl0_84_1+gl0_85_1+gl0_86_1+gl0_87_1+gl0_88_1+gl0_89_1+gl0_90_1+gl0_91_1+gl0_92_1+gl0_93_1+gl0_94_1+gl0_95_1+gl0_96_1+gl0_97_1+gl0_98_1+gl0_99_1+gl0_100_1+gl0_0_2+gl0_1_2+gl0_2_2+gl0_3_2+gl0_4_2+gl0_5_2+gl0_6_2+gl0_7_2+gl0_8_2+gl0_9_2+gl0_10_2+gl0_11_2+gl0_12_2+gl0_13_2+gl0_14_2+gl0_15_2+gl0_16_2+gl0_17_2+gl0_18_2+gl0_19_2+gl0_20_2+gl0_21_2+gl0_22_2+gl0_23_2+gl0_24_2+gl0_25_2+gl0_26_2+gl0_27_2+gl0_28_2+gl0_29_2+gl0_30_2+gl0_31_2+gl0_32_2+gl0_33_2+gl0_34_2+gl0_35_2+gl0_36_2+gl0_37_2+gl0_38_2+gl0_39_2+gl0_40_2+gl0_41_2+gl0_42_2+gl0_43_2+gl0_44_2+gl0_45_2+gl0_46_2+gl0_47_2+gl0_48_2+gl0_49_2+gl0_50_2+gl0_51_2+gl0_52_2+gl0_53_2+gl0_54_2+gl0_55_2+gl0_56_2+gl0_57_2+gl0_58_2+gl0_59_2+gl0_60_2+gl0_61_2+gl0_62_2+gl0_63_2+gl0_64_2+gl0_65_2+gl0_66_2+gl0_67_2+gl0_68_2+gl0_69_2+gl0_70_2+gl0_71_2+gl0_72_2+gl0_73_2+gl0_74_2+gl0_75_2+gl0_76_2+gl0_77_2+gl0_78_2+gl0_79_2+gl0_80_2+gl0_81_2+gl0_82_2+gl0_83_2+gl0_84_2+gl0_85_2+gl0_86_2+gl0_87_2+gl0_88_2+gl0_89_2+gl0_90_2+gl0_91_2+gl0_92_2+gl0_93_2+gl0_94_2+gl0_95_2+gl0_96_2+gl0_97_2+gl0_98_2+gl0_99_2+gl0_100_2
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-06 with value :c6_0_0+c6_1_0+c6_2_0+c6_3_0+c6_4_0+c6_5_0+c6_6_0+c6_7_0+c6_8_0+c6_9_0+c6_10_0+c6_11_0+c6_12_0+c6_13_0+c6_14_0+c6_15_0+c6_16_0+c6_17_0+c6_18_0+c6_19_0+c6_20_0+c6_21_0+c6_22_0+c6_23_0+c6_24_0+c6_25_0+c6_26_0+c6_27_0+c6_28_0+c6_29_0+c6_30_0+c6_31_0+c6_32_0+c6_33_0+c6_34_0+c6_35_0+c6_36_0+c6_37_0+c6_38_0+c6_39_0+c6_40_0+c6_41_0+c6_42_0+c6_43_0+c6_44_0+c6_45_0+c6_46_0+c6_47_0+c6_48_0+c6_49_0+c6_50_0+c6_51_0+c6_52_0+c6_53_0+c6_54_0+c6_55_0+c6_56_0+c6_57_0+c6_58_0+c6_59_0+c6_60_0+c6_61_0+c6_62_0+c6_63_0+c6_64_0+c6_65_0+c6_66_0+c6_67_0+c6_68_0+c6_69_0+c6_70_0+c6_71_0+c6_72_0+c6_73_0+c6_74_0+c6_75_0+c6_76_0+c6_77_0+c6_78_0+c6_79_0+c6_80_0+c6_81_0+c6_82_0+c6_83_0+c6_84_0+c6_85_0+c6_86_0+c6_87_0+c6_88_0+c6_89_0+c6_90_0+c6_91_0+c6_92_0+c6_93_0+c6_94_0+c6_95_0+c6_96_0+c6_97_0+c6_98_0+c6_99_0+c6_100_0+c6_0_1+c6_1_1+c6_2_1+c6_3_1+c6_4_1+c6_5_1+c6_6_1+c6_7_1+c6_8_1+c6_9_1+c6_10_1+c6_11_1+c6_12_1+c6_13_1+c6_14_1+c6_15_1+c6_16_1+c6_17_1+c6_18_1+c6_19_1+c6_20_1+c6_21_1+c6_22_1+c6_23_1+c6_24_1+c6_25_1+c6_26_1+c6_27_1+c6_28_1+c6_29_1+c6_30_1+c6_31_1+c6_32_1+c6_33_1+c6_34_1+c6_35_1+c6_36_1+c6_37_1+c6_38_1+c6_39_1+c6_40_1+c6_41_1+c6_42_1+c6_43_1+c6_44_1+c6_45_1+c6_46_1+c6_47_1+c6_48_1+c6_49_1+c6_50_1+c6_51_1+c6_52_1+c6_53_1+c6_54_1+c6_55_1+c6_56_1+c6_57_1+c6_58_1+c6_59_1+c6_60_1+c6_61_1+c6_62_1+c6_63_1+c6_64_1+c6_65_1+c6_66_1+c6_67_1+c6_68_1+c6_69_1+c6_70_1+c6_71_1+c6_72_1+c6_73_1+c6_74_1+c6_75_1+c6_76_1+c6_77_1+c6_78_1+c6_79_1+c6_80_1+c6_81_1+c6_82_1+c6_83_1+c6_84_1+c6_85_1+c6_86_1+c6_87_1+c6_88_1+c6_89_1+c6_90_1+c6_91_1+c6_92_1+c6_93_1+c6_94_1+c6_95_1+c6_96_1+c6_97_1+c6_98_1+c6_99_1+c6_100_1+c6_0_2+c6_1_2+c6_2_2+c6_3_2+c6_4_2+c6_5_2+c6_6_2+c6_7_2+c6_8_2+c6_9_2+c6_10_2+c6_11_2+c6_12_2+c6_13_2+c6_14_2+c6_15_2+c6_16_2+c6_17_2+c6_18_2+c6_19_2+c6_20_2+c6_21_2+c6_22_2+c6_23_2+c6_24_2+c6_25_2+c6_26_2+c6_27_2+c6_28_2+c6_29_2+c6_30_2+c6_31_2+c6_32_2+c6_33_2+c6_34_2+c6_35_2+c6_36_2+c6_37_2+c6_38_2+c6_39_2+c6_40_2+c6_41_2+c6_42_2+c6_43_2+c6_44_2+c6_45_2+c6_46_2+c6_47_2+c6_48_2+c6_49_2+c6_50_2+c6_51_2+c6_52_2+c6_53_2+c6_54_2+c6_55_2+c6_56_2+c6_57_2+c6_58_2+c6_59_2+c6_60_2+c6_61_2+c6_62_2+c6_63_2+c6_64_2+c6_65_2+c6_66_2+c6_67_2+c6_68_2+c6_69_2+c6_70_2+c6_71_2+c6_72_2+c6_73_2+c6_74_2+c6_75_2+c6_76_2+c6_77_2+c6_78_2+c6_79_2+c6_80_2+c6_81_2+c6_82_2+c6_83_2+c6_84_2+c6_85_2+c6_86_2+c6_87_2+c6_88_2+c6_89_2+c6_90_2+c6_91_2+c6_92_2+c6_93_2+c6_94_2+c6_95_2+c6_96_2+c6_97_2+c6_98_2+c6_99_2+c6_100_2+c6_0_3+c6_1_3+c6_2_3+c6_3_3+c6_4_3+c6_5_3+c6_6_3+c6_7_3+c6_8_3+c6_9_3+c6_10_3+c6_11_3+c6_12_3+c6_13_3+c6_14_3+c6_15_3+c6_16_3+c6_17_3+c6_18_3+c6_19_3+c6_20_3+c6_21_3+c6_22_3+c6_23_3+c6_24_3+c6_25_3+c6_26_3+c6_27_3+c6_28_3+c6_29_3+c6_30_3+c6_31_3+c6_32_3+c6_33_3+c6_34_3+c6_35_3+c6_36_3+c6_37_3+c6_38_3+c6_39_3+c6_40_3+c6_41_3+c6_42_3+c6_43_3+c6_44_3+c6_45_3+c6_46_3+c6_47_3+c6_48_3+c6_49_3+c6_50_3+c6_51_3+c6_52_3+c6_53_3+c6_54_3+c6_55_3+c6_56_3+c6_57_3+c6_58_3+c6_59_3+c6_60_3+c6_61_3+c6_62_3+c6_63_3+c6_64_3+c6_65_3+c6_66_3+c6_67_3+c6_68_3+c6_69_3+c6_70_3+c6_71_3+c6_72_3+c6_73_3+c6_74_3+c6_75_3+c6_76_3+c6_77_3+c6_78_3+c6_79_3+c6_80_3+c6_81_3+c6_82_3+c6_83_3+c6_84_3+c6_85_3+c6_86_3+c6_87_3+c6_88_3+c6_89_3+c6_90_3+c6_91_3+c6_92_3+c6_93_3+c6_94_3+c6_95_3+c6_96_3+c6_97_3+c6_98_3+c6_99_3+c6_100_3+c6_0_4+c6_1_4+c6_2_4+c6_3_4+c6_4_4+c6_5_4+c6_6_4+c6_7_4+c6_8_4+c6_9_4+c6_10_4+c6_11_4+c6_12_4+c6_13_4+c6_14_4+c6_15_4+c6_16_4+c6_17_4+c6_18_4+c6_19_4+c6_20_4+c6_21_4+c6_22_4+c6_23_4+c6_24_4+c6_25_4+c6_26_4+c6_27_4+c6_28_4+c6_29_4+c6_30_4+c6_31_4+c6_32_4+c6_33_4+c6_34_4+c6_35_4+c6_36_4+c6_37_4+c6_38_4+c6_39_4+c6_40_4+c6_41_4+c6_42_4+c6_43_4+c6_44_4+c6_45_4+c6_46_4+c6_47_4+c6_48_4+c6_49_4+c6_50_4+c6_51_4+c6_52_4+c6_53_4+c6_54_4+c6_55_4+c6_56_4+c6_57_4+c6_58_4+c6_59_4+c6_60_4+c6_61_4+c6_62_4+c6_63_4+c6_64_4+c6_65_4+c6_66_4+c6_67_4+c6_68_4+c6_69_4+c6_70_4+c6_71_4+c6_72_4+c6_73_4+c6_74_4+c6_75_4+c6_76_4+c6_77_4+c6_78_4+c6_79_4+c6_80_4+c6_81_4+c6_82_4+c6_83_4+c6_84_4+c6_85_4+c6_86_4+c6_87_4+c6_88_4+c6_89_4+c6_90_4+c6_91_4+c6_92_4+c6_93_4+c6_94_4+c6_95_4+c6_96_4+c6_97_4+c6_98_4+c6_99_4+c6_100_4+c6_0_5+c6_1_5+c6_2_5+c6_3_5+c6_4_5+c6_5_5+c6_6_5+c6_7_5+c6_8_5+c6_9_5+c6_10_5+c6_11_5+c6_12_5+c6_13_5+c6_14_5+c6_15_5+c6_16_5+c6_17_5+c6_18_5+c6_19_5+c6_20_5+c6_21_5+c6_22_5+c6_23_5+c6_24_5+c6_25_5+c6_26_5+c6_27_5+c6_28_5+c6_29_5+c6_30_5+c6_31_5+c6_32_5+c6_33_5+c6_34_5+c6_35_5+c6_36_5+c6_37_5+c6_38_5+c6_39_5+c6_40_5+c6_41_5+c6_42_5+c6_43_5+c6_44_5+c6_45_5+c6_46_5+c6_47_5+c6_48_5+c6_49_5+c6_50_5+c6_51_5+c6_52_5+c6_53_5+c6_54_5+c6_55_5+c6_56_5+c6_57_5+c6_58_5+c6_59_5+c6_60_5+c6_61_5+c6_62_5+c6_63_5+c6_64_5+c6_65_5+c6_66_5+c6_67_5+c6_68_5+c6_69_5+c6_70_5+c6_71_5+c6_72_5+c6_73_5+c6_74_5+c6_75_5+c6_76_5+c6_77_5+c6_78_5+c6_79_5+c6_80_5+c6_81_5+c6_82_5+c6_83_5+c6_84_5+c6_85_5+c6_86_5+c6_87_5+c6_88_5+c6_89_5+c6_90_5+c6_91_5+c6_92_5+c6_93_5+c6_94_5+c6_95_5+c6_96_5+c6_97_5+c6_98_5+c6_99_5+c6_100_5
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-07 with value :l30_0+l30_1+l30_2+l30_3+l30_4+l30_5+l30_6+l30_7+l30_8+l30_9+l30_10+l30_11+l30_12+l30_13+l30_14+l30_15+l30_16+l30_17+l30_18+l30_19+l30_20+l30_21+l30_22+l30_23+l30_24+l30_25+l30_26+l30_27+l30_28+l30_29+l30_30+l30_31+l30_32+l30_33+l30_34+l30_35+l30_36+l30_37+l30_38+l30_39+l30_40+l30_41+l30_42+l30_43+l30_44+l30_45+l30_46+l30_47+l30_48+l30_49+l30_50+l30_51+l30_52+l30_53+l30_54+l30_55+l30_56+l30_57+l30_58+l30_59+l30_60+l30_61+l30_62+l30_63+l30_64+l30_65+l30_66+l30_67+l30_68+l30_69+l30_70+l30_71+l30_72+l30_73+l30_74+l30_75+l30_76+l30_77+l30_78+l30_79+l30_80+l30_81+l30_82+l30_83+l30_84+l30_85+l30_86+l30_87+l30_88+l30_89+l30_90+l30_91+l30_92+l30_93+l30_94+l30_95+l30_96+l30_97+l30_98+l30_99+l30_100
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-08 with value :l11_87
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-09 with value :l2_5_3
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-10 with value :l40_45_Y
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-11 with value :pl1_94_4
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-12 with value :m9_99_4
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-13 with value :l6_33_10
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-14 with value :l6_31_3
Read [bounds] property : FamilyReunion-PT-L00100M0010C005P005G002-UpperBounds-15 with value :ml0_3_0

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-L00100M0010C005P005G002"
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-L00100M0010C005P005G002, 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-162048900400121"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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