About the Execution of 2020-gold for FamilyReunion-COL-L00100M0010C005P005G002
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13250.468 | 3600000.00 | 3421182.00 | 153220.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2021-input.r093-tall-162048900400109.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-COL-L00100M0010C005P005G002, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r093-tall-162048900400109
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 516K
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 116K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 18K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 94K 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 3.3K Mar 28 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Mar 28 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 28 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 23 10:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 23 10:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Mar 22 18:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 22 18:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 22 09:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 22 09:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 24 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 140K 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-COL-L00100M0010C005P005G002-UpperBounds-00
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-01
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-02
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-03
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-04
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-05
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-06
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-07
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-08
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-09
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-10
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-11
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-12
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-13
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-14
FORMULA_NAME FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-15
=== Now, execution of the tool begins
BK_START 1620736115036
[2021-05-11 12:28:36] [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 12:28:36] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-11 12:28:36] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2021-05-11 12:28:37] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 645 ms
[2021-05-11 12:28:37] [INFO ] sort/places :
Response->r0,
LxM->m1,ml0,l2,m2,lm1,l3,m3,ml1,l4,lm2,m4,m5,l5,ml2,l6,lm3,m6,m7,ml3,l7,m9,m10,ml4,
CINFORMI->c2,c4,c7,c0,c1,
LxP->p1,p3,p2,p5,p4,p6,p9,pl0,pl1,
LegalResident->lm0,l12,l0,l30,l31,lc1,l1,l32,lc2,l33,lc3,l34,cg0,l35,lg0,l36,l8,l9,lm4,l38,l10,l11,l13,l16,l14,lc0,l15,l17,l18,lp0,l19,lp1,l20,l21,l22,l24,l25,l23,l28,l26,l27,l29,
LxC->c3,cl2,c5,c6,cl0,cl1,
LxR->gl1,l37,l39,l40,
GovernmentCommission->g0,g2,g4,
PublicAdminOffice->p0,p7,p8,p10,p11,
MICSystem->m0,m8,m11,
LxG->g1,gl0,g3,
[2021-05-11 12:28:37] [INFO ] Detected 5 constant HL places corresponding to 31 PT places.
[2021-05-11 12:28:37] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 40706 PT places and 36972.0 transition bindings in 43 ms.
[2021-05-11 12:28:37] [INFO ] Computed order based on color domains.
[2021-05-11 12:28:37] [INFO ] Unfolded HLPN to a Petri net with 40706 places and 36871 transitions in 182 ms.
[2021-05-11 12:28:37] [INFO ] Unfolded HLPN properties in 1 ms.
Deduced a syphon composed of 101 places in 197 ms
Reduce places removed 132 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 520 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 8 ms. (steps per millisecond=0 )
[2021-05-11 12:28:40] [INFO ] Flatten gal took : 1687 ms
[2021-05-11 12:28:41] [INFO ] Applying decomposition
[2021-05-11 12:28:42] [INFO ] Flatten gal took : 1297 ms
[2021-05-11 12:28:43] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 184 ms
[2021-05-11 12:28: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-COL-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-COL-L00100M0010C005P005G002-UpperBounds-01 with value :p3_0+p3_1+p3_2+p3_3+p3_4+p3_5+p3_6+p3_7+p3_8+p3_9+p3_10+p3_11+p3_12+p3_13+p3_14+p3_15+p3_16+p3_17+p3_18+p3_19+p3_20+p3_21+p3_22+p3_23+p3_24+p3_25+p3_26+p3_27+p3_28+p3_29+p3_30+p3_31+p3_32+p3_33+p3_34+p3_35+p3_36+p3_37+p3_38+p3_39+p3_40+p3_41+p3_42+p3_43+p3_44+p3_45+p3_46+p3_47+p3_48+p3_49+p3_50+p3_51+p3_52+p3_53+p3_54+p3_55+p3_56+p3_57+p3_58+p3_59+p3_60+p3_61+p3_62+p3_63+p3_64+p3_65+p3_66+p3_67+p3_68+p3_69+p3_70+p3_71+p3_72+p3_73+p3_74+p3_75+p3_76+p3_77+p3_78+p3_79+p3_80+p3_81+p3_82+p3_83+p3_84+p3_85+p3_86+p3_87+p3_88+p3_89+p3_90+p3_91+p3_92+p3_93+p3_94+p3_95+p3_96+p3_97+p3_98+p3_99+p3_100+p3_101+p3_102+p3_103+p3_104+p3_105+p3_106+p3_107+p3_108+p3_109+p3_110+p3_111+p3_112+p3_113+p3_114+p3_115+p3_116+p3_117+p3_118+p3_119+p3_120+p3_121+p3_122+p3_123+p3_124+p3_125+p3_126+p3_127+p3_128+p3_129+p3_130+p3_131+p3_132+p3_133+p3_134+p3_135+p3_136+p3_137+p3_138+p3_139+p3_140+p3_141+p3_142+p3_143+p3_144+p3_145+p3_146+p3_147+p3_148+p3_149+p3_150+p3_151+p3_152+p3_153+p3_154+p3_155+p3_156+p3_157+p3_158+p3_159+p3_160+p3_161+p3_162+p3_163+p3_164+p3_165+p3_166+p3_167+p3_168+p3_169+p3_170+p3_171+p3_172+p3_173+p3_174+p3_175+p3_176+p3_177+p3_178+p3_179+p3_180+p3_181+p3_182+p3_183+p3_184+p3_185+p3_186+p3_187+p3_188+p3_189+p3_190+p3_191+p3_192+p3_193+p3_194+p3_195+p3_196+p3_197+p3_198+p3_199+p3_200+p3_201+p3_202+p3_203+p3_204+p3_205+p3_206+p3_207+p3_208+p3_209+p3_210+p3_211+p3_212+p3_213+p3_214+p3_215+p3_216+p3_217+p3_218+p3_219+p3_220+p3_221+p3_222+p3_223+p3_224+p3_225+p3_226+p3_227+p3_228+p3_229+p3_230+p3_231+p3_232+p3_233+p3_234+p3_235+p3_236+p3_237+p3_238+p3_239+p3_240+p3_241+p3_242+p3_243+p3_244+p3_245+p3_246+p3_247+p3_248+p3_249+p3_250+p3_251+p3_252+p3_253+p3_254+p3_255+p3_256+p3_257+p3_258+p3_259+p3_260+p3_261+p3_262+p3_263+p3_264+p3_265+p3_266+p3_267+p3_268+p3_269+p3_270+p3_271+p3_272+p3_273+p3_274+p3_275+p3_276+p3_277+p3_278+p3_279+p3_280+p3_281+p3_282+p3_283+p3_284+p3_285+p3_286+p3_287+p3_288+p3_289+p3_290+p3_291+p3_292+p3_293+p3_294+p3_295+p3_296+p3_297+p3_298+p3_299+p3_300+p3_301+p3_302+p3_303+p3_304+p3_305+p3_306+p3_307+p3_308+p3_309+p3_310+p3_311+p3_312+p3_313+p3_314+p3_315+p3_316+p3_317+p3_318+p3_319+p3_320+p3_321+p3_322+p3_323+p3_324+p3_325+p3_326+p3_327+p3_328+p3_329+p3_330+p3_331+p3_332+p3_333+p3_334+p3_335+p3_336+p3_337+p3_338+p3_339+p3_340+p3_341+p3_342+p3_343+p3_344+p3_345+p3_346+p3_347+p3_348+p3_349+p3_350+p3_351+p3_352+p3_353+p3_354+p3_355+p3_356+p3_357+p3_358+p3_359+p3_360+p3_361+p3_362+p3_363+p3_364+p3_365+p3_366+p3_367+p3_368+p3_369+p3_370+p3_371+p3_372+p3_373+p3_374+p3_375+p3_376+p3_377+p3_378+p3_379+p3_380+p3_381+p3_382+p3_383+p3_384+p3_385+p3_386+p3_387+p3_388+p3_389+p3_390+p3_391+p3_392+p3_393+p3_394+p3_395+p3_396+p3_397+p3_398+p3_399+p3_400+p3_401+p3_402+p3_403+p3_404+p3_405+p3_406+p3_407+p3_408+p3_409+p3_410+p3_411+p3_412+p3_413+p3_414+p3_415+p3_416+p3_417+p3_418+p3_419+p3_420+p3_421+p3_422+p3_423+p3_424+p3_425+p3_426+p3_427+p3_428+p3_429+p3_430+p3_431+p3_432+p3_433+p3_434+p3_435+p3_436+p3_437+p3_438+p3_439+p3_440+p3_441+p3_442+p3_443+p3_444+p3_445+p3_446+p3_447+p3_448+p3_449+p3_450+p3_451+p3_452+p3_453+p3_454+p3_455+p3_456+p3_457+p3_458+p3_459+p3_460+p3_461+p3_462+p3_463+p3_464+p3_465+p3_466+p3_467+p3_468+p3_469+p3_470+p3_471+p3_472+p3_473+p3_474+p3_475+p3_476+p3_477+p3_478+p3_479+p3_480+p3_481+p3_482+p3_483+p3_484+p3_485+p3_486+p3_487+p3_488+p3_489+p3_490+p3_491+p3_492+p3_493+p3_494+p3_495+p3_496+p3_497+p3_498+p3_499+p3_500+p3_501+p3_502+p3_503+p3_504+p3_505+p3_506+p3_507+p3_508+p3_509+p3_510+p3_511+p3_512+p3_513+p3_514+p3_515+p3_516+p3_517+p3_518+p3_519+p3_520+p3_521+p3_522+p3_523+p3_524+p3_525+p3_526+p3_527+p3_528+p3_529+p3_530+p3_531+p3_532+p3_533+p3_534+p3_535+p3_536+p3_537+p3_538+p3_539+p3_540+p3_541+p3_542+p3_543+p3_544+p3_545+p3_546+p3_547+p3_548+p3_549+p3_550+p3_551+p3_552+p3_553+p3_554+p3_555+p3_556+p3_557+p3_558+p3_559+p3_560+p3_561+p3_562+p3_563+p3_564+p3_565+p3_566+p3_567+p3_568+p3_569+p3_570+p3_571+p3_572+p3_573+p3_574+p3_575+p3_576+p3_577+p3_578+p3_579+p3_580+p3_581+p3_582+p3_583+p3_584+p3_585+p3_586+p3_587+p3_588+p3_589+p3_590+p3_591+p3_592+p3_593+p3_594+p3_595+p3_596+p3_597+p3_598+p3_599+p3_600+p3_601+p3_602+p3_603+p3_604+p3_605
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-02 with value :cl1_0+cl1_1+cl1_2+cl1_3+cl1_4+cl1_5+cl1_6+cl1_7+cl1_8+cl1_9+cl1_10+cl1_11+cl1_12+cl1_13+cl1_14+cl1_15+cl1_16+cl1_17+cl1_18+cl1_19+cl1_20+cl1_21+cl1_22+cl1_23+cl1_24+cl1_25+cl1_26+cl1_27+cl1_28+cl1_29+cl1_30+cl1_31+cl1_32+cl1_33+cl1_34+cl1_35+cl1_36+cl1_37+cl1_38+cl1_39+cl1_40+cl1_41+cl1_42+cl1_43+cl1_44+cl1_45+cl1_46+cl1_47+cl1_48+cl1_49+cl1_50+cl1_51+cl1_52+cl1_53+cl1_54+cl1_55+cl1_56+cl1_57+cl1_58+cl1_59+cl1_60+cl1_61+cl1_62+cl1_63+cl1_64+cl1_65+cl1_66+cl1_67+cl1_68+cl1_69+cl1_70+cl1_71+cl1_72+cl1_73+cl1_74+cl1_75+cl1_76+cl1_77+cl1_78+cl1_79+cl1_80+cl1_81+cl1_82+cl1_83+cl1_84+cl1_85+cl1_86+cl1_87+cl1_88+cl1_89+cl1_90+cl1_91+cl1_92+cl1_93+cl1_94+cl1_95+cl1_96+cl1_97+cl1_98+cl1_99+cl1_100+cl1_101+cl1_102+cl1_103+cl1_104+cl1_105+cl1_106+cl1_107+cl1_108+cl1_109+cl1_110+cl1_111+cl1_112+cl1_113+cl1_114+cl1_115+cl1_116+cl1_117+cl1_118+cl1_119+cl1_120+cl1_121+cl1_122+cl1_123+cl1_124+cl1_125+cl1_126+cl1_127+cl1_128+cl1_129+cl1_130+cl1_131+cl1_132+cl1_133+cl1_134+cl1_135+cl1_136+cl1_137+cl1_138+cl1_139+cl1_140+cl1_141+cl1_142+cl1_143+cl1_144+cl1_145+cl1_146+cl1_147+cl1_148+cl1_149+cl1_150+cl1_151+cl1_152+cl1_153+cl1_154+cl1_155+cl1_156+cl1_157+cl1_158+cl1_159+cl1_160+cl1_161+cl1_162+cl1_163+cl1_164+cl1_165+cl1_166+cl1_167+cl1_168+cl1_169+cl1_170+cl1_171+cl1_172+cl1_173+cl1_174+cl1_175+cl1_176+cl1_177+cl1_178+cl1_179+cl1_180+cl1_181+cl1_182+cl1_183+cl1_184+cl1_185+cl1_186+cl1_187+cl1_188+cl1_189+cl1_190+cl1_191+cl1_192+cl1_193+cl1_194+cl1_195+cl1_196+cl1_197+cl1_198+cl1_199+cl1_200+cl1_201+cl1_202+cl1_203+cl1_204+cl1_205+cl1_206+cl1_207+cl1_208+cl1_209+cl1_210+cl1_211+cl1_212+cl1_213+cl1_214+cl1_215+cl1_216+cl1_217+cl1_218+cl1_219+cl1_220+cl1_221+cl1_222+cl1_223+cl1_224+cl1_225+cl1_226+cl1_227+cl1_228+cl1_229+cl1_230+cl1_231+cl1_232+cl1_233+cl1_234+cl1_235+cl1_236+cl1_237+cl1_238+cl1_239+cl1_240+cl1_241+cl1_242+cl1_243+cl1_244+cl1_245+cl1_246+cl1_247+cl1_248+cl1_249+cl1_250+cl1_251+cl1_252+cl1_253+cl1_254+cl1_255+cl1_256+cl1_257+cl1_258+cl1_259+cl1_260+cl1_261+cl1_262+cl1_263+cl1_264+cl1_265+cl1_266+cl1_267+cl1_268+cl1_269+cl1_270+cl1_271+cl1_272+cl1_273+cl1_274+cl1_275+cl1_276+cl1_277+cl1_278+cl1_279+cl1_280+cl1_281+cl1_282+cl1_283+cl1_284+cl1_285+cl1_286+cl1_287+cl1_288+cl1_289+cl1_290+cl1_291+cl1_292+cl1_293+cl1_294+cl1_295+cl1_296+cl1_297+cl1_298+cl1_299+cl1_300+cl1_301+cl1_302+cl1_303+cl1_304+cl1_305+cl1_306+cl1_307+cl1_308+cl1_309+cl1_310+cl1_311+cl1_312+cl1_313+cl1_314+cl1_315+cl1_316+cl1_317+cl1_318+cl1_319+cl1_320+cl1_321+cl1_322+cl1_323+cl1_324+cl1_325+cl1_326+cl1_327+cl1_328+cl1_329+cl1_330+cl1_331+cl1_332+cl1_333+cl1_334+cl1_335+cl1_336+cl1_337+cl1_338+cl1_339+cl1_340+cl1_341+cl1_342+cl1_343+cl1_344+cl1_345+cl1_346+cl1_347+cl1_348+cl1_349+cl1_350+cl1_351+cl1_352+cl1_353+cl1_354+cl1_355+cl1_356+cl1_357+cl1_358+cl1_359+cl1_360+cl1_361+cl1_362+cl1_363+cl1_364+cl1_365+cl1_366+cl1_367+cl1_368+cl1_369+cl1_370+cl1_371+cl1_372+cl1_373+cl1_374+cl1_375+cl1_376+cl1_377+cl1_378+cl1_379+cl1_380+cl1_381+cl1_382+cl1_383+cl1_384+cl1_385+cl1_386+cl1_387+cl1_388+cl1_389+cl1_390+cl1_391+cl1_392+cl1_393+cl1_394+cl1_395+cl1_396+cl1_397+cl1_398+cl1_399+cl1_400+cl1_401+cl1_402+cl1_403+cl1_404+cl1_405+cl1_406+cl1_407+cl1_408+cl1_409+cl1_410+cl1_411+cl1_412+cl1_413+cl1_414+cl1_415+cl1_416+cl1_417+cl1_418+cl1_419+cl1_420+cl1_421+cl1_422+cl1_423+cl1_424+cl1_425+cl1_426+cl1_427+cl1_428+cl1_429+cl1_430+cl1_431+cl1_432+cl1_433+cl1_434+cl1_435+cl1_436+cl1_437+cl1_438+cl1_439+cl1_440+cl1_441+cl1_442+cl1_443+cl1_444+cl1_445+cl1_446+cl1_447+cl1_448+cl1_449+cl1_450+cl1_451+cl1_452+cl1_453+cl1_454+cl1_455+cl1_456+cl1_457+cl1_458+cl1_459+cl1_460+cl1_461+cl1_462+cl1_463+cl1_464+cl1_465+cl1_466+cl1_467+cl1_468+cl1_469+cl1_470+cl1_471+cl1_472+cl1_473+cl1_474+cl1_475+cl1_476+cl1_477+cl1_478+cl1_479+cl1_480+cl1_481+cl1_482+cl1_483+cl1_484+cl1_485+cl1_486+cl1_487+cl1_488+cl1_489+cl1_490+cl1_491+cl1_492+cl1_493+cl1_494+cl1_495+cl1_496+cl1_497+cl1_498+cl1_499+cl1_500+cl1_501+cl1_502+cl1_503+cl1_504+cl1_505+cl1_506+cl1_507+cl1_508+cl1_509+cl1_510+cl1_511+cl1_512+cl1_513+cl1_514+cl1_515+cl1_516+cl1_517+cl1_518+cl1_519+cl1_520+cl1_521+cl1_522+cl1_523+cl1_524+cl1_525+cl1_526+cl1_527+cl1_528+cl1_529+cl1_530+cl1_531+cl1_532+cl1_533+cl1_534+cl1_535+cl1_536+cl1_537+cl1_538+cl1_539+cl1_540+cl1_541+cl1_542+cl1_543+cl1_544+cl1_545+cl1_546+cl1_547+cl1_548+cl1_549+cl1_550+cl1_551+cl1_552+cl1_553+cl1_554+cl1_555+cl1_556+cl1_557+cl1_558+cl1_559+cl1_560+cl1_561+cl1_562+cl1_563+cl1_564+cl1_565+cl1_566+cl1_567+cl1_568+cl1_569+cl1_570+cl1_571+cl1_572+cl1_573+cl1_574+cl1_575+cl1_576+cl1_577+cl1_578+cl1_579+cl1_580+cl1_581+cl1_582+cl1_583+cl1_584+cl1_585+cl1_586+cl1_587+cl1_588+cl1_589+cl1_590+cl1_591+cl1_592+cl1_593+cl1_594+cl1_595+cl1_596+cl1_597+cl1_598+cl1_599+cl1_600+cl1_601+cl1_602+cl1_603+cl1_604+cl1_605
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-03 with value :m4_0+m4_1+m4_2+m4_3+m4_4+m4_5+m4_6+m4_7+m4_8+m4_9+m4_10+m4_11+m4_12+m4_13+m4_14+m4_15+m4_16+m4_17+m4_18+m4_19+m4_20+m4_21+m4_22+m4_23+m4_24+m4_25+m4_26+m4_27+m4_28+m4_29+m4_30+m4_31+m4_32+m4_33+m4_34+m4_35+m4_36+m4_37+m4_38+m4_39+m4_40+m4_41+m4_42+m4_43+m4_44+m4_45+m4_46+m4_47+m4_48+m4_49+m4_50+m4_51+m4_52+m4_53+m4_54+m4_55+m4_56+m4_57+m4_58+m4_59+m4_60+m4_61+m4_62+m4_63+m4_64+m4_65+m4_66+m4_67+m4_68+m4_69+m4_70+m4_71+m4_72+m4_73+m4_74+m4_75+m4_76+m4_77+m4_78+m4_79+m4_80+m4_81+m4_82+m4_83+m4_84+m4_85+m4_86+m4_87+m4_88+m4_89+m4_90+m4_91+m4_92+m4_93+m4_94+m4_95+m4_96+m4_97+m4_98+m4_99+m4_100+m4_101+m4_102+m4_103+m4_104+m4_105+m4_106+m4_107+m4_108+m4_109+m4_110+m4_111+m4_112+m4_113+m4_114+m4_115+m4_116+m4_117+m4_118+m4_119+m4_120+m4_121+m4_122+m4_123+m4_124+m4_125+m4_126+m4_127+m4_128+m4_129+m4_130+m4_131+m4_132+m4_133+m4_134+m4_135+m4_136+m4_137+m4_138+m4_139+m4_140+m4_141+m4_142+m4_143+m4_144+m4_145+m4_146+m4_147+m4_148+m4_149+m4_150+m4_151+m4_152+m4_153+m4_154+m4_155+m4_156+m4_157+m4_158+m4_159+m4_160+m4_161+m4_162+m4_163+m4_164+m4_165+m4_166+m4_167+m4_168+m4_169+m4_170+m4_171+m4_172+m4_173+m4_174+m4_175+m4_176+m4_177+m4_178+m4_179+m4_180+m4_181+m4_182+m4_183+m4_184+m4_185+m4_186+m4_187+m4_188+m4_189+m4_190+m4_191+m4_192+m4_193+m4_194+m4_195+m4_196+m4_197+m4_198+m4_199+m4_200+m4_201+m4_202+m4_203+m4_204+m4_205+m4_206+m4_207+m4_208+m4_209+m4_210+m4_211+m4_212+m4_213+m4_214+m4_215+m4_216+m4_217+m4_218+m4_219+m4_220+m4_221+m4_222+m4_223+m4_224+m4_225+m4_226+m4_227+m4_228+m4_229+m4_230+m4_231+m4_232+m4_233+m4_234+m4_235+m4_236+m4_237+m4_238+m4_239+m4_240+m4_241+m4_242+m4_243+m4_244+m4_245+m4_246+m4_247+m4_248+m4_249+m4_250+m4_251+m4_252+m4_253+m4_254+m4_255+m4_256+m4_257+m4_258+m4_259+m4_260+m4_261+m4_262+m4_263+m4_264+m4_265+m4_266+m4_267+m4_268+m4_269+m4_270+m4_271+m4_272+m4_273+m4_274+m4_275+m4_276+m4_277+m4_278+m4_279+m4_280+m4_281+m4_282+m4_283+m4_284+m4_285+m4_286+m4_287+m4_288+m4_289+m4_290+m4_291+m4_292+m4_293+m4_294+m4_295+m4_296+m4_297+m4_298+m4_299+m4_300+m4_301+m4_302+m4_303+m4_304+m4_305+m4_306+m4_307+m4_308+m4_309+m4_310+m4_311+m4_312+m4_313+m4_314+m4_315+m4_316+m4_317+m4_318+m4_319+m4_320+m4_321+m4_322+m4_323+m4_324+m4_325+m4_326+m4_327+m4_328+m4_329+m4_330+m4_331+m4_332+m4_333+m4_334+m4_335+m4_336+m4_337+m4_338+m4_339+m4_340+m4_341+m4_342+m4_343+m4_344+m4_345+m4_346+m4_347+m4_348+m4_349+m4_350+m4_351+m4_352+m4_353+m4_354+m4_355+m4_356+m4_357+m4_358+m4_359+m4_360+m4_361+m4_362+m4_363+m4_364+m4_365+m4_366+m4_367+m4_368+m4_369+m4_370+m4_371+m4_372+m4_373+m4_374+m4_375+m4_376+m4_377+m4_378+m4_379+m4_380+m4_381+m4_382+m4_383+m4_384+m4_385+m4_386+m4_387+m4_388+m4_389+m4_390+m4_391+m4_392+m4_393+m4_394+m4_395+m4_396+m4_397+m4_398+m4_399+m4_400+m4_401+m4_402+m4_403+m4_404+m4_405+m4_406+m4_407+m4_408+m4_409+m4_410+m4_411+m4_412+m4_413+m4_414+m4_415+m4_416+m4_417+m4_418+m4_419+m4_420+m4_421+m4_422+m4_423+m4_424+m4_425+m4_426+m4_427+m4_428+m4_429+m4_430+m4_431+m4_432+m4_433+m4_434+m4_435+m4_436+m4_437+m4_438+m4_439+m4_440+m4_441+m4_442+m4_443+m4_444+m4_445+m4_446+m4_447+m4_448+m4_449+m4_450+m4_451+m4_452+m4_453+m4_454+m4_455+m4_456+m4_457+m4_458+m4_459+m4_460+m4_461+m4_462+m4_463+m4_464+m4_465+m4_466+m4_467+m4_468+m4_469+m4_470+m4_471+m4_472+m4_473+m4_474+m4_475+m4_476+m4_477+m4_478+m4_479+m4_480+m4_481+m4_482+m4_483+m4_484+m4_485+m4_486+m4_487+m4_488+m4_489+m4_490+m4_491+m4_492+m4_493+m4_494+m4_495+m4_496+m4_497+m4_498+m4_499+m4_500+m4_501+m4_502+m4_503+m4_504+m4_505+m4_506+m4_507+m4_508+m4_509+m4_510+m4_511+m4_512+m4_513+m4_514+m4_515+m4_516+m4_517+m4_518+m4_519+m4_520+m4_521+m4_522+m4_523+m4_524+m4_525+m4_526+m4_527+m4_528+m4_529+m4_530+m4_531+m4_532+m4_533+m4_534+m4_535+m4_536+m4_537+m4_538+m4_539+m4_540+m4_541+m4_542+m4_543+m4_544+m4_545+m4_546+m4_547+m4_548+m4_549+m4_550+m4_551+m4_552+m4_553+m4_554+m4_555+m4_556+m4_557+m4_558+m4_559+m4_560+m4_561+m4_562+m4_563+m4_564+m4_565+m4_566+m4_567+m4_568+m4_569+m4_570+m4_571+m4_572+m4_573+m4_574+m4_575+m4_576+m4_577+m4_578+m4_579+m4_580+m4_581+m4_582+m4_583+m4_584+m4_585+m4_586+m4_587+m4_588+m4_589+m4_590+m4_591+m4_592+m4_593+m4_594+m4_595+m4_596+m4_597+m4_598+m4_599+m4_600+m4_601+m4_602+m4_603+m4_604+m4_605+m4_606+m4_607+m4_608+m4_609+m4_610+m4_611+m4_612+m4_613+m4_614+m4_615+m4_616+m4_617+m4_618+m4_619+m4_620+m4_621+m4_622+m4_623+m4_624+m4_625+m4_626+m4_627+m4_628+m4_629+m4_630+m4_631+m4_632+m4_633+m4_634+m4_635+m4_636+m4_637+m4_638+m4_639+m4_640+m4_641+m4_642+m4_643+m4_644+m4_645+m4_646+m4_647+m4_648+m4_649+m4_650+m4_651+m4_652+m4_653+m4_654+m4_655+m4_656+m4_657+m4_658+m4_659+m4_660+m4_661+m4_662+m4_663+m4_664+m4_665+m4_666+m4_667+m4_668+m4_669+m4_670+m4_671+m4_672+m4_673+m4_674+m4_675+m4_676+m4_677+m4_678+m4_679+m4_680+m4_681+m4_682+m4_683+m4_684+m4_685+m4_686+m4_687+m4_688+m4_689+m4_690+m4_691+m4_692+m4_693+m4_694+m4_695+m4_696+m4_697+m4_698+m4_699+m4_700+m4_701+m4_702+m4_703+m4_704+m4_705+m4_706+m4_707+m4_708+m4_709+m4_710+m4_711+m4_712+m4_713+m4_714+m4_715+m4_716+m4_717+m4_718+m4_719+m4_720+m4_721+m4_722+m4_723+m4_724+m4_725+m4_726+m4_727+m4_728+m4_729+m4_730+m4_731+m4_732+m4_733+m4_734+m4_735+m4_736+m4_737+m4_738+m4_739+m4_740+m4_741+m4_742+m4_743+m4_744+m4_745+m4_746+m4_747+m4_748+m4_749+m4_750+m4_751+m4_752+m4_753+m4_754+m4_755+m4_756+m4_757+m4_758+m4_759+m4_760+m4_761+m4_762+m4_763+m4_764+m4_765+m4_766+m4_767+m4_768+m4_769+m4_770+m4_771+m4_772+m4_773+m4_774+m4_775+m4_776+m4_777+m4_778+m4_779+m4_780+m4_781+m4_782+m4_783+m4_784+m4_785+m4_786+m4_787+m4_788+m4_789+m4_790+m4_791+m4_792+m4_793+m4_794+m4_795+m4_796+m4_797+m4_798+m4_799+m4_800+m4_801+m4_802+m4_803+m4_804+m4_805+m4_806+m4_807+m4_808+m4_809+m4_810+m4_811+m4_812+m4_813+m4_814+m4_815+m4_816+m4_817+m4_818+m4_819+m4_820+m4_821+m4_822+m4_823+m4_824+m4_825+m4_826+m4_827+m4_828+m4_829+m4_830+m4_831+m4_832+m4_833+m4_834+m4_835+m4_836+m4_837+m4_838+m4_839+m4_840+m4_841+m4_842+m4_843+m4_844+m4_845+m4_846+m4_847+m4_848+m4_849+m4_850+m4_851+m4_852+m4_853+m4_854+m4_855+m4_856+m4_857+m4_858+m4_859+m4_860+m4_861+m4_862+m4_863+m4_864+m4_865+m4_866+m4_867+m4_868+m4_869+m4_870+m4_871+m4_872+m4_873+m4_874+m4_875+m4_876+m4_877+m4_878+m4_879+m4_880+m4_881+m4_882+m4_883+m4_884+m4_885+m4_886+m4_887+m4_888+m4_889+m4_890+m4_891+m4_892+m4_893+m4_894+m4_895+m4_896+m4_897+m4_898+m4_899+m4_900+m4_901+m4_902+m4_903+m4_904+m4_905+m4_906+m4_907+m4_908+m4_909+m4_910+m4_911+m4_912+m4_913+m4_914+m4_915+m4_916+m4_917+m4_918+m4_919+m4_920+m4_921+m4_922+m4_923+m4_924+m4_925+m4_926+m4_927+m4_928+m4_929+m4_930+m4_931+m4_932+m4_933+m4_934+m4_935+m4_936+m4_937+m4_938+m4_939+m4_940+m4_941+m4_942+m4_943+m4_944+m4_945+m4_946+m4_947+m4_948+m4_949+m4_950+m4_951+m4_952+m4_953+m4_954+m4_955+m4_956+m4_957+m4_958+m4_959+m4_960+m4_961+m4_962+m4_963+m4_964+m4_965+m4_966+m4_967+m4_968+m4_969+m4_970+m4_971+m4_972+m4_973+m4_974+m4_975+m4_976+m4_977+m4_978+m4_979+m4_980+m4_981+m4_982+m4_983+m4_984+m4_985+m4_986+m4_987+m4_988+m4_989+m4_990+m4_991+m4_992+m4_993+m4_994+m4_995+m4_996+m4_997+m4_998+m4_999+m4_1000+m4_1001+m4_1002+m4_1003+m4_1004+m4_1005+m4_1006+m4_1007+m4_1008+m4_1009+m4_1010+m4_1011+m4_1012+m4_1013+m4_1014+m4_1015+m4_1016+m4_1017+m4_1018+m4_1019+m4_1020+m4_1021+m4_1022+m4_1023+m4_1024+m4_1025+m4_1026+m4_1027+m4_1028+m4_1029+m4_1030+m4_1031+m4_1032+m4_1033+m4_1034+m4_1035+m4_1036+m4_1037+m4_1038+m4_1039+m4_1040+m4_1041+m4_1042+m4_1043+m4_1044+m4_1045+m4_1046+m4_1047+m4_1048+m4_1049+m4_1050+m4_1051+m4_1052+m4_1053+m4_1054+m4_1055+m4_1056+m4_1057+m4_1058+m4_1059+m4_1060+m4_1061+m4_1062+m4_1063+m4_1064+m4_1065+m4_1066+m4_1067+m4_1068+m4_1069+m4_1070+m4_1071+m4_1072+m4_1073+m4_1074+m4_1075+m4_1076+m4_1077+m4_1078+m4_1079+m4_1080+m4_1081+m4_1082+m4_1083+m4_1084+m4_1085+m4_1086+m4_1087+m4_1088+m4_1089+m4_1090+m4_1091+m4_1092+m4_1093+m4_1094+m4_1095+m4_1096+m4_1097+m4_1098+m4_1099+m4_1100+m4_1101+m4_1102+m4_1103+m4_1104+m4_1105+m4_1106+m4_1107+m4_1108+m4_1109+m4_1110
Read [bounds] property : FamilyReunion-COL-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-COL-L00100M0010C005P005G002-UpperBounds-05 with value :gl0_0+gl0_1+gl0_2+gl0_3+gl0_4+gl0_5+gl0_6+gl0_7+gl0_8+gl0_9+gl0_10+gl0_11+gl0_12+gl0_13+gl0_14+gl0_15+gl0_16+gl0_17+gl0_18+gl0_19+gl0_20+gl0_21+gl0_22+gl0_23+gl0_24+gl0_25+gl0_26+gl0_27+gl0_28+gl0_29+gl0_30+gl0_31+gl0_32+gl0_33+gl0_34+gl0_35+gl0_36+gl0_37+gl0_38+gl0_39+gl0_40+gl0_41+gl0_42+gl0_43+gl0_44+gl0_45+gl0_46+gl0_47+gl0_48+gl0_49+gl0_50+gl0_51+gl0_52+gl0_53+gl0_54+gl0_55+gl0_56+gl0_57+gl0_58+gl0_59+gl0_60+gl0_61+gl0_62+gl0_63+gl0_64+gl0_65+gl0_66+gl0_67+gl0_68+gl0_69+gl0_70+gl0_71+gl0_72+gl0_73+gl0_74+gl0_75+gl0_76+gl0_77+gl0_78+gl0_79+gl0_80+gl0_81+gl0_82+gl0_83+gl0_84+gl0_85+gl0_86+gl0_87+gl0_88+gl0_89+gl0_90+gl0_91+gl0_92+gl0_93+gl0_94+gl0_95+gl0_96+gl0_97+gl0_98+gl0_99+gl0_100+gl0_101+gl0_102+gl0_103+gl0_104+gl0_105+gl0_106+gl0_107+gl0_108+gl0_109+gl0_110+gl0_111+gl0_112+gl0_113+gl0_114+gl0_115+gl0_116+gl0_117+gl0_118+gl0_119+gl0_120+gl0_121+gl0_122+gl0_123+gl0_124+gl0_125+gl0_126+gl0_127+gl0_128+gl0_129+gl0_130+gl0_131+gl0_132+gl0_133+gl0_134+gl0_135+gl0_136+gl0_137+gl0_138+gl0_139+gl0_140+gl0_141+gl0_142+gl0_143+gl0_144+gl0_145+gl0_146+gl0_147+gl0_148+gl0_149+gl0_150+gl0_151+gl0_152+gl0_153+gl0_154+gl0_155+gl0_156+gl0_157+gl0_158+gl0_159+gl0_160+gl0_161+gl0_162+gl0_163+gl0_164+gl0_165+gl0_166+gl0_167+gl0_168+gl0_169+gl0_170+gl0_171+gl0_172+gl0_173+gl0_174+gl0_175+gl0_176+gl0_177+gl0_178+gl0_179+gl0_180+gl0_181+gl0_182+gl0_183+gl0_184+gl0_185+gl0_186+gl0_187+gl0_188+gl0_189+gl0_190+gl0_191+gl0_192+gl0_193+gl0_194+gl0_195+gl0_196+gl0_197+gl0_198+gl0_199+gl0_200+gl0_201+gl0_202+gl0_203+gl0_204+gl0_205+gl0_206+gl0_207+gl0_208+gl0_209+gl0_210+gl0_211+gl0_212+gl0_213+gl0_214+gl0_215+gl0_216+gl0_217+gl0_218+gl0_219+gl0_220+gl0_221+gl0_222+gl0_223+gl0_224+gl0_225+gl0_226+gl0_227+gl0_228+gl0_229+gl0_230+gl0_231+gl0_232+gl0_233+gl0_234+gl0_235+gl0_236+gl0_237+gl0_238+gl0_239+gl0_240+gl0_241+gl0_242+gl0_243+gl0_244+gl0_245+gl0_246+gl0_247+gl0_248+gl0_249+gl0_250+gl0_251+gl0_252+gl0_253+gl0_254+gl0_255+gl0_256+gl0_257+gl0_258+gl0_259+gl0_260+gl0_261+gl0_262+gl0_263+gl0_264+gl0_265+gl0_266+gl0_267+gl0_268+gl0_269+gl0_270+gl0_271+gl0_272+gl0_273+gl0_274+gl0_275+gl0_276+gl0_277+gl0_278+gl0_279+gl0_280+gl0_281+gl0_282+gl0_283+gl0_284+gl0_285+gl0_286+gl0_287+gl0_288+gl0_289+gl0_290+gl0_291+gl0_292+gl0_293+gl0_294+gl0_295+gl0_296+gl0_297+gl0_298+gl0_299+gl0_300+gl0_301+gl0_302
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-06 with value :c6_0+c6_1+c6_2+c6_3+c6_4+c6_5+c6_6+c6_7+c6_8+c6_9+c6_10+c6_11+c6_12+c6_13+c6_14+c6_15+c6_16+c6_17+c6_18+c6_19+c6_20+c6_21+c6_22+c6_23+c6_24+c6_25+c6_26+c6_27+c6_28+c6_29+c6_30+c6_31+c6_32+c6_33+c6_34+c6_35+c6_36+c6_37+c6_38+c6_39+c6_40+c6_41+c6_42+c6_43+c6_44+c6_45+c6_46+c6_47+c6_48+c6_49+c6_50+c6_51+c6_52+c6_53+c6_54+c6_55+c6_56+c6_57+c6_58+c6_59+c6_60+c6_61+c6_62+c6_63+c6_64+c6_65+c6_66+c6_67+c6_68+c6_69+c6_70+c6_71+c6_72+c6_73+c6_74+c6_75+c6_76+c6_77+c6_78+c6_79+c6_80+c6_81+c6_82+c6_83+c6_84+c6_85+c6_86+c6_87+c6_88+c6_89+c6_90+c6_91+c6_92+c6_93+c6_94+c6_95+c6_96+c6_97+c6_98+c6_99+c6_100+c6_101+c6_102+c6_103+c6_104+c6_105+c6_106+c6_107+c6_108+c6_109+c6_110+c6_111+c6_112+c6_113+c6_114+c6_115+c6_116+c6_117+c6_118+c6_119+c6_120+c6_121+c6_122+c6_123+c6_124+c6_125+c6_126+c6_127+c6_128+c6_129+c6_130+c6_131+c6_132+c6_133+c6_134+c6_135+c6_136+c6_137+c6_138+c6_139+c6_140+c6_141+c6_142+c6_143+c6_144+c6_145+c6_146+c6_147+c6_148+c6_149+c6_150+c6_151+c6_152+c6_153+c6_154+c6_155+c6_156+c6_157+c6_158+c6_159+c6_160+c6_161+c6_162+c6_163+c6_164+c6_165+c6_166+c6_167+c6_168+c6_169+c6_170+c6_171+c6_172+c6_173+c6_174+c6_175+c6_176+c6_177+c6_178+c6_179+c6_180+c6_181+c6_182+c6_183+c6_184+c6_185+c6_186+c6_187+c6_188+c6_189+c6_190+c6_191+c6_192+c6_193+c6_194+c6_195+c6_196+c6_197+c6_198+c6_199+c6_200+c6_201+c6_202+c6_203+c6_204+c6_205+c6_206+c6_207+c6_208+c6_209+c6_210+c6_211+c6_212+c6_213+c6_214+c6_215+c6_216+c6_217+c6_218+c6_219+c6_220+c6_221+c6_222+c6_223+c6_224+c6_225+c6_226+c6_227+c6_228+c6_229+c6_230+c6_231+c6_232+c6_233+c6_234+c6_235+c6_236+c6_237+c6_238+c6_239+c6_240+c6_241+c6_242+c6_243+c6_244+c6_245+c6_246+c6_247+c6_248+c6_249+c6_250+c6_251+c6_252+c6_253+c6_254+c6_255+c6_256+c6_257+c6_258+c6_259+c6_260+c6_261+c6_262+c6_263+c6_264+c6_265+c6_266+c6_267+c6_268+c6_269+c6_270+c6_271+c6_272+c6_273+c6_274+c6_275+c6_276+c6_277+c6_278+c6_279+c6_280+c6_281+c6_282+c6_283+c6_284+c6_285+c6_286+c6_287+c6_288+c6_289+c6_290+c6_291+c6_292+c6_293+c6_294+c6_295+c6_296+c6_297+c6_298+c6_299+c6_300+c6_301+c6_302+c6_303+c6_304+c6_305+c6_306+c6_307+c6_308+c6_309+c6_310+c6_311+c6_312+c6_313+c6_314+c6_315+c6_316+c6_317+c6_318+c6_319+c6_320+c6_321+c6_322+c6_323+c6_324+c6_325+c6_326+c6_327+c6_328+c6_329+c6_330+c6_331+c6_332+c6_333+c6_334+c6_335+c6_336+c6_337+c6_338+c6_339+c6_340+c6_341+c6_342+c6_343+c6_344+c6_345+c6_346+c6_347+c6_348+c6_349+c6_350+c6_351+c6_352+c6_353+c6_354+c6_355+c6_356+c6_357+c6_358+c6_359+c6_360+c6_361+c6_362+c6_363+c6_364+c6_365+c6_366+c6_367+c6_368+c6_369+c6_370+c6_371+c6_372+c6_373+c6_374+c6_375+c6_376+c6_377+c6_378+c6_379+c6_380+c6_381+c6_382+c6_383+c6_384+c6_385+c6_386+c6_387+c6_388+c6_389+c6_390+c6_391+c6_392+c6_393+c6_394+c6_395+c6_396+c6_397+c6_398+c6_399+c6_400+c6_401+c6_402+c6_403+c6_404+c6_405+c6_406+c6_407+c6_408+c6_409+c6_410+c6_411+c6_412+c6_413+c6_414+c6_415+c6_416+c6_417+c6_418+c6_419+c6_420+c6_421+c6_422+c6_423+c6_424+c6_425+c6_426+c6_427+c6_428+c6_429+c6_430+c6_431+c6_432+c6_433+c6_434+c6_435+c6_436+c6_437+c6_438+c6_439+c6_440+c6_441+c6_442+c6_443+c6_444+c6_445+c6_446+c6_447+c6_448+c6_449+c6_450+c6_451+c6_452+c6_453+c6_454+c6_455+c6_456+c6_457+c6_458+c6_459+c6_460+c6_461+c6_462+c6_463+c6_464+c6_465+c6_466+c6_467+c6_468+c6_469+c6_470+c6_471+c6_472+c6_473+c6_474+c6_475+c6_476+c6_477+c6_478+c6_479+c6_480+c6_481+c6_482+c6_483+c6_484+c6_485+c6_486+c6_487+c6_488+c6_489+c6_490+c6_491+c6_492+c6_493+c6_494+c6_495+c6_496+c6_497+c6_498+c6_499+c6_500+c6_501+c6_502+c6_503+c6_504+c6_505+c6_506+c6_507+c6_508+c6_509+c6_510+c6_511+c6_512+c6_513+c6_514+c6_515+c6_516+c6_517+c6_518+c6_519+c6_520+c6_521+c6_522+c6_523+c6_524+c6_525+c6_526+c6_527+c6_528+c6_529+c6_530+c6_531+c6_532+c6_533+c6_534+c6_535+c6_536+c6_537+c6_538+c6_539+c6_540+c6_541+c6_542+c6_543+c6_544+c6_545+c6_546+c6_547+c6_548+c6_549+c6_550+c6_551+c6_552+c6_553+c6_554+c6_555+c6_556+c6_557+c6_558+c6_559+c6_560+c6_561+c6_562+c6_563+c6_564+c6_565+c6_566+c6_567+c6_568+c6_569+c6_570+c6_571+c6_572+c6_573+c6_574+c6_575+c6_576+c6_577+c6_578+c6_579+c6_580+c6_581+c6_582+c6_583+c6_584+c6_585+c6_586+c6_587+c6_588+c6_589+c6_590+c6_591+c6_592+c6_593+c6_594+c6_595+c6_596+c6_597+c6_598+c6_599+c6_600+c6_601+c6_602+c6_603+c6_604+c6_605
Read [bounds] property : FamilyReunion-COL-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-COL-L00100M0010C005P005G002-UpperBounds-08 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-COL-L00100M0010C005P005G002-UpperBounds-09 with value :l12_0+l12_1+l12_2+l12_3+l12_4+l12_5+l12_6+l12_7+l12_8+l12_9+l12_10+l12_11+l12_12+l12_13+l12_14+l12_15+l12_16+l12_17+l12_18+l12_19+l12_20+l12_21+l12_22+l12_23+l12_24+l12_25+l12_26+l12_27+l12_28+l12_29+l12_30+l12_31+l12_32+l12_33+l12_34+l12_35+l12_36+l12_37+l12_38+l12_39+l12_40+l12_41+l12_42+l12_43+l12_44+l12_45+l12_46+l12_47+l12_48+l12_49+l12_50+l12_51+l12_52+l12_53+l12_54+l12_55+l12_56+l12_57+l12_58+l12_59+l12_60+l12_61+l12_62+l12_63+l12_64+l12_65+l12_66+l12_67+l12_68+l12_69+l12_70+l12_71+l12_72+l12_73+l12_74+l12_75+l12_76+l12_77+l12_78+l12_79+l12_80+l12_81+l12_82+l12_83+l12_84+l12_85+l12_86+l12_87+l12_88+l12_89+l12_90+l12_91+l12_92+l12_93+l12_94+l12_95+l12_96+l12_97+l12_98+l12_99+l12_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-10 with value :p7_0+p7_1+p7_2+p7_3+p7_4+p7_5
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-11 with value :lg0_0+lg0_1+lg0_2+lg0_3+lg0_4+lg0_5+lg0_6+lg0_7+lg0_8+lg0_9+lg0_10+lg0_11+lg0_12+lg0_13+lg0_14+lg0_15+lg0_16+lg0_17+lg0_18+lg0_19+lg0_20+lg0_21+lg0_22+lg0_23+lg0_24+lg0_25+lg0_26+lg0_27+lg0_28+lg0_29+lg0_30+lg0_31+lg0_32+lg0_33+lg0_34+lg0_35+lg0_36+lg0_37+lg0_38+lg0_39+lg0_40+lg0_41+lg0_42+lg0_43+lg0_44+lg0_45+lg0_46+lg0_47+lg0_48+lg0_49+lg0_50+lg0_51+lg0_52+lg0_53+lg0_54+lg0_55+lg0_56+lg0_57+lg0_58+lg0_59+lg0_60+lg0_61+lg0_62+lg0_63+lg0_64+lg0_65+lg0_66+lg0_67+lg0_68+lg0_69+lg0_70+lg0_71+lg0_72+lg0_73+lg0_74+lg0_75+lg0_76+lg0_77+lg0_78+lg0_79+lg0_80+lg0_81+lg0_82+lg0_83+lg0_84+lg0_85+lg0_86+lg0_87+lg0_88+lg0_89+lg0_90+lg0_91+lg0_92+lg0_93+lg0_94+lg0_95+lg0_96+lg0_97+lg0_98+lg0_99+lg0_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-12 with value :l12_0+l12_1+l12_2+l12_3+l12_4+l12_5+l12_6+l12_7+l12_8+l12_9+l12_10+l12_11+l12_12+l12_13+l12_14+l12_15+l12_16+l12_17+l12_18+l12_19+l12_20+l12_21+l12_22+l12_23+l12_24+l12_25+l12_26+l12_27+l12_28+l12_29+l12_30+l12_31+l12_32+l12_33+l12_34+l12_35+l12_36+l12_37+l12_38+l12_39+l12_40+l12_41+l12_42+l12_43+l12_44+l12_45+l12_46+l12_47+l12_48+l12_49+l12_50+l12_51+l12_52+l12_53+l12_54+l12_55+l12_56+l12_57+l12_58+l12_59+l12_60+l12_61+l12_62+l12_63+l12_64+l12_65+l12_66+l12_67+l12_68+l12_69+l12_70+l12_71+l12_72+l12_73+l12_74+l12_75+l12_76+l12_77+l12_78+l12_79+l12_80+l12_81+l12_82+l12_83+l12_84+l12_85+l12_86+l12_87+l12_88+l12_89+l12_90+l12_91+l12_92+l12_93+l12_94+l12_95+l12_96+l12_97+l12_98+l12_99+l12_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-13 with value :lp0_0+lp0_1+lp0_2+lp0_3+lp0_4+lp0_5+lp0_6+lp0_7+lp0_8+lp0_9+lp0_10+lp0_11+lp0_12+lp0_13+lp0_14+lp0_15+lp0_16+lp0_17+lp0_18+lp0_19+lp0_20+lp0_21+lp0_22+lp0_23+lp0_24+lp0_25+lp0_26+lp0_27+lp0_28+lp0_29+lp0_30+lp0_31+lp0_32+lp0_33+lp0_34+lp0_35+lp0_36+lp0_37+lp0_38+lp0_39+lp0_40+lp0_41+lp0_42+lp0_43+lp0_44+lp0_45+lp0_46+lp0_47+lp0_48+lp0_49+lp0_50+lp0_51+lp0_52+lp0_53+lp0_54+lp0_55+lp0_56+lp0_57+lp0_58+lp0_59+lp0_60+lp0_61+lp0_62+lp0_63+lp0_64+lp0_65+lp0_66+lp0_67+lp0_68+lp0_69+lp0_70+lp0_71+lp0_72+lp0_73+lp0_74+lp0_75+lp0_76+lp0_77+lp0_78+lp0_79+lp0_80+lp0_81+lp0_82+lp0_83+lp0_84+lp0_85+lp0_86+lp0_87+lp0_88+lp0_89+lp0_90+lp0_91+lp0_92+lp0_93+lp0_94+lp0_95+lp0_96+lp0_97+lp0_98+lp0_99+lp0_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-14 with value :ml2_0+ml2_1+ml2_2+ml2_3+ml2_4+ml2_5+ml2_6+ml2_7+ml2_8+ml2_9+ml2_10+ml2_11+ml2_12+ml2_13+ml2_14+ml2_15+ml2_16+ml2_17+ml2_18+ml2_19+ml2_20+ml2_21+ml2_22+ml2_23+ml2_24+ml2_25+ml2_26+ml2_27+ml2_28+ml2_29+ml2_30+ml2_31+ml2_32+ml2_33+ml2_34+ml2_35+ml2_36+ml2_37+ml2_38+ml2_39+ml2_40+ml2_41+ml2_42+ml2_43+ml2_44+ml2_45+ml2_46+ml2_47+ml2_48+ml2_49+ml2_50+ml2_51+ml2_52+ml2_53+ml2_54+ml2_55+ml2_56+ml2_57+ml2_58+ml2_59+ml2_60+ml2_61+ml2_62+ml2_63+ml2_64+ml2_65+ml2_66+ml2_67+ml2_68+ml2_69+ml2_70+ml2_71+ml2_72+ml2_73+ml2_74+ml2_75+ml2_76+ml2_77+ml2_78+ml2_79+ml2_80+ml2_81+ml2_82+ml2_83+ml2_84+ml2_85+ml2_86+ml2_87+ml2_88+ml2_89+ml2_90+ml2_91+ml2_92+ml2_93+ml2_94+ml2_95+ml2_96+ml2_97+ml2_98+ml2_99+ml2_100+ml2_101+ml2_102+ml2_103+ml2_104+ml2_105+ml2_106+ml2_107+ml2_108+ml2_109+ml2_110+ml2_111+ml2_112+ml2_113+ml2_114+ml2_115+ml2_116+ml2_117+ml2_118+ml2_119+ml2_120+ml2_121+ml2_122+ml2_123+ml2_124+ml2_125+ml2_126+ml2_127+ml2_128+ml2_129+ml2_130+ml2_131+ml2_132+ml2_133+ml2_134+ml2_135+ml2_136+ml2_137+ml2_138+ml2_139+ml2_140+ml2_141+ml2_142+ml2_143+ml2_144+ml2_145+ml2_146+ml2_147+ml2_148+ml2_149+ml2_150+ml2_151+ml2_152+ml2_153+ml2_154+ml2_155+ml2_156+ml2_157+ml2_158+ml2_159+ml2_160+ml2_161+ml2_162+ml2_163+ml2_164+ml2_165+ml2_166+ml2_167+ml2_168+ml2_169+ml2_170+ml2_171+ml2_172+ml2_173+ml2_174+ml2_175+ml2_176+ml2_177+ml2_178+ml2_179+ml2_180+ml2_181+ml2_182+ml2_183+ml2_184+ml2_185+ml2_186+ml2_187+ml2_188+ml2_189+ml2_190+ml2_191+ml2_192+ml2_193+ml2_194+ml2_195+ml2_196+ml2_197+ml2_198+ml2_199+ml2_200+ml2_201+ml2_202+ml2_203+ml2_204+ml2_205+ml2_206+ml2_207+ml2_208+ml2_209+ml2_210+ml2_211+ml2_212+ml2_213+ml2_214+ml2_215+ml2_216+ml2_217+ml2_218+ml2_219+ml2_220+ml2_221+ml2_222+ml2_223+ml2_224+ml2_225+ml2_226+ml2_227+ml2_228+ml2_229+ml2_230+ml2_231+ml2_232+ml2_233+ml2_234+ml2_235+ml2_236+ml2_237+ml2_238+ml2_239+ml2_240+ml2_241+ml2_242+ml2_243+ml2_244+ml2_245+ml2_246+ml2_247+ml2_248+ml2_249+ml2_250+ml2_251+ml2_252+ml2_253+ml2_254+ml2_255+ml2_256+ml2_257+ml2_258+ml2_259+ml2_260+ml2_261+ml2_262+ml2_263+ml2_264+ml2_265+ml2_266+ml2_267+ml2_268+ml2_269+ml2_270+ml2_271+ml2_272+ml2_273+ml2_274+ml2_275+ml2_276+ml2_277+ml2_278+ml2_279+ml2_280+ml2_281+ml2_282+ml2_283+ml2_284+ml2_285+ml2_286+ml2_287+ml2_288+ml2_289+ml2_290+ml2_291+ml2_292+ml2_293+ml2_294+ml2_295+ml2_296+ml2_297+ml2_298+ml2_299+ml2_300+ml2_301+ml2_302+ml2_303+ml2_304+ml2_305+ml2_306+ml2_307+ml2_308+ml2_309+ml2_310+ml2_311+ml2_312+ml2_313+ml2_314+ml2_315+ml2_316+ml2_317+ml2_318+ml2_319+ml2_320+ml2_321+ml2_322+ml2_323+ml2_324+ml2_325+ml2_326+ml2_327+ml2_328+ml2_329+ml2_330+ml2_331+ml2_332+ml2_333+ml2_334+ml2_335+ml2_336+ml2_337+ml2_338+ml2_339+ml2_340+ml2_341+ml2_342+ml2_343+ml2_344+ml2_345+ml2_346+ml2_347+ml2_348+ml2_349+ml2_350+ml2_351+ml2_352+ml2_353+ml2_354+ml2_355+ml2_356+ml2_357+ml2_358+ml2_359+ml2_360+ml2_361+ml2_362+ml2_363+ml2_364+ml2_365+ml2_366+ml2_367+ml2_368+ml2_369+ml2_370+ml2_371+ml2_372+ml2_373+ml2_374+ml2_375+ml2_376+ml2_377+ml2_378+ml2_379+ml2_380+ml2_381+ml2_382+ml2_383+ml2_384+ml2_385+ml2_386+ml2_387+ml2_388+ml2_389+ml2_390+ml2_391+ml2_392+ml2_393+ml2_394+ml2_395+ml2_396+ml2_397+ml2_398+ml2_399+ml2_400+ml2_401+ml2_402+ml2_403+ml2_404+ml2_405+ml2_406+ml2_407+ml2_408+ml2_409+ml2_410+ml2_411+ml2_412+ml2_413+ml2_414+ml2_415+ml2_416+ml2_417+ml2_418+ml2_419+ml2_420+ml2_421+ml2_422+ml2_423+ml2_424+ml2_425+ml2_426+ml2_427+ml2_428+ml2_429+ml2_430+ml2_431+ml2_432+ml2_433+ml2_434+ml2_435+ml2_436+ml2_437+ml2_438+ml2_439+ml2_440+ml2_441+ml2_442+ml2_443+ml2_444+ml2_445+ml2_446+ml2_447+ml2_448+ml2_449+ml2_450+ml2_451+ml2_452+ml2_453+ml2_454+ml2_455+ml2_456+ml2_457+ml2_458+ml2_459+ml2_460+ml2_461+ml2_462+ml2_463+ml2_464+ml2_465+ml2_466+ml2_467+ml2_468+ml2_469+ml2_470+ml2_471+ml2_472+ml2_473+ml2_474+ml2_475+ml2_476+ml2_477+ml2_478+ml2_479+ml2_480+ml2_481+ml2_482+ml2_483+ml2_484+ml2_485+ml2_486+ml2_487+ml2_488+ml2_489+ml2_490+ml2_491+ml2_492+ml2_493+ml2_494+ml2_495+ml2_496+ml2_497+ml2_498+ml2_499+ml2_500+ml2_501+ml2_502+ml2_503+ml2_504+ml2_505+ml2_506+ml2_507+ml2_508+ml2_509+ml2_510+ml2_511+ml2_512+ml2_513+ml2_514+ml2_515+ml2_516+ml2_517+ml2_518+ml2_519+ml2_520+ml2_521+ml2_522+ml2_523+ml2_524+ml2_525+ml2_526+ml2_527+ml2_528+ml2_529+ml2_530+ml2_531+ml2_532+ml2_533+ml2_534+ml2_535+ml2_536+ml2_537+ml2_538+ml2_539+ml2_540+ml2_541+ml2_542+ml2_543+ml2_544+ml2_545+ml2_546+ml2_547+ml2_548+ml2_549+ml2_550+ml2_551+ml2_552+ml2_553+ml2_554+ml2_555+ml2_556+ml2_557+ml2_558+ml2_559+ml2_560+ml2_561+ml2_562+ml2_563+ml2_564+ml2_565+ml2_566+ml2_567+ml2_568+ml2_569+ml2_570+ml2_571+ml2_572+ml2_573+ml2_574+ml2_575+ml2_576+ml2_577+ml2_578+ml2_579+ml2_580+ml2_581+ml2_582+ml2_583+ml2_584+ml2_585+ml2_586+ml2_587+ml2_588+ml2_589+ml2_590+ml2_591+ml2_592+ml2_593+ml2_594+ml2_595+ml2_596+ml2_597+ml2_598+ml2_599+ml2_600+ml2_601+ml2_602+ml2_603+ml2_604+ml2_605+ml2_606+ml2_607+ml2_608+ml2_609+ml2_610+ml2_611+ml2_612+ml2_613+ml2_614+ml2_615+ml2_616+ml2_617+ml2_618+ml2_619+ml2_620+ml2_621+ml2_622+ml2_623+ml2_624+ml2_625+ml2_626+ml2_627+ml2_628+ml2_629+ml2_630+ml2_631+ml2_632+ml2_633+ml2_634+ml2_635+ml2_636+ml2_637+ml2_638+ml2_639+ml2_640+ml2_641+ml2_642+ml2_643+ml2_644+ml2_645+ml2_646+ml2_647+ml2_648+ml2_649+ml2_650+ml2_651+ml2_652+ml2_653+ml2_654+ml2_655+ml2_656+ml2_657+ml2_658+ml2_659+ml2_660+ml2_661+ml2_662+ml2_663+ml2_664+ml2_665+ml2_666+ml2_667+ml2_668+ml2_669+ml2_670+ml2_671+ml2_672+ml2_673+ml2_674+ml2_675+ml2_676+ml2_677+ml2_678+ml2_679+ml2_680+ml2_681+ml2_682+ml2_683+ml2_684+ml2_685+ml2_686+ml2_687+ml2_688+ml2_689+ml2_690+ml2_691+ml2_692+ml2_693+ml2_694+ml2_695+ml2_696+ml2_697+ml2_698+ml2_699+ml2_700+ml2_701+ml2_702+ml2_703+ml2_704+ml2_705+ml2_706+ml2_707+ml2_708+ml2_709+ml2_710+ml2_711+ml2_712+ml2_713+ml2_714+ml2_715+ml2_716+ml2_717+ml2_718+ml2_719+ml2_720+ml2_721+ml2_722+ml2_723+ml2_724+ml2_725+ml2_726+ml2_727+ml2_728+ml2_729+ml2_730+ml2_731+ml2_732+ml2_733+ml2_734+ml2_735+ml2_736+ml2_737+ml2_738+ml2_739+ml2_740+ml2_741+ml2_742+ml2_743+ml2_744+ml2_745+ml2_746+ml2_747+ml2_748+ml2_749+ml2_750+ml2_751+ml2_752+ml2_753+ml2_754+ml2_755+ml2_756+ml2_757+ml2_758+ml2_759+ml2_760+ml2_761+ml2_762+ml2_763+ml2_764+ml2_765+ml2_766+ml2_767+ml2_768+ml2_769+ml2_770+ml2_771+ml2_772+ml2_773+ml2_774+ml2_775+ml2_776+ml2_777+ml2_778+ml2_779+ml2_780+ml2_781+ml2_782+ml2_783+ml2_784+ml2_785+ml2_786+ml2_787+ml2_788+ml2_789+ml2_790+ml2_791+ml2_792+ml2_793+ml2_794+ml2_795+ml2_796+ml2_797+ml2_798+ml2_799+ml2_800+ml2_801+ml2_802+ml2_803+ml2_804+ml2_805+ml2_806+ml2_807+ml2_808+ml2_809+ml2_810+ml2_811+ml2_812+ml2_813+ml2_814+ml2_815+ml2_816+ml2_817+ml2_818+ml2_819+ml2_820+ml2_821+ml2_822+ml2_823+ml2_824+ml2_825+ml2_826+ml2_827+ml2_828+ml2_829+ml2_830+ml2_831+ml2_832+ml2_833+ml2_834+ml2_835+ml2_836+ml2_837+ml2_838+ml2_839+ml2_840+ml2_841+ml2_842+ml2_843+ml2_844+ml2_845+ml2_846+ml2_847+ml2_848+ml2_849+ml2_850+ml2_851+ml2_852+ml2_853+ml2_854+ml2_855+ml2_856+ml2_857+ml2_858+ml2_859+ml2_860+ml2_861+ml2_862+ml2_863+ml2_864+ml2_865+ml2_866+ml2_867+ml2_868+ml2_869+ml2_870+ml2_871+ml2_872+ml2_873+ml2_874+ml2_875+ml2_876+ml2_877+ml2_878+ml2_879+ml2_880+ml2_881+ml2_882+ml2_883+ml2_884+ml2_885+ml2_886+ml2_887+ml2_888+ml2_889+ml2_890+ml2_891+ml2_892+ml2_893+ml2_894+ml2_895+ml2_896+ml2_897+ml2_898+ml2_899+ml2_900+ml2_901+ml2_902+ml2_903+ml2_904+ml2_905+ml2_906+ml2_907+ml2_908+ml2_909+ml2_910+ml2_911+ml2_912+ml2_913+ml2_914+ml2_915+ml2_916+ml2_917+ml2_918+ml2_919+ml2_920+ml2_921+ml2_922+ml2_923+ml2_924+ml2_925+ml2_926+ml2_927+ml2_928+ml2_929+ml2_930+ml2_931+ml2_932+ml2_933+ml2_934+ml2_935+ml2_936+ml2_937+ml2_938+ml2_939+ml2_940+ml2_941+ml2_942+ml2_943+ml2_944+ml2_945+ml2_946+ml2_947+ml2_948+ml2_949+ml2_950+ml2_951+ml2_952+ml2_953+ml2_954+ml2_955+ml2_956+ml2_957+ml2_958+ml2_959+ml2_960+ml2_961+ml2_962+ml2_963+ml2_964+ml2_965+ml2_966+ml2_967+ml2_968+ml2_969+ml2_970+ml2_971+ml2_972+ml2_973+ml2_974+ml2_975+ml2_976+ml2_977+ml2_978+ml2_979+ml2_980+ml2_981+ml2_982+ml2_983+ml2_984+ml2_985+ml2_986+ml2_987+ml2_988+ml2_989+ml2_990+ml2_991+ml2_992+ml2_993+ml2_994+ml2_995+ml2_996+ml2_997+ml2_998+ml2_999+ml2_1000+ml2_1001+ml2_1002+ml2_1003+ml2_1004+ml2_1005+ml2_1006+ml2_1007+ml2_1008+ml2_1009+ml2_1010+ml2_1011+ml2_1012+ml2_1013+ml2_1014+ml2_1015+ml2_1016+ml2_1017+ml2_1018+ml2_1019+ml2_1020+ml2_1021+ml2_1022+ml2_1023+ml2_1024+ml2_1025+ml2_1026+ml2_1027+ml2_1028+ml2_1029+ml2_1030+ml2_1031+ml2_1032+ml2_1033+ml2_1034+ml2_1035+ml2_1036+ml2_1037+ml2_1038+ml2_1039+ml2_1040+ml2_1041+ml2_1042+ml2_1043+ml2_1044+ml2_1045+ml2_1046+ml2_1047+ml2_1048+ml2_1049+ml2_1050+ml2_1051+ml2_1052+ml2_1053+ml2_1054+ml2_1055+ml2_1056+ml2_1057+ml2_1058+ml2_1059+ml2_1060+ml2_1061+ml2_1062+ml2_1063+ml2_1064+ml2_1065+ml2_1066+ml2_1067+ml2_1068+ml2_1069+ml2_1070+ml2_1071+ml2_1072+ml2_1073+ml2_1074+ml2_1075+ml2_1076+ml2_1077+ml2_1078+ml2_1079+ml2_1080+ml2_1081+ml2_1082+ml2_1083+ml2_1084+ml2_1085+ml2_1086+ml2_1087+ml2_1088+ml2_1089+ml2_1090+ml2_1091+ml2_1092+ml2_1093+ml2_1094+ml2_1095+ml2_1096+ml2_1097+ml2_1098+ml2_1099+ml2_1100+ml2_1101+ml2_1102+ml2_1103+ml2_1104+ml2_1105+ml2_1106+ml2_1107+ml2_1108+ml2_1109+ml2_1110
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-15 with value :m11_0+m11_1+m11_2+m11_3+m11_4+m11_5+m11_6+m11_7+m11_8+m11_9+m11_10
Detected timeout of ITS tools.
[2021-05-11 12:48:44] [INFO ] Applying decomposition
[2021-05-11 12:48:46] [INFO ] Flatten gal took : 1228 ms
[2021-05-11 12:48:46] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 521 ms
[2021-05-11 12:48:46] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 25 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-COL-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-COL-L00100M0010C005P005G002-UpperBounds-01 with value :p3_0+p3_1+p3_2+p3_3+p3_4+p3_5+p3_6+p3_7+p3_8+p3_9+p3_10+p3_11+p3_12+p3_13+p3_14+p3_15+p3_16+p3_17+p3_18+p3_19+p3_20+p3_21+p3_22+p3_23+p3_24+p3_25+p3_26+p3_27+p3_28+p3_29+p3_30+p3_31+p3_32+p3_33+p3_34+p3_35+p3_36+p3_37+p3_38+p3_39+p3_40+p3_41+p3_42+p3_43+p3_44+p3_45+p3_46+p3_47+p3_48+p3_49+p3_50+p3_51+p3_52+p3_53+p3_54+p3_55+p3_56+p3_57+p3_58+p3_59+p3_60+p3_61+p3_62+p3_63+p3_64+p3_65+p3_66+p3_67+p3_68+p3_69+p3_70+p3_71+p3_72+p3_73+p3_74+p3_75+p3_76+p3_77+p3_78+p3_79+p3_80+p3_81+p3_82+p3_83+p3_84+p3_85+p3_86+p3_87+p3_88+p3_89+p3_90+p3_91+p3_92+p3_93+p3_94+p3_95+p3_96+p3_97+p3_98+p3_99+p3_100+p3_101+p3_102+p3_103+p3_104+p3_105+p3_106+p3_107+p3_108+p3_109+p3_110+p3_111+p3_112+p3_113+p3_114+p3_115+p3_116+p3_117+p3_118+p3_119+p3_120+p3_121+p3_122+p3_123+p3_124+p3_125+p3_126+p3_127+p3_128+p3_129+p3_130+p3_131+p3_132+p3_133+p3_134+p3_135+p3_136+p3_137+p3_138+p3_139+p3_140+p3_141+p3_142+p3_143+p3_144+p3_145+p3_146+p3_147+p3_148+p3_149+p3_150+p3_151+p3_152+p3_153+p3_154+p3_155+p3_156+p3_157+p3_158+p3_159+p3_160+p3_161+p3_162+p3_163+p3_164+p3_165+p3_166+p3_167+p3_168+p3_169+p3_170+p3_171+p3_172+p3_173+p3_174+p3_175+p3_176+p3_177+p3_178+p3_179+p3_180+p3_181+p3_182+p3_183+p3_184+p3_185+p3_186+p3_187+p3_188+p3_189+p3_190+p3_191+p3_192+p3_193+p3_194+p3_195+p3_196+p3_197+p3_198+p3_199+p3_200+p3_201+p3_202+p3_203+p3_204+p3_205+p3_206+p3_207+p3_208+p3_209+p3_210+p3_211+p3_212+p3_213+p3_214+p3_215+p3_216+p3_217+p3_218+p3_219+p3_220+p3_221+p3_222+p3_223+p3_224+p3_225+p3_226+p3_227+p3_228+p3_229+p3_230+p3_231+p3_232+p3_233+p3_234+p3_235+p3_236+p3_237+p3_238+p3_239+p3_240+p3_241+p3_242+p3_243+p3_244+p3_245+p3_246+p3_247+p3_248+p3_249+p3_250+p3_251+p3_252+p3_253+p3_254+p3_255+p3_256+p3_257+p3_258+p3_259+p3_260+p3_261+p3_262+p3_263+p3_264+p3_265+p3_266+p3_267+p3_268+p3_269+p3_270+p3_271+p3_272+p3_273+p3_274+p3_275+p3_276+p3_277+p3_278+p3_279+p3_280+p3_281+p3_282+p3_283+p3_284+p3_285+p3_286+p3_287+p3_288+p3_289+p3_290+p3_291+p3_292+p3_293+p3_294+p3_295+p3_296+p3_297+p3_298+p3_299+p3_300+p3_301+p3_302+p3_303+p3_304+p3_305+p3_306+p3_307+p3_308+p3_309+p3_310+p3_311+p3_312+p3_313+p3_314+p3_315+p3_316+p3_317+p3_318+p3_319+p3_320+p3_321+p3_322+p3_323+p3_324+p3_325+p3_326+p3_327+p3_328+p3_329+p3_330+p3_331+p3_332+p3_333+p3_334+p3_335+p3_336+p3_337+p3_338+p3_339+p3_340+p3_341+p3_342+p3_343+p3_344+p3_345+p3_346+p3_347+p3_348+p3_349+p3_350+p3_351+p3_352+p3_353+p3_354+p3_355+p3_356+p3_357+p3_358+p3_359+p3_360+p3_361+p3_362+p3_363+p3_364+p3_365+p3_366+p3_367+p3_368+p3_369+p3_370+p3_371+p3_372+p3_373+p3_374+p3_375+p3_376+p3_377+p3_378+p3_379+p3_380+p3_381+p3_382+p3_383+p3_384+p3_385+p3_386+p3_387+p3_388+p3_389+p3_390+p3_391+p3_392+p3_393+p3_394+p3_395+p3_396+p3_397+p3_398+p3_399+p3_400+p3_401+p3_402+p3_403+p3_404+p3_405+p3_406+p3_407+p3_408+p3_409+p3_410+p3_411+p3_412+p3_413+p3_414+p3_415+p3_416+p3_417+p3_418+p3_419+p3_420+p3_421+p3_422+p3_423+p3_424+p3_425+p3_426+p3_427+p3_428+p3_429+p3_430+p3_431+p3_432+p3_433+p3_434+p3_435+p3_436+p3_437+p3_438+p3_439+p3_440+p3_441+p3_442+p3_443+p3_444+p3_445+p3_446+p3_447+p3_448+p3_449+p3_450+p3_451+p3_452+p3_453+p3_454+p3_455+p3_456+p3_457+p3_458+p3_459+p3_460+p3_461+p3_462+p3_463+p3_464+p3_465+p3_466+p3_467+p3_468+p3_469+p3_470+p3_471+p3_472+p3_473+p3_474+p3_475+p3_476+p3_477+p3_478+p3_479+p3_480+p3_481+p3_482+p3_483+p3_484+p3_485+p3_486+p3_487+p3_488+p3_489+p3_490+p3_491+p3_492+p3_493+p3_494+p3_495+p3_496+p3_497+p3_498+p3_499+p3_500+p3_501+p3_502+p3_503+p3_504+p3_505+p3_506+p3_507+p3_508+p3_509+p3_510+p3_511+p3_512+p3_513+p3_514+p3_515+p3_516+p3_517+p3_518+p3_519+p3_520+p3_521+p3_522+p3_523+p3_524+p3_525+p3_526+p3_527+p3_528+p3_529+p3_530+p3_531+p3_532+p3_533+p3_534+p3_535+p3_536+p3_537+p3_538+p3_539+p3_540+p3_541+p3_542+p3_543+p3_544+p3_545+p3_546+p3_547+p3_548+p3_549+p3_550+p3_551+p3_552+p3_553+p3_554+p3_555+p3_556+p3_557+p3_558+p3_559+p3_560+p3_561+p3_562+p3_563+p3_564+p3_565+p3_566+p3_567+p3_568+p3_569+p3_570+p3_571+p3_572+p3_573+p3_574+p3_575+p3_576+p3_577+p3_578+p3_579+p3_580+p3_581+p3_582+p3_583+p3_584+p3_585+p3_586+p3_587+p3_588+p3_589+p3_590+p3_591+p3_592+p3_593+p3_594+p3_595+p3_596+p3_597+p3_598+p3_599+p3_600+p3_601+p3_602+p3_603+p3_604+p3_605
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-02 with value :cl1_0+cl1_1+cl1_2+cl1_3+cl1_4+cl1_5+cl1_6+cl1_7+cl1_8+cl1_9+cl1_10+cl1_11+cl1_12+cl1_13+cl1_14+cl1_15+cl1_16+cl1_17+cl1_18+cl1_19+cl1_20+cl1_21+cl1_22+cl1_23+cl1_24+cl1_25+cl1_26+cl1_27+cl1_28+cl1_29+cl1_30+cl1_31+cl1_32+cl1_33+cl1_34+cl1_35+cl1_36+cl1_37+cl1_38+cl1_39+cl1_40+cl1_41+cl1_42+cl1_43+cl1_44+cl1_45+cl1_46+cl1_47+cl1_48+cl1_49+cl1_50+cl1_51+cl1_52+cl1_53+cl1_54+cl1_55+cl1_56+cl1_57+cl1_58+cl1_59+cl1_60+cl1_61+cl1_62+cl1_63+cl1_64+cl1_65+cl1_66+cl1_67+cl1_68+cl1_69+cl1_70+cl1_71+cl1_72+cl1_73+cl1_74+cl1_75+cl1_76+cl1_77+cl1_78+cl1_79+cl1_80+cl1_81+cl1_82+cl1_83+cl1_84+cl1_85+cl1_86+cl1_87+cl1_88+cl1_89+cl1_90+cl1_91+cl1_92+cl1_93+cl1_94+cl1_95+cl1_96+cl1_97+cl1_98+cl1_99+cl1_100+cl1_101+cl1_102+cl1_103+cl1_104+cl1_105+cl1_106+cl1_107+cl1_108+cl1_109+cl1_110+cl1_111+cl1_112+cl1_113+cl1_114+cl1_115+cl1_116+cl1_117+cl1_118+cl1_119+cl1_120+cl1_121+cl1_122+cl1_123+cl1_124+cl1_125+cl1_126+cl1_127+cl1_128+cl1_129+cl1_130+cl1_131+cl1_132+cl1_133+cl1_134+cl1_135+cl1_136+cl1_137+cl1_138+cl1_139+cl1_140+cl1_141+cl1_142+cl1_143+cl1_144+cl1_145+cl1_146+cl1_147+cl1_148+cl1_149+cl1_150+cl1_151+cl1_152+cl1_153+cl1_154+cl1_155+cl1_156+cl1_157+cl1_158+cl1_159+cl1_160+cl1_161+cl1_162+cl1_163+cl1_164+cl1_165+cl1_166+cl1_167+cl1_168+cl1_169+cl1_170+cl1_171+cl1_172+cl1_173+cl1_174+cl1_175+cl1_176+cl1_177+cl1_178+cl1_179+cl1_180+cl1_181+cl1_182+cl1_183+cl1_184+cl1_185+cl1_186+cl1_187+cl1_188+cl1_189+cl1_190+cl1_191+cl1_192+cl1_193+cl1_194+cl1_195+cl1_196+cl1_197+cl1_198+cl1_199+cl1_200+cl1_201+cl1_202+cl1_203+cl1_204+cl1_205+cl1_206+cl1_207+cl1_208+cl1_209+cl1_210+cl1_211+cl1_212+cl1_213+cl1_214+cl1_215+cl1_216+cl1_217+cl1_218+cl1_219+cl1_220+cl1_221+cl1_222+cl1_223+cl1_224+cl1_225+cl1_226+cl1_227+cl1_228+cl1_229+cl1_230+cl1_231+cl1_232+cl1_233+cl1_234+cl1_235+cl1_236+cl1_237+cl1_238+cl1_239+cl1_240+cl1_241+cl1_242+cl1_243+cl1_244+cl1_245+cl1_246+cl1_247+cl1_248+cl1_249+cl1_250+cl1_251+cl1_252+cl1_253+cl1_254+cl1_255+cl1_256+cl1_257+cl1_258+cl1_259+cl1_260+cl1_261+cl1_262+cl1_263+cl1_264+cl1_265+cl1_266+cl1_267+cl1_268+cl1_269+cl1_270+cl1_271+cl1_272+cl1_273+cl1_274+cl1_275+cl1_276+cl1_277+cl1_278+cl1_279+cl1_280+cl1_281+cl1_282+cl1_283+cl1_284+cl1_285+cl1_286+cl1_287+cl1_288+cl1_289+cl1_290+cl1_291+cl1_292+cl1_293+cl1_294+cl1_295+cl1_296+cl1_297+cl1_298+cl1_299+cl1_300+cl1_301+cl1_302+cl1_303+cl1_304+cl1_305+cl1_306+cl1_307+cl1_308+cl1_309+cl1_310+cl1_311+cl1_312+cl1_313+cl1_314+cl1_315+cl1_316+cl1_317+cl1_318+cl1_319+cl1_320+cl1_321+cl1_322+cl1_323+cl1_324+cl1_325+cl1_326+cl1_327+cl1_328+cl1_329+cl1_330+cl1_331+cl1_332+cl1_333+cl1_334+cl1_335+cl1_336+cl1_337+cl1_338+cl1_339+cl1_340+cl1_341+cl1_342+cl1_343+cl1_344+cl1_345+cl1_346+cl1_347+cl1_348+cl1_349+cl1_350+cl1_351+cl1_352+cl1_353+cl1_354+cl1_355+cl1_356+cl1_357+cl1_358+cl1_359+cl1_360+cl1_361+cl1_362+cl1_363+cl1_364+cl1_365+cl1_366+cl1_367+cl1_368+cl1_369+cl1_370+cl1_371+cl1_372+cl1_373+cl1_374+cl1_375+cl1_376+cl1_377+cl1_378+cl1_379+cl1_380+cl1_381+cl1_382+cl1_383+cl1_384+cl1_385+cl1_386+cl1_387+cl1_388+cl1_389+cl1_390+cl1_391+cl1_392+cl1_393+cl1_394+cl1_395+cl1_396+cl1_397+cl1_398+cl1_399+cl1_400+cl1_401+cl1_402+cl1_403+cl1_404+cl1_405+cl1_406+cl1_407+cl1_408+cl1_409+cl1_410+cl1_411+cl1_412+cl1_413+cl1_414+cl1_415+cl1_416+cl1_417+cl1_418+cl1_419+cl1_420+cl1_421+cl1_422+cl1_423+cl1_424+cl1_425+cl1_426+cl1_427+cl1_428+cl1_429+cl1_430+cl1_431+cl1_432+cl1_433+cl1_434+cl1_435+cl1_436+cl1_437+cl1_438+cl1_439+cl1_440+cl1_441+cl1_442+cl1_443+cl1_444+cl1_445+cl1_446+cl1_447+cl1_448+cl1_449+cl1_450+cl1_451+cl1_452+cl1_453+cl1_454+cl1_455+cl1_456+cl1_457+cl1_458+cl1_459+cl1_460+cl1_461+cl1_462+cl1_463+cl1_464+cl1_465+cl1_466+cl1_467+cl1_468+cl1_469+cl1_470+cl1_471+cl1_472+cl1_473+cl1_474+cl1_475+cl1_476+cl1_477+cl1_478+cl1_479+cl1_480+cl1_481+cl1_482+cl1_483+cl1_484+cl1_485+cl1_486+cl1_487+cl1_488+cl1_489+cl1_490+cl1_491+cl1_492+cl1_493+cl1_494+cl1_495+cl1_496+cl1_497+cl1_498+cl1_499+cl1_500+cl1_501+cl1_502+cl1_503+cl1_504+cl1_505+cl1_506+cl1_507+cl1_508+cl1_509+cl1_510+cl1_511+cl1_512+cl1_513+cl1_514+cl1_515+cl1_516+cl1_517+cl1_518+cl1_519+cl1_520+cl1_521+cl1_522+cl1_523+cl1_524+cl1_525+cl1_526+cl1_527+cl1_528+cl1_529+cl1_530+cl1_531+cl1_532+cl1_533+cl1_534+cl1_535+cl1_536+cl1_537+cl1_538+cl1_539+cl1_540+cl1_541+cl1_542+cl1_543+cl1_544+cl1_545+cl1_546+cl1_547+cl1_548+cl1_549+cl1_550+cl1_551+cl1_552+cl1_553+cl1_554+cl1_555+cl1_556+cl1_557+cl1_558+cl1_559+cl1_560+cl1_561+cl1_562+cl1_563+cl1_564+cl1_565+cl1_566+cl1_567+cl1_568+cl1_569+cl1_570+cl1_571+cl1_572+cl1_573+cl1_574+cl1_575+cl1_576+cl1_577+cl1_578+cl1_579+cl1_580+cl1_581+cl1_582+cl1_583+cl1_584+cl1_585+cl1_586+cl1_587+cl1_588+cl1_589+cl1_590+cl1_591+cl1_592+cl1_593+cl1_594+cl1_595+cl1_596+cl1_597+cl1_598+cl1_599+cl1_600+cl1_601+cl1_602+cl1_603+cl1_604+cl1_605
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-03 with value :m4_0+m4_1+m4_2+m4_3+m4_4+m4_5+m4_6+m4_7+m4_8+m4_9+m4_10+m4_11+m4_12+m4_13+m4_14+m4_15+m4_16+m4_17+m4_18+m4_19+m4_20+m4_21+m4_22+m4_23+m4_24+m4_25+m4_26+m4_27+m4_28+m4_29+m4_30+m4_31+m4_32+m4_33+m4_34+m4_35+m4_36+m4_37+m4_38+m4_39+m4_40+m4_41+m4_42+m4_43+m4_44+m4_45+m4_46+m4_47+m4_48+m4_49+m4_50+m4_51+m4_52+m4_53+m4_54+m4_55+m4_56+m4_57+m4_58+m4_59+m4_60+m4_61+m4_62+m4_63+m4_64+m4_65+m4_66+m4_67+m4_68+m4_69+m4_70+m4_71+m4_72+m4_73+m4_74+m4_75+m4_76+m4_77+m4_78+m4_79+m4_80+m4_81+m4_82+m4_83+m4_84+m4_85+m4_86+m4_87+m4_88+m4_89+m4_90+m4_91+m4_92+m4_93+m4_94+m4_95+m4_96+m4_97+m4_98+m4_99+m4_100+m4_101+m4_102+m4_103+m4_104+m4_105+m4_106+m4_107+m4_108+m4_109+m4_110+m4_111+m4_112+m4_113+m4_114+m4_115+m4_116+m4_117+m4_118+m4_119+m4_120+m4_121+m4_122+m4_123+m4_124+m4_125+m4_126+m4_127+m4_128+m4_129+m4_130+m4_131+m4_132+m4_133+m4_134+m4_135+m4_136+m4_137+m4_138+m4_139+m4_140+m4_141+m4_142+m4_143+m4_144+m4_145+m4_146+m4_147+m4_148+m4_149+m4_150+m4_151+m4_152+m4_153+m4_154+m4_155+m4_156+m4_157+m4_158+m4_159+m4_160+m4_161+m4_162+m4_163+m4_164+m4_165+m4_166+m4_167+m4_168+m4_169+m4_170+m4_171+m4_172+m4_173+m4_174+m4_175+m4_176+m4_177+m4_178+m4_179+m4_180+m4_181+m4_182+m4_183+m4_184+m4_185+m4_186+m4_187+m4_188+m4_189+m4_190+m4_191+m4_192+m4_193+m4_194+m4_195+m4_196+m4_197+m4_198+m4_199+m4_200+m4_201+m4_202+m4_203+m4_204+m4_205+m4_206+m4_207+m4_208+m4_209+m4_210+m4_211+m4_212+m4_213+m4_214+m4_215+m4_216+m4_217+m4_218+m4_219+m4_220+m4_221+m4_222+m4_223+m4_224+m4_225+m4_226+m4_227+m4_228+m4_229+m4_230+m4_231+m4_232+m4_233+m4_234+m4_235+m4_236+m4_237+m4_238+m4_239+m4_240+m4_241+m4_242+m4_243+m4_244+m4_245+m4_246+m4_247+m4_248+m4_249+m4_250+m4_251+m4_252+m4_253+m4_254+m4_255+m4_256+m4_257+m4_258+m4_259+m4_260+m4_261+m4_262+m4_263+m4_264+m4_265+m4_266+m4_267+m4_268+m4_269+m4_270+m4_271+m4_272+m4_273+m4_274+m4_275+m4_276+m4_277+m4_278+m4_279+m4_280+m4_281+m4_282+m4_283+m4_284+m4_285+m4_286+m4_287+m4_288+m4_289+m4_290+m4_291+m4_292+m4_293+m4_294+m4_295+m4_296+m4_297+m4_298+m4_299+m4_300+m4_301+m4_302+m4_303+m4_304+m4_305+m4_306+m4_307+m4_308+m4_309+m4_310+m4_311+m4_312+m4_313+m4_314+m4_315+m4_316+m4_317+m4_318+m4_319+m4_320+m4_321+m4_322+m4_323+m4_324+m4_325+m4_326+m4_327+m4_328+m4_329+m4_330+m4_331+m4_332+m4_333+m4_334+m4_335+m4_336+m4_337+m4_338+m4_339+m4_340+m4_341+m4_342+m4_343+m4_344+m4_345+m4_346+m4_347+m4_348+m4_349+m4_350+m4_351+m4_352+m4_353+m4_354+m4_355+m4_356+m4_357+m4_358+m4_359+m4_360+m4_361+m4_362+m4_363+m4_364+m4_365+m4_366+m4_367+m4_368+m4_369+m4_370+m4_371+m4_372+m4_373+m4_374+m4_375+m4_376+m4_377+m4_378+m4_379+m4_380+m4_381+m4_382+m4_383+m4_384+m4_385+m4_386+m4_387+m4_388+m4_389+m4_390+m4_391+m4_392+m4_393+m4_394+m4_395+m4_396+m4_397+m4_398+m4_399+m4_400+m4_401+m4_402+m4_403+m4_404+m4_405+m4_406+m4_407+m4_408+m4_409+m4_410+m4_411+m4_412+m4_413+m4_414+m4_415+m4_416+m4_417+m4_418+m4_419+m4_420+m4_421+m4_422+m4_423+m4_424+m4_425+m4_426+m4_427+m4_428+m4_429+m4_430+m4_431+m4_432+m4_433+m4_434+m4_435+m4_436+m4_437+m4_438+m4_439+m4_440+m4_441+m4_442+m4_443+m4_444+m4_445+m4_446+m4_447+m4_448+m4_449+m4_450+m4_451+m4_452+m4_453+m4_454+m4_455+m4_456+m4_457+m4_458+m4_459+m4_460+m4_461+m4_462+m4_463+m4_464+m4_465+m4_466+m4_467+m4_468+m4_469+m4_470+m4_471+m4_472+m4_473+m4_474+m4_475+m4_476+m4_477+m4_478+m4_479+m4_480+m4_481+m4_482+m4_483+m4_484+m4_485+m4_486+m4_487+m4_488+m4_489+m4_490+m4_491+m4_492+m4_493+m4_494+m4_495+m4_496+m4_497+m4_498+m4_499+m4_500+m4_501+m4_502+m4_503+m4_504+m4_505+m4_506+m4_507+m4_508+m4_509+m4_510+m4_511+m4_512+m4_513+m4_514+m4_515+m4_516+m4_517+m4_518+m4_519+m4_520+m4_521+m4_522+m4_523+m4_524+m4_525+m4_526+m4_527+m4_528+m4_529+m4_530+m4_531+m4_532+m4_533+m4_534+m4_535+m4_536+m4_537+m4_538+m4_539+m4_540+m4_541+m4_542+m4_543+m4_544+m4_545+m4_546+m4_547+m4_548+m4_549+m4_550+m4_551+m4_552+m4_553+m4_554+m4_555+m4_556+m4_557+m4_558+m4_559+m4_560+m4_561+m4_562+m4_563+m4_564+m4_565+m4_566+m4_567+m4_568+m4_569+m4_570+m4_571+m4_572+m4_573+m4_574+m4_575+m4_576+m4_577+m4_578+m4_579+m4_580+m4_581+m4_582+m4_583+m4_584+m4_585+m4_586+m4_587+m4_588+m4_589+m4_590+m4_591+m4_592+m4_593+m4_594+m4_595+m4_596+m4_597+m4_598+m4_599+m4_600+m4_601+m4_602+m4_603+m4_604+m4_605+m4_606+m4_607+m4_608+m4_609+m4_610+m4_611+m4_612+m4_613+m4_614+m4_615+m4_616+m4_617+m4_618+m4_619+m4_620+m4_621+m4_622+m4_623+m4_624+m4_625+m4_626+m4_627+m4_628+m4_629+m4_630+m4_631+m4_632+m4_633+m4_634+m4_635+m4_636+m4_637+m4_638+m4_639+m4_640+m4_641+m4_642+m4_643+m4_644+m4_645+m4_646+m4_647+m4_648+m4_649+m4_650+m4_651+m4_652+m4_653+m4_654+m4_655+m4_656+m4_657+m4_658+m4_659+m4_660+m4_661+m4_662+m4_663+m4_664+m4_665+m4_666+m4_667+m4_668+m4_669+m4_670+m4_671+m4_672+m4_673+m4_674+m4_675+m4_676+m4_677+m4_678+m4_679+m4_680+m4_681+m4_682+m4_683+m4_684+m4_685+m4_686+m4_687+m4_688+m4_689+m4_690+m4_691+m4_692+m4_693+m4_694+m4_695+m4_696+m4_697+m4_698+m4_699+m4_700+m4_701+m4_702+m4_703+m4_704+m4_705+m4_706+m4_707+m4_708+m4_709+m4_710+m4_711+m4_712+m4_713+m4_714+m4_715+m4_716+m4_717+m4_718+m4_719+m4_720+m4_721+m4_722+m4_723+m4_724+m4_725+m4_726+m4_727+m4_728+m4_729+m4_730+m4_731+m4_732+m4_733+m4_734+m4_735+m4_736+m4_737+m4_738+m4_739+m4_740+m4_741+m4_742+m4_743+m4_744+m4_745+m4_746+m4_747+m4_748+m4_749+m4_750+m4_751+m4_752+m4_753+m4_754+m4_755+m4_756+m4_757+m4_758+m4_759+m4_760+m4_761+m4_762+m4_763+m4_764+m4_765+m4_766+m4_767+m4_768+m4_769+m4_770+m4_771+m4_772+m4_773+m4_774+m4_775+m4_776+m4_777+m4_778+m4_779+m4_780+m4_781+m4_782+m4_783+m4_784+m4_785+m4_786+m4_787+m4_788+m4_789+m4_790+m4_791+m4_792+m4_793+m4_794+m4_795+m4_796+m4_797+m4_798+m4_799+m4_800+m4_801+m4_802+m4_803+m4_804+m4_805+m4_806+m4_807+m4_808+m4_809+m4_810+m4_811+m4_812+m4_813+m4_814+m4_815+m4_816+m4_817+m4_818+m4_819+m4_820+m4_821+m4_822+m4_823+m4_824+m4_825+m4_826+m4_827+m4_828+m4_829+m4_830+m4_831+m4_832+m4_833+m4_834+m4_835+m4_836+m4_837+m4_838+m4_839+m4_840+m4_841+m4_842+m4_843+m4_844+m4_845+m4_846+m4_847+m4_848+m4_849+m4_850+m4_851+m4_852+m4_853+m4_854+m4_855+m4_856+m4_857+m4_858+m4_859+m4_860+m4_861+m4_862+m4_863+m4_864+m4_865+m4_866+m4_867+m4_868+m4_869+m4_870+m4_871+m4_872+m4_873+m4_874+m4_875+m4_876+m4_877+m4_878+m4_879+m4_880+m4_881+m4_882+m4_883+m4_884+m4_885+m4_886+m4_887+m4_888+m4_889+m4_890+m4_891+m4_892+m4_893+m4_894+m4_895+m4_896+m4_897+m4_898+m4_899+m4_900+m4_901+m4_902+m4_903+m4_904+m4_905+m4_906+m4_907+m4_908+m4_909+m4_910+m4_911+m4_912+m4_913+m4_914+m4_915+m4_916+m4_917+m4_918+m4_919+m4_920+m4_921+m4_922+m4_923+m4_924+m4_925+m4_926+m4_927+m4_928+m4_929+m4_930+m4_931+m4_932+m4_933+m4_934+m4_935+m4_936+m4_937+m4_938+m4_939+m4_940+m4_941+m4_942+m4_943+m4_944+m4_945+m4_946+m4_947+m4_948+m4_949+m4_950+m4_951+m4_952+m4_953+m4_954+m4_955+m4_956+m4_957+m4_958+m4_959+m4_960+m4_961+m4_962+m4_963+m4_964+m4_965+m4_966+m4_967+m4_968+m4_969+m4_970+m4_971+m4_972+m4_973+m4_974+m4_975+m4_976+m4_977+m4_978+m4_979+m4_980+m4_981+m4_982+m4_983+m4_984+m4_985+m4_986+m4_987+m4_988+m4_989+m4_990+m4_991+m4_992+m4_993+m4_994+m4_995+m4_996+m4_997+m4_998+m4_999+m4_1000+m4_1001+m4_1002+m4_1003+m4_1004+m4_1005+m4_1006+m4_1007+m4_1008+m4_1009+m4_1010+m4_1011+m4_1012+m4_1013+m4_1014+m4_1015+m4_1016+m4_1017+m4_1018+m4_1019+m4_1020+m4_1021+m4_1022+m4_1023+m4_1024+m4_1025+m4_1026+m4_1027+m4_1028+m4_1029+m4_1030+m4_1031+m4_1032+m4_1033+m4_1034+m4_1035+m4_1036+m4_1037+m4_1038+m4_1039+m4_1040+m4_1041+m4_1042+m4_1043+m4_1044+m4_1045+m4_1046+m4_1047+m4_1048+m4_1049+m4_1050+m4_1051+m4_1052+m4_1053+m4_1054+m4_1055+m4_1056+m4_1057+m4_1058+m4_1059+m4_1060+m4_1061+m4_1062+m4_1063+m4_1064+m4_1065+m4_1066+m4_1067+m4_1068+m4_1069+m4_1070+m4_1071+m4_1072+m4_1073+m4_1074+m4_1075+m4_1076+m4_1077+m4_1078+m4_1079+m4_1080+m4_1081+m4_1082+m4_1083+m4_1084+m4_1085+m4_1086+m4_1087+m4_1088+m4_1089+m4_1090+m4_1091+m4_1092+m4_1093+m4_1094+m4_1095+m4_1096+m4_1097+m4_1098+m4_1099+m4_1100+m4_1101+m4_1102+m4_1103+m4_1104+m4_1105+m4_1106+m4_1107+m4_1108+m4_1109+m4_1110
Read [bounds] property : FamilyReunion-COL-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-COL-L00100M0010C005P005G002-UpperBounds-05 with value :gl0_0+gl0_1+gl0_2+gl0_3+gl0_4+gl0_5+gl0_6+gl0_7+gl0_8+gl0_9+gl0_10+gl0_11+gl0_12+gl0_13+gl0_14+gl0_15+gl0_16+gl0_17+gl0_18+gl0_19+gl0_20+gl0_21+gl0_22+gl0_23+gl0_24+gl0_25+gl0_26+gl0_27+gl0_28+gl0_29+gl0_30+gl0_31+gl0_32+gl0_33+gl0_34+gl0_35+gl0_36+gl0_37+gl0_38+gl0_39+gl0_40+gl0_41+gl0_42+gl0_43+gl0_44+gl0_45+gl0_46+gl0_47+gl0_48+gl0_49+gl0_50+gl0_51+gl0_52+gl0_53+gl0_54+gl0_55+gl0_56+gl0_57+gl0_58+gl0_59+gl0_60+gl0_61+gl0_62+gl0_63+gl0_64+gl0_65+gl0_66+gl0_67+gl0_68+gl0_69+gl0_70+gl0_71+gl0_72+gl0_73+gl0_74+gl0_75+gl0_76+gl0_77+gl0_78+gl0_79+gl0_80+gl0_81+gl0_82+gl0_83+gl0_84+gl0_85+gl0_86+gl0_87+gl0_88+gl0_89+gl0_90+gl0_91+gl0_92+gl0_93+gl0_94+gl0_95+gl0_96+gl0_97+gl0_98+gl0_99+gl0_100+gl0_101+gl0_102+gl0_103+gl0_104+gl0_105+gl0_106+gl0_107+gl0_108+gl0_109+gl0_110+gl0_111+gl0_112+gl0_113+gl0_114+gl0_115+gl0_116+gl0_117+gl0_118+gl0_119+gl0_120+gl0_121+gl0_122+gl0_123+gl0_124+gl0_125+gl0_126+gl0_127+gl0_128+gl0_129+gl0_130+gl0_131+gl0_132+gl0_133+gl0_134+gl0_135+gl0_136+gl0_137+gl0_138+gl0_139+gl0_140+gl0_141+gl0_142+gl0_143+gl0_144+gl0_145+gl0_146+gl0_147+gl0_148+gl0_149+gl0_150+gl0_151+gl0_152+gl0_153+gl0_154+gl0_155+gl0_156+gl0_157+gl0_158+gl0_159+gl0_160+gl0_161+gl0_162+gl0_163+gl0_164+gl0_165+gl0_166+gl0_167+gl0_168+gl0_169+gl0_170+gl0_171+gl0_172+gl0_173+gl0_174+gl0_175+gl0_176+gl0_177+gl0_178+gl0_179+gl0_180+gl0_181+gl0_182+gl0_183+gl0_184+gl0_185+gl0_186+gl0_187+gl0_188+gl0_189+gl0_190+gl0_191+gl0_192+gl0_193+gl0_194+gl0_195+gl0_196+gl0_197+gl0_198+gl0_199+gl0_200+gl0_201+gl0_202+gl0_203+gl0_204+gl0_205+gl0_206+gl0_207+gl0_208+gl0_209+gl0_210+gl0_211+gl0_212+gl0_213+gl0_214+gl0_215+gl0_216+gl0_217+gl0_218+gl0_219+gl0_220+gl0_221+gl0_222+gl0_223+gl0_224+gl0_225+gl0_226+gl0_227+gl0_228+gl0_229+gl0_230+gl0_231+gl0_232+gl0_233+gl0_234+gl0_235+gl0_236+gl0_237+gl0_238+gl0_239+gl0_240+gl0_241+gl0_242+gl0_243+gl0_244+gl0_245+gl0_246+gl0_247+gl0_248+gl0_249+gl0_250+gl0_251+gl0_252+gl0_253+gl0_254+gl0_255+gl0_256+gl0_257+gl0_258+gl0_259+gl0_260+gl0_261+gl0_262+gl0_263+gl0_264+gl0_265+gl0_266+gl0_267+gl0_268+gl0_269+gl0_270+gl0_271+gl0_272+gl0_273+gl0_274+gl0_275+gl0_276+gl0_277+gl0_278+gl0_279+gl0_280+gl0_281+gl0_282+gl0_283+gl0_284+gl0_285+gl0_286+gl0_287+gl0_288+gl0_289+gl0_290+gl0_291+gl0_292+gl0_293+gl0_294+gl0_295+gl0_296+gl0_297+gl0_298+gl0_299+gl0_300+gl0_301+gl0_302
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-06 with value :c6_0+c6_1+c6_2+c6_3+c6_4+c6_5+c6_6+c6_7+c6_8+c6_9+c6_10+c6_11+c6_12+c6_13+c6_14+c6_15+c6_16+c6_17+c6_18+c6_19+c6_20+c6_21+c6_22+c6_23+c6_24+c6_25+c6_26+c6_27+c6_28+c6_29+c6_30+c6_31+c6_32+c6_33+c6_34+c6_35+c6_36+c6_37+c6_38+c6_39+c6_40+c6_41+c6_42+c6_43+c6_44+c6_45+c6_46+c6_47+c6_48+c6_49+c6_50+c6_51+c6_52+c6_53+c6_54+c6_55+c6_56+c6_57+c6_58+c6_59+c6_60+c6_61+c6_62+c6_63+c6_64+c6_65+c6_66+c6_67+c6_68+c6_69+c6_70+c6_71+c6_72+c6_73+c6_74+c6_75+c6_76+c6_77+c6_78+c6_79+c6_80+c6_81+c6_82+c6_83+c6_84+c6_85+c6_86+c6_87+c6_88+c6_89+c6_90+c6_91+c6_92+c6_93+c6_94+c6_95+c6_96+c6_97+c6_98+c6_99+c6_100+c6_101+c6_102+c6_103+c6_104+c6_105+c6_106+c6_107+c6_108+c6_109+c6_110+c6_111+c6_112+c6_113+c6_114+c6_115+c6_116+c6_117+c6_118+c6_119+c6_120+c6_121+c6_122+c6_123+c6_124+c6_125+c6_126+c6_127+c6_128+c6_129+c6_130+c6_131+c6_132+c6_133+c6_134+c6_135+c6_136+c6_137+c6_138+c6_139+c6_140+c6_141+c6_142+c6_143+c6_144+c6_145+c6_146+c6_147+c6_148+c6_149+c6_150+c6_151+c6_152+c6_153+c6_154+c6_155+c6_156+c6_157+c6_158+c6_159+c6_160+c6_161+c6_162+c6_163+c6_164+c6_165+c6_166+c6_167+c6_168+c6_169+c6_170+c6_171+c6_172+c6_173+c6_174+c6_175+c6_176+c6_177+c6_178+c6_179+c6_180+c6_181+c6_182+c6_183+c6_184+c6_185+c6_186+c6_187+c6_188+c6_189+c6_190+c6_191+c6_192+c6_193+c6_194+c6_195+c6_196+c6_197+c6_198+c6_199+c6_200+c6_201+c6_202+c6_203+c6_204+c6_205+c6_206+c6_207+c6_208+c6_209+c6_210+c6_211+c6_212+c6_213+c6_214+c6_215+c6_216+c6_217+c6_218+c6_219+c6_220+c6_221+c6_222+c6_223+c6_224+c6_225+c6_226+c6_227+c6_228+c6_229+c6_230+c6_231+c6_232+c6_233+c6_234+c6_235+c6_236+c6_237+c6_238+c6_239+c6_240+c6_241+c6_242+c6_243+c6_244+c6_245+c6_246+c6_247+c6_248+c6_249+c6_250+c6_251+c6_252+c6_253+c6_254+c6_255+c6_256+c6_257+c6_258+c6_259+c6_260+c6_261+c6_262+c6_263+c6_264+c6_265+c6_266+c6_267+c6_268+c6_269+c6_270+c6_271+c6_272+c6_273+c6_274+c6_275+c6_276+c6_277+c6_278+c6_279+c6_280+c6_281+c6_282+c6_283+c6_284+c6_285+c6_286+c6_287+c6_288+c6_289+c6_290+c6_291+c6_292+c6_293+c6_294+c6_295+c6_296+c6_297+c6_298+c6_299+c6_300+c6_301+c6_302+c6_303+c6_304+c6_305+c6_306+c6_307+c6_308+c6_309+c6_310+c6_311+c6_312+c6_313+c6_314+c6_315+c6_316+c6_317+c6_318+c6_319+c6_320+c6_321+c6_322+c6_323+c6_324+c6_325+c6_326+c6_327+c6_328+c6_329+c6_330+c6_331+c6_332+c6_333+c6_334+c6_335+c6_336+c6_337+c6_338+c6_339+c6_340+c6_341+c6_342+c6_343+c6_344+c6_345+c6_346+c6_347+c6_348+c6_349+c6_350+c6_351+c6_352+c6_353+c6_354+c6_355+c6_356+c6_357+c6_358+c6_359+c6_360+c6_361+c6_362+c6_363+c6_364+c6_365+c6_366+c6_367+c6_368+c6_369+c6_370+c6_371+c6_372+c6_373+c6_374+c6_375+c6_376+c6_377+c6_378+c6_379+c6_380+c6_381+c6_382+c6_383+c6_384+c6_385+c6_386+c6_387+c6_388+c6_389+c6_390+c6_391+c6_392+c6_393+c6_394+c6_395+c6_396+c6_397+c6_398+c6_399+c6_400+c6_401+c6_402+c6_403+c6_404+c6_405+c6_406+c6_407+c6_408+c6_409+c6_410+c6_411+c6_412+c6_413+c6_414+c6_415+c6_416+c6_417+c6_418+c6_419+c6_420+c6_421+c6_422+c6_423+c6_424+c6_425+c6_426+c6_427+c6_428+c6_429+c6_430+c6_431+c6_432+c6_433+c6_434+c6_435+c6_436+c6_437+c6_438+c6_439+c6_440+c6_441+c6_442+c6_443+c6_444+c6_445+c6_446+c6_447+c6_448+c6_449+c6_450+c6_451+c6_452+c6_453+c6_454+c6_455+c6_456+c6_457+c6_458+c6_459+c6_460+c6_461+c6_462+c6_463+c6_464+c6_465+c6_466+c6_467+c6_468+c6_469+c6_470+c6_471+c6_472+c6_473+c6_474+c6_475+c6_476+c6_477+c6_478+c6_479+c6_480+c6_481+c6_482+c6_483+c6_484+c6_485+c6_486+c6_487+c6_488+c6_489+c6_490+c6_491+c6_492+c6_493+c6_494+c6_495+c6_496+c6_497+c6_498+c6_499+c6_500+c6_501+c6_502+c6_503+c6_504+c6_505+c6_506+c6_507+c6_508+c6_509+c6_510+c6_511+c6_512+c6_513+c6_514+c6_515+c6_516+c6_517+c6_518+c6_519+c6_520+c6_521+c6_522+c6_523+c6_524+c6_525+c6_526+c6_527+c6_528+c6_529+c6_530+c6_531+c6_532+c6_533+c6_534+c6_535+c6_536+c6_537+c6_538+c6_539+c6_540+c6_541+c6_542+c6_543+c6_544+c6_545+c6_546+c6_547+c6_548+c6_549+c6_550+c6_551+c6_552+c6_553+c6_554+c6_555+c6_556+c6_557+c6_558+c6_559+c6_560+c6_561+c6_562+c6_563+c6_564+c6_565+c6_566+c6_567+c6_568+c6_569+c6_570+c6_571+c6_572+c6_573+c6_574+c6_575+c6_576+c6_577+c6_578+c6_579+c6_580+c6_581+c6_582+c6_583+c6_584+c6_585+c6_586+c6_587+c6_588+c6_589+c6_590+c6_591+c6_592+c6_593+c6_594+c6_595+c6_596+c6_597+c6_598+c6_599+c6_600+c6_601+c6_602+c6_603+c6_604+c6_605
Read [bounds] property : FamilyReunion-COL-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-COL-L00100M0010C005P005G002-UpperBounds-08 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-COL-L00100M0010C005P005G002-UpperBounds-09 with value :l12_0+l12_1+l12_2+l12_3+l12_4+l12_5+l12_6+l12_7+l12_8+l12_9+l12_10+l12_11+l12_12+l12_13+l12_14+l12_15+l12_16+l12_17+l12_18+l12_19+l12_20+l12_21+l12_22+l12_23+l12_24+l12_25+l12_26+l12_27+l12_28+l12_29+l12_30+l12_31+l12_32+l12_33+l12_34+l12_35+l12_36+l12_37+l12_38+l12_39+l12_40+l12_41+l12_42+l12_43+l12_44+l12_45+l12_46+l12_47+l12_48+l12_49+l12_50+l12_51+l12_52+l12_53+l12_54+l12_55+l12_56+l12_57+l12_58+l12_59+l12_60+l12_61+l12_62+l12_63+l12_64+l12_65+l12_66+l12_67+l12_68+l12_69+l12_70+l12_71+l12_72+l12_73+l12_74+l12_75+l12_76+l12_77+l12_78+l12_79+l12_80+l12_81+l12_82+l12_83+l12_84+l12_85+l12_86+l12_87+l12_88+l12_89+l12_90+l12_91+l12_92+l12_93+l12_94+l12_95+l12_96+l12_97+l12_98+l12_99+l12_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-10 with value :p7_0+p7_1+p7_2+p7_3+p7_4+p7_5
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-11 with value :lg0_0+lg0_1+lg0_2+lg0_3+lg0_4+lg0_5+lg0_6+lg0_7+lg0_8+lg0_9+lg0_10+lg0_11+lg0_12+lg0_13+lg0_14+lg0_15+lg0_16+lg0_17+lg0_18+lg0_19+lg0_20+lg0_21+lg0_22+lg0_23+lg0_24+lg0_25+lg0_26+lg0_27+lg0_28+lg0_29+lg0_30+lg0_31+lg0_32+lg0_33+lg0_34+lg0_35+lg0_36+lg0_37+lg0_38+lg0_39+lg0_40+lg0_41+lg0_42+lg0_43+lg0_44+lg0_45+lg0_46+lg0_47+lg0_48+lg0_49+lg0_50+lg0_51+lg0_52+lg0_53+lg0_54+lg0_55+lg0_56+lg0_57+lg0_58+lg0_59+lg0_60+lg0_61+lg0_62+lg0_63+lg0_64+lg0_65+lg0_66+lg0_67+lg0_68+lg0_69+lg0_70+lg0_71+lg0_72+lg0_73+lg0_74+lg0_75+lg0_76+lg0_77+lg0_78+lg0_79+lg0_80+lg0_81+lg0_82+lg0_83+lg0_84+lg0_85+lg0_86+lg0_87+lg0_88+lg0_89+lg0_90+lg0_91+lg0_92+lg0_93+lg0_94+lg0_95+lg0_96+lg0_97+lg0_98+lg0_99+lg0_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-12 with value :l12_0+l12_1+l12_2+l12_3+l12_4+l12_5+l12_6+l12_7+l12_8+l12_9+l12_10+l12_11+l12_12+l12_13+l12_14+l12_15+l12_16+l12_17+l12_18+l12_19+l12_20+l12_21+l12_22+l12_23+l12_24+l12_25+l12_26+l12_27+l12_28+l12_29+l12_30+l12_31+l12_32+l12_33+l12_34+l12_35+l12_36+l12_37+l12_38+l12_39+l12_40+l12_41+l12_42+l12_43+l12_44+l12_45+l12_46+l12_47+l12_48+l12_49+l12_50+l12_51+l12_52+l12_53+l12_54+l12_55+l12_56+l12_57+l12_58+l12_59+l12_60+l12_61+l12_62+l12_63+l12_64+l12_65+l12_66+l12_67+l12_68+l12_69+l12_70+l12_71+l12_72+l12_73+l12_74+l12_75+l12_76+l12_77+l12_78+l12_79+l12_80+l12_81+l12_82+l12_83+l12_84+l12_85+l12_86+l12_87+l12_88+l12_89+l12_90+l12_91+l12_92+l12_93+l12_94+l12_95+l12_96+l12_97+l12_98+l12_99+l12_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-13 with value :lp0_0+lp0_1+lp0_2+lp0_3+lp0_4+lp0_5+lp0_6+lp0_7+lp0_8+lp0_9+lp0_10+lp0_11+lp0_12+lp0_13+lp0_14+lp0_15+lp0_16+lp0_17+lp0_18+lp0_19+lp0_20+lp0_21+lp0_22+lp0_23+lp0_24+lp0_25+lp0_26+lp0_27+lp0_28+lp0_29+lp0_30+lp0_31+lp0_32+lp0_33+lp0_34+lp0_35+lp0_36+lp0_37+lp0_38+lp0_39+lp0_40+lp0_41+lp0_42+lp0_43+lp0_44+lp0_45+lp0_46+lp0_47+lp0_48+lp0_49+lp0_50+lp0_51+lp0_52+lp0_53+lp0_54+lp0_55+lp0_56+lp0_57+lp0_58+lp0_59+lp0_60+lp0_61+lp0_62+lp0_63+lp0_64+lp0_65+lp0_66+lp0_67+lp0_68+lp0_69+lp0_70+lp0_71+lp0_72+lp0_73+lp0_74+lp0_75+lp0_76+lp0_77+lp0_78+lp0_79+lp0_80+lp0_81+lp0_82+lp0_83+lp0_84+lp0_85+lp0_86+lp0_87+lp0_88+lp0_89+lp0_90+lp0_91+lp0_92+lp0_93+lp0_94+lp0_95+lp0_96+lp0_97+lp0_98+lp0_99+lp0_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-14 with value :ml2_0+ml2_1+ml2_2+ml2_3+ml2_4+ml2_5+ml2_6+ml2_7+ml2_8+ml2_9+ml2_10+ml2_11+ml2_12+ml2_13+ml2_14+ml2_15+ml2_16+ml2_17+ml2_18+ml2_19+ml2_20+ml2_21+ml2_22+ml2_23+ml2_24+ml2_25+ml2_26+ml2_27+ml2_28+ml2_29+ml2_30+ml2_31+ml2_32+ml2_33+ml2_34+ml2_35+ml2_36+ml2_37+ml2_38+ml2_39+ml2_40+ml2_41+ml2_42+ml2_43+ml2_44+ml2_45+ml2_46+ml2_47+ml2_48+ml2_49+ml2_50+ml2_51+ml2_52+ml2_53+ml2_54+ml2_55+ml2_56+ml2_57+ml2_58+ml2_59+ml2_60+ml2_61+ml2_62+ml2_63+ml2_64+ml2_65+ml2_66+ml2_67+ml2_68+ml2_69+ml2_70+ml2_71+ml2_72+ml2_73+ml2_74+ml2_75+ml2_76+ml2_77+ml2_78+ml2_79+ml2_80+ml2_81+ml2_82+ml2_83+ml2_84+ml2_85+ml2_86+ml2_87+ml2_88+ml2_89+ml2_90+ml2_91+ml2_92+ml2_93+ml2_94+ml2_95+ml2_96+ml2_97+ml2_98+ml2_99+ml2_100+ml2_101+ml2_102+ml2_103+ml2_104+ml2_105+ml2_106+ml2_107+ml2_108+ml2_109+ml2_110+ml2_111+ml2_112+ml2_113+ml2_114+ml2_115+ml2_116+ml2_117+ml2_118+ml2_119+ml2_120+ml2_121+ml2_122+ml2_123+ml2_124+ml2_125+ml2_126+ml2_127+ml2_128+ml2_129+ml2_130+ml2_131+ml2_132+ml2_133+ml2_134+ml2_135+ml2_136+ml2_137+ml2_138+ml2_139+ml2_140+ml2_141+ml2_142+ml2_143+ml2_144+ml2_145+ml2_146+ml2_147+ml2_148+ml2_149+ml2_150+ml2_151+ml2_152+ml2_153+ml2_154+ml2_155+ml2_156+ml2_157+ml2_158+ml2_159+ml2_160+ml2_161+ml2_162+ml2_163+ml2_164+ml2_165+ml2_166+ml2_167+ml2_168+ml2_169+ml2_170+ml2_171+ml2_172+ml2_173+ml2_174+ml2_175+ml2_176+ml2_177+ml2_178+ml2_179+ml2_180+ml2_181+ml2_182+ml2_183+ml2_184+ml2_185+ml2_186+ml2_187+ml2_188+ml2_189+ml2_190+ml2_191+ml2_192+ml2_193+ml2_194+ml2_195+ml2_196+ml2_197+ml2_198+ml2_199+ml2_200+ml2_201+ml2_202+ml2_203+ml2_204+ml2_205+ml2_206+ml2_207+ml2_208+ml2_209+ml2_210+ml2_211+ml2_212+ml2_213+ml2_214+ml2_215+ml2_216+ml2_217+ml2_218+ml2_219+ml2_220+ml2_221+ml2_222+ml2_223+ml2_224+ml2_225+ml2_226+ml2_227+ml2_228+ml2_229+ml2_230+ml2_231+ml2_232+ml2_233+ml2_234+ml2_235+ml2_236+ml2_237+ml2_238+ml2_239+ml2_240+ml2_241+ml2_242+ml2_243+ml2_244+ml2_245+ml2_246+ml2_247+ml2_248+ml2_249+ml2_250+ml2_251+ml2_252+ml2_253+ml2_254+ml2_255+ml2_256+ml2_257+ml2_258+ml2_259+ml2_260+ml2_261+ml2_262+ml2_263+ml2_264+ml2_265+ml2_266+ml2_267+ml2_268+ml2_269+ml2_270+ml2_271+ml2_272+ml2_273+ml2_274+ml2_275+ml2_276+ml2_277+ml2_278+ml2_279+ml2_280+ml2_281+ml2_282+ml2_283+ml2_284+ml2_285+ml2_286+ml2_287+ml2_288+ml2_289+ml2_290+ml2_291+ml2_292+ml2_293+ml2_294+ml2_295+ml2_296+ml2_297+ml2_298+ml2_299+ml2_300+ml2_301+ml2_302+ml2_303+ml2_304+ml2_305+ml2_306+ml2_307+ml2_308+ml2_309+ml2_310+ml2_311+ml2_312+ml2_313+ml2_314+ml2_315+ml2_316+ml2_317+ml2_318+ml2_319+ml2_320+ml2_321+ml2_322+ml2_323+ml2_324+ml2_325+ml2_326+ml2_327+ml2_328+ml2_329+ml2_330+ml2_331+ml2_332+ml2_333+ml2_334+ml2_335+ml2_336+ml2_337+ml2_338+ml2_339+ml2_340+ml2_341+ml2_342+ml2_343+ml2_344+ml2_345+ml2_346+ml2_347+ml2_348+ml2_349+ml2_350+ml2_351+ml2_352+ml2_353+ml2_354+ml2_355+ml2_356+ml2_357+ml2_358+ml2_359+ml2_360+ml2_361+ml2_362+ml2_363+ml2_364+ml2_365+ml2_366+ml2_367+ml2_368+ml2_369+ml2_370+ml2_371+ml2_372+ml2_373+ml2_374+ml2_375+ml2_376+ml2_377+ml2_378+ml2_379+ml2_380+ml2_381+ml2_382+ml2_383+ml2_384+ml2_385+ml2_386+ml2_387+ml2_388+ml2_389+ml2_390+ml2_391+ml2_392+ml2_393+ml2_394+ml2_395+ml2_396+ml2_397+ml2_398+ml2_399+ml2_400+ml2_401+ml2_402+ml2_403+ml2_404+ml2_405+ml2_406+ml2_407+ml2_408+ml2_409+ml2_410+ml2_411+ml2_412+ml2_413+ml2_414+ml2_415+ml2_416+ml2_417+ml2_418+ml2_419+ml2_420+ml2_421+ml2_422+ml2_423+ml2_424+ml2_425+ml2_426+ml2_427+ml2_428+ml2_429+ml2_430+ml2_431+ml2_432+ml2_433+ml2_434+ml2_435+ml2_436+ml2_437+ml2_438+ml2_439+ml2_440+ml2_441+ml2_442+ml2_443+ml2_444+ml2_445+ml2_446+ml2_447+ml2_448+ml2_449+ml2_450+ml2_451+ml2_452+ml2_453+ml2_454+ml2_455+ml2_456+ml2_457+ml2_458+ml2_459+ml2_460+ml2_461+ml2_462+ml2_463+ml2_464+ml2_465+ml2_466+ml2_467+ml2_468+ml2_469+ml2_470+ml2_471+ml2_472+ml2_473+ml2_474+ml2_475+ml2_476+ml2_477+ml2_478+ml2_479+ml2_480+ml2_481+ml2_482+ml2_483+ml2_484+ml2_485+ml2_486+ml2_487+ml2_488+ml2_489+ml2_490+ml2_491+ml2_492+ml2_493+ml2_494+ml2_495+ml2_496+ml2_497+ml2_498+ml2_499+ml2_500+ml2_501+ml2_502+ml2_503+ml2_504+ml2_505+ml2_506+ml2_507+ml2_508+ml2_509+ml2_510+ml2_511+ml2_512+ml2_513+ml2_514+ml2_515+ml2_516+ml2_517+ml2_518+ml2_519+ml2_520+ml2_521+ml2_522+ml2_523+ml2_524+ml2_525+ml2_526+ml2_527+ml2_528+ml2_529+ml2_530+ml2_531+ml2_532+ml2_533+ml2_534+ml2_535+ml2_536+ml2_537+ml2_538+ml2_539+ml2_540+ml2_541+ml2_542+ml2_543+ml2_544+ml2_545+ml2_546+ml2_547+ml2_548+ml2_549+ml2_550+ml2_551+ml2_552+ml2_553+ml2_554+ml2_555+ml2_556+ml2_557+ml2_558+ml2_559+ml2_560+ml2_561+ml2_562+ml2_563+ml2_564+ml2_565+ml2_566+ml2_567+ml2_568+ml2_569+ml2_570+ml2_571+ml2_572+ml2_573+ml2_574+ml2_575+ml2_576+ml2_577+ml2_578+ml2_579+ml2_580+ml2_581+ml2_582+ml2_583+ml2_584+ml2_585+ml2_586+ml2_587+ml2_588+ml2_589+ml2_590+ml2_591+ml2_592+ml2_593+ml2_594+ml2_595+ml2_596+ml2_597+ml2_598+ml2_599+ml2_600+ml2_601+ml2_602+ml2_603+ml2_604+ml2_605+ml2_606+ml2_607+ml2_608+ml2_609+ml2_610+ml2_611+ml2_612+ml2_613+ml2_614+ml2_615+ml2_616+ml2_617+ml2_618+ml2_619+ml2_620+ml2_621+ml2_622+ml2_623+ml2_624+ml2_625+ml2_626+ml2_627+ml2_628+ml2_629+ml2_630+ml2_631+ml2_632+ml2_633+ml2_634+ml2_635+ml2_636+ml2_637+ml2_638+ml2_639+ml2_640+ml2_641+ml2_642+ml2_643+ml2_644+ml2_645+ml2_646+ml2_647+ml2_648+ml2_649+ml2_650+ml2_651+ml2_652+ml2_653+ml2_654+ml2_655+ml2_656+ml2_657+ml2_658+ml2_659+ml2_660+ml2_661+ml2_662+ml2_663+ml2_664+ml2_665+ml2_666+ml2_667+ml2_668+ml2_669+ml2_670+ml2_671+ml2_672+ml2_673+ml2_674+ml2_675+ml2_676+ml2_677+ml2_678+ml2_679+ml2_680+ml2_681+ml2_682+ml2_683+ml2_684+ml2_685+ml2_686+ml2_687+ml2_688+ml2_689+ml2_690+ml2_691+ml2_692+ml2_693+ml2_694+ml2_695+ml2_696+ml2_697+ml2_698+ml2_699+ml2_700+ml2_701+ml2_702+ml2_703+ml2_704+ml2_705+ml2_706+ml2_707+ml2_708+ml2_709+ml2_710+ml2_711+ml2_712+ml2_713+ml2_714+ml2_715+ml2_716+ml2_717+ml2_718+ml2_719+ml2_720+ml2_721+ml2_722+ml2_723+ml2_724+ml2_725+ml2_726+ml2_727+ml2_728+ml2_729+ml2_730+ml2_731+ml2_732+ml2_733+ml2_734+ml2_735+ml2_736+ml2_737+ml2_738+ml2_739+ml2_740+ml2_741+ml2_742+ml2_743+ml2_744+ml2_745+ml2_746+ml2_747+ml2_748+ml2_749+ml2_750+ml2_751+ml2_752+ml2_753+ml2_754+ml2_755+ml2_756+ml2_757+ml2_758+ml2_759+ml2_760+ml2_761+ml2_762+ml2_763+ml2_764+ml2_765+ml2_766+ml2_767+ml2_768+ml2_769+ml2_770+ml2_771+ml2_772+ml2_773+ml2_774+ml2_775+ml2_776+ml2_777+ml2_778+ml2_779+ml2_780+ml2_781+ml2_782+ml2_783+ml2_784+ml2_785+ml2_786+ml2_787+ml2_788+ml2_789+ml2_790+ml2_791+ml2_792+ml2_793+ml2_794+ml2_795+ml2_796+ml2_797+ml2_798+ml2_799+ml2_800+ml2_801+ml2_802+ml2_803+ml2_804+ml2_805+ml2_806+ml2_807+ml2_808+ml2_809+ml2_810+ml2_811+ml2_812+ml2_813+ml2_814+ml2_815+ml2_816+ml2_817+ml2_818+ml2_819+ml2_820+ml2_821+ml2_822+ml2_823+ml2_824+ml2_825+ml2_826+ml2_827+ml2_828+ml2_829+ml2_830+ml2_831+ml2_832+ml2_833+ml2_834+ml2_835+ml2_836+ml2_837+ml2_838+ml2_839+ml2_840+ml2_841+ml2_842+ml2_843+ml2_844+ml2_845+ml2_846+ml2_847+ml2_848+ml2_849+ml2_850+ml2_851+ml2_852+ml2_853+ml2_854+ml2_855+ml2_856+ml2_857+ml2_858+ml2_859+ml2_860+ml2_861+ml2_862+ml2_863+ml2_864+ml2_865+ml2_866+ml2_867+ml2_868+ml2_869+ml2_870+ml2_871+ml2_872+ml2_873+ml2_874+ml2_875+ml2_876+ml2_877+ml2_878+ml2_879+ml2_880+ml2_881+ml2_882+ml2_883+ml2_884+ml2_885+ml2_886+ml2_887+ml2_888+ml2_889+ml2_890+ml2_891+ml2_892+ml2_893+ml2_894+ml2_895+ml2_896+ml2_897+ml2_898+ml2_899+ml2_900+ml2_901+ml2_902+ml2_903+ml2_904+ml2_905+ml2_906+ml2_907+ml2_908+ml2_909+ml2_910+ml2_911+ml2_912+ml2_913+ml2_914+ml2_915+ml2_916+ml2_917+ml2_918+ml2_919+ml2_920+ml2_921+ml2_922+ml2_923+ml2_924+ml2_925+ml2_926+ml2_927+ml2_928+ml2_929+ml2_930+ml2_931+ml2_932+ml2_933+ml2_934+ml2_935+ml2_936+ml2_937+ml2_938+ml2_939+ml2_940+ml2_941+ml2_942+ml2_943+ml2_944+ml2_945+ml2_946+ml2_947+ml2_948+ml2_949+ml2_950+ml2_951+ml2_952+ml2_953+ml2_954+ml2_955+ml2_956+ml2_957+ml2_958+ml2_959+ml2_960+ml2_961+ml2_962+ml2_963+ml2_964+ml2_965+ml2_966+ml2_967+ml2_968+ml2_969+ml2_970+ml2_971+ml2_972+ml2_973+ml2_974+ml2_975+ml2_976+ml2_977+ml2_978+ml2_979+ml2_980+ml2_981+ml2_982+ml2_983+ml2_984+ml2_985+ml2_986+ml2_987+ml2_988+ml2_989+ml2_990+ml2_991+ml2_992+ml2_993+ml2_994+ml2_995+ml2_996+ml2_997+ml2_998+ml2_999+ml2_1000+ml2_1001+ml2_1002+ml2_1003+ml2_1004+ml2_1005+ml2_1006+ml2_1007+ml2_1008+ml2_1009+ml2_1010+ml2_1011+ml2_1012+ml2_1013+ml2_1014+ml2_1015+ml2_1016+ml2_1017+ml2_1018+ml2_1019+ml2_1020+ml2_1021+ml2_1022+ml2_1023+ml2_1024+ml2_1025+ml2_1026+ml2_1027+ml2_1028+ml2_1029+ml2_1030+ml2_1031+ml2_1032+ml2_1033+ml2_1034+ml2_1035+ml2_1036+ml2_1037+ml2_1038+ml2_1039+ml2_1040+ml2_1041+ml2_1042+ml2_1043+ml2_1044+ml2_1045+ml2_1046+ml2_1047+ml2_1048+ml2_1049+ml2_1050+ml2_1051+ml2_1052+ml2_1053+ml2_1054+ml2_1055+ml2_1056+ml2_1057+ml2_1058+ml2_1059+ml2_1060+ml2_1061+ml2_1062+ml2_1063+ml2_1064+ml2_1065+ml2_1066+ml2_1067+ml2_1068+ml2_1069+ml2_1070+ml2_1071+ml2_1072+ml2_1073+ml2_1074+ml2_1075+ml2_1076+ml2_1077+ml2_1078+ml2_1079+ml2_1080+ml2_1081+ml2_1082+ml2_1083+ml2_1084+ml2_1085+ml2_1086+ml2_1087+ml2_1088+ml2_1089+ml2_1090+ml2_1091+ml2_1092+ml2_1093+ml2_1094+ml2_1095+ml2_1096+ml2_1097+ml2_1098+ml2_1099+ml2_1100+ml2_1101+ml2_1102+ml2_1103+ml2_1104+ml2_1105+ml2_1106+ml2_1107+ml2_1108+ml2_1109+ml2_1110
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-15 with value :m11_0+m11_1+m11_2+m11_3+m11_4+m11_5+m11_6+m11_7+m11_8+m11_9+m11_10
Detected timeout of ITS tools.
[2021-05-11 13:08:49] [INFO ] Flatten gal took : 1306 ms
[2021-05-11 13:08:51] [INFO ] Input system was already deterministic with 36871 transitions.
[2021-05-11 13:08:51] [INFO ] Transformed 40574 places.
[2021-05-11 13:08:51] [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 13:09:26] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 240 ms
[2021-05-11 13:09:26] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 4 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-COL-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-COL-L00100M0010C005P005G002-UpperBounds-01 with value :p3_0+p3_1+p3_2+p3_3+p3_4+p3_5+p3_6+p3_7+p3_8+p3_9+p3_10+p3_11+p3_12+p3_13+p3_14+p3_15+p3_16+p3_17+p3_18+p3_19+p3_20+p3_21+p3_22+p3_23+p3_24+p3_25+p3_26+p3_27+p3_28+p3_29+p3_30+p3_31+p3_32+p3_33+p3_34+p3_35+p3_36+p3_37+p3_38+p3_39+p3_40+p3_41+p3_42+p3_43+p3_44+p3_45+p3_46+p3_47+p3_48+p3_49+p3_50+p3_51+p3_52+p3_53+p3_54+p3_55+p3_56+p3_57+p3_58+p3_59+p3_60+p3_61+p3_62+p3_63+p3_64+p3_65+p3_66+p3_67+p3_68+p3_69+p3_70+p3_71+p3_72+p3_73+p3_74+p3_75+p3_76+p3_77+p3_78+p3_79+p3_80+p3_81+p3_82+p3_83+p3_84+p3_85+p3_86+p3_87+p3_88+p3_89+p3_90+p3_91+p3_92+p3_93+p3_94+p3_95+p3_96+p3_97+p3_98+p3_99+p3_100+p3_101+p3_102+p3_103+p3_104+p3_105+p3_106+p3_107+p3_108+p3_109+p3_110+p3_111+p3_112+p3_113+p3_114+p3_115+p3_116+p3_117+p3_118+p3_119+p3_120+p3_121+p3_122+p3_123+p3_124+p3_125+p3_126+p3_127+p3_128+p3_129+p3_130+p3_131+p3_132+p3_133+p3_134+p3_135+p3_136+p3_137+p3_138+p3_139+p3_140+p3_141+p3_142+p3_143+p3_144+p3_145+p3_146+p3_147+p3_148+p3_149+p3_150+p3_151+p3_152+p3_153+p3_154+p3_155+p3_156+p3_157+p3_158+p3_159+p3_160+p3_161+p3_162+p3_163+p3_164+p3_165+p3_166+p3_167+p3_168+p3_169+p3_170+p3_171+p3_172+p3_173+p3_174+p3_175+p3_176+p3_177+p3_178+p3_179+p3_180+p3_181+p3_182+p3_183+p3_184+p3_185+p3_186+p3_187+p3_188+p3_189+p3_190+p3_191+p3_192+p3_193+p3_194+p3_195+p3_196+p3_197+p3_198+p3_199+p3_200+p3_201+p3_202+p3_203+p3_204+p3_205+p3_206+p3_207+p3_208+p3_209+p3_210+p3_211+p3_212+p3_213+p3_214+p3_215+p3_216+p3_217+p3_218+p3_219+p3_220+p3_221+p3_222+p3_223+p3_224+p3_225+p3_226+p3_227+p3_228+p3_229+p3_230+p3_231+p3_232+p3_233+p3_234+p3_235+p3_236+p3_237+p3_238+p3_239+p3_240+p3_241+p3_242+p3_243+p3_244+p3_245+p3_246+p3_247+p3_248+p3_249+p3_250+p3_251+p3_252+p3_253+p3_254+p3_255+p3_256+p3_257+p3_258+p3_259+p3_260+p3_261+p3_262+p3_263+p3_264+p3_265+p3_266+p3_267+p3_268+p3_269+p3_270+p3_271+p3_272+p3_273+p3_274+p3_275+p3_276+p3_277+p3_278+p3_279+p3_280+p3_281+p3_282+p3_283+p3_284+p3_285+p3_286+p3_287+p3_288+p3_289+p3_290+p3_291+p3_292+p3_293+p3_294+p3_295+p3_296+p3_297+p3_298+p3_299+p3_300+p3_301+p3_302+p3_303+p3_304+p3_305+p3_306+p3_307+p3_308+p3_309+p3_310+p3_311+p3_312+p3_313+p3_314+p3_315+p3_316+p3_317+p3_318+p3_319+p3_320+p3_321+p3_322+p3_323+p3_324+p3_325+p3_326+p3_327+p3_328+p3_329+p3_330+p3_331+p3_332+p3_333+p3_334+p3_335+p3_336+p3_337+p3_338+p3_339+p3_340+p3_341+p3_342+p3_343+p3_344+p3_345+p3_346+p3_347+p3_348+p3_349+p3_350+p3_351+p3_352+p3_353+p3_354+p3_355+p3_356+p3_357+p3_358+p3_359+p3_360+p3_361+p3_362+p3_363+p3_364+p3_365+p3_366+p3_367+p3_368+p3_369+p3_370+p3_371+p3_372+p3_373+p3_374+p3_375+p3_376+p3_377+p3_378+p3_379+p3_380+p3_381+p3_382+p3_383+p3_384+p3_385+p3_386+p3_387+p3_388+p3_389+p3_390+p3_391+p3_392+p3_393+p3_394+p3_395+p3_396+p3_397+p3_398+p3_399+p3_400+p3_401+p3_402+p3_403+p3_404+p3_405+p3_406+p3_407+p3_408+p3_409+p3_410+p3_411+p3_412+p3_413+p3_414+p3_415+p3_416+p3_417+p3_418+p3_419+p3_420+p3_421+p3_422+p3_423+p3_424+p3_425+p3_426+p3_427+p3_428+p3_429+p3_430+p3_431+p3_432+p3_433+p3_434+p3_435+p3_436+p3_437+p3_438+p3_439+p3_440+p3_441+p3_442+p3_443+p3_444+p3_445+p3_446+p3_447+p3_448+p3_449+p3_450+p3_451+p3_452+p3_453+p3_454+p3_455+p3_456+p3_457+p3_458+p3_459+p3_460+p3_461+p3_462+p3_463+p3_464+p3_465+p3_466+p3_467+p3_468+p3_469+p3_470+p3_471+p3_472+p3_473+p3_474+p3_475+p3_476+p3_477+p3_478+p3_479+p3_480+p3_481+p3_482+p3_483+p3_484+p3_485+p3_486+p3_487+p3_488+p3_489+p3_490+p3_491+p3_492+p3_493+p3_494+p3_495+p3_496+p3_497+p3_498+p3_499+p3_500+p3_501+p3_502+p3_503+p3_504+p3_505+p3_506+p3_507+p3_508+p3_509+p3_510+p3_511+p3_512+p3_513+p3_514+p3_515+p3_516+p3_517+p3_518+p3_519+p3_520+p3_521+p3_522+p3_523+p3_524+p3_525+p3_526+p3_527+p3_528+p3_529+p3_530+p3_531+p3_532+p3_533+p3_534+p3_535+p3_536+p3_537+p3_538+p3_539+p3_540+p3_541+p3_542+p3_543+p3_544+p3_545+p3_546+p3_547+p3_548+p3_549+p3_550+p3_551+p3_552+p3_553+p3_554+p3_555+p3_556+p3_557+p3_558+p3_559+p3_560+p3_561+p3_562+p3_563+p3_564+p3_565+p3_566+p3_567+p3_568+p3_569+p3_570+p3_571+p3_572+p3_573+p3_574+p3_575+p3_576+p3_577+p3_578+p3_579+p3_580+p3_581+p3_582+p3_583+p3_584+p3_585+p3_586+p3_587+p3_588+p3_589+p3_590+p3_591+p3_592+p3_593+p3_594+p3_595+p3_596+p3_597+p3_598+p3_599+p3_600+p3_601+p3_602+p3_603+p3_604+p3_605
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-02 with value :cl1_0+cl1_1+cl1_2+cl1_3+cl1_4+cl1_5+cl1_6+cl1_7+cl1_8+cl1_9+cl1_10+cl1_11+cl1_12+cl1_13+cl1_14+cl1_15+cl1_16+cl1_17+cl1_18+cl1_19+cl1_20+cl1_21+cl1_22+cl1_23+cl1_24+cl1_25+cl1_26+cl1_27+cl1_28+cl1_29+cl1_30+cl1_31+cl1_32+cl1_33+cl1_34+cl1_35+cl1_36+cl1_37+cl1_38+cl1_39+cl1_40+cl1_41+cl1_42+cl1_43+cl1_44+cl1_45+cl1_46+cl1_47+cl1_48+cl1_49+cl1_50+cl1_51+cl1_52+cl1_53+cl1_54+cl1_55+cl1_56+cl1_57+cl1_58+cl1_59+cl1_60+cl1_61+cl1_62+cl1_63+cl1_64+cl1_65+cl1_66+cl1_67+cl1_68+cl1_69+cl1_70+cl1_71+cl1_72+cl1_73+cl1_74+cl1_75+cl1_76+cl1_77+cl1_78+cl1_79+cl1_80+cl1_81+cl1_82+cl1_83+cl1_84+cl1_85+cl1_86+cl1_87+cl1_88+cl1_89+cl1_90+cl1_91+cl1_92+cl1_93+cl1_94+cl1_95+cl1_96+cl1_97+cl1_98+cl1_99+cl1_100+cl1_101+cl1_102+cl1_103+cl1_104+cl1_105+cl1_106+cl1_107+cl1_108+cl1_109+cl1_110+cl1_111+cl1_112+cl1_113+cl1_114+cl1_115+cl1_116+cl1_117+cl1_118+cl1_119+cl1_120+cl1_121+cl1_122+cl1_123+cl1_124+cl1_125+cl1_126+cl1_127+cl1_128+cl1_129+cl1_130+cl1_131+cl1_132+cl1_133+cl1_134+cl1_135+cl1_136+cl1_137+cl1_138+cl1_139+cl1_140+cl1_141+cl1_142+cl1_143+cl1_144+cl1_145+cl1_146+cl1_147+cl1_148+cl1_149+cl1_150+cl1_151+cl1_152+cl1_153+cl1_154+cl1_155+cl1_156+cl1_157+cl1_158+cl1_159+cl1_160+cl1_161+cl1_162+cl1_163+cl1_164+cl1_165+cl1_166+cl1_167+cl1_168+cl1_169+cl1_170+cl1_171+cl1_172+cl1_173+cl1_174+cl1_175+cl1_176+cl1_177+cl1_178+cl1_179+cl1_180+cl1_181+cl1_182+cl1_183+cl1_184+cl1_185+cl1_186+cl1_187+cl1_188+cl1_189+cl1_190+cl1_191+cl1_192+cl1_193+cl1_194+cl1_195+cl1_196+cl1_197+cl1_198+cl1_199+cl1_200+cl1_201+cl1_202+cl1_203+cl1_204+cl1_205+cl1_206+cl1_207+cl1_208+cl1_209+cl1_210+cl1_211+cl1_212+cl1_213+cl1_214+cl1_215+cl1_216+cl1_217+cl1_218+cl1_219+cl1_220+cl1_221+cl1_222+cl1_223+cl1_224+cl1_225+cl1_226+cl1_227+cl1_228+cl1_229+cl1_230+cl1_231+cl1_232+cl1_233+cl1_234+cl1_235+cl1_236+cl1_237+cl1_238+cl1_239+cl1_240+cl1_241+cl1_242+cl1_243+cl1_244+cl1_245+cl1_246+cl1_247+cl1_248+cl1_249+cl1_250+cl1_251+cl1_252+cl1_253+cl1_254+cl1_255+cl1_256+cl1_257+cl1_258+cl1_259+cl1_260+cl1_261+cl1_262+cl1_263+cl1_264+cl1_265+cl1_266+cl1_267+cl1_268+cl1_269+cl1_270+cl1_271+cl1_272+cl1_273+cl1_274+cl1_275+cl1_276+cl1_277+cl1_278+cl1_279+cl1_280+cl1_281+cl1_282+cl1_283+cl1_284+cl1_285+cl1_286+cl1_287+cl1_288+cl1_289+cl1_290+cl1_291+cl1_292+cl1_293+cl1_294+cl1_295+cl1_296+cl1_297+cl1_298+cl1_299+cl1_300+cl1_301+cl1_302+cl1_303+cl1_304+cl1_305+cl1_306+cl1_307+cl1_308+cl1_309+cl1_310+cl1_311+cl1_312+cl1_313+cl1_314+cl1_315+cl1_316+cl1_317+cl1_318+cl1_319+cl1_320+cl1_321+cl1_322+cl1_323+cl1_324+cl1_325+cl1_326+cl1_327+cl1_328+cl1_329+cl1_330+cl1_331+cl1_332+cl1_333+cl1_334+cl1_335+cl1_336+cl1_337+cl1_338+cl1_339+cl1_340+cl1_341+cl1_342+cl1_343+cl1_344+cl1_345+cl1_346+cl1_347+cl1_348+cl1_349+cl1_350+cl1_351+cl1_352+cl1_353+cl1_354+cl1_355+cl1_356+cl1_357+cl1_358+cl1_359+cl1_360+cl1_361+cl1_362+cl1_363+cl1_364+cl1_365+cl1_366+cl1_367+cl1_368+cl1_369+cl1_370+cl1_371+cl1_372+cl1_373+cl1_374+cl1_375+cl1_376+cl1_377+cl1_378+cl1_379+cl1_380+cl1_381+cl1_382+cl1_383+cl1_384+cl1_385+cl1_386+cl1_387+cl1_388+cl1_389+cl1_390+cl1_391+cl1_392+cl1_393+cl1_394+cl1_395+cl1_396+cl1_397+cl1_398+cl1_399+cl1_400+cl1_401+cl1_402+cl1_403+cl1_404+cl1_405+cl1_406+cl1_407+cl1_408+cl1_409+cl1_410+cl1_411+cl1_412+cl1_413+cl1_414+cl1_415+cl1_416+cl1_417+cl1_418+cl1_419+cl1_420+cl1_421+cl1_422+cl1_423+cl1_424+cl1_425+cl1_426+cl1_427+cl1_428+cl1_429+cl1_430+cl1_431+cl1_432+cl1_433+cl1_434+cl1_435+cl1_436+cl1_437+cl1_438+cl1_439+cl1_440+cl1_441+cl1_442+cl1_443+cl1_444+cl1_445+cl1_446+cl1_447+cl1_448+cl1_449+cl1_450+cl1_451+cl1_452+cl1_453+cl1_454+cl1_455+cl1_456+cl1_457+cl1_458+cl1_459+cl1_460+cl1_461+cl1_462+cl1_463+cl1_464+cl1_465+cl1_466+cl1_467+cl1_468+cl1_469+cl1_470+cl1_471+cl1_472+cl1_473+cl1_474+cl1_475+cl1_476+cl1_477+cl1_478+cl1_479+cl1_480+cl1_481+cl1_482+cl1_483+cl1_484+cl1_485+cl1_486+cl1_487+cl1_488+cl1_489+cl1_490+cl1_491+cl1_492+cl1_493+cl1_494+cl1_495+cl1_496+cl1_497+cl1_498+cl1_499+cl1_500+cl1_501+cl1_502+cl1_503+cl1_504+cl1_505+cl1_506+cl1_507+cl1_508+cl1_509+cl1_510+cl1_511+cl1_512+cl1_513+cl1_514+cl1_515+cl1_516+cl1_517+cl1_518+cl1_519+cl1_520+cl1_521+cl1_522+cl1_523+cl1_524+cl1_525+cl1_526+cl1_527+cl1_528+cl1_529+cl1_530+cl1_531+cl1_532+cl1_533+cl1_534+cl1_535+cl1_536+cl1_537+cl1_538+cl1_539+cl1_540+cl1_541+cl1_542+cl1_543+cl1_544+cl1_545+cl1_546+cl1_547+cl1_548+cl1_549+cl1_550+cl1_551+cl1_552+cl1_553+cl1_554+cl1_555+cl1_556+cl1_557+cl1_558+cl1_559+cl1_560+cl1_561+cl1_562+cl1_563+cl1_564+cl1_565+cl1_566+cl1_567+cl1_568+cl1_569+cl1_570+cl1_571+cl1_572+cl1_573+cl1_574+cl1_575+cl1_576+cl1_577+cl1_578+cl1_579+cl1_580+cl1_581+cl1_582+cl1_583+cl1_584+cl1_585+cl1_586+cl1_587+cl1_588+cl1_589+cl1_590+cl1_591+cl1_592+cl1_593+cl1_594+cl1_595+cl1_596+cl1_597+cl1_598+cl1_599+cl1_600+cl1_601+cl1_602+cl1_603+cl1_604+cl1_605
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-03 with value :m4_0+m4_1+m4_2+m4_3+m4_4+m4_5+m4_6+m4_7+m4_8+m4_9+m4_10+m4_11+m4_12+m4_13+m4_14+m4_15+m4_16+m4_17+m4_18+m4_19+m4_20+m4_21+m4_22+m4_23+m4_24+m4_25+m4_26+m4_27+m4_28+m4_29+m4_30+m4_31+m4_32+m4_33+m4_34+m4_35+m4_36+m4_37+m4_38+m4_39+m4_40+m4_41+m4_42+m4_43+m4_44+m4_45+m4_46+m4_47+m4_48+m4_49+m4_50+m4_51+m4_52+m4_53+m4_54+m4_55+m4_56+m4_57+m4_58+m4_59+m4_60+m4_61+m4_62+m4_63+m4_64+m4_65+m4_66+m4_67+m4_68+m4_69+m4_70+m4_71+m4_72+m4_73+m4_74+m4_75+m4_76+m4_77+m4_78+m4_79+m4_80+m4_81+m4_82+m4_83+m4_84+m4_85+m4_86+m4_87+m4_88+m4_89+m4_90+m4_91+m4_92+m4_93+m4_94+m4_95+m4_96+m4_97+m4_98+m4_99+m4_100+m4_101+m4_102+m4_103+m4_104+m4_105+m4_106+m4_107+m4_108+m4_109+m4_110+m4_111+m4_112+m4_113+m4_114+m4_115+m4_116+m4_117+m4_118+m4_119+m4_120+m4_121+m4_122+m4_123+m4_124+m4_125+m4_126+m4_127+m4_128+m4_129+m4_130+m4_131+m4_132+m4_133+m4_134+m4_135+m4_136+m4_137+m4_138+m4_139+m4_140+m4_141+m4_142+m4_143+m4_144+m4_145+m4_146+m4_147+m4_148+m4_149+m4_150+m4_151+m4_152+m4_153+m4_154+m4_155+m4_156+m4_157+m4_158+m4_159+m4_160+m4_161+m4_162+m4_163+m4_164+m4_165+m4_166+m4_167+m4_168+m4_169+m4_170+m4_171+m4_172+m4_173+m4_174+m4_175+m4_176+m4_177+m4_178+m4_179+m4_180+m4_181+m4_182+m4_183+m4_184+m4_185+m4_186+m4_187+m4_188+m4_189+m4_190+m4_191+m4_192+m4_193+m4_194+m4_195+m4_196+m4_197+m4_198+m4_199+m4_200+m4_201+m4_202+m4_203+m4_204+m4_205+m4_206+m4_207+m4_208+m4_209+m4_210+m4_211+m4_212+m4_213+m4_214+m4_215+m4_216+m4_217+m4_218+m4_219+m4_220+m4_221+m4_222+m4_223+m4_224+m4_225+m4_226+m4_227+m4_228+m4_229+m4_230+m4_231+m4_232+m4_233+m4_234+m4_235+m4_236+m4_237+m4_238+m4_239+m4_240+m4_241+m4_242+m4_243+m4_244+m4_245+m4_246+m4_247+m4_248+m4_249+m4_250+m4_251+m4_252+m4_253+m4_254+m4_255+m4_256+m4_257+m4_258+m4_259+m4_260+m4_261+m4_262+m4_263+m4_264+m4_265+m4_266+m4_267+m4_268+m4_269+m4_270+m4_271+m4_272+m4_273+m4_274+m4_275+m4_276+m4_277+m4_278+m4_279+m4_280+m4_281+m4_282+m4_283+m4_284+m4_285+m4_286+m4_287+m4_288+m4_289+m4_290+m4_291+m4_292+m4_293+m4_294+m4_295+m4_296+m4_297+m4_298+m4_299+m4_300+m4_301+m4_302+m4_303+m4_304+m4_305+m4_306+m4_307+m4_308+m4_309+m4_310+m4_311+m4_312+m4_313+m4_314+m4_315+m4_316+m4_317+m4_318+m4_319+m4_320+m4_321+m4_322+m4_323+m4_324+m4_325+m4_326+m4_327+m4_328+m4_329+m4_330+m4_331+m4_332+m4_333+m4_334+m4_335+m4_336+m4_337+m4_338+m4_339+m4_340+m4_341+m4_342+m4_343+m4_344+m4_345+m4_346+m4_347+m4_348+m4_349+m4_350+m4_351+m4_352+m4_353+m4_354+m4_355+m4_356+m4_357+m4_358+m4_359+m4_360+m4_361+m4_362+m4_363+m4_364+m4_365+m4_366+m4_367+m4_368+m4_369+m4_370+m4_371+m4_372+m4_373+m4_374+m4_375+m4_376+m4_377+m4_378+m4_379+m4_380+m4_381+m4_382+m4_383+m4_384+m4_385+m4_386+m4_387+m4_388+m4_389+m4_390+m4_391+m4_392+m4_393+m4_394+m4_395+m4_396+m4_397+m4_398+m4_399+m4_400+m4_401+m4_402+m4_403+m4_404+m4_405+m4_406+m4_407+m4_408+m4_409+m4_410+m4_411+m4_412+m4_413+m4_414+m4_415+m4_416+m4_417+m4_418+m4_419+m4_420+m4_421+m4_422+m4_423+m4_424+m4_425+m4_426+m4_427+m4_428+m4_429+m4_430+m4_431+m4_432+m4_433+m4_434+m4_435+m4_436+m4_437+m4_438+m4_439+m4_440+m4_441+m4_442+m4_443+m4_444+m4_445+m4_446+m4_447+m4_448+m4_449+m4_450+m4_451+m4_452+m4_453+m4_454+m4_455+m4_456+m4_457+m4_458+m4_459+m4_460+m4_461+m4_462+m4_463+m4_464+m4_465+m4_466+m4_467+m4_468+m4_469+m4_470+m4_471+m4_472+m4_473+m4_474+m4_475+m4_476+m4_477+m4_478+m4_479+m4_480+m4_481+m4_482+m4_483+m4_484+m4_485+m4_486+m4_487+m4_488+m4_489+m4_490+m4_491+m4_492+m4_493+m4_494+m4_495+m4_496+m4_497+m4_498+m4_499+m4_500+m4_501+m4_502+m4_503+m4_504+m4_505+m4_506+m4_507+m4_508+m4_509+m4_510+m4_511+m4_512+m4_513+m4_514+m4_515+m4_516+m4_517+m4_518+m4_519+m4_520+m4_521+m4_522+m4_523+m4_524+m4_525+m4_526+m4_527+m4_528+m4_529+m4_530+m4_531+m4_532+m4_533+m4_534+m4_535+m4_536+m4_537+m4_538+m4_539+m4_540+m4_541+m4_542+m4_543+m4_544+m4_545+m4_546+m4_547+m4_548+m4_549+m4_550+m4_551+m4_552+m4_553+m4_554+m4_555+m4_556+m4_557+m4_558+m4_559+m4_560+m4_561+m4_562+m4_563+m4_564+m4_565+m4_566+m4_567+m4_568+m4_569+m4_570+m4_571+m4_572+m4_573+m4_574+m4_575+m4_576+m4_577+m4_578+m4_579+m4_580+m4_581+m4_582+m4_583+m4_584+m4_585+m4_586+m4_587+m4_588+m4_589+m4_590+m4_591+m4_592+m4_593+m4_594+m4_595+m4_596+m4_597+m4_598+m4_599+m4_600+m4_601+m4_602+m4_603+m4_604+m4_605+m4_606+m4_607+m4_608+m4_609+m4_610+m4_611+m4_612+m4_613+m4_614+m4_615+m4_616+m4_617+m4_618+m4_619+m4_620+m4_621+m4_622+m4_623+m4_624+m4_625+m4_626+m4_627+m4_628+m4_629+m4_630+m4_631+m4_632+m4_633+m4_634+m4_635+m4_636+m4_637+m4_638+m4_639+m4_640+m4_641+m4_642+m4_643+m4_644+m4_645+m4_646+m4_647+m4_648+m4_649+m4_650+m4_651+m4_652+m4_653+m4_654+m4_655+m4_656+m4_657+m4_658+m4_659+m4_660+m4_661+m4_662+m4_663+m4_664+m4_665+m4_666+m4_667+m4_668+m4_669+m4_670+m4_671+m4_672+m4_673+m4_674+m4_675+m4_676+m4_677+m4_678+m4_679+m4_680+m4_681+m4_682+m4_683+m4_684+m4_685+m4_686+m4_687+m4_688+m4_689+m4_690+m4_691+m4_692+m4_693+m4_694+m4_695+m4_696+m4_697+m4_698+m4_699+m4_700+m4_701+m4_702+m4_703+m4_704+m4_705+m4_706+m4_707+m4_708+m4_709+m4_710+m4_711+m4_712+m4_713+m4_714+m4_715+m4_716+m4_717+m4_718+m4_719+m4_720+m4_721+m4_722+m4_723+m4_724+m4_725+m4_726+m4_727+m4_728+m4_729+m4_730+m4_731+m4_732+m4_733+m4_734+m4_735+m4_736+m4_737+m4_738+m4_739+m4_740+m4_741+m4_742+m4_743+m4_744+m4_745+m4_746+m4_747+m4_748+m4_749+m4_750+m4_751+m4_752+m4_753+m4_754+m4_755+m4_756+m4_757+m4_758+m4_759+m4_760+m4_761+m4_762+m4_763+m4_764+m4_765+m4_766+m4_767+m4_768+m4_769+m4_770+m4_771+m4_772+m4_773+m4_774+m4_775+m4_776+m4_777+m4_778+m4_779+m4_780+m4_781+m4_782+m4_783+m4_784+m4_785+m4_786+m4_787+m4_788+m4_789+m4_790+m4_791+m4_792+m4_793+m4_794+m4_795+m4_796+m4_797+m4_798+m4_799+m4_800+m4_801+m4_802+m4_803+m4_804+m4_805+m4_806+m4_807+m4_808+m4_809+m4_810+m4_811+m4_812+m4_813+m4_814+m4_815+m4_816+m4_817+m4_818+m4_819+m4_820+m4_821+m4_822+m4_823+m4_824+m4_825+m4_826+m4_827+m4_828+m4_829+m4_830+m4_831+m4_832+m4_833+m4_834+m4_835+m4_836+m4_837+m4_838+m4_839+m4_840+m4_841+m4_842+m4_843+m4_844+m4_845+m4_846+m4_847+m4_848+m4_849+m4_850+m4_851+m4_852+m4_853+m4_854+m4_855+m4_856+m4_857+m4_858+m4_859+m4_860+m4_861+m4_862+m4_863+m4_864+m4_865+m4_866+m4_867+m4_868+m4_869+m4_870+m4_871+m4_872+m4_873+m4_874+m4_875+m4_876+m4_877+m4_878+m4_879+m4_880+m4_881+m4_882+m4_883+m4_884+m4_885+m4_886+m4_887+m4_888+m4_889+m4_890+m4_891+m4_892+m4_893+m4_894+m4_895+m4_896+m4_897+m4_898+m4_899+m4_900+m4_901+m4_902+m4_903+m4_904+m4_905+m4_906+m4_907+m4_908+m4_909+m4_910+m4_911+m4_912+m4_913+m4_914+m4_915+m4_916+m4_917+m4_918+m4_919+m4_920+m4_921+m4_922+m4_923+m4_924+m4_925+m4_926+m4_927+m4_928+m4_929+m4_930+m4_931+m4_932+m4_933+m4_934+m4_935+m4_936+m4_937+m4_938+m4_939+m4_940+m4_941+m4_942+m4_943+m4_944+m4_945+m4_946+m4_947+m4_948+m4_949+m4_950+m4_951+m4_952+m4_953+m4_954+m4_955+m4_956+m4_957+m4_958+m4_959+m4_960+m4_961+m4_962+m4_963+m4_964+m4_965+m4_966+m4_967+m4_968+m4_969+m4_970+m4_971+m4_972+m4_973+m4_974+m4_975+m4_976+m4_977+m4_978+m4_979+m4_980+m4_981+m4_982+m4_983+m4_984+m4_985+m4_986+m4_987+m4_988+m4_989+m4_990+m4_991+m4_992+m4_993+m4_994+m4_995+m4_996+m4_997+m4_998+m4_999+m4_1000+m4_1001+m4_1002+m4_1003+m4_1004+m4_1005+m4_1006+m4_1007+m4_1008+m4_1009+m4_1010+m4_1011+m4_1012+m4_1013+m4_1014+m4_1015+m4_1016+m4_1017+m4_1018+m4_1019+m4_1020+m4_1021+m4_1022+m4_1023+m4_1024+m4_1025+m4_1026+m4_1027+m4_1028+m4_1029+m4_1030+m4_1031+m4_1032+m4_1033+m4_1034+m4_1035+m4_1036+m4_1037+m4_1038+m4_1039+m4_1040+m4_1041+m4_1042+m4_1043+m4_1044+m4_1045+m4_1046+m4_1047+m4_1048+m4_1049+m4_1050+m4_1051+m4_1052+m4_1053+m4_1054+m4_1055+m4_1056+m4_1057+m4_1058+m4_1059+m4_1060+m4_1061+m4_1062+m4_1063+m4_1064+m4_1065+m4_1066+m4_1067+m4_1068+m4_1069+m4_1070+m4_1071+m4_1072+m4_1073+m4_1074+m4_1075+m4_1076+m4_1077+m4_1078+m4_1079+m4_1080+m4_1081+m4_1082+m4_1083+m4_1084+m4_1085+m4_1086+m4_1087+m4_1088+m4_1089+m4_1090+m4_1091+m4_1092+m4_1093+m4_1094+m4_1095+m4_1096+m4_1097+m4_1098+m4_1099+m4_1100+m4_1101+m4_1102+m4_1103+m4_1104+m4_1105+m4_1106+m4_1107+m4_1108+m4_1109+m4_1110
Read [bounds] property : FamilyReunion-COL-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-COL-L00100M0010C005P005G002-UpperBounds-05 with value :gl0_0+gl0_1+gl0_2+gl0_3+gl0_4+gl0_5+gl0_6+gl0_7+gl0_8+gl0_9+gl0_10+gl0_11+gl0_12+gl0_13+gl0_14+gl0_15+gl0_16+gl0_17+gl0_18+gl0_19+gl0_20+gl0_21+gl0_22+gl0_23+gl0_24+gl0_25+gl0_26+gl0_27+gl0_28+gl0_29+gl0_30+gl0_31+gl0_32+gl0_33+gl0_34+gl0_35+gl0_36+gl0_37+gl0_38+gl0_39+gl0_40+gl0_41+gl0_42+gl0_43+gl0_44+gl0_45+gl0_46+gl0_47+gl0_48+gl0_49+gl0_50+gl0_51+gl0_52+gl0_53+gl0_54+gl0_55+gl0_56+gl0_57+gl0_58+gl0_59+gl0_60+gl0_61+gl0_62+gl0_63+gl0_64+gl0_65+gl0_66+gl0_67+gl0_68+gl0_69+gl0_70+gl0_71+gl0_72+gl0_73+gl0_74+gl0_75+gl0_76+gl0_77+gl0_78+gl0_79+gl0_80+gl0_81+gl0_82+gl0_83+gl0_84+gl0_85+gl0_86+gl0_87+gl0_88+gl0_89+gl0_90+gl0_91+gl0_92+gl0_93+gl0_94+gl0_95+gl0_96+gl0_97+gl0_98+gl0_99+gl0_100+gl0_101+gl0_102+gl0_103+gl0_104+gl0_105+gl0_106+gl0_107+gl0_108+gl0_109+gl0_110+gl0_111+gl0_112+gl0_113+gl0_114+gl0_115+gl0_116+gl0_117+gl0_118+gl0_119+gl0_120+gl0_121+gl0_122+gl0_123+gl0_124+gl0_125+gl0_126+gl0_127+gl0_128+gl0_129+gl0_130+gl0_131+gl0_132+gl0_133+gl0_134+gl0_135+gl0_136+gl0_137+gl0_138+gl0_139+gl0_140+gl0_141+gl0_142+gl0_143+gl0_144+gl0_145+gl0_146+gl0_147+gl0_148+gl0_149+gl0_150+gl0_151+gl0_152+gl0_153+gl0_154+gl0_155+gl0_156+gl0_157+gl0_158+gl0_159+gl0_160+gl0_161+gl0_162+gl0_163+gl0_164+gl0_165+gl0_166+gl0_167+gl0_168+gl0_169+gl0_170+gl0_171+gl0_172+gl0_173+gl0_174+gl0_175+gl0_176+gl0_177+gl0_178+gl0_179+gl0_180+gl0_181+gl0_182+gl0_183+gl0_184+gl0_185+gl0_186+gl0_187+gl0_188+gl0_189+gl0_190+gl0_191+gl0_192+gl0_193+gl0_194+gl0_195+gl0_196+gl0_197+gl0_198+gl0_199+gl0_200+gl0_201+gl0_202+gl0_203+gl0_204+gl0_205+gl0_206+gl0_207+gl0_208+gl0_209+gl0_210+gl0_211+gl0_212+gl0_213+gl0_214+gl0_215+gl0_216+gl0_217+gl0_218+gl0_219+gl0_220+gl0_221+gl0_222+gl0_223+gl0_224+gl0_225+gl0_226+gl0_227+gl0_228+gl0_229+gl0_230+gl0_231+gl0_232+gl0_233+gl0_234+gl0_235+gl0_236+gl0_237+gl0_238+gl0_239+gl0_240+gl0_241+gl0_242+gl0_243+gl0_244+gl0_245+gl0_246+gl0_247+gl0_248+gl0_249+gl0_250+gl0_251+gl0_252+gl0_253+gl0_254+gl0_255+gl0_256+gl0_257+gl0_258+gl0_259+gl0_260+gl0_261+gl0_262+gl0_263+gl0_264+gl0_265+gl0_266+gl0_267+gl0_268+gl0_269+gl0_270+gl0_271+gl0_272+gl0_273+gl0_274+gl0_275+gl0_276+gl0_277+gl0_278+gl0_279+gl0_280+gl0_281+gl0_282+gl0_283+gl0_284+gl0_285+gl0_286+gl0_287+gl0_288+gl0_289+gl0_290+gl0_291+gl0_292+gl0_293+gl0_294+gl0_295+gl0_296+gl0_297+gl0_298+gl0_299+gl0_300+gl0_301+gl0_302
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-06 with value :c6_0+c6_1+c6_2+c6_3+c6_4+c6_5+c6_6+c6_7+c6_8+c6_9+c6_10+c6_11+c6_12+c6_13+c6_14+c6_15+c6_16+c6_17+c6_18+c6_19+c6_20+c6_21+c6_22+c6_23+c6_24+c6_25+c6_26+c6_27+c6_28+c6_29+c6_30+c6_31+c6_32+c6_33+c6_34+c6_35+c6_36+c6_37+c6_38+c6_39+c6_40+c6_41+c6_42+c6_43+c6_44+c6_45+c6_46+c6_47+c6_48+c6_49+c6_50+c6_51+c6_52+c6_53+c6_54+c6_55+c6_56+c6_57+c6_58+c6_59+c6_60+c6_61+c6_62+c6_63+c6_64+c6_65+c6_66+c6_67+c6_68+c6_69+c6_70+c6_71+c6_72+c6_73+c6_74+c6_75+c6_76+c6_77+c6_78+c6_79+c6_80+c6_81+c6_82+c6_83+c6_84+c6_85+c6_86+c6_87+c6_88+c6_89+c6_90+c6_91+c6_92+c6_93+c6_94+c6_95+c6_96+c6_97+c6_98+c6_99+c6_100+c6_101+c6_102+c6_103+c6_104+c6_105+c6_106+c6_107+c6_108+c6_109+c6_110+c6_111+c6_112+c6_113+c6_114+c6_115+c6_116+c6_117+c6_118+c6_119+c6_120+c6_121+c6_122+c6_123+c6_124+c6_125+c6_126+c6_127+c6_128+c6_129+c6_130+c6_131+c6_132+c6_133+c6_134+c6_135+c6_136+c6_137+c6_138+c6_139+c6_140+c6_141+c6_142+c6_143+c6_144+c6_145+c6_146+c6_147+c6_148+c6_149+c6_150+c6_151+c6_152+c6_153+c6_154+c6_155+c6_156+c6_157+c6_158+c6_159+c6_160+c6_161+c6_162+c6_163+c6_164+c6_165+c6_166+c6_167+c6_168+c6_169+c6_170+c6_171+c6_172+c6_173+c6_174+c6_175+c6_176+c6_177+c6_178+c6_179+c6_180+c6_181+c6_182+c6_183+c6_184+c6_185+c6_186+c6_187+c6_188+c6_189+c6_190+c6_191+c6_192+c6_193+c6_194+c6_195+c6_196+c6_197+c6_198+c6_199+c6_200+c6_201+c6_202+c6_203+c6_204+c6_205+c6_206+c6_207+c6_208+c6_209+c6_210+c6_211+c6_212+c6_213+c6_214+c6_215+c6_216+c6_217+c6_218+c6_219+c6_220+c6_221+c6_222+c6_223+c6_224+c6_225+c6_226+c6_227+c6_228+c6_229+c6_230+c6_231+c6_232+c6_233+c6_234+c6_235+c6_236+c6_237+c6_238+c6_239+c6_240+c6_241+c6_242+c6_243+c6_244+c6_245+c6_246+c6_247+c6_248+c6_249+c6_250+c6_251+c6_252+c6_253+c6_254+c6_255+c6_256+c6_257+c6_258+c6_259+c6_260+c6_261+c6_262+c6_263+c6_264+c6_265+c6_266+c6_267+c6_268+c6_269+c6_270+c6_271+c6_272+c6_273+c6_274+c6_275+c6_276+c6_277+c6_278+c6_279+c6_280+c6_281+c6_282+c6_283+c6_284+c6_285+c6_286+c6_287+c6_288+c6_289+c6_290+c6_291+c6_292+c6_293+c6_294+c6_295+c6_296+c6_297+c6_298+c6_299+c6_300+c6_301+c6_302+c6_303+c6_304+c6_305+c6_306+c6_307+c6_308+c6_309+c6_310+c6_311+c6_312+c6_313+c6_314+c6_315+c6_316+c6_317+c6_318+c6_319+c6_320+c6_321+c6_322+c6_323+c6_324+c6_325+c6_326+c6_327+c6_328+c6_329+c6_330+c6_331+c6_332+c6_333+c6_334+c6_335+c6_336+c6_337+c6_338+c6_339+c6_340+c6_341+c6_342+c6_343+c6_344+c6_345+c6_346+c6_347+c6_348+c6_349+c6_350+c6_351+c6_352+c6_353+c6_354+c6_355+c6_356+c6_357+c6_358+c6_359+c6_360+c6_361+c6_362+c6_363+c6_364+c6_365+c6_366+c6_367+c6_368+c6_369+c6_370+c6_371+c6_372+c6_373+c6_374+c6_375+c6_376+c6_377+c6_378+c6_379+c6_380+c6_381+c6_382+c6_383+c6_384+c6_385+c6_386+c6_387+c6_388+c6_389+c6_390+c6_391+c6_392+c6_393+c6_394+c6_395+c6_396+c6_397+c6_398+c6_399+c6_400+c6_401+c6_402+c6_403+c6_404+c6_405+c6_406+c6_407+c6_408+c6_409+c6_410+c6_411+c6_412+c6_413+c6_414+c6_415+c6_416+c6_417+c6_418+c6_419+c6_420+c6_421+c6_422+c6_423+c6_424+c6_425+c6_426+c6_427+c6_428+c6_429+c6_430+c6_431+c6_432+c6_433+c6_434+c6_435+c6_436+c6_437+c6_438+c6_439+c6_440+c6_441+c6_442+c6_443+c6_444+c6_445+c6_446+c6_447+c6_448+c6_449+c6_450+c6_451+c6_452+c6_453+c6_454+c6_455+c6_456+c6_457+c6_458+c6_459+c6_460+c6_461+c6_462+c6_463+c6_464+c6_465+c6_466+c6_467+c6_468+c6_469+c6_470+c6_471+c6_472+c6_473+c6_474+c6_475+c6_476+c6_477+c6_478+c6_479+c6_480+c6_481+c6_482+c6_483+c6_484+c6_485+c6_486+c6_487+c6_488+c6_489+c6_490+c6_491+c6_492+c6_493+c6_494+c6_495+c6_496+c6_497+c6_498+c6_499+c6_500+c6_501+c6_502+c6_503+c6_504+c6_505+c6_506+c6_507+c6_508+c6_509+c6_510+c6_511+c6_512+c6_513+c6_514+c6_515+c6_516+c6_517+c6_518+c6_519+c6_520+c6_521+c6_522+c6_523+c6_524+c6_525+c6_526+c6_527+c6_528+c6_529+c6_530+c6_531+c6_532+c6_533+c6_534+c6_535+c6_536+c6_537+c6_538+c6_539+c6_540+c6_541+c6_542+c6_543+c6_544+c6_545+c6_546+c6_547+c6_548+c6_549+c6_550+c6_551+c6_552+c6_553+c6_554+c6_555+c6_556+c6_557+c6_558+c6_559+c6_560+c6_561+c6_562+c6_563+c6_564+c6_565+c6_566+c6_567+c6_568+c6_569+c6_570+c6_571+c6_572+c6_573+c6_574+c6_575+c6_576+c6_577+c6_578+c6_579+c6_580+c6_581+c6_582+c6_583+c6_584+c6_585+c6_586+c6_587+c6_588+c6_589+c6_590+c6_591+c6_592+c6_593+c6_594+c6_595+c6_596+c6_597+c6_598+c6_599+c6_600+c6_601+c6_602+c6_603+c6_604+c6_605
Read [bounds] property : FamilyReunion-COL-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-COL-L00100M0010C005P005G002-UpperBounds-08 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-COL-L00100M0010C005P005G002-UpperBounds-09 with value :l12_0+l12_1+l12_2+l12_3+l12_4+l12_5+l12_6+l12_7+l12_8+l12_9+l12_10+l12_11+l12_12+l12_13+l12_14+l12_15+l12_16+l12_17+l12_18+l12_19+l12_20+l12_21+l12_22+l12_23+l12_24+l12_25+l12_26+l12_27+l12_28+l12_29+l12_30+l12_31+l12_32+l12_33+l12_34+l12_35+l12_36+l12_37+l12_38+l12_39+l12_40+l12_41+l12_42+l12_43+l12_44+l12_45+l12_46+l12_47+l12_48+l12_49+l12_50+l12_51+l12_52+l12_53+l12_54+l12_55+l12_56+l12_57+l12_58+l12_59+l12_60+l12_61+l12_62+l12_63+l12_64+l12_65+l12_66+l12_67+l12_68+l12_69+l12_70+l12_71+l12_72+l12_73+l12_74+l12_75+l12_76+l12_77+l12_78+l12_79+l12_80+l12_81+l12_82+l12_83+l12_84+l12_85+l12_86+l12_87+l12_88+l12_89+l12_90+l12_91+l12_92+l12_93+l12_94+l12_95+l12_96+l12_97+l12_98+l12_99+l12_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-10 with value :p7_0+p7_1+p7_2+p7_3+p7_4+p7_5
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-11 with value :lg0_0+lg0_1+lg0_2+lg0_3+lg0_4+lg0_5+lg0_6+lg0_7+lg0_8+lg0_9+lg0_10+lg0_11+lg0_12+lg0_13+lg0_14+lg0_15+lg0_16+lg0_17+lg0_18+lg0_19+lg0_20+lg0_21+lg0_22+lg0_23+lg0_24+lg0_25+lg0_26+lg0_27+lg0_28+lg0_29+lg0_30+lg0_31+lg0_32+lg0_33+lg0_34+lg0_35+lg0_36+lg0_37+lg0_38+lg0_39+lg0_40+lg0_41+lg0_42+lg0_43+lg0_44+lg0_45+lg0_46+lg0_47+lg0_48+lg0_49+lg0_50+lg0_51+lg0_52+lg0_53+lg0_54+lg0_55+lg0_56+lg0_57+lg0_58+lg0_59+lg0_60+lg0_61+lg0_62+lg0_63+lg0_64+lg0_65+lg0_66+lg0_67+lg0_68+lg0_69+lg0_70+lg0_71+lg0_72+lg0_73+lg0_74+lg0_75+lg0_76+lg0_77+lg0_78+lg0_79+lg0_80+lg0_81+lg0_82+lg0_83+lg0_84+lg0_85+lg0_86+lg0_87+lg0_88+lg0_89+lg0_90+lg0_91+lg0_92+lg0_93+lg0_94+lg0_95+lg0_96+lg0_97+lg0_98+lg0_99+lg0_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-12 with value :l12_0+l12_1+l12_2+l12_3+l12_4+l12_5+l12_6+l12_7+l12_8+l12_9+l12_10+l12_11+l12_12+l12_13+l12_14+l12_15+l12_16+l12_17+l12_18+l12_19+l12_20+l12_21+l12_22+l12_23+l12_24+l12_25+l12_26+l12_27+l12_28+l12_29+l12_30+l12_31+l12_32+l12_33+l12_34+l12_35+l12_36+l12_37+l12_38+l12_39+l12_40+l12_41+l12_42+l12_43+l12_44+l12_45+l12_46+l12_47+l12_48+l12_49+l12_50+l12_51+l12_52+l12_53+l12_54+l12_55+l12_56+l12_57+l12_58+l12_59+l12_60+l12_61+l12_62+l12_63+l12_64+l12_65+l12_66+l12_67+l12_68+l12_69+l12_70+l12_71+l12_72+l12_73+l12_74+l12_75+l12_76+l12_77+l12_78+l12_79+l12_80+l12_81+l12_82+l12_83+l12_84+l12_85+l12_86+l12_87+l12_88+l12_89+l12_90+l12_91+l12_92+l12_93+l12_94+l12_95+l12_96+l12_97+l12_98+l12_99+l12_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-13 with value :lp0_0+lp0_1+lp0_2+lp0_3+lp0_4+lp0_5+lp0_6+lp0_7+lp0_8+lp0_9+lp0_10+lp0_11+lp0_12+lp0_13+lp0_14+lp0_15+lp0_16+lp0_17+lp0_18+lp0_19+lp0_20+lp0_21+lp0_22+lp0_23+lp0_24+lp0_25+lp0_26+lp0_27+lp0_28+lp0_29+lp0_30+lp0_31+lp0_32+lp0_33+lp0_34+lp0_35+lp0_36+lp0_37+lp0_38+lp0_39+lp0_40+lp0_41+lp0_42+lp0_43+lp0_44+lp0_45+lp0_46+lp0_47+lp0_48+lp0_49+lp0_50+lp0_51+lp0_52+lp0_53+lp0_54+lp0_55+lp0_56+lp0_57+lp0_58+lp0_59+lp0_60+lp0_61+lp0_62+lp0_63+lp0_64+lp0_65+lp0_66+lp0_67+lp0_68+lp0_69+lp0_70+lp0_71+lp0_72+lp0_73+lp0_74+lp0_75+lp0_76+lp0_77+lp0_78+lp0_79+lp0_80+lp0_81+lp0_82+lp0_83+lp0_84+lp0_85+lp0_86+lp0_87+lp0_88+lp0_89+lp0_90+lp0_91+lp0_92+lp0_93+lp0_94+lp0_95+lp0_96+lp0_97+lp0_98+lp0_99+lp0_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-14 with value :ml2_0+ml2_1+ml2_2+ml2_3+ml2_4+ml2_5+ml2_6+ml2_7+ml2_8+ml2_9+ml2_10+ml2_11+ml2_12+ml2_13+ml2_14+ml2_15+ml2_16+ml2_17+ml2_18+ml2_19+ml2_20+ml2_21+ml2_22+ml2_23+ml2_24+ml2_25+ml2_26+ml2_27+ml2_28+ml2_29+ml2_30+ml2_31+ml2_32+ml2_33+ml2_34+ml2_35+ml2_36+ml2_37+ml2_38+ml2_39+ml2_40+ml2_41+ml2_42+ml2_43+ml2_44+ml2_45+ml2_46+ml2_47+ml2_48+ml2_49+ml2_50+ml2_51+ml2_52+ml2_53+ml2_54+ml2_55+ml2_56+ml2_57+ml2_58+ml2_59+ml2_60+ml2_61+ml2_62+ml2_63+ml2_64+ml2_65+ml2_66+ml2_67+ml2_68+ml2_69+ml2_70+ml2_71+ml2_72+ml2_73+ml2_74+ml2_75+ml2_76+ml2_77+ml2_78+ml2_79+ml2_80+ml2_81+ml2_82+ml2_83+ml2_84+ml2_85+ml2_86+ml2_87+ml2_88+ml2_89+ml2_90+ml2_91+ml2_92+ml2_93+ml2_94+ml2_95+ml2_96+ml2_97+ml2_98+ml2_99+ml2_100+ml2_101+ml2_102+ml2_103+ml2_104+ml2_105+ml2_106+ml2_107+ml2_108+ml2_109+ml2_110+ml2_111+ml2_112+ml2_113+ml2_114+ml2_115+ml2_116+ml2_117+ml2_118+ml2_119+ml2_120+ml2_121+ml2_122+ml2_123+ml2_124+ml2_125+ml2_126+ml2_127+ml2_128+ml2_129+ml2_130+ml2_131+ml2_132+ml2_133+ml2_134+ml2_135+ml2_136+ml2_137+ml2_138+ml2_139+ml2_140+ml2_141+ml2_142+ml2_143+ml2_144+ml2_145+ml2_146+ml2_147+ml2_148+ml2_149+ml2_150+ml2_151+ml2_152+ml2_153+ml2_154+ml2_155+ml2_156+ml2_157+ml2_158+ml2_159+ml2_160+ml2_161+ml2_162+ml2_163+ml2_164+ml2_165+ml2_166+ml2_167+ml2_168+ml2_169+ml2_170+ml2_171+ml2_172+ml2_173+ml2_174+ml2_175+ml2_176+ml2_177+ml2_178+ml2_179+ml2_180+ml2_181+ml2_182+ml2_183+ml2_184+ml2_185+ml2_186+ml2_187+ml2_188+ml2_189+ml2_190+ml2_191+ml2_192+ml2_193+ml2_194+ml2_195+ml2_196+ml2_197+ml2_198+ml2_199+ml2_200+ml2_201+ml2_202+ml2_203+ml2_204+ml2_205+ml2_206+ml2_207+ml2_208+ml2_209+ml2_210+ml2_211+ml2_212+ml2_213+ml2_214+ml2_215+ml2_216+ml2_217+ml2_218+ml2_219+ml2_220+ml2_221+ml2_222+ml2_223+ml2_224+ml2_225+ml2_226+ml2_227+ml2_228+ml2_229+ml2_230+ml2_231+ml2_232+ml2_233+ml2_234+ml2_235+ml2_236+ml2_237+ml2_238+ml2_239+ml2_240+ml2_241+ml2_242+ml2_243+ml2_244+ml2_245+ml2_246+ml2_247+ml2_248+ml2_249+ml2_250+ml2_251+ml2_252+ml2_253+ml2_254+ml2_255+ml2_256+ml2_257+ml2_258+ml2_259+ml2_260+ml2_261+ml2_262+ml2_263+ml2_264+ml2_265+ml2_266+ml2_267+ml2_268+ml2_269+ml2_270+ml2_271+ml2_272+ml2_273+ml2_274+ml2_275+ml2_276+ml2_277+ml2_278+ml2_279+ml2_280+ml2_281+ml2_282+ml2_283+ml2_284+ml2_285+ml2_286+ml2_287+ml2_288+ml2_289+ml2_290+ml2_291+ml2_292+ml2_293+ml2_294+ml2_295+ml2_296+ml2_297+ml2_298+ml2_299+ml2_300+ml2_301+ml2_302+ml2_303+ml2_304+ml2_305+ml2_306+ml2_307+ml2_308+ml2_309+ml2_310+ml2_311+ml2_312+ml2_313+ml2_314+ml2_315+ml2_316+ml2_317+ml2_318+ml2_319+ml2_320+ml2_321+ml2_322+ml2_323+ml2_324+ml2_325+ml2_326+ml2_327+ml2_328+ml2_329+ml2_330+ml2_331+ml2_332+ml2_333+ml2_334+ml2_335+ml2_336+ml2_337+ml2_338+ml2_339+ml2_340+ml2_341+ml2_342+ml2_343+ml2_344+ml2_345+ml2_346+ml2_347+ml2_348+ml2_349+ml2_350+ml2_351+ml2_352+ml2_353+ml2_354+ml2_355+ml2_356+ml2_357+ml2_358+ml2_359+ml2_360+ml2_361+ml2_362+ml2_363+ml2_364+ml2_365+ml2_366+ml2_367+ml2_368+ml2_369+ml2_370+ml2_371+ml2_372+ml2_373+ml2_374+ml2_375+ml2_376+ml2_377+ml2_378+ml2_379+ml2_380+ml2_381+ml2_382+ml2_383+ml2_384+ml2_385+ml2_386+ml2_387+ml2_388+ml2_389+ml2_390+ml2_391+ml2_392+ml2_393+ml2_394+ml2_395+ml2_396+ml2_397+ml2_398+ml2_399+ml2_400+ml2_401+ml2_402+ml2_403+ml2_404+ml2_405+ml2_406+ml2_407+ml2_408+ml2_409+ml2_410+ml2_411+ml2_412+ml2_413+ml2_414+ml2_415+ml2_416+ml2_417+ml2_418+ml2_419+ml2_420+ml2_421+ml2_422+ml2_423+ml2_424+ml2_425+ml2_426+ml2_427+ml2_428+ml2_429+ml2_430+ml2_431+ml2_432+ml2_433+ml2_434+ml2_435+ml2_436+ml2_437+ml2_438+ml2_439+ml2_440+ml2_441+ml2_442+ml2_443+ml2_444+ml2_445+ml2_446+ml2_447+ml2_448+ml2_449+ml2_450+ml2_451+ml2_452+ml2_453+ml2_454+ml2_455+ml2_456+ml2_457+ml2_458+ml2_459+ml2_460+ml2_461+ml2_462+ml2_463+ml2_464+ml2_465+ml2_466+ml2_467+ml2_468+ml2_469+ml2_470+ml2_471+ml2_472+ml2_473+ml2_474+ml2_475+ml2_476+ml2_477+ml2_478+ml2_479+ml2_480+ml2_481+ml2_482+ml2_483+ml2_484+ml2_485+ml2_486+ml2_487+ml2_488+ml2_489+ml2_490+ml2_491+ml2_492+ml2_493+ml2_494+ml2_495+ml2_496+ml2_497+ml2_498+ml2_499+ml2_500+ml2_501+ml2_502+ml2_503+ml2_504+ml2_505+ml2_506+ml2_507+ml2_508+ml2_509+ml2_510+ml2_511+ml2_512+ml2_513+ml2_514+ml2_515+ml2_516+ml2_517+ml2_518+ml2_519+ml2_520+ml2_521+ml2_522+ml2_523+ml2_524+ml2_525+ml2_526+ml2_527+ml2_528+ml2_529+ml2_530+ml2_531+ml2_532+ml2_533+ml2_534+ml2_535+ml2_536+ml2_537+ml2_538+ml2_539+ml2_540+ml2_541+ml2_542+ml2_543+ml2_544+ml2_545+ml2_546+ml2_547+ml2_548+ml2_549+ml2_550+ml2_551+ml2_552+ml2_553+ml2_554+ml2_555+ml2_556+ml2_557+ml2_558+ml2_559+ml2_560+ml2_561+ml2_562+ml2_563+ml2_564+ml2_565+ml2_566+ml2_567+ml2_568+ml2_569+ml2_570+ml2_571+ml2_572+ml2_573+ml2_574+ml2_575+ml2_576+ml2_577+ml2_578+ml2_579+ml2_580+ml2_581+ml2_582+ml2_583+ml2_584+ml2_585+ml2_586+ml2_587+ml2_588+ml2_589+ml2_590+ml2_591+ml2_592+ml2_593+ml2_594+ml2_595+ml2_596+ml2_597+ml2_598+ml2_599+ml2_600+ml2_601+ml2_602+ml2_603+ml2_604+ml2_605+ml2_606+ml2_607+ml2_608+ml2_609+ml2_610+ml2_611+ml2_612+ml2_613+ml2_614+ml2_615+ml2_616+ml2_617+ml2_618+ml2_619+ml2_620+ml2_621+ml2_622+ml2_623+ml2_624+ml2_625+ml2_626+ml2_627+ml2_628+ml2_629+ml2_630+ml2_631+ml2_632+ml2_633+ml2_634+ml2_635+ml2_636+ml2_637+ml2_638+ml2_639+ml2_640+ml2_641+ml2_642+ml2_643+ml2_644+ml2_645+ml2_646+ml2_647+ml2_648+ml2_649+ml2_650+ml2_651+ml2_652+ml2_653+ml2_654+ml2_655+ml2_656+ml2_657+ml2_658+ml2_659+ml2_660+ml2_661+ml2_662+ml2_663+ml2_664+ml2_665+ml2_666+ml2_667+ml2_668+ml2_669+ml2_670+ml2_671+ml2_672+ml2_673+ml2_674+ml2_675+ml2_676+ml2_677+ml2_678+ml2_679+ml2_680+ml2_681+ml2_682+ml2_683+ml2_684+ml2_685+ml2_686+ml2_687+ml2_688+ml2_689+ml2_690+ml2_691+ml2_692+ml2_693+ml2_694+ml2_695+ml2_696+ml2_697+ml2_698+ml2_699+ml2_700+ml2_701+ml2_702+ml2_703+ml2_704+ml2_705+ml2_706+ml2_707+ml2_708+ml2_709+ml2_710+ml2_711+ml2_712+ml2_713+ml2_714+ml2_715+ml2_716+ml2_717+ml2_718+ml2_719+ml2_720+ml2_721+ml2_722+ml2_723+ml2_724+ml2_725+ml2_726+ml2_727+ml2_728+ml2_729+ml2_730+ml2_731+ml2_732+ml2_733+ml2_734+ml2_735+ml2_736+ml2_737+ml2_738+ml2_739+ml2_740+ml2_741+ml2_742+ml2_743+ml2_744+ml2_745+ml2_746+ml2_747+ml2_748+ml2_749+ml2_750+ml2_751+ml2_752+ml2_753+ml2_754+ml2_755+ml2_756+ml2_757+ml2_758+ml2_759+ml2_760+ml2_761+ml2_762+ml2_763+ml2_764+ml2_765+ml2_766+ml2_767+ml2_768+ml2_769+ml2_770+ml2_771+ml2_772+ml2_773+ml2_774+ml2_775+ml2_776+ml2_777+ml2_778+ml2_779+ml2_780+ml2_781+ml2_782+ml2_783+ml2_784+ml2_785+ml2_786+ml2_787+ml2_788+ml2_789+ml2_790+ml2_791+ml2_792+ml2_793+ml2_794+ml2_795+ml2_796+ml2_797+ml2_798+ml2_799+ml2_800+ml2_801+ml2_802+ml2_803+ml2_804+ml2_805+ml2_806+ml2_807+ml2_808+ml2_809+ml2_810+ml2_811+ml2_812+ml2_813+ml2_814+ml2_815+ml2_816+ml2_817+ml2_818+ml2_819+ml2_820+ml2_821+ml2_822+ml2_823+ml2_824+ml2_825+ml2_826+ml2_827+ml2_828+ml2_829+ml2_830+ml2_831+ml2_832+ml2_833+ml2_834+ml2_835+ml2_836+ml2_837+ml2_838+ml2_839+ml2_840+ml2_841+ml2_842+ml2_843+ml2_844+ml2_845+ml2_846+ml2_847+ml2_848+ml2_849+ml2_850+ml2_851+ml2_852+ml2_853+ml2_854+ml2_855+ml2_856+ml2_857+ml2_858+ml2_859+ml2_860+ml2_861+ml2_862+ml2_863+ml2_864+ml2_865+ml2_866+ml2_867+ml2_868+ml2_869+ml2_870+ml2_871+ml2_872+ml2_873+ml2_874+ml2_875+ml2_876+ml2_877+ml2_878+ml2_879+ml2_880+ml2_881+ml2_882+ml2_883+ml2_884+ml2_885+ml2_886+ml2_887+ml2_888+ml2_889+ml2_890+ml2_891+ml2_892+ml2_893+ml2_894+ml2_895+ml2_896+ml2_897+ml2_898+ml2_899+ml2_900+ml2_901+ml2_902+ml2_903+ml2_904+ml2_905+ml2_906+ml2_907+ml2_908+ml2_909+ml2_910+ml2_911+ml2_912+ml2_913+ml2_914+ml2_915+ml2_916+ml2_917+ml2_918+ml2_919+ml2_920+ml2_921+ml2_922+ml2_923+ml2_924+ml2_925+ml2_926+ml2_927+ml2_928+ml2_929+ml2_930+ml2_931+ml2_932+ml2_933+ml2_934+ml2_935+ml2_936+ml2_937+ml2_938+ml2_939+ml2_940+ml2_941+ml2_942+ml2_943+ml2_944+ml2_945+ml2_946+ml2_947+ml2_948+ml2_949+ml2_950+ml2_951+ml2_952+ml2_953+ml2_954+ml2_955+ml2_956+ml2_957+ml2_958+ml2_959+ml2_960+ml2_961+ml2_962+ml2_963+ml2_964+ml2_965+ml2_966+ml2_967+ml2_968+ml2_969+ml2_970+ml2_971+ml2_972+ml2_973+ml2_974+ml2_975+ml2_976+ml2_977+ml2_978+ml2_979+ml2_980+ml2_981+ml2_982+ml2_983+ml2_984+ml2_985+ml2_986+ml2_987+ml2_988+ml2_989+ml2_990+ml2_991+ml2_992+ml2_993+ml2_994+ml2_995+ml2_996+ml2_997+ml2_998+ml2_999+ml2_1000+ml2_1001+ml2_1002+ml2_1003+ml2_1004+ml2_1005+ml2_1006+ml2_1007+ml2_1008+ml2_1009+ml2_1010+ml2_1011+ml2_1012+ml2_1013+ml2_1014+ml2_1015+ml2_1016+ml2_1017+ml2_1018+ml2_1019+ml2_1020+ml2_1021+ml2_1022+ml2_1023+ml2_1024+ml2_1025+ml2_1026+ml2_1027+ml2_1028+ml2_1029+ml2_1030+ml2_1031+ml2_1032+ml2_1033+ml2_1034+ml2_1035+ml2_1036+ml2_1037+ml2_1038+ml2_1039+ml2_1040+ml2_1041+ml2_1042+ml2_1043+ml2_1044+ml2_1045+ml2_1046+ml2_1047+ml2_1048+ml2_1049+ml2_1050+ml2_1051+ml2_1052+ml2_1053+ml2_1054+ml2_1055+ml2_1056+ml2_1057+ml2_1058+ml2_1059+ml2_1060+ml2_1061+ml2_1062+ml2_1063+ml2_1064+ml2_1065+ml2_1066+ml2_1067+ml2_1068+ml2_1069+ml2_1070+ml2_1071+ml2_1072+ml2_1073+ml2_1074+ml2_1075+ml2_1076+ml2_1077+ml2_1078+ml2_1079+ml2_1080+ml2_1081+ml2_1082+ml2_1083+ml2_1084+ml2_1085+ml2_1086+ml2_1087+ml2_1088+ml2_1089+ml2_1090+ml2_1091+ml2_1092+ml2_1093+ml2_1094+ml2_1095+ml2_1096+ml2_1097+ml2_1098+ml2_1099+ml2_1100+ml2_1101+ml2_1102+ml2_1103+ml2_1104+ml2_1105+ml2_1106+ml2_1107+ml2_1108+ml2_1109+ml2_1110
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-15 with value :m11_0+m11_1+m11_2+m11_3+m11_4+m11_5+m11_6+m11_7+m11_8+m11_9+m11_10
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-COL-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-COL-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-162048900400109"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00100M0010C005P005G002.tgz
mv FamilyReunion-COL-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 '
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 ;