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