Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2021-input.r169-oct2-162089284800003.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2021-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool gold2020
Input is PhilosophersDyn-COL-20, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r169-oct2-162089284800003
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 392K
-rw-r--r-- 1 mcc users 15K May 5 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 119K 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 82K 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.9K Mar 28 16:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Mar 28 16:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 28 16:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 27 09:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 09:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Mar 25 11:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 24K Mar 25 11:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 22 09:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 22 09:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 5 16:51 equiv_pt
-rw-r--r-- 1 mcc users 3 May 5 16:51 instance
-rw-r--r-- 1 mcc users 5 May 5 16:51 iscolored
-rw-r--r-- 1 mcc users 32K 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 PhilosophersDyn-COL-20-UpperBounds-00
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-01
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-02
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-03
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-04
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-05
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-06
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-07
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-08
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-09
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-10
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-11
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-12
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-13
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-14
FORMULA_NAME PhilosophersDyn-COL-20-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1621360250396

[2021-05-18 17:50:53] [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-18 17:50:53] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2021-05-18 17:50:53] [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-18 17:50:54] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 716 ms
[2021-05-18 17:50:54] [INFO ] sort/places :
Neighbourhood->Neighbourhood,
Philosopher->HasRight,HasLeft,WaitRight,WaitLeft,Forks,Think,Outside,

