About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
5636.32 | 1288256 | 207 | 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 Echo-PT-d03r05, examination is ReachabilityBounds
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r01kn-qhx2-140025665901043
=====================================================================
--------------------
content from stdout:
BK_START 1400272412421
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running Echo (PT), instance d03r05
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/ReachabilityBounds.xml INTO /home/mcc/execution/ReachabilityBounds.rgmedd-ctl
BUILDING STRUCTURAL INFORMATIONS...
OK.
/home/mcc/BenchKit/bin/bin/RGMEDD model -FORCE-WES1 -h 2000000000 -B 1 -C -f /home/mcc/execution/ReachabilityBounds.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 t1 (0/1190).
Encoding transition t10 (1/1190).
Encoding transition t100 (2/1190).
Encoding transition t1000 (3/1190).
Encoding transition t1001 (4/1190).
Encoding transition t1002 (5/1190).
Encoding transition t1003 (6/1190).
Encoding transition t1004 (7/1190).
Encoding transition t1005 (8/1190).
Encoding transition t1006 (9/1190).
Encoding transition t1007 (10/1190).
Encoding transition t1008 (11/1190).
Encoding transition t1009 (12/1190).
Encoding transition t101 (13/1190).
Encoding transition t1010 (14/1190).
Encoding transition t1011 (15/1190).
Encoding transition t1012 (16/1190).
Encoding transition t1013 (17/1190).
Encoding transition t1014 (18/1190).
Encoding transition t1015 (19/1190).
Encoding transition t1016 (20/1190).
Encoding transition t1017 (21/1190).
Encoding transition t1018 (22/1190).
Encoding transition t1019 (23/1190).
Encoding transition t102 (24/1190).
Encoding transition t1020 (25/1190).
Encoding transition t1021 (26/1190).
Encoding transition t1022 (27/1190).
Encoding transition t1023 (28/1190).
Encoding transition t1024 (29/1190).
Encoding transition t1025 (30/1190).
Encoding transition t1026 (31/1190).
Encoding transition t1027 (32/1190).
Encoding transition t1028 (33/1190).
Encoding transition t1029 (34/1190).
Encoding transition t103 (35/1190).
Encoding transition t1030 (36/1190).
Encoding transition t1031 (37/1190).
Encoding transition t1032 (38/1190).
Encoding transition t1033 (39/1190).
Encoding transition t1034 (40/1190).
Encoding transition t1035 (41/1190).
Encoding transition t1036 (42/1190).
Encoding transition t1037 (43/1190).
Encoding transition t1038 (44/1190).
Encoding transition t1039 (45/1190).
Encoding transition t104 (46/1190).
Encoding transition t1040 (47/1190).
Encoding transition t1041 (48/1190).
Encoding transition t1042 (49/1190).
Encoding transition t1043 (50/1190).
Encoding transition t1044 (51/1190).
Encoding transition t1045 (52/1190).
Encoding transition t1046 (53/1190).
Encoding transition t1047 (54/1190).
Encoding transition t1048 (55/1190).
Encoding transition t1049 (56/1190).
Encoding transition t105 (57/1190).
Encoding transition t1050 (58/1190).
Encoding transition t1051 (59/1190).
Encoding transition t1052 (60/1190).
Encoding transition t1053 (61/1190).
Encoding transition t1054 (62/1190).
Encoding transition t1055 (63/1190).
Encoding transition t1056 (64/1190).
Encoding transition t1057 (65/1190).
Encoding transition t1058 (66/1190).
Encoding transition t1059 (67/1190).
Encoding transition t106 (68/1190).
Encoding transition t1060 (69/1190).
Encoding transition t1061 (70/1190).
Encoding transition t1062 (71/1190).
Encoding transition t1063 (72/1190).
Encoding transition t1064 (73/1190).
Encoding transition t1065 (74/1190).
Encoding transition t1066 (75/1190).
Encoding transition t1067 (76/1190).
Encoding transition t1068 (77/1190).
Encoding transition t1069 (78/1190).
Encoding transition t107 (79/1190).
Encoding transition t1070 (80/1190).
Encoding transition t1071 (81/1190).
Encoding transition t1072 (82/1190).
Encoding transition t1073 (83/1190).
Encoding transition t1074 (84/1190).
Encoding transition t1075 (85/1190).
Encoding transition t1076 (86/1190).
Encoding transition t1077 (87/1190).
Encoding transition t1078 (88/1190).
Encoding transition t1079 (89/1190).
Encoding transition t108 (90/1190).
Encoding transition t1080 (91/1190).
Encoding transition t1081 (92/1190).
Encoding transition t1082 (93/1190).
Encoding transition t1083 (94/1190).
Encoding transition t1084 (95/1190).
Encoding transition t1085 (96/1190).
Encoding transition t1086 (97/1190).
Encoding transition t1087 (98/1190).
Encoding transition t1088 (99/1190).
Encoding transition t1089 (100/1190).
Encoding transition t109 (101/1190).
Encoding transition t1090 (102/1190).
Encoding transition t1091 (103/1190).
Encoding transition t1092 (104/1190).
Encoding transition t1093 (105/1190).
Encoding transition t1094 (106/1190).
Encoding transition t1095 (107/1190).
Encoding transition t1096 (108/1190).
Encoding transition t1097 (109/1190).
Encoding transition t1098 (110/1190).
Encoding transition t1099 (111/1190).
Encoding transition t11 (112/1190).
Encoding transition t110 (113/1190).
Encoding transition t1100 (114/1190).
Encoding transition t1101 (115/1190).
Encoding transition t1102 (116/1190).
Encoding transition t1103 (117/1190).
Encoding transition t1104 (118/1190).
Encoding transition t1105 (119/1190).
Encoding transition t1106 (120/1190).
Encoding transition t1107 (121/1190).
Encoding transition t1108 (122/1190).
Encoding transition t1109 (123/1190).
Encoding transition t111 (124/1190).
Encoding transition t1110 (125/1190).
Encoding transition t1111 (126/1190).
Encoding transition t1112 (127/1190).
Encoding transition t1113 (128/1190).
Encoding transition t1114 (129/1190).
Encoding transition t1115 (130/1190).
Encoding transition t1116 (131/1190).
Encoding transition t1117 (132/1190).
Encoding transition t1118 (133/1190).
Encoding transition t1119 (134/1190).
Encoding transition t112 (135/1190).
Encoding transition t1120 (136/1190).
Encoding transition t1121 (137/1190).
Encoding transition t1122 (138/1190).
Encoding transition t1123 (139/1190).
Encoding transition t1124 (140/1190).
Encoding transition t1125 (141/1190).
Encoding transition t1126 (142/1190).
Encoding transition t1127 (143/1190).
Encoding transition t1128 (144/1190).
Encoding transition t1129 (145/1190).
Encoding transition t113 (146/1190).
Encoding transition t1130 (147/1190).
Encoding transition t1131 (148/1190).
Encoding transition t1132 (149/1190).
Encoding transition t1133 (150/1190).
Encoding transition t1134 (151/1190).
Encoding transition t1135 (152/1190).
Encoding transition t1136 (153/1190).
Encoding transition t1137 (154/1190).
Encoding transition t1138 (155/1190).
Encoding transition t1139 (156/1190).
Encoding transition t114 (157/1190).
Encoding transition t1140 (158/1190).
Encoding transition t1141 (159/1190).
Encoding transition t1142 (160/1190).
Encoding transition t1143 (161/1190).
Encoding transition t1144 (162/1190).
Encoding transition t1145 (163/1190).
Encoding transition t1146 (164/1190).
Encoding transition t1147 (165/1190).
Encoding transition t1148 (166/1190).
Encoding transition t1149 (167/1190).
Encoding transition t115 (168/1190).
Encoding transition t1150 (169/1190).
Encoding transition t1151 (170/1190).
Encoding transition t1152 (171/1190).
Encoding transition t1153 (172/1190).
Encoding transition t1154 (173/1190).
Encoding transition t1155 (174/1190).
Encoding transition t1156 (175/1190).
Encoding transition t1157 (176/1190).
Encoding transition t1158 (177/1190).
Encoding transition t1159 (178/1190).
Encoding transition t116 (179/1190).
Encoding transition t1160 (180/1190).
Encoding transition t1161 (181/1190).
Encoding transition t1162 (182/1190).
Encoding transition t1163 (183/1190).
Encoding transition t1164 (184/1190).
Encoding transition t1165 (185/1190).
Encoding transition t1166 (186/1190).
Encoding transition t1167 (187/1190).
Encoding transition t1168 (188/1190).
Encoding transition t1169 (189/1190).
Encoding transition t117 (190/1190).
Encoding transition t1170 (191/1190).
Encoding transition t1171 (192/1190).
Encoding transition t1172 (193/1190).
Encoding transition t1173 (194/1190).
Encoding transition t1174 (195/1190).
Encoding transition t1175 (196/1190).
Encoding transition t1176 (197/1190).
Encoding transition t1177 (198/1190).
Encoding transition t1178 (199/1190).
Encoding transition t1179 (200/1190).
Encoding transition t118 (201/1190).
Encoding transition t1180 (202/1190).
Encoding transition t1181 (203/1190).
Encoding transition t1182 (204/1190).
Encoding transition t1183 (205/1190).
Encoding transition t1184 (206/1190).
Encoding transition t1185 (207/1190).
Encoding transition t1186 (208/1190).
Encoding transition t1187 (209/1190).
Encoding transition t1188 (210/1190).
Encoding transition t1189 (211/1190).
Encoding transition t119 (212/1190).
Encoding transition t1190 (213/1190).
Encoding transition t12 (214/1190).
Encoding transition t120 (215/1190).
Encoding transition t121 (216/1190).
Encoding transition t122 (217/1190).
Encoding transition t123 (218/1190).
Encoding transition t124 (219/1190).
Encoding transition t125 (220/1190).
Encoding transition t126 (221/1190).
Encoding transition t127 (222/1190).
Encoding transition t128 (223/1190).
Encoding transition t129 (224/1190).
Encoding transition t13 (225/1190).
Encoding transition t130 (226/1190).
Encoding transition t131 (227/1190).
Encoding transition t132 (228/1190).
Encoding transition t133 (229/1190).
Encoding transition t134 (230/1190).
Encoding transition t135 (231/1190).
Encoding transition t136 (232/1190).
Encoding transition t137 (233/1190).
Encoding transition t138 (234/1190).
Encoding transition t139 (235/1190).
Encoding transition t14 (236/1190).
Encoding transition t140 (237/1190).
Encoding transition t141 (238/1190).
Encoding transition t142 (239/1190).
Encoding transition t143 (240/1190).
Encoding transition t144 (241/1190).
Encoding transition t145 (242/1190).
Encoding transition t146 (243/1190).
Encoding transition t147 (244/1190).
Encoding transition t148 (245/1190).
Encoding transition t149 (246/1190).
Encoding transition t15 (247/1190).
Encoding transition t150 (248/1190).
Encoding transition t151 (249/1190).
Encoding transition t152 (250/1190).
Encoding transition t153 (251/1190).
Encoding transition t154 (252/1190).
Encoding transition t155 (253/1190).
Encoding transition t156 (254/1190).
Encoding transition t157 (255/1190).
Encoding transition t158 (256/1190).
Encoding transition t159 (257/1190).
Encoding transition t16 (258/1190).
Encoding transition t160 (259/1190).
Encoding transition t161 (260/1190).
Encoding transition t162 (261/1190).
Encoding transition t163 (262/1190).
Encoding transition t164 (263/1190).
Encoding transition t165 (264/1190).
Encoding transition t166 (265/1190).
Encoding transition t167 (266/1190).
Encoding transition t168 (267/1190).
Encoding transition t169 (268/1190).
Encoding transition t17 (269/1190).
Encoding transition t170 (270/1190).
Encoding transition t171 (271/1190).
Encoding transition t172 (272/1190).
Encoding transition t173 (273/1190).
Encoding transition t174 (274/1190).
Encoding transition t175 (275/1190).
Encoding transition t176 (276/1190).
Encoding transition t177 (277/1190).
Encoding transition t178 (278/1190).
Encoding transition t179 (279/1190).
Encoding transition t18 (280/1190).
Encoding transition t180 (281/1190).
Encoding transition t181 (282/1190).
Encoding transition t182 (283/1190).
Encoding transition t183 (284/1190).
Encoding transition t184 (285/1190).
Encoding transition t185 (286/1190).
Encoding transition t186 (287/1190).
Encoding transition t187 (288/1190).
Encoding transition t188 (289/1190).
Encoding transition t189 (290/1190).
Encoding transition t19 (291/1190).
Encoding transition t190 (292/1190).
Encoding transition t191 (293/1190).
Encoding transition t192 (294/1190).
Encoding transition t193 (295/1190).
Encoding transition t194 (296/1190).
Encoding transition t195 (297/1190).
Encoding transition t196 (298/1190).
Encoding transition t197 (299/1190).
Encoding transition t198 (300/1190).
Encoding transition t199 (301/1190).
Encoding transition t2 (302/1190).
Encoding transition t20 (303/1190).
Encoding transition t200 (304/1190).
Encoding transition t201 (305/1190).
Encoding transition t202 (306/1190).
Encoding transition t203 (307/1190).
Encoding transition t204 (308/1190).
Encoding transition t205 (309/1190).
Encoding transition t206 (310/1190).
Encoding transition t207 (311/1190).
Encoding transition t208 (312/1190).
Encoding transition t209 (313/1190).
Encoding transition t21 (314/1190).
Encoding transition t210 (315/1190).
Encoding transition t211 (316/1190).
Encoding transition t212 (317/1190).
Encoding transition t213 (318/1190).
Encoding transition t214 (319/1190).
Encoding transition t215 (320/1190).
Encoding transition t216 (321/1190).
Encoding transition t217 (322/1190).
Encoding transition t218 (323/1190).
Encoding transition t219 (324/1190).
Encoding transition t22 (325/1190).
Encoding transition t220 (326/1190).
Encoding transition t221 (327/1190).
Encoding transition t222 (328/1190).
Encoding transition t223 (329/1190).
Encoding transition t224 (330/1190).
Encoding transition t225 (331/1190).
Encoding transition t226 (332/1190).
Encoding transition t227 (333/1190).
Encoding transition t228 (334/1190).
Encoding transition t229 (335/1190).
Encoding transition t23 (336/1190).
Encoding transition t230 (337/1190).
Encoding transition t231 (338/1190).
Encoding transition t232 (339/1190).
Encoding transition t233 (340/1190).
Encoding transition t234 (341/1190).
Encoding transition t235 (342/1190).
Encoding transition t236 (343/1190).
Encoding transition t237 (344/1190).
Encoding transition t238 (345/1190).
Encoding transition t239 (346/1190).
Encoding transition t24 (347/1190).
Encoding transition t240 (348/1190).
Encoding transition t241 (349/1190).
Encoding transition t242 (350/1190).
Encoding transition t243 (351/1190).
Encoding transition t244 (352/1190).
Encoding transition t245 (353/1190).
Encoding transition t246 (354/1190).
Encoding transition t247 (355/1190).
Encoding transition t248 (356/1190).
Encoding transition t249 (357/1190).
Encoding transition t25 (358/1190).
Encoding transition t250 (359/1190).
Encoding transition t251 (360/1190).
Encoding transition t252 (361/1190).
Encoding transition t253 (362/1190).
Encoding transition t254 (363/1190).
Encoding transition t255 (364/1190).
Encoding transition t256 (365/1190).
Encoding transition t257 (366/1190).
Encoding transition t258 (367/1190).
Encoding transition t259 (368/1190).
Encoding transition t26 (369/1190).
Encoding transition t260 (370/1190).
Encoding transition t261 (371/1190).
Encoding transition t262 (372/1190).
Encoding transition t263 (373/1190).
Encoding transition t264 (374/1190).
Encoding transition t265 (375/1190).
Encoding transition t266 (376/1190).
Encoding transition t267 (377/1190).
Encoding transition t268 (378/1190).
Encoding transition t269 (379/1190).
Encoding transition t27 (380/1190).
Encoding transition t270 (381/1190).
Encoding transition t271 (382/1190).
Encoding transition t272 (383/1190).
Encoding transition t273 (384/1190).
Encoding transition t274 (385/1190).
Encoding transition t275 (386/1190).
Encoding transition t276 (387/1190).
Encoding transition t277 (388/1190).
Encoding transition t278 (389/1190).
Encoding transition t279 (390/1190).
Encoding transition t28 (391/1190).
Encoding transition t280 (392/1190).
Encoding transition t281 (393/1190).
Encoding transition t282 (394/1190).
Encoding transition t283 (395/1190).
Encoding transition t284 (396/1190).
Encoding transition t285 (397/1190).
Encoding transition t286 (398/1190).
Encoding transition t287 (399/1190).
Encoding transition t288 (400/1190).
Encoding transition t289 (401/1190).
Encoding transition t29 (402/1190).
Encoding transition t290 (403/1190).
Encoding transition t291 (404/1190).
Encoding transition t292 (405/1190).
Encoding transition t293 (406/1190).
Encoding transition t294 (407/1190).
Encoding transition t295 (408/1190).
Encoding transition t296 (409/1190).
Encoding transition t297 (410/1190).
Encoding transition t298 (411/1190).
Encoding transition t299 (412/1190).
Encoding transition t3 (413/1190).
Encoding transition t30 (414/1190).
Encoding transition t300 (415/1190).
Encoding transition t301 (416/1190).
Encoding transition t302 (417/1190).
Encoding transition t303 (418/1190).
Encoding transition t304 (419/1190).
Encoding transition t305 (420/1190).
Encoding transition t306 (421/1190).
Encoding transition t307 (422/1190).
Encoding transition t308 (423/1190).
Encoding transition t309 (424/1190).
Encoding transition t31 (425/1190).
Encoding transition t310 (426/1190).
Encoding transition t311 (427/1190).
Encoding transition t312 (428/1190).
Encoding transition t313 (429/1190).
Encoding transition t314 (430/1190).
Encoding transition t315 (431/1190).
Encoding transition t316 (432/1190).
Encoding transition t317 (433/1190).
Encoding transition t318 (434/1190).
Encoding transition t319 (435/1190).
Encoding transition t32 (436/1190).
Encoding transition t320 (437/1190).
Encoding transition t321 (438/1190).
Encoding transition t322 (439/1190).
Encoding transition t323 (440/1190).
Encoding transition t324 (441/1190).
Encoding transition t325 (442/1190).
Encoding transition t326 (443/1190).
Encoding transition t327 (444/1190).
Encoding transition t328 (445/1190).
Encoding transition t329 (446/1190).
Encoding transition t33 (447/1190).
Encoding transition t330 (448/1190).
Encoding transition t331 (449/1190).
Encoding transition t332 (450/1190).
Encoding transition t333 (451/1190).
Encoding transition t334 (452/1190).
Encoding transition t335 (453/1190).
Encoding transition t336 (454/1190).
Encoding transition t337 (455/1190).
Encoding transition t338 (456/1190).
Encoding transition t339 (457/1190).
Encoding transition t34 (458/1190).
Encoding transition t340 (459/1190).
Encoding transition t341 (460/1190).
Encoding transition t342 (461/1190).
Encoding transition t343 (462/1190).
Encoding transition t344 (463/1190).
Encoding transition t345 (464/1190).
Encoding transition t346 (465/1190).
Encoding transition t347 (466/1190).
Encoding transition t348 (467/1190).
Encoding transition t349 (468/1190).
Encoding transition t35 (469/1190).
Encoding transition t350 (470/1190).
Encoding transition t351 (471/1190).
Encoding transition t352 (472/1190).
Encoding transition t353 (473/1190).
Encoding transition t354 (474/1190).
Encoding transition t355 (475/1190).
Encoding transition t356 (476/1190).
Encoding transition t357 (477/1190).
Encoding transition t358 (478/1190).
Encoding transition t359 (479/1190).
Encoding transition t36 (480/1190).
Encoding transition t360 (481/1190).
Encoding transition t361 (482/1190).
Encoding transition t362 (483/1190).
Encoding transition t363 (484/1190).
Encoding transition t364 (485/1190).
Encoding transition t365 (486/1190).
Encoding transition t366 (487/1190).
Encoding transition t367 (488/1190).
Encoding transition t368 (489/1190).
Encoding transition t369 (490/1190).
Encoding transition t37 (491/1190).
Encoding transition t370 (492/1190).
Encoding transition t371 (493/1190).
Encoding transition t372 (494/1190).
Encoding transition t373 (495/1190).
Encoding transition t374 (496/1190).
Encoding transition t375 (497/1190).
Encoding transition t376 (498/1190).
Encoding transition t377 (499/1190).
Encoding transition t378 (500/1190).
Encoding transition t379 (501/1190).
Encoding transition t38 (502/1190).
Encoding transition t380 (503/1190).
Encoding transition t381 (504/1190).
Encoding transition t382 (505/1190).
Encoding transition t383 (506/1190).
Encoding transition t384 (507/1190).
Encoding transition t385 (508/1190).
Encoding transition t386 (509/1190).
Encoding transition t387 (510/1190).
Encoding transition t388 (511/1190).
Encoding transition t389 (512/1190).
Encoding transition t39 (513/1190).
Encoding transition t390 (514/1190).
Encoding transition t391 (515/1190).
Encoding transition t392 (516/1190).
Encoding transition t393 (517/1190).
Encoding transition t394 (518/1190).
Encoding transition t395 (519/1190).
Encoding transition t396 (520/1190).
Encoding transition t397 (521/1190).
Encoding transition t398 (522/1190).
Encoding transition t399 (523/1190).
Encoding transition t4 (524/1190).
Encoding transition t40 (525/1190).
Encoding transition t400 (526/1190).
Encoding transition t401 (527/1190).
Encoding transition t402 (528/1190).
Encoding transition t403 (529/1190).
Encoding transition t404 (530/1190).
Encoding transition t405 (531/1190).
Encoding transition t406 (532/1190).
Encoding transition t407 (533/1190).
Encoding transition t408 (534/1190).
Encoding transition t409 (535/1190).
Encoding transition t41 (536/1190).
Encoding transition t410 (537/1190).
Encoding transition t411 (538/1190).
Encoding transition t412 (539/1190).
Encoding transition t413 (540/1190).
Encoding transition t414 (541/1190).
Encoding transition t415 (542/1190).
Encoding transition t416 (543/1190).
Encoding transition t417 (544/1190).
Encoding transition t418 (545/1190).
Encoding transition t419 (546/1190).
Encoding transition t42 (547/1190).
Encoding transition t420 (548/1190).
Encoding transition t421 (549/1190).
Encoding transition t422 (550/1190).
Encoding transition t423 (551/1190).
Encoding transition t424 (552/1190).
Encoding transition t425 (553/1190).
Encoding transition t426 (554/1190).
Encoding transition t427 (555/1190).
Encoding transition t428 (556/1190).
Encoding transition t429 (557/1190).
Encoding transition t43 (558/1190).
Encoding transition t430 (559/1190).
Encoding transition t431 (560/1190).
Encoding transition t432 (561/1190).
Encoding transition t433 (562/1190).
Encoding transition t434 (563/1190).
Encoding transition t435 (564/1190).
Encoding transition t436 (565/1190).
Encoding transition t437 (566/1190).
Encoding transition t438 (567/1190).
Encoding transition t439 (568/1190).
Encoding transition t44 (569/1190).
Encoding transition t440 (570/1190).
Encoding transition t441 (571/1190).
Encoding transition t442 (572/1190).
Encoding transition t443 (573/1190).
Encoding transition t444 (574/1190).
Encoding transition t445 (575/1190).
Encoding transition t446 (576/1190).
Encoding transition t447 (577/1190).
Encoding transition t448 (578/1190).
Encoding transition t449 (579/1190).
Encoding transition t45 (580/1190).
Encoding transition t450 (581/1190).
Encoding transition t451 (582/1190).
Encoding transition t452 (583/1190).
Encoding transition t453 (584/1190).
Encoding transition t454 (585/1190).
Encoding transition t455 (586/1190).
Encoding transition t456 (587/1190).
Encoding transition t457 (588/1190).
Encoding transition t458 (589/1190).
Encoding transition t459 (590/1190).
Encoding transition t46 (591/1190).
Encoding transition t460 (592/1190).
Encoding transition t461 (593/1190).
Encoding transition t462 (594/1190).
Encoding transition t463 (595/1190).
Encoding transition t464 (596/1190).
Encoding transition t465 (597/1190).
Encoding transition t466 (598/1190).
Encoding transition t467 (599/1190).
Encoding transition t468 (600/1190).
Encoding transition t469 (601/1190).
Encoding transition t47 (602/1190).
Encoding transition t470 (603/1190).
Encoding transition t471 (604/1190).
Encoding transition t472 (605/1190).
Encoding transition t473 (606/1190).
Encoding transition t474 (607/1190).
Encoding transition t475 (608/1190).
Encoding transition t476 (609/1190).
Encoding transition t477 (610/1190).
Encoding transition t478 (611/1190).
Encoding transition t479 (612/1190).
Encoding transition t48 (613/1190).
Encoding transition t480 (614/1190).
Encoding transition t481 (615/1190).
Encoding transition t482 (616/1190).
Encoding transition t483 (617/1190).
Encoding transition t484 (618/1190).
Encoding transition t485 (619/1190).
Encoding transition t486 (620/1190).
Encoding transition t487 (621/1190).
Encoding transition t488 (622/1190).
Encoding transition t489 (623/1190).
Encoding transition t49 (624/1190).
Encoding transition t490 (625/1190).
Encoding transition t491 (626/1190).
Encoding transition t492 (627/1190).
Encoding transition t493 (628/1190).
Encoding transition t494 (629/1190).
Encoding transition t495 (630/1190).
Encoding transition t496 (631/1190).
Encoding transition t497 (632/1190).
Encoding transition t498 (633/1190).
Encoding transition t499 (634/1190).
Encoding transition t5 (635/1190).
Encoding transition t50 (636/1190).
Encoding transition t500 (637/1190).
Encoding transition t501 (638/1190).
Encoding transition t502 (639/1190).
Encoding transition t503 (640/1190).
Encoding transition t504 (641/1190).
Encoding transition t505 (642/1190).
Encoding transition t506 (643/1190).
Encoding transition t507 (644/1190).
Encoding transition t508 (645/1190).
Encoding transition t509 (646/1190).
Encoding transition t51 (647/1190).
Encoding transition t510 (648/1190).
Encoding transition t511 (649/1190).
Encoding transition t512 (650/1190).
Encoding transition t513 (651/1190).
Encoding transition t514 (652/1190).
Encoding transition t515 (653/1190).
Encoding transition t516 (654/1190).
Encoding transition t517 (655/1190).
Encoding transition t518 (656/1190).
Encoding transition t519 (657/1190).
Encoding transition t52 (658/1190).
Encoding transition t520 (659/1190).
Encoding transition t521 (660/1190).
Encoding transition t522 (661/1190).
Encoding transition t523 (662/1190).
Encoding transition t524 (663/1190).
Encoding transition t525 (664/1190).
Encoding transition t526 (665/1190).
Encoding transition t527 (666/1190).
Encoding transition t528 (667/1190).
Encoding transition t529 (668/1190).
Encoding transition t53 (669/1190).
Encoding transition t530 (670/1190).
Encoding transition t531 (671/1190).
Encoding transition t532 (672/1190).
Encoding transition t533 (673/1190).
Encoding transition t534 (674/1190).
Encoding transition t535 (675/1190).
Encoding transition t536 (676/1190).
Encoding transition t537 (677/1190).
Encoding transition t538 (678/1190).
Encoding transition t539 (679/1190).
Encoding transition t54 (680/1190).
Encoding transition t540 (681/1190).
Encoding transition t541 (682/1190).
Encoding transition t542 (683/1190).
Encoding transition t543 (684/1190).
Encoding transition t544 (685/1190).
Encoding transition t545 (686/1190).
Encoding transition t546 (687/1190).
Encoding transition t547 (688/1190).
Encoding transition t548 (689/1190).
Encoding transition t549 (690/1190).
Encoding transition t55 (691/1190).
Encoding transition t550 (692/1190).
Encoding transition t551 (693/1190).
Encoding transition t552 (694/1190).
Encoding transition t553 (695/1190).
Encoding transition t554 (696/1190).
Encoding transition t555 (697/1190).
Encoding transition t556 (698/1190).
Encoding transition t557 (699/1190).
Encoding transition t558 (700/1190).
Encoding transition t559 (701/1190).
Encoding transition t56 (702/1190).
Encoding transition t560 (703/1190).
Encoding transition t561 (704/1190).
Encoding transition t562 (705/1190).
Encoding transition t563 (706/1190).
Encoding transition t564 (707/1190).
Encoding transition t565 (708/1190).
Encoding transition t566 (709/1190).
Encoding transition t567 (710/1190).
Encoding transition t568 (711/1190).
Encoding transition t569 (712/1190).
Encoding transition t57 (713/1190).
Encoding transition t570 (714/1190).
Encoding transition t571 (715/1190).
Encoding transition t572 (716/1190).
Encoding transition t573 (717/1190).
Encoding transition t574 (718/1190).
Encoding transition t575 (719/1190).
Encoding transition t576 (720/1190).
Encoding transition t577 (721/1190).
Encoding transition t578 (722/1190).
Encoding transition t579 (723/1190).
Encoding transition t58 (724/1190).
Encoding transition t580 (725/1190).
Encoding transition t581 (726/1190).
Encoding transition t582 (727/1190).
Encoding transition t583 (728/1190).
Encoding transition t584 (729/1190).
Encoding transition t585 (730/1190).
Encoding transition t586 (731/1190).
Encoding transition t587 (732/1190).
Encoding transition t588 (733/1190).
Encoding transition t589 (734/1190).
Encoding transition t59 (735/1190).
Encoding transition t590 (736/1190).
Encoding transition t591 (737/1190).
Encoding transition t592 (738/1190).
Encoding transition t593 (739/1190).
Encoding transition t594 (740/1190).
Encoding transition t595 (741/1190).
Encoding transition t596 (742/1190).
Encoding transition t597 (743/1190).
Encoding transition t598 (744/1190).
Encoding transition t599 (745/1190).
Encoding transition t6 (746/1190).
Encoding transition t60 (747/1190).
Encoding transition t600 (748/1190).
Encoding transition t601 (749/1190).
Encoding transition t602 (750/1190).
Encoding transition t603 (751/1190).
Encoding transition t604 (752/1190).
Encoding transition t605 (753/1190).
Encoding transition t606 (754/1190).
Encoding transition t607 (755/1190).
Encoding transition t608 (756/1190).
Encoding transition t609 (757/1190).
Encoding transition t61 (758/1190).
Encoding transition t610 (759/1190).
Encoding transition t611 (760/1190).
Encoding transition t612 (761/1190).
Encoding transition t613 (762/1190).
Encoding transition t614 (763/1190).
Encoding transition t615 (764/1190).
Encoding transition t616 (765/1190).
Encoding transition t617 (766/1190).
Encoding transition t618 (767/1190).
Encoding transition t619 (768/1190).
Encoding transition t62 (769/1190).
Encoding transition t620 (770/1190).
Encoding transition t621 (771/1190).
Encoding transition t622 (772/1190).
Encoding transition t623 (773/1190).
Encoding transition t624 (774/1190).
Encoding transition t625 (775/1190).
Encoding transition t626 (776/1190).
Encoding transition t627 (777/1190).
Encoding transition t628 (778/1190).
Encoding transition t629 (779/1190).
Encoding transition t63 (780/1190).
Encoding transition t630 (781/1190).
Encoding transition t631 (782/1190).
Encoding transition t632 (783/1190).
Encoding transition t633 (784/1190).
Encoding transition t634 (785/1190).
Encoding transition t635 (786/1190).
Encoding transition t636 (787/1190).
Encoding transition t637 (788/1190).
Encoding transition t638 (789/1190).
Encoding transition t639 (790/1190).
Encoding transition t64 (791/1190).
Encoding transition t640 (792/1190).
Encoding transition t641 (793/1190).
Encoding transition t642 (794/1190).
Encoding transition t643 (795/1190).
Encoding transition t644 (796/1190).
Encoding transition t645 (797/1190).
Encoding transition t646 (798/1190).
Encoding transition t647 (799/1190).
Encoding transition t648 (800/1190).
Encoding transition t649 (801/1190).
Encoding transition t65 (802/1190).
Encoding transition t650 (803/1190).
Encoding transition t651 (804/1190).
Encoding transition t652 (805/1190).
Encoding transition t653 (806/1190).
Encoding transition t654 (807/1190).
Encoding transition t655 (808/1190).
Encoding transition t656 (809/1190).
Encoding transition t657 (810/1190).
Encoding transition t658 (811/1190).
Encoding transition t659 (812/1190).
Encoding transition t66 (813/1190).
Encoding transition t660 (814/1190).
Encoding transition t661 (815/1190).
Encoding transition t662 (816/1190).
Encoding transition t663 (817/1190).
Encoding transition t664 (818/1190).
Encoding transition t665 (819/1190).
Encoding transition t666 (820/1190).
Encoding transition t667 (821/1190).
Encoding transition t668 (822/1190).
Encoding transition t669 (823/1190).
Encoding transition t67 (824/1190).
Encoding transition t670 (825/1190).
Encoding transition t671 (826/1190).
Encoding transition t672 (827/1190).
Encoding transition t673 (828/1190).
Encoding transition t674 (829/1190).
Encoding transition t675 (830/1190).
Encoding transition t676 (831/1190).
Encoding transition t677 (832/1190).
Encoding transition t678 (833/1190).
Encoding transition t679 (834/1190).
Encoding transition t68 (835/1190).
Encoding transition t680 (836/1190).
Encoding transition t681 (837/1190).
Encoding transition t682 (838/1190).
Encoding transition t683 (839/1190).
Encoding transition t684 (840/1190).
Encoding transition t685 (841/1190).
Encoding transition t686 (842/1190).
Encoding transition t687 (843/1190).
Encoding transition t688 (844/1190).
Encoding transition t689 (845/1190).
Encoding transition t69 (846/1190).
Encoding transition t690 (847/1190).
Encoding transition t691 (848/1190).
Encoding transition t692 (849/1190).
Encoding transition t693 (850/1190).
Encoding transition t694 (851/1190).
Encoding transition t695 (852/1190).
Encoding transition t696 (853/1190).
Encoding transition t697 (854/1190).
Encoding transition t698 (855/1190).
Encoding transition t699 (856/1190).
Encoding transition t7 (857/1190).
Encoding transition t70 (858/1190).
Encoding transition t700 (859/1190).
Encoding transition t701 (860/1190).
Encoding transition t702 (861/1190).
Encoding transition t703 (862/1190).
Encoding transition t704 (863/1190).
Encoding transition t705 (864/1190).
Encoding transition t706 (865/1190).
Encoding transition t707 (866/1190).
Encoding transition t708 (867/1190).
Encoding transition t709 (868/1190).
Encoding transition t71 (869/1190).
Encoding transition t710 (870/1190).
Encoding transition t711 (871/1190).
Encoding transition t712 (872/1190).
Encoding transition t713 (873/1190).
Encoding transition t714 (874/1190).
Encoding transition t715 (875/1190).
Encoding transition t716 (876/1190).
Encoding transition t717 (877/1190).
Encoding transition t718 (878/1190).
Encoding transition t719 (879/1190).
Encoding transition t72 (880/1190).
Encoding transition t720 (881/1190).
Encoding transition t721 (882/1190).
Encoding transition t722 (883/1190).
Encoding transition t723 (884/1190).
Encoding transition t724 (885/1190).
Encoding transition t725 (886/1190).
Encoding transition t726 (887/1190).
Encoding transition t727 (888/1190).
Encoding transition t728 (889/1190).
Encoding transition t729 (890/1190).
Encoding transition t73 (891/1190).
Encoding transition t730 (892/1190).
Encoding transition t731 (893/1190).
Encoding transition t732 (894/1190).
Encoding transition t733 (895/1190).
Encoding transition t734 (896/1190).
Encoding transition t735 (897/1190).
Encoding transition t736 (898/1190).
Encoding transition t737 (899/1190).
Encoding transition t738 (900/1190).
Encoding transition t739 (901/1190).
Encoding transition t74 (902/1190).
Encoding transition t740 (903/1190).
Encoding transition t741 (904/1190).
Encoding transition t742 (905/1190).
Encoding transition t743 (906/1190).
Encoding transition t744 (907/1190).
Encoding transition t745 (908/1190).
Encoding transition t746 (909/1190).
Encoding transition t747 (910/1190).
Encoding transition t748 (911/1190).
Encoding transition t749 (912/1190).
Encoding transition t75 (913/1190).
Encoding transition t750 (914/1190).
Encoding transition t751 (915/1190).
Encoding transition t752 (916/1190).
Encoding transition t753 (917/1190).
Encoding transition t754 (918/1190).
Encoding transition t755 (919/1190).
Encoding transition t756 (920/1190).
Encoding transition t757 (921/1190).
Encoding transition t758 (922/1190).
Encoding transition t759 (923/1190).
Encoding transition t76 (924/1190).
Encoding transition t760 (925/1190).
Encoding transition t761 (926/1190).
Encoding transition t762 (927/1190).
Encoding transition t763 (928/1190).
Encoding transition t764 (929/1190).
Encoding transition t765 (930/1190).
Encoding transition t766 (931/1190).
Encoding transition t767 (932/1190).
Encoding transition t768 (933/1190).
Encoding transition t769 (934/1190).
Encoding transition t77 (935/1190).
Encoding transition t770 (936/1190).
Encoding transition t771 (937/1190).
Encoding transition t772 (938/1190).
Encoding transition t773 (939/1190).
Encoding transition t774 (940/1190).
Encoding transition t775 (941/1190).
Encoding transition t776 (942/1190).
Encoding transition t777 (943/1190).
Encoding transition t778 (944/1190).
Encoding transition t779 (945/1190).
Encoding transition t78 (946/1190).
Encoding transition t780 (947/1190).
Encoding transition t781 (948/1190).
Encoding transition t782 (949/1190).
Encoding transition t783 (950/1190).
Encoding transition t784 (951/1190).
Encoding transition t785 (952/1190).
Encoding transition t786 (953/1190).
Encoding transition t787 (954/1190).
Encoding transition t788 (955/1190).
Encoding transition t789 (956/1190).
Encoding transition t79 (957/1190).
Encoding transition t790 (958/1190).
Encoding transition t791 (959/1190).
Encoding transition t792 (960/1190).
Encoding transition t793 (961/1190).
Encoding transition t794 (962/1190).
Encoding transition t795 (963/1190).
Encoding transition t796 (964/1190).
Encoding transition t797 (965/1190).
Encoding transition t798 (966/1190).
Encoding transition t799 (967/1190).
Encoding transition t8 (968/1190).
Encoding transition t80 (969/1190).
Encoding transition t800 (970/1190).
Encoding transition t801 (971/1190).
Encoding transition t802 (972/1190).
Encoding transition t803 (973/1190).
Encoding transition t804 (974/1190).
Encoding transition t805 (975/1190).
Encoding transition t806 (976/1190).
Encoding transition t807 (977/1190).
Encoding transition t808 (978/1190).
Encoding transition t809 (979/1190).
Encoding transition t81 (980/1190).
Encoding transition t810 (981/1190).
Encoding transition t811 (982/1190).
Encoding transition t812 (983/1190).
Encoding transition t813 (984/1190).
Encoding transition t814 (985/1190).
Encoding transition t815 (986/1190).
Encoding transition t816 (987/1190).
Encoding transition t817 (988/1190).
Encoding transition t818 (989/1190).
Encoding transition t819 (990/1190).
Encoding transition t82 (991/1190).
Encoding transition t820 (992/1190).
Encoding transition t821 (993/1190).
Encoding transition t822 (994/1190).
Encoding transition t823 (995/1190).
Encoding transition t824 (996/1190).
Encoding transition t825 (997/1190).
Encoding transition t826 (998/1190).
Encoding transition t827 (999/1190).
Encoding transition t828 (1000/1190).
Encoding transition t829 (1001/1190).
Encoding transition t83 (1002/1190).
Encoding transition t830 (1003/1190).
Encoding transition t831 (1004/1190).
Encoding transition t832 (1005/1190).
Encoding transition t833 (1006/1190).
Encoding transition t834 (1007/1190).
Encoding transition t835 (1008/1190).
Encoding transition t836 (1009/1190).
Encoding transition t837 (1010/1190).
Encoding transition t838 (1011/1190).
Encoding transition t839 (1012/1190).
Encoding transition t84 (1013/1190).
Encoding transition t840 (1014/1190).
Encoding transition t841 (1015/1190).
Encoding transition t842 (1016/1190).
Encoding transition t843 (1017/1190).
Encoding transition t844 (1018/1190).
Encoding transition t845 (1019/1190).
Encoding transition t846 (1020/1190).
Encoding transition t847 (1021/1190).
Encoding transition t848 (1022/1190).
Encoding transition t849 (1023/1190).
Encoding transition t85 (1024/1190).
Encoding transition t850 (1025/1190).
Encoding transition t851 (1026/1190).
Encoding transition t852 (1027/1190).
Encoding transition t853 (1028/1190).
Encoding transition t854 (1029/1190).
Encoding transition t855 (1030/1190).
Encoding transition t856 (1031/1190).
Encoding transition t857 (1032/1190).
Encoding transition t858 (1033/1190).
Encoding transition t859 (1034/1190).
Encoding transition t86 (1035/1190).
Encoding transition t860 (1036/1190).
Encoding transition t861 (1037/1190).
Encoding transition t862 (1038/1190).
Encoding transition t863 (1039/1190).
Encoding transition t864 (1040/1190).
Encoding transition t865 (1041/1190).
Encoding transition t866 (1042/1190).
Encoding transition t867 (1043/1190).
Encoding transition t868 (1044/1190).
Encoding transition t869 (1045/1190).
Encoding transition t87 (1046/1190).
Encoding transition t870 (1047/1190).
Encoding transition t871 (1048/1190).
Encoding transition t872 (1049/1190).
Encoding transition t873 (1050/1190).
Encoding transition t874 (1051/1190).
Encoding transition t875 (1052/1190).
Encoding transition t876 (1053/1190).
Encoding transition t877 (1054/1190).
Encoding transition t878 (1055/1190).
Encoding transition t879 (1056/1190).
Encoding transition t88 (1057/1190).
Encoding transition t880 (1058/1190).
Encoding transition t881 (1059/1190).
Encoding transition t882 (1060/1190).
Encoding transition t883 (1061/1190).
Encoding transition t884 (1062/1190).
Encoding transition t885 (1063/1190).
Encoding transition t886 (1064/1190).
Encoding transition t887 (1065/1190).
Encoding transition t888 (1066/1190).
Encoding transition t889 (1067/1190).
Encoding transition t89 (1068/1190).
Encoding transition t890 (1069/1190).
Encoding transition t891 (1070/1190).
Encoding transition t892 (1071/1190).
Encoding transition t893 (1072/1190).
Encoding transition t894 (1073/1190).
Encoding transition t895 (1074/1190).
Encoding transition t896 (1075/1190).
Encoding transition t897 (1076/1190).
Encoding transition t898 (1077/1190).
Encoding transition t899 (1078/1190).
Encoding transition t9 (1079/1190).
Encoding transition t90 (1080/1190).
Encoding transition t900 (1081/1190).
Encoding transition t901 (1082/1190).
Encoding transition t902 (1083/1190).
Encoding transition t903 (1084/1190).
Encoding transition t904 (1085/1190).
Encoding transition t905 (1086/1190).
Encoding transition t906 (1087/1190).
Encoding transition t907 (1088/1190).
Encoding transition t908 (1089/1190).
Encoding transition t909 (1090/1190).
Encoding transition t91 (1091/1190).
Encoding transition t910 (1092/1190).
Encoding transition t911 (1093/1190).
Encoding transition t912 (1094/1190).
Encoding transition t913 (1095/1190).
Encoding transition t914 (1096/1190).
Encoding transition t915 (1097/1190).
Encoding transition t916 (1098/1190).
Encoding transition t917 (1099/1190).
Encoding transition t918 (1100/1190).
Encoding transition t919 (1101/1190).
Encoding transition t92 (1102/1190).
Encoding transition t920 (1103/1190).
Encoding transition t921 (1104/1190).
Encoding transition t922 (1105/1190).
Encoding transition t923 (1106/1190).
Encoding transition t924 (1107/1190).
Encoding transition t925 (1108/1190).
Encoding transition t926 (1109/1190).
Encoding transition t927 (1110/1190).
Encoding transition t928 (1111/1190).
Encoding transition t929 (1112/1190).
Encoding transition t93 (1113/1190).
Encoding transition t930 (1114/1190).
Encoding transition t931 (1115/1190).
Encoding transition t932 (1116/1190).
Encoding transition t933 (1117/1190).
Encoding transition t934 (1118/1190).
Encoding transition t935 (1119/1190).
Encoding transition t936 (1120/1190).
Encoding transition t937 (1121/1190).
Encoding transition t938 (1122/1190).
Encoding transition t939 (1123/1190).
Encoding transition t94 (1124/1190).
Encoding transition t940 (1125/1190).
Encoding transition t941 (1126/1190).
Encoding transition t942 (1127/1190).
Encoding transition t943 (1128/1190).
Encoding transition t944 (1129/1190).
Encoding transition t945 (1130/1190).
Encoding transition t946 (1131/1190).
Encoding transition t947 (1132/1190).
Encoding transition t948 (1133/1190).
Encoding transition t949 (1134/1190).
Encoding transition t95 (1135/1190).
Encoding transition t950 (1136/1190).
Encoding transition t951 (1137/1190).
Encoding transition t952 (1138/1190).
Encoding transition t953 (1139/1190).
Encoding transition t954 (1140/1190).
Encoding transition t955 (1141/1190).
Encoding transition t956 (1142/1190).
Encoding transition t957 (1143/1190).
Encoding transition t958 (1144/1190).
Encoding transition t959 (1145/1190).
Encoding transition t96 (1146/1190).
Encoding transition t960 (1147/1190).
Encoding transition t961 (1148/1190).
Encoding transition t962 (1149/1190).
Encoding transition t963 (1150/1190).
Encoding transition t964 (1151/1190).
Encoding transition t965 (1152/1190).
Encoding transition t966 (1153/1190).
Encoding transition t967 (1154/1190).
Encoding transition t968 (1155/1190).
Encoding transition t969 (1156/1190).
Encoding transition t97 (1157/1190).
Encoding transition t970 (1158/1190).
Encoding transition t971 (1159/1190).
Encoding transition t972 (1160/1190).
Encoding transition t973 (1161/1190).
Encoding transition t974 (1162/1190).
Encoding transition t975 (1163/1190).
Encoding transition t976 (1164/1190).
Encoding transition t977 (1165/1190).
Encoding transition t978 (1166/1190).
Encoding transition t979 (1167/1190).
Encoding transition t98 (1168/1190).
Encoding transition t980 (1169/1190).
Encoding transition t981 (1170/1190).
Encoding transition t982 (1171/1190).
Encoding transition t983 (1172/1190).
Encoding transition t984 (1173/1190).
Encoding transition t985 (1174/1190).
Encoding transition t986 (1175/1190).
Encoding transition t987 (1176/1190).
Encoding transition t988 (1177/1190).
Encoding transition t989 (1178/1190).
Encoding transition t99 (1179/1190).
Encoding transition t990 (1180/1190).
Encoding transition t991 (1181/1190).
Encoding transition t992 (1182/1190).
Encoding transition t993 (1183/1190).
Encoding transition t994 (1184/1190).
Encoding transition t995 (1185/1190).
Encoding transition t996 (1186/1190).
Encoding transition t997 (1187/1190).
Encoding transition t998 (1188/1190).
Encoding transition t999 (1189/1190).
----------------------------------------
End firing rule encoding
----------------------------------------
----------------------------------------
Start RS generation
----------------------------------------
Total Used Memory: 234440KB
CANNOT_COMPUTE
BK_STOP 1400273701571
--------------------
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="Echo-PT-d03r05"
export BK_EXAMINATION="ReachabilityBounds"
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/Echo-PT-d03r05.tgz
mv Echo-PT-d03r05 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 Echo-PT-d03r05, examination is ReachabilityBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r01kn-qhx2-140025665901043"
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 ;