About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
5832.48 | 1456027 | 154.3 | MOVF | normal |
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-1667
Executing tool greatspn
Input is Railroad-PT-020, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r04kn-qhx2-140043541701266
=====================================================================
--------------------
content from stdout:
BK_START 1400450151989
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running Railroad (PT), instance 020
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/ReachabilityCardinality.xml INTO /home/mcc/execution/ReachabilityCardinality.rgmedd-ctl
BUILDING STRUCTURAL INFORMATIONS...
OK.
/home/mcc/BenchKit/bin/bin/RGMEDD model -FORCE-P -h 2000000000 -B 1 -C -f /home/mcc/execution/ReachabilityCardinality.rgmedd-ctl
Using FORCE-PINV Heuristic for the variable ordering.
Setting MEDDLY cache to 2000000000 bytes.
Opening file: model.bnd
----------------------------------------
Start firing rule encoding
----------------------------------------
Encoding transition tr_T0_1 (0/506).
Encoding transition tr_T10_1 (1/506).
Encoding transition tr_T11_1 (2/506).
Encoding transition tr_T12_1 (3/506).
Encoding transition tr_T13_1 (4/506).
Encoding transition tr_T14_1 (5/506).
Encoding transition tr_T15_1 (6/506).
Encoding transition tr_T16_1 (7/506).
Encoding transition tr_T17_1 (8/506).
Encoding transition tr_T18_1 (9/506).
Encoding transition tr_T19_1 (10/506).
Encoding transition tr_T1_1 (11/506).
Encoding transition tr_T20_1 (12/506).
Encoding transition tr_T21_1 (13/506).
Encoding transition tr_T22_1 (14/506).
Encoding transition tr_T23_1 (15/506).
Encoding transition tr_T24_1 (16/506).
Encoding transition tr_T25_1 (17/506).
Encoding transition tr_T26_1 (18/506).
Encoding transition tr_T27_1 (19/506).
Encoding transition tr_T28_1 (20/506).
Encoding transition tr_T29_1 (21/506).
Encoding transition tr_T2_1 (22/506).
Encoding transition tr_T30_1 (23/506).
Encoding transition tr_T31_1 (24/506).
Encoding transition tr_T32_1 (25/506).
Encoding transition tr_T33_1 (26/506).
Encoding transition tr_T34_22 (27/506).
Encoding transition tr_T34_23 (28/506).
Encoding transition tr_T34_24 (29/506).
Encoding transition tr_T34_25 (30/506).
Encoding transition tr_T34_26 (31/506).
Encoding transition tr_T34_27 (32/506).
Encoding transition tr_T34_28 (33/506).
Encoding transition tr_T34_29 (34/506).
Encoding transition tr_T34_30 (35/506).
Encoding transition tr_T34_31 (36/506).
Encoding transition tr_T34_32 (37/506).
Encoding transition tr_T34_33 (38/506).
Encoding transition tr_T34_34 (39/506).
Encoding transition tr_T34_35 (40/506).
Encoding transition tr_T34_36 (41/506).
Encoding transition tr_T34_37 (42/506).
Encoding transition tr_T34_38 (43/506).
Encoding transition tr_T34_39 (44/506).
Encoding transition tr_T34_40 (45/506).
Encoding transition tr_T34_41 (46/506).
Encoding transition tr_T34_42 (47/506).
Encoding transition tr_T35_1 (48/506).
Encoding transition tr_T36_1 (49/506).
Encoding transition tr_T37_1 (50/506).
Encoding transition tr_T38_1 (51/506).
Encoding transition tr_T39_1 (52/506).
Encoding transition tr_T3_1 (53/506).
Encoding transition tr_T40_1 (54/506).
Encoding transition tr_T41_1 (55/506).
Encoding transition tr_T42_1 (56/506).
Encoding transition tr_T43_1 (57/506).
Encoding transition tr_T44_1 (58/506).
Encoding transition tr_T45_1 (59/506).
Encoding transition tr_T46_1 (60/506).
Encoding transition tr_T47_100 (61/506).
Encoding transition tr_T47_101 (62/506).
Encoding transition tr_T47_102 (63/506).
Encoding transition tr_T47_103 (64/506).
Encoding transition tr_T47_104 (65/506).
Encoding transition tr_T47_105 (66/506).
Encoding transition tr_T47_106 (67/506).
Encoding transition tr_T47_107 (68/506).
Encoding transition tr_T47_108 (69/506).
Encoding transition tr_T47_109 (70/506).
Encoding transition tr_T47_110 (71/506).
Encoding transition tr_T47_111 (72/506).
Encoding transition tr_T47_112 (73/506).
Encoding transition tr_T47_113 (74/506).
Encoding transition tr_T47_114 (75/506).
Encoding transition tr_T47_115 (76/506).
Encoding transition tr_T47_116 (77/506).
Encoding transition tr_T47_117 (78/506).
Encoding transition tr_T47_118 (79/506).
Encoding transition tr_T47_119 (80/506).
Encoding transition tr_T47_120 (81/506).
Encoding transition tr_T47_121 (82/506).
Encoding transition tr_T47_122 (83/506).
Encoding transition tr_T47_123 (84/506).
Encoding transition tr_T47_124 (85/506).
Encoding transition tr_T47_125 (86/506).
Encoding transition tr_T47_126 (87/506).
Encoding transition tr_T47_127 (88/506).
Encoding transition tr_T47_128 (89/506).
Encoding transition tr_T47_129 (90/506).
Encoding transition tr_T47_130 (91/506).
Encoding transition tr_T47_131 (92/506).
Encoding transition tr_T47_132 (93/506).
Encoding transition tr_T47_133 (94/506).
Encoding transition tr_T47_134 (95/506).
Encoding transition tr_T47_135 (96/506).
Encoding transition tr_T47_136 (97/506).
Encoding transition tr_T47_137 (98/506).
Encoding transition tr_T47_138 (99/506).
Encoding transition tr_T47_139 (100/506).
Encoding transition tr_T47_140 (101/506).
Encoding transition tr_T47_141 (102/506).
Encoding transition tr_T47_142 (103/506).
Encoding transition tr_T47_143 (104/506).
Encoding transition tr_T47_144 (105/506).
Encoding transition tr_T47_145 (106/506).
Encoding transition tr_T47_146 (107/506).
Encoding transition tr_T47_147 (108/506).
Encoding transition tr_T47_148 (109/506).
Encoding transition tr_T47_149 (110/506).
Encoding transition tr_T47_150 (111/506).
Encoding transition tr_T47_151 (112/506).
Encoding transition tr_T47_152 (113/506).
Encoding transition tr_T47_153 (114/506).
Encoding transition tr_T47_154 (115/506).
Encoding transition tr_T47_155 (116/506).
Encoding transition tr_T47_156 (117/506).
Encoding transition tr_T47_157 (118/506).
Encoding transition tr_T47_158 (119/506).
Encoding transition tr_T47_159 (120/506).
Encoding transition tr_T47_160 (121/506).
Encoding transition tr_T47_161 (122/506).
Encoding transition tr_T47_162 (123/506).
Encoding transition tr_T47_163 (124/506).
Encoding transition tr_T47_164 (125/506).
Encoding transition tr_T47_165 (126/506).
Encoding transition tr_T47_166 (127/506).
Encoding transition tr_T47_167 (128/506).
Encoding transition tr_T47_168 (129/506).
Encoding transition tr_T47_169 (130/506).
Encoding transition tr_T47_170 (131/506).
Encoding transition tr_T47_171 (132/506).
Encoding transition tr_T47_172 (133/506).
Encoding transition tr_T47_173 (134/506).
Encoding transition tr_T47_174 (135/506).
Encoding transition tr_T47_175 (136/506).
Encoding transition tr_T47_176 (137/506).
Encoding transition tr_T47_177 (138/506).
Encoding transition tr_T47_178 (139/506).
Encoding transition tr_T47_179 (140/506).
Encoding transition tr_T47_180 (141/506).
Encoding transition tr_T47_181 (142/506).
Encoding transition tr_T47_182 (143/506).
Encoding transition tr_T47_183 (144/506).
Encoding transition tr_T47_184 (145/506).
Encoding transition tr_T47_185 (146/506).
Encoding transition tr_T47_186 (147/506).
Encoding transition tr_T47_187 (148/506).
Encoding transition tr_T47_188 (149/506).
Encoding transition tr_T47_189 (150/506).
Encoding transition tr_T47_190 (151/506).
Encoding transition tr_T47_191 (152/506).
Encoding transition tr_T47_192 (153/506).
Encoding transition tr_T47_193 (154/506).
Encoding transition tr_T47_194 (155/506).
Encoding transition tr_T47_195 (156/506).
Encoding transition tr_T47_196 (157/506).
Encoding transition tr_T47_197 (158/506).
Encoding transition tr_T47_198 (159/506).
Encoding transition tr_T47_199 (160/506).
Encoding transition tr_T47_200 (161/506).
Encoding transition tr_T47_201 (162/506).
Encoding transition tr_T47_202 (163/506).
Encoding transition tr_T47_203 (164/506).
Encoding transition tr_T47_204 (165/506).
Encoding transition tr_T47_205 (166/506).
Encoding transition tr_T47_206 (167/506).
Encoding transition tr_T47_207 (168/506).
Encoding transition tr_T47_208 (169/506).
Encoding transition tr_T47_209 (170/506).
Encoding transition tr_T47_210 (171/506).
Encoding transition tr_T47_211 (172/506).
Encoding transition tr_T47_212 (173/506).
Encoding transition tr_T47_213 (174/506).
Encoding transition tr_T47_214 (175/506).
Encoding transition tr_T47_215 (176/506).
Encoding transition tr_T47_216 (177/506).
Encoding transition tr_T47_217 (178/506).
Encoding transition tr_T47_218 (179/506).
Encoding transition tr_T47_219 (180/506).
Encoding transition tr_T47_220 (181/506).
Encoding transition tr_T47_221 (182/506).
Encoding transition tr_T47_222 (183/506).
Encoding transition tr_T47_223 (184/506).
Encoding transition tr_T47_224 (185/506).
Encoding transition tr_T47_225 (186/506).
Encoding transition tr_T47_226 (187/506).
Encoding transition tr_T47_227 (188/506).
Encoding transition tr_T47_228 (189/506).
Encoding transition tr_T47_229 (190/506).
Encoding transition tr_T47_230 (191/506).
Encoding transition tr_T47_231 (192/506).
Encoding transition tr_T47_232 (193/506).
Encoding transition tr_T47_233 (194/506).
Encoding transition tr_T47_234 (195/506).
Encoding transition tr_T47_235 (196/506).
Encoding transition tr_T47_236 (197/506).
Encoding transition tr_T47_237 (198/506).
Encoding transition tr_T47_238 (199/506).
Encoding transition tr_T47_239 (200/506).
Encoding transition tr_T47_240 (201/506).
Encoding transition tr_T47_241 (202/506).
Encoding transition tr_T47_242 (203/506).
Encoding transition tr_T47_243 (204/506).
Encoding transition tr_T47_244 (205/506).
Encoding transition tr_T47_245 (206/506).
Encoding transition tr_T47_246 (207/506).
Encoding transition tr_T47_247 (208/506).
Encoding transition tr_T47_248 (209/506).
Encoding transition tr_T47_249 (210/506).
Encoding transition tr_T47_250 (211/506).
Encoding transition tr_T47_251 (212/506).
Encoding transition tr_T47_252 (213/506).
Encoding transition tr_T47_253 (214/506).
Encoding transition tr_T47_254 (215/506).
Encoding transition tr_T47_255 (216/506).
Encoding transition tr_T47_256 (217/506).
Encoding transition tr_T47_257 (218/506).
Encoding transition tr_T47_258 (219/506).
Encoding transition tr_T47_259 (220/506).
Encoding transition tr_T47_260 (221/506).
Encoding transition tr_T47_261 (222/506).
Encoding transition tr_T47_262 (223/506).
Encoding transition tr_T47_263 (224/506).
Encoding transition tr_T47_264 (225/506).
Encoding transition tr_T47_265 (226/506).
Encoding transition tr_T47_266 (227/506).
Encoding transition tr_T47_267 (228/506).
Encoding transition tr_T47_268 (229/506).
Encoding transition tr_T47_269 (230/506).
Encoding transition tr_T47_270 (231/506).
Encoding transition tr_T47_271 (232/506).
Encoding transition tr_T47_272 (233/506).
Encoding transition tr_T47_273 (234/506).
Encoding transition tr_T47_274 (235/506).
Encoding transition tr_T47_275 (236/506).
Encoding transition tr_T47_276 (237/506).
Encoding transition tr_T47_277 (238/506).
Encoding transition tr_T47_278 (239/506).
Encoding transition tr_T47_279 (240/506).
Encoding transition tr_T47_280 (241/506).
Encoding transition tr_T47_281 (242/506).
Encoding transition tr_T47_282 (243/506).
Encoding transition tr_T47_283 (244/506).
Encoding transition tr_T47_284 (245/506).
Encoding transition tr_T47_285 (246/506).
Encoding transition tr_T47_286 (247/506).
Encoding transition tr_T47_287 (248/506).
Encoding transition tr_T47_288 (249/506).
Encoding transition tr_T47_289 (250/506).
Encoding transition tr_T47_290 (251/506).
Encoding transition tr_T47_291 (252/506).
Encoding transition tr_T47_292 (253/506).
Encoding transition tr_T47_293 (254/506).
Encoding transition tr_T47_294 (255/506).
Encoding transition tr_T47_295 (256/506).
Encoding transition tr_T47_296 (257/506).
Encoding transition tr_T47_297 (258/506).
Encoding transition tr_T47_298 (259/506).
Encoding transition tr_T47_299 (260/506).
Encoding transition tr_T47_300 (261/506).
Encoding transition tr_T47_301 (262/506).
Encoding transition tr_T47_302 (263/506).
Encoding transition tr_T47_303 (264/506).
Encoding transition tr_T47_304 (265/506).
Encoding transition tr_T47_305 (266/506).
Encoding transition tr_T47_306 (267/506).
Encoding transition tr_T47_307 (268/506).
Encoding transition tr_T47_308 (269/506).
Encoding transition tr_T47_309 (270/506).
Encoding transition tr_T47_310 (271/506).
Encoding transition tr_T47_311 (272/506).
Encoding transition tr_T47_312 (273/506).
Encoding transition tr_T47_313 (274/506).
Encoding transition tr_T47_314 (275/506).
Encoding transition tr_T47_315 (276/506).
Encoding transition tr_T47_316 (277/506).
Encoding transition tr_T47_317 (278/506).
Encoding transition tr_T47_318 (279/506).
Encoding transition tr_T47_319 (280/506).
Encoding transition tr_T47_320 (281/506).
Encoding transition tr_T47_321 (282/506).
Encoding transition tr_T47_322 (283/506).
Encoding transition tr_T47_323 (284/506).
Encoding transition tr_T47_324 (285/506).
Encoding transition tr_T47_325 (286/506).
Encoding transition tr_T47_326 (287/506).
Encoding transition tr_T47_327 (288/506).
Encoding transition tr_T47_328 (289/506).
Encoding transition tr_T47_329 (290/506).
Encoding transition tr_T47_330 (291/506).
Encoding transition tr_T47_331 (292/506).
Encoding transition tr_T47_332 (293/506).
Encoding transition tr_T47_333 (294/506).
Encoding transition tr_T47_334 (295/506).
Encoding transition tr_T47_335 (296/506).
Encoding transition tr_T47_336 (297/506).
Encoding transition tr_T47_337 (298/506).
Encoding transition tr_T47_338 (299/506).
Encoding transition tr_T47_339 (300/506).
Encoding transition tr_T47_340 (301/506).
Encoding transition tr_T47_341 (302/506).
Encoding transition tr_T47_342 (303/506).
Encoding transition tr_T47_343 (304/506).
Encoding transition tr_T47_344 (305/506).
Encoding transition tr_T47_345 (306/506).
Encoding transition tr_T47_346 (307/506).
Encoding transition tr_T47_347 (308/506).
Encoding transition tr_T47_348 (309/506).
Encoding transition tr_T47_349 (310/506).
Encoding transition tr_T47_350 (311/506).
Encoding transition tr_T47_351 (312/506).
Encoding transition tr_T47_352 (313/506).
Encoding transition tr_T47_353 (314/506).
Encoding transition tr_T47_354 (315/506).
Encoding transition tr_T47_355 (316/506).
Encoding transition tr_T47_356 (317/506).
Encoding transition tr_T47_357 (318/506).
Encoding transition tr_T47_358 (319/506).
Encoding transition tr_T47_359 (320/506).
Encoding transition tr_T47_360 (321/506).
Encoding transition tr_T47_361 (322/506).
Encoding transition tr_T47_362 (323/506).
Encoding transition tr_T47_363 (324/506).
Encoding transition tr_T47_364 (325/506).
Encoding transition tr_T47_365 (326/506).
Encoding transition tr_T47_366 (327/506).
Encoding transition tr_T47_367 (328/506).
Encoding transition tr_T47_368 (329/506).
Encoding transition tr_T47_369 (330/506).
Encoding transition tr_T47_370 (331/506).
Encoding transition tr_T47_371 (332/506).
Encoding transition tr_T47_372 (333/506).
Encoding transition tr_T47_373 (334/506).
Encoding transition tr_T47_374 (335/506).
Encoding transition tr_T47_375 (336/506).
Encoding transition tr_T47_376 (337/506).
Encoding transition tr_T47_377 (338/506).
Encoding transition tr_T47_378 (339/506).
Encoding transition tr_T47_379 (340/506).
Encoding transition tr_T47_380 (341/506).
Encoding transition tr_T47_381 (342/506).
Encoding transition tr_T47_382 (343/506).
Encoding transition tr_T47_383 (344/506).
Encoding transition tr_T47_384 (345/506).
Encoding transition tr_T47_385 (346/506).
Encoding transition tr_T47_386 (347/506).
Encoding transition tr_T47_387 (348/506).
Encoding transition tr_T47_388 (349/506).
Encoding transition tr_T47_389 (350/506).
Encoding transition tr_T47_390 (351/506).
Encoding transition tr_T47_391 (352/506).
Encoding transition tr_T47_392 (353/506).
Encoding transition tr_T47_393 (354/506).
Encoding transition tr_T47_394 (355/506).
Encoding transition tr_T47_395 (356/506).
Encoding transition tr_T47_396 (357/506).
Encoding transition tr_T47_397 (358/506).
Encoding transition tr_T47_398 (359/506).
Encoding transition tr_T47_399 (360/506).
Encoding transition tr_T47_400 (361/506).
Encoding transition tr_T47_401 (362/506).
Encoding transition tr_T47_402 (363/506).
Encoding transition tr_T47_403 (364/506).
Encoding transition tr_T47_404 (365/506).
Encoding transition tr_T47_405 (366/506).
Encoding transition tr_T47_406 (367/506).
Encoding transition tr_T47_407 (368/506).
Encoding transition tr_T47_408 (369/506).
Encoding transition tr_T47_409 (370/506).
Encoding transition tr_T47_410 (371/506).
Encoding transition tr_T47_411 (372/506).
Encoding transition tr_T47_412 (373/506).
Encoding transition tr_T47_413 (374/506).
Encoding transition tr_T47_414 (375/506).
Encoding transition tr_T47_415 (376/506).
Encoding transition tr_T47_416 (377/506).
Encoding transition tr_T47_417 (378/506).
Encoding transition tr_T47_418 (379/506).
Encoding transition tr_T47_419 (380/506).
Encoding transition tr_T47_420 (381/506).
Encoding transition tr_T47_421 (382/506).
Encoding transition tr_T47_422 (383/506).
Encoding transition tr_T47_423 (384/506).
Encoding transition tr_T47_424 (385/506).
Encoding transition tr_T47_425 (386/506).
Encoding transition tr_T47_426 (387/506).
Encoding transition tr_T47_427 (388/506).
Encoding transition tr_T47_428 (389/506).
Encoding transition tr_T47_429 (390/506).
Encoding transition tr_T47_43 (391/506).
Encoding transition tr_T47_430 (392/506).
Encoding transition tr_T47_431 (393/506).
Encoding transition tr_T47_432 (394/506).
Encoding transition tr_T47_433 (395/506).
Encoding transition tr_T47_434 (396/506).
Encoding transition tr_T47_435 (397/506).
Encoding transition tr_T47_436 (398/506).
Encoding transition tr_T47_437 (399/506).
Encoding transition tr_T47_438 (400/506).
Encoding transition tr_T47_439 (401/506).
Encoding transition tr_T47_44 (402/506).
Encoding transition tr_T47_440 (403/506).
Encoding transition tr_T47_441 (404/506).
Encoding transition tr_T47_45 (405/506).
Encoding transition tr_T47_46 (406/506).
Encoding transition tr_T47_47 (407/506).
Encoding transition tr_T47_48 (408/506).
Encoding transition tr_T47_49 (409/506).
Encoding transition tr_T47_50 (410/506).
Encoding transition tr_T47_51 (411/506).
Encoding transition tr_T47_52 (412/506).
Encoding transition tr_T47_53 (413/506).
Encoding transition tr_T47_54 (414/506).
Encoding transition tr_T47_55 (415/506).
Encoding transition tr_T47_56 (416/506).
Encoding transition tr_T47_57 (417/506).
Encoding transition tr_T47_58 (418/506).
Encoding transition tr_T47_59 (419/506).
Encoding transition tr_T47_60 (420/506).
Encoding transition tr_T47_61 (421/506).
Encoding transition tr_T47_62 (422/506).
Encoding transition tr_T47_63 (423/506).
Encoding transition tr_T47_64 (424/506).
Encoding transition tr_T47_65 (425/506).
Encoding transition tr_T47_66 (426/506).
Encoding transition tr_T47_67 (427/506).
Encoding transition tr_T47_68 (428/506).
Encoding transition tr_T47_69 (429/506).
Encoding transition tr_T47_70 (430/506).
Encoding transition tr_T47_71 (431/506).
Encoding transition tr_T47_72 (432/506).
Encoding transition tr_T47_73 (433/506).
Encoding transition tr_T47_74 (434/506).
Encoding transition tr_T47_75 (435/506).
Encoding transition tr_T47_76 (436/506).
Encoding transition tr_T47_77 (437/506).
Encoding transition tr_T47_78 (438/506).
Encoding transition tr_T47_79 (439/506).
Encoding transition tr_T47_80 (440/506).
Encoding transition tr_T47_81 (441/506).
Encoding transition tr_T47_82 (442/506).
Encoding transition tr_T47_83 (443/506).
Encoding transition tr_T47_84 (444/506).
Encoding transition tr_T47_85 (445/506).
Encoding transition tr_T47_86 (446/506).
Encoding transition tr_T47_87 (447/506).
Encoding transition tr_T47_88 (448/506).
Encoding transition tr_T47_89 (449/506).
Encoding transition tr_T47_90 (450/506).
Encoding transition tr_T47_91 (451/506).
Encoding transition tr_T47_92 (452/506).
Encoding transition tr_T47_93 (453/506).
Encoding transition tr_T47_94 (454/506).
Encoding transition tr_T47_95 (455/506).
Encoding transition tr_T47_96 (456/506).
Encoding transition tr_T47_97 (457/506).
Encoding transition tr_T47_98 (458/506).
Encoding transition tr_T47_99 (459/506).
Encoding transition tr_T48_1 (460/506).
Encoding transition tr_T49_1 (461/506).
Encoding transition tr_T4_1 (462/506).
Encoding transition tr_T50_10 (463/506).
Encoding transition tr_T50_11 (464/506).
Encoding transition tr_T50_12 (465/506).
Encoding transition tr_T50_13 (466/506).
Encoding transition tr_T50_14 (467/506).
Encoding transition tr_T50_15 (468/506).
Encoding transition tr_T50_16 (469/506).
Encoding transition tr_T50_17 (470/506).
Encoding transition tr_T50_18 (471/506).
Encoding transition tr_T50_19 (472/506).
Encoding transition tr_T50_2 (473/506).
Encoding transition tr_T50_20 (474/506).
Encoding transition tr_T50_3 (475/506).
Encoding transition tr_T50_4 (476/506).
Encoding transition tr_T50_5 (477/506).
Encoding transition tr_T50_6 (478/506).
Encoding transition tr_T50_7 (479/506).
Encoding transition tr_T50_8 (480/506).
Encoding transition tr_T50_9 (481/506).
Encoding transition tr_T51_1 (482/506).
Encoding transition tr_T52_1 (483/506).
Encoding transition tr_T53_1 (484/506).
Encoding transition tr_T54_1 (485/506).
Encoding transition tr_T55_1 (486/506).
Encoding transition tr_T56_1 (487/506).
Encoding transition tr_T57_1 (488/506).
Encoding transition tr_T58_1 (489/506).
Encoding transition tr_T59_1 (490/506).
Encoding transition tr_T5_1 (491/506).
Encoding transition tr_T60_1 (492/506).
Encoding transition tr_T61_1 (493/506).
Encoding transition tr_T62_1 (494/506).
Encoding transition tr_T63_1 (495/506).
Encoding transition tr_T64_1 (496/506).
Encoding transition tr_T65_1 (497/506).
Encoding transition tr_T66_1 (498/506).
Encoding transition tr_T67_1 (499/506).
Encoding transition tr_T68_1 (500/506).
Encoding transition tr_T69_1 (501/506).
Encoding transition tr_T6_1 (502/506).
Encoding transition tr_T7_1 (503/506).
Encoding transition tr_T8_1 (504/506).
Encoding transition tr_T9_1 (505/506).
----------------------------------------
End firing rule encoding
----------------------------------------
----------------------------------------
Start RS generation
----------------------------------------
Total Used Memory: 20472KB
CANNOT_COMPUTE
BK_STOP 1400451608405
--------------------
content from stderr:
Cannot read input file model.bnd
MEDDLY Error: Insufficient memory
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="Railroad-PT-020"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="greatspn"
export BK_RESULT_DIR="/home/fko/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
# 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/Railroad-PT-020.tgz
mv Railroad-PT-020 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-1667"
echo " Executing tool greatspn"
echo " Input is Railroad-PT-020, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r04kn-qhx2-140043541701266"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo -n "BK_START "
date -u +%s%3N
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 ;