About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
197.28 | 6995 | 2568.7 | TTTFTTTTTT | 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 MultiwaySync-PT-none, examination is ReachabilityFireabilitySimple
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r21sr-ovh1-140191460300877
=====================================================================
--------------------
content from stdout:
BK_START 1401927891290
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running MultiwaySync (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/472).
Encoding transition t1 (1/472).
Encoding transition t2 (2/472).
Encoding transition t3 (3/472).
Encoding transition t4 (4/472).
Encoding transition t5 (5/472).
Encoding transition t6 (6/472).
Encoding transition t7 (7/472).
Encoding transition t8 (8/472).
Encoding transition t9 (9/472).
Encoding transition t10 (10/472).
Encoding transition t11 (11/472).
Encoding transition t12 (12/472).
Encoding transition t13 (13/472).
Encoding transition t14 (14/472).
Encoding transition t15 (15/472).
Encoding transition t16 (16/472).
Encoding transition t17 (17/472).
Encoding transition t18 (18/472).
Encoding transition t19 (19/472).
Encoding transition t20 (20/472).
Encoding transition t21 (21/472).
Encoding transition t22 (22/472).
Encoding transition t23 (23/472).
Encoding transition t24 (24/472).
Encoding transition t25 (25/472).
Encoding transition t26 (26/472).
Encoding transition t27 (27/472).
Encoding transition t28 (28/472).
Encoding transition t29 (29/472).
Encoding transition t30 (30/472).
Encoding transition t31 (31/472).
Encoding transition t32 (32/472).
Encoding transition t33 (33/472).
Encoding transition t34 (34/472).
Encoding transition t35 (35/472).
Encoding transition t36 (36/472).
Encoding transition t37 (37/472).
Encoding transition t38 (38/472).
Encoding transition t39 (39/472).
Encoding transition t40 (40/472).
Encoding transition t41 (41/472).
Encoding transition t42 (42/472).
Encoding transition t43 (43/472).
Encoding transition t44 (44/472).
Encoding transition t45 (45/472).
Encoding transition t46 (46/472).
Encoding transition t47 (47/472).
Encoding transition t48 (48/472).
Encoding transition t49 (49/472).
Encoding transition t50 (50/472).
Encoding transition t51 (51/472).
Encoding transition t52 (52/472).
Encoding transition t53 (53/472).
Encoding transition t54 (54/472).
Encoding transition t55 (55/472).
Encoding transition t56 (56/472).
Encoding transition t57 (57/472).
Encoding transition t58 (58/472).
Encoding transition t59 (59/472).
Encoding transition t60 (60/472).
Encoding transition t61 (61/472).
Encoding transition t62 (62/472).
Encoding transition t63 (63/472).
Encoding transition t64 (64/472).
Encoding transition t65 (65/472).
Encoding transition t66 (66/472).
Encoding transition t67 (67/472).
Encoding transition t68 (68/472).
Encoding transition t69 (69/472).
Encoding transition t70 (70/472).
Encoding transition t71 (71/472).
Encoding transition t72 (72/472).
Encoding transition t73 (73/472).
Encoding transition t74 (74/472).
Encoding transition t75 (75/472).
Encoding transition t76 (76/472).
Encoding transition t77 (77/472).
Encoding transition t78 (78/472).
Encoding transition t79 (79/472).
Encoding transition t80 (80/472).
Encoding transition t81 (81/472).
Encoding transition t82 (82/472).
Encoding transition t83 (83/472).
Encoding transition t84 (84/472).
Encoding transition t85 (85/472).
Encoding transition t86 (86/472).
Encoding transition t87 (87/472).
Encoding transition t88 (88/472).
Encoding transition t89 (89/472).
Encoding transition t90 (90/472).
Encoding transition t91 (91/472).
Encoding transition t92 (92/472).
Encoding transition t93 (93/472).
Encoding transition t94 (94/472).
Encoding transition t95 (95/472).
Encoding transition t96 (96/472).
Encoding transition t97 (97/472).
Encoding transition t98 (98/472).
Encoding transition t99 (99/472).
Encoding transition t100 (100/472).
Encoding transition t101 (101/472).
Encoding transition t102 (102/472).
Encoding transition t103 (103/472).
Encoding transition t104 (104/472).
Encoding transition t105 (105/472).
Encoding transition t106 (106/472).
Encoding transition t107 (107/472).
Encoding transition t108 (108/472).
Encoding transition t109 (109/472).
Encoding transition t110 (110/472).
Encoding transition t111 (111/472).
Encoding transition t112 (112/472).
Encoding transition t113 (113/472).
Encoding transition t114 (114/472).
Encoding transition t115 (115/472).
Encoding transition t116 (116/472).
Encoding transition t117 (117/472).
Encoding transition t118 (118/472).
Encoding transition t119 (119/472).
Encoding transition t120 (120/472).
Encoding transition t121 (121/472).
Encoding transition t122 (122/472).
Encoding transition t123 (123/472).
Encoding transition t124 (124/472).
Encoding transition t125 (125/472).
Encoding transition t126 (126/472).
Encoding transition t127 (127/472).
Encoding transition t128 (128/472).
Encoding transition t129 (129/472).
Encoding transition t130 (130/472).
Encoding transition t131 (131/472).
Encoding transition t132 (132/472).
Encoding transition t133 (133/472).
Encoding transition t134 (134/472).
Encoding transition t135 (135/472).
Encoding transition t136 (136/472).
Encoding transition t137 (137/472).
Encoding transition t138 (138/472).
Encoding transition t139 (139/472).
Encoding transition t140 (140/472).
Encoding transition t141 (141/472).
Encoding transition t142 (142/472).
Encoding transition t143 (143/472).
Encoding transition t144 (144/472).
Encoding transition t145 (145/472).
Encoding transition t146 (146/472).
Encoding transition t147 (147/472).
Encoding transition t148 (148/472).
Encoding transition t149 (149/472).
Encoding transition t150 (150/472).
Encoding transition t151 (151/472).
Encoding transition t152 (152/472).
Encoding transition t153 (153/472).
Encoding transition t154 (154/472).
Encoding transition t155 (155/472).
Encoding transition t156 (156/472).
Encoding transition t157 (157/472).
Encoding transition t158 (158/472).
Encoding transition t159 (159/472).
Encoding transition t160 (160/472).
Encoding transition t161 (161/472).
Encoding transition t162 (162/472).
Encoding transition t163 (163/472).
Encoding transition t164 (164/472).
Encoding transition t165 (165/472).
Encoding transition t166 (166/472).
Encoding transition t167 (167/472).
Encoding transition t168 (168/472).
Encoding transition t169 (169/472).
Encoding transition t170 (170/472).
Encoding transition t171 (171/472).
Encoding transition t172 (172/472).
Encoding transition t173 (173/472).
Encoding transition t174 (174/472).
Encoding transition t175 (175/472).
Encoding transition t176 (176/472).
Encoding transition t177 (177/472).
Encoding transition t178 (178/472).
Encoding transition t179 (179/472).
Encoding transition t180 (180/472).
Encoding transition t181 (181/472).
Encoding transition t182 (182/472).
Encoding transition t183 (183/472).
Encoding transition t184 (184/472).
Encoding transition t185 (185/472).
Encoding transition t186 (186/472).
Encoding transition t187 (187/472).
Encoding transition t188 (188/472).
Encoding transition t189 (189/472).
Encoding transition t190 (190/472).
Encoding transition t191 (191/472).
Encoding transition t192 (192/472).
Encoding transition t193 (193/472).
Encoding transition t194 (194/472).
Encoding transition t195 (195/472).
Encoding transition t196 (196/472).
Encoding transition t197 (197/472).
Encoding transition t198 (198/472).
Encoding transition t199 (199/472).
Encoding transition t200 (200/472).
Encoding transition t201 (201/472).
Encoding transition t202 (202/472).
Encoding transition t203 (203/472).
Encoding transition t204 (204/472).
Encoding transition t205 (205/472).
Encoding transition t206 (206/472).
Encoding transition t207 (207/472).
Encoding transition t208 (208/472).
Encoding transition t209 (209/472).
Encoding transition t210 (210/472).
Encoding transition t211 (211/472).
Encoding transition t212 (212/472).
Encoding transition t213 (213/472).
Encoding transition t214 (214/472).
Encoding transition t215 (215/472).
Encoding transition t216 (216/472).
Encoding transition t217 (217/472).
Encoding transition t218 (218/472).
Encoding transition t219 (219/472).
Encoding transition t220 (220/472).
Encoding transition t221 (221/472).
Encoding transition t222 (222/472).
Encoding transition t223 (223/472).
Encoding transition t224 (224/472).
Encoding transition t225 (225/472).
Encoding transition t226 (226/472).
Encoding transition t227 (227/472).
Encoding transition t228 (228/472).
Encoding transition t229 (229/472).
Encoding transition t230 (230/472).
Encoding transition t231 (231/472).
Encoding transition t232 (232/472).
Encoding transition t233 (233/472).
Encoding transition t234 (234/472).
Encoding transition t235 (235/472).
Encoding transition t236 (236/472).
Encoding transition t237 (237/472).
Encoding transition t238 (238/472).
Encoding transition t239 (239/472).
Encoding transition t240 (240/472).
Encoding transition t241 (241/472).
Encoding transition t242 (242/472).
Encoding transition t243 (243/472).
Encoding transition t244 (244/472).
Encoding transition t245 (245/472).
Encoding transition t246 (246/472).
Encoding transition t247 (247/472).
Encoding transition t248 (248/472).
Encoding transition t249 (249/472).
Encoding transition t250 (250/472).
Encoding transition t251 (251/472).
Encoding transition t252 (252/472).
Encoding transition t253 (253/472).
Encoding transition t254 (254/472).
Encoding transition t255 (255/472).
Encoding transition t256 (256/472).
Encoding transition t257 (257/472).
Encoding transition t258 (258/472).
Encoding transition t259 (259/472).
Encoding transition t260 (260/472).
Encoding transition t261 (261/472).
Encoding transition t262 (262/472).
Encoding transition t263 (263/472).
Encoding transition t264 (264/472).
Encoding transition t265 (265/472).
Encoding transition t266 (266/472).
Encoding transition t267 (267/472).
Encoding transition t268 (268/472).
Encoding transition t269 (269/472).
Encoding transition t270 (270/472).
Encoding transition t271 (271/472).
Encoding transition t272 (272/472).
Encoding transition t273 (273/472).
Encoding transition t274 (274/472).
Encoding transition t275 (275/472).
Encoding transition t276 (276/472).
Encoding transition t277 (277/472).
Encoding transition t278 (278/472).
Encoding transition t279 (279/472).
Encoding transition t280 (280/472).
Encoding transition t281 (281/472).
Encoding transition t282 (282/472).
Encoding transition t283 (283/472).
Encoding transition t284 (284/472).
Encoding transition t285 (285/472).
Encoding transition t286 (286/472).
Encoding transition t287 (287/472).
Encoding transition t288 (288/472).
Encoding transition t289 (289/472).
Encoding transition t290 (290/472).
Encoding transition t291 (291/472).
Encoding transition t292 (292/472).
Encoding transition t293 (293/472).
Encoding transition t294 (294/472).
Encoding transition t295 (295/472).
Encoding transition t296 (296/472).
Encoding transition t297 (297/472).
Encoding transition t298 (298/472).
Encoding transition t299 (299/472).
Encoding transition t300 (300/472).
Encoding transition t301 (301/472).
Encoding transition t302 (302/472).
Encoding transition t303 (303/472).
Encoding transition t304 (304/472).
Encoding transition t305 (305/472).
Encoding transition t306 (306/472).
Encoding transition t307 (307/472).
Encoding transition t308 (308/472).
Encoding transition t309 (309/472).
Encoding transition t310 (310/472).
Encoding transition t311 (311/472).
Encoding transition t312 (312/472).
Encoding transition t313 (313/472).
Encoding transition t314 (314/472).
Encoding transition t315 (315/472).
Encoding transition t316 (316/472).
Encoding transition t317 (317/472).
Encoding transition t318 (318/472).
Encoding transition t319 (319/472).
Encoding transition t320 (320/472).
Encoding transition t321 (321/472).
Encoding transition t322 (322/472).
Encoding transition t323 (323/472).
Encoding transition t324 (324/472).
Encoding transition t325 (325/472).
Encoding transition t326 (326/472).
Encoding transition t327 (327/472).
Encoding transition t328 (328/472).
Encoding transition t329 (329/472).
Encoding transition t330 (330/472).
Encoding transition t331 (331/472).
Encoding transition t332 (332/472).
Encoding transition t333 (333/472).
Encoding transition t334 (334/472).
Encoding transition t335 (335/472).
Encoding transition t336 (336/472).
Encoding transition t337 (337/472).
Encoding transition t338 (338/472).
Encoding transition t339 (339/472).
Encoding transition t340 (340/472).
Encoding transition t341 (341/472).
Encoding transition t342 (342/472).
Encoding transition t343 (343/472).
Encoding transition t344 (344/472).
Encoding transition t345 (345/472).
Encoding transition t346 (346/472).
Encoding transition t347 (347/472).
Encoding transition t348 (348/472).
Encoding transition t349 (349/472).
Encoding transition t350 (350/472).
Encoding transition t351 (351/472).
Encoding transition t352 (352/472).
Encoding transition t353 (353/472).
Encoding transition t354 (354/472).
Encoding transition t355 (355/472).
Encoding transition t356 (356/472).
Encoding transition t357 (357/472).
Encoding transition t358 (358/472).
Encoding transition t359 (359/472).
Encoding transition t360 (360/472).
Encoding transition t361 (361/472).
Encoding transition t362 (362/472).
Encoding transition t363 (363/472).
Encoding transition t364 (364/472).
Encoding transition t365 (365/472).
Encoding transition t366 (366/472).
Encoding transition t367 (367/472).
Encoding transition t368 (368/472).
Encoding transition t369 (369/472).
Encoding transition t370 (370/472).
Encoding transition t371 (371/472).
Encoding transition t372 (372/472).
Encoding transition t373 (373/472).
Encoding transition t374 (374/472).
Encoding transition t375 (375/472).
Encoding transition t376 (376/472).
Encoding transition t377 (377/472).
Encoding transition t378 (378/472).
Encoding transition t379 (379/472).
Encoding transition t380 (380/472).
Encoding transition t381 (381/472).
Encoding transition t382 (382/472).
Encoding transition t383 (383/472).
Encoding transition t384 (384/472).
Encoding transition t385 (385/472).
Encoding transition t386 (386/472).
Encoding transition t387 (387/472).
Encoding transition t388 (388/472).
Encoding transition t389 (389/472).
Encoding transition t390 (390/472).
Encoding transition t391 (391/472).
Encoding transition t392 (392/472).
Encoding transition t393 (393/472).
Encoding transition t394 (394/472).
Encoding transition t395 (395/472).
Encoding transition t396 (396/472).
Encoding transition t397 (397/472).
Encoding transition t398 (398/472).
Encoding transition t399 (399/472).
Encoding transition t400 (400/472).
Encoding transition t401 (401/472).
Encoding transition t402 (402/472).
Encoding transition t403 (403/472).
Encoding transition t404 (404/472).
Encoding transition t405 (405/472).
Encoding transition t406 (406/472).
Encoding transition t407 (407/472).
Encoding transition t408 (408/472).
Encoding transition t409 (409/472).
Encoding transition t410 (410/472).
Encoding transition t411 (411/472).
Encoding transition t412 (412/472).
Encoding transition t413 (413/472).
Encoding transition t414 (414/472).
Encoding transition t415 (415/472).
Encoding transition t416 (416/472).
Encoding transition t417 (417/472).
Encoding transition t418 (418/472).
Encoding transition t419 (419/472).
Encoding transition t420 (420/472).
Encoding transition t421 (421/472).
Encoding transition t422 (422/472).
Encoding transition t423 (423/472).
Encoding transition t424 (424/472).
Encoding transition t425 (425/472).
Encoding transition t426 (426/472).
Encoding transition t427 (427/472).
Encoding transition t428 (428/472).
Encoding transition t429 (429/472).
Encoding transition t430 (430/472).
Encoding transition t431 (431/472).
Encoding transition t432 (432/472).
Encoding transition t433 (433/472).
Encoding transition t434 (434/472).
Encoding transition t435 (435/472).
Encoding transition t436 (436/472).
Encoding transition t437 (437/472).
Encoding transition t438 (438/472).
Encoding transition t439 (439/472).
Encoding transition t440 (440/472).
Encoding transition t441 (441/472).
Encoding transition t442 (442/472).
Encoding transition t443 (443/472).
Encoding transition t444 (444/472).
Encoding transition t445 (445/472).
Encoding transition t446 (446/472).
Encoding transition t447 (447/472).
Encoding transition t448 (448/472).
Encoding transition t449 (449/472).
Encoding transition t450 (450/472).
Encoding transition t451 (451/472).
Encoding transition t452 (452/472).
Encoding transition t453 (453/472).
Encoding transition t454 (454/472).
Encoding transition t455 (455/472).
Encoding transition t456 (456/472).
Encoding transition t457 (457/472).
Encoding transition t458 (458/472).
Encoding transition t459 (459/472).
Encoding transition t460 (460/472).
Encoding transition t461 (461/472).
Encoding transition t462 (462/472).
Encoding transition t463 (463/472).
Encoding transition t464 (464/472).
Encoding transition t465 (465/472).
Encoding transition t466 (466/472).
Encoding transition t467 (467/472).
Encoding transition t468 (468/472).
Encoding transition t469 (469/472).
Encoding transition t470 (470/472).
Encoding transition t471 (471/472).
----------------------------------------
End firing rule encoding
----------------------------------------
----------------------------------------
Start RS generation
----------------------------------------
Total Used Memory: 13556KB
RS size: 2619109622113689600 (2.61911e+18)
----------------------------------------
End RS generation
----------------------------------------
FORMULA MultiwaySync-PT-none-ReachabilityFireabilitySimple-1 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA MultiwaySync-PT-none-ReachabilityFireabilitySimple-2 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA MultiwaySync-PT-none-ReachabilityFireabilitySimple-3 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA MultiwaySync-PT-none-ReachabilityFireabilitySimple-4 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA MultiwaySync-PT-none-ReachabilityFireabilitySimple-5 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA MultiwaySync-PT-none-ReachabilityFireabilitySimple-6 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA MultiwaySync-PT-none-ReachabilityFireabilitySimple-7 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA MultiwaySync-PT-none-ReachabilityFireabilitySimple-8 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA MultiwaySync-PT-none-ReachabilityFireabilitySimple-9 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA MultiwaySync-PT-none-ReachabilityFireabilitySimple-10 TRUE TECHNIQUES DECISION_DIAGRAMS
Ok.
BK_STOP 1401927902046
--------------------
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="MultiwaySync-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/MultiwaySync-PT-none.tgz
mv MultiwaySync-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 MultiwaySync-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-140191460300877"
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 ;