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