Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.........
=====================================================================
Generated by BenchKit 2-2270
Executing tool marcie
Input is S_Philosophers-PT-000500, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r204st-blw3-143341205000646
=====================================================================

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Philosophers-COL-000500-ReachabilityCardinality-0
FORMULA_NAME Philosophers-COL-000500-ReachabilityCardinality-1
FORMULA_NAME Philosophers-COL-000500-ReachabilityCardinality-10
FORMULA_NAME Philosophers-COL-000500-ReachabilityCardinality-11
FORMULA_NAME Philosophers-COL-000500-ReachabilityCardinality-12
FORMULA_NAME Philosophers-COL-000500-ReachabilityCardinality-13
FORMULA_NAME Philosophers-COL-000500-ReachabilityCardinality-14
FORMULA_NAME Philosophers-COL-000500-ReachabilityCardinality-15
FORMULA_NAME Philosophers-COL-000500-ReachabilityCardinality-2
FORMULA_NAME Philosophers-COL-000500-ReachabilityCardinality-3
FORMULA_NAME Philosophers-COL-000500-ReachabilityCardinality-4
FORMULA_NAME Philosophers-COL-000500-ReachabilityCardinality-5
FORMULA_NAME Philosophers-COL-000500-ReachabilityCardinality-6
FORMULA_NAME Philosophers-COL-000500-ReachabilityCardinality-7
FORMULA_NAME Philosophers-COL-000500-ReachabilityCardinality-8
FORMULA_NAME Philosophers-COL-000500-ReachabilityCardinality-9

=== Now, execution of the tool begins

BK_START 1433660485634

Model: S_Philosophers-PT-000500
reachability algorithm:
Saturation-based algorithm
variable ordering algorithm:
Calculated like in [Noa99]
--memory=6 --suppress --rs-algorithm=3 --place-order=5

Marcie rev. 1429:1432M (built: crohr on 2014-10-22)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mcc-file=ReachabilityCardinality.xml --memory=6 --suppress --rs-algorithm=3 --place-order=5

parse successfull
net created successfully

(NrP: 2500 NrTr: 2500 NrArc: 8000)

net check time: 0m0sec

parse formulas successfull
formulas created successfully
place and transition orderings generation:0m9sec

init dd package: 0m3sec


RS generation: 0m18sec


-> reachability set: #nodes 12980 (1.3e+04) #states 36,360,291,795,869,936,842,385,267,079,543,319,118,023,385,026,001,623,040,346,035,832,580,600,191,583,895,484,198,508,262,979,388,783,308,179,702,534,403,855,752,855,931,517,013,066,142,992,430,916,562,025,780,021,771,247,847,643,450,125,342,836,565,813,209,972,590,371,590,152,578,728,008,385,990,139,795,377,610,001 (238)



starting MCC model checker
--------------------------

