fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Execution Report for Run r10ks-qhx2-140069022701271
Last Updated
Sept. 1, 2014

About the Execution

Execution Summary
Max Memory
Used (MB)
CPU Usage (ms) I/O Wait (ms) Competition Result Execution
Status
- - - DNF timeout

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 SurpriseRailroad-PT-020, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r10ks-qhx2-140069022701271
=====================================================================


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

BK_START 1400855493115
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running SurpriseRailroad (PT), instance 020
MODEL_DIR = /home/mcc/execution
CONVERT PNML /home/mcc/execution/model.pnml
COMPUTING STRUCTURAL INFO.
CONVERT FORMULAE /home/mcc/execution/CTLFireability.xml INTO /home/mcc/execution/CTLFireability.rgmedd-ctl
BUILDING STRUCTURAL INFORMATIONS...
OK.
/home/mcc/BenchKit/bin/bin/RGMEDD model -FORCE-WES1 -h 2000000000 -B 48 -C -f /home/mcc/execution/CTLFireability.rgmedd-ctl
Using FORCE 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: 846648KB

BK_TIME_CONFINEMENT_REACHED

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

Cannot read input file model.bnd

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="SurpriseRailroad-PT-020"
export BK_EXAMINATION="CTLFireability"
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/SurpriseRailroad-PT-020.tgz
mv SurpriseRailroad-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 SurpriseRailroad-PT-020, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r10ks-qhx2-140069022701271"
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 ;