About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
5106.07 | 1565056 | 207.7 | 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-d04r03, examination is ReachabilityFireabilitySimple
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r01kn-qhx2-140025665901072
=====================================================================
--------------------
content from stdout:
BK_START 1400273875051
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running Echo (PT), instance d04r03
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/ReachabilityFireabilitySimple.xml INTO /home/mcc/execution/ReachabilityFireabilitySimple.rgmedd-ctl
BUILDING STRUCTURAL INFORMATIONS...
OK.
/home/mcc/BenchKit/bin/bin/RGMEDD model -FORCE-WES1 -h 2000000000 -B 1 -C -f /home/mcc/execution/ReachabilityFireabilitySimple.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/850).
Encoding transition t10 (1/850).
Encoding transition t100 (2/850).
Encoding transition t101 (3/850).
Encoding transition t102 (4/850).
Encoding transition t103 (5/850).
Encoding transition t104 (6/850).
Encoding transition t105 (7/850).
Encoding transition t106 (8/850).
Encoding transition t107 (9/850).
Encoding transition t108 (10/850).
Encoding transition t109 (11/850).
Encoding transition t11 (12/850).
Encoding transition t110 (13/850).
Encoding transition t111 (14/850).
Encoding transition t112 (15/850).
Encoding transition t113 (16/850).
Encoding transition t114 (17/850).
Encoding transition t115 (18/850).
Encoding transition t116 (19/850).
Encoding transition t117 (20/850).
Encoding transition t118 (21/850).
Encoding transition t119 (22/850).
Encoding transition t12 (23/850).
Encoding transition t120 (24/850).
Encoding transition t121 (25/850).
Encoding transition t122 (26/850).
Encoding transition t123 (27/850).
Encoding transition t124 (28/850).
Encoding transition t125 (29/850).
Encoding transition t126 (30/850).
Encoding transition t127 (31/850).
Encoding transition t128 (32/850).
Encoding transition t129 (33/850).
Encoding transition t13 (34/850).
Encoding transition t130 (35/850).
Encoding transition t131 (36/850).
Encoding transition t132 (37/850).
Encoding transition t133 (38/850).
Encoding transition t134 (39/850).
Encoding transition t135 (40/850).
Encoding transition t136 (41/850).
Encoding transition t137 (42/850).
Encoding transition t138 (43/850).
Encoding transition t139 (44/850).
Encoding transition t14 (45/850).
Encoding transition t140 (46/850).
Encoding transition t141 (47/850).
Encoding transition t142 (48/850).
Encoding transition t143 (49/850).
Encoding transition t144 (50/850).
Encoding transition t145 (51/850).
Encoding transition t146 (52/850).
Encoding transition t147 (53/850).
Encoding transition t148 (54/850).
Encoding transition t149 (55/850).
Encoding transition t15 (56/850).
Encoding transition t150 (57/850).
Encoding transition t151 (58/850).
Encoding transition t152 (59/850).
Encoding transition t153 (60/850).
Encoding transition t154 (61/850).
Encoding transition t155 (62/850).
Encoding transition t156 (63/850).
Encoding transition t157 (64/850).
Encoding transition t158 (65/850).
Encoding transition t159 (66/850).
Encoding transition t16 (67/850).
Encoding transition t160 (68/850).
Encoding transition t161 (69/850).
Encoding transition t162 (70/850).
Encoding transition t163 (71/850).
Encoding transition t164 (72/850).
Encoding transition t165 (73/850).
Encoding transition t166 (74/850).
Encoding transition t167 (75/850).
Encoding transition t168 (76/850).
Encoding transition t169 (77/850).
Encoding transition t17 (78/850).
Encoding transition t170 (79/850).
Encoding transition t171 (80/850).
Encoding transition t172 (81/850).
Encoding transition t173 (82/850).
Encoding transition t174 (83/850).
Encoding transition t175 (84/850).
Encoding transition t176 (85/850).
Encoding transition t177 (86/850).
Encoding transition t178 (87/850).
Encoding transition t179 (88/850).
Encoding transition t18 (89/850).
Encoding transition t180 (90/850).
Encoding transition t181 (91/850).
Encoding transition t182 (92/850).
Encoding transition t183 (93/850).
Encoding transition t184 (94/850).
Encoding transition t185 (95/850).
Encoding transition t186 (96/850).
Encoding transition t187 (97/850).
Encoding transition t188 (98/850).
Encoding transition t189 (99/850).
Encoding transition t19 (100/850).
Encoding transition t190 (101/850).
Encoding transition t191 (102/850).
Encoding transition t192 (103/850).
Encoding transition t193 (104/850).
Encoding transition t194 (105/850).
Encoding transition t195 (106/850).
Encoding transition t196 (107/850).
Encoding transition t197 (108/850).
Encoding transition t198 (109/850).
Encoding transition t199 (110/850).
Encoding transition t2 (111/850).
Encoding transition t20 (112/850).
Encoding transition t200 (113/850).
Encoding transition t201 (114/850).
Encoding transition t202 (115/850).
Encoding transition t203 (116/850).
Encoding transition t204 (117/850).
Encoding transition t205 (118/850).
Encoding transition t206 (119/850).
Encoding transition t207 (120/850).
Encoding transition t208 (121/850).
Encoding transition t209 (122/850).
Encoding transition t21 (123/850).
Encoding transition t210 (124/850).
Encoding transition t211 (125/850).
Encoding transition t212 (126/850).
Encoding transition t213 (127/850).
Encoding transition t214 (128/850).
Encoding transition t215 (129/850).
Encoding transition t216 (130/850).
Encoding transition t217 (131/850).
Encoding transition t218 (132/850).
Encoding transition t219 (133/850).
Encoding transition t22 (134/850).
Encoding transition t220 (135/850).
Encoding transition t221 (136/850).
Encoding transition t222 (137/850).
Encoding transition t223 (138/850).
Encoding transition t224 (139/850).
Encoding transition t225 (140/850).
Encoding transition t226 (141/850).
Encoding transition t227 (142/850).
Encoding transition t228 (143/850).
Encoding transition t229 (144/850).
Encoding transition t23 (145/850).
Encoding transition t230 (146/850).
Encoding transition t231 (147/850).
Encoding transition t232 (148/850).
Encoding transition t233 (149/850).
Encoding transition t234 (150/850).
Encoding transition t235 (151/850).
Encoding transition t236 (152/850).
Encoding transition t237 (153/850).
Encoding transition t238 (154/850).
Encoding transition t239 (155/850).
Encoding transition t24 (156/850).
Encoding transition t240 (157/850).
Encoding transition t241 (158/850).
Encoding transition t242 (159/850).
Encoding transition t243 (160/850).
Encoding transition t244 (161/850).
Encoding transition t245 (162/850).
Encoding transition t246 (163/850).
Encoding transition t247 (164/850).
Encoding transition t248 (165/850).
Encoding transition t249 (166/850).
Encoding transition t25 (167/850).
Encoding transition t250 (168/850).
Encoding transition t251 (169/850).
Encoding transition t252 (170/850).
Encoding transition t253 (171/850).
Encoding transition t254 (172/850).
Encoding transition t255 (173/850).
Encoding transition t256 (174/850).
Encoding transition t257 (175/850).
Encoding transition t258 (176/850).
Encoding transition t259 (177/850).
Encoding transition t26 (178/850).
Encoding transition t260 (179/850).
Encoding transition t261 (180/850).
Encoding transition t262 (181/850).
Encoding transition t263 (182/850).
Encoding transition t264 (183/850).
Encoding transition t265 (184/850).
Encoding transition t266 (185/850).
Encoding transition t267 (186/850).
Encoding transition t268 (187/850).
Encoding transition t269 (188/850).
Encoding transition t27 (189/850).
Encoding transition t270 (190/850).
Encoding transition t271 (191/850).
Encoding transition t272 (192/850).
Encoding transition t273 (193/850).
Encoding transition t274 (194/850).
Encoding transition t275 (195/850).
Encoding transition t276 (196/850).
Encoding transition t277 (197/850).
Encoding transition t278 (198/850).
Encoding transition t279 (199/850).
Encoding transition t28 (200/850).
Encoding transition t280 (201/850).
Encoding transition t281 (202/850).
Encoding transition t282 (203/850).
Encoding transition t283 (204/850).
Encoding transition t284 (205/850).
Encoding transition t285 (206/850).
Encoding transition t286 (207/850).
Encoding transition t287 (208/850).
Encoding transition t288 (209/850).
Encoding transition t289 (210/850).
Encoding transition t29 (211/850).
Encoding transition t290 (212/850).
Encoding transition t291 (213/850).
Encoding transition t292 (214/850).
Encoding transition t293 (215/850).
Encoding transition t294 (216/850).
Encoding transition t295 (217/850).
Encoding transition t296 (218/850).
Encoding transition t297 (219/850).
Encoding transition t298 (220/850).
Encoding transition t299 (221/850).
Encoding transition t3 (222/850).
Encoding transition t30 (223/850).
Encoding transition t300 (224/850).
Encoding transition t301 (225/850).
Encoding transition t302 (226/850).
Encoding transition t303 (227/850).
Encoding transition t304 (228/850).
Encoding transition t305 (229/850).
Encoding transition t306 (230/850).
Encoding transition t307 (231/850).
Encoding transition t308 (232/850).
Encoding transition t309 (233/850).
Encoding transition t31 (234/850).
Encoding transition t310 (235/850).
Encoding transition t311 (236/850).
Encoding transition t312 (237/850).
Encoding transition t313 (238/850).
Encoding transition t314 (239/850).
Encoding transition t315 (240/850).
Encoding transition t316 (241/850).
Encoding transition t317 (242/850).
Encoding transition t318 (243/850).
Encoding transition t319 (244/850).
Encoding transition t32 (245/850).
Encoding transition t320 (246/850).
Encoding transition t321 (247/850).
Encoding transition t322 (248/850).
Encoding transition t323 (249/850).
Encoding transition t324 (250/850).
Encoding transition t325 (251/850).
Encoding transition t326 (252/850).
Encoding transition t327 (253/850).
Encoding transition t328 (254/850).
Encoding transition t329 (255/850).
Encoding transition t33 (256/850).
Encoding transition t330 (257/850).
Encoding transition t331 (258/850).
Encoding transition t332 (259/850).
Encoding transition t333 (260/850).
Encoding transition t334 (261/850).
Encoding transition t335 (262/850).
Encoding transition t336 (263/850).
Encoding transition t337 (264/850).
Encoding transition t338 (265/850).
Encoding transition t339 (266/850).
Encoding transition t34 (267/850).
Encoding transition t340 (268/850).
Encoding transition t341 (269/850).
Encoding transition t342 (270/850).
Encoding transition t343 (271/850).
Encoding transition t344 (272/850).
Encoding transition t345 (273/850).
Encoding transition t346 (274/850).
Encoding transition t347 (275/850).
Encoding transition t348 (276/850).
Encoding transition t349 (277/850).
Encoding transition t35 (278/850).
Encoding transition t350 (279/850).
Encoding transition t351 (280/850).
Encoding transition t352 (281/850).
Encoding transition t353 (282/850).
Encoding transition t354 (283/850).
Encoding transition t355 (284/850).
Encoding transition t356 (285/850).
Encoding transition t357 (286/850).
Encoding transition t358 (287/850).
Encoding transition t359 (288/850).
Encoding transition t36 (289/850).
Encoding transition t360 (290/850).
Encoding transition t361 (291/850).
Encoding transition t362 (292/850).
Encoding transition t363 (293/850).
Encoding transition t364 (294/850).
Encoding transition t365 (295/850).
Encoding transition t366 (296/850).
Encoding transition t367 (297/850).
Encoding transition t368 (298/850).
Encoding transition t369 (299/850).
Encoding transition t37 (300/850).
Encoding transition t370 (301/850).
Encoding transition t371 (302/850).
Encoding transition t372 (303/850).
Encoding transition t373 (304/850).
Encoding transition t374 (305/850).
Encoding transition t375 (306/850).
Encoding transition t376 (307/850).
Encoding transition t377 (308/850).
Encoding transition t378 (309/850).
Encoding transition t379 (310/850).
Encoding transition t38 (311/850).
Encoding transition t380 (312/850).
Encoding transition t381 (313/850).
Encoding transition t382 (314/850).
Encoding transition t383 (315/850).
Encoding transition t384 (316/850).
Encoding transition t385 (317/850).
Encoding transition t386 (318/850).
Encoding transition t387 (319/850).
Encoding transition t388 (320/850).
Encoding transition t389 (321/850).
Encoding transition t39 (322/850).
Encoding transition t390 (323/850).
Encoding transition t391 (324/850).
Encoding transition t392 (325/850).
Encoding transition t393 (326/850).
Encoding transition t394 (327/850).
Encoding transition t395 (328/850).
Encoding transition t396 (329/850).
Encoding transition t397 (330/850).
Encoding transition t398 (331/850).
Encoding transition t399 (332/850).
Encoding transition t4 (333/850).
Encoding transition t40 (334/850).
Encoding transition t400 (335/850).
Encoding transition t401 (336/850).
Encoding transition t402 (337/850).
Encoding transition t403 (338/850).
Encoding transition t404 (339/850).
Encoding transition t405 (340/850).
Encoding transition t406 (341/850).
Encoding transition t407 (342/850).
Encoding transition t408 (343/850).
Encoding transition t409 (344/850).
Encoding transition t41 (345/850).
Encoding transition t410 (346/850).
Encoding transition t411 (347/850).
Encoding transition t412 (348/850).
Encoding transition t413 (349/850).
Encoding transition t414 (350/850).
Encoding transition t415 (351/850).
Encoding transition t416 (352/850).
Encoding transition t417 (353/850).
Encoding transition t418 (354/850).
Encoding transition t419 (355/850).
Encoding transition t42 (356/850).
Encoding transition t420 (357/850).
Encoding transition t421 (358/850).
Encoding transition t422 (359/850).
Encoding transition t423 (360/850).
Encoding transition t424 (361/850).
Encoding transition t425 (362/850).
Encoding transition t426 (363/850).
Encoding transition t427 (364/850).
Encoding transition t428 (365/850).
Encoding transition t429 (366/850).
Encoding transition t43 (367/850).
Encoding transition t430 (368/850).
Encoding transition t431 (369/850).
Encoding transition t432 (370/850).
Encoding transition t433 (371/850).
Encoding transition t434 (372/850).
Encoding transition t435 (373/850).
Encoding transition t436 (374/850).
Encoding transition t437 (375/850).
Encoding transition t438 (376/850).
Encoding transition t439 (377/850).
Encoding transition t44 (378/850).
Encoding transition t440 (379/850).
Encoding transition t441 (380/850).
Encoding transition t442 (381/850).
Encoding transition t443 (382/850).
Encoding transition t444 (383/850).
Encoding transition t445 (384/850).
Encoding transition t446 (385/850).
Encoding transition t447 (386/850).
Encoding transition t448 (387/850).
Encoding transition t449 (388/850).
Encoding transition t45 (389/850).
Encoding transition t450 (390/850).
Encoding transition t451 (391/850).
Encoding transition t452 (392/850).
Encoding transition t453 (393/850).
Encoding transition t454 (394/850).
Encoding transition t455 (395/850).
Encoding transition t456 (396/850).
Encoding transition t457 (397/850).
Encoding transition t458 (398/850).
Encoding transition t459 (399/850).
Encoding transition t46 (400/850).
Encoding transition t460 (401/850).
Encoding transition t461 (402/850).
Encoding transition t462 (403/850).
Encoding transition t463 (404/850).
Encoding transition t464 (405/850).
Encoding transition t465 (406/850).
Encoding transition t466 (407/850).
Encoding transition t467 (408/850).
Encoding transition t468 (409/850).
Encoding transition t469 (410/850).
Encoding transition t47 (411/850).
Encoding transition t470 (412/850).
Encoding transition t471 (413/850).
Encoding transition t472 (414/850).
Encoding transition t473 (415/850).
Encoding transition t474 (416/850).
Encoding transition t475 (417/850).
Encoding transition t476 (418/850).
Encoding transition t477 (419/850).
Encoding transition t478 (420/850).
Encoding transition t479 (421/850).
Encoding transition t48 (422/850).
Encoding transition t480 (423/850).
Encoding transition t481 (424/850).
Encoding transition t482 (425/850).
Encoding transition t483 (426/850).
Encoding transition t484 (427/850).
Encoding transition t485 (428/850).
Encoding transition t486 (429/850).
Encoding transition t487 (430/850).
Encoding transition t488 (431/850).
Encoding transition t489 (432/850).
Encoding transition t49 (433/850).
Encoding transition t490 (434/850).
Encoding transition t491 (435/850).
Encoding transition t492 (436/850).
Encoding transition t493 (437/850).
Encoding transition t494 (438/850).
Encoding transition t495 (439/850).
Encoding transition t496 (440/850).
Encoding transition t497 (441/850).
Encoding transition t498 (442/850).
Encoding transition t499 (443/850).
Encoding transition t5 (444/850).
Encoding transition t50 (445/850).
Encoding transition t500 (446/850).
Encoding transition t501 (447/850).
Encoding transition t502 (448/850).
Encoding transition t503 (449/850).
Encoding transition t504 (450/850).
Encoding transition t505 (451/850).
Encoding transition t506 (452/850).
Encoding transition t507 (453/850).
Encoding transition t508 (454/850).
Encoding transition t509 (455/850).
Encoding transition t51 (456/850).
Encoding transition t510 (457/850).
Encoding transition t511 (458/850).
Encoding transition t512 (459/850).
Encoding transition t513 (460/850).
Encoding transition t514 (461/850).
Encoding transition t515 (462/850).
Encoding transition t516 (463/850).
Encoding transition t517 (464/850).
Encoding transition t518 (465/850).
Encoding transition t519 (466/850).
Encoding transition t52 (467/850).
Encoding transition t520 (468/850).
Encoding transition t521 (469/850).
Encoding transition t522 (470/850).
Encoding transition t523 (471/850).
Encoding transition t524 (472/850).
Encoding transition t525 (473/850).
Encoding transition t526 (474/850).
Encoding transition t527 (475/850).
Encoding transition t528 (476/850).
Encoding transition t529 (477/850).
Encoding transition t53 (478/850).
Encoding transition t530 (479/850).
Encoding transition t531 (480/850).
Encoding transition t532 (481/850).
Encoding transition t533 (482/850).
Encoding transition t534 (483/850).
Encoding transition t535 (484/850).
Encoding transition t536 (485/850).
Encoding transition t537 (486/850).
Encoding transition t538 (487/850).
Encoding transition t539 (488/850).
Encoding transition t54 (489/850).
Encoding transition t540 (490/850).
Encoding transition t541 (491/850).
Encoding transition t542 (492/850).
Encoding transition t543 (493/850).
Encoding transition t544 (494/850).
Encoding transition t545 (495/850).
Encoding transition t546 (496/850).
Encoding transition t547 (497/850).
Encoding transition t548 (498/850).
Encoding transition t549 (499/850).
Encoding transition t55 (500/850).
Encoding transition t550 (501/850).
Encoding transition t551 (502/850).
Encoding transition t552 (503/850).
Encoding transition t553 (504/850).
Encoding transition t554 (505/850).
Encoding transition t555 (506/850).
Encoding transition t556 (507/850).
Encoding transition t557 (508/850).
Encoding transition t558 (509/850).
Encoding transition t559 (510/850).
Encoding transition t56 (511/850).
Encoding transition t560 (512/850).
Encoding transition t561 (513/850).
Encoding transition t562 (514/850).
Encoding transition t563 (515/850).
Encoding transition t564 (516/850).
Encoding transition t565 (517/850).
Encoding transition t566 (518/850).
Encoding transition t567 (519/850).
Encoding transition t568 (520/850).
Encoding transition t569 (521/850).
Encoding transition t57 (522/850).
Encoding transition t570 (523/850).
Encoding transition t571 (524/850).
Encoding transition t572 (525/850).
Encoding transition t573 (526/850).
Encoding transition t574 (527/850).
Encoding transition t575 (528/850).
Encoding transition t576 (529/850).
Encoding transition t577 (530/850).
Encoding transition t578 (531/850).
Encoding transition t579 (532/850).
Encoding transition t58 (533/850).
Encoding transition t580 (534/850).
Encoding transition t581 (535/850).
Encoding transition t582 (536/850).
Encoding transition t583 (537/850).
Encoding transition t584 (538/850).
Encoding transition t585 (539/850).
Encoding transition t586 (540/850).
Encoding transition t587 (541/850).
Encoding transition t588 (542/850).
Encoding transition t589 (543/850).
Encoding transition t59 (544/850).
Encoding transition t590 (545/850).
Encoding transition t591 (546/850).
Encoding transition t592 (547/850).
Encoding transition t593 (548/850).
Encoding transition t594 (549/850).
Encoding transition t595 (550/850).
Encoding transition t596 (551/850).
Encoding transition t597 (552/850).
Encoding transition t598 (553/850).
Encoding transition t599 (554/850).
Encoding transition t6 (555/850).
Encoding transition t60 (556/850).
Encoding transition t600 (557/850).
Encoding transition t601 (558/850).
Encoding transition t602 (559/850).
Encoding transition t603 (560/850).
Encoding transition t604 (561/850).
Encoding transition t605 (562/850).
Encoding transition t606 (563/850).
Encoding transition t607 (564/850).
Encoding transition t608 (565/850).
Encoding transition t609 (566/850).
Encoding transition t61 (567/850).
Encoding transition t610 (568/850).
Encoding transition t611 (569/850).
Encoding transition t612 (570/850).
Encoding transition t613 (571/850).
Encoding transition t614 (572/850).
Encoding transition t615 (573/850).
Encoding transition t616 (574/850).
Encoding transition t617 (575/850).
Encoding transition t618 (576/850).
Encoding transition t619 (577/850).
Encoding transition t62 (578/850).
Encoding transition t620 (579/850).
Encoding transition t621 (580/850).
Encoding transition t622 (581/850).
Encoding transition t623 (582/850).
Encoding transition t624 (583/850).
Encoding transition t625 (584/850).
Encoding transition t626 (585/850).
Encoding transition t627 (586/850).
Encoding transition t628 (587/850).
Encoding transition t629 (588/850).
Encoding transition t63 (589/850).
Encoding transition t630 (590/850).
Encoding transition t631 (591/850).
Encoding transition t632 (592/850).
Encoding transition t633 (593/850).
Encoding transition t634 (594/850).
Encoding transition t635 (595/850).
Encoding transition t636 (596/850).
Encoding transition t637 (597/850).
Encoding transition t638 (598/850).
Encoding transition t639 (599/850).
Encoding transition t64 (600/850).
Encoding transition t640 (601/850).
Encoding transition t641 (602/850).
Encoding transition t642 (603/850).
Encoding transition t643 (604/850).
Encoding transition t644 (605/850).
Encoding transition t645 (606/850).
Encoding transition t646 (607/850).
Encoding transition t647 (608/850).
Encoding transition t648 (609/850).
Encoding transition t649 (610/850).
Encoding transition t65 (611/850).
Encoding transition t650 (612/850).
Encoding transition t651 (613/850).
Encoding transition t652 (614/850).
Encoding transition t653 (615/850).
Encoding transition t654 (616/850).
Encoding transition t655 (617/850).
Encoding transition t656 (618/850).
Encoding transition t657 (619/850).
Encoding transition t658 (620/850).
Encoding transition t659 (621/850).
Encoding transition t66 (622/850).
Encoding transition t660 (623/850).
Encoding transition t661 (624/850).
Encoding transition t662 (625/850).
Encoding transition t663 (626/850).
Encoding transition t664 (627/850).
Encoding transition t665 (628/850).
Encoding transition t666 (629/850).
Encoding transition t667 (630/850).
Encoding transition t668 (631/850).
Encoding transition t669 (632/850).
Encoding transition t67 (633/850).
Encoding transition t670 (634/850).
Encoding transition t671 (635/850).
Encoding transition t672 (636/850).
Encoding transition t673 (637/850).
Encoding transition t674 (638/850).
Encoding transition t675 (639/850).
Encoding transition t676 (640/850).
Encoding transition t677 (641/850).
Encoding transition t678 (642/850).
Encoding transition t679 (643/850).
Encoding transition t68 (644/850).
Encoding transition t680 (645/850).
Encoding transition t681 (646/850).
Encoding transition t682 (647/850).
Encoding transition t683 (648/850).
Encoding transition t684 (649/850).
Encoding transition t685 (650/850).
Encoding transition t686 (651/850).
Encoding transition t687 (652/850).
Encoding transition t688 (653/850).
Encoding transition t689 (654/850).
Encoding transition t69 (655/850).
Encoding transition t690 (656/850).
Encoding transition t691 (657/850).
Encoding transition t692 (658/850).
Encoding transition t693 (659/850).
Encoding transition t694 (660/850).
Encoding transition t695 (661/850).
Encoding transition t696 (662/850).
Encoding transition t697 (663/850).
Encoding transition t698 (664/850).
Encoding transition t699 (665/850).
Encoding transition t7 (666/850).
Encoding transition t70 (667/850).
Encoding transition t700 (668/850).
Encoding transition t701 (669/850).
Encoding transition t702 (670/850).
Encoding transition t703 (671/850).
Encoding transition t704 (672/850).
Encoding transition t705 (673/850).
Encoding transition t706 (674/850).
Encoding transition t707 (675/850).
Encoding transition t708 (676/850).
Encoding transition t709 (677/850).
Encoding transition t71 (678/850).
Encoding transition t710 (679/850).
Encoding transition t711 (680/850).
Encoding transition t712 (681/850).
Encoding transition t713 (682/850).
Encoding transition t714 (683/850).
Encoding transition t715 (684/850).
Encoding transition t716 (685/850).
Encoding transition t717 (686/850).
Encoding transition t718 (687/850).
Encoding transition t719 (688/850).
Encoding transition t72 (689/850).
Encoding transition t720 (690/850).
Encoding transition t721 (691/850).
Encoding transition t722 (692/850).
Encoding transition t723 (693/850).
Encoding transition t724 (694/850).
Encoding transition t725 (695/850).
Encoding transition t726 (696/850).
Encoding transition t727 (697/850).
Encoding transition t728 (698/850).
Encoding transition t729 (699/850).
Encoding transition t73 (700/850).
Encoding transition t730 (701/850).
Encoding transition t731 (702/850).
Encoding transition t732 (703/850).
Encoding transition t733 (704/850).
Encoding transition t734 (705/850).
Encoding transition t735 (706/850).
Encoding transition t736 (707/850).
Encoding transition t737 (708/850).
Encoding transition t738 (709/850).
Encoding transition t739 (710/850).
Encoding transition t74 (711/850).
Encoding transition t740 (712/850).
Encoding transition t741 (713/850).
Encoding transition t742 (714/850).
Encoding transition t743 (715/850).
Encoding transition t744 (716/850).
Encoding transition t745 (717/850).
Encoding transition t746 (718/850).
Encoding transition t747 (719/850).
Encoding transition t748 (720/850).
Encoding transition t749 (721/850).
Encoding transition t75 (722/850).
Encoding transition t750 (723/850).
Encoding transition t751 (724/850).
Encoding transition t752 (725/850).
Encoding transition t753 (726/850).
Encoding transition t754 (727/850).
Encoding transition t755 (728/850).
Encoding transition t756 (729/850).
Encoding transition t757 (730/850).
Encoding transition t758 (731/850).
Encoding transition t759 (732/850).
Encoding transition t76 (733/850).
Encoding transition t760 (734/850).
Encoding transition t761 (735/850).
Encoding transition t762 (736/850).
Encoding transition t763 (737/850).
Encoding transition t764 (738/850).
Encoding transition t765 (739/850).
Encoding transition t766 (740/850).
Encoding transition t767 (741/850).
Encoding transition t768 (742/850).
Encoding transition t769 (743/850).
Encoding transition t77 (744/850).
Encoding transition t770 (745/850).
Encoding transition t771 (746/850).
Encoding transition t772 (747/850).
Encoding transition t773 (748/850).
Encoding transition t774 (749/850).
Encoding transition t775 (750/850).
Encoding transition t776 (751/850).
Encoding transition t777 (752/850).
Encoding transition t778 (753/850).
Encoding transition t779 (754/850).
Encoding transition t78 (755/850).
Encoding transition t780 (756/850).
Encoding transition t781 (757/850).
Encoding transition t782 (758/850).
Encoding transition t783 (759/850).
Encoding transition t784 (760/850).
Encoding transition t785 (761/850).
Encoding transition t786 (762/850).
Encoding transition t787 (763/850).
Encoding transition t788 (764/850).
Encoding transition t789 (765/850).
Encoding transition t79 (766/850).
Encoding transition t790 (767/850).
Encoding transition t791 (768/850).
Encoding transition t792 (769/850).
Encoding transition t793 (770/850).
Encoding transition t794 (771/850).
Encoding transition t795 (772/850).
Encoding transition t796 (773/850).
Encoding transition t797 (774/850).
Encoding transition t798 (775/850).
Encoding transition t799 (776/850).
Encoding transition t8 (777/850).
Encoding transition t80 (778/850).
Encoding transition t800 (779/850).
Encoding transition t801 (780/850).
Encoding transition t802 (781/850).
Encoding transition t803 (782/850).
Encoding transition t804 (783/850).
Encoding transition t805 (784/850).
Encoding transition t806 (785/850).
Encoding transition t807 (786/850).
Encoding transition t808 (787/850).
Encoding transition t809 (788/850).
Encoding transition t81 (789/850).
Encoding transition t810 (790/850).
Encoding transition t811 (791/850).
Encoding transition t812 (792/850).
Encoding transition t813 (793/850).
Encoding transition t814 (794/850).
Encoding transition t815 (795/850).
Encoding transition t816 (796/850).
Encoding transition t817 (797/850).
Encoding transition t818 (798/850).
Encoding transition t819 (799/850).
Encoding transition t82 (800/850).
Encoding transition t820 (801/850).
Encoding transition t821 (802/850).
Encoding transition t822 (803/850).
Encoding transition t823 (804/850).
Encoding transition t824 (805/850).
Encoding transition t825 (806/850).
Encoding transition t826 (807/850).
Encoding transition t827 (808/850).
Encoding transition t828 (809/850).
Encoding transition t829 (810/850).
Encoding transition t83 (811/850).
Encoding transition t830 (812/850).
Encoding transition t831 (813/850).
Encoding transition t832 (814/850).
Encoding transition t833 (815/850).
Encoding transition t834 (816/850).
Encoding transition t835 (817/850).
Encoding transition t836 (818/850).
Encoding transition t837 (819/850).
Encoding transition t838 (820/850).
Encoding transition t839 (821/850).
Encoding transition t84 (822/850).
Encoding transition t840 (823/850).
Encoding transition t841 (824/850).
Encoding transition t842 (825/850).
Encoding transition t843 (826/850).
Encoding transition t844 (827/850).
Encoding transition t845 (828/850).
Encoding transition t846 (829/850).
Encoding transition t847 (830/850).
Encoding transition t848 (831/850).
Encoding transition t849 (832/850).
Encoding transition t85 (833/850).
Encoding transition t850 (834/850).
Encoding transition t86 (835/850).
Encoding transition t87 (836/850).
Encoding transition t88 (837/850).
Encoding transition t89 (838/850).
Encoding transition t9 (839/850).
Encoding transition t90 (840/850).
Encoding transition t91 (841/850).
Encoding transition t92 (842/850).
Encoding transition t93 (843/850).
Encoding transition t94 (844/850).
Encoding transition t95 (845/850).
Encoding transition t96 (846/850).
Encoding transition t97 (847/850).
Encoding transition t98 (848/850).
Encoding transition t99 (849/850).
----------------------------------------
End firing rule encoding
----------------------------------------
----------------------------------------
Start RS generation
----------------------------------------
Total Used Memory: 66804KB
CANNOT_COMPUTE
BK_STOP 1400275440963
--------------------
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-d04r03"
export BK_EXAMINATION="ReachabilityFireabilitySimple"
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-d04r03.tgz
mv Echo-PT-d04r03 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-d04r03, examination is ReachabilityFireabilitySimple"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r01kn-qhx2-140025665901072"
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 ;