checking: EF [sum(Think_480, Think_481, Think_478, Think_479, Think_484, Think_485, Think_482, Think_483, Think_488, Think_489, Think_486, Think_487, Think_492, Think_493, Think_490, Think_491, Think_497, Think_496, Think_495, Think_494, Think_500, Think_499, Think_498, Think_446, Think_447, Think_448, Think_449, Think_450, Think_451, Think_452, Think_453, Think_454, Think_455, Think_456, Think_457, Think_458, Think_459, Think_460, Think_461, Think_463, Think_462, Think_465, Think_464, Think_467, Think_466, Think_469, Think_468, Think_471, Think_470, Think_473, Think_472, Think_475, Think_474, Think_477, Think_476, Think_420, Think_421, Think_418, Think_419, Think_416, Think_417, Think_414, Think_415, Think_428, Think_429, Think_426, Think_427, Think_424, Think_425, Think_422, Think_423, Think_437, Think_436, Think_435, Think_434, Think_433, Think_432, Think_431, Think_430, Think_445, Think_444, Think_443, Think_442, Think_441, Think_440, Think_439, Think_438, Think_386, Think_387, Think_388, Think_389, Think_382, Think_383, Think_384, Think_385, Think_394, Think_395, Think_396, Think_397, Think_390, Think_391, Think_392, Think_393, Think_403, Think_402, Think_405, Think_404, Think_399, Think_398, Think_401, Think_400, Think_411, Think_410, Think_413, Think_412, Think_407, Think_406, Think_409, Think_408, Think_361, Think_360, Think_359, Think_358, Think_365, Think_364, Think_363, Think_362, Think_353, Think_352, Think_351, Think_350, Think_357, Think_356, Think_355, Think_354, Think_376, Think_377, Think_374, Think_375, Think_380, Think_381, Think_378, Think_379, Think_368, Think_369, Think_366, Think_367, Think_372, Think_373, Think_370, Think_371, Think_327, Think_326, Think_329, Think_328, Think_331, Think_330, Think_333, Think_332, Think_319, Think_318, Think_321, Think_320, Think_323, Think_322, Think_325, Think_324, Think_342, Think_343, Think_344, Think_345, Think_346, Think_347, Think_348, Think_349, Think_334, Think_335, Think_336, Think_337, Think_338, Think_339, Think_340, Think_341, Think_301, Think_300, Think_299, Think_298, Think_297, Think_296, Think_295, Think_294, Think_293, Think_292, Think_291, Think_290, Think_289, Think_288, Think_287, Think_286, Think_316, Think_317, Think_314, Think_315, Think_312, Think_313, Think_310, Think_311, Think_308, Think_309, Think_306, Think_307, Think_304, Think_305, Think_302, Think_303, Think_267, Think_266, Think_269, Think_268, Think_263, Think_262, Think_265, Think_264, Think_259, Think_258, Think_261, Think_260, Think_255, Think_254, Think_257, Think_256, Think_282, Think_283, Think_284, Think_285, Think_278, Think_279, Think_280, Think_281, Think_274, Think_275, Think_276, Think_277, Think_270, Think_271, Think_272, Think_273, Think_239, Think_238, Think_241, Think_240, Think_243, Think_242, Think_245, Think_244, Think_247, Think_246, Think_249, Think_248, Think_251, Think_250, Think_253, Think_252, Think_222, Think_223, Think_224, Think_225, Think_226, Think_227, Think_228, Think_229, Think_230, Think_231, Think_232, Think_233, Think_234, Think_235, Think_236, Think_237, Think_209, Think_208, Think_207, Think_206, Think_213, Think_212, Think_211, Think_210, Think_217, Think_216, Think_215, Think_214, Think_221, Think_220, Think_219, Think_218, Think_192, Think_193, Think_190, Think_191, Think_196, Think_197, Think_194, Think_195, Think_200, Think_201, Think_198, Think_199, Think_204, Think_205, Think_202, Think_203, Think_179, Think_178, Think_181, Think_180, Think_175, Think_174, Think_177, Think_176, Think_187, Think_186, Think_189, Think_188, Think_183, Think_182, Think_185, Think_184, Think_162, Think_163, Think_164, Think_165, Think_158, Think_159, Think_160, Think_161, Think_170, Think_171, Think_172, Think_173, Think_166, Think_167, Think_168, Think_169, Think_149, Think_148, Think_147, Think_146, Think_145, Think_144, Think_143, Think_142, Think_157, Think_156, Think_155, Think_154, Think_153, Think_152, Think_151, Think_150, Think_132, Think_133, Think_130, Think_131, Think_128, Think_129, Think_126, Think_127, Think_140, Think_141, Think_138, Think_139, Think_136, Think_137, Think_134, Think_135, Think_118, Think_119, Think_120, Think_121, Think_122, Think_123, Think_124, Think_125, Think_110, Think_111, Think_112, Think_113, Think_114, Think_115, Think_116, Think_117, Think_103, Think_102, Think_105, Think_104, Think_107, Think_106, Think_109, Think_108, Think_95, Think_94, Think_97, Think_96, Think_99, Think_98, Think_101, Think_100, Think_88, Think_89, Think_86, Think_87, Think_92, Think_93, Think_90, Think_91, Think_80, Think_81, Think_78, Think_79, Think_84, Think_85, Think_82, Think_83, Think_73, Think_72, Think_71, Think_70, Think_77, Think_76, Think_75, Think_74, Think_65, Think_64, Think_63, Think_62, Think_69, Think_68, Think_67, Think_66, Think_58, Think_59, Think_60, Think_61, Think_54, Think_55, Think_56, Think_57, Think_50, Think_51, Think_52, Think_53, Think_46, Think_47, Think_48, Think_49, Think_43, Think_42, Think_45, Think_44, Think_39, Think_38, Think_41, Think_40, Think_35, Think_34, Think_37, Think_36, Think_31, Think_30, Think_33, Think_32, Think_28, Think_29, Think_26, Think_27, Think_24, Think_25, Think_22, Think_23, Think_20, Think_21, Think_18, Think_19, Think_16, Think_17, Think_14, Think_15, Think_13, Think_12, Think_11, Think_10, Think_9, Think_8, Think_7, Think_6, Think_5, Think_4, Think_3, Think_2, Think_1)<=sum(Eat_424, Eat_425, Eat_422, Eat_423, Eat_428, Eat_429, Eat_426, Eat_427, Eat_416, Eat_417, Eat_414, Eat_415, Eat_420, Eat_421, Eat_418, Eat_419, Eat_409, Eat_408, Eat_407, Eat_406, Eat_413, Eat_412, Eat_411, Eat_410, Eat_401, Eat_400, Eat_399, Eat_398, Eat_405, Eat_404, Eat_403, Eat_402, Eat_390, Eat_391, Eat_392, Eat_393, Eat_394, Eat_395, Eat_396, Eat_397, Eat_382, Eat_383, Eat_384, Eat_385, Eat_386, Eat_387, Eat_388, Eat_389, Eat_375, Eat_374, Eat_377, Eat_376, Eat_379, Eat_378, Eat_381, Eat_380, Eat_367, Eat_366, Eat_369, Eat_368, Eat_371, Eat_370, Eat_373, Eat_372, Eat_364, Eat_365, Eat_362, Eat_363, Eat_360, Eat_361, Eat_358, Eat_359, Eat_356, Eat_357, Eat_354, Eat_355, Eat_352, Eat_353, Eat_350, Eat_351, Eat_349, Eat_348, Eat_347, Eat_346, Eat_345, Eat_344, Eat_343, Eat_342, Eat_341, Eat_340, Eat_339, Eat_338, Eat_337, Eat_336, Eat_335, Eat_334, Eat_330, Eat_331, Eat_332, Eat_333, Eat_326, Eat_327, Eat_328, Eat_329, Eat_322, Eat_323, Eat_324, Eat_325, Eat_318, Eat_319, Eat_320, Eat_321, Eat_315, Eat_314, Eat_317, Eat_316, Eat_311, Eat_310, Eat_313, Eat_312, Eat_307, Eat_306, Eat_309, Eat_308, Eat_303, Eat_302, Eat_305, Eat_304, Eat_494, Eat_495, Eat_496, Eat_497, Eat_498, Eat_499, Eat_500, Eat_485, Eat_484, Eat_483, Eat_482, Eat_481, Eat_480, Eat_479, Eat_478, Eat_493, Eat_492, Eat_491, Eat_490, Eat_489, Eat_488, Eat_487, Eat_486, Eat_468, Eat_469, Eat_466, Eat_467, Eat_464, Eat_465, Eat_462, Eat_463, Eat_476, Eat_477, Eat_474, Eat_475, Eat_472, Eat_473, Eat_470, Eat_471, Eat_451, Eat_450, Eat_453, Eat_452, Eat_447, Eat_446, Eat_449, Eat_448, Eat_459, Eat_458, Eat_461, Eat_460, Eat_455, Eat_454, Eat_457, Eat_456, Eat_434, Eat_435, Eat_436, Eat_437, Eat_430, Eat_431, Eat_432, Eat_433, Eat_442, Eat_443, Eat_444, Eat_445, Eat_438, Eat_439, Eat_440, Eat_441, Eat_151, Eat_150, Eat_153, Eat_152, Eat_155, Eat_154, Eat_157, Eat_156, Eat_143, Eat_142, Eat_145, Eat_144, Eat_147, Eat_146, Eat_149, Eat_148, Eat_166, Eat_167, Eat_168, Eat_169, Eat_170, Eat_171, Eat_172, Eat_173, Eat_158, Eat_159, Eat_160, Eat_161, Eat_162, Eat_163, Eat_164, Eat_165, Eat_121, Eat_120, Eat_119, Eat_118, Eat_125, Eat_124, Eat_123, Eat_122, Eat_113, Eat_112, Eat_111, Eat_110, Eat_117, Eat_116, Eat_115, Eat_114, Eat_136, Eat_137, Eat_134, Eat_135, Eat_140, Eat_141, Eat_138, Eat_139, Eat_128, Eat_129, Eat_126, Eat_127, Eat_132, Eat_133, Eat_130, Eat_131, Eat_91, Eat_90, Eat_93, Eat_92, Eat_87, Eat_86, Eat_89, Eat_88, Eat_83, Eat_82, Eat_85, Eat_84, Eat_79, Eat_78, Eat_81, Eat_80, Eat_106, Eat_107, Eat_108, Eat_109, Eat_102, Eat_103, Eat_104, Eat_105, Eat_98, Eat_99, Eat_100, Eat_101, Eat_94, Eat_95, Eat_96, Eat_97, Eat_61, Eat_60, Eat_59, Eat_58, Eat_57, Eat_56, Eat_55, Eat_54, Eat_53, Eat_52, Eat_51, Eat_50, Eat_49, Eat_48, Eat_47, Eat_46, Eat_76, Eat_77, Eat_74, Eat_75, Eat_72, Eat_73, Eat_70, Eat_71, Eat_68, Eat_69, Eat_66, Eat_67, Eat_64, Eat_65, Eat_62, Eat_63, Eat_270, Eat_271, Eat_272, Eat_273, Eat_274, Eat_275, Eat_276, Eat_277, Eat_278, Eat_279, Eat_280, Eat_281, Eat_282, Eat_283, Eat_284, Eat_285, Eat_287, Eat_286, Eat_289, Eat_288, Eat_291, Eat_290, Eat_293, Eat_292, Eat_295, Eat_294, Eat_297, Eat_296, Eat_299, Eat_298, Eat_301, Eat_300, Eat_240, Eat_241, Eat_238, Eat_239, Eat_244, Eat_245, Eat_242, Eat_243, Eat_248, Eat_249, Eat_246, Eat_247, Eat_252, Eat_253, Eat_250, Eat_251, Eat_257, Eat_256, Eat_255, Eat_254, Eat_261, Eat_260, Eat_259, Eat_258, Eat_265, Eat_264, Eat_263, Eat_262, Eat_269, Eat_268, Eat_267, Eat_266, Eat_210, Eat_211, Eat_212, Eat_213, Eat_206, Eat_207, Eat_208, Eat_209, Eat_218, Eat_219, Eat_220, Eat_221, Eat_214, Eat_215, Eat_216, Eat_217, Eat_227, Eat_226, Eat_229, Eat_228, Eat_223, Eat_222, Eat_225, Eat_224, Eat_235, Eat_234, Eat_237, Eat_236, Eat_231, Eat_230, Eat_233, Eat_232, Eat_180, Eat_181, Eat_178, Eat_179, Eat_176, Eat_177, Eat_174, Eat_175, Eat_188, Eat_189, Eat_186, Eat_187, Eat_184, Eat_185, Eat_182, Eat_183, Eat_197, Eat_196, Eat_195, Eat_194, Eat_193, Eat_192, Eat_191, Eat_190, Eat_205, Eat_204, Eat_203, Eat_202, Eat_201, Eat_200, Eat_199, Eat_198, Eat_11, Eat_10, Eat_13, Eat_12, Eat_7, Eat_6, Eat_9, Eat_8, Eat_3, Eat_2, Eat_5, Eat_4, Eat_1, Eat_28, Eat_29, Eat_26, Eat_27, Eat_24, Eat_25, Eat_22, Eat_23, Eat_20, Eat_21, Eat_18, Eat_19, Eat_16, Eat_17, Eat_14, Eat_15, Eat_45, Eat_44, Eat_43, Eat_42, Eat_41, Eat_40, Eat_39, Eat_38, Eat_37, Eat_36, Eat_35, Eat_34, Eat_33, Eat_32, Eat_31, Eat_30)]
normalized: E [true U sum(Think_480, Think_481, Think_478, Think_479, Think_484, Think_485, Think_482, Think_483, Think_488, Think_489, Think_486, Think_487, Think_492, Think_493, Think_490, Think_491, Think_497, Think_496, Think_495, Think_494, Think_500, Think_499, Think_498, Think_446, Think_447, Think_448, Think_449, Think_450, Think_451, Think_452, Think_453, Think_454, Think_455, Think_456, Think_457, Think_458, Think_459, Think_460, Think_461, Think_463, Think_462, Think_465, Think_464, Think_467, Think_466, Think_469, Think_468, Think_471, Think_470, Think_473, Think_472, Think_475, Think_474, Think_477, Think_476, Think_420, Think_421, Think_418, Think_419, Think_416, Think_417, Think_414, Think_415, Think_428, Think_429, Think_426, Think_427, Think_424, Think_425, Think_422, Think_423, Think_437, Think_436, Think_435, Think_434, Think_433, Think_432, Think_431, Think_430, Think_445, Think_444, Think_443, Think_442, Think_441, Think_440, Think_439, Think_438, Think_386, Think_387, Think_388, Think_389, Think_382, Think_383, Think_384, Think_385, Think_394, Think_395, Think_396, Think_397, Think_390, Think_391, Think_392, Think_393, Think_403, Think_402, Think_405, Think_404, Think_399, Think_398, Think_401, Think_400, Think_411, Think_410, Think_413, Think_412, Think_407, Think_406, Think_409, Think_408, Think_361, Think_360, Think_359, Think_358, Think_365, Think_364, Think_363, Think_362, Think_353, Think_352, Think_351, Think_350, Think_357, Think_356, Think_355, Think_354, Think_376, Think_377, Think_374, Think_375, Think_380, Think_381, Think_378, Think_379, Think_368, Think_369, Think_366, Think_367, Think_372, Think_373, Think_370, Think_371, Think_327, Think_326, Think_329, Think_328, Think_331, Think_330, Think_333, Think_332, Think_319, Think_318, Think_321, Think_320, Think_323, Think_322, Think_325, Think_324, Think_342, Think_343, Think_344, Think_345, Think_346, Think_347, Think_348, Think_349, Think_334, Think_335, Think_336, Think_337, Think_338, Think_339, Think_340, Think_341, Think_301, Think_300, Think_299, Think_298, Think_297, Think_296, Think_295, Think_294, Think_293, Think_292, Think_291, Think_290, Think_289, Think_288, Think_287, Think_286, Think_316, Think_317, Think_314, Think_315, Think_312, Think_313, Think_310, Think_311, Think_308, Think_309, Think_306, Think_307, Think_304, Think_305, Think_302, Think_303, Think_267, Think_266, Think_269, Think_268, Think_263, Think_262, Think_265, Think_264, Think_259, Think_258, Think_261, Think_260, Think_255, Think_254, Think_257, Think_256, Think_282, Think_283, Think_284, Think_285, Think_278, Think_279, Think_280, Think_281, Think_274, Think_275, Think_276, Think_277, Think_270, Think_271, Think_272, Think_273, Think_239, Think_238, Think_241, Think_240, Think_243, Think_242, Think_245, Think_244, Think_247, Think_246, Think_249, Think_248, Think_251, Think_250, Think_253, Think_252, Think_222, Think_223, Think_224, Think_225, Think_226, Think_227, Think_228, Think_229, Think_230, Think_231, Think_232, Think_233, Think_234, Think_235, Think_236, Think_237, Think_209, Think_208, Think_207, Think_206, Think_213, Think_212, Think_211, Think_210, Think_217, Think_216, Think_215, Think_214, Think_221, Think_220, Think_219, Think_218, Think_192, Think_193, Think_190, Think_191, Think_196, Think_197, Think_194, Think_195, Think_200, Think_201, Think_198, Think_199, Think_204, Think_205, Think_202, Think_203, Think_179, Think_178, Think_181, Think_180, Think_175, Think_174, Think_177, Think_176, Think_187, Think_186, Think_189, Think_188, Think_183, Think_182, Think_185, Think_184, Think_162, Think_163, Think_164, Think_165, Think_158, Think_159, Think_160, Think_161, Think_170, Think_171, Think_172, Think_173, Think_166, Think_167, Think_168, Think_169, Think_149, Think_148, Think_147, Think_146, Think_145, Think_144, Think_143, Think_142, Think_157, Think_156, Think_155, Think_154, Think_153, Think_152, Think_151, Think_150, Think_132, Think_133, Think_130, Think_131, Think_128, Think_129, Think_126, Think_127, Think_140, Think_141, Think_138, Think_139, Think_136, Think_137, Think_134, Think_135, Think_118, Think_119, Think_120, Think_121, Think_122, Think_123, Think_124, Think_125, Think_110, Think_111, Think_112, Think_113, Think_114, Think_115, Think_116, Think_117, Think_103, Think_102, Think_105, Think_104, Think_107, Think_106, Think_109, Think_108, Think_95, Think_94, Think_97, Think_96, Think_99, Think_98, Think_101, Think_100, Think_88, Think_89, Think_86, Think_87, Think_92, Think_93, Think_90, Think_91, Think_80, Think_81, Think_78, Think_79, Think_84, Think_85, Think_82, Think_83, Think_73, Think_72, Think_71, Think_70, Think_77, Think_76, Think_75, Think_74, Think_65, Think_64, Think_63, Think_62, Think_69, Think_68, Think_67, Think_66, Think_58, Think_59, Think_60, Think_61, Think_54, Think_55, Think_56, Think_57, Think_50, Think_51, Think_52, Think_53, Think_46, Think_47, Think_48, Think_49, Think_43, Think_42, Think_45, Think_44, Think_39, Think_38, Think_41, Think_40, Think_35, Think_34, Think_37, Think_36, Think_31, Think_30, Think_33, Think_32, Think_28, Think_29, Think_26, Think_27, Think_24, Think_25, Think_22, Think_23, Think_20, Think_21, Think_18, Think_19, Think_16, Think_17, Think_14, Think_15, Think_13, Think_12, Think_11, Think_10, Think_9, Think_8, Think_7, Think_6, Think_5, Think_4, Think_3, Think_2, Think_1)<=sum(Eat_424, Eat_425, Eat_422, Eat_423, Eat_428, Eat_429, Eat_426, Eat_427, Eat_416, Eat_417, Eat_414, Eat_415, Eat_420, Eat_421, Eat_418, Eat_419, Eat_409, Eat_408, Eat_407, Eat_406, Eat_413, Eat_412, Eat_411, Eat_410, Eat_401, Eat_400, Eat_399, Eat_398, Eat_405, Eat_404, Eat_403, Eat_402, Eat_390, Eat_391, Eat_392, Eat_393, Eat_394, Eat_395, Eat_396, Eat_397, Eat_382, Eat_383, Eat_384, Eat_385, Eat_386, Eat_387, Eat_388, Eat_389, Eat_375, Eat_374, Eat_377, Eat_376, Eat_379, Eat_378, Eat_381, Eat_380, Eat_367, Eat_366, Eat_369, Eat_368, Eat_371, Eat_370, Eat_373, Eat_372, Eat_364, Eat_365, Eat_362, Eat_363, Eat_360, Eat_361, Eat_358, Eat_359, Eat_356, Eat_357, Eat_354, Eat_355, Eat_352, Eat_353, Eat_350, Eat_351, Eat_349, Eat_348, Eat_347, Eat_346, Eat_345, Eat_344, Eat_343, Eat_342, Eat_341, Eat_340, Eat_339, Eat_338, Eat_337, Eat_336, Eat_335, Eat_334, Eat_330, Eat_331, Eat_332, Eat_333, Eat_326, Eat_327, Eat_328, Eat_329, Eat_322, Eat_323, Eat_324, Eat_325, Eat_318, Eat_319, Eat_320, Eat_321, Eat_315, Eat_314, Eat_317, Eat_316, Eat_311, Eat_310, Eat_313, Eat_312, Eat_307, Eat_306, Eat_309, Eat_308, Eat_303, Eat_302, Eat_305, Eat_304, E
BK_TIME_CONFINEMENT_REACHED

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

check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m0sec

3005 3450 3893 4338 4785 8816 8852 9296 10504 10951 12827
iterations count:11494 (4), effective:1500 (0)

initing FirstDep: 0m0sec

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="S_Philosophers-PT-000500"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/user/u8/hulinhub/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/S_Philosophers-PT-000500.tgz
mv S_Philosophers-PT-000500 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2270"
echo " Executing tool marcie"
echo " Input is S_Philosophers-PT-000500, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r204st-blw3-143341205000646"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "ReachabilityComputeBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "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 "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.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 '' ReachabilityCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;