Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 468K
-rw-r--r-- 1 mcc users 12K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 122K May 10 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 11K May 5 16:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K May 10 09:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K May 6 14:48 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Mar 28 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Mar 28 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 28 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Mar 23 10:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 23 10:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Mar 22 18:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 22 18:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 22 09:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 22 09:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 24 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 137K May 5 16:51 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

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

=== Now, execution of the tool begins

BK_START 1620735998034

[2021-05-11 12:26:39] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, UpperBounds, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2021-05-11 12:26:39] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-11 12:26:39] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
[2021-05-11 12:26:40] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 648 ms
[2021-05-11 12:26:40] [INFO ] sort/places :
Response->r0,
LxM->m1,ml0,l2,m2,lm1,l3,m3,ml1,l4,lm2,m4,m5,l5,ml2,l6,lm3,m6,m7,ml3,l7,m9,m10,ml4,
CINFORMI->c2,c4,c7,c0,c1,
LxP->p1,p3,p2,p5,p4,p6,p9,pl0,pl1,
LegalResident->lm0,l12,l0,l30,l31,lc1,l1,l32,lc2,l33,lc3,l34,cg0,l35,lg0,l36,l8,l9,lm4,l38,l10,l11,l13,l16,l14,lc0,l15,l17,l18,lp0,l19,lp1,l20,l21,l22,l24,l25,l23,l28,l26,l27,l29,
LxC->c3,cl2,c5,c6,cl0,cl1,
LxR->gl1,l37,l39,l40,
GovernmentCommission->g0,g2,g4,
PublicAdminOffice->p0,p7,p8,p10,p11,
MICSystem->m0,m8,m11,
LxG->g1,gl0,g3,