[2021-05-18 17:50:54] [INFO ] Imported 8 HL places and 7 HL transitions for a total of 540 PT places and 17240.0 transition bindings in 25 ms.
[2021-05-18 17:50:54] [INFO ] Computed order based on color domains.
[2021-05-18 17:50:54] [INFO ] Unfolded HLPN to a Petri net with 540 places and 17220 transitions in 464 ms.
[2021-05-18 17:50:54] [INFO ] Unfolded HLPN properties in 0 ms.
Ensure Unique test removed 190 transitions
Reduce redundant transitions removed 190 transitions.
Parsed 16 properties from file /home/mcc/execution/UpperBounds.xml in 557 ms.
Finished random walk after 0 steps, including 0 resets, run visited all 0 properties in 13 ms. (steps per millisecond=0 )
[2021-05-18 17:50:56] [INFO ] Flatten gal took : 1231 ms
[2021-05-18 17:50:56] [INFO ] Applying decomposition
[2021-05-18 17:50:57] [INFO ] Flatten gal took : 786 ms
[2021-05-18 17:50:57] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 124 ms
[2021-05-18 17:50:57] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 1 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 : PhilosophersDyn-COL-20-UpperBounds-00 with value :WaitRight_0+WaitRight_1+WaitRight_2+WaitRight_3+WaitRight_4+WaitRight_5+WaitRight_6+WaitRight_7+WaitRight_8+WaitRight_9+WaitRight_10+WaitRight_11+WaitRight_12+WaitRight_13+WaitRight_14+WaitRight_15+WaitRight_16+WaitRight_17+WaitRight_18+WaitRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-01 with value :WaitRight_0+WaitRight_1+WaitRight_2+WaitRight_3+WaitRight_4+WaitRight_5+WaitRight_6+WaitRight_7+WaitRight_8+WaitRight_9+WaitRight_10+WaitRight_11+WaitRight_12+WaitRight_13+WaitRight_14+WaitRight_15+WaitRight_16+WaitRight_17+WaitRight_18+WaitRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-02 with value :HasRight_0+HasRight_1+HasRight_2+HasRight_3+HasRight_4+HasRight_5+HasRight_6+HasRight_7+HasRight_8+HasRight_9+HasRight_10+HasRight_11+HasRight_12+HasRight_13+HasRight_14+HasRight_15+HasRight_16+HasRight_17+HasRight_18+HasRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-03 with value :Neighbourhood_0+Neighbourhood_1+Neighbourhood_2+Neighbourhood_3+Neighbourhood_4+Neighbourhood_5+Neighbourhood_6+Neighbourhood_7+Neighbourhood_8+Neighbourhood_9+Neighbourhood_10+Neighbourhood_11+Neighbourhood_12+Neighbourhood_13+Neighbourhood_14+Neighbourhood_15+Neighbourhood_16+Neighbourhood_17+Neighbourhood_18+Neighbourhood_19+Neighbourhood_20+Neighbourhood_21+Neighbourhood_22+Neighbourhood_23+Neighbourhood_24+Neighbourhood_25+Neighbourhood_26+Neighbourhood_27+Neighbourhood_28+Neighbourhood_29+Neighbourhood_30+Neighbourhood_31+Neighbourhood_32+Neighbourhood_33+Neighbourhood_34+Neighbourhood_35+Neighbourhood_36+Neighbourhood_37+Neighbourhood_38+Neighbourhood_39+Neighbourhood_40+Neighbourhood_41+Neighbourhood_42+Neighbourhood_43+Neighbourhood_44+Neighbourhood_45+Neighbourhood_46+Neighbourhood_47+Neighbourhood_48+Neighbourhood_49+Neighbourhood_50+Neighbourhood_51+Neighbourhood_52+Neighbourhood_53+Neighbourhood_54+Neighbourhood_55+Neighbourhood_56+Neighbourhood_57+Neighbourhood_58+Neighbourhood_59+Neighbourhood_60+Neighbourhood_61+Neighbourhood_62+Neighbourhood_63+Neighbourhood_64+Neighbourhood_65+Neighbourhood_66+Neighbourhood_67+Neighbourhood_68+Neighbourhood_69+Neighbourhood_70+Neighbourhood_71+Neighbourhood_72+Neighbourhood_73+Neighbourhood_74+Neighbourhood_75+Neighbourhood_76+Neighbourhood_77+Neighbourhood_78+Neighbourhood_79+Neighbourhood_80+Neighbourhood_81+Neighbourhood_82+Neighbourhood_83+Neighbourhood_84+Neighbourhood_85+Neighbourhood_86+Neighbourhood_87+Neighbourhood_88+Neighbourhood_89+Neighbourhood_90+Neighbourhood_91+Neighbourhood_92+Neighbourhood_93+Neighbourhood_94+Neighbourhood_95+Neighbourhood_96+Neighbourhood_97+Neighbourhood_98+Neighbourhood_99+Neighbourhood_100+Neighbourhood_101+Neighbourhood_102+Neighbourhood_103+Neighbourhood_104+Neighbourhood_105+Neighbourhood_106+Neighbourhood_107+Neighbourhood_108+Neighbourhood_109+Neighbourhood_110+Neighbourhood_111+Neighbourhood_112+Neighbourhood_113+Neighbourhood_114+Neighbourhood_115+Neighbourhood_116+Neighbourhood_117+Neighbourhood_118+Neighbourhood_119+Neighbourhood_120+Neighbourhood_121+Neighbourhood_122+Neighbourhood_123+Neighbourhood_124+Neighbourhood_125+Neighbourhood_126+Neighbourhood_127+Neighbourhood_128+Neighbourhood_129+Neighbourhood_130+Neighbourhood_131+Neighbourhood_132+Neighbourhood_133+Neighbourhood_134+Neighbourhood_135+Neighbourhood_136+Neighbourhood_137+Neighbourhood_138+Neighbourhood_139+Neighbourhood_140+Neighbourhood_141+Neighbourhood_142+Neighbourhood_143+Neighbourhood_144+Neighbourhood_145+Neighbourhood_146+Neighbourhood_147+Neighbourhood_148+Neighbourhood_149+Neighbourhood_150+Neighbourhood_151+Neighbourhood_152+Neighbourhood_153+Neighbourhood_154+Neighbourhood_155+Neighbourhood_156+Neighbourhood_157+Neighbourhood_158+Neighbourhood_159+Neighbourhood_160+Neighbourhood_161+Neighbourhood_162+Neighbourhood_163+Neighbourhood_164+Neighbourhood_165+Neighbourhood_166+Neighbourhood_167+Neighbourhood_168+Neighbourhood_169+Neighbourhood_170+Neighbourhood_171+Neighbourhood_172+Neighbourhood_173+Neighbourhood_174+Neighbourhood_175+Neighbourhood_176+Neighbourhood_177+Neighbourhood_178+Neighbourhood_179+Neighbourhood_180+Neighbourhood_181+Neighbourhood_182+Neighbourhood_183+Neighbourhood_184+Neighbourhood_185+Neighbourhood_186+Neighbourhood_187+Neighbourhood_188+Neighbourhood_189+Neighbourhood_190+Neighbourhood_191+Neighbourhood_192+Neighbourhood_193+Neighbourhood_194+Neighbourhood_195+Neighbourhood_196+Neighbourhood_197+Neighbourhood_198+Neighbourhood_199+Neighbourhood_200+Neighbourhood_201+Neighbourhood_202+Neighbourhood_203+Neighbourhood_204+Neighbourhood_205+Neighbourhood_206+Neighbourhood_207+Neighbourhood_208+Neighbourhood_209+Neighbourhood_210+Neighbourhood_211+Neighbourhood_212+Neighbourhood_213+Neighbourhood_214+Neighbourhood_215+Neighbourhood_216+Neighbourhood_217+Neighbourhood_218+Neighbourhood_219+Neighbourhood_220+Neighbourhood_221+Neighbourhood_222+Neighbourhood_223+Neighbourhood_224+Neighbourhood_225+Neighbourhood_226+Neighbourhood_227+Neighbourhood_228+Neighbourhood_229+Neighbourhood_230+Neighbourhood_231+Neighbourhood_232+Neighbourhood_233+Neighbourhood_234+Neighbourhood_235+Neighbourhood_236+Neighbourhood_237+Neighbourhood_238+Neighbourhood_239+Neighbourhood_240+Neighbourhood_241+Neighbourhood_242+Neighbourhood_243+Neighbourhood_244+Neighbourhood_245+Neighbourhood_246+Neighbourhood_247+Neighbourhood_248+Neighbourhood_249+Neighbourhood_250+Neighbourhood_251+Neighbourhood_252+Neighbourhood_253+Neighbourhood_254+Neighbourhood_255+Neighbourhood_256+Neighbourhood_257+Neighbourhood_258+Neighbourhood_259+Neighbourhood_260+Neighbourhood_261+Neighbourhood_262+Neighbourhood_263+Neighbourhood_264+Neighbourhood_265+Neighbourhood_266+Neighbourhood_267+Neighbourhood_268+Neighbourhood_269+Neighbourhood_270+Neighbourhood_271+Neighbourhood_272+Neighbourhood_273+Neighbourhood_274+Neighbourhood_275+Neighbourhood_276+Neighbourhood_277+Neighbourhood_278+Neighbourhood_279+Neighbourhood_280+Neighbourhood_281+Neighbourhood_282+Neighbourhood_283+Neighbourhood_284+Neighbourhood_285+Neighbourhood_286+Neighbourhood_287+Neighbourhood_288+Neighbourhood_289+Neighbourhood_290+Neighbourhood_291+Neighbourhood_292+Neighbourhood_293+Neighbourhood_294+Neighbourhood_295+Neighbourhood_296+Neighbourhood_297+Neighbourhood_298+Neighbourhood_299+Neighbourhood_300+Neighbourhood_301+Neighbourhood_302+Neighbourhood_303+Neighbourhood_304+Neighbourhood_305+Neighbourhood_306+Neighbourhood_307+Neighbourhood_308+Neighbourhood_309+Neighbourhood_310+Neighbourhood_311+Neighbourhood_312+Neighbourhood_313+Neighbourhood_314+Neighbourhood_315+Neighbourhood_316+Neighbourhood_317+Neighbourhood_318+Neighbourhood_319+Neighbourhood_320+Neighbourhood_321+Neighbourhood_322+Neighbourhood_323+Neighbourhood_324+Neighbourhood_325+Neighbourhood_326+Neighbourhood_327+Neighbourhood_328+Neighbourhood_329+Neighbourhood_330+Neighbourhood_331+Neighbourhood_332+Neighbourhood_333+Neighbourhood_334+Neighbourhood_335+Neighbourhood_336+Neighbourhood_337+Neighbourhood_338+Neighbourhood_339+Neighbourhood_340+Neighbourhood_341+Neighbourhood_342+Neighbourhood_343+Neighbourhood_344+Neighbourhood_345+Neighbourhood_346+Neighbourhood_347+Neighbourhood_348+Neighbourhood_349+Neighbourhood_350+Neighbourhood_351+Neighbourhood_352+Neighbourhood_353+Neighbourhood_354+Neighbourhood_355+Neighbourhood_356+Neighbourhood_357+Neighbourhood_358+Neighbourhood_359+Neighbourhood_360+Neighbourhood_361+Neighbourhood_362+Neighbourhood_363+Neighbourhood_364+Neighbourhood_365+Neighbourhood_366+Neighbourhood_367+Neighbourhood_368+Neighbourhood_369+Neighbourhood_370+Neighbourhood_371+Neighbourhood_372+Neighbourhood_373+Neighbourhood_374+Neighbourhood_375+Neighbourhood_376+Neighbourhood_377+Neighbourhood_378+Neighbourhood_379+Neighbourhood_380+Neighbourhood_381+Neighbourhood_382+Neighbourhood_383+Neighbourhood_384+Neighbourhood_385+Neighbourhood_386+Neighbourhood_387+Neighbourhood_388+Neighbourhood_389+Neighbourhood_390+Neighbourhood_391+Neighbourhood_392+Neighbourhood_393+Neighbourhood_394+Neighbourhood_395+Neighbourhood_396+Neighbourhood_397+Neighbourhood_398+Neighbourhood_399
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-04 with value :WaitRight_0+WaitRight_1+WaitRight_2+WaitRight_3+WaitRight_4+WaitRight_5+WaitRight_6+WaitRight_7+WaitRight_8+WaitRight_9+WaitRight_10+WaitRight_11+WaitRight_12+WaitRight_13+WaitRight_14+WaitRight_15+WaitRight_16+WaitRight_17+WaitRight_18+WaitRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-05 with value :Forks_0+Forks_1+Forks_2+Forks_3+Forks_4+Forks_5+Forks_6+Forks_7+Forks_8+Forks_9+Forks_10+Forks_11+Forks_12+Forks_13+Forks_14+Forks_15+Forks_16+Forks_17+Forks_18+Forks_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-06 with value :Forks_0+Forks_1+Forks_2+Forks_3+Forks_4+Forks_5+Forks_6+Forks_7+Forks_8+Forks_9+Forks_10+Forks_11+Forks_12+Forks_13+Forks_14+Forks_15+Forks_16+Forks_17+Forks_18+Forks_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-07 with value :WaitRight_0+WaitRight_1+WaitRight_2+WaitRight_3+WaitRight_4+WaitRight_5+WaitRight_6+WaitRight_7+WaitRight_8+WaitRight_9+WaitRight_10+WaitRight_11+WaitRight_12+WaitRight_13+WaitRight_14+WaitRight_15+WaitRight_16+WaitRight_17+WaitRight_18+WaitRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-08 with value :WaitLeft_0+WaitLeft_1+WaitLeft_2+WaitLeft_3+WaitLeft_4+WaitLeft_5+WaitLeft_6+WaitLeft_7+WaitLeft_8+WaitLeft_9+WaitLeft_10+WaitLeft_11+WaitLeft_12+WaitLeft_13+WaitLeft_14+WaitLeft_15+WaitLeft_16+WaitLeft_17+WaitLeft_18+WaitLeft_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-09 with value :HasLeft_0+HasLeft_1+HasLeft_2+HasLeft_3+HasLeft_4+HasLeft_5+HasLeft_6+HasLeft_7+HasLeft_8+HasLeft_9+HasLeft_10+HasLeft_11+HasLeft_12+HasLeft_13+HasLeft_14+HasLeft_15+HasLeft_16+HasLeft_17+HasLeft_18+HasLeft_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-10 with value :WaitLeft_0+WaitLeft_1+WaitLeft_2+WaitLeft_3+WaitLeft_4+WaitLeft_5+WaitLeft_6+WaitLeft_7+WaitLeft_8+WaitLeft_9+WaitLeft_10+WaitLeft_11+WaitLeft_12+WaitLeft_13+WaitLeft_14+WaitLeft_15+WaitLeft_16+WaitLeft_17+WaitLeft_18+WaitLeft_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-11 with value :Think_0+Think_1+Think_2+Think_3+Think_4+Think_5+Think_6+Think_7+Think_8+Think_9+Think_10+Think_11+Think_12+Think_13+Think_14+Think_15+Think_16+Think_17+Think_18+Think_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-12 with value :WaitLeft_0+WaitLeft_1+WaitLeft_2+WaitLeft_3+WaitLeft_4+WaitLeft_5+WaitLeft_6+WaitLeft_7+WaitLeft_8+WaitLeft_9+WaitLeft_10+WaitLeft_11+WaitLeft_12+WaitLeft_13+WaitLeft_14+WaitLeft_15+WaitLeft_16+WaitLeft_17+WaitLeft_18+WaitLeft_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-13 with value :WaitRight_0+WaitRight_1+WaitRight_2+WaitRight_3+WaitRight_4+WaitRight_5+WaitRight_6+WaitRight_7+WaitRight_8+WaitRight_9+WaitRight_10+WaitRight_11+WaitRight_12+WaitRight_13+WaitRight_14+WaitRight_15+WaitRight_16+WaitRight_17+WaitRight_18+WaitRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-14 with value :HasLeft_0+HasLeft_1+HasLeft_2+HasLeft_3+HasLeft_4+HasLeft_5+HasLeft_6+HasLeft_7+HasLeft_8+HasLeft_9+HasLeft_10+HasLeft_11+HasLeft_12+HasLeft_13+HasLeft_14+HasLeft_15+HasLeft_16+HasLeft_17+HasLeft_18+HasLeft_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-15 with value :Neighbourhood_0+Neighbourhood_1+Neighbourhood_2+Neighbourhood_3+Neighbourhood_4+Neighbourhood_5+Neighbourhood_6+Neighbourhood_7+Neighbourhood_8+Neighbourhood_9+Neighbourhood_10+Neighbourhood_11+Neighbourhood_12+Neighbourhood_13+Neighbourhood_14+Neighbourhood_15+Neighbourhood_16+Neighbourhood_17+Neighbourhood_18+Neighbourhood_19+Neighbourhood_20+Neighbourhood_21+Neighbourhood_22+Neighbourhood_23+Neighbourhood_24+Neighbourhood_25+Neighbourhood_26+Neighbourhood_27+Neighbourhood_28+Neighbourhood_29+Neighbourhood_30+Neighbourhood_31+Neighbourhood_32+Neighbourhood_33+Neighbourhood_34+Neighbourhood_35+Neighbourhood_36+Neighbourhood_37+Neighbourhood_38+Neighbourhood_39+Neighbourhood_40+Neighbourhood_41+Neighbourhood_42+Neighbourhood_43+Neighbourhood_44+Neighbourhood_45+Neighbourhood_46+Neighbourhood_47+Neighbourhood_48+Neighbourhood_49+Neighbourhood_50+Neighbourhood_51+Neighbourhood_52+Neighbourhood_53+Neighbourhood_54+Neighbourhood_55+Neighbourhood_56+Neighbourhood_57+Neighbourhood_58+Neighbourhood_59+Neighbourhood_60+Neighbourhood_61+Neighbourhood_62+Neighbourhood_63+Neighbourhood_64+Neighbourhood_65+Neighbourhood_66+Neighbourhood_67+Neighbourhood_68+Neighbourhood_69+Neighbourhood_70+Neighbourhood_71+Neighbourhood_72+Neighbourhood_73+Neighbourhood_74+Neighbourhood_75+Neighbourhood_76+Neighbourhood_77+Neighbourhood_78+Neighbourhood_79+Neighbourhood_80+Neighbourhood_81+Neighbourhood_82+Neighbourhood_83+Neighbourhood_84+Neighbourhood_85+Neighbourhood_86+Neighbourhood_87+Neighbourhood_88+Neighbourhood_89+Neighbourhood_90+Neighbourhood_91+Neighbourhood_92+Neighbourhood_93+Neighbourhood_94+Neighbourhood_95+Neighbourhood_96+Neighbourhood_97+Neighbourhood_98+Neighbourhood_99+Neighbourhood_100+Neighbourhood_101+Neighbourhood_102+Neighbourhood_103+Neighbourhood_104+Neighbourhood_105+Neighbourhood_106+Neighbourhood_107+Neighbourhood_108+Neighbourhood_109+Neighbourhood_110+Neighbourhood_111+Neighbourhood_112+Neighbourhood_113+Neighbourhood_114+Neighbourhood_115+Neighbourhood_116+Neighbourhood_117+Neighbourhood_118+Neighbourhood_119+Neighbourhood_120+Neighbourhood_121+Neighbourhood_122+Neighbourhood_123+Neighbourhood_124+Neighbourhood_125+Neighbourhood_126+Neighbourhood_127+Neighbourhood_128+Neighbourhood_129+Neighbourhood_130+Neighbourhood_131+Neighbourhood_132+Neighbourhood_133+Neighbourhood_134+Neighbourhood_135+Neighbourhood_136+Neighbourhood_137+Neighbourhood_138+Neighbourhood_139+Neighbourhood_140+Neighbourhood_141+Neighbourhood_142+Neighbourhood_143+Neighbourhood_144+Neighbourhood_145+Neighbourhood_146+Neighbourhood_147+Neighbourhood_148+Neighbourhood_149+Neighbourhood_150+Neighbourhood_151+Neighbourhood_152+Neighbourhood_153+Neighbourhood_154+Neighbourhood_155+Neighbourhood_156+Neighbourhood_157+Neighbourhood_158+Neighbourhood_159+Neighbourhood_160+Neighbourhood_161+Neighbourhood_162+Neighbourhood_163+Neighbourhood_164+Neighbourhood_165+Neighbourhood_166+Neighbourhood_167+Neighbourhood_168+Neighbourhood_169+Neighbourhood_170+Neighbourhood_171+Neighbourhood_172+Neighbourhood_173+Neighbourhood_174+Neighbourhood_175+Neighbourhood_176+Neighbourhood_177+Neighbourhood_178+Neighbourhood_179+Neighbourhood_180+Neighbourhood_181+Neighbourhood_182+Neighbourhood_183+Neighbourhood_184+Neighbourhood_185+Neighbourhood_186+Neighbourhood_187+Neighbourhood_188+Neighbourhood_189+Neighbourhood_190+Neighbourhood_191+Neighbourhood_192+Neighbourhood_193+Neighbourhood_194+Neighbourhood_195+Neighbourhood_196+Neighbourhood_197+Neighbourhood_198+Neighbourhood_199+Neighbourhood_200+Neighbourhood_201+Neighbourhood_202+Neighbourhood_203+Neighbourhood_204+Neighbourhood_205+Neighbourhood_206+Neighbourhood_207+Neighbourhood_208+Neighbourhood_209+Neighbourhood_210+Neighbourhood_211+Neighbourhood_212+Neighbourhood_213+Neighbourhood_214+Neighbourhood_215+Neighbourhood_216+Neighbourhood_217+Neighbourhood_218+Neighbourhood_219+Neighbourhood_220+Neighbourhood_221+Neighbourhood_222+Neighbourhood_223+Neighbourhood_224+Neighbourhood_225+Neighbourhood_226+Neighbourhood_227+Neighbourhood_228+Neighbourhood_229+Neighbourhood_230+Neighbourhood_231+Neighbourhood_232+Neighbourhood_233+Neighbourhood_234+Neighbourhood_235+Neighbourhood_236+Neighbourhood_237+Neighbourhood_238+Neighbourhood_239+Neighbourhood_240+Neighbourhood_241+Neighbourhood_242+Neighbourhood_243+Neighbourhood_244+Neighbourhood_245+Neighbourhood_246+Neighbourhood_247+Neighbourhood_248+Neighbourhood_249+Neighbourhood_250+Neighbourhood_251+Neighbourhood_252+Neighbourhood_253+Neighbourhood_254+Neighbourhood_255+Neighbourhood_256+Neighbourhood_257+Neighbourhood_258+Neighbourhood_259+Neighbourhood_260+Neighbourhood_261+Neighbourhood_262+Neighbourhood_263+Neighbourhood_264+Neighbourhood_265+Neighbourhood_266+Neighbourhood_267+Neighbourhood_268+Neighbourhood_269+Neighbourhood_270+Neighbourhood_271+Neighbourhood_272+Neighbourhood_273+Neighbourhood_274+Neighbourhood_275+Neighbourhood_276+Neighbourhood_277+Neighbourhood_278+Neighbourhood_279+Neighbourhood_280+Neighbourhood_281+Neighbourhood_282+Neighbourhood_283+Neighbourhood_284+Neighbourhood_285+Neighbourhood_286+Neighbourhood_287+Neighbourhood_288+Neighbourhood_289+Neighbourhood_290+Neighbourhood_291+Neighbourhood_292+Neighbourhood_293+Neighbourhood_294+Neighbourhood_295+Neighbourhood_296+Neighbourhood_297+Neighbourhood_298+Neighbourhood_299+Neighbourhood_300+Neighbourhood_301+Neighbourhood_302+Neighbourhood_303+Neighbourhood_304+Neighbourhood_305+Neighbourhood_306+Neighbourhood_307+Neighbourhood_308+Neighbourhood_309+Neighbourhood_310+Neighbourhood_311+Neighbourhood_312+Neighbourhood_313+Neighbourhood_314+Neighbourhood_315+Neighbourhood_316+Neighbourhood_317+Neighbourhood_318+Neighbourhood_319+Neighbourhood_320+Neighbourhood_321+Neighbourhood_322+Neighbourhood_323+Neighbourhood_324+Neighbourhood_325+Neighbourhood_326+Neighbourhood_327+Neighbourhood_328+Neighbourhood_329+Neighbourhood_330+Neighbourhood_331+Neighbourhood_332+Neighbourhood_333+Neighbourhood_334+Neighbourhood_335+Neighbourhood_336+Neighbourhood_337+Neighbourhood_338+Neighbourhood_339+Neighbourhood_340+Neighbourhood_341+Neighbourhood_342+Neighbourhood_343+Neighbourhood_344+Neighbourhood_345+Neighbourhood_346+Neighbourhood_347+Neighbourhood_348+Neighbourhood_349+Neighbourhood_350+Neighbourhood_351+Neighbourhood_352+Neighbourhood_353+Neighbourhood_354+Neighbourhood_355+Neighbourhood_356+Neighbourhood_357+Neighbourhood_358+Neighbourhood_359+Neighbourhood_360+Neighbourhood_361+Neighbourhood_362+Neighbourhood_363+Neighbourhood_364+Neighbourhood_365+Neighbourhood_366+Neighbourhood_367+Neighbourhood_368+Neighbourhood_369+Neighbourhood_370+Neighbourhood_371+Neighbourhood_372+Neighbourhood_373+Neighbourhood_374+Neighbourhood_375+Neighbourhood_376+Neighbourhood_377+Neighbourhood_378+Neighbourhood_379+Neighbourhood_380+Neighbourhood_381+Neighbourhood_382+Neighbourhood_383+Neighbourhood_384+Neighbourhood_385+Neighbourhood_386+Neighbourhood_387+Neighbourhood_388+Neighbourhood_389+Neighbourhood_390+Neighbourhood_391+Neighbourhood_392+Neighbourhood_393+Neighbourhood_394+Neighbourhood_395+Neighbourhood_396+Neighbourhood_397+Neighbourhood_398+Neighbourhood_399
Detected timeout of ITS tools.
[2021-05-18 18:11:08] [INFO ] Applying decomposition
[2021-05-18 18:11:09] [INFO ] Flatten gal took : 1502 ms
[2021-05-18 18:11:09] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 178 ms
[2021-05-18 18:11:09] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 15 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 : PhilosophersDyn-COL-20-UpperBounds-00 with value :WaitRight_0+WaitRight_1+WaitRight_2+WaitRight_3+WaitRight_4+WaitRight_5+WaitRight_6+WaitRight_7+WaitRight_8+WaitRight_9+WaitRight_10+WaitRight_11+WaitRight_12+WaitRight_13+WaitRight_14+WaitRight_15+WaitRight_16+WaitRight_17+WaitRight_18+WaitRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-01 with value :WaitRight_0+WaitRight_1+WaitRight_2+WaitRight_3+WaitRight_4+WaitRight_5+WaitRight_6+WaitRight_7+WaitRight_8+WaitRight_9+WaitRight_10+WaitRight_11+WaitRight_12+WaitRight_13+WaitRight_14+WaitRight_15+WaitRight_16+WaitRight_17+WaitRight_18+WaitRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-02 with value :HasRight_0+HasRight_1+HasRight_2+HasRight_3+HasRight_4+HasRight_5+HasRight_6+HasRight_7+HasRight_8+HasRight_9+HasRight_10+HasRight_11+HasRight_12+HasRight_13+HasRight_14+HasRight_15+HasRight_16+HasRight_17+HasRight_18+HasRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-03 with value :Neighbourhood_0+Neighbourhood_1+Neighbourhood_2+Neighbourhood_3+Neighbourhood_4+Neighbourhood_5+Neighbourhood_6+Neighbourhood_7+Neighbourhood_8+Neighbourhood_9+Neighbourhood_10+Neighbourhood_11+Neighbourhood_12+Neighbourhood_13+Neighbourhood_14+Neighbourhood_15+Neighbourhood_16+Neighbourhood_17+Neighbourhood_18+Neighbourhood_19+Neighbourhood_20+Neighbourhood_21+Neighbourhood_22+Neighbourhood_23+Neighbourhood_24+Neighbourhood_25+Neighbourhood_26+Neighbourhood_27+Neighbourhood_28+Neighbourhood_29+Neighbourhood_30+Neighbourhood_31+Neighbourhood_32+Neighbourhood_33+Neighbourhood_34+Neighbourhood_35+Neighbourhood_36+Neighbourhood_37+Neighbourhood_38+Neighbourhood_39+Neighbourhood_40+Neighbourhood_41+Neighbourhood_42+Neighbourhood_43+Neighbourhood_44+Neighbourhood_45+Neighbourhood_46+Neighbourhood_47+Neighbourhood_48+Neighbourhood_49+Neighbourhood_50+Neighbourhood_51+Neighbourhood_52+Neighbourhood_53+Neighbourhood_54+Neighbourhood_55+Neighbourhood_56+Neighbourhood_57+Neighbourhood_58+Neighbourhood_59+Neighbourhood_60+Neighbourhood_61+Neighbourhood_62+Neighbourhood_63+Neighbourhood_64+Neighbourhood_65+Neighbourhood_66+Neighbourhood_67+Neighbourhood_68+Neighbourhood_69+Neighbourhood_70+Neighbourhood_71+Neighbourhood_72+Neighbourhood_73+Neighbourhood_74+Neighbourhood_75+Neighbourhood_76+Neighbourhood_77+Neighbourhood_78+Neighbourhood_79+Neighbourhood_80+Neighbourhood_81+Neighbourhood_82+Neighbourhood_83+Neighbourhood_84+Neighbourhood_85+Neighbourhood_86+Neighbourhood_87+Neighbourhood_88+Neighbourhood_89+Neighbourhood_90+Neighbourhood_91+Neighbourhood_92+Neighbourhood_93+Neighbourhood_94+Neighbourhood_95+Neighbourhood_96+Neighbourhood_97+Neighbourhood_98+Neighbourhood_99+Neighbourhood_100+Neighbourhood_101+Neighbourhood_102+Neighbourhood_103+Neighbourhood_104+Neighbourhood_105+Neighbourhood_106+Neighbourhood_107+Neighbourhood_108+Neighbourhood_109+Neighbourhood_110+Neighbourhood_111+Neighbourhood_112+Neighbourhood_113+Neighbourhood_114+Neighbourhood_115+Neighbourhood_116+Neighbourhood_117+Neighbourhood_118+Neighbourhood_119+Neighbourhood_120+Neighbourhood_121+Neighbourhood_122+Neighbourhood_123+Neighbourhood_124+Neighbourhood_125+Neighbourhood_126+Neighbourhood_127+Neighbourhood_128+Neighbourhood_129+Neighbourhood_130+Neighbourhood_131+Neighbourhood_132+Neighbourhood_133+Neighbourhood_134+Neighbourhood_135+Neighbourhood_136+Neighbourhood_137+Neighbourhood_138+Neighbourhood_139+Neighbourhood_140+Neighbourhood_141+Neighbourhood_142+Neighbourhood_143+Neighbourhood_144+Neighbourhood_145+Neighbourhood_146+Neighbourhood_147+Neighbourhood_148+Neighbourhood_149+Neighbourhood_150+Neighbourhood_151+Neighbourhood_152+Neighbourhood_153+Neighbourhood_154+Neighbourhood_155+Neighbourhood_156+Neighbourhood_157+Neighbourhood_158+Neighbourhood_159+Neighbourhood_160+Neighbourhood_161+Neighbourhood_162+Neighbourhood_163+Neighbourhood_164+Neighbourhood_165+Neighbourhood_166+Neighbourhood_167+Neighbourhood_168+Neighbourhood_169+Neighbourhood_170+Neighbourhood_171+Neighbourhood_172+Neighbourhood_173+Neighbourhood_174+Neighbourhood_175+Neighbourhood_176+Neighbourhood_177+Neighbourhood_178+Neighbourhood_179+Neighbourhood_180+Neighbourhood_181+Neighbourhood_182+Neighbourhood_183+Neighbourhood_184+Neighbourhood_185+Neighbourhood_186+Neighbourhood_187+Neighbourhood_188+Neighbourhood_189+Neighbourhood_190+Neighbourhood_191+Neighbourhood_192+Neighbourhood_193+Neighbourhood_194+Neighbourhood_195+Neighbourhood_196+Neighbourhood_197+Neighbourhood_198+Neighbourhood_199+Neighbourhood_200+Neighbourhood_201+Neighbourhood_202+Neighbourhood_203+Neighbourhood_204+Neighbourhood_205+Neighbourhood_206+Neighbourhood_207+Neighbourhood_208+Neighbourhood_209+Neighbourhood_210+Neighbourhood_211+Neighbourhood_212+Neighbourhood_213+Neighbourhood_214+Neighbourhood_215+Neighbourhood_216+Neighbourhood_217+Neighbourhood_218+Neighbourhood_219+Neighbourhood_220+Neighbourhood_221+Neighbourhood_222+Neighbourhood_223+Neighbourhood_224+Neighbourhood_225+Neighbourhood_226+Neighbourhood_227+Neighbourhood_228+Neighbourhood_229+Neighbourhood_230+Neighbourhood_231+Neighbourhood_232+Neighbourhood_233+Neighbourhood_234+Neighbourhood_235+Neighbourhood_236+Neighbourhood_237+Neighbourhood_238+Neighbourhood_239+Neighbourhood_240+Neighbourhood_241+Neighbourhood_242+Neighbourhood_243+Neighbourhood_244+Neighbourhood_245+Neighbourhood_246+Neighbourhood_247+Neighbourhood_248+Neighbourhood_249+Neighbourhood_250+Neighbourhood_251+Neighbourhood_252+Neighbourhood_253+Neighbourhood_254+Neighbourhood_255+Neighbourhood_256+Neighbourhood_257+Neighbourhood_258+Neighbourhood_259+Neighbourhood_260+Neighbourhood_261+Neighbourhood_262+Neighbourhood_263+Neighbourhood_264+Neighbourhood_265+Neighbourhood_266+Neighbourhood_267+Neighbourhood_268+Neighbourhood_269+Neighbourhood_270+Neighbourhood_271+Neighbourhood_272+Neighbourhood_273+Neighbourhood_274+Neighbourhood_275+Neighbourhood_276+Neighbourhood_277+Neighbourhood_278+Neighbourhood_279+Neighbourhood_280+Neighbourhood_281+Neighbourhood_282+Neighbourhood_283+Neighbourhood_284+Neighbourhood_285+Neighbourhood_286+Neighbourhood_287+Neighbourhood_288+Neighbourhood_289+Neighbourhood_290+Neighbourhood_291+Neighbourhood_292+Neighbourhood_293+Neighbourhood_294+Neighbourhood_295+Neighbourhood_296+Neighbourhood_297+Neighbourhood_298+Neighbourhood_299+Neighbourhood_300+Neighbourhood_301+Neighbourhood_302+Neighbourhood_303+Neighbourhood_304+Neighbourhood_305+Neighbourhood_306+Neighbourhood_307+Neighbourhood_308+Neighbourhood_309+Neighbourhood_310+Neighbourhood_311+Neighbourhood_312+Neighbourhood_313+Neighbourhood_314+Neighbourhood_315+Neighbourhood_316+Neighbourhood_317+Neighbourhood_318+Neighbourhood_319+Neighbourhood_320+Neighbourhood_321+Neighbourhood_322+Neighbourhood_323+Neighbourhood_324+Neighbourhood_325+Neighbourhood_326+Neighbourhood_327+Neighbourhood_328+Neighbourhood_329+Neighbourhood_330+Neighbourhood_331+Neighbourhood_332+Neighbourhood_333+Neighbourhood_334+Neighbourhood_335+Neighbourhood_336+Neighbourhood_337+Neighbourhood_338+Neighbourhood_339+Neighbourhood_340+Neighbourhood_341+Neighbourhood_342+Neighbourhood_343+Neighbourhood_344+Neighbourhood_345+Neighbourhood_346+Neighbourhood_347+Neighbourhood_348+Neighbourhood_349+Neighbourhood_350+Neighbourhood_351+Neighbourhood_352+Neighbourhood_353+Neighbourhood_354+Neighbourhood_355+Neighbourhood_356+Neighbourhood_357+Neighbourhood_358+Neighbourhood_359+Neighbourhood_360+Neighbourhood_361+Neighbourhood_362+Neighbourhood_363+Neighbourhood_364+Neighbourhood_365+Neighbourhood_366+Neighbourhood_367+Neighbourhood_368+Neighbourhood_369+Neighbourhood_370+Neighbourhood_371+Neighbourhood_372+Neighbourhood_373+Neighbourhood_374+Neighbourhood_375+Neighbourhood_376+Neighbourhood_377+Neighbourhood_378+Neighbourhood_379+Neighbourhood_380+Neighbourhood_381+Neighbourhood_382+Neighbourhood_383+Neighbourhood_384+Neighbourhood_385+Neighbourhood_386+Neighbourhood_387+Neighbourhood_388+Neighbourhood_389+Neighbourhood_390+Neighbourhood_391+Neighbourhood_392+Neighbourhood_393+Neighbourhood_394+Neighbourhood_395+Neighbourhood_396+Neighbourhood_397+Neighbourhood_398+Neighbourhood_399
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-04 with value :WaitRight_0+WaitRight_1+WaitRight_2+WaitRight_3+WaitRight_4+WaitRight_5+WaitRight_6+WaitRight_7+WaitRight_8+WaitRight_9+WaitRight_10+WaitRight_11+WaitRight_12+WaitRight_13+WaitRight_14+WaitRight_15+WaitRight_16+WaitRight_17+WaitRight_18+WaitRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-05 with value :Forks_0+Forks_1+Forks_2+Forks_3+Forks_4+Forks_5+Forks_6+Forks_7+Forks_8+Forks_9+Forks_10+Forks_11+Forks_12+Forks_13+Forks_14+Forks_15+Forks_16+Forks_17+Forks_18+Forks_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-06 with value :Forks_0+Forks_1+Forks_2+Forks_3+Forks_4+Forks_5+Forks_6+Forks_7+Forks_8+Forks_9+Forks_10+Forks_11+Forks_12+Forks_13+Forks_14+Forks_15+Forks_16+Forks_17+Forks_18+Forks_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-07 with value :WaitRight_0+WaitRight_1+WaitRight_2+WaitRight_3+WaitRight_4+WaitRight_5+WaitRight_6+WaitRight_7+WaitRight_8+WaitRight_9+WaitRight_10+WaitRight_11+WaitRight_12+WaitRight_13+WaitRight_14+WaitRight_15+WaitRight_16+WaitRight_17+WaitRight_18+WaitRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-08 with value :WaitLeft_0+WaitLeft_1+WaitLeft_2+WaitLeft_3+WaitLeft_4+WaitLeft_5+WaitLeft_6+WaitLeft_7+WaitLeft_8+WaitLeft_9+WaitLeft_10+WaitLeft_11+WaitLeft_12+WaitLeft_13+WaitLeft_14+WaitLeft_15+WaitLeft_16+WaitLeft_17+WaitLeft_18+WaitLeft_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-09 with value :HasLeft_0+HasLeft_1+HasLeft_2+HasLeft_3+HasLeft_4+HasLeft_5+HasLeft_6+HasLeft_7+HasLeft_8+HasLeft_9+HasLeft_10+HasLeft_11+HasLeft_12+HasLeft_13+HasLeft_14+HasLeft_15+HasLeft_16+HasLeft_17+HasLeft_18+HasLeft_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-10 with value :WaitLeft_0+WaitLeft_1+WaitLeft_2+WaitLeft_3+WaitLeft_4+WaitLeft_5+WaitLeft_6+WaitLeft_7+WaitLeft_8+WaitLeft_9+WaitLeft_10+WaitLeft_11+WaitLeft_12+WaitLeft_13+WaitLeft_14+WaitLeft_15+WaitLeft_16+WaitLeft_17+WaitLeft_18+WaitLeft_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-11 with value :Think_0+Think_1+Think_2+Think_3+Think_4+Think_5+Think_6+Think_7+Think_8+Think_9+Think_10+Think_11+Think_12+Think_13+Think_14+Think_15+Think_16+Think_17+Think_18+Think_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-12 with value :WaitLeft_0+WaitLeft_1+WaitLeft_2+WaitLeft_3+WaitLeft_4+WaitLeft_5+WaitLeft_6+WaitLeft_7+WaitLeft_8+WaitLeft_9+WaitLeft_10+WaitLeft_11+WaitLeft_12+WaitLeft_13+WaitLeft_14+WaitLeft_15+WaitLeft_16+WaitLeft_17+WaitLeft_18+WaitLeft_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-13 with value :WaitRight_0+WaitRight_1+WaitRight_2+WaitRight_3+WaitRight_4+WaitRight_5+WaitRight_6+WaitRight_7+WaitRight_8+WaitRight_9+WaitRight_10+WaitRight_11+WaitRight_12+WaitRight_13+WaitRight_14+WaitRight_15+WaitRight_16+WaitRight_17+WaitRight_18+WaitRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-14 with value :HasLeft_0+HasLeft_1+HasLeft_2+HasLeft_3+HasLeft_4+HasLeft_5+HasLeft_6+HasLeft_7+HasLeft_8+HasLeft_9+HasLeft_10+HasLeft_11+HasLeft_12+HasLeft_13+HasLeft_14+HasLeft_15+HasLeft_16+HasLeft_17+HasLeft_18+HasLeft_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-15 with value :Neighbourhood_0+Neighbourhood_1+Neighbourhood_2+Neighbourhood_3+Neighbourhood_4+Neighbourhood_5+Neighbourhood_6+Neighbourhood_7+Neighbourhood_8+Neighbourhood_9+Neighbourhood_10+Neighbourhood_11+Neighbourhood_12+Neighbourhood_13+Neighbourhood_14+Neighbourhood_15+Neighbourhood_16+Neighbourhood_17+Neighbourhood_18+Neighbourhood_19+Neighbourhood_20+Neighbourhood_21+Neighbourhood_22+Neighbourhood_23+Neighbourhood_24+Neighbourhood_25+Neighbourhood_26+Neighbourhood_27+Neighbourhood_28+Neighbourhood_29+Neighbourhood_30+Neighbourhood_31+Neighbourhood_32+Neighbourhood_33+Neighbourhood_34+Neighbourhood_35+Neighbourhood_36+Neighbourhood_37+Neighbourhood_38+Neighbourhood_39+Neighbourhood_40+Neighbourhood_41+Neighbourhood_42+Neighbourhood_43+Neighbourhood_44+Neighbourhood_45+Neighbourhood_46+Neighbourhood_47+Neighbourhood_48+Neighbourhood_49+Neighbourhood_50+Neighbourhood_51+Neighbourhood_52+Neighbourhood_53+Neighbourhood_54+Neighbourhood_55+Neighbourhood_56+Neighbourhood_57+Neighbourhood_58+Neighbourhood_59+Neighbourhood_60+Neighbourhood_61+Neighbourhood_62+Neighbourhood_63+Neighbourhood_64+Neighbourhood_65+Neighbourhood_66+Neighbourhood_67+Neighbourhood_68+Neighbourhood_69+Neighbourhood_70+Neighbourhood_71+Neighbourhood_72+Neighbourhood_73+Neighbourhood_74+Neighbourhood_75+Neighbourhood_76+Neighbourhood_77+Neighbourhood_78+Neighbourhood_79+Neighbourhood_80+Neighbourhood_81+Neighbourhood_82+Neighbourhood_83+Neighbourhood_84+Neighbourhood_85+Neighbourhood_86+Neighbourhood_87+Neighbourhood_88+Neighbourhood_89+Neighbourhood_90+Neighbourhood_91+Neighbourhood_92+Neighbourhood_93+Neighbourhood_94+Neighbourhood_95+Neighbourhood_96+Neighbourhood_97+Neighbourhood_98+Neighbourhood_99+Neighbourhood_100+Neighbourhood_101+Neighbourhood_102+Neighbourhood_103+Neighbourhood_104+Neighbourhood_105+Neighbourhood_106+Neighbourhood_107+Neighbourhood_108+Neighbourhood_109+Neighbourhood_110+Neighbourhood_111+Neighbourhood_112+Neighbourhood_113+Neighbourhood_114+Neighbourhood_115+Neighbourhood_116+Neighbourhood_117+Neighbourhood_118+Neighbourhood_119+Neighbourhood_120+Neighbourhood_121+Neighbourhood_122+Neighbourhood_123+Neighbourhood_124+Neighbourhood_125+Neighbourhood_126+Neighbourhood_127+Neighbourhood_128+Neighbourhood_129+Neighbourhood_130+Neighbourhood_131+Neighbourhood_132+Neighbourhood_133+Neighbourhood_134+Neighbourhood_135+Neighbourhood_136+Neighbourhood_137+Neighbourhood_138+Neighbourhood_139+Neighbourhood_140+Neighbourhood_141+Neighbourhood_142+Neighbourhood_143+Neighbourhood_144+Neighbourhood_145+Neighbourhood_146+Neighbourhood_147+Neighbourhood_148+Neighbourhood_149+Neighbourhood_150+Neighbourhood_151+Neighbourhood_152+Neighbourhood_153+Neighbourhood_154+Neighbourhood_155+Neighbourhood_156+Neighbourhood_157+Neighbourhood_158+Neighbourhood_159+Neighbourhood_160+Neighbourhood_161+Neighbourhood_162+Neighbourhood_163+Neighbourhood_164+Neighbourhood_165+Neighbourhood_166+Neighbourhood_167+Neighbourhood_168+Neighbourhood_169+Neighbourhood_170+Neighbourhood_171+Neighbourhood_172+Neighbourhood_173+Neighbourhood_174+Neighbourhood_175+Neighbourhood_176+Neighbourhood_177+Neighbourhood_178+Neighbourhood_179+Neighbourhood_180+Neighbourhood_181+Neighbourhood_182+Neighbourhood_183+Neighbourhood_184+Neighbourhood_185+Neighbourhood_186+Neighbourhood_187+Neighbourhood_188+Neighbourhood_189+Neighbourhood_190+Neighbourhood_191+Neighbourhood_192+Neighbourhood_193+Neighbourhood_194+Neighbourhood_195+Neighbourhood_196+Neighbourhood_197+Neighbourhood_198+Neighbourhood_199+Neighbourhood_200+Neighbourhood_201+Neighbourhood_202+Neighbourhood_203+Neighbourhood_204+Neighbourhood_205+Neighbourhood_206+Neighbourhood_207+Neighbourhood_208+Neighbourhood_209+Neighbourhood_210+Neighbourhood_211+Neighbourhood_212+Neighbourhood_213+Neighbourhood_214+Neighbourhood_215+Neighbourhood_216+Neighbourhood_217+Neighbourhood_218+Neighbourhood_219+Neighbourhood_220+Neighbourhood_221+Neighbourhood_222+Neighbourhood_223+Neighbourhood_224+Neighbourhood_225+Neighbourhood_226+Neighbourhood_227+Neighbourhood_228+Neighbourhood_229+Neighbourhood_230+Neighbourhood_231+Neighbourhood_232+Neighbourhood_233+Neighbourhood_234+Neighbourhood_235+Neighbourhood_236+Neighbourhood_237+Neighbourhood_238+Neighbourhood_239+Neighbourhood_240+Neighbourhood_241+Neighbourhood_242+Neighbourhood_243+Neighbourhood_244+Neighbourhood_245+Neighbourhood_246+Neighbourhood_247+Neighbourhood_248+Neighbourhood_249+Neighbourhood_250+Neighbourhood_251+Neighbourhood_252+Neighbourhood_253+Neighbourhood_254+Neighbourhood_255+Neighbourhood_256+Neighbourhood_257+Neighbourhood_258+Neighbourhood_259+Neighbourhood_260+Neighbourhood_261+Neighbourhood_262+Neighbourhood_263+Neighbourhood_264+Neighbourhood_265+Neighbourhood_266+Neighbourhood_267+Neighbourhood_268+Neighbourhood_269+Neighbourhood_270+Neighbourhood_271+Neighbourhood_272+Neighbourhood_273+Neighbourhood_274+Neighbourhood_275+Neighbourhood_276+Neighbourhood_277+Neighbourhood_278+Neighbourhood_279+Neighbourhood_280+Neighbourhood_281+Neighbourhood_282+Neighbourhood_283+Neighbourhood_284+Neighbourhood_285+Neighbourhood_286+Neighbourhood_287+Neighbourhood_288+Neighbourhood_289+Neighbourhood_290+Neighbourhood_291+Neighbourhood_292+Neighbourhood_293+Neighbourhood_294+Neighbourhood_295+Neighbourhood_296+Neighbourhood_297+Neighbourhood_298+Neighbourhood_299+Neighbourhood_300+Neighbourhood_301+Neighbourhood_302+Neighbourhood_303+Neighbourhood_304+Neighbourhood_305+Neighbourhood_306+Neighbourhood_307+Neighbourhood_308+Neighbourhood_309+Neighbourhood_310+Neighbourhood_311+Neighbourhood_312+Neighbourhood_313+Neighbourhood_314+Neighbourhood_315+Neighbourhood_316+Neighbourhood_317+Neighbourhood_318+Neighbourhood_319+Neighbourhood_320+Neighbourhood_321+Neighbourhood_322+Neighbourhood_323+Neighbourhood_324+Neighbourhood_325+Neighbourhood_326+Neighbourhood_327+Neighbourhood_328+Neighbourhood_329+Neighbourhood_330+Neighbourhood_331+Neighbourhood_332+Neighbourhood_333+Neighbourhood_334+Neighbourhood_335+Neighbourhood_336+Neighbourhood_337+Neighbourhood_338+Neighbourhood_339+Neighbourhood_340+Neighbourhood_341+Neighbourhood_342+Neighbourhood_343+Neighbourhood_344+Neighbourhood_345+Neighbourhood_346+Neighbourhood_347+Neighbourhood_348+Neighbourhood_349+Neighbourhood_350+Neighbourhood_351+Neighbourhood_352+Neighbourhood_353+Neighbourhood_354+Neighbourhood_355+Neighbourhood_356+Neighbourhood_357+Neighbourhood_358+Neighbourhood_359+Neighbourhood_360+Neighbourhood_361+Neighbourhood_362+Neighbourhood_363+Neighbourhood_364+Neighbourhood_365+Neighbourhood_366+Neighbourhood_367+Neighbourhood_368+Neighbourhood_369+Neighbourhood_370+Neighbourhood_371+Neighbourhood_372+Neighbourhood_373+Neighbourhood_374+Neighbourhood_375+Neighbourhood_376+Neighbourhood_377+Neighbourhood_378+Neighbourhood_379+Neighbourhood_380+Neighbourhood_381+Neighbourhood_382+Neighbourhood_383+Neighbourhood_384+Neighbourhood_385+Neighbourhood_386+Neighbourhood_387+Neighbourhood_388+Neighbourhood_389+Neighbourhood_390+Neighbourhood_391+Neighbourhood_392+Neighbourhood_393+Neighbourhood_394+Neighbourhood_395+Neighbourhood_396+Neighbourhood_397+Neighbourhood_398+Neighbourhood_399
Detected timeout of ITS tools.
[2021-05-18 18:31:15] [INFO ] Flatten gal took : 1064 ms
[2021-05-18 18:31:19] [INFO ] Input system was already deterministic with 17030 transitions.
[2021-05-18 18:31:19] [INFO ] Transformed 540 places.
[2021-05-18 18:31:19] [INFO ] Transformed 17030 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
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-18 18:31:20] [INFO ] Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 57 ms
[2021-05-18 18:31:20] [INFO ] Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 1 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 : PhilosophersDyn-COL-20-UpperBounds-00 with value :WaitRight_0+WaitRight_1+WaitRight_2+WaitRight_3+WaitRight_4+WaitRight_5+WaitRight_6+WaitRight_7+WaitRight_8+WaitRight_9+WaitRight_10+WaitRight_11+WaitRight_12+WaitRight_13+WaitRight_14+WaitRight_15+WaitRight_16+WaitRight_17+WaitRight_18+WaitRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-01 with value :WaitRight_0+WaitRight_1+WaitRight_2+WaitRight_3+WaitRight_4+WaitRight_5+WaitRight_6+WaitRight_7+WaitRight_8+WaitRight_9+WaitRight_10+WaitRight_11+WaitRight_12+WaitRight_13+WaitRight_14+WaitRight_15+WaitRight_16+WaitRight_17+WaitRight_18+WaitRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-02 with value :HasRight_0+HasRight_1+HasRight_2+HasRight_3+HasRight_4+HasRight_5+HasRight_6+HasRight_7+HasRight_8+HasRight_9+HasRight_10+HasRight_11+HasRight_12+HasRight_13+HasRight_14+HasRight_15+HasRight_16+HasRight_17+HasRight_18+HasRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-03 with value :Neighbourhood_0+Neighbourhood_1+Neighbourhood_2+Neighbourhood_3+Neighbourhood_4+Neighbourhood_5+Neighbourhood_6+Neighbourhood_7+Neighbourhood_8+Neighbourhood_9+Neighbourhood_10+Neighbourhood_11+Neighbourhood_12+Neighbourhood_13+Neighbourhood_14+Neighbourhood_15+Neighbourhood_16+Neighbourhood_17+Neighbourhood_18+Neighbourhood_19+Neighbourhood_20+Neighbourhood_21+Neighbourhood_22+Neighbourhood_23+Neighbourhood_24+Neighbourhood_25+Neighbourhood_26+Neighbourhood_27+Neighbourhood_28+Neighbourhood_29+Neighbourhood_30+Neighbourhood_31+Neighbourhood_32+Neighbourhood_33+Neighbourhood_34+Neighbourhood_35+Neighbourhood_36+Neighbourhood_37+Neighbourhood_38+Neighbourhood_39+Neighbourhood_40+Neighbourhood_41+Neighbourhood_42+Neighbourhood_43+Neighbourhood_44+Neighbourhood_45+Neighbourhood_46+Neighbourhood_47+Neighbourhood_48+Neighbourhood_49+Neighbourhood_50+Neighbourhood_51+Neighbourhood_52+Neighbourhood_53+Neighbourhood_54+Neighbourhood_55+Neighbourhood_56+Neighbourhood_57+Neighbourhood_58+Neighbourhood_59+Neighbourhood_60+Neighbourhood_61+Neighbourhood_62+Neighbourhood_63+Neighbourhood_64+Neighbourhood_65+Neighbourhood_66+Neighbourhood_67+Neighbourhood_68+Neighbourhood_69+Neighbourhood_70+Neighbourhood_71+Neighbourhood_72+Neighbourhood_73+Neighbourhood_74+Neighbourhood_75+Neighbourhood_76+Neighbourhood_77+Neighbourhood_78+Neighbourhood_79+Neighbourhood_80+Neighbourhood_81+Neighbourhood_82+Neighbourhood_83+Neighbourhood_84+Neighbourhood_85+Neighbourhood_86+Neighbourhood_87+Neighbourhood_88+Neighbourhood_89+Neighbourhood_90+Neighbourhood_91+Neighbourhood_92+Neighbourhood_93+Neighbourhood_94+Neighbourhood_95+Neighbourhood_96+Neighbourhood_97+Neighbourhood_98+Neighbourhood_99+Neighbourhood_100+Neighbourhood_101+Neighbourhood_102+Neighbourhood_103+Neighbourhood_104+Neighbourhood_105+Neighbourhood_106+Neighbourhood_107+Neighbourhood_108+Neighbourhood_109+Neighbourhood_110+Neighbourhood_111+Neighbourhood_112+Neighbourhood_113+Neighbourhood_114+Neighbourhood_115+Neighbourhood_116+Neighbourhood_117+Neighbourhood_118+Neighbourhood_119+Neighbourhood_120+Neighbourhood_121+Neighbourhood_122+Neighbourhood_123+Neighbourhood_124+Neighbourhood_125+Neighbourhood_126+Neighbourhood_127+Neighbourhood_128+Neighbourhood_129+Neighbourhood_130+Neighbourhood_131+Neighbourhood_132+Neighbourhood_133+Neighbourhood_134+Neighbourhood_135+Neighbourhood_136+Neighbourhood_137+Neighbourhood_138+Neighbourhood_139+Neighbourhood_140+Neighbourhood_141+Neighbourhood_142+Neighbourhood_143+Neighbourhood_144+Neighbourhood_145+Neighbourhood_146+Neighbourhood_147+Neighbourhood_148+Neighbourhood_149+Neighbourhood_150+Neighbourhood_151+Neighbourhood_152+Neighbourhood_153+Neighbourhood_154+Neighbourhood_155+Neighbourhood_156+Neighbourhood_157+Neighbourhood_158+Neighbourhood_159+Neighbourhood_160+Neighbourhood_161+Neighbourhood_162+Neighbourhood_163+Neighbourhood_164+Neighbourhood_165+Neighbourhood_166+Neighbourhood_167+Neighbourhood_168+Neighbourhood_169+Neighbourhood_170+Neighbourhood_171+Neighbourhood_172+Neighbourhood_173+Neighbourhood_174+Neighbourhood_175+Neighbourhood_176+Neighbourhood_177+Neighbourhood_178+Neighbourhood_179+Neighbourhood_180+Neighbourhood_181+Neighbourhood_182+Neighbourhood_183+Neighbourhood_184+Neighbourhood_185+Neighbourhood_186+Neighbourhood_187+Neighbourhood_188+Neighbourhood_189+Neighbourhood_190+Neighbourhood_191+Neighbourhood_192+Neighbourhood_193+Neighbourhood_194+Neighbourhood_195+Neighbourhood_196+Neighbourhood_197+Neighbourhood_198+Neighbourhood_199+Neighbourhood_200+Neighbourhood_201+Neighbourhood_202+Neighbourhood_203+Neighbourhood_204+Neighbourhood_205+Neighbourhood_206+Neighbourhood_207+Neighbourhood_208+Neighbourhood_209+Neighbourhood_210+Neighbourhood_211+Neighbourhood_212+Neighbourhood_213+Neighbourhood_214+Neighbourhood_215+Neighbourhood_216+Neighbourhood_217+Neighbourhood_218+Neighbourhood_219+Neighbourhood_220+Neighbourhood_221+Neighbourhood_222+Neighbourhood_223+Neighbourhood_224+Neighbourhood_225+Neighbourhood_226+Neighbourhood_227+Neighbourhood_228+Neighbourhood_229+Neighbourhood_230+Neighbourhood_231+Neighbourhood_232+Neighbourhood_233+Neighbourhood_234+Neighbourhood_235+Neighbourhood_236+Neighbourhood_237+Neighbourhood_238+Neighbourhood_239+Neighbourhood_240+Neighbourhood_241+Neighbourhood_242+Neighbourhood_243+Neighbourhood_244+Neighbourhood_245+Neighbourhood_246+Neighbourhood_247+Neighbourhood_248+Neighbourhood_249+Neighbourhood_250+Neighbourhood_251+Neighbourhood_252+Neighbourhood_253+Neighbourhood_254+Neighbourhood_255+Neighbourhood_256+Neighbourhood_257+Neighbourhood_258+Neighbourhood_259+Neighbourhood_260+Neighbourhood_261+Neighbourhood_262+Neighbourhood_263+Neighbourhood_264+Neighbourhood_265+Neighbourhood_266+Neighbourhood_267+Neighbourhood_268+Neighbourhood_269+Neighbourhood_270+Neighbourhood_271+Neighbourhood_272+Neighbourhood_273+Neighbourhood_274+Neighbourhood_275+Neighbourhood_276+Neighbourhood_277+Neighbourhood_278+Neighbourhood_279+Neighbourhood_280+Neighbourhood_281+Neighbourhood_282+Neighbourhood_283+Neighbourhood_284+Neighbourhood_285+Neighbourhood_286+Neighbourhood_287+Neighbourhood_288+Neighbourhood_289+Neighbourhood_290+Neighbourhood_291+Neighbourhood_292+Neighbourhood_293+Neighbourhood_294+Neighbourhood_295+Neighbourhood_296+Neighbourhood_297+Neighbourhood_298+Neighbourhood_299+Neighbourhood_300+Neighbourhood_301+Neighbourhood_302+Neighbourhood_303+Neighbourhood_304+Neighbourhood_305+Neighbourhood_306+Neighbourhood_307+Neighbourhood_308+Neighbourhood_309+Neighbourhood_310+Neighbourhood_311+Neighbourhood_312+Neighbourhood_313+Neighbourhood_314+Neighbourhood_315+Neighbourhood_316+Neighbourhood_317+Neighbourhood_318+Neighbourhood_319+Neighbourhood_320+Neighbourhood_321+Neighbourhood_322+Neighbourhood_323+Neighbourhood_324+Neighbourhood_325+Neighbourhood_326+Neighbourhood_327+Neighbourhood_328+Neighbourhood_329+Neighbourhood_330+Neighbourhood_331+Neighbourhood_332+Neighbourhood_333+Neighbourhood_334+Neighbourhood_335+Neighbourhood_336+Neighbourhood_337+Neighbourhood_338+Neighbourhood_339+Neighbourhood_340+Neighbourhood_341+Neighbourhood_342+Neighbourhood_343+Neighbourhood_344+Neighbourhood_345+Neighbourhood_346+Neighbourhood_347+Neighbourhood_348+Neighbourhood_349+Neighbourhood_350+Neighbourhood_351+Neighbourhood_352+Neighbourhood_353+Neighbourhood_354+Neighbourhood_355+Neighbourhood_356+Neighbourhood_357+Neighbourhood_358+Neighbourhood_359+Neighbourhood_360+Neighbourhood_361+Neighbourhood_362+Neighbourhood_363+Neighbourhood_364+Neighbourhood_365+Neighbourhood_366+Neighbourhood_367+Neighbourhood_368+Neighbourhood_369+Neighbourhood_370+Neighbourhood_371+Neighbourhood_372+Neighbourhood_373+Neighbourhood_374+Neighbourhood_375+Neighbourhood_376+Neighbourhood_377+Neighbourhood_378+Neighbourhood_379+Neighbourhood_380+Neighbourhood_381+Neighbourhood_382+Neighbourhood_383+Neighbourhood_384+Neighbourhood_385+Neighbourhood_386+Neighbourhood_387+Neighbourhood_388+Neighbourhood_389+Neighbourhood_390+Neighbourhood_391+Neighbourhood_392+Neighbourhood_393+Neighbourhood_394+Neighbourhood_395+Neighbourhood_396+Neighbourhood_397+Neighbourhood_398+Neighbourhood_399
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-04 with value :WaitRight_0+WaitRight_1+WaitRight_2+WaitRight_3+WaitRight_4+WaitRight_5+WaitRight_6+WaitRight_7+WaitRight_8+WaitRight_9+WaitRight_10+WaitRight_11+WaitRight_12+WaitRight_13+WaitRight_14+WaitRight_15+WaitRight_16+WaitRight_17+WaitRight_18+WaitRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-05 with value :Forks_0+Forks_1+Forks_2+Forks_3+Forks_4+Forks_5+Forks_6+Forks_7+Forks_8+Forks_9+Forks_10+Forks_11+Forks_12+Forks_13+Forks_14+Forks_15+Forks_16+Forks_17+Forks_18+Forks_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-06 with value :Forks_0+Forks_1+Forks_2+Forks_3+Forks_4+Forks_5+Forks_6+Forks_7+Forks_8+Forks_9+Forks_10+Forks_11+Forks_12+Forks_13+Forks_14+Forks_15+Forks_16+Forks_17+Forks_18+Forks_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-07 with value :WaitRight_0+WaitRight_1+WaitRight_2+WaitRight_3+WaitRight_4+WaitRight_5+WaitRight_6+WaitRight_7+WaitRight_8+WaitRight_9+WaitRight_10+WaitRight_11+WaitRight_12+WaitRight_13+WaitRight_14+WaitRight_15+WaitRight_16+WaitRight_17+WaitRight_18+WaitRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-08 with value :WaitLeft_0+WaitLeft_1+WaitLeft_2+WaitLeft_3+WaitLeft_4+WaitLeft_5+WaitLeft_6+WaitLeft_7+WaitLeft_8+WaitLeft_9+WaitLeft_10+WaitLeft_11+WaitLeft_12+WaitLeft_13+WaitLeft_14+WaitLeft_15+WaitLeft_16+WaitLeft_17+WaitLeft_18+WaitLeft_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-09 with value :HasLeft_0+HasLeft_1+HasLeft_2+HasLeft_3+HasLeft_4+HasLeft_5+HasLeft_6+HasLeft_7+HasLeft_8+HasLeft_9+HasLeft_10+HasLeft_11+HasLeft_12+HasLeft_13+HasLeft_14+HasLeft_15+HasLeft_16+HasLeft_17+HasLeft_18+HasLeft_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-10 with value :WaitLeft_0+WaitLeft_1+WaitLeft_2+WaitLeft_3+WaitLeft_4+WaitLeft_5+WaitLeft_6+WaitLeft_7+WaitLeft_8+WaitLeft_9+WaitLeft_10+WaitLeft_11+WaitLeft_12+WaitLeft_13+WaitLeft_14+WaitLeft_15+WaitLeft_16+WaitLeft_17+WaitLeft_18+WaitLeft_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-11 with value :Think_0+Think_1+Think_2+Think_3+Think_4+Think_5+Think_6+Think_7+Think_8+Think_9+Think_10+Think_11+Think_12+Think_13+Think_14+Think_15+Think_16+Think_17+Think_18+Think_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-12 with value :WaitLeft_0+WaitLeft_1+WaitLeft_2+WaitLeft_3+WaitLeft_4+WaitLeft_5+WaitLeft_6+WaitLeft_7+WaitLeft_8+WaitLeft_9+WaitLeft_10+WaitLeft_11+WaitLeft_12+WaitLeft_13+WaitLeft_14+WaitLeft_15+WaitLeft_16+WaitLeft_17+WaitLeft_18+WaitLeft_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-13 with value :WaitRight_0+WaitRight_1+WaitRight_2+WaitRight_3+WaitRight_4+WaitRight_5+WaitRight_6+WaitRight_7+WaitRight_8+WaitRight_9+WaitRight_10+WaitRight_11+WaitRight_12+WaitRight_13+WaitRight_14+WaitRight_15+WaitRight_16+WaitRight_17+WaitRight_18+WaitRight_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-14 with value :HasLeft_0+HasLeft_1+HasLeft_2+HasLeft_3+HasLeft_4+HasLeft_5+HasLeft_6+HasLeft_7+HasLeft_8+HasLeft_9+HasLeft_10+HasLeft_11+HasLeft_12+HasLeft_13+HasLeft_14+HasLeft_15+HasLeft_16+HasLeft_17+HasLeft_18+HasLeft_19
Read [bounds] property : PhilosophersDyn-COL-20-UpperBounds-15 with value :Neighbourhood_0+Neighbourhood_1+Neighbourhood_2+Neighbourhood_3+Neighbourhood_4+Neighbourhood_5+Neighbourhood_6+Neighbourhood_7+Neighbourhood_8+Neighbourhood_9+Neighbourhood_10+Neighbourhood_11+Neighbourhood_12+Neighbourhood_13+Neighbourhood_14+Neighbourhood_15+Neighbourhood_16+Neighbourhood_17+Neighbourhood_18+Neighbourhood_19+Neighbourhood_20+Neighbourhood_21+Neighbourhood_22+Neighbourhood_23+Neighbourhood_24+Neighbourhood_25+Neighbourhood_26+Neighbourhood_27+Neighbourhood_28+Neighbourhood_29+Neighbourhood_30+Neighbourhood_31+Neighbourhood_32+Neighbourhood_33+Neighbourhood_34+Neighbourhood_35+Neighbourhood_36+Neighbourhood_37+Neighbourhood_38+Neighbourhood_39+Neighbourhood_40+Neighbourhood_41+Neighbourhood_42+Neighbourhood_43+Neighbourhood_44+Neighbourhood_45+Neighbourhood_46+Neighbourhood_47+Neighbourhood_48+Neighbourhood_49+Neighbourhood_50+Neighbourhood_51+Neighbourhood_52+Neighbourhood_53+Neighbourhood_54+Neighbourhood_55+Neighbourhood_56+Neighbourhood_57+Neighbourhood_58+Neighbourhood_59+Neighbourhood_60+Neighbourhood_61+Neighbourhood_62+Neighbourhood_63+Neighbourhood_64+Neighbourhood_65+Neighbourhood_66+Neighbourhood_67+Neighbourhood_68+Neighbourhood_69+Neighbourhood_70+Neighbourhood_71+Neighbourhood_72+Neighbourhood_73+Neighbourhood_74+Neighbourhood_75+Neighbourhood_76+Neighbourhood_77+Neighbourhood_78+Neighbourhood_79+Neighbourhood_80+Neighbourhood_81+Neighbourhood_82+Neighbourhood_83+Neighbourhood_84+Neighbourhood_85+Neighbourhood_86+Neighbourhood_87+Neighbourhood_88+Neighbourhood_89+Neighbourhood_90+Neighbourhood_91+Neighbourhood_92+Neighbourhood_93+Neighbourhood_94+Neighbourhood_95+Neighbourhood_96+Neighbourhood_97+Neighbourhood_98+Neighbourhood_99+Neighbourhood_100+Neighbourhood_101+Neighbourhood_102+Neighbourhood_103+Neighbourhood_104+Neighbourhood_105+Neighbourhood_106+Neighbourhood_107+Neighbourhood_108+Neighbourhood_109+Neighbourhood_110+Neighbourhood_111+Neighbourhood_112+Neighbourhood_113+Neighbourhood_114+Neighbourhood_115+Neighbourhood_116+Neighbourhood_117+Neighbourhood_118+Neighbourhood_119+Neighbourhood_120+Neighbourhood_121+Neighbourhood_122+Neighbourhood_123+Neighbourhood_124+Neighbourhood_125+Neighbourhood_126+Neighbourhood_127+Neighbourhood_128+Neighbourhood_129+Neighbourhood_130+Neighbourhood_131+Neighbourhood_132+Neighbourhood_133+Neighbourhood_134+Neighbourhood_135+Neighbourhood_136+Neighbourhood_137+Neighbourhood_138+Neighbourhood_139+Neighbourhood_140+Neighbourhood_141+Neighbourhood_142+Neighbourhood_143+Neighbourhood_144+Neighbourhood_145+Neighbourhood_146+Neighbourhood_147+Neighbourhood_148+Neighbourhood_149+Neighbourhood_150+Neighbourhood_151+Neighbourhood_152+Neighbourhood_153+Neighbourhood_154+Neighbourhood_155+Neighbourhood_156+Neighbourhood_157+Neighbourhood_158+Neighbourhood_159+Neighbourhood_160+Neighbourhood_161+Neighbourhood_162+Neighbourhood_163+Neighbourhood_164+Neighbourhood_165+Neighbourhood_166+Neighbourhood_167+Neighbourhood_168+Neighbourhood_169+Neighbourhood_170+Neighbourhood_171+Neighbourhood_172+Neighbourhood_173+Neighbourhood_174+Neighbourhood_175+Neighbourhood_176+Neighbourhood_177+Neighbourhood_178+Neighbourhood_179+Neighbourhood_180+Neighbourhood_181+Neighbourhood_182+Neighbourhood_183+Neighbourhood_184+Neighbourhood_185+Neighbourhood_186+Neighbourhood_187+Neighbourhood_188+Neighbourhood_189+Neighbourhood_190+Neighbourhood_191+Neighbourhood_192+Neighbourhood_193+Neighbourhood_194+Neighbourhood_195+Neighbourhood_196+Neighbourhood_197+Neighbourhood_198+Neighbourhood_199+Neighbourhood_200+Neighbourhood_201+Neighbourhood_202+Neighbourhood_203+Neighbourhood_204+Neighbourhood_205+Neighbourhood_206+Neighbourhood_207+Neighbourhood_208+Neighbourhood_209+Neighbourhood_210+Neighbourhood_211+Neighbourhood_212+Neighbourhood_213+Neighbourhood_214+Neighbourhood_215+Neighbourhood_216+Neighbourhood_217+Neighbourhood_218+Neighbourhood_219+Neighbourhood_220+Neighbourhood_221+Neighbourhood_222+Neighbourhood_223+Neighbourhood_224+Neighbourhood_225+Neighbourhood_226+Neighbourhood_227+Neighbourhood_228+Neighbourhood_229+Neighbourhood_230+Neighbourhood_231+Neighbourhood_232+Neighbourhood_233+Neighbourhood_234+Neighbourhood_235+Neighbourhood_236+Neighbourhood_237+Neighbourhood_238+Neighbourhood_239+Neighbourhood_240+Neighbourhood_241+Neighbourhood_242+Neighbourhood_243+Neighbourhood_244+Neighbourhood_245+Neighbourhood_246+Neighbourhood_247+Neighbourhood_248+Neighbourhood_249+Neighbourhood_250+Neighbourhood_251+Neighbourhood_252+Neighbourhood_253+Neighbourhood_254+Neighbourhood_255+Neighbourhood_256+Neighbourhood_257+Neighbourhood_258+Neighbourhood_259+Neighbourhood_260+Neighbourhood_261+Neighbourhood_262+Neighbourhood_263+Neighbourhood_264+Neighbourhood_265+Neighbourhood_266+Neighbourhood_267+Neighbourhood_268+Neighbourhood_269+Neighbourhood_270+Neighbourhood_271+Neighbourhood_272+Neighbourhood_273+Neighbourhood_274+Neighbourhood_275+Neighbourhood_276+Neighbourhood_277+Neighbourhood_278+Neighbourhood_279+Neighbourhood_280+Neighbourhood_281+Neighbourhood_282+Neighbourhood_283+Neighbourhood_284+Neighbourhood_285+Neighbourhood_286+Neighbourhood_287+Neighbourhood_288+Neighbourhood_289+Neighbourhood_290+Neighbourhood_291+Neighbourhood_292+Neighbourhood_293+Neighbourhood_294+Neighbourhood_295+Neighbourhood_296+Neighbourhood_297+Neighbourhood_298+Neighbourhood_299+Neighbourhood_300+Neighbourhood_301+Neighbourhood_302+Neighbourhood_303+Neighbourhood_304+Neighbourhood_305+Neighbourhood_306+Neighbourhood_307+Neighbourhood_308+Neighbourhood_309+Neighbourhood_310+Neighbourhood_311+Neighbourhood_312+Neighbourhood_313+Neighbourhood_314+Neighbourhood_315+Neighbourhood_316+Neighbourhood_317+Neighbourhood_318+Neighbourhood_319+Neighbourhood_320+Neighbourhood_321+Neighbourhood_322+Neighbourhood_323+Neighbourhood_324+Neighbourhood_325+Neighbourhood_326+Neighbourhood_327+Neighbourhood_328+Neighbourhood_329+Neighbourhood_330+Neighbourhood_331+Neighbourhood_332+Neighbourhood_333+Neighbourhood_334+Neighbourhood_335+Neighbourhood_336+Neighbourhood_337+Neighbourhood_338+Neighbourhood_339+Neighbourhood_340+Neighbourhood_341+Neighbourhood_342+Neighbourhood_343+Neighbourhood_344+Neighbourhood_345+Neighbourhood_346+Neighbourhood_347+Neighbourhood_348+Neighbourhood_349+Neighbourhood_350+Neighbourhood_351+Neighbourhood_352+Neighbourhood_353+Neighbourhood_354+Neighbourhood_355+Neighbourhood_356+Neighbourhood_357+Neighbourhood_358+Neighbourhood_359+Neighbourhood_360+Neighbourhood_361+Neighbourhood_362+Neighbourhood_363+Neighbourhood_364+Neighbourhood_365+Neighbourhood_366+Neighbourhood_367+Neighbourhood_368+Neighbourhood_369+Neighbourhood_370+Neighbourhood_371+Neighbourhood_372+Neighbourhood_373+Neighbourhood_374+Neighbourhood_375+Neighbourhood_376+Neighbourhood_377+Neighbourhood_378+Neighbourhood_379+Neighbourhood_380+Neighbourhood_381+Neighbourhood_382+Neighbourhood_383+Neighbourhood_384+Neighbourhood_385+Neighbourhood_386+Neighbourhood_387+Neighbourhood_388+Neighbourhood_389+Neighbourhood_390+Neighbourhood_391+Neighbourhood_392+Neighbourhood_393+Neighbourhood_394+Neighbourhood_395+Neighbourhood_396+Neighbourhood_397+Neighbourhood_398+Neighbourhood_399

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="PhilosophersDyn-COL-20"
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 PhilosophersDyn-COL-20, 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 r169-oct2-162089284800003"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PhilosophersDyn-COL-20.tgz
mv PhilosophersDyn-COL-20 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 ;