About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
5386.07 | 1653318 | 281.4 | MOVF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
........................................................
=====================================================================
Generated by BenchKit 2-1667
Executing tool greatspn
Input is QuasiCertifProtocol-PT-32, examination is ReachabilityBounds
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r04kn-qhx2-140043541701225
=====================================================================
--------------------
content from stdout:
BK_START 1400448446611
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running QuasiCertifProtocol (PT), instance 32
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/ReachabilityBounds.xml INTO /home/mcc/execution/ReachabilityBounds.rgmedd-ctl
BUILDING STRUCTURAL INFORMATIONS...
OK.
/home/mcc/BenchKit/bin/bin/RGMEDD model -FORCE-WES1 -h 2000000000 -B 10 -C -f /home/mcc/execution/ReachabilityBounds.rgmedd-ctl
Using FORCE Heuristic for the variable ordering.
Setting MEDDLY cache to 2000000000 bytes.
Opening file: model.bnd
----------------------------------------
Start firing rule encoding
----------------------------------------
Encoding transition SsendTS_20 (0/506).
Encoding transition SsendTS_19 (1/506).
Encoding transition SsendTS_18 (2/506).
Encoding transition SsendTS_17 (3/506).
Encoding transition SsendTS_24 (4/506).
Encoding transition SsendTS_23 (5/506).
Encoding transition SsendTS_22 (6/506).
Encoding transition SsendTS_21 (7/506).
Encoding transition SsendTS_28 (8/506).
Encoding transition SsendTS_27 (9/506).
Encoding transition SsendTS_26 (10/506).
Encoding transition SsendTS_25 (11/506).
Encoding transition SsendTS_32 (12/506).
Encoding transition SsendTS_31 (13/506).
Encoding transition SsendTS_30 (14/506).
Encoding transition SsendTS_29 (15/506).
Encoding transition SackCS_2 (16/506).
Encoding transition SackCS_3 (17/506).
Encoding transition SackCS_0 (18/506).
Encoding transition SackCS_1 (19/506).
Encoding transition SackCS_6 (20/506).
Encoding transition SackCS_7 (21/506).
Encoding transition SackCS_4 (22/506).
Encoding transition SackCS_5 (23/506).
Encoding transition SackCS_10 (24/506).
Encoding transition SackCS_11 (25/506).
Encoding transition SackCS_8 (26/506).
Encoding transition SackCS_9 (27/506).
Encoding transition SackCS_14 (28/506).
Encoding transition SackCS_15 (29/506).
Encoding transition SackCS_12 (30/506).
Encoding transition SackCS_13 (31/506).
Encoding transition CsendTS1_19 (32/506).
Encoding transition CsendTS1_18 (33/506).
Encoding transition CsendTS1_21 (34/506).
Encoding transition CsendTS1_20 (35/506).
Encoding transition CsendTS1_23 (36/506).
Encoding transition CsendTS1_22 (37/506).
Encoding transition CsendTS1_25 (38/506).
Encoding transition CsendTS1_24 (39/506).
Encoding transition CsendTS1_27 (40/506).
Encoding transition CsendTS1_26 (41/506).
Encoding transition CsendTS1_29 (42/506).
Encoding transition CsendTS1_28 (43/506).
Encoding transition CsendTS1_31 (44/506).
Encoding transition CsendTS1_30 (45/506).
Encoding transition SsendTS_0 (46/506).
Encoding transition CsendTS1_32 (47/506).
Encoding transition SsendTS_1 (48/506).
Encoding transition SsendTS_2 (49/506).
Encoding transition SsendTS_3 (50/506).
Encoding transition SsendTS_4 (51/506).
Encoding transition SsendTS_5 (52/506).
Encoding transition SsendTS_6 (53/506).
Encoding transition SsendTS_7 (54/506).
Encoding transition SsendTS_8 (55/506).
Encoding transition SsendTS_9 (56/506).
Encoding transition SsendTS_10 (57/506).
Encoding transition SsendTS_11 (58/506).
Encoding transition SsendTS_12 (59/506).
Encoding transition SsendTS_13 (60/506).
Encoding transition SsendTS_14 (61/506).
Encoding transition SsendTS_15 (62/506).
Encoding transition SsendTS_16 (63/506).
Encoding transition Sperform_22 (64/506).
Encoding transition Sperform_21 (65/506).
Encoding transition Sperform_20 (66/506).
Encoding transition Sperform_19 (67/506).
Encoding transition Sperform_18 (68/506).
Encoding transition Sperform_17 (69/506).
Encoding transition Sperform_16 (70/506).
Encoding transition Sperform_15 (71/506).
Encoding transition Sperform_30 (72/506).
Encoding transition Sperform_29 (73/506).
Encoding transition Sperform_28 (74/506).
Encoding transition Sperform_27 (75/506).
Encoding transition Sperform_26 (76/506).
Encoding transition Sperform_25 (77/506).
Encoding transition Sperform_24 (78/506).
Encoding transition Sperform_23 (79/506).
Encoding transition SreqTS_4 (80/506).
Encoding transition SreqTS_5 (81/506).
Encoding transition SreqTS_2 (82/506).
Encoding transition SreqTS_3 (83/506).
Encoding transition SreqTS_0 (84/506).
Encoding transition SreqTS_1 (85/506).
Encoding transition Sperform_31 (86/506).
Encoding transition Sperform_32 (87/506).
Encoding transition SreqTS_12 (88/506).
Encoding transition SreqTS_13 (89/506).
Encoding transition SreqTS_10 (90/506).
Encoding transition SreqTS_11 (91/506).
Encoding transition SreqTS_8 (92/506).
Encoding transition SreqTS_9 (93/506).
Encoding transition SreqTS_6 (94/506).
Encoding transition SreqTS_7 (95/506).
Encoding transition SackCS_21 (96/506).
Encoding transition SackCS_20 (97/506).
Encoding transition SackCS_23 (98/506).
Encoding transition SackCS_22 (99/506).
Encoding transition SackCS_17 (100/506).
Encoding transition SackCS_16 (101/506).
Encoding transition SackCS_19 (102/506).
Encoding transition SackCS_18 (103/506).
Encoding transition SackCS_29 (104/506).
Encoding transition SackCS_28 (105/506).
Encoding transition SackCS_31 (106/506).
Encoding transition SackCS_30 (107/506).
Encoding transition SackCS_25 (108/506).
Encoding transition SackCS_24 (109/506).
Encoding transition SackCS_27 (110/506).
Encoding transition SackCS_26 (111/506).
Encoding transition Sperform_3 (112/506).
Encoding transition Sperform_4 (113/506).
Encoding transition Sperform_5 (114/506).
Encoding transition Sperform_6 (115/506).
Encoding transition SackCS_32 (116/506).
Encoding transition Sperform_0 (117/506).
Encoding transition Sperform_1 (118/506).
Encoding transition Sperform_2 (119/506).
Encoding transition Sperform_11 (120/506).
Encoding transition Sperform_12 (121/506).
Encoding transition Sperform_13 (122/506).
Encoding transition Sperform_14 (123/506).
Encoding transition Sperform_7 (124/506).
Encoding transition Sperform_8 (125/506).
Encoding transition Sperform_9 (126/506).
Encoding transition Sperform_10 (127/506).
Encoding transition SgetTS_23 (128/506).
Encoding transition SgetTS_24 (129/506).
Encoding transition SgetTS_21 (130/506).
Encoding transition SgetTS_22 (131/506).
Encoding transition SgetTS_27 (132/506).
Encoding transition SgetTS_28 (133/506).
Encoding transition SgetTS_25 (134/506).
Encoding transition SgetTS_26 (135/506).
Encoding transition SgetTS_15 (136/506).
Encoding transition SgetTS_16 (137/506).
Encoding transition SgetTS_13 (138/506).
Encoding transition SgetTS_14 (139/506).
Encoding transition SgetTS_19 (140/506).
Encoding transition SgetTS_20 (141/506).
Encoding transition SgetTS_17 (142/506).
Encoding transition SgetTS_18 (143/506).
Encoding transition ScertCS_7 (144/506).
Encoding transition ScertCS_6 (145/506).
Encoding transition ScertCS_5 (146/506).
Encoding transition ScertCS_4 (147/506).
Encoding transition ScertCS_11 (148/506).
Encoding transition ScertCS_10 (149/506).
Encoding transition ScertCS_9 (150/506).
Encoding transition ScertCS_8 (151/506).
Encoding transition SgetTS_32 (152/506).
Encoding transition SgetTS_31 (153/506).
Encoding transition SgetTS_30 (154/506).
Encoding transition SgetTS_29 (155/506).
Encoding transition ScertCS_3 (156/506).
Encoding transition ScertCS_2 (157/506).
Encoding transition ScertCS_1 (158/506).
Encoding transition ScertCS_0 (159/506).
Encoding transition SreqTS_22 (160/506).
Encoding transition SreqTS_23 (161/506).
Encoding transition SreqTS_24 (162/506).
Encoding transition SreqTS_25 (163/506).
Encoding transition SreqTS_26 (164/506).
Encoding transition SreqTS_27 (165/506).
Encoding transition SreqTS_28 (166/506).
Encoding transition SreqTS_29 (167/506).
Encoding transition SreqTS_14 (168/506).
Encoding transition SreqTS_15 (169/506).
Encoding transition SreqTS_16 (170/506).
Encoding transition SreqTS_17 (171/506).
Encoding transition SreqTS_18 (172/506).
Encoding transition SreqTS_19 (173/506).
Encoding transition SreqTS_20 (174/506).
Encoding transition SreqTS_21 (175/506).
Encoding transition SgetTS_6 (176/506).
Encoding transition SgetTS_5 (177/506).
Encoding transition SgetTS_8 (178/506).
Encoding transition SgetTS_7 (179/506).
Encoding transition SgetTS_10 (180/506).
Encoding transition SgetTS_9 (181/506).
Encoding transition SgetTS_12 (182/506).
Encoding transition SgetTS_11 (183/506).
Encoding transition SreqTS_31 (184/506).
Encoding transition SreqTS_30 (185/506).
Encoding transition SgetTS_0 (186/506).
Encoding transition SreqTS_32 (187/506).
Encoding transition SgetTS_2 (188/506).
Encoding transition SgetTS_1 (189/506).
Encoding transition SgetTS_4 (190/506).
Encoding transition SgetTS_3 (191/506).
Encoding transition ScertCS_24 (192/506).
Encoding transition ScertCS_25 (193/506).
Encoding transition ScertCS_26 (194/506).
Encoding transition ScertCS_27 (195/506).
Encoding transition ScertCS_20 (196/506).
Encoding transition ScertCS_21 (197/506).
Encoding transition ScertCS_22 (198/506).
Encoding transition ScertCS_23 (199/506).
Encoding transition ScertCS_16 (200/506).
Encoding transition ScertCS_17 (201/506).
Encoding transition ScertCS_18 (202/506).
Encoding transition ScertCS_19 (203/506).
Encoding transition ScertCS_12 (204/506).
Encoding transition ScertCS_13 (205/506).
Encoding transition ScertCS_14 (206/506).
Encoding transition ScertCS_15 (207/506).
Encoding transition AgetTS (208/506).
Encoding transition AreqCS (209/506).
Encoding transition AreqTS (210/506).
Encoding transition AendCS (211/506).
Encoding transition ScertCS_32 (212/506).
Encoding transition AackCS (213/506).
Encoding transition AstartCS (214/506).
Encoding transition ScertCS_29 (215/506).
Encoding transition ScertCS_28 (216/506).
Encoding transition ScertCS_31 (217/506).
Encoding transition ScertCS_30 (218/506).
Encoding transition malC1_17 (219/506).
Encoding transition malC1_18 (220/506).
Encoding transition malC1_15 (221/506).
Encoding transition malC1_16 (222/506).
Encoding transition malC1_21 (223/506).
Encoding transition malC1_22 (224/506).
Encoding transition malC1_19 (225/506).
Encoding transition malC1_20 (226/506).
Encoding transition malC1_25 (227/506).
Encoding transition malC1_26 (228/506).
Encoding transition malC1_23 (229/506).
Encoding transition malC1_24 (230/506).
Encoding transition malC1_29 (231/506).
Encoding transition malC1_30 (232/506).
Encoding transition malC1_27 (233/506).
Encoding transition malC1_28 (234/506).
Encoding transition malC1_2 (235/506).
Encoding transition malC1_1 (236/506).
Encoding transition malC1_0 (237/506).
Encoding transition malC1_6 (238/506).
Encoding transition malC1_5 (239/506).
Encoding transition malC1_4 (240/506).
Encoding transition malC1_3 (241/506).
Encoding transition malC1_10 (242/506).
Encoding transition malC1_9 (243/506).
Encoding transition malC1_8 (244/506).
Encoding transition malC1_7 (245/506).
Encoding transition malC1_14 (246/506).
Encoding transition malC1_13 (247/506).
Encoding transition malC1_12 (248/506).
Encoding transition malC1_11 (249/506).
Encoding transition CgenCertif_20 (250/506).
Encoding transition CgenCertif_19 (251/506).
Encoding transition CgenCertif_22 (252/506).
Encoding transition CgenCertif_21 (253/506).
Encoding transition CgenCertif_24 (254/506).
Encoding transition CgenCertif_23 (255/506).
Encoding transition CgenCertif_26 (256/506).
Encoding transition CgenCertif_25 (257/506).
Encoding transition CgenCertif_28 (258/506).
Encoding transition CgenCertif_27 (259/506).
Encoding transition CgenCertif_30 (260/506).
Encoding transition CgenCertif_29 (261/506).
Encoding transition CgenCertif_32 (262/506).
Encoding transition CgenCertif_31 (263/506).
Encoding transition CsendTS1_1 (264/506).
Encoding transition CsendTS1_0 (265/506).
Encoding transition CsendTS1_2 (266/506).
Encoding transition CsendTS1_3 (267/506).
Encoding transition CsendTS1_4 (268/506).
Encoding transition CsendTS1_5 (269/506).
Encoding transition CsendTS1_6 (270/506).
Encoding transition CsendTS1_7 (271/506).
Encoding transition CsendTS1_8 (272/506).
Encoding transition CsendTS1_9 (273/506).
Encoding transition CsendTS1_10 (274/506).
Encoding transition CsendTS1_11 (275/506).
Encoding transition CsendTS1_12 (276/506).
Encoding transition CsendTS1_13 (277/506).
Encoding transition CsendTS1_14 (278/506).
Encoding transition CsendTS1_15 (279/506).
Encoding transition CsendTS1_16 (280/506).
Encoding transition CsendTS1_17 (281/506).
Encoding transition malS1_28 (282/506).
Encoding transition malS1_27 (283/506).
Encoding transition malS1_26 (284/506).
Encoding transition malS1_25 (285/506).
Encoding transition malS1_32 (286/506).
Encoding transition malS1_31 (287/506).
Encoding transition malS1_30 (288/506).
Encoding transition malS1_29 (289/506).
Encoding transition malA2 (290/506).
Encoding transition malA4 (291/506).
Encoding transition malA3 (292/506).
Encoding transition malA5 (293/506).
Encoding transition CgenCertif_2 (294/506).
Encoding transition CgenCertif_1 (295/506).
Encoding transition CgenCertif_0 (296/506).
Encoding transition malA1 (297/506).
Encoding transition CgenCertif_5 (298/506).
Encoding transition CgenCertif_6 (299/506).
Encoding transition CgenCertif_3 (300/506).
Encoding transition CgenCertif_4 (301/506).
Encoding transition CgenCertif_9 (302/506).
Encoding transition CgenCertif_10 (303/506).
Encoding transition CgenCertif_7 (304/506).
Encoding transition CgenCertif_8 (305/506).
Encoding transition CgenCertif_13 (306/506).
Encoding transition CgenCertif_14 (307/506).
Encoding transition CgenCertif_11 (308/506).
Encoding transition CgenCertif_12 (309/506).
Encoding transition CgenCertif_17 (310/506).
Encoding transition CgenCertif_18 (311/506).
Encoding transition CgenCertif_15 (312/506).
Encoding transition CgenCertif_16 (313/506).
Encoding transition malS2_31 (314/506).
Encoding transition malS2_30 (315/506).
Encoding transition malS1_0 (316/506).
Encoding transition malS2_32 (317/506).
Encoding transition malS2_27 (318/506).
Encoding transition malS2_26 (319/506).
Encoding transition malS2_29 (320/506).
Encoding transition malS2_28 (321/506).
Encoding transition malS1_6 (322/506).
Encoding transition malS1_5 (323/506).
Encoding transition malS1_8 (324/506).
Encoding transition malS1_7 (325/506).
Encoding transition malS1_2 (326/506).
Encoding transition malS1_1 (327/506).
Encoding transition malS1_4 (328/506).
Encoding transition malS1_3 (329/506).
Encoding transition malS1_13 (330/506).
Encoding transition malS1_14 (331/506).
Encoding transition malS1_15 (332/506).
Encoding transition malS1_16 (333/506).
Encoding transition malS1_9 (334/506).
Encoding transition malS1_10 (335/506).
Encoding transition malS1_11 (336/506).
Encoding transition malS1_12 (337/506).
Encoding transition malS1_21 (338/506).
Encoding transition malS1_22 (339/506).
Encoding transition malS1_23 (340/506).
Encoding transition malS1_24 (341/506).
Encoding transition malS1_17 (342/506).
Encoding transition malS1_18 (343/506).
Encoding transition malS1_19 (344/506).
Encoding transition malS1_20 (345/506).
Encoding transition malS2_1 (346/506).
Encoding transition malS2_0 (347/506).
Encoding transition malS3_32 (348/506).
Encoding transition malS3_31 (349/506).
Encoding transition malS3_30 (350/506).
Encoding transition malS3_29 (351/506).
Encoding transition malS3_28 (352/506).
Encoding transition malS3_27 (353/506).
Encoding transition malS2_9 (354/506).
Encoding transition malS2_8 (355/506).
Encoding transition malS2_7 (356/506).
Encoding transition malS2_6 (357/506).
Encoding transition malS2_5 (358/506).
Encoding transition malS2_4 (359/506).
Encoding transition malS2_3 (360/506).
Encoding transition malS2_2 (361/506).
Encoding transition malS2_16 (362/506).
Encoding transition malS2_17 (363/506).
Encoding transition malS2_14 (364/506).
Encoding transition malS2_15 (365/506).
Encoding transition malS2_12 (366/506).
Encoding transition malS2_13 (367/506).
Encoding transition malS2_10 (368/506).
Encoding transition malS2_11 (369/506).
Encoding transition malS2_24 (370/506).
Encoding transition malS2_25 (371/506).
Encoding transition malS2_22 (372/506).
Encoding transition malS2_23 (373/506).
Encoding transition malS2_20 (374/506).
Encoding transition malS2_21 (375/506).
Encoding transition malS2_18 (376/506).
Encoding transition malS2_19 (377/506).
Encoding transition malS3_3 (378/506).
Encoding transition malS3_4 (379/506).
Encoding transition malS3_5 (380/506).
Encoding transition malS3_6 (381/506).
Encoding transition malS3_7 (382/506).
Encoding transition malS3_8 (383/506).
Encoding transition malS3_9 (384/506).
Encoding transition malS3_10 (385/506).
Encoding transition malS4_28 (386/506).
Encoding transition malS4_29 (387/506).
Encoding transition malS4_30 (388/506).
Encoding transition malS4_31 (389/506).
Encoding transition malS4_32 (390/506).
Encoding transition malS3_0 (391/506).
Encoding transition malS3_1 (392/506).
Encoding transition malS3_2 (393/506).
Encoding transition malS3_20 (394/506).
Encoding transition malS3_19 (395/506).
Encoding transition malS3_22 (396/506).
Encoding transition malS3_21 (397/506).
Encoding transition malS3_24 (398/506).
Encoding transition malS3_23 (399/506).
Encoding transition malS3_26 (400/506).
Encoding transition malS3_25 (401/506).
Encoding transition malS3_12 (402/506).
Encoding transition malS3_11 (403/506).
Encoding transition malS3_14 (404/506).
Encoding transition malS3_13 (405/506).
Encoding transition malS3_16 (406/506).
Encoding transition malS3_15 (407/506).
Encoding transition malS3_18 (408/506).
Encoding transition malS3_17 (409/506).
Encoding transition malS4_6 (410/506).
Encoding transition malS4_7 (411/506).
Encoding transition malS4_4 (412/506).
Encoding transition malS4_5 (413/506).
Encoding transition malS4_10 (414/506).
Encoding transition malS4_11 (415/506).
Encoding transition malS4_8 (416/506).
Encoding transition malS4_9 (417/506).
Encoding transition malS5_31 (418/506).
Encoding transition malS5_32 (419/506).
Encoding transition malS5_29 (420/506).
Encoding transition malS5_30 (421/506).
Encoding transition malS4_2 (422/506).
Encoding transition malS4_3 (423/506).
Encoding transition malS4_0 (424/506).
Encoding transition malS4_1 (425/506).
Encoding transition malS4_23 (426/506).
Encoding transition malS4_22 (427/506).
Encoding transition malS4_21 (428/506).
Encoding transition malS4_20 (429/506).
Encoding transition malS4_27 (430/506).
Encoding transition malS4_26 (431/506).
Encoding transition malS4_25 (432/506).
Encoding transition malS4_24 (433/506).
Encoding transition malS4_15 (434/506).
Encoding transition malS4_14 (435/506).
Encoding transition malS4_13 (436/506).
Encoding transition malS4_12 (437/506).
Encoding transition malS4_19 (438/506).
Encoding transition malS4_18 (439/506).
Encoding transition malS4_17 (440/506).
Encoding transition malS4_16 (441/506).
Encoding transition malS5_9 (442/506).
Encoding transition malS5_10 (443/506).
Encoding transition malS5_11 (444/506).
Encoding transition malS5_12 (445/506).
Encoding transition malS5_5 (446/506).
Encoding transition malS5_6 (447/506).
Encoding transition malS5_7 (448/506).
Encoding transition malS5_8 (449/506).
Encoding transition malS5_1 (450/506).
Encoding transition malS5_2 (451/506).
Encoding transition malS5_3 (452/506).
Encoding transition malS5_4 (453/506).
Encoding transition malS6_30 (454/506).
Encoding transition malS6_31 (455/506).
Encoding transition malS6_32 (456/506).
Encoding transition malS5_0 (457/506).
Encoding transition malS5_26 (458/506).
Encoding transition malS5_25 (459/506).
Encoding transition malS5_28 (460/506).
Encoding transition malS5_27 (461/506).
Encoding transition malS5_22 (462/506).
Encoding transition malS5_21 (463/506).
Encoding transition malS5_24 (464/506).
Encoding transition malS5_23 (465/506).
Encoding transition malS5_18 (466/506).
Encoding transition malS5_17 (467/506).
Encoding transition malS5_20 (468/506).
Encoding transition malS5_19 (469/506).
Encoding transition malS5_14 (470/506).
Encoding transition malS5_13 (471/506).
Encoding transition malS5_16 (472/506).
Encoding transition malS5_15 (473/506).
Encoding transition malS6_12 (474/506).
Encoding transition malS6_13 (475/506).
Encoding transition malS6_10 (476/506).
Encoding transition malS6_11 (477/506).
Encoding transition malS6_8 (478/506).
Encoding transition malS6_9 (479/506).
Encoding transition malS6_6 (480/506).
Encoding transition malS6_7 (481/506).
Encoding transition malS6_4 (482/506).
Encoding transition malS6_5 (483/506).
Encoding transition malS6_2 (484/506).
Encoding transition malS6_3 (485/506).
Encoding transition malS6_0 (486/506).
Encoding transition malS6_1 (487/506).
Encoding transition malC1_31 (488/506).
Encoding transition malC1_32 (489/506).
Encoding transition malS6_29 (490/506).
Encoding transition malS6_28 (491/506).
Encoding transition malS6_27 (492/506).
Encoding transition malS6_26 (493/506).
Encoding transition malS6_25 (494/506).
Encoding transition malS6_24 (495/506).
Encoding transition malS6_23 (496/506).
Encoding transition malS6_22 (497/506).
Encoding transition malS6_21 (498/506).
Encoding transition malS6_20 (499/506).
Encoding transition malS6_19 (500/506).
Encoding transition malS6_18 (501/506).
Encoding transition malS6_17 (502/506).
Encoding transition malS6_16 (503/506).
Encoding transition malS6_15 (504/506).
Encoding transition malS6_14 (505/506).
----------------------------------------
End firing rule encoding
----------------------------------------
----------------------------------------
Start RS generation
----------------------------------------
Total Used Memory: 2313252KB
CANNOT_COMPUTE
BK_STOP 1400450100772
--------------------
content from stderr:
Cannot read input file model.bnd
MEDDLY Error: Insufficient memory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="QuasiCertifProtocol-PT-32"
export BK_EXAMINATION="ReachabilityBounds"
export BK_TOOL="greatspn"
export BK_RESULT_DIR="/home/fko/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/QuasiCertifProtocol-PT-32.tgz
mv QuasiCertifProtocol-PT-32 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-1667"
echo " Executing tool greatspn"
echo " Input is QuasiCertifProtocol-PT-32, examination is ReachabilityBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r04kn-qhx2-140043541701225"
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 ;