[2021-05-11 12:26:40] [INFO ] Detected 5 constant HL places corresponding to 17 PT places.
[2021-05-11 12:26:40] [INFO ] Imported 104 HL places and 66 HL transitions for a total of 12245 PT places and 10611.0 transition bindings in 29 ms.
[2021-05-11 12:26:40] [INFO ] Computed order based on color domains.
[2021-05-11 12:26:40] [INFO ] Unfolded HLPN to a Petri net with 12245 places and 10560 transitions in 84 ms.
[2021-05-11 12:26:40] [INFO ] Unfolded HLPN properties in 1 ms.
Deduced a syphon composed of 51 places in 63 ms
Reduce places removed 68 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 213 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 4 ms. (steps per millisecond=0 )
[2021-05-11 12:26:41] [INFO ] Flatten gal took : 620 ms
[2021-05-11 12:26:41] [INFO ] Applying decomposition
[2021-05-11 12:26:42] [INFO ] Flatten gal took : 452 ms
[2021-05-11 12:26:42] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 83 ms
[2021-05-11 12:26:42] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --gen-order FOLLOW
Loading property file UpperBounds.prop.
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00 with value :l8_0+l8_1+l8_2+l8_3+l8_4+l8_5+l8_6+l8_7+l8_8+l8_9+l8_10+l8_11+l8_12+l8_13+l8_14+l8_15+l8_16+l8_17+l8_18+l8_19+l8_20+l8_21+l8_22+l8_23+l8_24+l8_25+l8_26+l8_27+l8_28+l8_29+l8_30+l8_31+l8_32+l8_33+l8_34+l8_35+l8_36+l8_37+l8_38+l8_39+l8_40+l8_41+l8_42+l8_43+l8_44+l8_45+l8_46+l8_47+l8_48+l8_49+l8_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01 with value :l4_0+l4_1+l4_2+l4_3+l4_4+l4_5+l4_6+l4_7+l4_8+l4_9+l4_10+l4_11+l4_12+l4_13+l4_14+l4_15+l4_16+l4_17+l4_18+l4_19+l4_20+l4_21+l4_22+l4_23+l4_24+l4_25+l4_26+l4_27+l4_28+l4_29+l4_30+l4_31+l4_32+l4_33+l4_34+l4_35+l4_36+l4_37+l4_38+l4_39+l4_40+l4_41+l4_42+l4_43+l4_44+l4_45+l4_46+l4_47+l4_48+l4_49+l4_50+l4_51+l4_52+l4_53+l4_54+l4_55+l4_56+l4_57+l4_58+l4_59+l4_60+l4_61+l4_62+l4_63+l4_64+l4_65+l4_66+l4_67+l4_68+l4_69+l4_70+l4_71+l4_72+l4_73+l4_74+l4_75+l4_76+l4_77+l4_78+l4_79+l4_80+l4_81+l4_82+l4_83+l4_84+l4_85+l4_86+l4_87+l4_88+l4_89+l4_90+l4_91+l4_92+l4_93+l4_94+l4_95+l4_96+l4_97+l4_98+l4_99+l4_100+l4_101+l4_102+l4_103+l4_104+l4_105+l4_106+l4_107+l4_108+l4_109+l4_110+l4_111+l4_112+l4_113+l4_114+l4_115+l4_116+l4_117+l4_118+l4_119+l4_120+l4_121+l4_122+l4_123+l4_124+l4_125+l4_126+l4_127+l4_128+l4_129+l4_130+l4_131+l4_132+l4_133+l4_134+l4_135+l4_136+l4_137+l4_138+l4_139+l4_140+l4_141+l4_142+l4_143+l4_144+l4_145+l4_146+l4_147+l4_148+l4_149+l4_150+l4_151+l4_152+l4_153+l4_154+l4_155+l4_156+l4_157+l4_158+l4_159+l4_160+l4_161+l4_162+l4_163+l4_164+l4_165+l4_166+l4_167+l4_168+l4_169+l4_170+l4_171+l4_172+l4_173+l4_174+l4_175+l4_176+l4_177+l4_178+l4_179+l4_180+l4_181+l4_182+l4_183+l4_184+l4_185+l4_186+l4_187+l4_188+l4_189+l4_190+l4_191+l4_192+l4_193+l4_194+l4_195+l4_196+l4_197+l4_198+l4_199+l4_200+l4_201+l4_202+l4_203+l4_204+l4_205+l4_206+l4_207+l4_208+l4_209+l4_210+l4_211+l4_212+l4_213+l4_214+l4_215+l4_216+l4_217+l4_218+l4_219+l4_220+l4_221+l4_222+l4_223+l4_224+l4_225+l4_226+l4_227+l4_228+l4_229+l4_230+l4_231+l4_232+l4_233+l4_234+l4_235+l4_236+l4_237+l4_238+l4_239+l4_240+l4_241+l4_242+l4_243+l4_244+l4_245+l4_246+l4_247+l4_248+l4_249+l4_250+l4_251+l4_252+l4_253+l4_254+l4_255+l4_256+l4_257+l4_258+l4_259+l4_260+l4_261+l4_262+l4_263+l4_264+l4_265+l4_266+l4_267+l4_268+l4_269+l4_270+l4_271+l4_272+l4_273+l4_274+l4_275+l4_276+l4_277+l4_278+l4_279+l4_280+l4_281+l4_282+l4_283+l4_284+l4_285+l4_286+l4_287+l4_288+l4_289+l4_290+l4_291+l4_292+l4_293+l4_294+l4_295+l4_296+l4_297+l4_298+l4_299+l4_300+l4_301+l4_302+l4_303+l4_304+l4_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02 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
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03 with value :m9_0+m9_1+m9_2+m9_3+m9_4+m9_5+m9_6+m9_7+m9_8+m9_9+m9_10+m9_11+m9_12+m9_13+m9_14+m9_15+m9_16+m9_17+m9_18+m9_19+m9_20+m9_21+m9_22+m9_23+m9_24+m9_25+m9_26+m9_27+m9_28+m9_29+m9_30+m9_31+m9_32+m9_33+m9_34+m9_35+m9_36+m9_37+m9_38+m9_39+m9_40+m9_41+m9_42+m9_43+m9_44+m9_45+m9_46+m9_47+m9_48+m9_49+m9_50+m9_51+m9_52+m9_53+m9_54+m9_55+m9_56+m9_57+m9_58+m9_59+m9_60+m9_61+m9_62+m9_63+m9_64+m9_65+m9_66+m9_67+m9_68+m9_69+m9_70+m9_71+m9_72+m9_73+m9_74+m9_75+m9_76+m9_77+m9_78+m9_79+m9_80+m9_81+m9_82+m9_83+m9_84+m9_85+m9_86+m9_87+m9_88+m9_89+m9_90+m9_91+m9_92+m9_93+m9_94+m9_95+m9_96+m9_97+m9_98+m9_99+m9_100+m9_101+m9_102+m9_103+m9_104+m9_105+m9_106+m9_107+m9_108+m9_109+m9_110+m9_111+m9_112+m9_113+m9_114+m9_115+m9_116+m9_117+m9_118+m9_119+m9_120+m9_121+m9_122+m9_123+m9_124+m9_125+m9_126+m9_127+m9_128+m9_129+m9_130+m9_131+m9_132+m9_133+m9_134+m9_135+m9_136+m9_137+m9_138+m9_139+m9_140+m9_141+m9_142+m9_143+m9_144+m9_145+m9_146+m9_147+m9_148+m9_149+m9_150+m9_151+m9_152+m9_153+m9_154+m9_155+m9_156+m9_157+m9_158+m9_159+m9_160+m9_161+m9_162+m9_163+m9_164+m9_165+m9_166+m9_167+m9_168+m9_169+m9_170+m9_171+m9_172+m9_173+m9_174+m9_175+m9_176+m9_177+m9_178+m9_179+m9_180+m9_181+m9_182+m9_183+m9_184+m9_185+m9_186+m9_187+m9_188+m9_189+m9_190+m9_191+m9_192+m9_193+m9_194+m9_195+m9_196+m9_197+m9_198+m9_199+m9_200+m9_201+m9_202+m9_203+m9_204+m9_205+m9_206+m9_207+m9_208+m9_209+m9_210+m9_211+m9_212+m9_213+m9_214+m9_215+m9_216+m9_217+m9_218+m9_219+m9_220+m9_221+m9_222+m9_223+m9_224+m9_225+m9_226+m9_227+m9_228+m9_229+m9_230+m9_231+m9_232+m9_233+m9_234+m9_235+m9_236+m9_237+m9_238+m9_239+m9_240+m9_241+m9_242+m9_243+m9_244+m9_245+m9_246+m9_247+m9_248+m9_249+m9_250+m9_251+m9_252+m9_253+m9_254+m9_255+m9_256+m9_257+m9_258+m9_259+m9_260+m9_261+m9_262+m9_263+m9_264+m9_265+m9_266+m9_267+m9_268+m9_269+m9_270+m9_271+m9_272+m9_273+m9_274+m9_275+m9_276+m9_277+m9_278+m9_279+m9_280+m9_281+m9_282+m9_283+m9_284+m9_285+m9_286+m9_287+m9_288+m9_289+m9_290+m9_291+m9_292+m9_293+m9_294+m9_295+m9_296+m9_297+m9_298+m9_299+m9_300+m9_301+m9_302+m9_303+m9_304+m9_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04 with value :lc3_0+lc3_1+lc3_2+lc3_3+lc3_4+lc3_5+lc3_6+lc3_7+lc3_8+lc3_9+lc3_10+lc3_11+lc3_12+lc3_13+lc3_14+lc3_15+lc3_16+lc3_17+lc3_18+lc3_19+lc3_20+lc3_21+lc3_22+lc3_23+lc3_24+lc3_25+lc3_26+lc3_27+lc3_28+lc3_29+lc3_30+lc3_31+lc3_32+lc3_33+lc3_34+lc3_35+lc3_36+lc3_37+lc3_38+lc3_39+lc3_40+lc3_41+lc3_42+lc3_43+lc3_44+lc3_45+lc3_46+lc3_47+lc3_48+lc3_49+lc3_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05 with value :ml4_0+ml4_1+ml4_2+ml4_3+ml4_4+ml4_5+ml4_6+ml4_7+ml4_8+ml4_9+ml4_10+ml4_11+ml4_12+ml4_13+ml4_14+ml4_15+ml4_16+ml4_17+ml4_18+ml4_19+ml4_20+ml4_21+ml4_22+ml4_23+ml4_24+ml4_25+ml4_26+ml4_27+ml4_28+ml4_29+ml4_30+ml4_31+ml4_32+ml4_33+ml4_34+ml4_35+ml4_36+ml4_37+ml4_38+ml4_39+ml4_40+ml4_41+ml4_42+ml4_43+ml4_44+ml4_45+ml4_46+ml4_47+ml4_48+ml4_49+ml4_50+ml4_51+ml4_52+ml4_53+ml4_54+ml4_55+ml4_56+ml4_57+ml4_58+ml4_59+ml4_60+ml4_61+ml4_62+ml4_63+ml4_64+ml4_65+ml4_66+ml4_67+ml4_68+ml4_69+ml4_70+ml4_71+ml4_72+ml4_73+ml4_74+ml4_75+ml4_76+ml4_77+ml4_78+ml4_79+ml4_80+ml4_81+ml4_82+ml4_83+ml4_84+ml4_85+ml4_86+ml4_87+ml4_88+ml4_89+ml4_90+ml4_91+ml4_92+ml4_93+ml4_94+ml4_95+ml4_96+ml4_97+ml4_98+ml4_99+ml4_100+ml4_101+ml4_102+ml4_103+ml4_104+ml4_105+ml4_106+ml4_107+ml4_108+ml4_109+ml4_110+ml4_111+ml4_112+ml4_113+ml4_114+ml4_115+ml4_116+ml4_117+ml4_118+ml4_119+ml4_120+ml4_121+ml4_122+ml4_123+ml4_124+ml4_125+ml4_126+ml4_127+ml4_128+ml4_129+ml4_130+ml4_131+ml4_132+ml4_133+ml4_134+ml4_135+ml4_136+ml4_137+ml4_138+ml4_139+ml4_140+ml4_141+ml4_142+ml4_143+ml4_144+ml4_145+ml4_146+ml4_147+ml4_148+ml4_149+ml4_150+ml4_151+ml4_152+ml4_153+ml4_154+ml4_155+ml4_156+ml4_157+ml4_158+ml4_159+ml4_160+ml4_161+ml4_162+ml4_163+ml4_164+ml4_165+ml4_166+ml4_167+ml4_168+ml4_169+ml4_170+ml4_171+ml4_172+ml4_173+ml4_174+ml4_175+ml4_176+ml4_177+ml4_178+ml4_179+ml4_180+ml4_181+ml4_182+ml4_183+ml4_184+ml4_185+ml4_186+ml4_187+ml4_188+ml4_189+ml4_190+ml4_191+ml4_192+ml4_193+ml4_194+ml4_195+ml4_196+ml4_197+ml4_198+ml4_199+ml4_200+ml4_201+ml4_202+ml4_203+ml4_204+ml4_205+ml4_206+ml4_207+ml4_208+ml4_209+ml4_210+ml4_211+ml4_212+ml4_213+ml4_214+ml4_215+ml4_216+ml4_217+ml4_218+ml4_219+ml4_220+ml4_221+ml4_222+ml4_223+ml4_224+ml4_225+ml4_226+ml4_227+ml4_228+ml4_229+ml4_230+ml4_231+ml4_232+ml4_233+ml4_234+ml4_235+ml4_236+ml4_237+ml4_238+ml4_239+ml4_240+ml4_241+ml4_242+ml4_243+ml4_244+ml4_245+ml4_246+ml4_247+ml4_248+ml4_249+ml4_250+ml4_251+ml4_252+ml4_253+ml4_254+ml4_255+ml4_256+ml4_257+ml4_258+ml4_259+ml4_260+ml4_261+ml4_262+ml4_263+ml4_264+ml4_265+ml4_266+ml4_267+ml4_268+ml4_269+ml4_270+ml4_271+ml4_272+ml4_273+ml4_274+ml4_275+ml4_276+ml4_277+ml4_278+ml4_279+ml4_280+ml4_281+ml4_282+ml4_283+ml4_284+ml4_285+ml4_286+ml4_287+ml4_288+ml4_289+ml4_290+ml4_291+ml4_292+ml4_293+ml4_294+ml4_295+ml4_296+ml4_297+ml4_298+ml4_299+ml4_300+ml4_301+ml4_302+ml4_303+ml4_304+ml4_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06 with value :l25_0+l25_1+l25_2+l25_3+l25_4+l25_5+l25_6+l25_7+l25_8+l25_9+l25_10+l25_11+l25_12+l25_13+l25_14+l25_15+l25_16+l25_17+l25_18+l25_19+l25_20+l25_21+l25_22+l25_23+l25_24+l25_25+l25_26+l25_27+l25_28+l25_29+l25_30+l25_31+l25_32+l25_33+l25_34+l25_35+l25_36+l25_37+l25_38+l25_39+l25_40+l25_41+l25_42+l25_43+l25_44+l25_45+l25_46+l25_47+l25_48+l25_49+l25_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07 with value :lm2_0+lm2_1+lm2_2+lm2_3+lm2_4+lm2_5+lm2_6+lm2_7+lm2_8+lm2_9+lm2_10+lm2_11+lm2_12+lm2_13+lm2_14+lm2_15+lm2_16+lm2_17+lm2_18+lm2_19+lm2_20+lm2_21+lm2_22+lm2_23+lm2_24+lm2_25+lm2_26+lm2_27+lm2_28+lm2_29+lm2_30+lm2_31+lm2_32+lm2_33+lm2_34+lm2_35+lm2_36+lm2_37+lm2_38+lm2_39+lm2_40+lm2_41+lm2_42+lm2_43+lm2_44+lm2_45+lm2_46+lm2_47+lm2_48+lm2_49+lm2_50+lm2_51+lm2_52+lm2_53+lm2_54+lm2_55+lm2_56+lm2_57+lm2_58+lm2_59+lm2_60+lm2_61+lm2_62+lm2_63+lm2_64+lm2_65+lm2_66+lm2_67+lm2_68+lm2_69+lm2_70+lm2_71+lm2_72+lm2_73+lm2_74+lm2_75+lm2_76+lm2_77+lm2_78+lm2_79+lm2_80+lm2_81+lm2_82+lm2_83+lm2_84+lm2_85+lm2_86+lm2_87+lm2_88+lm2_89+lm2_90+lm2_91+lm2_92+lm2_93+lm2_94+lm2_95+lm2_96+lm2_97+lm2_98+lm2_99+lm2_100+lm2_101+lm2_102+lm2_103+lm2_104+lm2_105+lm2_106+lm2_107+lm2_108+lm2_109+lm2_110+lm2_111+lm2_112+lm2_113+lm2_114+lm2_115+lm2_116+lm2_117+lm2_118+lm2_119+lm2_120+lm2_121+lm2_122+lm2_123+lm2_124+lm2_125+lm2_126+lm2_127+lm2_128+lm2_129+lm2_130+lm2_131+lm2_132+lm2_133+lm2_134+lm2_135+lm2_136+lm2_137+lm2_138+lm2_139+lm2_140+lm2_141+lm2_142+lm2_143+lm2_144+lm2_145+lm2_146+lm2_147+lm2_148+lm2_149+lm2_150+lm2_151+lm2_152+lm2_153+lm2_154+lm2_155+lm2_156+lm2_157+lm2_158+lm2_159+lm2_160+lm2_161+lm2_162+lm2_163+lm2_164+lm2_165+lm2_166+lm2_167+lm2_168+lm2_169+lm2_170+lm2_171+lm2_172+lm2_173+lm2_174+lm2_175+lm2_176+lm2_177+lm2_178+lm2_179+lm2_180+lm2_181+lm2_182+lm2_183+lm2_184+lm2_185+lm2_186+lm2_187+lm2_188+lm2_189+lm2_190+lm2_191+lm2_192+lm2_193+lm2_194+lm2_195+lm2_196+lm2_197+lm2_198+lm2_199+lm2_200+lm2_201+lm2_202+lm2_203+lm2_204+lm2_205+lm2_206+lm2_207+lm2_208+lm2_209+lm2_210+lm2_211+lm2_212+lm2_213+lm2_214+lm2_215+lm2_216+lm2_217+lm2_218+lm2_219+lm2_220+lm2_221+lm2_222+lm2_223+lm2_224+lm2_225+lm2_226+lm2_227+lm2_228+lm2_229+lm2_230+lm2_231+lm2_232+lm2_233+lm2_234+lm2_235+lm2_236+lm2_237+lm2_238+lm2_239+lm2_240+lm2_241+lm2_242+lm2_243+lm2_244+lm2_245+lm2_246+lm2_247+lm2_248+lm2_249+lm2_250+lm2_251+lm2_252+lm2_253+lm2_254+lm2_255+lm2_256+lm2_257+lm2_258+lm2_259+lm2_260+lm2_261+lm2_262+lm2_263+lm2_264+lm2_265+lm2_266+lm2_267+lm2_268+lm2_269+lm2_270+lm2_271+lm2_272+lm2_273+lm2_274+lm2_275+lm2_276+lm2_277+lm2_278+lm2_279+lm2_280+lm2_281+lm2_282+lm2_283+lm2_284+lm2_285+lm2_286+lm2_287+lm2_288+lm2_289+lm2_290+lm2_291+lm2_292+lm2_293+lm2_294+lm2_295+lm2_296+lm2_297+lm2_298+lm2_299+lm2_300+lm2_301+lm2_302+lm2_303+lm2_304+lm2_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08 with value :g1_0+g1_1+g1_2+g1_3+g1_4+g1_5+g1_6+g1_7+g1_8+g1_9+g1_10+g1_11+g1_12+g1_13+g1_14+g1_15+g1_16+g1_17+g1_18+g1_19+g1_20+g1_21+g1_22+g1_23+g1_24+g1_25+g1_26+g1_27+g1_28+g1_29+g1_30+g1_31+g1_32+g1_33+g1_34+g1_35+g1_36+g1_37+g1_38+g1_39+g1_40+g1_41+g1_42+g1_43+g1_44+g1_45+g1_46+g1_47+g1_48+g1_49+g1_50+g1_51+g1_52+g1_53+g1_54+g1_55+g1_56+g1_57+g1_58+g1_59+g1_60+g1_61+g1_62+g1_63+g1_64+g1_65+g1_66+g1_67+g1_68+g1_69+g1_70+g1_71+g1_72+g1_73+g1_74+g1_75+g1_76+g1_77+g1_78+g1_79+g1_80+g1_81+g1_82+g1_83+g1_84+g1_85+g1_86+g1_87+g1_88+g1_89+g1_90+g1_91+g1_92+g1_93+g1_94+g1_95+g1_96+g1_97+g1_98+g1_99+g1_100+g1_101
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09 with value :l11_0+l11_1+l11_2+l11_3+l11_4+l11_5+l11_6+l11_7+l11_8+l11_9+l11_10+l11_11+l11_12+l11_13+l11_14+l11_15+l11_16+l11_17+l11_18+l11_19+l11_20+l11_21+l11_22+l11_23+l11_24+l11_25+l11_26+l11_27+l11_28+l11_29+l11_30+l11_31+l11_32+l11_33+l11_34+l11_35+l11_36+l11_37+l11_38+l11_39+l11_40+l11_41+l11_42+l11_43+l11_44+l11_45+l11_46+l11_47+l11_48+l11_49+l11_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10 with value :cl0_0+cl0_1+cl0_2+cl0_3+cl0_4+cl0_5+cl0_6+cl0_7+cl0_8+cl0_9+cl0_10+cl0_11+cl0_12+cl0_13+cl0_14+cl0_15+cl0_16+cl0_17+cl0_18+cl0_19+cl0_20+cl0_21+cl0_22+cl0_23+cl0_24+cl0_25+cl0_26+cl0_27+cl0_28+cl0_29+cl0_30+cl0_31+cl0_32+cl0_33+cl0_34+cl0_35+cl0_36+cl0_37+cl0_38+cl0_39+cl0_40+cl0_41+cl0_42+cl0_43+cl0_44+cl0_45+cl0_46+cl0_47+cl0_48+cl0_49+cl0_50+cl0_51+cl0_52+cl0_53+cl0_54+cl0_55+cl0_56+cl0_57+cl0_58+cl0_59+cl0_60+cl0_61+cl0_62+cl0_63+cl0_64+cl0_65+cl0_66+cl0_67+cl0_68+cl0_69+cl0_70+cl0_71+cl0_72+cl0_73+cl0_74+cl0_75+cl0_76+cl0_77+cl0_78+cl0_79+cl0_80+cl0_81+cl0_82+cl0_83+cl0_84+cl0_85+cl0_86+cl0_87+cl0_88+cl0_89+cl0_90+cl0_91+cl0_92+cl0_93+cl0_94+cl0_95+cl0_96+cl0_97+cl0_98+cl0_99+cl0_100+cl0_101+cl0_102+cl0_103+cl0_104+cl0_105+cl0_106+cl0_107+cl0_108+cl0_109+cl0_110+cl0_111+cl0_112+cl0_113+cl0_114+cl0_115+cl0_116+cl0_117+cl0_118+cl0_119+cl0_120+cl0_121+cl0_122+cl0_123+cl0_124+cl0_125+cl0_126+cl0_127+cl0_128+cl0_129+cl0_130+cl0_131+cl0_132+cl0_133+cl0_134+cl0_135+cl0_136+cl0_137+cl0_138+cl0_139+cl0_140+cl0_141+cl0_142+cl0_143+cl0_144+cl0_145+cl0_146+cl0_147+cl0_148+cl0_149+cl0_150+cl0_151+cl0_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11 with value :p2_0+p2_1+p2_2+p2_3+p2_4+p2_5+p2_6+p2_7+p2_8+p2_9+p2_10+p2_11+p2_12+p2_13+p2_14+p2_15+p2_16+p2_17+p2_18+p2_19+p2_20+p2_21+p2_22+p2_23+p2_24+p2_25+p2_26+p2_27+p2_28+p2_29+p2_30+p2_31+p2_32+p2_33+p2_34+p2_35+p2_36+p2_37+p2_38+p2_39+p2_40+p2_41+p2_42+p2_43+p2_44+p2_45+p2_46+p2_47+p2_48+p2_49+p2_50+p2_51+p2_52+p2_53+p2_54+p2_55+p2_56+p2_57+p2_58+p2_59+p2_60+p2_61+p2_62+p2_63+p2_64+p2_65+p2_66+p2_67+p2_68+p2_69+p2_70+p2_71+p2_72+p2_73+p2_74+p2_75+p2_76+p2_77+p2_78+p2_79+p2_80+p2_81+p2_82+p2_83+p2_84+p2_85+p2_86+p2_87+p2_88+p2_89+p2_90+p2_91+p2_92+p2_93+p2_94+p2_95+p2_96+p2_97+p2_98+p2_99+p2_100+p2_101+p2_102+p2_103+p2_104+p2_105+p2_106+p2_107+p2_108+p2_109+p2_110+p2_111+p2_112+p2_113+p2_114+p2_115+p2_116+p2_117+p2_118+p2_119+p2_120+p2_121+p2_122+p2_123+p2_124+p2_125+p2_126+p2_127+p2_128+p2_129+p2_130+p2_131+p2_132+p2_133+p2_134+p2_135+p2_136+p2_137+p2_138+p2_139+p2_140+p2_141+p2_142+p2_143+p2_144+p2_145+p2_146+p2_147+p2_148+p2_149+p2_150+p2_151+p2_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12 with value :cl0_0+cl0_1+cl0_2+cl0_3+cl0_4+cl0_5+cl0_6+cl0_7+cl0_8+cl0_9+cl0_10+cl0_11+cl0_12+cl0_13+cl0_14+cl0_15+cl0_16+cl0_17+cl0_18+cl0_19+cl0_20+cl0_21+cl0_22+cl0_23+cl0_24+cl0_25+cl0_26+cl0_27+cl0_28+cl0_29+cl0_30+cl0_31+cl0_32+cl0_33+cl0_34+cl0_35+cl0_36+cl0_37+cl0_38+cl0_39+cl0_40+cl0_41+cl0_42+cl0_43+cl0_44+cl0_45+cl0_46+cl0_47+cl0_48+cl0_49+cl0_50+cl0_51+cl0_52+cl0_53+cl0_54+cl0_55+cl0_56+cl0_57+cl0_58+cl0_59+cl0_60+cl0_61+cl0_62+cl0_63+cl0_64+cl0_65+cl0_66+cl0_67+cl0_68+cl0_69+cl0_70+cl0_71+cl0_72+cl0_73+cl0_74+cl0_75+cl0_76+cl0_77+cl0_78+cl0_79+cl0_80+cl0_81+cl0_82+cl0_83+cl0_84+cl0_85+cl0_86+cl0_87+cl0_88+cl0_89+cl0_90+cl0_91+cl0_92+cl0_93+cl0_94+cl0_95+cl0_96+cl0_97+cl0_98+cl0_99+cl0_100+cl0_101+cl0_102+cl0_103+cl0_104+cl0_105+cl0_106+cl0_107+cl0_108+cl0_109+cl0_110+cl0_111+cl0_112+cl0_113+cl0_114+cl0_115+cl0_116+cl0_117+cl0_118+cl0_119+cl0_120+cl0_121+cl0_122+cl0_123+cl0_124+cl0_125+cl0_126+cl0_127+cl0_128+cl0_129+cl0_130+cl0_131+cl0_132+cl0_133+cl0_134+cl0_135+cl0_136+cl0_137+cl0_138+cl0_139+cl0_140+cl0_141+cl0_142+cl0_143+cl0_144+cl0_145+cl0_146+cl0_147+cl0_148+cl0_149+cl0_150+cl0_151+cl0_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13 with value :
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14 with value :g4_0+g4_1
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15 with value :l7_0+l7_1+l7_2+l7_3+l7_4+l7_5+l7_6+l7_7+l7_8+l7_9+l7_10+l7_11+l7_12+l7_13+l7_14+l7_15+l7_16+l7_17+l7_18+l7_19+l7_20+l7_21+l7_22+l7_23+l7_24+l7_25+l7_26+l7_27+l7_28+l7_29+l7_30+l7_31+l7_32+l7_33+l7_34+l7_35+l7_36+l7_37+l7_38+l7_39+l7_40+l7_41+l7_42+l7_43+l7_44+l7_45+l7_46+l7_47+l7_48+l7_49+l7_50+l7_51+l7_52+l7_53+l7_54+l7_55+l7_56+l7_57+l7_58+l7_59+l7_60+l7_61+l7_62+l7_63+l7_64+l7_65+l7_66+l7_67+l7_68+l7_69+l7_70+l7_71+l7_72+l7_73+l7_74+l7_75+l7_76+l7_77+l7_78+l7_79+l7_80+l7_81+l7_82+l7_83+l7_84+l7_85+l7_86+l7_87+l7_88+l7_89+l7_90+l7_91+l7_92+l7_93+l7_94+l7_95+l7_96+l7_97+l7_98+l7_99+l7_100+l7_101+l7_102+l7_103+l7_104+l7_105+l7_106+l7_107+l7_108+l7_109+l7_110+l7_111+l7_112+l7_113+l7_114+l7_115+l7_116+l7_117+l7_118+l7_119+l7_120+l7_121+l7_122+l7_123+l7_124+l7_125+l7_126+l7_127+l7_128+l7_129+l7_130+l7_131+l7_132+l7_133+l7_134+l7_135+l7_136+l7_137+l7_138+l7_139+l7_140+l7_141+l7_142+l7_143+l7_144+l7_145+l7_146+l7_147+l7_148+l7_149+l7_150+l7_151+l7_152+l7_153+l7_154+l7_155+l7_156+l7_157+l7_158+l7_159+l7_160+l7_161+l7_162+l7_163+l7_164+l7_165+l7_166+l7_167+l7_168+l7_169+l7_170+l7_171+l7_172+l7_173+l7_174+l7_175+l7_176+l7_177+l7_178+l7_179+l7_180+l7_181+l7_182+l7_183+l7_184+l7_185+l7_186+l7_187+l7_188+l7_189+l7_190+l7_191+l7_192+l7_193+l7_194+l7_195+l7_196+l7_197+l7_198+l7_199+l7_200+l7_201+l7_202+l7_203+l7_204+l7_205+l7_206+l7_207+l7_208+l7_209+l7_210+l7_211+l7_212+l7_213+l7_214+l7_215+l7_216+l7_217+l7_218+l7_219+l7_220+l7_221+l7_222+l7_223+l7_224+l7_225+l7_226+l7_227+l7_228+l7_229+l7_230+l7_231+l7_232+l7_233+l7_234+l7_235+l7_236+l7_237+l7_238+l7_239+l7_240+l7_241+l7_242+l7_243+l7_244+l7_245+l7_246+l7_247+l7_248+l7_249+l7_250+l7_251+l7_252+l7_253+l7_254+l7_255+l7_256+l7_257+l7_258+l7_259+l7_260+l7_261+l7_262+l7_263+l7_264+l7_265+l7_266+l7_267+l7_268+l7_269+l7_270+l7_271+l7_272+l7_273+l7_274+l7_275+l7_276+l7_277+l7_278+l7_279+l7_280+l7_281+l7_282+l7_283+l7_284+l7_285+l7_286+l7_287+l7_288+l7_289+l7_290+l7_291+l7_292+l7_293+l7_294+l7_295+l7_296+l7_297+l7_298+l7_299+l7_300+l7_301+l7_302+l7_303+l7_304+l7_305
Detected timeout of ITS tools.
[2021-05-11 12:46:44] [INFO ] Applying decomposition
[2021-05-11 12:46:45] [INFO ] Flatten gal took : 805 ms
[2021-05-11 12:46:45] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 97 ms
[2021-05-11 12:46:45] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 3 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --gen-order FOLLOW
Loading property file UpperBounds.prop.
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00 with value :l8_0+l8_1+l8_2+l8_3+l8_4+l8_5+l8_6+l8_7+l8_8+l8_9+l8_10+l8_11+l8_12+l8_13+l8_14+l8_15+l8_16+l8_17+l8_18+l8_19+l8_20+l8_21+l8_22+l8_23+l8_24+l8_25+l8_26+l8_27+l8_28+l8_29+l8_30+l8_31+l8_32+l8_33+l8_34+l8_35+l8_36+l8_37+l8_38+l8_39+l8_40+l8_41+l8_42+l8_43+l8_44+l8_45+l8_46+l8_47+l8_48+l8_49+l8_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01 with value :l4_0+l4_1+l4_2+l4_3+l4_4+l4_5+l4_6+l4_7+l4_8+l4_9+l4_10+l4_11+l4_12+l4_13+l4_14+l4_15+l4_16+l4_17+l4_18+l4_19+l4_20+l4_21+l4_22+l4_23+l4_24+l4_25+l4_26+l4_27+l4_28+l4_29+l4_30+l4_31+l4_32+l4_33+l4_34+l4_35+l4_36+l4_37+l4_38+l4_39+l4_40+l4_41+l4_42+l4_43+l4_44+l4_45+l4_46+l4_47+l4_48+l4_49+l4_50+l4_51+l4_52+l4_53+l4_54+l4_55+l4_56+l4_57+l4_58+l4_59+l4_60+l4_61+l4_62+l4_63+l4_64+l4_65+l4_66+l4_67+l4_68+l4_69+l4_70+l4_71+l4_72+l4_73+l4_74+l4_75+l4_76+l4_77+l4_78+l4_79+l4_80+l4_81+l4_82+l4_83+l4_84+l4_85+l4_86+l4_87+l4_88+l4_89+l4_90+l4_91+l4_92+l4_93+l4_94+l4_95+l4_96+l4_97+l4_98+l4_99+l4_100+l4_101+l4_102+l4_103+l4_104+l4_105+l4_106+l4_107+l4_108+l4_109+l4_110+l4_111+l4_112+l4_113+l4_114+l4_115+l4_116+l4_117+l4_118+l4_119+l4_120+l4_121+l4_122+l4_123+l4_124+l4_125+l4_126+l4_127+l4_128+l4_129+l4_130+l4_131+l4_132+l4_133+l4_134+l4_135+l4_136+l4_137+l4_138+l4_139+l4_140+l4_141+l4_142+l4_143+l4_144+l4_145+l4_146+l4_147+l4_148+l4_149+l4_150+l4_151+l4_152+l4_153+l4_154+l4_155+l4_156+l4_157+l4_158+l4_159+l4_160+l4_161+l4_162+l4_163+l4_164+l4_165+l4_166+l4_167+l4_168+l4_169+l4_170+l4_171+l4_172+l4_173+l4_174+l4_175+l4_176+l4_177+l4_178+l4_179+l4_180+l4_181+l4_182+l4_183+l4_184+l4_185+l4_186+l4_187+l4_188+l4_189+l4_190+l4_191+l4_192+l4_193+l4_194+l4_195+l4_196+l4_197+l4_198+l4_199+l4_200+l4_201+l4_202+l4_203+l4_204+l4_205+l4_206+l4_207+l4_208+l4_209+l4_210+l4_211+l4_212+l4_213+l4_214+l4_215+l4_216+l4_217+l4_218+l4_219+l4_220+l4_221+l4_222+l4_223+l4_224+l4_225+l4_226+l4_227+l4_228+l4_229+l4_230+l4_231+l4_232+l4_233+l4_234+l4_235+l4_236+l4_237+l4_238+l4_239+l4_240+l4_241+l4_242+l4_243+l4_244+l4_245+l4_246+l4_247+l4_248+l4_249+l4_250+l4_251+l4_252+l4_253+l4_254+l4_255+l4_256+l4_257+l4_258+l4_259+l4_260+l4_261+l4_262+l4_263+l4_264+l4_265+l4_266+l4_267+l4_268+l4_269+l4_270+l4_271+l4_272+l4_273+l4_274+l4_275+l4_276+l4_277+l4_278+l4_279+l4_280+l4_281+l4_282+l4_283+l4_284+l4_285+l4_286+l4_287+l4_288+l4_289+l4_290+l4_291+l4_292+l4_293+l4_294+l4_295+l4_296+l4_297+l4_298+l4_299+l4_300+l4_301+l4_302+l4_303+l4_304+l4_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02 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
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03 with value :m9_0+m9_1+m9_2+m9_3+m9_4+m9_5+m9_6+m9_7+m9_8+m9_9+m9_10+m9_11+m9_12+m9_13+m9_14+m9_15+m9_16+m9_17+m9_18+m9_19+m9_20+m9_21+m9_22+m9_23+m9_24+m9_25+m9_26+m9_27+m9_28+m9_29+m9_30+m9_31+m9_32+m9_33+m9_34+m9_35+m9_36+m9_37+m9_38+m9_39+m9_40+m9_41+m9_42+m9_43+m9_44+m9_45+m9_46+m9_47+m9_48+m9_49+m9_50+m9_51+m9_52+m9_53+m9_54+m9_55+m9_56+m9_57+m9_58+m9_59+m9_60+m9_61+m9_62+m9_63+m9_64+m9_65+m9_66+m9_67+m9_68+m9_69+m9_70+m9_71+m9_72+m9_73+m9_74+m9_75+m9_76+m9_77+m9_78+m9_79+m9_80+m9_81+m9_82+m9_83+m9_84+m9_85+m9_86+m9_87+m9_88+m9_89+m9_90+m9_91+m9_92+m9_93+m9_94+m9_95+m9_96+m9_97+m9_98+m9_99+m9_100+m9_101+m9_102+m9_103+m9_104+m9_105+m9_106+m9_107+m9_108+m9_109+m9_110+m9_111+m9_112+m9_113+m9_114+m9_115+m9_116+m9_117+m9_118+m9_119+m9_120+m9_121+m9_122+m9_123+m9_124+m9_125+m9_126+m9_127+m9_128+m9_129+m9_130+m9_131+m9_132+m9_133+m9_134+m9_135+m9_136+m9_137+m9_138+m9_139+m9_140+m9_141+m9_142+m9_143+m9_144+m9_145+m9_146+m9_147+m9_148+m9_149+m9_150+m9_151+m9_152+m9_153+m9_154+m9_155+m9_156+m9_157+m9_158+m9_159+m9_160+m9_161+m9_162+m9_163+m9_164+m9_165+m9_166+m9_167+m9_168+m9_169+m9_170+m9_171+m9_172+m9_173+m9_174+m9_175+m9_176+m9_177+m9_178+m9_179+m9_180+m9_181+m9_182+m9_183+m9_184+m9_185+m9_186+m9_187+m9_188+m9_189+m9_190+m9_191+m9_192+m9_193+m9_194+m9_195+m9_196+m9_197+m9_198+m9_199+m9_200+m9_201+m9_202+m9_203+m9_204+m9_205+m9_206+m9_207+m9_208+m9_209+m9_210+m9_211+m9_212+m9_213+m9_214+m9_215+m9_216+m9_217+m9_218+m9_219+m9_220+m9_221+m9_222+m9_223+m9_224+m9_225+m9_226+m9_227+m9_228+m9_229+m9_230+m9_231+m9_232+m9_233+m9_234+m9_235+m9_236+m9_237+m9_238+m9_239+m9_240+m9_241+m9_242+m9_243+m9_244+m9_245+m9_246+m9_247+m9_248+m9_249+m9_250+m9_251+m9_252+m9_253+m9_254+m9_255+m9_256+m9_257+m9_258+m9_259+m9_260+m9_261+m9_262+m9_263+m9_264+m9_265+m9_266+m9_267+m9_268+m9_269+m9_270+m9_271+m9_272+m9_273+m9_274+m9_275+m9_276+m9_277+m9_278+m9_279+m9_280+m9_281+m9_282+m9_283+m9_284+m9_285+m9_286+m9_287+m9_288+m9_289+m9_290+m9_291+m9_292+m9_293+m9_294+m9_295+m9_296+m9_297+m9_298+m9_299+m9_300+m9_301+m9_302+m9_303+m9_304+m9_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04 with value :lc3_0+lc3_1+lc3_2+lc3_3+lc3_4+lc3_5+lc3_6+lc3_7+lc3_8+lc3_9+lc3_10+lc3_11+lc3_12+lc3_13+lc3_14+lc3_15+lc3_16+lc3_17+lc3_18+lc3_19+lc3_20+lc3_21+lc3_22+lc3_23+lc3_24+lc3_25+lc3_26+lc3_27+lc3_28+lc3_29+lc3_30+lc3_31+lc3_32+lc3_33+lc3_34+lc3_35+lc3_36+lc3_37+lc3_38+lc3_39+lc3_40+lc3_41+lc3_42+lc3_43+lc3_44+lc3_45+lc3_46+lc3_47+lc3_48+lc3_49+lc3_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05 with value :ml4_0+ml4_1+ml4_2+ml4_3+ml4_4+ml4_5+ml4_6+ml4_7+ml4_8+ml4_9+ml4_10+ml4_11+ml4_12+ml4_13+ml4_14+ml4_15+ml4_16+ml4_17+ml4_18+ml4_19+ml4_20+ml4_21+ml4_22+ml4_23+ml4_24+ml4_25+ml4_26+ml4_27+ml4_28+ml4_29+ml4_30+ml4_31+ml4_32+ml4_33+ml4_34+ml4_35+ml4_36+ml4_37+ml4_38+ml4_39+ml4_40+ml4_41+ml4_42+ml4_43+ml4_44+ml4_45+ml4_46+ml4_47+ml4_48+ml4_49+ml4_50+ml4_51+ml4_52+ml4_53+ml4_54+ml4_55+ml4_56+ml4_57+ml4_58+ml4_59+ml4_60+ml4_61+ml4_62+ml4_63+ml4_64+ml4_65+ml4_66+ml4_67+ml4_68+ml4_69+ml4_70+ml4_71+ml4_72+ml4_73+ml4_74+ml4_75+ml4_76+ml4_77+ml4_78+ml4_79+ml4_80+ml4_81+ml4_82+ml4_83+ml4_84+ml4_85+ml4_86+ml4_87+ml4_88+ml4_89+ml4_90+ml4_91+ml4_92+ml4_93+ml4_94+ml4_95+ml4_96+ml4_97+ml4_98+ml4_99+ml4_100+ml4_101+ml4_102+ml4_103+ml4_104+ml4_105+ml4_106+ml4_107+ml4_108+ml4_109+ml4_110+ml4_111+ml4_112+ml4_113+ml4_114+ml4_115+ml4_116+ml4_117+ml4_118+ml4_119+ml4_120+ml4_121+ml4_122+ml4_123+ml4_124+ml4_125+ml4_126+ml4_127+ml4_128+ml4_129+ml4_130+ml4_131+ml4_132+ml4_133+ml4_134+ml4_135+ml4_136+ml4_137+ml4_138+ml4_139+ml4_140+ml4_141+ml4_142+ml4_143+ml4_144+ml4_145+ml4_146+ml4_147+ml4_148+ml4_149+ml4_150+ml4_151+ml4_152+ml4_153+ml4_154+ml4_155+ml4_156+ml4_157+ml4_158+ml4_159+ml4_160+ml4_161+ml4_162+ml4_163+ml4_164+ml4_165+ml4_166+ml4_167+ml4_168+ml4_169+ml4_170+ml4_171+ml4_172+ml4_173+ml4_174+ml4_175+ml4_176+ml4_177+ml4_178+ml4_179+ml4_180+ml4_181+ml4_182+ml4_183+ml4_184+ml4_185+ml4_186+ml4_187+ml4_188+ml4_189+ml4_190+ml4_191+ml4_192+ml4_193+ml4_194+ml4_195+ml4_196+ml4_197+ml4_198+ml4_199+ml4_200+ml4_201+ml4_202+ml4_203+ml4_204+ml4_205+ml4_206+ml4_207+ml4_208+ml4_209+ml4_210+ml4_211+ml4_212+ml4_213+ml4_214+ml4_215+ml4_216+ml4_217+ml4_218+ml4_219+ml4_220+ml4_221+ml4_222+ml4_223+ml4_224+ml4_225+ml4_226+ml4_227+ml4_228+ml4_229+ml4_230+ml4_231+ml4_232+ml4_233+ml4_234+ml4_235+ml4_236+ml4_237+ml4_238+ml4_239+ml4_240+ml4_241+ml4_242+ml4_243+ml4_244+ml4_245+ml4_246+ml4_247+ml4_248+ml4_249+ml4_250+ml4_251+ml4_252+ml4_253+ml4_254+ml4_255+ml4_256+ml4_257+ml4_258+ml4_259+ml4_260+ml4_261+ml4_262+ml4_263+ml4_264+ml4_265+ml4_266+ml4_267+ml4_268+ml4_269+ml4_270+ml4_271+ml4_272+ml4_273+ml4_274+ml4_275+ml4_276+ml4_277+ml4_278+ml4_279+ml4_280+ml4_281+ml4_282+ml4_283+ml4_284+ml4_285+ml4_286+ml4_287+ml4_288+ml4_289+ml4_290+ml4_291+ml4_292+ml4_293+ml4_294+ml4_295+ml4_296+ml4_297+ml4_298+ml4_299+ml4_300+ml4_301+ml4_302+ml4_303+ml4_304+ml4_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06 with value :l25_0+l25_1+l25_2+l25_3+l25_4+l25_5+l25_6+l25_7+l25_8+l25_9+l25_10+l25_11+l25_12+l25_13+l25_14+l25_15+l25_16+l25_17+l25_18+l25_19+l25_20+l25_21+l25_22+l25_23+l25_24+l25_25+l25_26+l25_27+l25_28+l25_29+l25_30+l25_31+l25_32+l25_33+l25_34+l25_35+l25_36+l25_37+l25_38+l25_39+l25_40+l25_41+l25_42+l25_43+l25_44+l25_45+l25_46+l25_47+l25_48+l25_49+l25_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07 with value :lm2_0+lm2_1+lm2_2+lm2_3+lm2_4+lm2_5+lm2_6+lm2_7+lm2_8+lm2_9+lm2_10+lm2_11+lm2_12+lm2_13+lm2_14+lm2_15+lm2_16+lm2_17+lm2_18+lm2_19+lm2_20+lm2_21+lm2_22+lm2_23+lm2_24+lm2_25+lm2_26+lm2_27+lm2_28+lm2_29+lm2_30+lm2_31+lm2_32+lm2_33+lm2_34+lm2_35+lm2_36+lm2_37+lm2_38+lm2_39+lm2_40+lm2_41+lm2_42+lm2_43+lm2_44+lm2_45+lm2_46+lm2_47+lm2_48+lm2_49+lm2_50+lm2_51+lm2_52+lm2_53+lm2_54+lm2_55+lm2_56+lm2_57+lm2_58+lm2_59+lm2_60+lm2_61+lm2_62+lm2_63+lm2_64+lm2_65+lm2_66+lm2_67+lm2_68+lm2_69+lm2_70+lm2_71+lm2_72+lm2_73+lm2_74+lm2_75+lm2_76+lm2_77+lm2_78+lm2_79+lm2_80+lm2_81+lm2_82+lm2_83+lm2_84+lm2_85+lm2_86+lm2_87+lm2_88+lm2_89+lm2_90+lm2_91+lm2_92+lm2_93+lm2_94+lm2_95+lm2_96+lm2_97+lm2_98+lm2_99+lm2_100+lm2_101+lm2_102+lm2_103+lm2_104+lm2_105+lm2_106+lm2_107+lm2_108+lm2_109+lm2_110+lm2_111+lm2_112+lm2_113+lm2_114+lm2_115+lm2_116+lm2_117+lm2_118+lm2_119+lm2_120+lm2_121+lm2_122+lm2_123+lm2_124+lm2_125+lm2_126+lm2_127+lm2_128+lm2_129+lm2_130+lm2_131+lm2_132+lm2_133+lm2_134+lm2_135+lm2_136+lm2_137+lm2_138+lm2_139+lm2_140+lm2_141+lm2_142+lm2_143+lm2_144+lm2_145+lm2_146+lm2_147+lm2_148+lm2_149+lm2_150+lm2_151+lm2_152+lm2_153+lm2_154+lm2_155+lm2_156+lm2_157+lm2_158+lm2_159+lm2_160+lm2_161+lm2_162+lm2_163+lm2_164+lm2_165+lm2_166+lm2_167+lm2_168+lm2_169+lm2_170+lm2_171+lm2_172+lm2_173+lm2_174+lm2_175+lm2_176+lm2_177+lm2_178+lm2_179+lm2_180+lm2_181+lm2_182+lm2_183+lm2_184+lm2_185+lm2_186+lm2_187+lm2_188+lm2_189+lm2_190+lm2_191+lm2_192+lm2_193+lm2_194+lm2_195+lm2_196+lm2_197+lm2_198+lm2_199+lm2_200+lm2_201+lm2_202+lm2_203+lm2_204+lm2_205+lm2_206+lm2_207+lm2_208+lm2_209+lm2_210+lm2_211+lm2_212+lm2_213+lm2_214+lm2_215+lm2_216+lm2_217+lm2_218+lm2_219+lm2_220+lm2_221+lm2_222+lm2_223+lm2_224+lm2_225+lm2_226+lm2_227+lm2_228+lm2_229+lm2_230+lm2_231+lm2_232+lm2_233+lm2_234+lm2_235+lm2_236+lm2_237+lm2_238+lm2_239+lm2_240+lm2_241+lm2_242+lm2_243+lm2_244+lm2_245+lm2_246+lm2_247+lm2_248+lm2_249+lm2_250+lm2_251+lm2_252+lm2_253+lm2_254+lm2_255+lm2_256+lm2_257+lm2_258+lm2_259+lm2_260+lm2_261+lm2_262+lm2_263+lm2_264+lm2_265+lm2_266+lm2_267+lm2_268+lm2_269+lm2_270+lm2_271+lm2_272+lm2_273+lm2_274+lm2_275+lm2_276+lm2_277+lm2_278+lm2_279+lm2_280+lm2_281+lm2_282+lm2_283+lm2_284+lm2_285+lm2_286+lm2_287+lm2_288+lm2_289+lm2_290+lm2_291+lm2_292+lm2_293+lm2_294+lm2_295+lm2_296+lm2_297+lm2_298+lm2_299+lm2_300+lm2_301+lm2_302+lm2_303+lm2_304+lm2_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08 with value :g1_0+g1_1+g1_2+g1_3+g1_4+g1_5+g1_6+g1_7+g1_8+g1_9+g1_10+g1_11+g1_12+g1_13+g1_14+g1_15+g1_16+g1_17+g1_18+g1_19+g1_20+g1_21+g1_22+g1_23+g1_24+g1_25+g1_26+g1_27+g1_28+g1_29+g1_30+g1_31+g1_32+g1_33+g1_34+g1_35+g1_36+g1_37+g1_38+g1_39+g1_40+g1_41+g1_42+g1_43+g1_44+g1_45+g1_46+g1_47+g1_48+g1_49+g1_50+g1_51+g1_52+g1_53+g1_54+g1_55+g1_56+g1_57+g1_58+g1_59+g1_60+g1_61+g1_62+g1_63+g1_64+g1_65+g1_66+g1_67+g1_68+g1_69+g1_70+g1_71+g1_72+g1_73+g1_74+g1_75+g1_76+g1_77+g1_78+g1_79+g1_80+g1_81+g1_82+g1_83+g1_84+g1_85+g1_86+g1_87+g1_88+g1_89+g1_90+g1_91+g1_92+g1_93+g1_94+g1_95+g1_96+g1_97+g1_98+g1_99+g1_100+g1_101
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09 with value :l11_0+l11_1+l11_2+l11_3+l11_4+l11_5+l11_6+l11_7+l11_8+l11_9+l11_10+l11_11+l11_12+l11_13+l11_14+l11_15+l11_16+l11_17+l11_18+l11_19+l11_20+l11_21+l11_22+l11_23+l11_24+l11_25+l11_26+l11_27+l11_28+l11_29+l11_30+l11_31+l11_32+l11_33+l11_34+l11_35+l11_36+l11_37+l11_38+l11_39+l11_40+l11_41+l11_42+l11_43+l11_44+l11_45+l11_46+l11_47+l11_48+l11_49+l11_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10 with value :cl0_0+cl0_1+cl0_2+cl0_3+cl0_4+cl0_5+cl0_6+cl0_7+cl0_8+cl0_9+cl0_10+cl0_11+cl0_12+cl0_13+cl0_14+cl0_15+cl0_16+cl0_17+cl0_18+cl0_19+cl0_20+cl0_21+cl0_22+cl0_23+cl0_24+cl0_25+cl0_26+cl0_27+cl0_28+cl0_29+cl0_30+cl0_31+cl0_32+cl0_33+cl0_34+cl0_35+cl0_36+cl0_37+cl0_38+cl0_39+cl0_40+cl0_41+cl0_42+cl0_43+cl0_44+cl0_45+cl0_46+cl0_47+cl0_48+cl0_49+cl0_50+cl0_51+cl0_52+cl0_53+cl0_54+cl0_55+cl0_56+cl0_57+cl0_58+cl0_59+cl0_60+cl0_61+cl0_62+cl0_63+cl0_64+cl0_65+cl0_66+cl0_67+cl0_68+cl0_69+cl0_70+cl0_71+cl0_72+cl0_73+cl0_74+cl0_75+cl0_76+cl0_77+cl0_78+cl0_79+cl0_80+cl0_81+cl0_82+cl0_83+cl0_84+cl0_85+cl0_86+cl0_87+cl0_88+cl0_89+cl0_90+cl0_91+cl0_92+cl0_93+cl0_94+cl0_95+cl0_96+cl0_97+cl0_98+cl0_99+cl0_100+cl0_101+cl0_102+cl0_103+cl0_104+cl0_105+cl0_106+cl0_107+cl0_108+cl0_109+cl0_110+cl0_111+cl0_112+cl0_113+cl0_114+cl0_115+cl0_116+cl0_117+cl0_118+cl0_119+cl0_120+cl0_121+cl0_122+cl0_123+cl0_124+cl0_125+cl0_126+cl0_127+cl0_128+cl0_129+cl0_130+cl0_131+cl0_132+cl0_133+cl0_134+cl0_135+cl0_136+cl0_137+cl0_138+cl0_139+cl0_140+cl0_141+cl0_142+cl0_143+cl0_144+cl0_145+cl0_146+cl0_147+cl0_148+cl0_149+cl0_150+cl0_151+cl0_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11 with value :p2_0+p2_1+p2_2+p2_3+p2_4+p2_5+p2_6+p2_7+p2_8+p2_9+p2_10+p2_11+p2_12+p2_13+p2_14+p2_15+p2_16+p2_17+p2_18+p2_19+p2_20+p2_21+p2_22+p2_23+p2_24+p2_25+p2_26+p2_27+p2_28+p2_29+p2_30+p2_31+p2_32+p2_33+p2_34+p2_35+p2_36+p2_37+p2_38+p2_39+p2_40+p2_41+p2_42+p2_43+p2_44+p2_45+p2_46+p2_47+p2_48+p2_49+p2_50+p2_51+p2_52+p2_53+p2_54+p2_55+p2_56+p2_57+p2_58+p2_59+p2_60+p2_61+p2_62+p2_63+p2_64+p2_65+p2_66+p2_67+p2_68+p2_69+p2_70+p2_71+p2_72+p2_73+p2_74+p2_75+p2_76+p2_77+p2_78+p2_79+p2_80+p2_81+p2_82+p2_83+p2_84+p2_85+p2_86+p2_87+p2_88+p2_89+p2_90+p2_91+p2_92+p2_93+p2_94+p2_95+p2_96+p2_97+p2_98+p2_99+p2_100+p2_101+p2_102+p2_103+p2_104+p2_105+p2_106+p2_107+p2_108+p2_109+p2_110+p2_111+p2_112+p2_113+p2_114+p2_115+p2_116+p2_117+p2_118+p2_119+p2_120+p2_121+p2_122+p2_123+p2_124+p2_125+p2_126+p2_127+p2_128+p2_129+p2_130+p2_131+p2_132+p2_133+p2_134+p2_135+p2_136+p2_137+p2_138+p2_139+p2_140+p2_141+p2_142+p2_143+p2_144+p2_145+p2_146+p2_147+p2_148+p2_149+p2_150+p2_151+p2_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12 with value :cl0_0+cl0_1+cl0_2+cl0_3+cl0_4+cl0_5+cl0_6+cl0_7+cl0_8+cl0_9+cl0_10+cl0_11+cl0_12+cl0_13+cl0_14+cl0_15+cl0_16+cl0_17+cl0_18+cl0_19+cl0_20+cl0_21+cl0_22+cl0_23+cl0_24+cl0_25+cl0_26+cl0_27+cl0_28+cl0_29+cl0_30+cl0_31+cl0_32+cl0_33+cl0_34+cl0_35+cl0_36+cl0_37+cl0_38+cl0_39+cl0_40+cl0_41+cl0_42+cl0_43+cl0_44+cl0_45+cl0_46+cl0_47+cl0_48+cl0_49+cl0_50+cl0_51+cl0_52+cl0_53+cl0_54+cl0_55+cl0_56+cl0_57+cl0_58+cl0_59+cl0_60+cl0_61+cl0_62+cl0_63+cl0_64+cl0_65+cl0_66+cl0_67+cl0_68+cl0_69+cl0_70+cl0_71+cl0_72+cl0_73+cl0_74+cl0_75+cl0_76+cl0_77+cl0_78+cl0_79+cl0_80+cl0_81+cl0_82+cl0_83+cl0_84+cl0_85+cl0_86+cl0_87+cl0_88+cl0_89+cl0_90+cl0_91+cl0_92+cl0_93+cl0_94+cl0_95+cl0_96+cl0_97+cl0_98+cl0_99+cl0_100+cl0_101+cl0_102+cl0_103+cl0_104+cl0_105+cl0_106+cl0_107+cl0_108+cl0_109+cl0_110+cl0_111+cl0_112+cl0_113+cl0_114+cl0_115+cl0_116+cl0_117+cl0_118+cl0_119+cl0_120+cl0_121+cl0_122+cl0_123+cl0_124+cl0_125+cl0_126+cl0_127+cl0_128+cl0_129+cl0_130+cl0_131+cl0_132+cl0_133+cl0_134+cl0_135+cl0_136+cl0_137+cl0_138+cl0_139+cl0_140+cl0_141+cl0_142+cl0_143+cl0_144+cl0_145+cl0_146+cl0_147+cl0_148+cl0_149+cl0_150+cl0_151+cl0_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13 with value :
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14 with value :g4_0+g4_1
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15 with value :l7_0+l7_1+l7_2+l7_3+l7_4+l7_5+l7_6+l7_7+l7_8+l7_9+l7_10+l7_11+l7_12+l7_13+l7_14+l7_15+l7_16+l7_17+l7_18+l7_19+l7_20+l7_21+l7_22+l7_23+l7_24+l7_25+l7_26+l7_27+l7_28+l7_29+l7_30+l7_31+l7_32+l7_33+l7_34+l7_35+l7_36+l7_37+l7_38+l7_39+l7_40+l7_41+l7_42+l7_43+l7_44+l7_45+l7_46+l7_47+l7_48+l7_49+l7_50+l7_51+l7_52+l7_53+l7_54+l7_55+l7_56+l7_57+l7_58+l7_59+l7_60+l7_61+l7_62+l7_63+l7_64+l7_65+l7_66+l7_67+l7_68+l7_69+l7_70+l7_71+l7_72+l7_73+l7_74+l7_75+l7_76+l7_77+l7_78+l7_79+l7_80+l7_81+l7_82+l7_83+l7_84+l7_85+l7_86+l7_87+l7_88+l7_89+l7_90+l7_91+l7_92+l7_93+l7_94+l7_95+l7_96+l7_97+l7_98+l7_99+l7_100+l7_101+l7_102+l7_103+l7_104+l7_105+l7_106+l7_107+l7_108+l7_109+l7_110+l7_111+l7_112+l7_113+l7_114+l7_115+l7_116+l7_117+l7_118+l7_119+l7_120+l7_121+l7_122+l7_123+l7_124+l7_125+l7_126+l7_127+l7_128+l7_129+l7_130+l7_131+l7_132+l7_133+l7_134+l7_135+l7_136+l7_137+l7_138+l7_139+l7_140+l7_141+l7_142+l7_143+l7_144+l7_145+l7_146+l7_147+l7_148+l7_149+l7_150+l7_151+l7_152+l7_153+l7_154+l7_155+l7_156+l7_157+l7_158+l7_159+l7_160+l7_161+l7_162+l7_163+l7_164+l7_165+l7_166+l7_167+l7_168+l7_169+l7_170+l7_171+l7_172+l7_173+l7_174+l7_175+l7_176+l7_177+l7_178+l7_179+l7_180+l7_181+l7_182+l7_183+l7_184+l7_185+l7_186+l7_187+l7_188+l7_189+l7_190+l7_191+l7_192+l7_193+l7_194+l7_195+l7_196+l7_197+l7_198+l7_199+l7_200+l7_201+l7_202+l7_203+l7_204+l7_205+l7_206+l7_207+l7_208+l7_209+l7_210+l7_211+l7_212+l7_213+l7_214+l7_215+l7_216+l7_217+l7_218+l7_219+l7_220+l7_221+l7_222+l7_223+l7_224+l7_225+l7_226+l7_227+l7_228+l7_229+l7_230+l7_231+l7_232+l7_233+l7_234+l7_235+l7_236+l7_237+l7_238+l7_239+l7_240+l7_241+l7_242+l7_243+l7_244+l7_245+l7_246+l7_247+l7_248+l7_249+l7_250+l7_251+l7_252+l7_253+l7_254+l7_255+l7_256+l7_257+l7_258+l7_259+l7_260+l7_261+l7_262+l7_263+l7_264+l7_265+l7_266+l7_267+l7_268+l7_269+l7_270+l7_271+l7_272+l7_273+l7_274+l7_275+l7_276+l7_277+l7_278+l7_279+l7_280+l7_281+l7_282+l7_283+l7_284+l7_285+l7_286+l7_287+l7_288+l7_289+l7_290+l7_291+l7_292+l7_293+l7_294+l7_295+l7_296+l7_297+l7_298+l7_299+l7_300+l7_301+l7_302+l7_303+l7_304+l7_305
Detected timeout of ITS tools.
[2021-05-11 13:06:49] [INFO ] Flatten gal took : 1177 ms
[2021-05-11 13:06:50] [INFO ] Input system was already deterministic with 10560 transitions.
[2021-05-11 13:06:50] [INFO ] Transformed 12177 places.
[2021-05-11 13:06:50] [INFO ] Transformed 10560 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
P-invariant computation with GreatSPN timed out. Skipping.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2021-05-11 13:07:21] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 30 ms
[2021-05-11 13:07:21] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 2 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
Loading property file UpperBounds.prop.
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-00 with value :l8_0+l8_1+l8_2+l8_3+l8_4+l8_5+l8_6+l8_7+l8_8+l8_9+l8_10+l8_11+l8_12+l8_13+l8_14+l8_15+l8_16+l8_17+l8_18+l8_19+l8_20+l8_21+l8_22+l8_23+l8_24+l8_25+l8_26+l8_27+l8_28+l8_29+l8_30+l8_31+l8_32+l8_33+l8_34+l8_35+l8_36+l8_37+l8_38+l8_39+l8_40+l8_41+l8_42+l8_43+l8_44+l8_45+l8_46+l8_47+l8_48+l8_49+l8_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-01 with value :l4_0+l4_1+l4_2+l4_3+l4_4+l4_5+l4_6+l4_7+l4_8+l4_9+l4_10+l4_11+l4_12+l4_13+l4_14+l4_15+l4_16+l4_17+l4_18+l4_19+l4_20+l4_21+l4_22+l4_23+l4_24+l4_25+l4_26+l4_27+l4_28+l4_29+l4_30+l4_31+l4_32+l4_33+l4_34+l4_35+l4_36+l4_37+l4_38+l4_39+l4_40+l4_41+l4_42+l4_43+l4_44+l4_45+l4_46+l4_47+l4_48+l4_49+l4_50+l4_51+l4_52+l4_53+l4_54+l4_55+l4_56+l4_57+l4_58+l4_59+l4_60+l4_61+l4_62+l4_63+l4_64+l4_65+l4_66+l4_67+l4_68+l4_69+l4_70+l4_71+l4_72+l4_73+l4_74+l4_75+l4_76+l4_77+l4_78+l4_79+l4_80+l4_81+l4_82+l4_83+l4_84+l4_85+l4_86+l4_87+l4_88+l4_89+l4_90+l4_91+l4_92+l4_93+l4_94+l4_95+l4_96+l4_97+l4_98+l4_99+l4_100+l4_101+l4_102+l4_103+l4_104+l4_105+l4_106+l4_107+l4_108+l4_109+l4_110+l4_111+l4_112+l4_113+l4_114+l4_115+l4_116+l4_117+l4_118+l4_119+l4_120+l4_121+l4_122+l4_123+l4_124+l4_125+l4_126+l4_127+l4_128+l4_129+l4_130+l4_131+l4_132+l4_133+l4_134+l4_135+l4_136+l4_137+l4_138+l4_139+l4_140+l4_141+l4_142+l4_143+l4_144+l4_145+l4_146+l4_147+l4_148+l4_149+l4_150+l4_151+l4_152+l4_153+l4_154+l4_155+l4_156+l4_157+l4_158+l4_159+l4_160+l4_161+l4_162+l4_163+l4_164+l4_165+l4_166+l4_167+l4_168+l4_169+l4_170+l4_171+l4_172+l4_173+l4_174+l4_175+l4_176+l4_177+l4_178+l4_179+l4_180+l4_181+l4_182+l4_183+l4_184+l4_185+l4_186+l4_187+l4_188+l4_189+l4_190+l4_191+l4_192+l4_193+l4_194+l4_195+l4_196+l4_197+l4_198+l4_199+l4_200+l4_201+l4_202+l4_203+l4_204+l4_205+l4_206+l4_207+l4_208+l4_209+l4_210+l4_211+l4_212+l4_213+l4_214+l4_215+l4_216+l4_217+l4_218+l4_219+l4_220+l4_221+l4_222+l4_223+l4_224+l4_225+l4_226+l4_227+l4_228+l4_229+l4_230+l4_231+l4_232+l4_233+l4_234+l4_235+l4_236+l4_237+l4_238+l4_239+l4_240+l4_241+l4_242+l4_243+l4_244+l4_245+l4_246+l4_247+l4_248+l4_249+l4_250+l4_251+l4_252+l4_253+l4_254+l4_255+l4_256+l4_257+l4_258+l4_259+l4_260+l4_261+l4_262+l4_263+l4_264+l4_265+l4_266+l4_267+l4_268+l4_269+l4_270+l4_271+l4_272+l4_273+l4_274+l4_275+l4_276+l4_277+l4_278+l4_279+l4_280+l4_281+l4_282+l4_283+l4_284+l4_285+l4_286+l4_287+l4_288+l4_289+l4_290+l4_291+l4_292+l4_293+l4_294+l4_295+l4_296+l4_297+l4_298+l4_299+l4_300+l4_301+l4_302+l4_303+l4_304+l4_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-02 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
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-03 with value :m9_0+m9_1+m9_2+m9_3+m9_4+m9_5+m9_6+m9_7+m9_8+m9_9+m9_10+m9_11+m9_12+m9_13+m9_14+m9_15+m9_16+m9_17+m9_18+m9_19+m9_20+m9_21+m9_22+m9_23+m9_24+m9_25+m9_26+m9_27+m9_28+m9_29+m9_30+m9_31+m9_32+m9_33+m9_34+m9_35+m9_36+m9_37+m9_38+m9_39+m9_40+m9_41+m9_42+m9_43+m9_44+m9_45+m9_46+m9_47+m9_48+m9_49+m9_50+m9_51+m9_52+m9_53+m9_54+m9_55+m9_56+m9_57+m9_58+m9_59+m9_60+m9_61+m9_62+m9_63+m9_64+m9_65+m9_66+m9_67+m9_68+m9_69+m9_70+m9_71+m9_72+m9_73+m9_74+m9_75+m9_76+m9_77+m9_78+m9_79+m9_80+m9_81+m9_82+m9_83+m9_84+m9_85+m9_86+m9_87+m9_88+m9_89+m9_90+m9_91+m9_92+m9_93+m9_94+m9_95+m9_96+m9_97+m9_98+m9_99+m9_100+m9_101+m9_102+m9_103+m9_104+m9_105+m9_106+m9_107+m9_108+m9_109+m9_110+m9_111+m9_112+m9_113+m9_114+m9_115+m9_116+m9_117+m9_118+m9_119+m9_120+m9_121+m9_122+m9_123+m9_124+m9_125+m9_126+m9_127+m9_128+m9_129+m9_130+m9_131+m9_132+m9_133+m9_134+m9_135+m9_136+m9_137+m9_138+m9_139+m9_140+m9_141+m9_142+m9_143+m9_144+m9_145+m9_146+m9_147+m9_148+m9_149+m9_150+m9_151+m9_152+m9_153+m9_154+m9_155+m9_156+m9_157+m9_158+m9_159+m9_160+m9_161+m9_162+m9_163+m9_164+m9_165+m9_166+m9_167+m9_168+m9_169+m9_170+m9_171+m9_172+m9_173+m9_174+m9_175+m9_176+m9_177+m9_178+m9_179+m9_180+m9_181+m9_182+m9_183+m9_184+m9_185+m9_186+m9_187+m9_188+m9_189+m9_190+m9_191+m9_192+m9_193+m9_194+m9_195+m9_196+m9_197+m9_198+m9_199+m9_200+m9_201+m9_202+m9_203+m9_204+m9_205+m9_206+m9_207+m9_208+m9_209+m9_210+m9_211+m9_212+m9_213+m9_214+m9_215+m9_216+m9_217+m9_218+m9_219+m9_220+m9_221+m9_222+m9_223+m9_224+m9_225+m9_226+m9_227+m9_228+m9_229+m9_230+m9_231+m9_232+m9_233+m9_234+m9_235+m9_236+m9_237+m9_238+m9_239+m9_240+m9_241+m9_242+m9_243+m9_244+m9_245+m9_246+m9_247+m9_248+m9_249+m9_250+m9_251+m9_252+m9_253+m9_254+m9_255+m9_256+m9_257+m9_258+m9_259+m9_260+m9_261+m9_262+m9_263+m9_264+m9_265+m9_266+m9_267+m9_268+m9_269+m9_270+m9_271+m9_272+m9_273+m9_274+m9_275+m9_276+m9_277+m9_278+m9_279+m9_280+m9_281+m9_282+m9_283+m9_284+m9_285+m9_286+m9_287+m9_288+m9_289+m9_290+m9_291+m9_292+m9_293+m9_294+m9_295+m9_296+m9_297+m9_298+m9_299+m9_300+m9_301+m9_302+m9_303+m9_304+m9_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-04 with value :lc3_0+lc3_1+lc3_2+lc3_3+lc3_4+lc3_5+lc3_6+lc3_7+lc3_8+lc3_9+lc3_10+lc3_11+lc3_12+lc3_13+lc3_14+lc3_15+lc3_16+lc3_17+lc3_18+lc3_19+lc3_20+lc3_21+lc3_22+lc3_23+lc3_24+lc3_25+lc3_26+lc3_27+lc3_28+lc3_29+lc3_30+lc3_31+lc3_32+lc3_33+lc3_34+lc3_35+lc3_36+lc3_37+lc3_38+lc3_39+lc3_40+lc3_41+lc3_42+lc3_43+lc3_44+lc3_45+lc3_46+lc3_47+lc3_48+lc3_49+lc3_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-05 with value :ml4_0+ml4_1+ml4_2+ml4_3+ml4_4+ml4_5+ml4_6+ml4_7+ml4_8+ml4_9+ml4_10+ml4_11+ml4_12+ml4_13+ml4_14+ml4_15+ml4_16+ml4_17+ml4_18+ml4_19+ml4_20+ml4_21+ml4_22+ml4_23+ml4_24+ml4_25+ml4_26+ml4_27+ml4_28+ml4_29+ml4_30+ml4_31+ml4_32+ml4_33+ml4_34+ml4_35+ml4_36+ml4_37+ml4_38+ml4_39+ml4_40+ml4_41+ml4_42+ml4_43+ml4_44+ml4_45+ml4_46+ml4_47+ml4_48+ml4_49+ml4_50+ml4_51+ml4_52+ml4_53+ml4_54+ml4_55+ml4_56+ml4_57+ml4_58+ml4_59+ml4_60+ml4_61+ml4_62+ml4_63+ml4_64+ml4_65+ml4_66+ml4_67+ml4_68+ml4_69+ml4_70+ml4_71+ml4_72+ml4_73+ml4_74+ml4_75+ml4_76+ml4_77+ml4_78+ml4_79+ml4_80+ml4_81+ml4_82+ml4_83+ml4_84+ml4_85+ml4_86+ml4_87+ml4_88+ml4_89+ml4_90+ml4_91+ml4_92+ml4_93+ml4_94+ml4_95+ml4_96+ml4_97+ml4_98+ml4_99+ml4_100+ml4_101+ml4_102+ml4_103+ml4_104+ml4_105+ml4_106+ml4_107+ml4_108+ml4_109+ml4_110+ml4_111+ml4_112+ml4_113+ml4_114+ml4_115+ml4_116+ml4_117+ml4_118+ml4_119+ml4_120+ml4_121+ml4_122+ml4_123+ml4_124+ml4_125+ml4_126+ml4_127+ml4_128+ml4_129+ml4_130+ml4_131+ml4_132+ml4_133+ml4_134+ml4_135+ml4_136+ml4_137+ml4_138+ml4_139+ml4_140+ml4_141+ml4_142+ml4_143+ml4_144+ml4_145+ml4_146+ml4_147+ml4_148+ml4_149+ml4_150+ml4_151+ml4_152+ml4_153+ml4_154+ml4_155+ml4_156+ml4_157+ml4_158+ml4_159+ml4_160+ml4_161+ml4_162+ml4_163+ml4_164+ml4_165+ml4_166+ml4_167+ml4_168+ml4_169+ml4_170+ml4_171+ml4_172+ml4_173+ml4_174+ml4_175+ml4_176+ml4_177+ml4_178+ml4_179+ml4_180+ml4_181+ml4_182+ml4_183+ml4_184+ml4_185+ml4_186+ml4_187+ml4_188+ml4_189+ml4_190+ml4_191+ml4_192+ml4_193+ml4_194+ml4_195+ml4_196+ml4_197+ml4_198+ml4_199+ml4_200+ml4_201+ml4_202+ml4_203+ml4_204+ml4_205+ml4_206+ml4_207+ml4_208+ml4_209+ml4_210+ml4_211+ml4_212+ml4_213+ml4_214+ml4_215+ml4_216+ml4_217+ml4_218+ml4_219+ml4_220+ml4_221+ml4_222+ml4_223+ml4_224+ml4_225+ml4_226+ml4_227+ml4_228+ml4_229+ml4_230+ml4_231+ml4_232+ml4_233+ml4_234+ml4_235+ml4_236+ml4_237+ml4_238+ml4_239+ml4_240+ml4_241+ml4_242+ml4_243+ml4_244+ml4_245+ml4_246+ml4_247+ml4_248+ml4_249+ml4_250+ml4_251+ml4_252+ml4_253+ml4_254+ml4_255+ml4_256+ml4_257+ml4_258+ml4_259+ml4_260+ml4_261+ml4_262+ml4_263+ml4_264+ml4_265+ml4_266+ml4_267+ml4_268+ml4_269+ml4_270+ml4_271+ml4_272+ml4_273+ml4_274+ml4_275+ml4_276+ml4_277+ml4_278+ml4_279+ml4_280+ml4_281+ml4_282+ml4_283+ml4_284+ml4_285+ml4_286+ml4_287+ml4_288+ml4_289+ml4_290+ml4_291+ml4_292+ml4_293+ml4_294+ml4_295+ml4_296+ml4_297+ml4_298+ml4_299+ml4_300+ml4_301+ml4_302+ml4_303+ml4_304+ml4_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-06 with value :l25_0+l25_1+l25_2+l25_3+l25_4+l25_5+l25_6+l25_7+l25_8+l25_9+l25_10+l25_11+l25_12+l25_13+l25_14+l25_15+l25_16+l25_17+l25_18+l25_19+l25_20+l25_21+l25_22+l25_23+l25_24+l25_25+l25_26+l25_27+l25_28+l25_29+l25_30+l25_31+l25_32+l25_33+l25_34+l25_35+l25_36+l25_37+l25_38+l25_39+l25_40+l25_41+l25_42+l25_43+l25_44+l25_45+l25_46+l25_47+l25_48+l25_49+l25_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-07 with value :lm2_0+lm2_1+lm2_2+lm2_3+lm2_4+lm2_5+lm2_6+lm2_7+lm2_8+lm2_9+lm2_10+lm2_11+lm2_12+lm2_13+lm2_14+lm2_15+lm2_16+lm2_17+lm2_18+lm2_19+lm2_20+lm2_21+lm2_22+lm2_23+lm2_24+lm2_25+lm2_26+lm2_27+lm2_28+lm2_29+lm2_30+lm2_31+lm2_32+lm2_33+lm2_34+lm2_35+lm2_36+lm2_37+lm2_38+lm2_39+lm2_40+lm2_41+lm2_42+lm2_43+lm2_44+lm2_45+lm2_46+lm2_47+lm2_48+lm2_49+lm2_50+lm2_51+lm2_52+lm2_53+lm2_54+lm2_55+lm2_56+lm2_57+lm2_58+lm2_59+lm2_60+lm2_61+lm2_62+lm2_63+lm2_64+lm2_65+lm2_66+lm2_67+lm2_68+lm2_69+lm2_70+lm2_71+lm2_72+lm2_73+lm2_74+lm2_75+lm2_76+lm2_77+lm2_78+lm2_79+lm2_80+lm2_81+lm2_82+lm2_83+lm2_84+lm2_85+lm2_86+lm2_87+lm2_88+lm2_89+lm2_90+lm2_91+lm2_92+lm2_93+lm2_94+lm2_95+lm2_96+lm2_97+lm2_98+lm2_99+lm2_100+lm2_101+lm2_102+lm2_103+lm2_104+lm2_105+lm2_106+lm2_107+lm2_108+lm2_109+lm2_110+lm2_111+lm2_112+lm2_113+lm2_114+lm2_115+lm2_116+lm2_117+lm2_118+lm2_119+lm2_120+lm2_121+lm2_122+lm2_123+lm2_124+lm2_125+lm2_126+lm2_127+lm2_128+lm2_129+lm2_130+lm2_131+lm2_132+lm2_133+lm2_134+lm2_135+lm2_136+lm2_137+lm2_138+lm2_139+lm2_140+lm2_141+lm2_142+lm2_143+lm2_144+lm2_145+lm2_146+lm2_147+lm2_148+lm2_149+lm2_150+lm2_151+lm2_152+lm2_153+lm2_154+lm2_155+lm2_156+lm2_157+lm2_158+lm2_159+lm2_160+lm2_161+lm2_162+lm2_163+lm2_164+lm2_165+lm2_166+lm2_167+lm2_168+lm2_169+lm2_170+lm2_171+lm2_172+lm2_173+lm2_174+lm2_175+lm2_176+lm2_177+lm2_178+lm2_179+lm2_180+lm2_181+lm2_182+lm2_183+lm2_184+lm2_185+lm2_186+lm2_187+lm2_188+lm2_189+lm2_190+lm2_191+lm2_192+lm2_193+lm2_194+lm2_195+lm2_196+lm2_197+lm2_198+lm2_199+lm2_200+lm2_201+lm2_202+lm2_203+lm2_204+lm2_205+lm2_206+lm2_207+lm2_208+lm2_209+lm2_210+lm2_211+lm2_212+lm2_213+lm2_214+lm2_215+lm2_216+lm2_217+lm2_218+lm2_219+lm2_220+lm2_221+lm2_222+lm2_223+lm2_224+lm2_225+lm2_226+lm2_227+lm2_228+lm2_229+lm2_230+lm2_231+lm2_232+lm2_233+lm2_234+lm2_235+lm2_236+lm2_237+lm2_238+lm2_239+lm2_240+lm2_241+lm2_242+lm2_243+lm2_244+lm2_245+lm2_246+lm2_247+lm2_248+lm2_249+lm2_250+lm2_251+lm2_252+lm2_253+lm2_254+lm2_255+lm2_256+lm2_257+lm2_258+lm2_259+lm2_260+lm2_261+lm2_262+lm2_263+lm2_264+lm2_265+lm2_266+lm2_267+lm2_268+lm2_269+lm2_270+lm2_271+lm2_272+lm2_273+lm2_274+lm2_275+lm2_276+lm2_277+lm2_278+lm2_279+lm2_280+lm2_281+lm2_282+lm2_283+lm2_284+lm2_285+lm2_286+lm2_287+lm2_288+lm2_289+lm2_290+lm2_291+lm2_292+lm2_293+lm2_294+lm2_295+lm2_296+lm2_297+lm2_298+lm2_299+lm2_300+lm2_301+lm2_302+lm2_303+lm2_304+lm2_305
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-08 with value :g1_0+g1_1+g1_2+g1_3+g1_4+g1_5+g1_6+g1_7+g1_8+g1_9+g1_10+g1_11+g1_12+g1_13+g1_14+g1_15+g1_16+g1_17+g1_18+g1_19+g1_20+g1_21+g1_22+g1_23+g1_24+g1_25+g1_26+g1_27+g1_28+g1_29+g1_30+g1_31+g1_32+g1_33+g1_34+g1_35+g1_36+g1_37+g1_38+g1_39+g1_40+g1_41+g1_42+g1_43+g1_44+g1_45+g1_46+g1_47+g1_48+g1_49+g1_50+g1_51+g1_52+g1_53+g1_54+g1_55+g1_56+g1_57+g1_58+g1_59+g1_60+g1_61+g1_62+g1_63+g1_64+g1_65+g1_66+g1_67+g1_68+g1_69+g1_70+g1_71+g1_72+g1_73+g1_74+g1_75+g1_76+g1_77+g1_78+g1_79+g1_80+g1_81+g1_82+g1_83+g1_84+g1_85+g1_86+g1_87+g1_88+g1_89+g1_90+g1_91+g1_92+g1_93+g1_94+g1_95+g1_96+g1_97+g1_98+g1_99+g1_100+g1_101
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-09 with value :l11_0+l11_1+l11_2+l11_3+l11_4+l11_5+l11_6+l11_7+l11_8+l11_9+l11_10+l11_11+l11_12+l11_13+l11_14+l11_15+l11_16+l11_17+l11_18+l11_19+l11_20+l11_21+l11_22+l11_23+l11_24+l11_25+l11_26+l11_27+l11_28+l11_29+l11_30+l11_31+l11_32+l11_33+l11_34+l11_35+l11_36+l11_37+l11_38+l11_39+l11_40+l11_41+l11_42+l11_43+l11_44+l11_45+l11_46+l11_47+l11_48+l11_49+l11_50
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-10 with value :cl0_0+cl0_1+cl0_2+cl0_3+cl0_4+cl0_5+cl0_6+cl0_7+cl0_8+cl0_9+cl0_10+cl0_11+cl0_12+cl0_13+cl0_14+cl0_15+cl0_16+cl0_17+cl0_18+cl0_19+cl0_20+cl0_21+cl0_22+cl0_23+cl0_24+cl0_25+cl0_26+cl0_27+cl0_28+cl0_29+cl0_30+cl0_31+cl0_32+cl0_33+cl0_34+cl0_35+cl0_36+cl0_37+cl0_38+cl0_39+cl0_40+cl0_41+cl0_42+cl0_43+cl0_44+cl0_45+cl0_46+cl0_47+cl0_48+cl0_49+cl0_50+cl0_51+cl0_52+cl0_53+cl0_54+cl0_55+cl0_56+cl0_57+cl0_58+cl0_59+cl0_60+cl0_61+cl0_62+cl0_63+cl0_64+cl0_65+cl0_66+cl0_67+cl0_68+cl0_69+cl0_70+cl0_71+cl0_72+cl0_73+cl0_74+cl0_75+cl0_76+cl0_77+cl0_78+cl0_79+cl0_80+cl0_81+cl0_82+cl0_83+cl0_84+cl0_85+cl0_86+cl0_87+cl0_88+cl0_89+cl0_90+cl0_91+cl0_92+cl0_93+cl0_94+cl0_95+cl0_96+cl0_97+cl0_98+cl0_99+cl0_100+cl0_101+cl0_102+cl0_103+cl0_104+cl0_105+cl0_106+cl0_107+cl0_108+cl0_109+cl0_110+cl0_111+cl0_112+cl0_113+cl0_114+cl0_115+cl0_116+cl0_117+cl0_118+cl0_119+cl0_120+cl0_121+cl0_122+cl0_123+cl0_124+cl0_125+cl0_126+cl0_127+cl0_128+cl0_129+cl0_130+cl0_131+cl0_132+cl0_133+cl0_134+cl0_135+cl0_136+cl0_137+cl0_138+cl0_139+cl0_140+cl0_141+cl0_142+cl0_143+cl0_144+cl0_145+cl0_146+cl0_147+cl0_148+cl0_149+cl0_150+cl0_151+cl0_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-11 with value :p2_0+p2_1+p2_2+p2_3+p2_4+p2_5+p2_6+p2_7+p2_8+p2_9+p2_10+p2_11+p2_12+p2_13+p2_14+p2_15+p2_16+p2_17+p2_18+p2_19+p2_20+p2_21+p2_22+p2_23+p2_24+p2_25+p2_26+p2_27+p2_28+p2_29+p2_30+p2_31+p2_32+p2_33+p2_34+p2_35+p2_36+p2_37+p2_38+p2_39+p2_40+p2_41+p2_42+p2_43+p2_44+p2_45+p2_46+p2_47+p2_48+p2_49+p2_50+p2_51+p2_52+p2_53+p2_54+p2_55+p2_56+p2_57+p2_58+p2_59+p2_60+p2_61+p2_62+p2_63+p2_64+p2_65+p2_66+p2_67+p2_68+p2_69+p2_70+p2_71+p2_72+p2_73+p2_74+p2_75+p2_76+p2_77+p2_78+p2_79+p2_80+p2_81+p2_82+p2_83+p2_84+p2_85+p2_86+p2_87+p2_88+p2_89+p2_90+p2_91+p2_92+p2_93+p2_94+p2_95+p2_96+p2_97+p2_98+p2_99+p2_100+p2_101+p2_102+p2_103+p2_104+p2_105+p2_106+p2_107+p2_108+p2_109+p2_110+p2_111+p2_112+p2_113+p2_114+p2_115+p2_116+p2_117+p2_118+p2_119+p2_120+p2_121+p2_122+p2_123+p2_124+p2_125+p2_126+p2_127+p2_128+p2_129+p2_130+p2_131+p2_132+p2_133+p2_134+p2_135+p2_136+p2_137+p2_138+p2_139+p2_140+p2_141+p2_142+p2_143+p2_144+p2_145+p2_146+p2_147+p2_148+p2_149+p2_150+p2_151+p2_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-12 with value :cl0_0+cl0_1+cl0_2+cl0_3+cl0_4+cl0_5+cl0_6+cl0_7+cl0_8+cl0_9+cl0_10+cl0_11+cl0_12+cl0_13+cl0_14+cl0_15+cl0_16+cl0_17+cl0_18+cl0_19+cl0_20+cl0_21+cl0_22+cl0_23+cl0_24+cl0_25+cl0_26+cl0_27+cl0_28+cl0_29+cl0_30+cl0_31+cl0_32+cl0_33+cl0_34+cl0_35+cl0_36+cl0_37+cl0_38+cl0_39+cl0_40+cl0_41+cl0_42+cl0_43+cl0_44+cl0_45+cl0_46+cl0_47+cl0_48+cl0_49+cl0_50+cl0_51+cl0_52+cl0_53+cl0_54+cl0_55+cl0_56+cl0_57+cl0_58+cl0_59+cl0_60+cl0_61+cl0_62+cl0_63+cl0_64+cl0_65+cl0_66+cl0_67+cl0_68+cl0_69+cl0_70+cl0_71+cl0_72+cl0_73+cl0_74+cl0_75+cl0_76+cl0_77+cl0_78+cl0_79+cl0_80+cl0_81+cl0_82+cl0_83+cl0_84+cl0_85+cl0_86+cl0_87+cl0_88+cl0_89+cl0_90+cl0_91+cl0_92+cl0_93+cl0_94+cl0_95+cl0_96+cl0_97+cl0_98+cl0_99+cl0_100+cl0_101+cl0_102+cl0_103+cl0_104+cl0_105+cl0_106+cl0_107+cl0_108+cl0_109+cl0_110+cl0_111+cl0_112+cl0_113+cl0_114+cl0_115+cl0_116+cl0_117+cl0_118+cl0_119+cl0_120+cl0_121+cl0_122+cl0_123+cl0_124+cl0_125+cl0_126+cl0_127+cl0_128+cl0_129+cl0_130+cl0_131+cl0_132+cl0_133+cl0_134+cl0_135+cl0_136+cl0_137+cl0_138+cl0_139+cl0_140+cl0_141+cl0_142+cl0_143+cl0_144+cl0_145+cl0_146+cl0_147+cl0_148+cl0_149+cl0_150+cl0_151+cl0_152
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-13 with value :
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-14 with value :g4_0+g4_1
Read [bounds] property : FamilyReunion-COL-L00050M0005C002P002G001-UpperBounds-15 with value :l7_0+l7_1+l7_2+l7_3+l7_4+l7_5+l7_6+l7_7+l7_8+l7_9+l7_10+l7_11+l7_12+l7_13+l7_14+l7_15+l7_16+l7_17+l7_18+l7_19+l7_20+l7_21+l7_22+l7_23+l7_24+l7_25+l7_26+l7_27+l7_28+l7_29+l7_30+l7_31+l7_32+l7_33+l7_34+l7_35+l7_36+l7_37+l7_38+l7_39+l7_40+l7_41+l7_42+l7_43+l7_44+l7_45+l7_46+l7_47+l7_48+l7_49+l7_50+l7_51+l7_52+l7_53+l7_54+l7_55+l7_56+l7_57+l7_58+l7_59+l7_60+l7_61+l7_62+l7_63+l7_64+l7_65+l7_66+l7_67+l7_68+l7_69+l7_70+l7_71+l7_72+l7_73+l7_74+l7_75+l7_76+l7_77+l7_78+l7_79+l7_80+l7_81+l7_82+l7_83+l7_84+l7_85+l7_86+l7_87+l7_88+l7_89+l7_90+l7_91+l7_92+l7_93+l7_94+l7_95+l7_96+l7_97+l7_98+l7_99+l7_100+l7_101+l7_102+l7_103+l7_104+l7_105+l7_106+l7_107+l7_108+l7_109+l7_110+l7_111+l7_112+l7_113+l7_114+l7_115+l7_116+l7_117+l7_118+l7_119+l7_120+l7_121+l7_122+l7_123+l7_124+l7_125+l7_126+l7_127+l7_128+l7_129+l7_130+l7_131+l7_132+l7_133+l7_134+l7_135+l7_136+l7_137+l7_138+l7_139+l7_140+l7_141+l7_142+l7_143+l7_144+l7_145+l7_146+l7_147+l7_148+l7_149+l7_150+l7_151+l7_152+l7_153+l7_154+l7_155+l7_156+l7_157+l7_158+l7_159+l7_160+l7_161+l7_162+l7_163+l7_164+l7_165+l7_166+l7_167+l7_168+l7_169+l7_170+l7_171+l7_172+l7_173+l7_174+l7_175+l7_176+l7_177+l7_178+l7_179+l7_180+l7_181+l7_182+l7_183+l7_184+l7_185+l7_186+l7_187+l7_188+l7_189+l7_190+l7_191+l7_192+l7_193+l7_194+l7_195+l7_196+l7_197+l7_198+l7_199+l7_200+l7_201+l7_202+l7_203+l7_204+l7_205+l7_206+l7_207+l7_208+l7_209+l7_210+l7_211+l7_212+l7_213+l7_214+l7_215+l7_216+l7_217+l7_218+l7_219+l7_220+l7_221+l7_222+l7_223+l7_224+l7_225+l7_226+l7_227+l7_228+l7_229+l7_230+l7_231+l7_232+l7_233+l7_234+l7_235+l7_236+l7_237+l7_238+l7_239+l7_240+l7_241+l7_242+l7_243+l7_244+l7_245+l7_246+l7_247+l7_248+l7_249+l7_250+l7_251+l7_252+l7_253+l7_254+l7_255+l7_256+l7_257+l7_258+l7_259+l7_260+l7_261+l7_262+l7_263+l7_264+l7_265+l7_266+l7_267+l7_268+l7_269+l7_270+l7_271+l7_272+l7_273+l7_274+l7_275+l7_276+l7_277+l7_278+l7_279+l7_280+l7_281+l7_282+l7_283+l7_284+l7_285+l7_286+l7_287+l7_288+l7_289+l7_290+l7_291+l7_292+l7_293+l7_294+l7_295+l7_296+l7_297+l7_298+l7_299+l7_300+l7_301+l7_302+l7_303+l7_304+l7_305

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution UpperBounds -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination UpperBounds -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="FamilyReunion-COL-L00050M0005C002P002G001"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="gold2020"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool gold2020"
echo " Input is FamilyReunion-COL-L00050M0005C002P002G001, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r093-tall-162048900400108"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L00050M0005C002P002G001.tgz
mv FamilyReunion-COL-L00050M0005C002P002G001 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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