About the Execution of ITS-Tools.M for FamilyReunion-COL-L00100M0010C005P005G002
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 13208.320 | 3600000.00 | 3648610.00 | 432.50 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2019-input.r203-csrt-155344537700101.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................
=====================================================================
Generated by BenchKit 2-3954
Executing tool itstoolsm
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 r203-csrt-155344537700101
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 296K
-rw-r--r-- 1 mcc users 3.5K Mar 24 07:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 24 07:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Mar 24 06:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Mar 24 06:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 2.7K Mar 24 06:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 10K Mar 24 06:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 24 06:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.8K Mar 24 06:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 24 00:18 NewModel
-rw-r--r-- 1 mcc users 3.7K Mar 24 06:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 24 06:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 132 Mar 24 06:27 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 370 Mar 24 06:27 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.3K Mar 24 06:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 24 06:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 24 06:46 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 24 06:46 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 00:18 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 24 00:18 instance
-rw-r--r-- 1 mcc users 5 Mar 24 00:18 iscolored
-rw-r--r-- 1 mcc users 140K Mar 24 00:18 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 1553830786919
03:39:49.269 [main] ERROR PNML validation - The rng grammar file can't be accessed : www.pnml.org
03:39:49.272 [main] ERROR import - Grammar file errors have been raised, the validation can't be done, process will continue without Grammar validation
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
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/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], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/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
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 :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-01 with value :g0_0+g0_1+g0_2
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-02 with value :p4_0+p4_1+p4_2+p4_3+p4_4+p4_5+p4_6+p4_7+p4_8+p4_9+p4_10+p4_11+p4_12+p4_13+p4_14+p4_15+p4_16+p4_17+p4_18+p4_19+p4_20+p4_21+p4_22+p4_23+p4_24+p4_25+p4_26+p4_27+p4_28+p4_29+p4_30+p4_31+p4_32+p4_33+p4_34+p4_35+p4_36+p4_37+p4_38+p4_39+p4_40+p4_41+p4_42+p4_43+p4_44+p4_45+p4_46+p4_47+p4_48+p4_49+p4_50+p4_51+p4_52+p4_53+p4_54+p4_55+p4_56+p4_57+p4_58+p4_59+p4_60+p4_61+p4_62+p4_63+p4_64+p4_65+p4_66+p4_67+p4_68+p4_69+p4_70+p4_71+p4_72+p4_73+p4_74+p4_75+p4_76+p4_77+p4_78+p4_79+p4_80+p4_81+p4_82+p4_83+p4_84+p4_85+p4_86+p4_87+p4_88+p4_89+p4_90+p4_91+p4_92+p4_93+p4_94+p4_95+p4_96+p4_97+p4_98+p4_99+p4_100+p4_101+p4_102+p4_103+p4_104+p4_105+p4_106+p4_107+p4_108+p4_109+p4_110+p4_111+p4_112+p4_113+p4_114+p4_115+p4_116+p4_117+p4_118+p4_119+p4_120+p4_121+p4_122+p4_123+p4_124+p4_125+p4_126+p4_127+p4_128+p4_129+p4_130+p4_131+p4_132+p4_133+p4_134+p4_135+p4_136+p4_137+p4_138+p4_139+p4_140+p4_141+p4_142+p4_143+p4_144+p4_145+p4_146+p4_147+p4_148+p4_149+p4_150+p4_151+p4_152+p4_153+p4_154+p4_155+p4_156+p4_157+p4_158+p4_159+p4_160+p4_161+p4_162+p4_163+p4_164+p4_165+p4_166+p4_167+p4_168+p4_169+p4_170+p4_171+p4_172+p4_173+p4_174+p4_175+p4_176+p4_177+p4_178+p4_179+p4_180+p4_181+p4_182+p4_183+p4_184+p4_185+p4_186+p4_187+p4_188+p4_189+p4_190+p4_191+p4_192+p4_193+p4_194+p4_195+p4_196+p4_197+p4_198+p4_199+p4_200+p4_201+p4_202+p4_203+p4_204+p4_205+p4_206+p4_207+p4_208+p4_209+p4_210+p4_211+p4_212+p4_213+p4_214+p4_215+p4_216+p4_217+p4_218+p4_219+p4_220+p4_221+p4_222+p4_223+p4_224+p4_225+p4_226+p4_227+p4_228+p4_229+p4_230+p4_231+p4_232+p4_233+p4_234+p4_235+p4_236+p4_237+p4_238+p4_239+p4_240+p4_241+p4_242+p4_243+p4_244+p4_245+p4_246+p4_247+p4_248+p4_249+p4_250+p4_251+p4_252+p4_253+p4_254+p4_255+p4_256+p4_257+p4_258+p4_259+p4_260+p4_261+p4_262+p4_263+p4_264+p4_265+p4_266+p4_267+p4_268+p4_269+p4_270+p4_271+p4_272+p4_273+p4_274+p4_275+p4_276+p4_277+p4_278+p4_279+p4_280+p4_281+p4_282+p4_283+p4_284+p4_285+p4_286+p4_287+p4_288+p4_289+p4_290+p4_291+p4_292+p4_293+p4_294+p4_295+p4_296+p4_297+p4_298+p4_299+p4_300+p4_301+p4_302+p4_303+p4_304+p4_305+p4_306+p4_307+p4_308+p4_309+p4_310+p4_311+p4_312+p4_313+p4_314+p4_315+p4_316+p4_317+p4_318+p4_319+p4_320+p4_321+p4_322+p4_323+p4_324+p4_325+p4_326+p4_327+p4_328+p4_329+p4_330+p4_331+p4_332+p4_333+p4_334+p4_335+p4_336+p4_337+p4_338+p4_339+p4_340+p4_341+p4_342+p4_343+p4_344+p4_345+p4_346+p4_347+p4_348+p4_349+p4_350+p4_351+p4_352+p4_353+p4_354+p4_355+p4_356+p4_357+p4_358+p4_359+p4_360+p4_361+p4_362+p4_363+p4_364+p4_365+p4_366+p4_367+p4_368+p4_369+p4_370+p4_371+p4_372+p4_373+p4_374+p4_375+p4_376+p4_377+p4_378+p4_379+p4_380+p4_381+p4_382+p4_383+p4_384+p4_385+p4_386+p4_387+p4_388+p4_389+p4_390+p4_391+p4_392+p4_393+p4_394+p4_395+p4_396+p4_397+p4_398+p4_399+p4_400+p4_401+p4_402+p4_403+p4_404+p4_405+p4_406+p4_407+p4_408+p4_409+p4_410+p4_411+p4_412+p4_413+p4_414+p4_415+p4_416+p4_417+p4_418+p4_419+p4_420+p4_421+p4_422+p4_423+p4_424+p4_425+p4_426+p4_427+p4_428+p4_429+p4_430+p4_431+p4_432+p4_433+p4_434+p4_435+p4_436+p4_437+p4_438+p4_439+p4_440+p4_441+p4_442+p4_443+p4_444+p4_445+p4_446+p4_447+p4_448+p4_449+p4_450+p4_451+p4_452+p4_453+p4_454+p4_455+p4_456+p4_457+p4_458+p4_459+p4_460+p4_461+p4_462+p4_463+p4_464+p4_465+p4_466+p4_467+p4_468+p4_469+p4_470+p4_471+p4_472+p4_473+p4_474+p4_475+p4_476+p4_477+p4_478+p4_479+p4_480+p4_481+p4_482+p4_483+p4_484+p4_485+p4_486+p4_487+p4_488+p4_489+p4_490+p4_491+p4_492+p4_493+p4_494+p4_495+p4_496+p4_497+p4_498+p4_499+p4_500+p4_501+p4_502+p4_503+p4_504+p4_505+p4_506+p4_507+p4_508+p4_509+p4_510+p4_511+p4_512+p4_513+p4_514+p4_515+p4_516+p4_517+p4_518+p4_519+p4_520+p4_521+p4_522+p4_523+p4_524+p4_525+p4_526+p4_527+p4_528+p4_529+p4_530+p4_531+p4_532+p4_533+p4_534+p4_535+p4_536+p4_537+p4_538+p4_539+p4_540+p4_541+p4_542+p4_543+p4_544+p4_545+p4_546+p4_547+p4_548+p4_549+p4_550+p4_551+p4_552+p4_553+p4_554+p4_555+p4_556+p4_557+p4_558+p4_559+p4_560+p4_561+p4_562+p4_563+p4_564+p4_565+p4_566+p4_567+p4_568+p4_569+p4_570+p4_571+p4_572+p4_573+p4_574+p4_575+p4_576+p4_577+p4_578+p4_579+p4_580+p4_581+p4_582+p4_583+p4_584+p4_585+p4_586+p4_587+p4_588+p4_589+p4_590+p4_591+p4_592+p4_593+p4_594+p4_595+p4_596+p4_597+p4_598+p4_599+p4_600+p4_601+p4_602+p4_603+p4_604+p4_605
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-03 with value :l35_0+l35_1+l35_2+l35_3+l35_4+l35_5+l35_6+l35_7+l35_8+l35_9+l35_10+l35_11+l35_12+l35_13+l35_14+l35_15+l35_16+l35_17+l35_18+l35_19+l35_20+l35_21+l35_22+l35_23+l35_24+l35_25+l35_26+l35_27+l35_28+l35_29+l35_30+l35_31+l35_32+l35_33+l35_34+l35_35+l35_36+l35_37+l35_38+l35_39+l35_40+l35_41+l35_42+l35_43+l35_44+l35_45+l35_46+l35_47+l35_48+l35_49+l35_50+l35_51+l35_52+l35_53+l35_54+l35_55+l35_56+l35_57+l35_58+l35_59+l35_60+l35_61+l35_62+l35_63+l35_64+l35_65+l35_66+l35_67+l35_68+l35_69+l35_70+l35_71+l35_72+l35_73+l35_74+l35_75+l35_76+l35_77+l35_78+l35_79+l35_80+l35_81+l35_82+l35_83+l35_84+l35_85+l35_86+l35_87+l35_88+l35_89+l35_90+l35_91+l35_92+l35_93+l35_94+l35_95+l35_96+l35_97+l35_98+l35_99+l35_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-04 with value :lm1_0+lm1_1+lm1_2+lm1_3+lm1_4+lm1_5+lm1_6+lm1_7+lm1_8+lm1_9+lm1_10+lm1_11+lm1_12+lm1_13+lm1_14+lm1_15+lm1_16+lm1_17+lm1_18+lm1_19+lm1_20+lm1_21+lm1_22+lm1_23+lm1_24+lm1_25+lm1_26+lm1_27+lm1_28+lm1_29+lm1_30+lm1_31+lm1_32+lm1_33+lm1_34+lm1_35+lm1_36+lm1_37+lm1_38+lm1_39+lm1_40+lm1_41+lm1_42+lm1_43+lm1_44+lm1_45+lm1_46+lm1_47+lm1_48+lm1_49+lm1_50+lm1_51+lm1_52+lm1_53+lm1_54+lm1_55+lm1_56+lm1_57+lm1_58+lm1_59+lm1_60+lm1_61+lm1_62+lm1_63+lm1_64+lm1_65+lm1_66+lm1_67+lm1_68+lm1_69+lm1_70+lm1_71+lm1_72+lm1_73+lm1_74+lm1_75+lm1_76+lm1_77+lm1_78+lm1_79+lm1_80+lm1_81+lm1_82+lm1_83+lm1_84+lm1_85+lm1_86+lm1_87+lm1_88+lm1_89+lm1_90+lm1_91+lm1_92+lm1_93+lm1_94+lm1_95+lm1_96+lm1_97+lm1_98+lm1_99+lm1_100+lm1_101+lm1_102+lm1_103+lm1_104+lm1_105+lm1_106+lm1_107+lm1_108+lm1_109+lm1_110+lm1_111+lm1_112+lm1_113+lm1_114+lm1_115+lm1_116+lm1_117+lm1_118+lm1_119+lm1_120+lm1_121+lm1_122+lm1_123+lm1_124+lm1_125+lm1_126+lm1_127+lm1_128+lm1_129+lm1_130+lm1_131+lm1_132+lm1_133+lm1_134+lm1_135+lm1_136+lm1_137+lm1_138+lm1_139+lm1_140+lm1_141+lm1_142+lm1_143+lm1_144+lm1_145+lm1_146+lm1_147+lm1_148+lm1_149+lm1_150+lm1_151+lm1_152+lm1_153+lm1_154+lm1_155+lm1_156+lm1_157+lm1_158+lm1_159+lm1_160+lm1_161+lm1_162+lm1_163+lm1_164+lm1_165+lm1_166+lm1_167+lm1_168+lm1_169+lm1_170+lm1_171+lm1_172+lm1_173+lm1_174+lm1_175+lm1_176+lm1_177+lm1_178+lm1_179+lm1_180+lm1_181+lm1_182+lm1_183+lm1_184+lm1_185+lm1_186+lm1_187+lm1_188+lm1_189+lm1_190+lm1_191+lm1_192+lm1_193+lm1_194+lm1_195+lm1_196+lm1_197+lm1_198+lm1_199+lm1_200+lm1_201+lm1_202+lm1_203+lm1_204+lm1_205+lm1_206+lm1_207+lm1_208+lm1_209+lm1_210+lm1_211+lm1_212+lm1_213+lm1_214+lm1_215+lm1_216+lm1_217+lm1_218+lm1_219+lm1_220+lm1_221+lm1_222+lm1_223+lm1_224+lm1_225+lm1_226+lm1_227+lm1_228+lm1_229+lm1_230+lm1_231+lm1_232+lm1_233+lm1_234+lm1_235+lm1_236+lm1_237+lm1_238+lm1_239+lm1_240+lm1_241+lm1_242+lm1_243+lm1_244+lm1_245+lm1_246+lm1_247+lm1_248+lm1_249+lm1_250+lm1_251+lm1_252+lm1_253+lm1_254+lm1_255+lm1_256+lm1_257+lm1_258+lm1_259+lm1_260+lm1_261+lm1_262+lm1_263+lm1_264+lm1_265+lm1_266+lm1_267+lm1_268+lm1_269+lm1_270+lm1_271+lm1_272+lm1_273+lm1_274+lm1_275+lm1_276+lm1_277+lm1_278+lm1_279+lm1_280+lm1_281+lm1_282+lm1_283+lm1_284+lm1_285+lm1_286+lm1_287+lm1_288+lm1_289+lm1_290+lm1_291+lm1_292+lm1_293+lm1_294+lm1_295+lm1_296+lm1_297+lm1_298+lm1_299+lm1_300+lm1_301+lm1_302+lm1_303+lm1_304+lm1_305+lm1_306+lm1_307+lm1_308+lm1_309+lm1_310+lm1_311+lm1_312+lm1_313+lm1_314+lm1_315+lm1_316+lm1_317+lm1_318+lm1_319+lm1_320+lm1_321+lm1_322+lm1_323+lm1_324+lm1_325+lm1_326+lm1_327+lm1_328+lm1_329+lm1_330+lm1_331+lm1_332+lm1_333+lm1_334+lm1_335+lm1_336+lm1_337+lm1_338+lm1_339+lm1_340+lm1_341+lm1_342+lm1_343+lm1_344+lm1_345+lm1_346+lm1_347+lm1_348+lm1_349+lm1_350+lm1_351+lm1_352+lm1_353+lm1_354+lm1_355+lm1_356+lm1_357+lm1_358+lm1_359+lm1_360+lm1_361+lm1_362+lm1_363+lm1_364+lm1_365+lm1_366+lm1_367+lm1_368+lm1_369+lm1_370+lm1_371+lm1_372+lm1_373+lm1_374+lm1_375+lm1_376+lm1_377+lm1_378+lm1_379+lm1_380+lm1_381+lm1_382+lm1_383+lm1_384+lm1_385+lm1_386+lm1_387+lm1_388+lm1_389+lm1_390+lm1_391+lm1_392+lm1_393+lm1_394+lm1_395+lm1_396+lm1_397+lm1_398+lm1_399+lm1_400+lm1_401+lm1_402+lm1_403+lm1_404+lm1_405+lm1_406+lm1_407+lm1_408+lm1_409+lm1_410+lm1_411+lm1_412+lm1_413+lm1_414+lm1_415+lm1_416+lm1_417+lm1_418+lm1_419+lm1_420+lm1_421+lm1_422+lm1_423+lm1_424+lm1_425+lm1_426+lm1_427+lm1_428+lm1_429+lm1_430+lm1_431+lm1_432+lm1_433+lm1_434+lm1_435+lm1_436+lm1_437+lm1_438+lm1_439+lm1_440+lm1_441+lm1_442+lm1_443+lm1_444+lm1_445+lm1_446+lm1_447+lm1_448+lm1_449+lm1_450+lm1_451+lm1_452+lm1_453+lm1_454+lm1_455+lm1_456+lm1_457+lm1_458+lm1_459+lm1_460+lm1_461+lm1_462+lm1_463+lm1_464+lm1_465+lm1_466+lm1_467+lm1_468+lm1_469+lm1_470+lm1_471+lm1_472+lm1_473+lm1_474+lm1_475+lm1_476+lm1_477+lm1_478+lm1_479+lm1_480+lm1_481+lm1_482+lm1_483+lm1_484+lm1_485+lm1_486+lm1_487+lm1_488+lm1_489+lm1_490+lm1_491+lm1_492+lm1_493+lm1_494+lm1_495+lm1_496+lm1_497+lm1_498+lm1_499+lm1_500+lm1_501+lm1_502+lm1_503+lm1_504+lm1_505+lm1_506+lm1_507+lm1_508+lm1_509+lm1_510+lm1_511+lm1_512+lm1_513+lm1_514+lm1_515+lm1_516+lm1_517+lm1_518+lm1_519+lm1_520+lm1_521+lm1_522+lm1_523+lm1_524+lm1_525+lm1_526+lm1_527+lm1_528+lm1_529+lm1_530+lm1_531+lm1_532+lm1_533+lm1_534+lm1_535+lm1_536+lm1_537+lm1_538+lm1_539+lm1_540+lm1_541+lm1_542+lm1_543+lm1_544+lm1_545+lm1_546+lm1_547+lm1_548+lm1_549+lm1_550+lm1_551+lm1_552+lm1_553+lm1_554+lm1_555+lm1_556+lm1_557+lm1_558+lm1_559+lm1_560+lm1_561+lm1_562+lm1_563+lm1_564+lm1_565+lm1_566+lm1_567+lm1_568+lm1_569+lm1_570+lm1_571+lm1_572+lm1_573+lm1_574+lm1_575+lm1_576+lm1_577+lm1_578+lm1_579+lm1_580+lm1_581+lm1_582+lm1_583+lm1_584+lm1_585+lm1_586+lm1_587+lm1_588+lm1_589+lm1_590+lm1_591+lm1_592+lm1_593+lm1_594+lm1_595+lm1_596+lm1_597+lm1_598+lm1_599+lm1_600+lm1_601+lm1_602+lm1_603+lm1_604+lm1_605+lm1_606+lm1_607+lm1_608+lm1_609+lm1_610+lm1_611+lm1_612+lm1_613+lm1_614+lm1_615+lm1_616+lm1_617+lm1_618+lm1_619+lm1_620+lm1_621+lm1_622+lm1_623+lm1_624+lm1_625+lm1_626+lm1_627+lm1_628+lm1_629+lm1_630+lm1_631+lm1_632+lm1_633+lm1_634+lm1_635+lm1_636+lm1_637+lm1_638+lm1_639+lm1_640+lm1_641+lm1_642+lm1_643+lm1_644+lm1_645+lm1_646+lm1_647+lm1_648+lm1_649+lm1_650+lm1_651+lm1_652+lm1_653+lm1_654+lm1_655+lm1_656+lm1_657+lm1_658+lm1_659+lm1_660+lm1_661+lm1_662+lm1_663+lm1_664+lm1_665+lm1_666+lm1_667+lm1_668+lm1_669+lm1_670+lm1_671+lm1_672+lm1_673+lm1_674+lm1_675+lm1_676+lm1_677+lm1_678+lm1_679+lm1_680+lm1_681+lm1_682+lm1_683+lm1_684+lm1_685+lm1_686+lm1_687+lm1_688+lm1_689+lm1_690+lm1_691+lm1_692+lm1_693+lm1_694+lm1_695+lm1_696+lm1_697+lm1_698+lm1_699+lm1_700+lm1_701+lm1_702+lm1_703+lm1_704+lm1_705+lm1_706+lm1_707+lm1_708+lm1_709+lm1_710+lm1_711+lm1_712+lm1_713+lm1_714+lm1_715+lm1_716+lm1_717+lm1_718+lm1_719+lm1_720+lm1_721+lm1_722+lm1_723+lm1_724+lm1_725+lm1_726+lm1_727+lm1_728+lm1_729+lm1_730+lm1_731+lm1_732+lm1_733+lm1_734+lm1_735+lm1_736+lm1_737+lm1_738+lm1_739+lm1_740+lm1_741+lm1_742+lm1_743+lm1_744+lm1_745+lm1_746+lm1_747+lm1_748+lm1_749+lm1_750+lm1_751+lm1_752+lm1_753+lm1_754+lm1_755+lm1_756+lm1_757+lm1_758+lm1_759+lm1_760+lm1_761+lm1_762+lm1_763+lm1_764+lm1_765+lm1_766+lm1_767+lm1_768+lm1_769+lm1_770+lm1_771+lm1_772+lm1_773+lm1_774+lm1_775+lm1_776+lm1_777+lm1_778+lm1_779+lm1_780+lm1_781+lm1_782+lm1_783+lm1_784+lm1_785+lm1_786+lm1_787+lm1_788+lm1_789+lm1_790+lm1_791+lm1_792+lm1_793+lm1_794+lm1_795+lm1_796+lm1_797+lm1_798+lm1_799+lm1_800+lm1_801+lm1_802+lm1_803+lm1_804+lm1_805+lm1_806+lm1_807+lm1_808+lm1_809+lm1_810+lm1_811+lm1_812+lm1_813+lm1_814+lm1_815+lm1_816+lm1_817+lm1_818+lm1_819+lm1_820+lm1_821+lm1_822+lm1_823+lm1_824+lm1_825+lm1_826+lm1_827+lm1_828+lm1_829+lm1_830+lm1_831+lm1_832+lm1_833+lm1_834+lm1_835+lm1_836+lm1_837+lm1_838+lm1_839+lm1_840+lm1_841+lm1_842+lm1_843+lm1_844+lm1_845+lm1_846+lm1_847+lm1_848+lm1_849+lm1_850+lm1_851+lm1_852+lm1_853+lm1_854+lm1_855+lm1_856+lm1_857+lm1_858+lm1_859+lm1_860+lm1_861+lm1_862+lm1_863+lm1_864+lm1_865+lm1_866+lm1_867+lm1_868+lm1_869+lm1_870+lm1_871+lm1_872+lm1_873+lm1_874+lm1_875+lm1_876+lm1_877+lm1_878+lm1_879+lm1_880+lm1_881+lm1_882+lm1_883+lm1_884+lm1_885+lm1_886+lm1_887+lm1_888+lm1_889+lm1_890+lm1_891+lm1_892+lm1_893+lm1_894+lm1_895+lm1_896+lm1_897+lm1_898+lm1_899+lm1_900+lm1_901+lm1_902+lm1_903+lm1_904+lm1_905+lm1_906+lm1_907+lm1_908+lm1_909+lm1_910+lm1_911+lm1_912+lm1_913+lm1_914+lm1_915+lm1_916+lm1_917+lm1_918+lm1_919+lm1_920+lm1_921+lm1_922+lm1_923+lm1_924+lm1_925+lm1_926+lm1_927+lm1_928+lm1_929+lm1_930+lm1_931+lm1_932+lm1_933+lm1_934+lm1_935+lm1_936+lm1_937+lm1_938+lm1_939+lm1_940+lm1_941+lm1_942+lm1_943+lm1_944+lm1_945+lm1_946+lm1_947+lm1_948+lm1_949+lm1_950+lm1_951+lm1_952+lm1_953+lm1_954+lm1_955+lm1_956+lm1_957+lm1_958+lm1_959+lm1_960+lm1_961+lm1_962+lm1_963+lm1_964+lm1_965+lm1_966+lm1_967+lm1_968+lm1_969+lm1_970+lm1_971+lm1_972+lm1_973+lm1_974+lm1_975+lm1_976+lm1_977+lm1_978+lm1_979+lm1_980+lm1_981+lm1_982+lm1_983+lm1_984+lm1_985+lm1_986+lm1_987+lm1_988+lm1_989+lm1_990+lm1_991+lm1_992+lm1_993+lm1_994+lm1_995+lm1_996+lm1_997+lm1_998+lm1_999+lm1_1000+lm1_1001+lm1_1002+lm1_1003+lm1_1004+lm1_1005+lm1_1006+lm1_1007+lm1_1008+lm1_1009+lm1_1010+lm1_1011+lm1_1012+lm1_1013+lm1_1014+lm1_1015+lm1_1016+lm1_1017+lm1_1018+lm1_1019+lm1_1020+lm1_1021+lm1_1022+lm1_1023+lm1_1024+lm1_1025+lm1_1026+lm1_1027+lm1_1028+lm1_1029+lm1_1030+lm1_1031+lm1_1032+lm1_1033+lm1_1034+lm1_1035+lm1_1036+lm1_1037+lm1_1038+lm1_1039+lm1_1040+lm1_1041+lm1_1042+lm1_1043+lm1_1044+lm1_1045+lm1_1046+lm1_1047+lm1_1048+lm1_1049+lm1_1050+lm1_1051+lm1_1052+lm1_1053+lm1_1054+lm1_1055+lm1_1056+lm1_1057+lm1_1058+lm1_1059+lm1_1060+lm1_1061+lm1_1062+lm1_1063+lm1_1064+lm1_1065+lm1_1066+lm1_1067+lm1_1068+lm1_1069+lm1_1070+lm1_1071+lm1_1072+lm1_1073+lm1_1074+lm1_1075+lm1_1076+lm1_1077+lm1_1078+lm1_1079+lm1_1080+lm1_1081+lm1_1082+lm1_1083+lm1_1084+lm1_1085+lm1_1086+lm1_1087+lm1_1088+lm1_1089+lm1_1090+lm1_1091+lm1_1092+lm1_1093+lm1_1094+lm1_1095+lm1_1096+lm1_1097+lm1_1098+lm1_1099+lm1_1100+lm1_1101+lm1_1102+lm1_1103+lm1_1104+lm1_1105+lm1_1106+lm1_1107+lm1_1108+lm1_1109+lm1_1110
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-05 with value :l25_0+l25_1+l25_2+l25_3+l25_4+l25_5+l25_6+l25_7+l25_8+l25_9+l25_10+l25_11+l25_12+l25_13+l25_14+l25_15+l25_16+l25_17+l25_18+l25_19+l25_20+l25_21+l25_22+l25_23+l25_24+l25_25+l25_26+l25_27+l25_28+l25_29+l25_30+l25_31+l25_32+l25_33+l25_34+l25_35+l25_36+l25_37+l25_38+l25_39+l25_40+l25_41+l25_42+l25_43+l25_44+l25_45+l25_46+l25_47+l25_48+l25_49+l25_50+l25_51+l25_52+l25_53+l25_54+l25_55+l25_56+l25_57+l25_58+l25_59+l25_60+l25_61+l25_62+l25_63+l25_64+l25_65+l25_66+l25_67+l25_68+l25_69+l25_70+l25_71+l25_72+l25_73+l25_74+l25_75+l25_76+l25_77+l25_78+l25_79+l25_80+l25_81+l25_82+l25_83+l25_84+l25_85+l25_86+l25_87+l25_88+l25_89+l25_90+l25_91+l25_92+l25_93+l25_94+l25_95+l25_96+l25_97+l25_98+l25_99+l25_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-06 with value :g4_0+g4_1+g4_2
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-07 with value :p8_0+p8_1+p8_2+p8_3+p8_4+p8_5
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-08 with value :l39_0+l39_1+l39_2+l39_3+l39_4+l39_5+l39_6+l39_7+l39_8+l39_9+l39_10+l39_11+l39_12+l39_13+l39_14+l39_15+l39_16+l39_17+l39_18+l39_19+l39_20+l39_21+l39_22+l39_23+l39_24+l39_25+l39_26+l39_27+l39_28+l39_29+l39_30+l39_31+l39_32+l39_33+l39_34+l39_35+l39_36+l39_37+l39_38+l39_39+l39_40+l39_41+l39_42+l39_43+l39_44+l39_45+l39_46+l39_47+l39_48+l39_49+l39_50+l39_51+l39_52+l39_53+l39_54+l39_55+l39_56+l39_57+l39_58+l39_59+l39_60+l39_61+l39_62+l39_63+l39_64+l39_65+l39_66+l39_67+l39_68+l39_69+l39_70+l39_71+l39_72+l39_73+l39_74+l39_75+l39_76+l39_77+l39_78+l39_79+l39_80+l39_81+l39_82+l39_83+l39_84+l39_85+l39_86+l39_87+l39_88+l39_89+l39_90+l39_91+l39_92+l39_93+l39_94+l39_95+l39_96+l39_97+l39_98+l39_99+l39_100+l39_101+l39_102+l39_103+l39_104+l39_105+l39_106+l39_107+l39_108+l39_109+l39_110+l39_111+l39_112+l39_113+l39_114+l39_115+l39_116+l39_117+l39_118+l39_119+l39_120+l39_121+l39_122+l39_123+l39_124+l39_125+l39_126+l39_127+l39_128+l39_129+l39_130+l39_131+l39_132+l39_133+l39_134+l39_135+l39_136+l39_137+l39_138+l39_139+l39_140+l39_141+l39_142+l39_143+l39_144+l39_145+l39_146+l39_147+l39_148+l39_149+l39_150+l39_151+l39_152+l39_153+l39_154+l39_155+l39_156+l39_157+l39_158+l39_159+l39_160+l39_161+l39_162+l39_163+l39_164+l39_165+l39_166+l39_167+l39_168+l39_169+l39_170+l39_171+l39_172+l39_173+l39_174+l39_175+l39_176+l39_177+l39_178+l39_179+l39_180+l39_181+l39_182+l39_183+l39_184+l39_185+l39_186+l39_187+l39_188+l39_189+l39_190+l39_191+l39_192+l39_193+l39_194+l39_195+l39_196+l39_197+l39_198+l39_199+l39_200+l39_201
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-09 with value :l2_0+l2_1+l2_2+l2_3+l2_4+l2_5+l2_6+l2_7+l2_8+l2_9+l2_10+l2_11+l2_12+l2_13+l2_14+l2_15+l2_16+l2_17+l2_18+l2_19+l2_20+l2_21+l2_22+l2_23+l2_24+l2_25+l2_26+l2_27+l2_28+l2_29+l2_30+l2_31+l2_32+l2_33+l2_34+l2_35+l2_36+l2_37+l2_38+l2_39+l2_40+l2_41+l2_42+l2_43+l2_44+l2_45+l2_46+l2_47+l2_48+l2_49+l2_50+l2_51+l2_52+l2_53+l2_54+l2_55+l2_56+l2_57+l2_58+l2_59+l2_60+l2_61+l2_62+l2_63+l2_64+l2_65+l2_66+l2_67+l2_68+l2_69+l2_70+l2_71+l2_72+l2_73+l2_74+l2_75+l2_76+l2_77+l2_78+l2_79+l2_80+l2_81+l2_82+l2_83+l2_84+l2_85+l2_86+l2_87+l2_88+l2_89+l2_90+l2_91+l2_92+l2_93+l2_94+l2_95+l2_96+l2_97+l2_98+l2_99+l2_100+l2_101+l2_102+l2_103+l2_104+l2_105+l2_106+l2_107+l2_108+l2_109+l2_110+l2_111+l2_112+l2_113+l2_114+l2_115+l2_116+l2_117+l2_118+l2_119+l2_120+l2_121+l2_122+l2_123+l2_124+l2_125+l2_126+l2_127+l2_128+l2_129+l2_130+l2_131+l2_132+l2_133+l2_134+l2_135+l2_136+l2_137+l2_138+l2_139+l2_140+l2_141+l2_142+l2_143+l2_144+l2_145+l2_146+l2_147+l2_148+l2_149+l2_150+l2_151+l2_152+l2_153+l2_154+l2_155+l2_156+l2_157+l2_158+l2_159+l2_160+l2_161+l2_162+l2_163+l2_164+l2_165+l2_166+l2_167+l2_168+l2_169+l2_170+l2_171+l2_172+l2_173+l2_174+l2_175+l2_176+l2_177+l2_178+l2_179+l2_180+l2_181+l2_182+l2_183+l2_184+l2_185+l2_186+l2_187+l2_188+l2_189+l2_190+l2_191+l2_192+l2_193+l2_194+l2_195+l2_196+l2_197+l2_198+l2_199+l2_200+l2_201+l2_202+l2_203+l2_204+l2_205+l2_206+l2_207+l2_208+l2_209+l2_210+l2_211+l2_212+l2_213+l2_214+l2_215+l2_216+l2_217+l2_218+l2_219+l2_220+l2_221+l2_222+l2_223+l2_224+l2_225+l2_226+l2_227+l2_228+l2_229+l2_230+l2_231+l2_232+l2_233+l2_234+l2_235+l2_236+l2_237+l2_238+l2_239+l2_240+l2_241+l2_242+l2_243+l2_244+l2_245+l2_246+l2_247+l2_248+l2_249+l2_250+l2_251+l2_252+l2_253+l2_254+l2_255+l2_256+l2_257+l2_258+l2_259+l2_260+l2_261+l2_262+l2_263+l2_264+l2_265+l2_266+l2_267+l2_268+l2_269+l2_270+l2_271+l2_272+l2_273+l2_274+l2_275+l2_276+l2_277+l2_278+l2_279+l2_280+l2_281+l2_282+l2_283+l2_284+l2_285+l2_286+l2_287+l2_288+l2_289+l2_290+l2_291+l2_292+l2_293+l2_294+l2_295+l2_296+l2_297+l2_298+l2_299+l2_300+l2_301+l2_302+l2_303+l2_304+l2_305+l2_306+l2_307+l2_308+l2_309+l2_310+l2_311+l2_312+l2_313+l2_314+l2_315+l2_316+l2_317+l2_318+l2_319+l2_320+l2_321+l2_322+l2_323+l2_324+l2_325+l2_326+l2_327+l2_328+l2_329+l2_330+l2_331+l2_332+l2_333+l2_334+l2_335+l2_336+l2_337+l2_338+l2_339+l2_340+l2_341+l2_342+l2_343+l2_344+l2_345+l2_346+l2_347+l2_348+l2_349+l2_350+l2_351+l2_352+l2_353+l2_354+l2_355+l2_356+l2_357+l2_358+l2_359+l2_360+l2_361+l2_362+l2_363+l2_364+l2_365+l2_366+l2_367+l2_368+l2_369+l2_370+l2_371+l2_372+l2_373+l2_374+l2_375+l2_376+l2_377+l2_378+l2_379+l2_380+l2_381+l2_382+l2_383+l2_384+l2_385+l2_386+l2_387+l2_388+l2_389+l2_390+l2_391+l2_392+l2_393+l2_394+l2_395+l2_396+l2_397+l2_398+l2_399+l2_400+l2_401+l2_402+l2_403+l2_404+l2_405+l2_406+l2_407+l2_408+l2_409+l2_410+l2_411+l2_412+l2_413+l2_414+l2_415+l2_416+l2_417+l2_418+l2_419+l2_420+l2_421+l2_422+l2_423+l2_424+l2_425+l2_426+l2_427+l2_428+l2_429+l2_430+l2_431+l2_432+l2_433+l2_434+l2_435+l2_436+l2_437+l2_438+l2_439+l2_440+l2_441+l2_442+l2_443+l2_444+l2_445+l2_446+l2_447+l2_448+l2_449+l2_450+l2_451+l2_452+l2_453+l2_454+l2_455+l2_456+l2_457+l2_458+l2_459+l2_460+l2_461+l2_462+l2_463+l2_464+l2_465+l2_466+l2_467+l2_468+l2_469+l2_470+l2_471+l2_472+l2_473+l2_474+l2_475+l2_476+l2_477+l2_478+l2_479+l2_480+l2_481+l2_482+l2_483+l2_484+l2_485+l2_486+l2_487+l2_488+l2_489+l2_490+l2_491+l2_492+l2_493+l2_494+l2_495+l2_496+l2_497+l2_498+l2_499+l2_500+l2_501+l2_502+l2_503+l2_504+l2_505+l2_506+l2_507+l2_508+l2_509+l2_510+l2_511+l2_512+l2_513+l2_514+l2_515+l2_516+l2_517+l2_518+l2_519+l2_520+l2_521+l2_522+l2_523+l2_524+l2_525+l2_526+l2_527+l2_528+l2_529+l2_530+l2_531+l2_532+l2_533+l2_534+l2_535+l2_536+l2_537+l2_538+l2_539+l2_540+l2_541+l2_542+l2_543+l2_544+l2_545+l2_546+l2_547+l2_548+l2_549+l2_550+l2_551+l2_552+l2_553+l2_554+l2_555+l2_556+l2_557+l2_558+l2_559+l2_560+l2_561+l2_562+l2_563+l2_564+l2_565+l2_566+l2_567+l2_568+l2_569+l2_570+l2_571+l2_572+l2_573+l2_574+l2_575+l2_576+l2_577+l2_578+l2_579+l2_580+l2_581+l2_582+l2_583+l2_584+l2_585+l2_586+l2_587+l2_588+l2_589+l2_590+l2_591+l2_592+l2_593+l2_594+l2_595+l2_596+l2_597+l2_598+l2_599+l2_600+l2_601+l2_602+l2_603+l2_604+l2_605+l2_606+l2_607+l2_608+l2_609+l2_610+l2_611+l2_612+l2_613+l2_614+l2_615+l2_616+l2_617+l2_618+l2_619+l2_620+l2_621+l2_622+l2_623+l2_624+l2_625+l2_626+l2_627+l2_628+l2_629+l2_630+l2_631+l2_632+l2_633+l2_634+l2_635+l2_636+l2_637+l2_638+l2_639+l2_640+l2_641+l2_642+l2_643+l2_644+l2_645+l2_646+l2_647+l2_648+l2_649+l2_650+l2_651+l2_652+l2_653+l2_654+l2_655+l2_656+l2_657+l2_658+l2_659+l2_660+l2_661+l2_662+l2_663+l2_664+l2_665+l2_666+l2_667+l2_668+l2_669+l2_670+l2_671+l2_672+l2_673+l2_674+l2_675+l2_676+l2_677+l2_678+l2_679+l2_680+l2_681+l2_682+l2_683+l2_684+l2_685+l2_686+l2_687+l2_688+l2_689+l2_690+l2_691+l2_692+l2_693+l2_694+l2_695+l2_696+l2_697+l2_698+l2_699+l2_700+l2_701+l2_702+l2_703+l2_704+l2_705+l2_706+l2_707+l2_708+l2_709+l2_710+l2_711+l2_712+l2_713+l2_714+l2_715+l2_716+l2_717+l2_718+l2_719+l2_720+l2_721+l2_722+l2_723+l2_724+l2_725+l2_726+l2_727+l2_728+l2_729+l2_730+l2_731+l2_732+l2_733+l2_734+l2_735+l2_736+l2_737+l2_738+l2_739+l2_740+l2_741+l2_742+l2_743+l2_744+l2_745+l2_746+l2_747+l2_748+l2_749+l2_750+l2_751+l2_752+l2_753+l2_754+l2_755+l2_756+l2_757+l2_758+l2_759+l2_760+l2_761+l2_762+l2_763+l2_764+l2_765+l2_766+l2_767+l2_768+l2_769+l2_770+l2_771+l2_772+l2_773+l2_774+l2_775+l2_776+l2_777+l2_778+l2_779+l2_780+l2_781+l2_782+l2_783+l2_784+l2_785+l2_786+l2_787+l2_788+l2_789+l2_790+l2_791+l2_792+l2_793+l2_794+l2_795+l2_796+l2_797+l2_798+l2_799+l2_800+l2_801+l2_802+l2_803+l2_804+l2_805+l2_806+l2_807+l2_808+l2_809+l2_810+l2_811+l2_812+l2_813+l2_814+l2_815+l2_816+l2_817+l2_818+l2_819+l2_820+l2_821+l2_822+l2_823+l2_824+l2_825+l2_826+l2_827+l2_828+l2_829+l2_830+l2_831+l2_832+l2_833+l2_834+l2_835+l2_836+l2_837+l2_838+l2_839+l2_840+l2_841+l2_842+l2_843+l2_844+l2_845+l2_846+l2_847+l2_848+l2_849+l2_850+l2_851+l2_852+l2_853+l2_854+l2_855+l2_856+l2_857+l2_858+l2_859+l2_860+l2_861+l2_862+l2_863+l2_864+l2_865+l2_866+l2_867+l2_868+l2_869+l2_870+l2_871+l2_872+l2_873+l2_874+l2_875+l2_876+l2_877+l2_878+l2_879+l2_880+l2_881+l2_882+l2_883+l2_884+l2_885+l2_886+l2_887+l2_888+l2_889+l2_890+l2_891+l2_892+l2_893+l2_894+l2_895+l2_896+l2_897+l2_898+l2_899+l2_900+l2_901+l2_902+l2_903+l2_904+l2_905+l2_906+l2_907+l2_908+l2_909+l2_910+l2_911+l2_912+l2_913+l2_914+l2_915+l2_916+l2_917+l2_918+l2_919+l2_920+l2_921+l2_922+l2_923+l2_924+l2_925+l2_926+l2_927+l2_928+l2_929+l2_930+l2_931+l2_932+l2_933+l2_934+l2_935+l2_936+l2_937+l2_938+l2_939+l2_940+l2_941+l2_942+l2_943+l2_944+l2_945+l2_946+l2_947+l2_948+l2_949+l2_950+l2_951+l2_952+l2_953+l2_954+l2_955+l2_956+l2_957+l2_958+l2_959+l2_960+l2_961+l2_962+l2_963+l2_964+l2_965+l2_966+l2_967+l2_968+l2_969+l2_970+l2_971+l2_972+l2_973+l2_974+l2_975+l2_976+l2_977+l2_978+l2_979+l2_980+l2_981+l2_982+l2_983+l2_984+l2_985+l2_986+l2_987+l2_988+l2_989+l2_990+l2_991+l2_992+l2_993+l2_994+l2_995+l2_996+l2_997+l2_998+l2_999+l2_1000+l2_1001+l2_1002+l2_1003+l2_1004+l2_1005+l2_1006+l2_1007+l2_1008+l2_1009+l2_1010+l2_1011+l2_1012+l2_1013+l2_1014+l2_1015+l2_1016+l2_1017+l2_1018+l2_1019+l2_1020+l2_1021+l2_1022+l2_1023+l2_1024+l2_1025+l2_1026+l2_1027+l2_1028+l2_1029+l2_1030+l2_1031+l2_1032+l2_1033+l2_1034+l2_1035+l2_1036+l2_1037+l2_1038+l2_1039+l2_1040+l2_1041+l2_1042+l2_1043+l2_1044+l2_1045+l2_1046+l2_1047+l2_1048+l2_1049+l2_1050+l2_1051+l2_1052+l2_1053+l2_1054+l2_1055+l2_1056+l2_1057+l2_1058+l2_1059+l2_1060+l2_1061+l2_1062+l2_1063+l2_1064+l2_1065+l2_1066+l2_1067+l2_1068+l2_1069+l2_1070+l2_1071+l2_1072+l2_1073+l2_1074+l2_1075+l2_1076+l2_1077+l2_1078+l2_1079+l2_1080+l2_1081+l2_1082+l2_1083+l2_1084+l2_1085+l2_1086+l2_1087+l2_1088+l2_1089+l2_1090+l2_1091+l2_1092+l2_1093+l2_1094+l2_1095+l2_1096+l2_1097+l2_1098+l2_1099+l2_1100+l2_1101+l2_1102+l2_1103+l2_1104+l2_1105+l2_1106+l2_1107+l2_1108+l2_1109+l2_1110
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-10 with value :g0_0+g0_1+g0_2
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-11 with value :l3_0+l3_1+l3_2+l3_3+l3_4+l3_5+l3_6+l3_7+l3_8+l3_9+l3_10+l3_11+l3_12+l3_13+l3_14+l3_15+l3_16+l3_17+l3_18+l3_19+l3_20+l3_21+l3_22+l3_23+l3_24+l3_25+l3_26+l3_27+l3_28+l3_29+l3_30+l3_31+l3_32+l3_33+l3_34+l3_35+l3_36+l3_37+l3_38+l3_39+l3_40+l3_41+l3_42+l3_43+l3_44+l3_45+l3_46+l3_47+l3_48+l3_49+l3_50+l3_51+l3_52+l3_53+l3_54+l3_55+l3_56+l3_57+l3_58+l3_59+l3_60+l3_61+l3_62+l3_63+l3_64+l3_65+l3_66+l3_67+l3_68+l3_69+l3_70+l3_71+l3_72+l3_73+l3_74+l3_75+l3_76+l3_77+l3_78+l3_79+l3_80+l3_81+l3_82+l3_83+l3_84+l3_85+l3_86+l3_87+l3_88+l3_89+l3_90+l3_91+l3_92+l3_93+l3_94+l3_95+l3_96+l3_97+l3_98+l3_99+l3_100+l3_101+l3_102+l3_103+l3_104+l3_105+l3_106+l3_107+l3_108+l3_109+l3_110+l3_111+l3_112+l3_113+l3_114+l3_115+l3_116+l3_117+l3_118+l3_119+l3_120+l3_121+l3_122+l3_123+l3_124+l3_125+l3_126+l3_127+l3_128+l3_129+l3_130+l3_131+l3_132+l3_133+l3_134+l3_135+l3_136+l3_137+l3_138+l3_139+l3_140+l3_141+l3_142+l3_143+l3_144+l3_145+l3_146+l3_147+l3_148+l3_149+l3_150+l3_151+l3_152+l3_153+l3_154+l3_155+l3_156+l3_157+l3_158+l3_159+l3_160+l3_161+l3_162+l3_163+l3_164+l3_165+l3_166+l3_167+l3_168+l3_169+l3_170+l3_171+l3_172+l3_173+l3_174+l3_175+l3_176+l3_177+l3_178+l3_179+l3_180+l3_181+l3_182+l3_183+l3_184+l3_185+l3_186+l3_187+l3_188+l3_189+l3_190+l3_191+l3_192+l3_193+l3_194+l3_195+l3_196+l3_197+l3_198+l3_199+l3_200+l3_201+l3_202+l3_203+l3_204+l3_205+l3_206+l3_207+l3_208+l3_209+l3_210+l3_211+l3_212+l3_213+l3_214+l3_215+l3_216+l3_217+l3_218+l3_219+l3_220+l3_221+l3_222+l3_223+l3_224+l3_225+l3_226+l3_227+l3_228+l3_229+l3_230+l3_231+l3_232+l3_233+l3_234+l3_235+l3_236+l3_237+l3_238+l3_239+l3_240+l3_241+l3_242+l3_243+l3_244+l3_245+l3_246+l3_247+l3_248+l3_249+l3_250+l3_251+l3_252+l3_253+l3_254+l3_255+l3_256+l3_257+l3_258+l3_259+l3_260+l3_261+l3_262+l3_263+l3_264+l3_265+l3_266+l3_267+l3_268+l3_269+l3_270+l3_271+l3_272+l3_273+l3_274+l3_275+l3_276+l3_277+l3_278+l3_279+l3_280+l3_281+l3_282+l3_283+l3_284+l3_285+l3_286+l3_287+l3_288+l3_289+l3_290+l3_291+l3_292+l3_293+l3_294+l3_295+l3_296+l3_297+l3_298+l3_299+l3_300+l3_301+l3_302+l3_303+l3_304+l3_305+l3_306+l3_307+l3_308+l3_309+l3_310+l3_311+l3_312+l3_313+l3_314+l3_315+l3_316+l3_317+l3_318+l3_319+l3_320+l3_321+l3_322+l3_323+l3_324+l3_325+l3_326+l3_327+l3_328+l3_329+l3_330+l3_331+l3_332+l3_333+l3_334+l3_335+l3_336+l3_337+l3_338+l3_339+l3_340+l3_341+l3_342+l3_343+l3_344+l3_345+l3_346+l3_347+l3_348+l3_349+l3_350+l3_351+l3_352+l3_353+l3_354+l3_355+l3_356+l3_357+l3_358+l3_359+l3_360+l3_361+l3_362+l3_363+l3_364+l3_365+l3_366+l3_367+l3_368+l3_369+l3_370+l3_371+l3_372+l3_373+l3_374+l3_375+l3_376+l3_377+l3_378+l3_379+l3_380+l3_381+l3_382+l3_383+l3_384+l3_385+l3_386+l3_387+l3_388+l3_389+l3_390+l3_391+l3_392+l3_393+l3_394+l3_395+l3_396+l3_397+l3_398+l3_399+l3_400+l3_401+l3_402+l3_403+l3_404+l3_405+l3_406+l3_407+l3_408+l3_409+l3_410+l3_411+l3_412+l3_413+l3_414+l3_415+l3_416+l3_417+l3_418+l3_419+l3_420+l3_421+l3_422+l3_423+l3_424+l3_425+l3_426+l3_427+l3_428+l3_429+l3_430+l3_431+l3_432+l3_433+l3_434+l3_435+l3_436+l3_437+l3_438+l3_439+l3_440+l3_441+l3_442+l3_443+l3_444+l3_445+l3_446+l3_447+l3_448+l3_449+l3_450+l3_451+l3_452+l3_453+l3_454+l3_455+l3_456+l3_457+l3_458+l3_459+l3_460+l3_461+l3_462+l3_463+l3_464+l3_465+l3_466+l3_467+l3_468+l3_469+l3_470+l3_471+l3_472+l3_473+l3_474+l3_475+l3_476+l3_477+l3_478+l3_479+l3_480+l3_481+l3_482+l3_483+l3_484+l3_485+l3_486+l3_487+l3_488+l3_489+l3_490+l3_491+l3_492+l3_493+l3_494+l3_495+l3_496+l3_497+l3_498+l3_499+l3_500+l3_501+l3_502+l3_503+l3_504+l3_505+l3_506+l3_507+l3_508+l3_509+l3_510+l3_511+l3_512+l3_513+l3_514+l3_515+l3_516+l3_517+l3_518+l3_519+l3_520+l3_521+l3_522+l3_523+l3_524+l3_525+l3_526+l3_527+l3_528+l3_529+l3_530+l3_531+l3_532+l3_533+l3_534+l3_535+l3_536+l3_537+l3_538+l3_539+l3_540+l3_541+l3_542+l3_543+l3_544+l3_545+l3_546+l3_547+l3_548+l3_549+l3_550+l3_551+l3_552+l3_553+l3_554+l3_555+l3_556+l3_557+l3_558+l3_559+l3_560+l3_561+l3_562+l3_563+l3_564+l3_565+l3_566+l3_567+l3_568+l3_569+l3_570+l3_571+l3_572+l3_573+l3_574+l3_575+l3_576+l3_577+l3_578+l3_579+l3_580+l3_581+l3_582+l3_583+l3_584+l3_585+l3_586+l3_587+l3_588+l3_589+l3_590+l3_591+l3_592+l3_593+l3_594+l3_595+l3_596+l3_597+l3_598+l3_599+l3_600+l3_601+l3_602+l3_603+l3_604+l3_605+l3_606+l3_607+l3_608+l3_609+l3_610+l3_611+l3_612+l3_613+l3_614+l3_615+l3_616+l3_617+l3_618+l3_619+l3_620+l3_621+l3_622+l3_623+l3_624+l3_625+l3_626+l3_627+l3_628+l3_629+l3_630+l3_631+l3_632+l3_633+l3_634+l3_635+l3_636+l3_637+l3_638+l3_639+l3_640+l3_641+l3_642+l3_643+l3_644+l3_645+l3_646+l3_647+l3_648+l3_649+l3_650+l3_651+l3_652+l3_653+l3_654+l3_655+l3_656+l3_657+l3_658+l3_659+l3_660+l3_661+l3_662+l3_663+l3_664+l3_665+l3_666+l3_667+l3_668+l3_669+l3_670+l3_671+l3_672+l3_673+l3_674+l3_675+l3_676+l3_677+l3_678+l3_679+l3_680+l3_681+l3_682+l3_683+l3_684+l3_685+l3_686+l3_687+l3_688+l3_689+l3_690+l3_691+l3_692+l3_693+l3_694+l3_695+l3_696+l3_697+l3_698+l3_699+l3_700+l3_701+l3_702+l3_703+l3_704+l3_705+l3_706+l3_707+l3_708+l3_709+l3_710+l3_711+l3_712+l3_713+l3_714+l3_715+l3_716+l3_717+l3_718+l3_719+l3_720+l3_721+l3_722+l3_723+l3_724+l3_725+l3_726+l3_727+l3_728+l3_729+l3_730+l3_731+l3_732+l3_733+l3_734+l3_735+l3_736+l3_737+l3_738+l3_739+l3_740+l3_741+l3_742+l3_743+l3_744+l3_745+l3_746+l3_747+l3_748+l3_749+l3_750+l3_751+l3_752+l3_753+l3_754+l3_755+l3_756+l3_757+l3_758+l3_759+l3_760+l3_761+l3_762+l3_763+l3_764+l3_765+l3_766+l3_767+l3_768+l3_769+l3_770+l3_771+l3_772+l3_773+l3_774+l3_775+l3_776+l3_777+l3_778+l3_779+l3_780+l3_781+l3_782+l3_783+l3_784+l3_785+l3_786+l3_787+l3_788+l3_789+l3_790+l3_791+l3_792+l3_793+l3_794+l3_795+l3_796+l3_797+l3_798+l3_799+l3_800+l3_801+l3_802+l3_803+l3_804+l3_805+l3_806+l3_807+l3_808+l3_809+l3_810+l3_811+l3_812+l3_813+l3_814+l3_815+l3_816+l3_817+l3_818+l3_819+l3_820+l3_821+l3_822+l3_823+l3_824+l3_825+l3_826+l3_827+l3_828+l3_829+l3_830+l3_831+l3_832+l3_833+l3_834+l3_835+l3_836+l3_837+l3_838+l3_839+l3_840+l3_841+l3_842+l3_843+l3_844+l3_845+l3_846+l3_847+l3_848+l3_849+l3_850+l3_851+l3_852+l3_853+l3_854+l3_855+l3_856+l3_857+l3_858+l3_859+l3_860+l3_861+l3_862+l3_863+l3_864+l3_865+l3_866+l3_867+l3_868+l3_869+l3_870+l3_871+l3_872+l3_873+l3_874+l3_875+l3_876+l3_877+l3_878+l3_879+l3_880+l3_881+l3_882+l3_883+l3_884+l3_885+l3_886+l3_887+l3_888+l3_889+l3_890+l3_891+l3_892+l3_893+l3_894+l3_895+l3_896+l3_897+l3_898+l3_899+l3_900+l3_901+l3_902+l3_903+l3_904+l3_905+l3_906+l3_907+l3_908+l3_909+l3_910+l3_911+l3_912+l3_913+l3_914+l3_915+l3_916+l3_917+l3_918+l3_919+l3_920+l3_921+l3_922+l3_923+l3_924+l3_925+l3_926+l3_927+l3_928+l3_929+l3_930+l3_931+l3_932+l3_933+l3_934+l3_935+l3_936+l3_937+l3_938+l3_939+l3_940+l3_941+l3_942+l3_943+l3_944+l3_945+l3_946+l3_947+l3_948+l3_949+l3_950+l3_951+l3_952+l3_953+l3_954+l3_955+l3_956+l3_957+l3_958+l3_959+l3_960+l3_961+l3_962+l3_963+l3_964+l3_965+l3_966+l3_967+l3_968+l3_969+l3_970+l3_971+l3_972+l3_973+l3_974+l3_975+l3_976+l3_977+l3_978+l3_979+l3_980+l3_981+l3_982+l3_983+l3_984+l3_985+l3_986+l3_987+l3_988+l3_989+l3_990+l3_991+l3_992+l3_993+l3_994+l3_995+l3_996+l3_997+l3_998+l3_999+l3_1000+l3_1001+l3_1002+l3_1003+l3_1004+l3_1005+l3_1006+l3_1007+l3_1008+l3_1009+l3_1010+l3_1011+l3_1012+l3_1013+l3_1014+l3_1015+l3_1016+l3_1017+l3_1018+l3_1019+l3_1020+l3_1021+l3_1022+l3_1023+l3_1024+l3_1025+l3_1026+l3_1027+l3_1028+l3_1029+l3_1030+l3_1031+l3_1032+l3_1033+l3_1034+l3_1035+l3_1036+l3_1037+l3_1038+l3_1039+l3_1040+l3_1041+l3_1042+l3_1043+l3_1044+l3_1045+l3_1046+l3_1047+l3_1048+l3_1049+l3_1050+l3_1051+l3_1052+l3_1053+l3_1054+l3_1055+l3_1056+l3_1057+l3_1058+l3_1059+l3_1060+l3_1061+l3_1062+l3_1063+l3_1064+l3_1065+l3_1066+l3_1067+l3_1068+l3_1069+l3_1070+l3_1071+l3_1072+l3_1073+l3_1074+l3_1075+l3_1076+l3_1077+l3_1078+l3_1079+l3_1080+l3_1081+l3_1082+l3_1083+l3_1084+l3_1085+l3_1086+l3_1087+l3_1088+l3_1089+l3_1090+l3_1091+l3_1092+l3_1093+l3_1094+l3_1095+l3_1096+l3_1097+l3_1098+l3_1099+l3_1100+l3_1101+l3_1102+l3_1103+l3_1104+l3_1105+l3_1106+l3_1107+l3_1108+l3_1109+l3_1110
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-12 with value :p1_0+p1_1+p1_2+p1_3+p1_4+p1_5+p1_6+p1_7+p1_8+p1_9+p1_10+p1_11+p1_12+p1_13+p1_14+p1_15+p1_16+p1_17+p1_18+p1_19+p1_20+p1_21+p1_22+p1_23+p1_24+p1_25+p1_26+p1_27+p1_28+p1_29+p1_30+p1_31+p1_32+p1_33+p1_34+p1_35+p1_36+p1_37+p1_38+p1_39+p1_40+p1_41+p1_42+p1_43+p1_44+p1_45+p1_46+p1_47+p1_48+p1_49+p1_50+p1_51+p1_52+p1_53+p1_54+p1_55+p1_56+p1_57+p1_58+p1_59+p1_60+p1_61+p1_62+p1_63+p1_64+p1_65+p1_66+p1_67+p1_68+p1_69+p1_70+p1_71+p1_72+p1_73+p1_74+p1_75+p1_76+p1_77+p1_78+p1_79+p1_80+p1_81+p1_82+p1_83+p1_84+p1_85+p1_86+p1_87+p1_88+p1_89+p1_90+p1_91+p1_92+p1_93+p1_94+p1_95+p1_96+p1_97+p1_98+p1_99+p1_100+p1_101+p1_102+p1_103+p1_104+p1_105+p1_106+p1_107+p1_108+p1_109+p1_110+p1_111+p1_112+p1_113+p1_114+p1_115+p1_116+p1_117+p1_118+p1_119+p1_120+p1_121+p1_122+p1_123+p1_124+p1_125+p1_126+p1_127+p1_128+p1_129+p1_130+p1_131+p1_132+p1_133+p1_134+p1_135+p1_136+p1_137+p1_138+p1_139+p1_140+p1_141+p1_142+p1_143+p1_144+p1_145+p1_146+p1_147+p1_148+p1_149+p1_150+p1_151+p1_152+p1_153+p1_154+p1_155+p1_156+p1_157+p1_158+p1_159+p1_160+p1_161+p1_162+p1_163+p1_164+p1_165+p1_166+p1_167+p1_168+p1_169+p1_170+p1_171+p1_172+p1_173+p1_174+p1_175+p1_176+p1_177+p1_178+p1_179+p1_180+p1_181+p1_182+p1_183+p1_184+p1_185+p1_186+p1_187+p1_188+p1_189+p1_190+p1_191+p1_192+p1_193+p1_194+p1_195+p1_196+p1_197+p1_198+p1_199+p1_200+p1_201+p1_202+p1_203+p1_204+p1_205+p1_206+p1_207+p1_208+p1_209+p1_210+p1_211+p1_212+p1_213+p1_214+p1_215+p1_216+p1_217+p1_218+p1_219+p1_220+p1_221+p1_222+p1_223+p1_224+p1_225+p1_226+p1_227+p1_228+p1_229+p1_230+p1_231+p1_232+p1_233+p1_234+p1_235+p1_236+p1_237+p1_238+p1_239+p1_240+p1_241+p1_242+p1_243+p1_244+p1_245+p1_246+p1_247+p1_248+p1_249+p1_250+p1_251+p1_252+p1_253+p1_254+p1_255+p1_256+p1_257+p1_258+p1_259+p1_260+p1_261+p1_262+p1_263+p1_264+p1_265+p1_266+p1_267+p1_268+p1_269+p1_270+p1_271+p1_272+p1_273+p1_274+p1_275+p1_276+p1_277+p1_278+p1_279+p1_280+p1_281+p1_282+p1_283+p1_284+p1_285+p1_286+p1_287+p1_288+p1_289+p1_290+p1_291+p1_292+p1_293+p1_294+p1_295+p1_296+p1_297+p1_298+p1_299+p1_300+p1_301+p1_302+p1_303+p1_304+p1_305+p1_306+p1_307+p1_308+p1_309+p1_310+p1_311+p1_312+p1_313+p1_314+p1_315+p1_316+p1_317+p1_318+p1_319+p1_320+p1_321+p1_322+p1_323+p1_324+p1_325+p1_326+p1_327+p1_328+p1_329+p1_330+p1_331+p1_332+p1_333+p1_334+p1_335+p1_336+p1_337+p1_338+p1_339+p1_340+p1_341+p1_342+p1_343+p1_344+p1_345+p1_346+p1_347+p1_348+p1_349+p1_350+p1_351+p1_352+p1_353+p1_354+p1_355+p1_356+p1_357+p1_358+p1_359+p1_360+p1_361+p1_362+p1_363+p1_364+p1_365+p1_366+p1_367+p1_368+p1_369+p1_370+p1_371+p1_372+p1_373+p1_374+p1_375+p1_376+p1_377+p1_378+p1_379+p1_380+p1_381+p1_382+p1_383+p1_384+p1_385+p1_386+p1_387+p1_388+p1_389+p1_390+p1_391+p1_392+p1_393+p1_394+p1_395+p1_396+p1_397+p1_398+p1_399+p1_400+p1_401+p1_402+p1_403+p1_404+p1_405+p1_406+p1_407+p1_408+p1_409+p1_410+p1_411+p1_412+p1_413+p1_414+p1_415+p1_416+p1_417+p1_418+p1_419+p1_420+p1_421+p1_422+p1_423+p1_424+p1_425+p1_426+p1_427+p1_428+p1_429+p1_430+p1_431+p1_432+p1_433+p1_434+p1_435+p1_436+p1_437+p1_438+p1_439+p1_440+p1_441+p1_442+p1_443+p1_444+p1_445+p1_446+p1_447+p1_448+p1_449+p1_450+p1_451+p1_452+p1_453+p1_454+p1_455+p1_456+p1_457+p1_458+p1_459+p1_460+p1_461+p1_462+p1_463+p1_464+p1_465+p1_466+p1_467+p1_468+p1_469+p1_470+p1_471+p1_472+p1_473+p1_474+p1_475+p1_476+p1_477+p1_478+p1_479+p1_480+p1_481+p1_482+p1_483+p1_484+p1_485+p1_486+p1_487+p1_488+p1_489+p1_490+p1_491+p1_492+p1_493+p1_494+p1_495+p1_496+p1_497+p1_498+p1_499+p1_500+p1_501+p1_502+p1_503+p1_504+p1_505+p1_506+p1_507+p1_508+p1_509+p1_510+p1_511+p1_512+p1_513+p1_514+p1_515+p1_516+p1_517+p1_518+p1_519+p1_520+p1_521+p1_522+p1_523+p1_524+p1_525+p1_526+p1_527+p1_528+p1_529+p1_530+p1_531+p1_532+p1_533+p1_534+p1_535+p1_536+p1_537+p1_538+p1_539+p1_540+p1_541+p1_542+p1_543+p1_544+p1_545+p1_546+p1_547+p1_548+p1_549+p1_550+p1_551+p1_552+p1_553+p1_554+p1_555+p1_556+p1_557+p1_558+p1_559+p1_560+p1_561+p1_562+p1_563+p1_564+p1_565+p1_566+p1_567+p1_568+p1_569+p1_570+p1_571+p1_572+p1_573+p1_574+p1_575+p1_576+p1_577+p1_578+p1_579+p1_580+p1_581+p1_582+p1_583+p1_584+p1_585+p1_586+p1_587+p1_588+p1_589+p1_590+p1_591+p1_592+p1_593+p1_594+p1_595+p1_596+p1_597+p1_598+p1_599+p1_600+p1_601+p1_602+p1_603+p1_604+p1_605
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-13 with value :l19_0+l19_1+l19_2+l19_3+l19_4+l19_5+l19_6+l19_7+l19_8+l19_9+l19_10+l19_11+l19_12+l19_13+l19_14+l19_15+l19_16+l19_17+l19_18+l19_19+l19_20+l19_21+l19_22+l19_23+l19_24+l19_25+l19_26+l19_27+l19_28+l19_29+l19_30+l19_31+l19_32+l19_33+l19_34+l19_35+l19_36+l19_37+l19_38+l19_39+l19_40+l19_41+l19_42+l19_43+l19_44+l19_45+l19_46+l19_47+l19_48+l19_49+l19_50+l19_51+l19_52+l19_53+l19_54+l19_55+l19_56+l19_57+l19_58+l19_59+l19_60+l19_61+l19_62+l19_63+l19_64+l19_65+l19_66+l19_67+l19_68+l19_69+l19_70+l19_71+l19_72+l19_73+l19_74+l19_75+l19_76+l19_77+l19_78+l19_79+l19_80+l19_81+l19_82+l19_83+l19_84+l19_85+l19_86+l19_87+l19_88+l19_89+l19_90+l19_91+l19_92+l19_93+l19_94+l19_95+l19_96+l19_97+l19_98+l19_99+l19_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-14 with value :lp1_0+lp1_1+lp1_2+lp1_3+lp1_4+lp1_5+lp1_6+lp1_7+lp1_8+lp1_9+lp1_10+lp1_11+lp1_12+lp1_13+lp1_14+lp1_15+lp1_16+lp1_17+lp1_18+lp1_19+lp1_20+lp1_21+lp1_22+lp1_23+lp1_24+lp1_25+lp1_26+lp1_27+lp1_28+lp1_29+lp1_30+lp1_31+lp1_32+lp1_33+lp1_34+lp1_35+lp1_36+lp1_37+lp1_38+lp1_39+lp1_40+lp1_41+lp1_42+lp1_43+lp1_44+lp1_45+lp1_46+lp1_47+lp1_48+lp1_49+lp1_50+lp1_51+lp1_52+lp1_53+lp1_54+lp1_55+lp1_56+lp1_57+lp1_58+lp1_59+lp1_60+lp1_61+lp1_62+lp1_63+lp1_64+lp1_65+lp1_66+lp1_67+lp1_68+lp1_69+lp1_70+lp1_71+lp1_72+lp1_73+lp1_74+lp1_75+lp1_76+lp1_77+lp1_78+lp1_79+lp1_80+lp1_81+lp1_82+lp1_83+lp1_84+lp1_85+lp1_86+lp1_87+lp1_88+lp1_89+lp1_90+lp1_91+lp1_92+lp1_93+lp1_94+lp1_95+lp1_96+lp1_97+lp1_98+lp1_99+lp1_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-15 with value :l17_0+l17_1+l17_2+l17_3+l17_4+l17_5+l17_6+l17_7+l17_8+l17_9+l17_10+l17_11+l17_12+l17_13+l17_14+l17_15+l17_16+l17_17+l17_18+l17_19+l17_20+l17_21+l17_22+l17_23+l17_24+l17_25+l17_26+l17_27+l17_28+l17_29+l17_30+l17_31+l17_32+l17_33+l17_34+l17_35+l17_36+l17_37+l17_38+l17_39+l17_40+l17_41+l17_42+l17_43+l17_44+l17_45+l17_46+l17_47+l17_48+l17_49+l17_50+l17_51+l17_52+l17_53+l17_54+l17_55+l17_56+l17_57+l17_58+l17_59+l17_60+l17_61+l17_62+l17_63+l17_64+l17_65+l17_66+l17_67+l17_68+l17_69+l17_70+l17_71+l17_72+l17_73+l17_74+l17_75+l17_76+l17_77+l17_78+l17_79+l17_80+l17_81+l17_82+l17_83+l17_84+l17_85+l17_86+l17_87+l17_88+l17_89+l17_90+l17_91+l17_92+l17_93+l17_94+l17_95+l17_96+l17_97+l17_98+l17_99+l17_100
Detected timeout of ITS tools.
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness
Loading property file UpperBounds.prop.
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-00 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-01 with value :g0_0+g0_1+g0_2
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-02 with value :p4_0+p4_1+p4_2+p4_3+p4_4+p4_5+p4_6+p4_7+p4_8+p4_9+p4_10+p4_11+p4_12+p4_13+p4_14+p4_15+p4_16+p4_17+p4_18+p4_19+p4_20+p4_21+p4_22+p4_23+p4_24+p4_25+p4_26+p4_27+p4_28+p4_29+p4_30+p4_31+p4_32+p4_33+p4_34+p4_35+p4_36+p4_37+p4_38+p4_39+p4_40+p4_41+p4_42+p4_43+p4_44+p4_45+p4_46+p4_47+p4_48+p4_49+p4_50+p4_51+p4_52+p4_53+p4_54+p4_55+p4_56+p4_57+p4_58+p4_59+p4_60+p4_61+p4_62+p4_63+p4_64+p4_65+p4_66+p4_67+p4_68+p4_69+p4_70+p4_71+p4_72+p4_73+p4_74+p4_75+p4_76+p4_77+p4_78+p4_79+p4_80+p4_81+p4_82+p4_83+p4_84+p4_85+p4_86+p4_87+p4_88+p4_89+p4_90+p4_91+p4_92+p4_93+p4_94+p4_95+p4_96+p4_97+p4_98+p4_99+p4_100+p4_101+p4_102+p4_103+p4_104+p4_105+p4_106+p4_107+p4_108+p4_109+p4_110+p4_111+p4_112+p4_113+p4_114+p4_115+p4_116+p4_117+p4_118+p4_119+p4_120+p4_121+p4_122+p4_123+p4_124+p4_125+p4_126+p4_127+p4_128+p4_129+p4_130+p4_131+p4_132+p4_133+p4_134+p4_135+p4_136+p4_137+p4_138+p4_139+p4_140+p4_141+p4_142+p4_143+p4_144+p4_145+p4_146+p4_147+p4_148+p4_149+p4_150+p4_151+p4_152+p4_153+p4_154+p4_155+p4_156+p4_157+p4_158+p4_159+p4_160+p4_161+p4_162+p4_163+p4_164+p4_165+p4_166+p4_167+p4_168+p4_169+p4_170+p4_171+p4_172+p4_173+p4_174+p4_175+p4_176+p4_177+p4_178+p4_179+p4_180+p4_181+p4_182+p4_183+p4_184+p4_185+p4_186+p4_187+p4_188+p4_189+p4_190+p4_191+p4_192+p4_193+p4_194+p4_195+p4_196+p4_197+p4_198+p4_199+p4_200+p4_201+p4_202+p4_203+p4_204+p4_205+p4_206+p4_207+p4_208+p4_209+p4_210+p4_211+p4_212+p4_213+p4_214+p4_215+p4_216+p4_217+p4_218+p4_219+p4_220+p4_221+p4_222+p4_223+p4_224+p4_225+p4_226+p4_227+p4_228+p4_229+p4_230+p4_231+p4_232+p4_233+p4_234+p4_235+p4_236+p4_237+p4_238+p4_239+p4_240+p4_241+p4_242+p4_243+p4_244+p4_245+p4_246+p4_247+p4_248+p4_249+p4_250+p4_251+p4_252+p4_253+p4_254+p4_255+p4_256+p4_257+p4_258+p4_259+p4_260+p4_261+p4_262+p4_263+p4_264+p4_265+p4_266+p4_267+p4_268+p4_269+p4_270+p4_271+p4_272+p4_273+p4_274+p4_275+p4_276+p4_277+p4_278+p4_279+p4_280+p4_281+p4_282+p4_283+p4_284+p4_285+p4_286+p4_287+p4_288+p4_289+p4_290+p4_291+p4_292+p4_293+p4_294+p4_295+p4_296+p4_297+p4_298+p4_299+p4_300+p4_301+p4_302+p4_303+p4_304+p4_305+p4_306+p4_307+p4_308+p4_309+p4_310+p4_311+p4_312+p4_313+p4_314+p4_315+p4_316+p4_317+p4_318+p4_319+p4_320+p4_321+p4_322+p4_323+p4_324+p4_325+p4_326+p4_327+p4_328+p4_329+p4_330+p4_331+p4_332+p4_333+p4_334+p4_335+p4_336+p4_337+p4_338+p4_339+p4_340+p4_341+p4_342+p4_343+p4_344+p4_345+p4_346+p4_347+p4_348+p4_349+p4_350+p4_351+p4_352+p4_353+p4_354+p4_355+p4_356+p4_357+p4_358+p4_359+p4_360+p4_361+p4_362+p4_363+p4_364+p4_365+p4_366+p4_367+p4_368+p4_369+p4_370+p4_371+p4_372+p4_373+p4_374+p4_375+p4_376+p4_377+p4_378+p4_379+p4_380+p4_381+p4_382+p4_383+p4_384+p4_385+p4_386+p4_387+p4_388+p4_389+p4_390+p4_391+p4_392+p4_393+p4_394+p4_395+p4_396+p4_397+p4_398+p4_399+p4_400+p4_401+p4_402+p4_403+p4_404+p4_405+p4_406+p4_407+p4_408+p4_409+p4_410+p4_411+p4_412+p4_413+p4_414+p4_415+p4_416+p4_417+p4_418+p4_419+p4_420+p4_421+p4_422+p4_423+p4_424+p4_425+p4_426+p4_427+p4_428+p4_429+p4_430+p4_431+p4_432+p4_433+p4_434+p4_435+p4_436+p4_437+p4_438+p4_439+p4_440+p4_441+p4_442+p4_443+p4_444+p4_445+p4_446+p4_447+p4_448+p4_449+p4_450+p4_451+p4_452+p4_453+p4_454+p4_455+p4_456+p4_457+p4_458+p4_459+p4_460+p4_461+p4_462+p4_463+p4_464+p4_465+p4_466+p4_467+p4_468+p4_469+p4_470+p4_471+p4_472+p4_473+p4_474+p4_475+p4_476+p4_477+p4_478+p4_479+p4_480+p4_481+p4_482+p4_483+p4_484+p4_485+p4_486+p4_487+p4_488+p4_489+p4_490+p4_491+p4_492+p4_493+p4_494+p4_495+p4_496+p4_497+p4_498+p4_499+p4_500+p4_501+p4_502+p4_503+p4_504+p4_505+p4_506+p4_507+p4_508+p4_509+p4_510+p4_511+p4_512+p4_513+p4_514+p4_515+p4_516+p4_517+p4_518+p4_519+p4_520+p4_521+p4_522+p4_523+p4_524+p4_525+p4_526+p4_527+p4_528+p4_529+p4_530+p4_531+p4_532+p4_533+p4_534+p4_535+p4_536+p4_537+p4_538+p4_539+p4_540+p4_541+p4_542+p4_543+p4_544+p4_545+p4_546+p4_547+p4_548+p4_549+p4_550+p4_551+p4_552+p4_553+p4_554+p4_555+p4_556+p4_557+p4_558+p4_559+p4_560+p4_561+p4_562+p4_563+p4_564+p4_565+p4_566+p4_567+p4_568+p4_569+p4_570+p4_571+p4_572+p4_573+p4_574+p4_575+p4_576+p4_577+p4_578+p4_579+p4_580+p4_581+p4_582+p4_583+p4_584+p4_585+p4_586+p4_587+p4_588+p4_589+p4_590+p4_591+p4_592+p4_593+p4_594+p4_595+p4_596+p4_597+p4_598+p4_599+p4_600+p4_601+p4_602+p4_603+p4_604+p4_605
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-03 with value :l35_0+l35_1+l35_2+l35_3+l35_4+l35_5+l35_6+l35_7+l35_8+l35_9+l35_10+l35_11+l35_12+l35_13+l35_14+l35_15+l35_16+l35_17+l35_18+l35_19+l35_20+l35_21+l35_22+l35_23+l35_24+l35_25+l35_26+l35_27+l35_28+l35_29+l35_30+l35_31+l35_32+l35_33+l35_34+l35_35+l35_36+l35_37+l35_38+l35_39+l35_40+l35_41+l35_42+l35_43+l35_44+l35_45+l35_46+l35_47+l35_48+l35_49+l35_50+l35_51+l35_52+l35_53+l35_54+l35_55+l35_56+l35_57+l35_58+l35_59+l35_60+l35_61+l35_62+l35_63+l35_64+l35_65+l35_66+l35_67+l35_68+l35_69+l35_70+l35_71+l35_72+l35_73+l35_74+l35_75+l35_76+l35_77+l35_78+l35_79+l35_80+l35_81+l35_82+l35_83+l35_84+l35_85+l35_86+l35_87+l35_88+l35_89+l35_90+l35_91+l35_92+l35_93+l35_94+l35_95+l35_96+l35_97+l35_98+l35_99+l35_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-04 with value :lm1_0+lm1_1+lm1_2+lm1_3+lm1_4+lm1_5+lm1_6+lm1_7+lm1_8+lm1_9+lm1_10+lm1_11+lm1_12+lm1_13+lm1_14+lm1_15+lm1_16+lm1_17+lm1_18+lm1_19+lm1_20+lm1_21+lm1_22+lm1_23+lm1_24+lm1_25+lm1_26+lm1_27+lm1_28+lm1_29+lm1_30+lm1_31+lm1_32+lm1_33+lm1_34+lm1_35+lm1_36+lm1_37+lm1_38+lm1_39+lm1_40+lm1_41+lm1_42+lm1_43+lm1_44+lm1_45+lm1_46+lm1_47+lm1_48+lm1_49+lm1_50+lm1_51+lm1_52+lm1_53+lm1_54+lm1_55+lm1_56+lm1_57+lm1_58+lm1_59+lm1_60+lm1_61+lm1_62+lm1_63+lm1_64+lm1_65+lm1_66+lm1_67+lm1_68+lm1_69+lm1_70+lm1_71+lm1_72+lm1_73+lm1_74+lm1_75+lm1_76+lm1_77+lm1_78+lm1_79+lm1_80+lm1_81+lm1_82+lm1_83+lm1_84+lm1_85+lm1_86+lm1_87+lm1_88+lm1_89+lm1_90+lm1_91+lm1_92+lm1_93+lm1_94+lm1_95+lm1_96+lm1_97+lm1_98+lm1_99+lm1_100+lm1_101+lm1_102+lm1_103+lm1_104+lm1_105+lm1_106+lm1_107+lm1_108+lm1_109+lm1_110+lm1_111+lm1_112+lm1_113+lm1_114+lm1_115+lm1_116+lm1_117+lm1_118+lm1_119+lm1_120+lm1_121+lm1_122+lm1_123+lm1_124+lm1_125+lm1_126+lm1_127+lm1_128+lm1_129+lm1_130+lm1_131+lm1_132+lm1_133+lm1_134+lm1_135+lm1_136+lm1_137+lm1_138+lm1_139+lm1_140+lm1_141+lm1_142+lm1_143+lm1_144+lm1_145+lm1_146+lm1_147+lm1_148+lm1_149+lm1_150+lm1_151+lm1_152+lm1_153+lm1_154+lm1_155+lm1_156+lm1_157+lm1_158+lm1_159+lm1_160+lm1_161+lm1_162+lm1_163+lm1_164+lm1_165+lm1_166+lm1_167+lm1_168+lm1_169+lm1_170+lm1_171+lm1_172+lm1_173+lm1_174+lm1_175+lm1_176+lm1_177+lm1_178+lm1_179+lm1_180+lm1_181+lm1_182+lm1_183+lm1_184+lm1_185+lm1_186+lm1_187+lm1_188+lm1_189+lm1_190+lm1_191+lm1_192+lm1_193+lm1_194+lm1_195+lm1_196+lm1_197+lm1_198+lm1_199+lm1_200+lm1_201+lm1_202+lm1_203+lm1_204+lm1_205+lm1_206+lm1_207+lm1_208+lm1_209+lm1_210+lm1_211+lm1_212+lm1_213+lm1_214+lm1_215+lm1_216+lm1_217+lm1_218+lm1_219+lm1_220+lm1_221+lm1_222+lm1_223+lm1_224+lm1_225+lm1_226+lm1_227+lm1_228+lm1_229+lm1_230+lm1_231+lm1_232+lm1_233+lm1_234+lm1_235+lm1_236+lm1_237+lm1_238+lm1_239+lm1_240+lm1_241+lm1_242+lm1_243+lm1_244+lm1_245+lm1_246+lm1_247+lm1_248+lm1_249+lm1_250+lm1_251+lm1_252+lm1_253+lm1_254+lm1_255+lm1_256+lm1_257+lm1_258+lm1_259+lm1_260+lm1_261+lm1_262+lm1_263+lm1_264+lm1_265+lm1_266+lm1_267+lm1_268+lm1_269+lm1_270+lm1_271+lm1_272+lm1_273+lm1_274+lm1_275+lm1_276+lm1_277+lm1_278+lm1_279+lm1_280+lm1_281+lm1_282+lm1_283+lm1_284+lm1_285+lm1_286+lm1_287+lm1_288+lm1_289+lm1_290+lm1_291+lm1_292+lm1_293+lm1_294+lm1_295+lm1_296+lm1_297+lm1_298+lm1_299+lm1_300+lm1_301+lm1_302+lm1_303+lm1_304+lm1_305+lm1_306+lm1_307+lm1_308+lm1_309+lm1_310+lm1_311+lm1_312+lm1_313+lm1_314+lm1_315+lm1_316+lm1_317+lm1_318+lm1_319+lm1_320+lm1_321+lm1_322+lm1_323+lm1_324+lm1_325+lm1_326+lm1_327+lm1_328+lm1_329+lm1_330+lm1_331+lm1_332+lm1_333+lm1_334+lm1_335+lm1_336+lm1_337+lm1_338+lm1_339+lm1_340+lm1_341+lm1_342+lm1_343+lm1_344+lm1_345+lm1_346+lm1_347+lm1_348+lm1_349+lm1_350+lm1_351+lm1_352+lm1_353+lm1_354+lm1_355+lm1_356+lm1_357+lm1_358+lm1_359+lm1_360+lm1_361+lm1_362+lm1_363+lm1_364+lm1_365+lm1_366+lm1_367+lm1_368+lm1_369+lm1_370+lm1_371+lm1_372+lm1_373+lm1_374+lm1_375+lm1_376+lm1_377+lm1_378+lm1_379+lm1_380+lm1_381+lm1_382+lm1_383+lm1_384+lm1_385+lm1_386+lm1_387+lm1_388+lm1_389+lm1_390+lm1_391+lm1_392+lm1_393+lm1_394+lm1_395+lm1_396+lm1_397+lm1_398+lm1_399+lm1_400+lm1_401+lm1_402+lm1_403+lm1_404+lm1_405+lm1_406+lm1_407+lm1_408+lm1_409+lm1_410+lm1_411+lm1_412+lm1_413+lm1_414+lm1_415+lm1_416+lm1_417+lm1_418+lm1_419+lm1_420+lm1_421+lm1_422+lm1_423+lm1_424+lm1_425+lm1_426+lm1_427+lm1_428+lm1_429+lm1_430+lm1_431+lm1_432+lm1_433+lm1_434+lm1_435+lm1_436+lm1_437+lm1_438+lm1_439+lm1_440+lm1_441+lm1_442+lm1_443+lm1_444+lm1_445+lm1_446+lm1_447+lm1_448+lm1_449+lm1_450+lm1_451+lm1_452+lm1_453+lm1_454+lm1_455+lm1_456+lm1_457+lm1_458+lm1_459+lm1_460+lm1_461+lm1_462+lm1_463+lm1_464+lm1_465+lm1_466+lm1_467+lm1_468+lm1_469+lm1_470+lm1_471+lm1_472+lm1_473+lm1_474+lm1_475+lm1_476+lm1_477+lm1_478+lm1_479+lm1_480+lm1_481+lm1_482+lm1_483+lm1_484+lm1_485+lm1_486+lm1_487+lm1_488+lm1_489+lm1_490+lm1_491+lm1_492+lm1_493+lm1_494+lm1_495+lm1_496+lm1_497+lm1_498+lm1_499+lm1_500+lm1_501+lm1_502+lm1_503+lm1_504+lm1_505+lm1_506+lm1_507+lm1_508+lm1_509+lm1_510+lm1_511+lm1_512+lm1_513+lm1_514+lm1_515+lm1_516+lm1_517+lm1_518+lm1_519+lm1_520+lm1_521+lm1_522+lm1_523+lm1_524+lm1_525+lm1_526+lm1_527+lm1_528+lm1_529+lm1_530+lm1_531+lm1_532+lm1_533+lm1_534+lm1_535+lm1_536+lm1_537+lm1_538+lm1_539+lm1_540+lm1_541+lm1_542+lm1_543+lm1_544+lm1_545+lm1_546+lm1_547+lm1_548+lm1_549+lm1_550+lm1_551+lm1_552+lm1_553+lm1_554+lm1_555+lm1_556+lm1_557+lm1_558+lm1_559+lm1_560+lm1_561+lm1_562+lm1_563+lm1_564+lm1_565+lm1_566+lm1_567+lm1_568+lm1_569+lm1_570+lm1_571+lm1_572+lm1_573+lm1_574+lm1_575+lm1_576+lm1_577+lm1_578+lm1_579+lm1_580+lm1_581+lm1_582+lm1_583+lm1_584+lm1_585+lm1_586+lm1_587+lm1_588+lm1_589+lm1_590+lm1_591+lm1_592+lm1_593+lm1_594+lm1_595+lm1_596+lm1_597+lm1_598+lm1_599+lm1_600+lm1_601+lm1_602+lm1_603+lm1_604+lm1_605+lm1_606+lm1_607+lm1_608+lm1_609+lm1_610+lm1_611+lm1_612+lm1_613+lm1_614+lm1_615+lm1_616+lm1_617+lm1_618+lm1_619+lm1_620+lm1_621+lm1_622+lm1_623+lm1_624+lm1_625+lm1_626+lm1_627+lm1_628+lm1_629+lm1_630+lm1_631+lm1_632+lm1_633+lm1_634+lm1_635+lm1_636+lm1_637+lm1_638+lm1_639+lm1_640+lm1_641+lm1_642+lm1_643+lm1_644+lm1_645+lm1_646+lm1_647+lm1_648+lm1_649+lm1_650+lm1_651+lm1_652+lm1_653+lm1_654+lm1_655+lm1_656+lm1_657+lm1_658+lm1_659+lm1_660+lm1_661+lm1_662+lm1_663+lm1_664+lm1_665+lm1_666+lm1_667+lm1_668+lm1_669+lm1_670+lm1_671+lm1_672+lm1_673+lm1_674+lm1_675+lm1_676+lm1_677+lm1_678+lm1_679+lm1_680+lm1_681+lm1_682+lm1_683+lm1_684+lm1_685+lm1_686+lm1_687+lm1_688+lm1_689+lm1_690+lm1_691+lm1_692+lm1_693+lm1_694+lm1_695+lm1_696+lm1_697+lm1_698+lm1_699+lm1_700+lm1_701+lm1_702+lm1_703+lm1_704+lm1_705+lm1_706+lm1_707+lm1_708+lm1_709+lm1_710+lm1_711+lm1_712+lm1_713+lm1_714+lm1_715+lm1_716+lm1_717+lm1_718+lm1_719+lm1_720+lm1_721+lm1_722+lm1_723+lm1_724+lm1_725+lm1_726+lm1_727+lm1_728+lm1_729+lm1_730+lm1_731+lm1_732+lm1_733+lm1_734+lm1_735+lm1_736+lm1_737+lm1_738+lm1_739+lm1_740+lm1_741+lm1_742+lm1_743+lm1_744+lm1_745+lm1_746+lm1_747+lm1_748+lm1_749+lm1_750+lm1_751+lm1_752+lm1_753+lm1_754+lm1_755+lm1_756+lm1_757+lm1_758+lm1_759+lm1_760+lm1_761+lm1_762+lm1_763+lm1_764+lm1_765+lm1_766+lm1_767+lm1_768+lm1_769+lm1_770+lm1_771+lm1_772+lm1_773+lm1_774+lm1_775+lm1_776+lm1_777+lm1_778+lm1_779+lm1_780+lm1_781+lm1_782+lm1_783+lm1_784+lm1_785+lm1_786+lm1_787+lm1_788+lm1_789+lm1_790+lm1_791+lm1_792+lm1_793+lm1_794+lm1_795+lm1_796+lm1_797+lm1_798+lm1_799+lm1_800+lm1_801+lm1_802+lm1_803+lm1_804+lm1_805+lm1_806+lm1_807+lm1_808+lm1_809+lm1_810+lm1_811+lm1_812+lm1_813+lm1_814+lm1_815+lm1_816+lm1_817+lm1_818+lm1_819+lm1_820+lm1_821+lm1_822+lm1_823+lm1_824+lm1_825+lm1_826+lm1_827+lm1_828+lm1_829+lm1_830+lm1_831+lm1_832+lm1_833+lm1_834+lm1_835+lm1_836+lm1_837+lm1_838+lm1_839+lm1_840+lm1_841+lm1_842+lm1_843+lm1_844+lm1_845+lm1_846+lm1_847+lm1_848+lm1_849+lm1_850+lm1_851+lm1_852+lm1_853+lm1_854+lm1_855+lm1_856+lm1_857+lm1_858+lm1_859+lm1_860+lm1_861+lm1_862+lm1_863+lm1_864+lm1_865+lm1_866+lm1_867+lm1_868+lm1_869+lm1_870+lm1_871+lm1_872+lm1_873+lm1_874+lm1_875+lm1_876+lm1_877+lm1_878+lm1_879+lm1_880+lm1_881+lm1_882+lm1_883+lm1_884+lm1_885+lm1_886+lm1_887+lm1_888+lm1_889+lm1_890+lm1_891+lm1_892+lm1_893+lm1_894+lm1_895+lm1_896+lm1_897+lm1_898+lm1_899+lm1_900+lm1_901+lm1_902+lm1_903+lm1_904+lm1_905+lm1_906+lm1_907+lm1_908+lm1_909+lm1_910+lm1_911+lm1_912+lm1_913+lm1_914+lm1_915+lm1_916+lm1_917+lm1_918+lm1_919+lm1_920+lm1_921+lm1_922+lm1_923+lm1_924+lm1_925+lm1_926+lm1_927+lm1_928+lm1_929+lm1_930+lm1_931+lm1_932+lm1_933+lm1_934+lm1_935+lm1_936+lm1_937+lm1_938+lm1_939+lm1_940+lm1_941+lm1_942+lm1_943+lm1_944+lm1_945+lm1_946+lm1_947+lm1_948+lm1_949+lm1_950+lm1_951+lm1_952+lm1_953+lm1_954+lm1_955+lm1_956+lm1_957+lm1_958+lm1_959+lm1_960+lm1_961+lm1_962+lm1_963+lm1_964+lm1_965+lm1_966+lm1_967+lm1_968+lm1_969+lm1_970+lm1_971+lm1_972+lm1_973+lm1_974+lm1_975+lm1_976+lm1_977+lm1_978+lm1_979+lm1_980+lm1_981+lm1_982+lm1_983+lm1_984+lm1_985+lm1_986+lm1_987+lm1_988+lm1_989+lm1_990+lm1_991+lm1_992+lm1_993+lm1_994+lm1_995+lm1_996+lm1_997+lm1_998+lm1_999+lm1_1000+lm1_1001+lm1_1002+lm1_1003+lm1_1004+lm1_1005+lm1_1006+lm1_1007+lm1_1008+lm1_1009+lm1_1010+lm1_1011+lm1_1012+lm1_1013+lm1_1014+lm1_1015+lm1_1016+lm1_1017+lm1_1018+lm1_1019+lm1_1020+lm1_1021+lm1_1022+lm1_1023+lm1_1024+lm1_1025+lm1_1026+lm1_1027+lm1_1028+lm1_1029+lm1_1030+lm1_1031+lm1_1032+lm1_1033+lm1_1034+lm1_1035+lm1_1036+lm1_1037+lm1_1038+lm1_1039+lm1_1040+lm1_1041+lm1_1042+lm1_1043+lm1_1044+lm1_1045+lm1_1046+lm1_1047+lm1_1048+lm1_1049+lm1_1050+lm1_1051+lm1_1052+lm1_1053+lm1_1054+lm1_1055+lm1_1056+lm1_1057+lm1_1058+lm1_1059+lm1_1060+lm1_1061+lm1_1062+lm1_1063+lm1_1064+lm1_1065+lm1_1066+lm1_1067+lm1_1068+lm1_1069+lm1_1070+lm1_1071+lm1_1072+lm1_1073+lm1_1074+lm1_1075+lm1_1076+lm1_1077+lm1_1078+lm1_1079+lm1_1080+lm1_1081+lm1_1082+lm1_1083+lm1_1084+lm1_1085+lm1_1086+lm1_1087+lm1_1088+lm1_1089+lm1_1090+lm1_1091+lm1_1092+lm1_1093+lm1_1094+lm1_1095+lm1_1096+lm1_1097+lm1_1098+lm1_1099+lm1_1100+lm1_1101+lm1_1102+lm1_1103+lm1_1104+lm1_1105+lm1_1106+lm1_1107+lm1_1108+lm1_1109+lm1_1110
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-05 with value :l25_0+l25_1+l25_2+l25_3+l25_4+l25_5+l25_6+l25_7+l25_8+l25_9+l25_10+l25_11+l25_12+l25_13+l25_14+l25_15+l25_16+l25_17+l25_18+l25_19+l25_20+l25_21+l25_22+l25_23+l25_24+l25_25+l25_26+l25_27+l25_28+l25_29+l25_30+l25_31+l25_32+l25_33+l25_34+l25_35+l25_36+l25_37+l25_38+l25_39+l25_40+l25_41+l25_42+l25_43+l25_44+l25_45+l25_46+l25_47+l25_48+l25_49+l25_50+l25_51+l25_52+l25_53+l25_54+l25_55+l25_56+l25_57+l25_58+l25_59+l25_60+l25_61+l25_62+l25_63+l25_64+l25_65+l25_66+l25_67+l25_68+l25_69+l25_70+l25_71+l25_72+l25_73+l25_74+l25_75+l25_76+l25_77+l25_78+l25_79+l25_80+l25_81+l25_82+l25_83+l25_84+l25_85+l25_86+l25_87+l25_88+l25_89+l25_90+l25_91+l25_92+l25_93+l25_94+l25_95+l25_96+l25_97+l25_98+l25_99+l25_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-06 with value :g4_0+g4_1+g4_2
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-07 with value :p8_0+p8_1+p8_2+p8_3+p8_4+p8_5
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-08 with value :l39_0+l39_1+l39_2+l39_3+l39_4+l39_5+l39_6+l39_7+l39_8+l39_9+l39_10+l39_11+l39_12+l39_13+l39_14+l39_15+l39_16+l39_17+l39_18+l39_19+l39_20+l39_21+l39_22+l39_23+l39_24+l39_25+l39_26+l39_27+l39_28+l39_29+l39_30+l39_31+l39_32+l39_33+l39_34+l39_35+l39_36+l39_37+l39_38+l39_39+l39_40+l39_41+l39_42+l39_43+l39_44+l39_45+l39_46+l39_47+l39_48+l39_49+l39_50+l39_51+l39_52+l39_53+l39_54+l39_55+l39_56+l39_57+l39_58+l39_59+l39_60+l39_61+l39_62+l39_63+l39_64+l39_65+l39_66+l39_67+l39_68+l39_69+l39_70+l39_71+l39_72+l39_73+l39_74+l39_75+l39_76+l39_77+l39_78+l39_79+l39_80+l39_81+l39_82+l39_83+l39_84+l39_85+l39_86+l39_87+l39_88+l39_89+l39_90+l39_91+l39_92+l39_93+l39_94+l39_95+l39_96+l39_97+l39_98+l39_99+l39_100+l39_101+l39_102+l39_103+l39_104+l39_105+l39_106+l39_107+l39_108+l39_109+l39_110+l39_111+l39_112+l39_113+l39_114+l39_115+l39_116+l39_117+l39_118+l39_119+l39_120+l39_121+l39_122+l39_123+l39_124+l39_125+l39_126+l39_127+l39_128+l39_129+l39_130+l39_131+l39_132+l39_133+l39_134+l39_135+l39_136+l39_137+l39_138+l39_139+l39_140+l39_141+l39_142+l39_143+l39_144+l39_145+l39_146+l39_147+l39_148+l39_149+l39_150+l39_151+l39_152+l39_153+l39_154+l39_155+l39_156+l39_157+l39_158+l39_159+l39_160+l39_161+l39_162+l39_163+l39_164+l39_165+l39_166+l39_167+l39_168+l39_169+l39_170+l39_171+l39_172+l39_173+l39_174+l39_175+l39_176+l39_177+l39_178+l39_179+l39_180+l39_181+l39_182+l39_183+l39_184+l39_185+l39_186+l39_187+l39_188+l39_189+l39_190+l39_191+l39_192+l39_193+l39_194+l39_195+l39_196+l39_197+l39_198+l39_199+l39_200+l39_201
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-09 with value :l2_0+l2_1+l2_2+l2_3+l2_4+l2_5+l2_6+l2_7+l2_8+l2_9+l2_10+l2_11+l2_12+l2_13+l2_14+l2_15+l2_16+l2_17+l2_18+l2_19+l2_20+l2_21+l2_22+l2_23+l2_24+l2_25+l2_26+l2_27+l2_28+l2_29+l2_30+l2_31+l2_32+l2_33+l2_34+l2_35+l2_36+l2_37+l2_38+l2_39+l2_40+l2_41+l2_42+l2_43+l2_44+l2_45+l2_46+l2_47+l2_48+l2_49+l2_50+l2_51+l2_52+l2_53+l2_54+l2_55+l2_56+l2_57+l2_58+l2_59+l2_60+l2_61+l2_62+l2_63+l2_64+l2_65+l2_66+l2_67+l2_68+l2_69+l2_70+l2_71+l2_72+l2_73+l2_74+l2_75+l2_76+l2_77+l2_78+l2_79+l2_80+l2_81+l2_82+l2_83+l2_84+l2_85+l2_86+l2_87+l2_88+l2_89+l2_90+l2_91+l2_92+l2_93+l2_94+l2_95+l2_96+l2_97+l2_98+l2_99+l2_100+l2_101+l2_102+l2_103+l2_104+l2_105+l2_106+l2_107+l2_108+l2_109+l2_110+l2_111+l2_112+l2_113+l2_114+l2_115+l2_116+l2_117+l2_118+l2_119+l2_120+l2_121+l2_122+l2_123+l2_124+l2_125+l2_126+l2_127+l2_128+l2_129+l2_130+l2_131+l2_132+l2_133+l2_134+l2_135+l2_136+l2_137+l2_138+l2_139+l2_140+l2_141+l2_142+l2_143+l2_144+l2_145+l2_146+l2_147+l2_148+l2_149+l2_150+l2_151+l2_152+l2_153+l2_154+l2_155+l2_156+l2_157+l2_158+l2_159+l2_160+l2_161+l2_162+l2_163+l2_164+l2_165+l2_166+l2_167+l2_168+l2_169+l2_170+l2_171+l2_172+l2_173+l2_174+l2_175+l2_176+l2_177+l2_178+l2_179+l2_180+l2_181+l2_182+l2_183+l2_184+l2_185+l2_186+l2_187+l2_188+l2_189+l2_190+l2_191+l2_192+l2_193+l2_194+l2_195+l2_196+l2_197+l2_198+l2_199+l2_200+l2_201+l2_202+l2_203+l2_204+l2_205+l2_206+l2_207+l2_208+l2_209+l2_210+l2_211+l2_212+l2_213+l2_214+l2_215+l2_216+l2_217+l2_218+l2_219+l2_220+l2_221+l2_222+l2_223+l2_224+l2_225+l2_226+l2_227+l2_228+l2_229+l2_230+l2_231+l2_232+l2_233+l2_234+l2_235+l2_236+l2_237+l2_238+l2_239+l2_240+l2_241+l2_242+l2_243+l2_244+l2_245+l2_246+l2_247+l2_248+l2_249+l2_250+l2_251+l2_252+l2_253+l2_254+l2_255+l2_256+l2_257+l2_258+l2_259+l2_260+l2_261+l2_262+l2_263+l2_264+l2_265+l2_266+l2_267+l2_268+l2_269+l2_270+l2_271+l2_272+l2_273+l2_274+l2_275+l2_276+l2_277+l2_278+l2_279+l2_280+l2_281+l2_282+l2_283+l2_284+l2_285+l2_286+l2_287+l2_288+l2_289+l2_290+l2_291+l2_292+l2_293+l2_294+l2_295+l2_296+l2_297+l2_298+l2_299+l2_300+l2_301+l2_302+l2_303+l2_304+l2_305+l2_306+l2_307+l2_308+l2_309+l2_310+l2_311+l2_312+l2_313+l2_314+l2_315+l2_316+l2_317+l2_318+l2_319+l2_320+l2_321+l2_322+l2_323+l2_324+l2_325+l2_326+l2_327+l2_328+l2_329+l2_330+l2_331+l2_332+l2_333+l2_334+l2_335+l2_336+l2_337+l2_338+l2_339+l2_340+l2_341+l2_342+l2_343+l2_344+l2_345+l2_346+l2_347+l2_348+l2_349+l2_350+l2_351+l2_352+l2_353+l2_354+l2_355+l2_356+l2_357+l2_358+l2_359+l2_360+l2_361+l2_362+l2_363+l2_364+l2_365+l2_366+l2_367+l2_368+l2_369+l2_370+l2_371+l2_372+l2_373+l2_374+l2_375+l2_376+l2_377+l2_378+l2_379+l2_380+l2_381+l2_382+l2_383+l2_384+l2_385+l2_386+l2_387+l2_388+l2_389+l2_390+l2_391+l2_392+l2_393+l2_394+l2_395+l2_396+l2_397+l2_398+l2_399+l2_400+l2_401+l2_402+l2_403+l2_404+l2_405+l2_406+l2_407+l2_408+l2_409+l2_410+l2_411+l2_412+l2_413+l2_414+l2_415+l2_416+l2_417+l2_418+l2_419+l2_420+l2_421+l2_422+l2_423+l2_424+l2_425+l2_426+l2_427+l2_428+l2_429+l2_430+l2_431+l2_432+l2_433+l2_434+l2_435+l2_436+l2_437+l2_438+l2_439+l2_440+l2_441+l2_442+l2_443+l2_444+l2_445+l2_446+l2_447+l2_448+l2_449+l2_450+l2_451+l2_452+l2_453+l2_454+l2_455+l2_456+l2_457+l2_458+l2_459+l2_460+l2_461+l2_462+l2_463+l2_464+l2_465+l2_466+l2_467+l2_468+l2_469+l2_470+l2_471+l2_472+l2_473+l2_474+l2_475+l2_476+l2_477+l2_478+l2_479+l2_480+l2_481+l2_482+l2_483+l2_484+l2_485+l2_486+l2_487+l2_488+l2_489+l2_490+l2_491+l2_492+l2_493+l2_494+l2_495+l2_496+l2_497+l2_498+l2_499+l2_500+l2_501+l2_502+l2_503+l2_504+l2_505+l2_506+l2_507+l2_508+l2_509+l2_510+l2_511+l2_512+l2_513+l2_514+l2_515+l2_516+l2_517+l2_518+l2_519+l2_520+l2_521+l2_522+l2_523+l2_524+l2_525+l2_526+l2_527+l2_528+l2_529+l2_530+l2_531+l2_532+l2_533+l2_534+l2_535+l2_536+l2_537+l2_538+l2_539+l2_540+l2_541+l2_542+l2_543+l2_544+l2_545+l2_546+l2_547+l2_548+l2_549+l2_550+l2_551+l2_552+l2_553+l2_554+l2_555+l2_556+l2_557+l2_558+l2_559+l2_560+l2_561+l2_562+l2_563+l2_564+l2_565+l2_566+l2_567+l2_568+l2_569+l2_570+l2_571+l2_572+l2_573+l2_574+l2_575+l2_576+l2_577+l2_578+l2_579+l2_580+l2_581+l2_582+l2_583+l2_584+l2_585+l2_586+l2_587+l2_588+l2_589+l2_590+l2_591+l2_592+l2_593+l2_594+l2_595+l2_596+l2_597+l2_598+l2_599+l2_600+l2_601+l2_602+l2_603+l2_604+l2_605+l2_606+l2_607+l2_608+l2_609+l2_610+l2_611+l2_612+l2_613+l2_614+l2_615+l2_616+l2_617+l2_618+l2_619+l2_620+l2_621+l2_622+l2_623+l2_624+l2_625+l2_626+l2_627+l2_628+l2_629+l2_630+l2_631+l2_632+l2_633+l2_634+l2_635+l2_636+l2_637+l2_638+l2_639+l2_640+l2_641+l2_642+l2_643+l2_644+l2_645+l2_646+l2_647+l2_648+l2_649+l2_650+l2_651+l2_652+l2_653+l2_654+l2_655+l2_656+l2_657+l2_658+l2_659+l2_660+l2_661+l2_662+l2_663+l2_664+l2_665+l2_666+l2_667+l2_668+l2_669+l2_670+l2_671+l2_672+l2_673+l2_674+l2_675+l2_676+l2_677+l2_678+l2_679+l2_680+l2_681+l2_682+l2_683+l2_684+l2_685+l2_686+l2_687+l2_688+l2_689+l2_690+l2_691+l2_692+l2_693+l2_694+l2_695+l2_696+l2_697+l2_698+l2_699+l2_700+l2_701+l2_702+l2_703+l2_704+l2_705+l2_706+l2_707+l2_708+l2_709+l2_710+l2_711+l2_712+l2_713+l2_714+l2_715+l2_716+l2_717+l2_718+l2_719+l2_720+l2_721+l2_722+l2_723+l2_724+l2_725+l2_726+l2_727+l2_728+l2_729+l2_730+l2_731+l2_732+l2_733+l2_734+l2_735+l2_736+l2_737+l2_738+l2_739+l2_740+l2_741+l2_742+l2_743+l2_744+l2_745+l2_746+l2_747+l2_748+l2_749+l2_750+l2_751+l2_752+l2_753+l2_754+l2_755+l2_756+l2_757+l2_758+l2_759+l2_760+l2_761+l2_762+l2_763+l2_764+l2_765+l2_766+l2_767+l2_768+l2_769+l2_770+l2_771+l2_772+l2_773+l2_774+l2_775+l2_776+l2_777+l2_778+l2_779+l2_780+l2_781+l2_782+l2_783+l2_784+l2_785+l2_786+l2_787+l2_788+l2_789+l2_790+l2_791+l2_792+l2_793+l2_794+l2_795+l2_796+l2_797+l2_798+l2_799+l2_800+l2_801+l2_802+l2_803+l2_804+l2_805+l2_806+l2_807+l2_808+l2_809+l2_810+l2_811+l2_812+l2_813+l2_814+l2_815+l2_816+l2_817+l2_818+l2_819+l2_820+l2_821+l2_822+l2_823+l2_824+l2_825+l2_826+l2_827+l2_828+l2_829+l2_830+l2_831+l2_832+l2_833+l2_834+l2_835+l2_836+l2_837+l2_838+l2_839+l2_840+l2_841+l2_842+l2_843+l2_844+l2_845+l2_846+l2_847+l2_848+l2_849+l2_850+l2_851+l2_852+l2_853+l2_854+l2_855+l2_856+l2_857+l2_858+l2_859+l2_860+l2_861+l2_862+l2_863+l2_864+l2_865+l2_866+l2_867+l2_868+l2_869+l2_870+l2_871+l2_872+l2_873+l2_874+l2_875+l2_876+l2_877+l2_878+l2_879+l2_880+l2_881+l2_882+l2_883+l2_884+l2_885+l2_886+l2_887+l2_888+l2_889+l2_890+l2_891+l2_892+l2_893+l2_894+l2_895+l2_896+l2_897+l2_898+l2_899+l2_900+l2_901+l2_902+l2_903+l2_904+l2_905+l2_906+l2_907+l2_908+l2_909+l2_910+l2_911+l2_912+l2_913+l2_914+l2_915+l2_916+l2_917+l2_918+l2_919+l2_920+l2_921+l2_922+l2_923+l2_924+l2_925+l2_926+l2_927+l2_928+l2_929+l2_930+l2_931+l2_932+l2_933+l2_934+l2_935+l2_936+l2_937+l2_938+l2_939+l2_940+l2_941+l2_942+l2_943+l2_944+l2_945+l2_946+l2_947+l2_948+l2_949+l2_950+l2_951+l2_952+l2_953+l2_954+l2_955+l2_956+l2_957+l2_958+l2_959+l2_960+l2_961+l2_962+l2_963+l2_964+l2_965+l2_966+l2_967+l2_968+l2_969+l2_970+l2_971+l2_972+l2_973+l2_974+l2_975+l2_976+l2_977+l2_978+l2_979+l2_980+l2_981+l2_982+l2_983+l2_984+l2_985+l2_986+l2_987+l2_988+l2_989+l2_990+l2_991+l2_992+l2_993+l2_994+l2_995+l2_996+l2_997+l2_998+l2_999+l2_1000+l2_1001+l2_1002+l2_1003+l2_1004+l2_1005+l2_1006+l2_1007+l2_1008+l2_1009+l2_1010+l2_1011+l2_1012+l2_1013+l2_1014+l2_1015+l2_1016+l2_1017+l2_1018+l2_1019+l2_1020+l2_1021+l2_1022+l2_1023+l2_1024+l2_1025+l2_1026+l2_1027+l2_1028+l2_1029+l2_1030+l2_1031+l2_1032+l2_1033+l2_1034+l2_1035+l2_1036+l2_1037+l2_1038+l2_1039+l2_1040+l2_1041+l2_1042+l2_1043+l2_1044+l2_1045+l2_1046+l2_1047+l2_1048+l2_1049+l2_1050+l2_1051+l2_1052+l2_1053+l2_1054+l2_1055+l2_1056+l2_1057+l2_1058+l2_1059+l2_1060+l2_1061+l2_1062+l2_1063+l2_1064+l2_1065+l2_1066+l2_1067+l2_1068+l2_1069+l2_1070+l2_1071+l2_1072+l2_1073+l2_1074+l2_1075+l2_1076+l2_1077+l2_1078+l2_1079+l2_1080+l2_1081+l2_1082+l2_1083+l2_1084+l2_1085+l2_1086+l2_1087+l2_1088+l2_1089+l2_1090+l2_1091+l2_1092+l2_1093+l2_1094+l2_1095+l2_1096+l2_1097+l2_1098+l2_1099+l2_1100+l2_1101+l2_1102+l2_1103+l2_1104+l2_1105+l2_1106+l2_1107+l2_1108+l2_1109+l2_1110
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-10 with value :g0_0+g0_1+g0_2
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-11 with value :l3_0+l3_1+l3_2+l3_3+l3_4+l3_5+l3_6+l3_7+l3_8+l3_9+l3_10+l3_11+l3_12+l3_13+l3_14+l3_15+l3_16+l3_17+l3_18+l3_19+l3_20+l3_21+l3_22+l3_23+l3_24+l3_25+l3_26+l3_27+l3_28+l3_29+l3_30+l3_31+l3_32+l3_33+l3_34+l3_35+l3_36+l3_37+l3_38+l3_39+l3_40+l3_41+l3_42+l3_43+l3_44+l3_45+l3_46+l3_47+l3_48+l3_49+l3_50+l3_51+l3_52+l3_53+l3_54+l3_55+l3_56+l3_57+l3_58+l3_59+l3_60+l3_61+l3_62+l3_63+l3_64+l3_65+l3_66+l3_67+l3_68+l3_69+l3_70+l3_71+l3_72+l3_73+l3_74+l3_75+l3_76+l3_77+l3_78+l3_79+l3_80+l3_81+l3_82+l3_83+l3_84+l3_85+l3_86+l3_87+l3_88+l3_89+l3_90+l3_91+l3_92+l3_93+l3_94+l3_95+l3_96+l3_97+l3_98+l3_99+l3_100+l3_101+l3_102+l3_103+l3_104+l3_105+l3_106+l3_107+l3_108+l3_109+l3_110+l3_111+l3_112+l3_113+l3_114+l3_115+l3_116+l3_117+l3_118+l3_119+l3_120+l3_121+l3_122+l3_123+l3_124+l3_125+l3_126+l3_127+l3_128+l3_129+l3_130+l3_131+l3_132+l3_133+l3_134+l3_135+l3_136+l3_137+l3_138+l3_139+l3_140+l3_141+l3_142+l3_143+l3_144+l3_145+l3_146+l3_147+l3_148+l3_149+l3_150+l3_151+l3_152+l3_153+l3_154+l3_155+l3_156+l3_157+l3_158+l3_159+l3_160+l3_161+l3_162+l3_163+l3_164+l3_165+l3_166+l3_167+l3_168+l3_169+l3_170+l3_171+l3_172+l3_173+l3_174+l3_175+l3_176+l3_177+l3_178+l3_179+l3_180+l3_181+l3_182+l3_183+l3_184+l3_185+l3_186+l3_187+l3_188+l3_189+l3_190+l3_191+l3_192+l3_193+l3_194+l3_195+l3_196+l3_197+l3_198+l3_199+l3_200+l3_201+l3_202+l3_203+l3_204+l3_205+l3_206+l3_207+l3_208+l3_209+l3_210+l3_211+l3_212+l3_213+l3_214+l3_215+l3_216+l3_217+l3_218+l3_219+l3_220+l3_221+l3_222+l3_223+l3_224+l3_225+l3_226+l3_227+l3_228+l3_229+l3_230+l3_231+l3_232+l3_233+l3_234+l3_235+l3_236+l3_237+l3_238+l3_239+l3_240+l3_241+l3_242+l3_243+l3_244+l3_245+l3_246+l3_247+l3_248+l3_249+l3_250+l3_251+l3_252+l3_253+l3_254+l3_255+l3_256+l3_257+l3_258+l3_259+l3_260+l3_261+l3_262+l3_263+l3_264+l3_265+l3_266+l3_267+l3_268+l3_269+l3_270+l3_271+l3_272+l3_273+l3_274+l3_275+l3_276+l3_277+l3_278+l3_279+l3_280+l3_281+l3_282+l3_283+l3_284+l3_285+l3_286+l3_287+l3_288+l3_289+l3_290+l3_291+l3_292+l3_293+l3_294+l3_295+l3_296+l3_297+l3_298+l3_299+l3_300+l3_301+l3_302+l3_303+l3_304+l3_305+l3_306+l3_307+l3_308+l3_309+l3_310+l3_311+l3_312+l3_313+l3_314+l3_315+l3_316+l3_317+l3_318+l3_319+l3_320+l3_321+l3_322+l3_323+l3_324+l3_325+l3_326+l3_327+l3_328+l3_329+l3_330+l3_331+l3_332+l3_333+l3_334+l3_335+l3_336+l3_337+l3_338+l3_339+l3_340+l3_341+l3_342+l3_343+l3_344+l3_345+l3_346+l3_347+l3_348+l3_349+l3_350+l3_351+l3_352+l3_353+l3_354+l3_355+l3_356+l3_357+l3_358+l3_359+l3_360+l3_361+l3_362+l3_363+l3_364+l3_365+l3_366+l3_367+l3_368+l3_369+l3_370+l3_371+l3_372+l3_373+l3_374+l3_375+l3_376+l3_377+l3_378+l3_379+l3_380+l3_381+l3_382+l3_383+l3_384+l3_385+l3_386+l3_387+l3_388+l3_389+l3_390+l3_391+l3_392+l3_393+l3_394+l3_395+l3_396+l3_397+l3_398+l3_399+l3_400+l3_401+l3_402+l3_403+l3_404+l3_405+l3_406+l3_407+l3_408+l3_409+l3_410+l3_411+l3_412+l3_413+l3_414+l3_415+l3_416+l3_417+l3_418+l3_419+l3_420+l3_421+l3_422+l3_423+l3_424+l3_425+l3_426+l3_427+l3_428+l3_429+l3_430+l3_431+l3_432+l3_433+l3_434+l3_435+l3_436+l3_437+l3_438+l3_439+l3_440+l3_441+l3_442+l3_443+l3_444+l3_445+l3_446+l3_447+l3_448+l3_449+l3_450+l3_451+l3_452+l3_453+l3_454+l3_455+l3_456+l3_457+l3_458+l3_459+l3_460+l3_461+l3_462+l3_463+l3_464+l3_465+l3_466+l3_467+l3_468+l3_469+l3_470+l3_471+l3_472+l3_473+l3_474+l3_475+l3_476+l3_477+l3_478+l3_479+l3_480+l3_481+l3_482+l3_483+l3_484+l3_485+l3_486+l3_487+l3_488+l3_489+l3_490+l3_491+l3_492+l3_493+l3_494+l3_495+l3_496+l3_497+l3_498+l3_499+l3_500+l3_501+l3_502+l3_503+l3_504+l3_505+l3_506+l3_507+l3_508+l3_509+l3_510+l3_511+l3_512+l3_513+l3_514+l3_515+l3_516+l3_517+l3_518+l3_519+l3_520+l3_521+l3_522+l3_523+l3_524+l3_525+l3_526+l3_527+l3_528+l3_529+l3_530+l3_531+l3_532+l3_533+l3_534+l3_535+l3_536+l3_537+l3_538+l3_539+l3_540+l3_541+l3_542+l3_543+l3_544+l3_545+l3_546+l3_547+l3_548+l3_549+l3_550+l3_551+l3_552+l3_553+l3_554+l3_555+l3_556+l3_557+l3_558+l3_559+l3_560+l3_561+l3_562+l3_563+l3_564+l3_565+l3_566+l3_567+l3_568+l3_569+l3_570+l3_571+l3_572+l3_573+l3_574+l3_575+l3_576+l3_577+l3_578+l3_579+l3_580+l3_581+l3_582+l3_583+l3_584+l3_585+l3_586+l3_587+l3_588+l3_589+l3_590+l3_591+l3_592+l3_593+l3_594+l3_595+l3_596+l3_597+l3_598+l3_599+l3_600+l3_601+l3_602+l3_603+l3_604+l3_605+l3_606+l3_607+l3_608+l3_609+l3_610+l3_611+l3_612+l3_613+l3_614+l3_615+l3_616+l3_617+l3_618+l3_619+l3_620+l3_621+l3_622+l3_623+l3_624+l3_625+l3_626+l3_627+l3_628+l3_629+l3_630+l3_631+l3_632+l3_633+l3_634+l3_635+l3_636+l3_637+l3_638+l3_639+l3_640+l3_641+l3_642+l3_643+l3_644+l3_645+l3_646+l3_647+l3_648+l3_649+l3_650+l3_651+l3_652+l3_653+l3_654+l3_655+l3_656+l3_657+l3_658+l3_659+l3_660+l3_661+l3_662+l3_663+l3_664+l3_665+l3_666+l3_667+l3_668+l3_669+l3_670+l3_671+l3_672+l3_673+l3_674+l3_675+l3_676+l3_677+l3_678+l3_679+l3_680+l3_681+l3_682+l3_683+l3_684+l3_685+l3_686+l3_687+l3_688+l3_689+l3_690+l3_691+l3_692+l3_693+l3_694+l3_695+l3_696+l3_697+l3_698+l3_699+l3_700+l3_701+l3_702+l3_703+l3_704+l3_705+l3_706+l3_707+l3_708+l3_709+l3_710+l3_711+l3_712+l3_713+l3_714+l3_715+l3_716+l3_717+l3_718+l3_719+l3_720+l3_721+l3_722+l3_723+l3_724+l3_725+l3_726+l3_727+l3_728+l3_729+l3_730+l3_731+l3_732+l3_733+l3_734+l3_735+l3_736+l3_737+l3_738+l3_739+l3_740+l3_741+l3_742+l3_743+l3_744+l3_745+l3_746+l3_747+l3_748+l3_749+l3_750+l3_751+l3_752+l3_753+l3_754+l3_755+l3_756+l3_757+l3_758+l3_759+l3_760+l3_761+l3_762+l3_763+l3_764+l3_765+l3_766+l3_767+l3_768+l3_769+l3_770+l3_771+l3_772+l3_773+l3_774+l3_775+l3_776+l3_777+l3_778+l3_779+l3_780+l3_781+l3_782+l3_783+l3_784+l3_785+l3_786+l3_787+l3_788+l3_789+l3_790+l3_791+l3_792+l3_793+l3_794+l3_795+l3_796+l3_797+l3_798+l3_799+l3_800+l3_801+l3_802+l3_803+l3_804+l3_805+l3_806+l3_807+l3_808+l3_809+l3_810+l3_811+l3_812+l3_813+l3_814+l3_815+l3_816+l3_817+l3_818+l3_819+l3_820+l3_821+l3_822+l3_823+l3_824+l3_825+l3_826+l3_827+l3_828+l3_829+l3_830+l3_831+l3_832+l3_833+l3_834+l3_835+l3_836+l3_837+l3_838+l3_839+l3_840+l3_841+l3_842+l3_843+l3_844+l3_845+l3_846+l3_847+l3_848+l3_849+l3_850+l3_851+l3_852+l3_853+l3_854+l3_855+l3_856+l3_857+l3_858+l3_859+l3_860+l3_861+l3_862+l3_863+l3_864+l3_865+l3_866+l3_867+l3_868+l3_869+l3_870+l3_871+l3_872+l3_873+l3_874+l3_875+l3_876+l3_877+l3_878+l3_879+l3_880+l3_881+l3_882+l3_883+l3_884+l3_885+l3_886+l3_887+l3_888+l3_889+l3_890+l3_891+l3_892+l3_893+l3_894+l3_895+l3_896+l3_897+l3_898+l3_899+l3_900+l3_901+l3_902+l3_903+l3_904+l3_905+l3_906+l3_907+l3_908+l3_909+l3_910+l3_911+l3_912+l3_913+l3_914+l3_915+l3_916+l3_917+l3_918+l3_919+l3_920+l3_921+l3_922+l3_923+l3_924+l3_925+l3_926+l3_927+l3_928+l3_929+l3_930+l3_931+l3_932+l3_933+l3_934+l3_935+l3_936+l3_937+l3_938+l3_939+l3_940+l3_941+l3_942+l3_943+l3_944+l3_945+l3_946+l3_947+l3_948+l3_949+l3_950+l3_951+l3_952+l3_953+l3_954+l3_955+l3_956+l3_957+l3_958+l3_959+l3_960+l3_961+l3_962+l3_963+l3_964+l3_965+l3_966+l3_967+l3_968+l3_969+l3_970+l3_971+l3_972+l3_973+l3_974+l3_975+l3_976+l3_977+l3_978+l3_979+l3_980+l3_981+l3_982+l3_983+l3_984+l3_985+l3_986+l3_987+l3_988+l3_989+l3_990+l3_991+l3_992+l3_993+l3_994+l3_995+l3_996+l3_997+l3_998+l3_999+l3_1000+l3_1001+l3_1002+l3_1003+l3_1004+l3_1005+l3_1006+l3_1007+l3_1008+l3_1009+l3_1010+l3_1011+l3_1012+l3_1013+l3_1014+l3_1015+l3_1016+l3_1017+l3_1018+l3_1019+l3_1020+l3_1021+l3_1022+l3_1023+l3_1024+l3_1025+l3_1026+l3_1027+l3_1028+l3_1029+l3_1030+l3_1031+l3_1032+l3_1033+l3_1034+l3_1035+l3_1036+l3_1037+l3_1038+l3_1039+l3_1040+l3_1041+l3_1042+l3_1043+l3_1044+l3_1045+l3_1046+l3_1047+l3_1048+l3_1049+l3_1050+l3_1051+l3_1052+l3_1053+l3_1054+l3_1055+l3_1056+l3_1057+l3_1058+l3_1059+l3_1060+l3_1061+l3_1062+l3_1063+l3_1064+l3_1065+l3_1066+l3_1067+l3_1068+l3_1069+l3_1070+l3_1071+l3_1072+l3_1073+l3_1074+l3_1075+l3_1076+l3_1077+l3_1078+l3_1079+l3_1080+l3_1081+l3_1082+l3_1083+l3_1084+l3_1085+l3_1086+l3_1087+l3_1088+l3_1089+l3_1090+l3_1091+l3_1092+l3_1093+l3_1094+l3_1095+l3_1096+l3_1097+l3_1098+l3_1099+l3_1100+l3_1101+l3_1102+l3_1103+l3_1104+l3_1105+l3_1106+l3_1107+l3_1108+l3_1109+l3_1110
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-12 with value :p1_0+p1_1+p1_2+p1_3+p1_4+p1_5+p1_6+p1_7+p1_8+p1_9+p1_10+p1_11+p1_12+p1_13+p1_14+p1_15+p1_16+p1_17+p1_18+p1_19+p1_20+p1_21+p1_22+p1_23+p1_24+p1_25+p1_26+p1_27+p1_28+p1_29+p1_30+p1_31+p1_32+p1_33+p1_34+p1_35+p1_36+p1_37+p1_38+p1_39+p1_40+p1_41+p1_42+p1_43+p1_44+p1_45+p1_46+p1_47+p1_48+p1_49+p1_50+p1_51+p1_52+p1_53+p1_54+p1_55+p1_56+p1_57+p1_58+p1_59+p1_60+p1_61+p1_62+p1_63+p1_64+p1_65+p1_66+p1_67+p1_68+p1_69+p1_70+p1_71+p1_72+p1_73+p1_74+p1_75+p1_76+p1_77+p1_78+p1_79+p1_80+p1_81+p1_82+p1_83+p1_84+p1_85+p1_86+p1_87+p1_88+p1_89+p1_90+p1_91+p1_92+p1_93+p1_94+p1_95+p1_96+p1_97+p1_98+p1_99+p1_100+p1_101+p1_102+p1_103+p1_104+p1_105+p1_106+p1_107+p1_108+p1_109+p1_110+p1_111+p1_112+p1_113+p1_114+p1_115+p1_116+p1_117+p1_118+p1_119+p1_120+p1_121+p1_122+p1_123+p1_124+p1_125+p1_126+p1_127+p1_128+p1_129+p1_130+p1_131+p1_132+p1_133+p1_134+p1_135+p1_136+p1_137+p1_138+p1_139+p1_140+p1_141+p1_142+p1_143+p1_144+p1_145+p1_146+p1_147+p1_148+p1_149+p1_150+p1_151+p1_152+p1_153+p1_154+p1_155+p1_156+p1_157+p1_158+p1_159+p1_160+p1_161+p1_162+p1_163+p1_164+p1_165+p1_166+p1_167+p1_168+p1_169+p1_170+p1_171+p1_172+p1_173+p1_174+p1_175+p1_176+p1_177+p1_178+p1_179+p1_180+p1_181+p1_182+p1_183+p1_184+p1_185+p1_186+p1_187+p1_188+p1_189+p1_190+p1_191+p1_192+p1_193+p1_194+p1_195+p1_196+p1_197+p1_198+p1_199+p1_200+p1_201+p1_202+p1_203+p1_204+p1_205+p1_206+p1_207+p1_208+p1_209+p1_210+p1_211+p1_212+p1_213+p1_214+p1_215+p1_216+p1_217+p1_218+p1_219+p1_220+p1_221+p1_222+p1_223+p1_224+p1_225+p1_226+p1_227+p1_228+p1_229+p1_230+p1_231+p1_232+p1_233+p1_234+p1_235+p1_236+p1_237+p1_238+p1_239+p1_240+p1_241+p1_242+p1_243+p1_244+p1_245+p1_246+p1_247+p1_248+p1_249+p1_250+p1_251+p1_252+p1_253+p1_254+p1_255+p1_256+p1_257+p1_258+p1_259+p1_260+p1_261+p1_262+p1_263+p1_264+p1_265+p1_266+p1_267+p1_268+p1_269+p1_270+p1_271+p1_272+p1_273+p1_274+p1_275+p1_276+p1_277+p1_278+p1_279+p1_280+p1_281+p1_282+p1_283+p1_284+p1_285+p1_286+p1_287+p1_288+p1_289+p1_290+p1_291+p1_292+p1_293+p1_294+p1_295+p1_296+p1_297+p1_298+p1_299+p1_300+p1_301+p1_302+p1_303+p1_304+p1_305+p1_306+p1_307+p1_308+p1_309+p1_310+p1_311+p1_312+p1_313+p1_314+p1_315+p1_316+p1_317+p1_318+p1_319+p1_320+p1_321+p1_322+p1_323+p1_324+p1_325+p1_326+p1_327+p1_328+p1_329+p1_330+p1_331+p1_332+p1_333+p1_334+p1_335+p1_336+p1_337+p1_338+p1_339+p1_340+p1_341+p1_342+p1_343+p1_344+p1_345+p1_346+p1_347+p1_348+p1_349+p1_350+p1_351+p1_352+p1_353+p1_354+p1_355+p1_356+p1_357+p1_358+p1_359+p1_360+p1_361+p1_362+p1_363+p1_364+p1_365+p1_366+p1_367+p1_368+p1_369+p1_370+p1_371+p1_372+p1_373+p1_374+p1_375+p1_376+p1_377+p1_378+p1_379+p1_380+p1_381+p1_382+p1_383+p1_384+p1_385+p1_386+p1_387+p1_388+p1_389+p1_390+p1_391+p1_392+p1_393+p1_394+p1_395+p1_396+p1_397+p1_398+p1_399+p1_400+p1_401+p1_402+p1_403+p1_404+p1_405+p1_406+p1_407+p1_408+p1_409+p1_410+p1_411+p1_412+p1_413+p1_414+p1_415+p1_416+p1_417+p1_418+p1_419+p1_420+p1_421+p1_422+p1_423+p1_424+p1_425+p1_426+p1_427+p1_428+p1_429+p1_430+p1_431+p1_432+p1_433+p1_434+p1_435+p1_436+p1_437+p1_438+p1_439+p1_440+p1_441+p1_442+p1_443+p1_444+p1_445+p1_446+p1_447+p1_448+p1_449+p1_450+p1_451+p1_452+p1_453+p1_454+p1_455+p1_456+p1_457+p1_458+p1_459+p1_460+p1_461+p1_462+p1_463+p1_464+p1_465+p1_466+p1_467+p1_468+p1_469+p1_470+p1_471+p1_472+p1_473+p1_474+p1_475+p1_476+p1_477+p1_478+p1_479+p1_480+p1_481+p1_482+p1_483+p1_484+p1_485+p1_486+p1_487+p1_488+p1_489+p1_490+p1_491+p1_492+p1_493+p1_494+p1_495+p1_496+p1_497+p1_498+p1_499+p1_500+p1_501+p1_502+p1_503+p1_504+p1_505+p1_506+p1_507+p1_508+p1_509+p1_510+p1_511+p1_512+p1_513+p1_514+p1_515+p1_516+p1_517+p1_518+p1_519+p1_520+p1_521+p1_522+p1_523+p1_524+p1_525+p1_526+p1_527+p1_528+p1_529+p1_530+p1_531+p1_532+p1_533+p1_534+p1_535+p1_536+p1_537+p1_538+p1_539+p1_540+p1_541+p1_542+p1_543+p1_544+p1_545+p1_546+p1_547+p1_548+p1_549+p1_550+p1_551+p1_552+p1_553+p1_554+p1_555+p1_556+p1_557+p1_558+p1_559+p1_560+p1_561+p1_562+p1_563+p1_564+p1_565+p1_566+p1_567+p1_568+p1_569+p1_570+p1_571+p1_572+p1_573+p1_574+p1_575+p1_576+p1_577+p1_578+p1_579+p1_580+p1_581+p1_582+p1_583+p1_584+p1_585+p1_586+p1_587+p1_588+p1_589+p1_590+p1_591+p1_592+p1_593+p1_594+p1_595+p1_596+p1_597+p1_598+p1_599+p1_600+p1_601+p1_602+p1_603+p1_604+p1_605
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-13 with value :l19_0+l19_1+l19_2+l19_3+l19_4+l19_5+l19_6+l19_7+l19_8+l19_9+l19_10+l19_11+l19_12+l19_13+l19_14+l19_15+l19_16+l19_17+l19_18+l19_19+l19_20+l19_21+l19_22+l19_23+l19_24+l19_25+l19_26+l19_27+l19_28+l19_29+l19_30+l19_31+l19_32+l19_33+l19_34+l19_35+l19_36+l19_37+l19_38+l19_39+l19_40+l19_41+l19_42+l19_43+l19_44+l19_45+l19_46+l19_47+l19_48+l19_49+l19_50+l19_51+l19_52+l19_53+l19_54+l19_55+l19_56+l19_57+l19_58+l19_59+l19_60+l19_61+l19_62+l19_63+l19_64+l19_65+l19_66+l19_67+l19_68+l19_69+l19_70+l19_71+l19_72+l19_73+l19_74+l19_75+l19_76+l19_77+l19_78+l19_79+l19_80+l19_81+l19_82+l19_83+l19_84+l19_85+l19_86+l19_87+l19_88+l19_89+l19_90+l19_91+l19_92+l19_93+l19_94+l19_95+l19_96+l19_97+l19_98+l19_99+l19_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-14 with value :lp1_0+lp1_1+lp1_2+lp1_3+lp1_4+lp1_5+lp1_6+lp1_7+lp1_8+lp1_9+lp1_10+lp1_11+lp1_12+lp1_13+lp1_14+lp1_15+lp1_16+lp1_17+lp1_18+lp1_19+lp1_20+lp1_21+lp1_22+lp1_23+lp1_24+lp1_25+lp1_26+lp1_27+lp1_28+lp1_29+lp1_30+lp1_31+lp1_32+lp1_33+lp1_34+lp1_35+lp1_36+lp1_37+lp1_38+lp1_39+lp1_40+lp1_41+lp1_42+lp1_43+lp1_44+lp1_45+lp1_46+lp1_47+lp1_48+lp1_49+lp1_50+lp1_51+lp1_52+lp1_53+lp1_54+lp1_55+lp1_56+lp1_57+lp1_58+lp1_59+lp1_60+lp1_61+lp1_62+lp1_63+lp1_64+lp1_65+lp1_66+lp1_67+lp1_68+lp1_69+lp1_70+lp1_71+lp1_72+lp1_73+lp1_74+lp1_75+lp1_76+lp1_77+lp1_78+lp1_79+lp1_80+lp1_81+lp1_82+lp1_83+lp1_84+lp1_85+lp1_86+lp1_87+lp1_88+lp1_89+lp1_90+lp1_91+lp1_92+lp1_93+lp1_94+lp1_95+lp1_96+lp1_97+lp1_98+lp1_99+lp1_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-15 with value :l17_0+l17_1+l17_2+l17_3+l17_4+l17_5+l17_6+l17_7+l17_8+l17_9+l17_10+l17_11+l17_12+l17_13+l17_14+l17_15+l17_16+l17_17+l17_18+l17_19+l17_20+l17_21+l17_22+l17_23+l17_24+l17_25+l17_26+l17_27+l17_28+l17_29+l17_30+l17_31+l17_32+l17_33+l17_34+l17_35+l17_36+l17_37+l17_38+l17_39+l17_40+l17_41+l17_42+l17_43+l17_44+l17_45+l17_46+l17_47+l17_48+l17_49+l17_50+l17_51+l17_52+l17_53+l17_54+l17_55+l17_56+l17_57+l17_58+l17_59+l17_60+l17_61+l17_62+l17_63+l17_64+l17_65+l17_66+l17_67+l17_68+l17_69+l17_70+l17_71+l17_72+l17_73+l17_74+l17_75+l17_76+l17_77+l17_78+l17_79+l17_80+l17_81+l17_82+l17_83+l17_84+l17_85+l17_86+l17_87+l17_88+l17_89+l17_90+l17_91+l17_92+l17_93+l17_94+l17_95+l17_96+l17_97+l17_98+l17_99+l17_100
Detected timeout of ITS tools.
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness], workingDir=/home/mcc/execution]
its-reach command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201903251645/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness
Loading property file UpperBounds.prop.
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-00 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-01 with value :g0_0+g0_1+g0_2
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-02 with value :p4_0+p4_1+p4_2+p4_3+p4_4+p4_5+p4_6+p4_7+p4_8+p4_9+p4_10+p4_11+p4_12+p4_13+p4_14+p4_15+p4_16+p4_17+p4_18+p4_19+p4_20+p4_21+p4_22+p4_23+p4_24+p4_25+p4_26+p4_27+p4_28+p4_29+p4_30+p4_31+p4_32+p4_33+p4_34+p4_35+p4_36+p4_37+p4_38+p4_39+p4_40+p4_41+p4_42+p4_43+p4_44+p4_45+p4_46+p4_47+p4_48+p4_49+p4_50+p4_51+p4_52+p4_53+p4_54+p4_55+p4_56+p4_57+p4_58+p4_59+p4_60+p4_61+p4_62+p4_63+p4_64+p4_65+p4_66+p4_67+p4_68+p4_69+p4_70+p4_71+p4_72+p4_73+p4_74+p4_75+p4_76+p4_77+p4_78+p4_79+p4_80+p4_81+p4_82+p4_83+p4_84+p4_85+p4_86+p4_87+p4_88+p4_89+p4_90+p4_91+p4_92+p4_93+p4_94+p4_95+p4_96+p4_97+p4_98+p4_99+p4_100+p4_101+p4_102+p4_103+p4_104+p4_105+p4_106+p4_107+p4_108+p4_109+p4_110+p4_111+p4_112+p4_113+p4_114+p4_115+p4_116+p4_117+p4_118+p4_119+p4_120+p4_121+p4_122+p4_123+p4_124+p4_125+p4_126+p4_127+p4_128+p4_129+p4_130+p4_131+p4_132+p4_133+p4_134+p4_135+p4_136+p4_137+p4_138+p4_139+p4_140+p4_141+p4_142+p4_143+p4_144+p4_145+p4_146+p4_147+p4_148+p4_149+p4_150+p4_151+p4_152+p4_153+p4_154+p4_155+p4_156+p4_157+p4_158+p4_159+p4_160+p4_161+p4_162+p4_163+p4_164+p4_165+p4_166+p4_167+p4_168+p4_169+p4_170+p4_171+p4_172+p4_173+p4_174+p4_175+p4_176+p4_177+p4_178+p4_179+p4_180+p4_181+p4_182+p4_183+p4_184+p4_185+p4_186+p4_187+p4_188+p4_189+p4_190+p4_191+p4_192+p4_193+p4_194+p4_195+p4_196+p4_197+p4_198+p4_199+p4_200+p4_201+p4_202+p4_203+p4_204+p4_205+p4_206+p4_207+p4_208+p4_209+p4_210+p4_211+p4_212+p4_213+p4_214+p4_215+p4_216+p4_217+p4_218+p4_219+p4_220+p4_221+p4_222+p4_223+p4_224+p4_225+p4_226+p4_227+p4_228+p4_229+p4_230+p4_231+p4_232+p4_233+p4_234+p4_235+p4_236+p4_237+p4_238+p4_239+p4_240+p4_241+p4_242+p4_243+p4_244+p4_245+p4_246+p4_247+p4_248+p4_249+p4_250+p4_251+p4_252+p4_253+p4_254+p4_255+p4_256+p4_257+p4_258+p4_259+p4_260+p4_261+p4_262+p4_263+p4_264+p4_265+p4_266+p4_267+p4_268+p4_269+p4_270+p4_271+p4_272+p4_273+p4_274+p4_275+p4_276+p4_277+p4_278+p4_279+p4_280+p4_281+p4_282+p4_283+p4_284+p4_285+p4_286+p4_287+p4_288+p4_289+p4_290+p4_291+p4_292+p4_293+p4_294+p4_295+p4_296+p4_297+p4_298+p4_299+p4_300+p4_301+p4_302+p4_303+p4_304+p4_305+p4_306+p4_307+p4_308+p4_309+p4_310+p4_311+p4_312+p4_313+p4_314+p4_315+p4_316+p4_317+p4_318+p4_319+p4_320+p4_321+p4_322+p4_323+p4_324+p4_325+p4_326+p4_327+p4_328+p4_329+p4_330+p4_331+p4_332+p4_333+p4_334+p4_335+p4_336+p4_337+p4_338+p4_339+p4_340+p4_341+p4_342+p4_343+p4_344+p4_345+p4_346+p4_347+p4_348+p4_349+p4_350+p4_351+p4_352+p4_353+p4_354+p4_355+p4_356+p4_357+p4_358+p4_359+p4_360+p4_361+p4_362+p4_363+p4_364+p4_365+p4_366+p4_367+p4_368+p4_369+p4_370+p4_371+p4_372+p4_373+p4_374+p4_375+p4_376+p4_377+p4_378+p4_379+p4_380+p4_381+p4_382+p4_383+p4_384+p4_385+p4_386+p4_387+p4_388+p4_389+p4_390+p4_391+p4_392+p4_393+p4_394+p4_395+p4_396+p4_397+p4_398+p4_399+p4_400+p4_401+p4_402+p4_403+p4_404+p4_405+p4_406+p4_407+p4_408+p4_409+p4_410+p4_411+p4_412+p4_413+p4_414+p4_415+p4_416+p4_417+p4_418+p4_419+p4_420+p4_421+p4_422+p4_423+p4_424+p4_425+p4_426+p4_427+p4_428+p4_429+p4_430+p4_431+p4_432+p4_433+p4_434+p4_435+p4_436+p4_437+p4_438+p4_439+p4_440+p4_441+p4_442+p4_443+p4_444+p4_445+p4_446+p4_447+p4_448+p4_449+p4_450+p4_451+p4_452+p4_453+p4_454+p4_455+p4_456+p4_457+p4_458+p4_459+p4_460+p4_461+p4_462+p4_463+p4_464+p4_465+p4_466+p4_467+p4_468+p4_469+p4_470+p4_471+p4_472+p4_473+p4_474+p4_475+p4_476+p4_477+p4_478+p4_479+p4_480+p4_481+p4_482+p4_483+p4_484+p4_485+p4_486+p4_487+p4_488+p4_489+p4_490+p4_491+p4_492+p4_493+p4_494+p4_495+p4_496+p4_497+p4_498+p4_499+p4_500+p4_501+p4_502+p4_503+p4_504+p4_505+p4_506+p4_507+p4_508+p4_509+p4_510+p4_511+p4_512+p4_513+p4_514+p4_515+p4_516+p4_517+p4_518+p4_519+p4_520+p4_521+p4_522+p4_523+p4_524+p4_525+p4_526+p4_527+p4_528+p4_529+p4_530+p4_531+p4_532+p4_533+p4_534+p4_535+p4_536+p4_537+p4_538+p4_539+p4_540+p4_541+p4_542+p4_543+p4_544+p4_545+p4_546+p4_547+p4_548+p4_549+p4_550+p4_551+p4_552+p4_553+p4_554+p4_555+p4_556+p4_557+p4_558+p4_559+p4_560+p4_561+p4_562+p4_563+p4_564+p4_565+p4_566+p4_567+p4_568+p4_569+p4_570+p4_571+p4_572+p4_573+p4_574+p4_575+p4_576+p4_577+p4_578+p4_579+p4_580+p4_581+p4_582+p4_583+p4_584+p4_585+p4_586+p4_587+p4_588+p4_589+p4_590+p4_591+p4_592+p4_593+p4_594+p4_595+p4_596+p4_597+p4_598+p4_599+p4_600+p4_601+p4_602+p4_603+p4_604+p4_605
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-03 with value :l35_0+l35_1+l35_2+l35_3+l35_4+l35_5+l35_6+l35_7+l35_8+l35_9+l35_10+l35_11+l35_12+l35_13+l35_14+l35_15+l35_16+l35_17+l35_18+l35_19+l35_20+l35_21+l35_22+l35_23+l35_24+l35_25+l35_26+l35_27+l35_28+l35_29+l35_30+l35_31+l35_32+l35_33+l35_34+l35_35+l35_36+l35_37+l35_38+l35_39+l35_40+l35_41+l35_42+l35_43+l35_44+l35_45+l35_46+l35_47+l35_48+l35_49+l35_50+l35_51+l35_52+l35_53+l35_54+l35_55+l35_56+l35_57+l35_58+l35_59+l35_60+l35_61+l35_62+l35_63+l35_64+l35_65+l35_66+l35_67+l35_68+l35_69+l35_70+l35_71+l35_72+l35_73+l35_74+l35_75+l35_76+l35_77+l35_78+l35_79+l35_80+l35_81+l35_82+l35_83+l35_84+l35_85+l35_86+l35_87+l35_88+l35_89+l35_90+l35_91+l35_92+l35_93+l35_94+l35_95+l35_96+l35_97+l35_98+l35_99+l35_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-04 with value :lm1_0+lm1_1+lm1_2+lm1_3+lm1_4+lm1_5+lm1_6+lm1_7+lm1_8+lm1_9+lm1_10+lm1_11+lm1_12+lm1_13+lm1_14+lm1_15+lm1_16+lm1_17+lm1_18+lm1_19+lm1_20+lm1_21+lm1_22+lm1_23+lm1_24+lm1_25+lm1_26+lm1_27+lm1_28+lm1_29+lm1_30+lm1_31+lm1_32+lm1_33+lm1_34+lm1_35+lm1_36+lm1_37+lm1_38+lm1_39+lm1_40+lm1_41+lm1_42+lm1_43+lm1_44+lm1_45+lm1_46+lm1_47+lm1_48+lm1_49+lm1_50+lm1_51+lm1_52+lm1_53+lm1_54+lm1_55+lm1_56+lm1_57+lm1_58+lm1_59+lm1_60+lm1_61+lm1_62+lm1_63+lm1_64+lm1_65+lm1_66+lm1_67+lm1_68+lm1_69+lm1_70+lm1_71+lm1_72+lm1_73+lm1_74+lm1_75+lm1_76+lm1_77+lm1_78+lm1_79+lm1_80+lm1_81+lm1_82+lm1_83+lm1_84+lm1_85+lm1_86+lm1_87+lm1_88+lm1_89+lm1_90+lm1_91+lm1_92+lm1_93+lm1_94+lm1_95+lm1_96+lm1_97+lm1_98+lm1_99+lm1_100+lm1_101+lm1_102+lm1_103+lm1_104+lm1_105+lm1_106+lm1_107+lm1_108+lm1_109+lm1_110+lm1_111+lm1_112+lm1_113+lm1_114+lm1_115+lm1_116+lm1_117+lm1_118+lm1_119+lm1_120+lm1_121+lm1_122+lm1_123+lm1_124+lm1_125+lm1_126+lm1_127+lm1_128+lm1_129+lm1_130+lm1_131+lm1_132+lm1_133+lm1_134+lm1_135+lm1_136+lm1_137+lm1_138+lm1_139+lm1_140+lm1_141+lm1_142+lm1_143+lm1_144+lm1_145+lm1_146+lm1_147+lm1_148+lm1_149+lm1_150+lm1_151+lm1_152+lm1_153+lm1_154+lm1_155+lm1_156+lm1_157+lm1_158+lm1_159+lm1_160+lm1_161+lm1_162+lm1_163+lm1_164+lm1_165+lm1_166+lm1_167+lm1_168+lm1_169+lm1_170+lm1_171+lm1_172+lm1_173+lm1_174+lm1_175+lm1_176+lm1_177+lm1_178+lm1_179+lm1_180+lm1_181+lm1_182+lm1_183+lm1_184+lm1_185+lm1_186+lm1_187+lm1_188+lm1_189+lm1_190+lm1_191+lm1_192+lm1_193+lm1_194+lm1_195+lm1_196+lm1_197+lm1_198+lm1_199+lm1_200+lm1_201+lm1_202+lm1_203+lm1_204+lm1_205+lm1_206+lm1_207+lm1_208+lm1_209+lm1_210+lm1_211+lm1_212+lm1_213+lm1_214+lm1_215+lm1_216+lm1_217+lm1_218+lm1_219+lm1_220+lm1_221+lm1_222+lm1_223+lm1_224+lm1_225+lm1_226+lm1_227+lm1_228+lm1_229+lm1_230+lm1_231+lm1_232+lm1_233+lm1_234+lm1_235+lm1_236+lm1_237+lm1_238+lm1_239+lm1_240+lm1_241+lm1_242+lm1_243+lm1_244+lm1_245+lm1_246+lm1_247+lm1_248+lm1_249+lm1_250+lm1_251+lm1_252+lm1_253+lm1_254+lm1_255+lm1_256+lm1_257+lm1_258+lm1_259+lm1_260+lm1_261+lm1_262+lm1_263+lm1_264+lm1_265+lm1_266+lm1_267+lm1_268+lm1_269+lm1_270+lm1_271+lm1_272+lm1_273+lm1_274+lm1_275+lm1_276+lm1_277+lm1_278+lm1_279+lm1_280+lm1_281+lm1_282+lm1_283+lm1_284+lm1_285+lm1_286+lm1_287+lm1_288+lm1_289+lm1_290+lm1_291+lm1_292+lm1_293+lm1_294+lm1_295+lm1_296+lm1_297+lm1_298+lm1_299+lm1_300+lm1_301+lm1_302+lm1_303+lm1_304+lm1_305+lm1_306+lm1_307+lm1_308+lm1_309+lm1_310+lm1_311+lm1_312+lm1_313+lm1_314+lm1_315+lm1_316+lm1_317+lm1_318+lm1_319+lm1_320+lm1_321+lm1_322+lm1_323+lm1_324+lm1_325+lm1_326+lm1_327+lm1_328+lm1_329+lm1_330+lm1_331+lm1_332+lm1_333+lm1_334+lm1_335+lm1_336+lm1_337+lm1_338+lm1_339+lm1_340+lm1_341+lm1_342+lm1_343+lm1_344+lm1_345+lm1_346+lm1_347+lm1_348+lm1_349+lm1_350+lm1_351+lm1_352+lm1_353+lm1_354+lm1_355+lm1_356+lm1_357+lm1_358+lm1_359+lm1_360+lm1_361+lm1_362+lm1_363+lm1_364+lm1_365+lm1_366+lm1_367+lm1_368+lm1_369+lm1_370+lm1_371+lm1_372+lm1_373+lm1_374+lm1_375+lm1_376+lm1_377+lm1_378+lm1_379+lm1_380+lm1_381+lm1_382+lm1_383+lm1_384+lm1_385+lm1_386+lm1_387+lm1_388+lm1_389+lm1_390+lm1_391+lm1_392+lm1_393+lm1_394+lm1_395+lm1_396+lm1_397+lm1_398+lm1_399+lm1_400+lm1_401+lm1_402+lm1_403+lm1_404+lm1_405+lm1_406+lm1_407+lm1_408+lm1_409+lm1_410+lm1_411+lm1_412+lm1_413+lm1_414+lm1_415+lm1_416+lm1_417+lm1_418+lm1_419+lm1_420+lm1_421+lm1_422+lm1_423+lm1_424+lm1_425+lm1_426+lm1_427+lm1_428+lm1_429+lm1_430+lm1_431+lm1_432+lm1_433+lm1_434+lm1_435+lm1_436+lm1_437+lm1_438+lm1_439+lm1_440+lm1_441+lm1_442+lm1_443+lm1_444+lm1_445+lm1_446+lm1_447+lm1_448+lm1_449+lm1_450+lm1_451+lm1_452+lm1_453+lm1_454+lm1_455+lm1_456+lm1_457+lm1_458+lm1_459+lm1_460+lm1_461+lm1_462+lm1_463+lm1_464+lm1_465+lm1_466+lm1_467+lm1_468+lm1_469+lm1_470+lm1_471+lm1_472+lm1_473+lm1_474+lm1_475+lm1_476+lm1_477+lm1_478+lm1_479+lm1_480+lm1_481+lm1_482+lm1_483+lm1_484+lm1_485+lm1_486+lm1_487+lm1_488+lm1_489+lm1_490+lm1_491+lm1_492+lm1_493+lm1_494+lm1_495+lm1_496+lm1_497+lm1_498+lm1_499+lm1_500+lm1_501+lm1_502+lm1_503+lm1_504+lm1_505+lm1_506+lm1_507+lm1_508+lm1_509+lm1_510+lm1_511+lm1_512+lm1_513+lm1_514+lm1_515+lm1_516+lm1_517+lm1_518+lm1_519+lm1_520+lm1_521+lm1_522+lm1_523+lm1_524+lm1_525+lm1_526+lm1_527+lm1_528+lm1_529+lm1_530+lm1_531+lm1_532+lm1_533+lm1_534+lm1_535+lm1_536+lm1_537+lm1_538+lm1_539+lm1_540+lm1_541+lm1_542+lm1_543+lm1_544+lm1_545+lm1_546+lm1_547+lm1_548+lm1_549+lm1_550+lm1_551+lm1_552+lm1_553+lm1_554+lm1_555+lm1_556+lm1_557+lm1_558+lm1_559+lm1_560+lm1_561+lm1_562+lm1_563+lm1_564+lm1_565+lm1_566+lm1_567+lm1_568+lm1_569+lm1_570+lm1_571+lm1_572+lm1_573+lm1_574+lm1_575+lm1_576+lm1_577+lm1_578+lm1_579+lm1_580+lm1_581+lm1_582+lm1_583+lm1_584+lm1_585+lm1_586+lm1_587+lm1_588+lm1_589+lm1_590+lm1_591+lm1_592+lm1_593+lm1_594+lm1_595+lm1_596+lm1_597+lm1_598+lm1_599+lm1_600+lm1_601+lm1_602+lm1_603+lm1_604+lm1_605+lm1_606+lm1_607+lm1_608+lm1_609+lm1_610+lm1_611+lm1_612+lm1_613+lm1_614+lm1_615+lm1_616+lm1_617+lm1_618+lm1_619+lm1_620+lm1_621+lm1_622+lm1_623+lm1_624+lm1_625+lm1_626+lm1_627+lm1_628+lm1_629+lm1_630+lm1_631+lm1_632+lm1_633+lm1_634+lm1_635+lm1_636+lm1_637+lm1_638+lm1_639+lm1_640+lm1_641+lm1_642+lm1_643+lm1_644+lm1_645+lm1_646+lm1_647+lm1_648+lm1_649+lm1_650+lm1_651+lm1_652+lm1_653+lm1_654+lm1_655+lm1_656+lm1_657+lm1_658+lm1_659+lm1_660+lm1_661+lm1_662+lm1_663+lm1_664+lm1_665+lm1_666+lm1_667+lm1_668+lm1_669+lm1_670+lm1_671+lm1_672+lm1_673+lm1_674+lm1_675+lm1_676+lm1_677+lm1_678+lm1_679+lm1_680+lm1_681+lm1_682+lm1_683+lm1_684+lm1_685+lm1_686+lm1_687+lm1_688+lm1_689+lm1_690+lm1_691+lm1_692+lm1_693+lm1_694+lm1_695+lm1_696+lm1_697+lm1_698+lm1_699+lm1_700+lm1_701+lm1_702+lm1_703+lm1_704+lm1_705+lm1_706+lm1_707+lm1_708+lm1_709+lm1_710+lm1_711+lm1_712+lm1_713+lm1_714+lm1_715+lm1_716+lm1_717+lm1_718+lm1_719+lm1_720+lm1_721+lm1_722+lm1_723+lm1_724+lm1_725+lm1_726+lm1_727+lm1_728+lm1_729+lm1_730+lm1_731+lm1_732+lm1_733+lm1_734+lm1_735+lm1_736+lm1_737+lm1_738+lm1_739+lm1_740+lm1_741+lm1_742+lm1_743+lm1_744+lm1_745+lm1_746+lm1_747+lm1_748+lm1_749+lm1_750+lm1_751+lm1_752+lm1_753+lm1_754+lm1_755+lm1_756+lm1_757+lm1_758+lm1_759+lm1_760+lm1_761+lm1_762+lm1_763+lm1_764+lm1_765+lm1_766+lm1_767+lm1_768+lm1_769+lm1_770+lm1_771+lm1_772+lm1_773+lm1_774+lm1_775+lm1_776+lm1_777+lm1_778+lm1_779+lm1_780+lm1_781+lm1_782+lm1_783+lm1_784+lm1_785+lm1_786+lm1_787+lm1_788+lm1_789+lm1_790+lm1_791+lm1_792+lm1_793+lm1_794+lm1_795+lm1_796+lm1_797+lm1_798+lm1_799+lm1_800+lm1_801+lm1_802+lm1_803+lm1_804+lm1_805+lm1_806+lm1_807+lm1_808+lm1_809+lm1_810+lm1_811+lm1_812+lm1_813+lm1_814+lm1_815+lm1_816+lm1_817+lm1_818+lm1_819+lm1_820+lm1_821+lm1_822+lm1_823+lm1_824+lm1_825+lm1_826+lm1_827+lm1_828+lm1_829+lm1_830+lm1_831+lm1_832+lm1_833+lm1_834+lm1_835+lm1_836+lm1_837+lm1_838+lm1_839+lm1_840+lm1_841+lm1_842+lm1_843+lm1_844+lm1_845+lm1_846+lm1_847+lm1_848+lm1_849+lm1_850+lm1_851+lm1_852+lm1_853+lm1_854+lm1_855+lm1_856+lm1_857+lm1_858+lm1_859+lm1_860+lm1_861+lm1_862+lm1_863+lm1_864+lm1_865+lm1_866+lm1_867+lm1_868+lm1_869+lm1_870+lm1_871+lm1_872+lm1_873+lm1_874+lm1_875+lm1_876+lm1_877+lm1_878+lm1_879+lm1_880+lm1_881+lm1_882+lm1_883+lm1_884+lm1_885+lm1_886+lm1_887+lm1_888+lm1_889+lm1_890+lm1_891+lm1_892+lm1_893+lm1_894+lm1_895+lm1_896+lm1_897+lm1_898+lm1_899+lm1_900+lm1_901+lm1_902+lm1_903+lm1_904+lm1_905+lm1_906+lm1_907+lm1_908+lm1_909+lm1_910+lm1_911+lm1_912+lm1_913+lm1_914+lm1_915+lm1_916+lm1_917+lm1_918+lm1_919+lm1_920+lm1_921+lm1_922+lm1_923+lm1_924+lm1_925+lm1_926+lm1_927+lm1_928+lm1_929+lm1_930+lm1_931+lm1_932+lm1_933+lm1_934+lm1_935+lm1_936+lm1_937+lm1_938+lm1_939+lm1_940+lm1_941+lm1_942+lm1_943+lm1_944+lm1_945+lm1_946+lm1_947+lm1_948+lm1_949+lm1_950+lm1_951+lm1_952+lm1_953+lm1_954+lm1_955+lm1_956+lm1_957+lm1_958+lm1_959+lm1_960+lm1_961+lm1_962+lm1_963+lm1_964+lm1_965+lm1_966+lm1_967+lm1_968+lm1_969+lm1_970+lm1_971+lm1_972+lm1_973+lm1_974+lm1_975+lm1_976+lm1_977+lm1_978+lm1_979+lm1_980+lm1_981+lm1_982+lm1_983+lm1_984+lm1_985+lm1_986+lm1_987+lm1_988+lm1_989+lm1_990+lm1_991+lm1_992+lm1_993+lm1_994+lm1_995+lm1_996+lm1_997+lm1_998+lm1_999+lm1_1000+lm1_1001+lm1_1002+lm1_1003+lm1_1004+lm1_1005+lm1_1006+lm1_1007+lm1_1008+lm1_1009+lm1_1010+lm1_1011+lm1_1012+lm1_1013+lm1_1014+lm1_1015+lm1_1016+lm1_1017+lm1_1018+lm1_1019+lm1_1020+lm1_1021+lm1_1022+lm1_1023+lm1_1024+lm1_1025+lm1_1026+lm1_1027+lm1_1028+lm1_1029+lm1_1030+lm1_1031+lm1_1032+lm1_1033+lm1_1034+lm1_1035+lm1_1036+lm1_1037+lm1_1038+lm1_1039+lm1_1040+lm1_1041+lm1_1042+lm1_1043+lm1_1044+lm1_1045+lm1_1046+lm1_1047+lm1_1048+lm1_1049+lm1_1050+lm1_1051+lm1_1052+lm1_1053+lm1_1054+lm1_1055+lm1_1056+lm1_1057+lm1_1058+lm1_1059+lm1_1060+lm1_1061+lm1_1062+lm1_1063+lm1_1064+lm1_1065+lm1_1066+lm1_1067+lm1_1068+lm1_1069+lm1_1070+lm1_1071+lm1_1072+lm1_1073+lm1_1074+lm1_1075+lm1_1076+lm1_1077+lm1_1078+lm1_1079+lm1_1080+lm1_1081+lm1_1082+lm1_1083+lm1_1084+lm1_1085+lm1_1086+lm1_1087+lm1_1088+lm1_1089+lm1_1090+lm1_1091+lm1_1092+lm1_1093+lm1_1094+lm1_1095+lm1_1096+lm1_1097+lm1_1098+lm1_1099+lm1_1100+lm1_1101+lm1_1102+lm1_1103+lm1_1104+lm1_1105+lm1_1106+lm1_1107+lm1_1108+lm1_1109+lm1_1110
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-05 with value :l25_0+l25_1+l25_2+l25_3+l25_4+l25_5+l25_6+l25_7+l25_8+l25_9+l25_10+l25_11+l25_12+l25_13+l25_14+l25_15+l25_16+l25_17+l25_18+l25_19+l25_20+l25_21+l25_22+l25_23+l25_24+l25_25+l25_26+l25_27+l25_28+l25_29+l25_30+l25_31+l25_32+l25_33+l25_34+l25_35+l25_36+l25_37+l25_38+l25_39+l25_40+l25_41+l25_42+l25_43+l25_44+l25_45+l25_46+l25_47+l25_48+l25_49+l25_50+l25_51+l25_52+l25_53+l25_54+l25_55+l25_56+l25_57+l25_58+l25_59+l25_60+l25_61+l25_62+l25_63+l25_64+l25_65+l25_66+l25_67+l25_68+l25_69+l25_70+l25_71+l25_72+l25_73+l25_74+l25_75+l25_76+l25_77+l25_78+l25_79+l25_80+l25_81+l25_82+l25_83+l25_84+l25_85+l25_86+l25_87+l25_88+l25_89+l25_90+l25_91+l25_92+l25_93+l25_94+l25_95+l25_96+l25_97+l25_98+l25_99+l25_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-06 with value :g4_0+g4_1+g4_2
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-07 with value :p8_0+p8_1+p8_2+p8_3+p8_4+p8_5
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-08 with value :l39_0+l39_1+l39_2+l39_3+l39_4+l39_5+l39_6+l39_7+l39_8+l39_9+l39_10+l39_11+l39_12+l39_13+l39_14+l39_15+l39_16+l39_17+l39_18+l39_19+l39_20+l39_21+l39_22+l39_23+l39_24+l39_25+l39_26+l39_27+l39_28+l39_29+l39_30+l39_31+l39_32+l39_33+l39_34+l39_35+l39_36+l39_37+l39_38+l39_39+l39_40+l39_41+l39_42+l39_43+l39_44+l39_45+l39_46+l39_47+l39_48+l39_49+l39_50+l39_51+l39_52+l39_53+l39_54+l39_55+l39_56+l39_57+l39_58+l39_59+l39_60+l39_61+l39_62+l39_63+l39_64+l39_65+l39_66+l39_67+l39_68+l39_69+l39_70+l39_71+l39_72+l39_73+l39_74+l39_75+l39_76+l39_77+l39_78+l39_79+l39_80+l39_81+l39_82+l39_83+l39_84+l39_85+l39_86+l39_87+l39_88+l39_89+l39_90+l39_91+l39_92+l39_93+l39_94+l39_95+l39_96+l39_97+l39_98+l39_99+l39_100+l39_101+l39_102+l39_103+l39_104+l39_105+l39_106+l39_107+l39_108+l39_109+l39_110+l39_111+l39_112+l39_113+l39_114+l39_115+l39_116+l39_117+l39_118+l39_119+l39_120+l39_121+l39_122+l39_123+l39_124+l39_125+l39_126+l39_127+l39_128+l39_129+l39_130+l39_131+l39_132+l39_133+l39_134+l39_135+l39_136+l39_137+l39_138+l39_139+l39_140+l39_141+l39_142+l39_143+l39_144+l39_145+l39_146+l39_147+l39_148+l39_149+l39_150+l39_151+l39_152+l39_153+l39_154+l39_155+l39_156+l39_157+l39_158+l39_159+l39_160+l39_161+l39_162+l39_163+l39_164+l39_165+l39_166+l39_167+l39_168+l39_169+l39_170+l39_171+l39_172+l39_173+l39_174+l39_175+l39_176+l39_177+l39_178+l39_179+l39_180+l39_181+l39_182+l39_183+l39_184+l39_185+l39_186+l39_187+l39_188+l39_189+l39_190+l39_191+l39_192+l39_193+l39_194+l39_195+l39_196+l39_197+l39_198+l39_199+l39_200+l39_201
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-09 with value :l2_0+l2_1+l2_2+l2_3+l2_4+l2_5+l2_6+l2_7+l2_8+l2_9+l2_10+l2_11+l2_12+l2_13+l2_14+l2_15+l2_16+l2_17+l2_18+l2_19+l2_20+l2_21+l2_22+l2_23+l2_24+l2_25+l2_26+l2_27+l2_28+l2_29+l2_30+l2_31+l2_32+l2_33+l2_34+l2_35+l2_36+l2_37+l2_38+l2_39+l2_40+l2_41+l2_42+l2_43+l2_44+l2_45+l2_46+l2_47+l2_48+l2_49+l2_50+l2_51+l2_52+l2_53+l2_54+l2_55+l2_56+l2_57+l2_58+l2_59+l2_60+l2_61+l2_62+l2_63+l2_64+l2_65+l2_66+l2_67+l2_68+l2_69+l2_70+l2_71+l2_72+l2_73+l2_74+l2_75+l2_76+l2_77+l2_78+l2_79+l2_80+l2_81+l2_82+l2_83+l2_84+l2_85+l2_86+l2_87+l2_88+l2_89+l2_90+l2_91+l2_92+l2_93+l2_94+l2_95+l2_96+l2_97+l2_98+l2_99+l2_100+l2_101+l2_102+l2_103+l2_104+l2_105+l2_106+l2_107+l2_108+l2_109+l2_110+l2_111+l2_112+l2_113+l2_114+l2_115+l2_116+l2_117+l2_118+l2_119+l2_120+l2_121+l2_122+l2_123+l2_124+l2_125+l2_126+l2_127+l2_128+l2_129+l2_130+l2_131+l2_132+l2_133+l2_134+l2_135+l2_136+l2_137+l2_138+l2_139+l2_140+l2_141+l2_142+l2_143+l2_144+l2_145+l2_146+l2_147+l2_148+l2_149+l2_150+l2_151+l2_152+l2_153+l2_154+l2_155+l2_156+l2_157+l2_158+l2_159+l2_160+l2_161+l2_162+l2_163+l2_164+l2_165+l2_166+l2_167+l2_168+l2_169+l2_170+l2_171+l2_172+l2_173+l2_174+l2_175+l2_176+l2_177+l2_178+l2_179+l2_180+l2_181+l2_182+l2_183+l2_184+l2_185+l2_186+l2_187+l2_188+l2_189+l2_190+l2_191+l2_192+l2_193+l2_194+l2_195+l2_196+l2_197+l2_198+l2_199+l2_200+l2_201+l2_202+l2_203+l2_204+l2_205+l2_206+l2_207+l2_208+l2_209+l2_210+l2_211+l2_212+l2_213+l2_214+l2_215+l2_216+l2_217+l2_218+l2_219+l2_220+l2_221+l2_222+l2_223+l2_224+l2_225+l2_226+l2_227+l2_228+l2_229+l2_230+l2_231+l2_232+l2_233+l2_234+l2_235+l2_236+l2_237+l2_238+l2_239+l2_240+l2_241+l2_242+l2_243+l2_244+l2_245+l2_246+l2_247+l2_248+l2_249+l2_250+l2_251+l2_252+l2_253+l2_254+l2_255+l2_256+l2_257+l2_258+l2_259+l2_260+l2_261+l2_262+l2_263+l2_264+l2_265+l2_266+l2_267+l2_268+l2_269+l2_270+l2_271+l2_272+l2_273+l2_274+l2_275+l2_276+l2_277+l2_278+l2_279+l2_280+l2_281+l2_282+l2_283+l2_284+l2_285+l2_286+l2_287+l2_288+l2_289+l2_290+l2_291+l2_292+l2_293+l2_294+l2_295+l2_296+l2_297+l2_298+l2_299+l2_300+l2_301+l2_302+l2_303+l2_304+l2_305+l2_306+l2_307+l2_308+l2_309+l2_310+l2_311+l2_312+l2_313+l2_314+l2_315+l2_316+l2_317+l2_318+l2_319+l2_320+l2_321+l2_322+l2_323+l2_324+l2_325+l2_326+l2_327+l2_328+l2_329+l2_330+l2_331+l2_332+l2_333+l2_334+l2_335+l2_336+l2_337+l2_338+l2_339+l2_340+l2_341+l2_342+l2_343+l2_344+l2_345+l2_346+l2_347+l2_348+l2_349+l2_350+l2_351+l2_352+l2_353+l2_354+l2_355+l2_356+l2_357+l2_358+l2_359+l2_360+l2_361+l2_362+l2_363+l2_364+l2_365+l2_366+l2_367+l2_368+l2_369+l2_370+l2_371+l2_372+l2_373+l2_374+l2_375+l2_376+l2_377+l2_378+l2_379+l2_380+l2_381+l2_382+l2_383+l2_384+l2_385+l2_386+l2_387+l2_388+l2_389+l2_390+l2_391+l2_392+l2_393+l2_394+l2_395+l2_396+l2_397+l2_398+l2_399+l2_400+l2_401+l2_402+l2_403+l2_404+l2_405+l2_406+l2_407+l2_408+l2_409+l2_410+l2_411+l2_412+l2_413+l2_414+l2_415+l2_416+l2_417+l2_418+l2_419+l2_420+l2_421+l2_422+l2_423+l2_424+l2_425+l2_426+l2_427+l2_428+l2_429+l2_430+l2_431+l2_432+l2_433+l2_434+l2_435+l2_436+l2_437+l2_438+l2_439+l2_440+l2_441+l2_442+l2_443+l2_444+l2_445+l2_446+l2_447+l2_448+l2_449+l2_450+l2_451+l2_452+l2_453+l2_454+l2_455+l2_456+l2_457+l2_458+l2_459+l2_460+l2_461+l2_462+l2_463+l2_464+l2_465+l2_466+l2_467+l2_468+l2_469+l2_470+l2_471+l2_472+l2_473+l2_474+l2_475+l2_476+l2_477+l2_478+l2_479+l2_480+l2_481+l2_482+l2_483+l2_484+l2_485+l2_486+l2_487+l2_488+l2_489+l2_490+l2_491+l2_492+l2_493+l2_494+l2_495+l2_496+l2_497+l2_498+l2_499+l2_500+l2_501+l2_502+l2_503+l2_504+l2_505+l2_506+l2_507+l2_508+l2_509+l2_510+l2_511+l2_512+l2_513+l2_514+l2_515+l2_516+l2_517+l2_518+l2_519+l2_520+l2_521+l2_522+l2_523+l2_524+l2_525+l2_526+l2_527+l2_528+l2_529+l2_530+l2_531+l2_532+l2_533+l2_534+l2_535+l2_536+l2_537+l2_538+l2_539+l2_540+l2_541+l2_542+l2_543+l2_544+l2_545+l2_546+l2_547+l2_548+l2_549+l2_550+l2_551+l2_552+l2_553+l2_554+l2_555+l2_556+l2_557+l2_558+l2_559+l2_560+l2_561+l2_562+l2_563+l2_564+l2_565+l2_566+l2_567+l2_568+l2_569+l2_570+l2_571+l2_572+l2_573+l2_574+l2_575+l2_576+l2_577+l2_578+l2_579+l2_580+l2_581+l2_582+l2_583+l2_584+l2_585+l2_586+l2_587+l2_588+l2_589+l2_590+l2_591+l2_592+l2_593+l2_594+l2_595+l2_596+l2_597+l2_598+l2_599+l2_600+l2_601+l2_602+l2_603+l2_604+l2_605+l2_606+l2_607+l2_608+l2_609+l2_610+l2_611+l2_612+l2_613+l2_614+l2_615+l2_616+l2_617+l2_618+l2_619+l2_620+l2_621+l2_622+l2_623+l2_624+l2_625+l2_626+l2_627+l2_628+l2_629+l2_630+l2_631+l2_632+l2_633+l2_634+l2_635+l2_636+l2_637+l2_638+l2_639+l2_640+l2_641+l2_642+l2_643+l2_644+l2_645+l2_646+l2_647+l2_648+l2_649+l2_650+l2_651+l2_652+l2_653+l2_654+l2_655+l2_656+l2_657+l2_658+l2_659+l2_660+l2_661+l2_662+l2_663+l2_664+l2_665+l2_666+l2_667+l2_668+l2_669+l2_670+l2_671+l2_672+l2_673+l2_674+l2_675+l2_676+l2_677+l2_678+l2_679+l2_680+l2_681+l2_682+l2_683+l2_684+l2_685+l2_686+l2_687+l2_688+l2_689+l2_690+l2_691+l2_692+l2_693+l2_694+l2_695+l2_696+l2_697+l2_698+l2_699+l2_700+l2_701+l2_702+l2_703+l2_704+l2_705+l2_706+l2_707+l2_708+l2_709+l2_710+l2_711+l2_712+l2_713+l2_714+l2_715+l2_716+l2_717+l2_718+l2_719+l2_720+l2_721+l2_722+l2_723+l2_724+l2_725+l2_726+l2_727+l2_728+l2_729+l2_730+l2_731+l2_732+l2_733+l2_734+l2_735+l2_736+l2_737+l2_738+l2_739+l2_740+l2_741+l2_742+l2_743+l2_744+l2_745+l2_746+l2_747+l2_748+l2_749+l2_750+l2_751+l2_752+l2_753+l2_754+l2_755+l2_756+l2_757+l2_758+l2_759+l2_760+l2_761+l2_762+l2_763+l2_764+l2_765+l2_766+l2_767+l2_768+l2_769+l2_770+l2_771+l2_772+l2_773+l2_774+l2_775+l2_776+l2_777+l2_778+l2_779+l2_780+l2_781+l2_782+l2_783+l2_784+l2_785+l2_786+l2_787+l2_788+l2_789+l2_790+l2_791+l2_792+l2_793+l2_794+l2_795+l2_796+l2_797+l2_798+l2_799+l2_800+l2_801+l2_802+l2_803+l2_804+l2_805+l2_806+l2_807+l2_808+l2_809+l2_810+l2_811+l2_812+l2_813+l2_814+l2_815+l2_816+l2_817+l2_818+l2_819+l2_820+l2_821+l2_822+l2_823+l2_824+l2_825+l2_826+l2_827+l2_828+l2_829+l2_830+l2_831+l2_832+l2_833+l2_834+l2_835+l2_836+l2_837+l2_838+l2_839+l2_840+l2_841+l2_842+l2_843+l2_844+l2_845+l2_846+l2_847+l2_848+l2_849+l2_850+l2_851+l2_852+l2_853+l2_854+l2_855+l2_856+l2_857+l2_858+l2_859+l2_860+l2_861+l2_862+l2_863+l2_864+l2_865+l2_866+l2_867+l2_868+l2_869+l2_870+l2_871+l2_872+l2_873+l2_874+l2_875+l2_876+l2_877+l2_878+l2_879+l2_880+l2_881+l2_882+l2_883+l2_884+l2_885+l2_886+l2_887+l2_888+l2_889+l2_890+l2_891+l2_892+l2_893+l2_894+l2_895+l2_896+l2_897+l2_898+l2_899+l2_900+l2_901+l2_902+l2_903+l2_904+l2_905+l2_906+l2_907+l2_908+l2_909+l2_910+l2_911+l2_912+l2_913+l2_914+l2_915+l2_916+l2_917+l2_918+l2_919+l2_920+l2_921+l2_922+l2_923+l2_924+l2_925+l2_926+l2_927+l2_928+l2_929+l2_930+l2_931+l2_932+l2_933+l2_934+l2_935+l2_936+l2_937+l2_938+l2_939+l2_940+l2_941+l2_942+l2_943+l2_944+l2_945+l2_946+l2_947+l2_948+l2_949+l2_950+l2_951+l2_952+l2_953+l2_954+l2_955+l2_956+l2_957+l2_958+l2_959+l2_960+l2_961+l2_962+l2_963+l2_964+l2_965+l2_966+l2_967+l2_968+l2_969+l2_970+l2_971+l2_972+l2_973+l2_974+l2_975+l2_976+l2_977+l2_978+l2_979+l2_980+l2_981+l2_982+l2_983+l2_984+l2_985+l2_986+l2_987+l2_988+l2_989+l2_990+l2_991+l2_992+l2_993+l2_994+l2_995+l2_996+l2_997+l2_998+l2_999+l2_1000+l2_1001+l2_1002+l2_1003+l2_1004+l2_1005+l2_1006+l2_1007+l2_1008+l2_1009+l2_1010+l2_1011+l2_1012+l2_1013+l2_1014+l2_1015+l2_1016+l2_1017+l2_1018+l2_1019+l2_1020+l2_1021+l2_1022+l2_1023+l2_1024+l2_1025+l2_1026+l2_1027+l2_1028+l2_1029+l2_1030+l2_1031+l2_1032+l2_1033+l2_1034+l2_1035+l2_1036+l2_1037+l2_1038+l2_1039+l2_1040+l2_1041+l2_1042+l2_1043+l2_1044+l2_1045+l2_1046+l2_1047+l2_1048+l2_1049+l2_1050+l2_1051+l2_1052+l2_1053+l2_1054+l2_1055+l2_1056+l2_1057+l2_1058+l2_1059+l2_1060+l2_1061+l2_1062+l2_1063+l2_1064+l2_1065+l2_1066+l2_1067+l2_1068+l2_1069+l2_1070+l2_1071+l2_1072+l2_1073+l2_1074+l2_1075+l2_1076+l2_1077+l2_1078+l2_1079+l2_1080+l2_1081+l2_1082+l2_1083+l2_1084+l2_1085+l2_1086+l2_1087+l2_1088+l2_1089+l2_1090+l2_1091+l2_1092+l2_1093+l2_1094+l2_1095+l2_1096+l2_1097+l2_1098+l2_1099+l2_1100+l2_1101+l2_1102+l2_1103+l2_1104+l2_1105+l2_1106+l2_1107+l2_1108+l2_1109+l2_1110
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-10 with value :g0_0+g0_1+g0_2
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-11 with value :l3_0+l3_1+l3_2+l3_3+l3_4+l3_5+l3_6+l3_7+l3_8+l3_9+l3_10+l3_11+l3_12+l3_13+l3_14+l3_15+l3_16+l3_17+l3_18+l3_19+l3_20+l3_21+l3_22+l3_23+l3_24+l3_25+l3_26+l3_27+l3_28+l3_29+l3_30+l3_31+l3_32+l3_33+l3_34+l3_35+l3_36+l3_37+l3_38+l3_39+l3_40+l3_41+l3_42+l3_43+l3_44+l3_45+l3_46+l3_47+l3_48+l3_49+l3_50+l3_51+l3_52+l3_53+l3_54+l3_55+l3_56+l3_57+l3_58+l3_59+l3_60+l3_61+l3_62+l3_63+l3_64+l3_65+l3_66+l3_67+l3_68+l3_69+l3_70+l3_71+l3_72+l3_73+l3_74+l3_75+l3_76+l3_77+l3_78+l3_79+l3_80+l3_81+l3_82+l3_83+l3_84+l3_85+l3_86+l3_87+l3_88+l3_89+l3_90+l3_91+l3_92+l3_93+l3_94+l3_95+l3_96+l3_97+l3_98+l3_99+l3_100+l3_101+l3_102+l3_103+l3_104+l3_105+l3_106+l3_107+l3_108+l3_109+l3_110+l3_111+l3_112+l3_113+l3_114+l3_115+l3_116+l3_117+l3_118+l3_119+l3_120+l3_121+l3_122+l3_123+l3_124+l3_125+l3_126+l3_127+l3_128+l3_129+l3_130+l3_131+l3_132+l3_133+l3_134+l3_135+l3_136+l3_137+l3_138+l3_139+l3_140+l3_141+l3_142+l3_143+l3_144+l3_145+l3_146+l3_147+l3_148+l3_149+l3_150+l3_151+l3_152+l3_153+l3_154+l3_155+l3_156+l3_157+l3_158+l3_159+l3_160+l3_161+l3_162+l3_163+l3_164+l3_165+l3_166+l3_167+l3_168+l3_169+l3_170+l3_171+l3_172+l3_173+l3_174+l3_175+l3_176+l3_177+l3_178+l3_179+l3_180+l3_181+l3_182+l3_183+l3_184+l3_185+l3_186+l3_187+l3_188+l3_189+l3_190+l3_191+l3_192+l3_193+l3_194+l3_195+l3_196+l3_197+l3_198+l3_199+l3_200+l3_201+l3_202+l3_203+l3_204+l3_205+l3_206+l3_207+l3_208+l3_209+l3_210+l3_211+l3_212+l3_213+l3_214+l3_215+l3_216+l3_217+l3_218+l3_219+l3_220+l3_221+l3_222+l3_223+l3_224+l3_225+l3_226+l3_227+l3_228+l3_229+l3_230+l3_231+l3_232+l3_233+l3_234+l3_235+l3_236+l3_237+l3_238+l3_239+l3_240+l3_241+l3_242+l3_243+l3_244+l3_245+l3_246+l3_247+l3_248+l3_249+l3_250+l3_251+l3_252+l3_253+l3_254+l3_255+l3_256+l3_257+l3_258+l3_259+l3_260+l3_261+l3_262+l3_263+l3_264+l3_265+l3_266+l3_267+l3_268+l3_269+l3_270+l3_271+l3_272+l3_273+l3_274+l3_275+l3_276+l3_277+l3_278+l3_279+l3_280+l3_281+l3_282+l3_283+l3_284+l3_285+l3_286+l3_287+l3_288+l3_289+l3_290+l3_291+l3_292+l3_293+l3_294+l3_295+l3_296+l3_297+l3_298+l3_299+l3_300+l3_301+l3_302+l3_303+l3_304+l3_305+l3_306+l3_307+l3_308+l3_309+l3_310+l3_311+l3_312+l3_313+l3_314+l3_315+l3_316+l3_317+l3_318+l3_319+l3_320+l3_321+l3_322+l3_323+l3_324+l3_325+l3_326+l3_327+l3_328+l3_329+l3_330+l3_331+l3_332+l3_333+l3_334+l3_335+l3_336+l3_337+l3_338+l3_339+l3_340+l3_341+l3_342+l3_343+l3_344+l3_345+l3_346+l3_347+l3_348+l3_349+l3_350+l3_351+l3_352+l3_353+l3_354+l3_355+l3_356+l3_357+l3_358+l3_359+l3_360+l3_361+l3_362+l3_363+l3_364+l3_365+l3_366+l3_367+l3_368+l3_369+l3_370+l3_371+l3_372+l3_373+l3_374+l3_375+l3_376+l3_377+l3_378+l3_379+l3_380+l3_381+l3_382+l3_383+l3_384+l3_385+l3_386+l3_387+l3_388+l3_389+l3_390+l3_391+l3_392+l3_393+l3_394+l3_395+l3_396+l3_397+l3_398+l3_399+l3_400+l3_401+l3_402+l3_403+l3_404+l3_405+l3_406+l3_407+l3_408+l3_409+l3_410+l3_411+l3_412+l3_413+l3_414+l3_415+l3_416+l3_417+l3_418+l3_419+l3_420+l3_421+l3_422+l3_423+l3_424+l3_425+l3_426+l3_427+l3_428+l3_429+l3_430+l3_431+l3_432+l3_433+l3_434+l3_435+l3_436+l3_437+l3_438+l3_439+l3_440+l3_441+l3_442+l3_443+l3_444+l3_445+l3_446+l3_447+l3_448+l3_449+l3_450+l3_451+l3_452+l3_453+l3_454+l3_455+l3_456+l3_457+l3_458+l3_459+l3_460+l3_461+l3_462+l3_463+l3_464+l3_465+l3_466+l3_467+l3_468+l3_469+l3_470+l3_471+l3_472+l3_473+l3_474+l3_475+l3_476+l3_477+l3_478+l3_479+l3_480+l3_481+l3_482+l3_483+l3_484+l3_485+l3_486+l3_487+l3_488+l3_489+l3_490+l3_491+l3_492+l3_493+l3_494+l3_495+l3_496+l3_497+l3_498+l3_499+l3_500+l3_501+l3_502+l3_503+l3_504+l3_505+l3_506+l3_507+l3_508+l3_509+l3_510+l3_511+l3_512+l3_513+l3_514+l3_515+l3_516+l3_517+l3_518+l3_519+l3_520+l3_521+l3_522+l3_523+l3_524+l3_525+l3_526+l3_527+l3_528+l3_529+l3_530+l3_531+l3_532+l3_533+l3_534+l3_535+l3_536+l3_537+l3_538+l3_539+l3_540+l3_541+l3_542+l3_543+l3_544+l3_545+l3_546+l3_547+l3_548+l3_549+l3_550+l3_551+l3_552+l3_553+l3_554+l3_555+l3_556+l3_557+l3_558+l3_559+l3_560+l3_561+l3_562+l3_563+l3_564+l3_565+l3_566+l3_567+l3_568+l3_569+l3_570+l3_571+l3_572+l3_573+l3_574+l3_575+l3_576+l3_577+l3_578+l3_579+l3_580+l3_581+l3_582+l3_583+l3_584+l3_585+l3_586+l3_587+l3_588+l3_589+l3_590+l3_591+l3_592+l3_593+l3_594+l3_595+l3_596+l3_597+l3_598+l3_599+l3_600+l3_601+l3_602+l3_603+l3_604+l3_605+l3_606+l3_607+l3_608+l3_609+l3_610+l3_611+l3_612+l3_613+l3_614+l3_615+l3_616+l3_617+l3_618+l3_619+l3_620+l3_621+l3_622+l3_623+l3_624+l3_625+l3_626+l3_627+l3_628+l3_629+l3_630+l3_631+l3_632+l3_633+l3_634+l3_635+l3_636+l3_637+l3_638+l3_639+l3_640+l3_641+l3_642+l3_643+l3_644+l3_645+l3_646+l3_647+l3_648+l3_649+l3_650+l3_651+l3_652+l3_653+l3_654+l3_655+l3_656+l3_657+l3_658+l3_659+l3_660+l3_661+l3_662+l3_663+l3_664+l3_665+l3_666+l3_667+l3_668+l3_669+l3_670+l3_671+l3_672+l3_673+l3_674+l3_675+l3_676+l3_677+l3_678+l3_679+l3_680+l3_681+l3_682+l3_683+l3_684+l3_685+l3_686+l3_687+l3_688+l3_689+l3_690+l3_691+l3_692+l3_693+l3_694+l3_695+l3_696+l3_697+l3_698+l3_699+l3_700+l3_701+l3_702+l3_703+l3_704+l3_705+l3_706+l3_707+l3_708+l3_709+l3_710+l3_711+l3_712+l3_713+l3_714+l3_715+l3_716+l3_717+l3_718+l3_719+l3_720+l3_721+l3_722+l3_723+l3_724+l3_725+l3_726+l3_727+l3_728+l3_729+l3_730+l3_731+l3_732+l3_733+l3_734+l3_735+l3_736+l3_737+l3_738+l3_739+l3_740+l3_741+l3_742+l3_743+l3_744+l3_745+l3_746+l3_747+l3_748+l3_749+l3_750+l3_751+l3_752+l3_753+l3_754+l3_755+l3_756+l3_757+l3_758+l3_759+l3_760+l3_761+l3_762+l3_763+l3_764+l3_765+l3_766+l3_767+l3_768+l3_769+l3_770+l3_771+l3_772+l3_773+l3_774+l3_775+l3_776+l3_777+l3_778+l3_779+l3_780+l3_781+l3_782+l3_783+l3_784+l3_785+l3_786+l3_787+l3_788+l3_789+l3_790+l3_791+l3_792+l3_793+l3_794+l3_795+l3_796+l3_797+l3_798+l3_799+l3_800+l3_801+l3_802+l3_803+l3_804+l3_805+l3_806+l3_807+l3_808+l3_809+l3_810+l3_811+l3_812+l3_813+l3_814+l3_815+l3_816+l3_817+l3_818+l3_819+l3_820+l3_821+l3_822+l3_823+l3_824+l3_825+l3_826+l3_827+l3_828+l3_829+l3_830+l3_831+l3_832+l3_833+l3_834+l3_835+l3_836+l3_837+l3_838+l3_839+l3_840+l3_841+l3_842+l3_843+l3_844+l3_845+l3_846+l3_847+l3_848+l3_849+l3_850+l3_851+l3_852+l3_853+l3_854+l3_855+l3_856+l3_857+l3_858+l3_859+l3_860+l3_861+l3_862+l3_863+l3_864+l3_865+l3_866+l3_867+l3_868+l3_869+l3_870+l3_871+l3_872+l3_873+l3_874+l3_875+l3_876+l3_877+l3_878+l3_879+l3_880+l3_881+l3_882+l3_883+l3_884+l3_885+l3_886+l3_887+l3_888+l3_889+l3_890+l3_891+l3_892+l3_893+l3_894+l3_895+l3_896+l3_897+l3_898+l3_899+l3_900+l3_901+l3_902+l3_903+l3_904+l3_905+l3_906+l3_907+l3_908+l3_909+l3_910+l3_911+l3_912+l3_913+l3_914+l3_915+l3_916+l3_917+l3_918+l3_919+l3_920+l3_921+l3_922+l3_923+l3_924+l3_925+l3_926+l3_927+l3_928+l3_929+l3_930+l3_931+l3_932+l3_933+l3_934+l3_935+l3_936+l3_937+l3_938+l3_939+l3_940+l3_941+l3_942+l3_943+l3_944+l3_945+l3_946+l3_947+l3_948+l3_949+l3_950+l3_951+l3_952+l3_953+l3_954+l3_955+l3_956+l3_957+l3_958+l3_959+l3_960+l3_961+l3_962+l3_963+l3_964+l3_965+l3_966+l3_967+l3_968+l3_969+l3_970+l3_971+l3_972+l3_973+l3_974+l3_975+l3_976+l3_977+l3_978+l3_979+l3_980+l3_981+l3_982+l3_983+l3_984+l3_985+l3_986+l3_987+l3_988+l3_989+l3_990+l3_991+l3_992+l3_993+l3_994+l3_995+l3_996+l3_997+l3_998+l3_999+l3_1000+l3_1001+l3_1002+l3_1003+l3_1004+l3_1005+l3_1006+l3_1007+l3_1008+l3_1009+l3_1010+l3_1011+l3_1012+l3_1013+l3_1014+l3_1015+l3_1016+l3_1017+l3_1018+l3_1019+l3_1020+l3_1021+l3_1022+l3_1023+l3_1024+l3_1025+l3_1026+l3_1027+l3_1028+l3_1029+l3_1030+l3_1031+l3_1032+l3_1033+l3_1034+l3_1035+l3_1036+l3_1037+l3_1038+l3_1039+l3_1040+l3_1041+l3_1042+l3_1043+l3_1044+l3_1045+l3_1046+l3_1047+l3_1048+l3_1049+l3_1050+l3_1051+l3_1052+l3_1053+l3_1054+l3_1055+l3_1056+l3_1057+l3_1058+l3_1059+l3_1060+l3_1061+l3_1062+l3_1063+l3_1064+l3_1065+l3_1066+l3_1067+l3_1068+l3_1069+l3_1070+l3_1071+l3_1072+l3_1073+l3_1074+l3_1075+l3_1076+l3_1077+l3_1078+l3_1079+l3_1080+l3_1081+l3_1082+l3_1083+l3_1084+l3_1085+l3_1086+l3_1087+l3_1088+l3_1089+l3_1090+l3_1091+l3_1092+l3_1093+l3_1094+l3_1095+l3_1096+l3_1097+l3_1098+l3_1099+l3_1100+l3_1101+l3_1102+l3_1103+l3_1104+l3_1105+l3_1106+l3_1107+l3_1108+l3_1109+l3_1110
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-12 with value :p1_0+p1_1+p1_2+p1_3+p1_4+p1_5+p1_6+p1_7+p1_8+p1_9+p1_10+p1_11+p1_12+p1_13+p1_14+p1_15+p1_16+p1_17+p1_18+p1_19+p1_20+p1_21+p1_22+p1_23+p1_24+p1_25+p1_26+p1_27+p1_28+p1_29+p1_30+p1_31+p1_32+p1_33+p1_34+p1_35+p1_36+p1_37+p1_38+p1_39+p1_40+p1_41+p1_42+p1_43+p1_44+p1_45+p1_46+p1_47+p1_48+p1_49+p1_50+p1_51+p1_52+p1_53+p1_54+p1_55+p1_56+p1_57+p1_58+p1_59+p1_60+p1_61+p1_62+p1_63+p1_64+p1_65+p1_66+p1_67+p1_68+p1_69+p1_70+p1_71+p1_72+p1_73+p1_74+p1_75+p1_76+p1_77+p1_78+p1_79+p1_80+p1_81+p1_82+p1_83+p1_84+p1_85+p1_86+p1_87+p1_88+p1_89+p1_90+p1_91+p1_92+p1_93+p1_94+p1_95+p1_96+p1_97+p1_98+p1_99+p1_100+p1_101+p1_102+p1_103+p1_104+p1_105+p1_106+p1_107+p1_108+p1_109+p1_110+p1_111+p1_112+p1_113+p1_114+p1_115+p1_116+p1_117+p1_118+p1_119+p1_120+p1_121+p1_122+p1_123+p1_124+p1_125+p1_126+p1_127+p1_128+p1_129+p1_130+p1_131+p1_132+p1_133+p1_134+p1_135+p1_136+p1_137+p1_138+p1_139+p1_140+p1_141+p1_142+p1_143+p1_144+p1_145+p1_146+p1_147+p1_148+p1_149+p1_150+p1_151+p1_152+p1_153+p1_154+p1_155+p1_156+p1_157+p1_158+p1_159+p1_160+p1_161+p1_162+p1_163+p1_164+p1_165+p1_166+p1_167+p1_168+p1_169+p1_170+p1_171+p1_172+p1_173+p1_174+p1_175+p1_176+p1_177+p1_178+p1_179+p1_180+p1_181+p1_182+p1_183+p1_184+p1_185+p1_186+p1_187+p1_188+p1_189+p1_190+p1_191+p1_192+p1_193+p1_194+p1_195+p1_196+p1_197+p1_198+p1_199+p1_200+p1_201+p1_202+p1_203+p1_204+p1_205+p1_206+p1_207+p1_208+p1_209+p1_210+p1_211+p1_212+p1_213+p1_214+p1_215+p1_216+p1_217+p1_218+p1_219+p1_220+p1_221+p1_222+p1_223+p1_224+p1_225+p1_226+p1_227+p1_228+p1_229+p1_230+p1_231+p1_232+p1_233+p1_234+p1_235+p1_236+p1_237+p1_238+p1_239+p1_240+p1_241+p1_242+p1_243+p1_244+p1_245+p1_246+p1_247+p1_248+p1_249+p1_250+p1_251+p1_252+p1_253+p1_254+p1_255+p1_256+p1_257+p1_258+p1_259+p1_260+p1_261+p1_262+p1_263+p1_264+p1_265+p1_266+p1_267+p1_268+p1_269+p1_270+p1_271+p1_272+p1_273+p1_274+p1_275+p1_276+p1_277+p1_278+p1_279+p1_280+p1_281+p1_282+p1_283+p1_284+p1_285+p1_286+p1_287+p1_288+p1_289+p1_290+p1_291+p1_292+p1_293+p1_294+p1_295+p1_296+p1_297+p1_298+p1_299+p1_300+p1_301+p1_302+p1_303+p1_304+p1_305+p1_306+p1_307+p1_308+p1_309+p1_310+p1_311+p1_312+p1_313+p1_314+p1_315+p1_316+p1_317+p1_318+p1_319+p1_320+p1_321+p1_322+p1_323+p1_324+p1_325+p1_326+p1_327+p1_328+p1_329+p1_330+p1_331+p1_332+p1_333+p1_334+p1_335+p1_336+p1_337+p1_338+p1_339+p1_340+p1_341+p1_342+p1_343+p1_344+p1_345+p1_346+p1_347+p1_348+p1_349+p1_350+p1_351+p1_352+p1_353+p1_354+p1_355+p1_356+p1_357+p1_358+p1_359+p1_360+p1_361+p1_362+p1_363+p1_364+p1_365+p1_366+p1_367+p1_368+p1_369+p1_370+p1_371+p1_372+p1_373+p1_374+p1_375+p1_376+p1_377+p1_378+p1_379+p1_380+p1_381+p1_382+p1_383+p1_384+p1_385+p1_386+p1_387+p1_388+p1_389+p1_390+p1_391+p1_392+p1_393+p1_394+p1_395+p1_396+p1_397+p1_398+p1_399+p1_400+p1_401+p1_402+p1_403+p1_404+p1_405+p1_406+p1_407+p1_408+p1_409+p1_410+p1_411+p1_412+p1_413+p1_414+p1_415+p1_416+p1_417+p1_418+p1_419+p1_420+p1_421+p1_422+p1_423+p1_424+p1_425+p1_426+p1_427+p1_428+p1_429+p1_430+p1_431+p1_432+p1_433+p1_434+p1_435+p1_436+p1_437+p1_438+p1_439+p1_440+p1_441+p1_442+p1_443+p1_444+p1_445+p1_446+p1_447+p1_448+p1_449+p1_450+p1_451+p1_452+p1_453+p1_454+p1_455+p1_456+p1_457+p1_458+p1_459+p1_460+p1_461+p1_462+p1_463+p1_464+p1_465+p1_466+p1_467+p1_468+p1_469+p1_470+p1_471+p1_472+p1_473+p1_474+p1_475+p1_476+p1_477+p1_478+p1_479+p1_480+p1_481+p1_482+p1_483+p1_484+p1_485+p1_486+p1_487+p1_488+p1_489+p1_490+p1_491+p1_492+p1_493+p1_494+p1_495+p1_496+p1_497+p1_498+p1_499+p1_500+p1_501+p1_502+p1_503+p1_504+p1_505+p1_506+p1_507+p1_508+p1_509+p1_510+p1_511+p1_512+p1_513+p1_514+p1_515+p1_516+p1_517+p1_518+p1_519+p1_520+p1_521+p1_522+p1_523+p1_524+p1_525+p1_526+p1_527+p1_528+p1_529+p1_530+p1_531+p1_532+p1_533+p1_534+p1_535+p1_536+p1_537+p1_538+p1_539+p1_540+p1_541+p1_542+p1_543+p1_544+p1_545+p1_546+p1_547+p1_548+p1_549+p1_550+p1_551+p1_552+p1_553+p1_554+p1_555+p1_556+p1_557+p1_558+p1_559+p1_560+p1_561+p1_562+p1_563+p1_564+p1_565+p1_566+p1_567+p1_568+p1_569+p1_570+p1_571+p1_572+p1_573+p1_574+p1_575+p1_576+p1_577+p1_578+p1_579+p1_580+p1_581+p1_582+p1_583+p1_584+p1_585+p1_586+p1_587+p1_588+p1_589+p1_590+p1_591+p1_592+p1_593+p1_594+p1_595+p1_596+p1_597+p1_598+p1_599+p1_600+p1_601+p1_602+p1_603+p1_604+p1_605
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-13 with value :l19_0+l19_1+l19_2+l19_3+l19_4+l19_5+l19_6+l19_7+l19_8+l19_9+l19_10+l19_11+l19_12+l19_13+l19_14+l19_15+l19_16+l19_17+l19_18+l19_19+l19_20+l19_21+l19_22+l19_23+l19_24+l19_25+l19_26+l19_27+l19_28+l19_29+l19_30+l19_31+l19_32+l19_33+l19_34+l19_35+l19_36+l19_37+l19_38+l19_39+l19_40+l19_41+l19_42+l19_43+l19_44+l19_45+l19_46+l19_47+l19_48+l19_49+l19_50+l19_51+l19_52+l19_53+l19_54+l19_55+l19_56+l19_57+l19_58+l19_59+l19_60+l19_61+l19_62+l19_63+l19_64+l19_65+l19_66+l19_67+l19_68+l19_69+l19_70+l19_71+l19_72+l19_73+l19_74+l19_75+l19_76+l19_77+l19_78+l19_79+l19_80+l19_81+l19_82+l19_83+l19_84+l19_85+l19_86+l19_87+l19_88+l19_89+l19_90+l19_91+l19_92+l19_93+l19_94+l19_95+l19_96+l19_97+l19_98+l19_99+l19_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-14 with value :lp1_0+lp1_1+lp1_2+lp1_3+lp1_4+lp1_5+lp1_6+lp1_7+lp1_8+lp1_9+lp1_10+lp1_11+lp1_12+lp1_13+lp1_14+lp1_15+lp1_16+lp1_17+lp1_18+lp1_19+lp1_20+lp1_21+lp1_22+lp1_23+lp1_24+lp1_25+lp1_26+lp1_27+lp1_28+lp1_29+lp1_30+lp1_31+lp1_32+lp1_33+lp1_34+lp1_35+lp1_36+lp1_37+lp1_38+lp1_39+lp1_40+lp1_41+lp1_42+lp1_43+lp1_44+lp1_45+lp1_46+lp1_47+lp1_48+lp1_49+lp1_50+lp1_51+lp1_52+lp1_53+lp1_54+lp1_55+lp1_56+lp1_57+lp1_58+lp1_59+lp1_60+lp1_61+lp1_62+lp1_63+lp1_64+lp1_65+lp1_66+lp1_67+lp1_68+lp1_69+lp1_70+lp1_71+lp1_72+lp1_73+lp1_74+lp1_75+lp1_76+lp1_77+lp1_78+lp1_79+lp1_80+lp1_81+lp1_82+lp1_83+lp1_84+lp1_85+lp1_86+lp1_87+lp1_88+lp1_89+lp1_90+lp1_91+lp1_92+lp1_93+lp1_94+lp1_95+lp1_96+lp1_97+lp1_98+lp1_99+lp1_100
Read [bounds] property : FamilyReunion-COL-L00100M0010C005P005G002-UpperBounds-15 with value :l17_0+l17_1+l17_2+l17_3+l17_4+l17_5+l17_6+l17_7+l17_8+l17_9+l17_10+l17_11+l17_12+l17_13+l17_14+l17_15+l17_16+l17_17+l17_18+l17_19+l17_20+l17_21+l17_22+l17_23+l17_24+l17_25+l17_26+l17_27+l17_28+l17_29+l17_30+l17_31+l17_32+l17_33+l17_34+l17_35+l17_36+l17_37+l17_38+l17_39+l17_40+l17_41+l17_42+l17_43+l17_44+l17_45+l17_46+l17_47+l17_48+l17_49+l17_50+l17_51+l17_52+l17_53+l17_54+l17_55+l17_56+l17_57+l17_58+l17_59+l17_60+l17_61+l17_62+l17_63+l17_64+l17_65+l17_66+l17_67+l17_68+l17_69+l17_70+l17_71+l17_72+l17_73+l17_74+l17_75+l17_76+l17_77+l17_78+l17_79+l17_80+l17_81+l17_82+l17_83+l17_84+l17_85+l17_86+l17_87+l17_88+l17_89+l17_90+l17_91+l17_92+l17_93+l17_94+l17_95+l17_96+l17_97+l17_98+l17_99+l17_100
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
+ 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 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Mar 29, 2019 3:39:48 AM fr.lip6.move.gal.application.Application start
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]
Mar 29, 2019 3:39:48 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 29, 2019 3:39:48 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Mar 29, 2019 3:39:49 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 882 ms
Mar 29, 2019 3:39:49 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 104 places.
Mar 29, 2019 3:39:49 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Mar 29, 2019 3:39:49 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :LxM->m1,ml0,l2,m2,lm1,l3,m3,ml1,l4,lm2,m4,m5,l5,ml2,l6,lm3,m6,m7,ml3,l7,m9,m10,ml4,
Response->r0,
CINFORMI->c2,c4,c7,c0,c1,
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,
LxP->p1,p3,p2,p5,p4,p6,p9,pl0,pl1,
LxC->c3,cl2,c5,c6,cl0,cl1,
GovernmentCommission->g0,g2,g4,
LxR->gl1,l37,l39,l40,
MICSystem->m0,m8,m11,
PublicAdminOffice->p0,p7,p8,p10,p11,
LxG->g1,gl0,g3,
Mar 29, 2019 3:39:49 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 66 transitions.
Mar 29, 2019 3:39:49 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Mar 29, 2019 3:39:49 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 43 ms
Mar 29, 2019 3:39:50 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 5 fixed domain variables (out of 40706 variables) in GAL type FamilyReunion_COL_L00100M0010C005P005G002
Mar 29, 2019 3:39:50 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 31 constant array cells/variables (out of 40706 variables) in type FamilyReunion_COL_L00100M0010C005P005G002
Mar 29, 2019 3:39:50 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: m0[0-10], p0[0-5], r0[0-1], c2[0-5], c0[0-5],
Mar 29, 2019 3:39:51 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 1.0 instantiations of transitions. Total transitions/syncs built is 37251
Mar 29, 2019 3:39:52 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 5 fixed domain variables (out of 40706 variables) in GAL type FamilyReunion_COL_L00100M0010C005P005G002
Mar 29, 2019 3:39:52 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 31 constant array cells/variables (out of 40706 variables) in type FamilyReunion_COL_L00100M0010C005P005G002
Mar 29, 2019 3:39:52 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: m0[0-10], p0[0-5], r0[0-1], c2[0-5], c0[0-5],
Mar 29, 2019 3:39:52 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :m0[]
Mar 29, 2019 3:39:52 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :p0[]
Mar 29, 2019 3:39:52 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :r0[]
Mar 29, 2019 3:39:52 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :c2[]
Mar 29, 2019 3:39:52 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :c0[]
Mar 29, 2019 3:39:53 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 101 uncalled transitions from type FamilyReunion_COL_L00100M0010C005P005G002
Mar 29, 2019 3:39:53 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 3519 ms
Mar 29, 2019 3:42:47 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was not deterministic with 18061 transitions. Expanding to a total of 37756 deterministic transitions.
Mar 29, 2019 3:42:47 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Determinization took 107 ms.
Mar 29, 2019 3:42:47 AM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 40675 places.
Mar 29, 2019 3:42:47 AM fr.lip6.move.gal.application.StructuralToGreatSPN handlePage
INFO: Transformed 36871 transitions.
Mar 29, 2019 3:43:24 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 158 ms
Mar 29, 2019 3:43:24 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSTools
INFO: Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 10 ms
Mar 29, 2019 4:03:25 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 5 fixed domain variables (out of 40706 variables) in GAL type FamilyReunion_COL_L00100M0010C005P005G002
Mar 29, 2019 4:03:25 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 31 constant array cells/variables (out of 40706 variables) in type FamilyReunion_COL_L00100M0010C005P005G002
Mar 29, 2019 4:03:25 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: c0[0-5], m0[0-10], r0[0-1], p0[0-5], c2[0-5],
Mar 29, 2019 4:03:25 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 1.0 instantiations of transitions. Total transitions/syncs built is 37251
Mar 29, 2019 4:03:26 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 5 fixed domain variables (out of 40706 variables) in GAL type FamilyReunion_COL_L00100M0010C005P005G002
Mar 29, 2019 4:03:26 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 31 constant array cells/variables (out of 40706 variables) in type FamilyReunion_COL_L00100M0010C005P005G002
Mar 29, 2019 4:03:26 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: c0[0-5], m0[0-10], r0[0-1], p0[0-5], c2[0-5],
Mar 29, 2019 4:03:26 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :c0[]
Mar 29, 2019 4:03:26 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :m0[]
Mar 29, 2019 4:03:26 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :r0[]
Mar 29, 2019 4:03:26 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :p0[]
Mar 29, 2019 4:03:26 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :c2[]
Mar 29, 2019 4:03:28 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 101 uncalled transitions from type FamilyReunion_COL_L00100M0010C005P005G002
Mar 29, 2019 4:03:29 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 4224 ms
Mar 29, 2019 4:06:20 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 182 ms
Mar 29, 2019 4:06:20 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSTools
INFO: Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 13 ms
Mar 29, 2019 4:26:20 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 5 fixed domain variables (out of 40706 variables) in GAL type FamilyReunion_COL_L00100M0010C005P005G002
Mar 29, 2019 4:26:20 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 31 constant array cells/variables (out of 40706 variables) in type FamilyReunion_COL_L00100M0010C005P005G002
Mar 29, 2019 4:26:20 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: m0[0-10], p0[0-5], c2[0-5], r0[0-1], c0[0-5],
Mar 29, 2019 4:26:21 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 1.0 instantiations of transitions. Total transitions/syncs built is 37251
Mar 29, 2019 4:26:21 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 5 fixed domain variables (out of 40706 variables) in GAL type FamilyReunion_COL_L00100M0010C005P005G002
Mar 29, 2019 4:26:21 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 31 constant array cells/variables (out of 40706 variables) in type FamilyReunion_COL_L00100M0010C005P005G002
Mar 29, 2019 4:26:21 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: m0[0-10], p0[0-5], c2[0-5], r0[0-1], c0[0-5],
Mar 29, 2019 4:26:21 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :m0[]
Mar 29, 2019 4:26:21 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :p0[]
Mar 29, 2019 4:26:21 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :c2[]
Mar 29, 2019 4:26:21 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :r0[]
Mar 29, 2019 4:26:21 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :c0[]
Mar 29, 2019 4:26:22 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 101 uncalled transitions from type FamilyReunion_COL_L00100M0010C005P005G002
Mar 29, 2019 4:26:22 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 2109 ms
Mar 29, 2019 4:29:11 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 115 ms
Mar 29, 2019 4:29:11 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSTools
INFO: Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 7 ms
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="itstoolsm"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool itstoolsm"
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 r203-csrt-155344537700101"
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" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "UpperBounds" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "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
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 ;