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