About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
5836.96 | 1022406 | 335.2 | CC | 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 SurpriseCSRepetitions-PT-07, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r06ks-qhx2-140066505300722
=====================================================================
--------------------
content from stdout:
BK_START 1400673749524
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running SurpriseCSRepetitions (PT), instance 07
MODEL_DIR = /home/mcc/execution
CONVERT PNML /home/mcc/execution/model.pnml
COMPUTING STRUCTURAL INFO.
CONVERT FORMULAE /home/mcc/execution/ReachabilityFireability.xml INTO /home/mcc/execution/ReachabilityFireability.rgmedd-ctl
/home/mcc/BenchKit/bin/bin/RGMEDD model -FORCE-P -h 2000000000 -B 21 -C -f /home/mcc/execution/ReachabilityFireability.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 Read_Request_8_3 (0/833).
Encoding transition Send_Answer_31_6 (1/833).
Encoding transition Send_Answer_10_2 (2/833).
Encoding transition Send_Answer_39_6 (3/833).
Encoding transition Send_Answer_37_3 (4/833).
Encoding transition Send_Answer_24_7 (5/833).
Encoding transition Read_Request_22_2 (6/833).
Encoding transition Read_Request_48_2 (7/833).
Encoding transition Read_Request_20_5 (8/833).
Encoding transition Read_Request_13_5 (9/833).
Encoding transition Send_Answer_31_1 (10/833).
Encoding transition Read_Request_41_4 (11/833).
Encoding transition Read_Request_15_3 (12/833).
Encoding transition Read_Request_43_4 (13/833).
Encoding transition Send_Answer_45_1 (14/833).
Encoding transition Read_Request_15_2 (15/833).
Encoding transition Read_Request_33_7 (16/833).
Encoding transition Send_Answer_15_2 (17/833).
Encoding transition Read_Request_33_1 (18/833).
Encoding transition Send_Answer_1_1 (19/833).
Encoding transition Send_Answer_5_7 (20/833).
Encoding transition Read_Request_43_6 (21/833).
Encoding transition Send_Answer_26_6 (22/833).
Encoding transition Read_Request_13_3 (23/833).
Encoding transition Send_Answer_29_3 (24/833).
Encoding transition Send_Answer_2_6 (25/833).
Encoding transition Prepare_Request_5 (26/833).
Encoding transition Send_Answer_45_6 (27/833).
Encoding transition Read_Request_12_2 (28/833).
Encoding transition Send_Answer_19_7 (29/833).
Encoding transition Read_Request_29_5 (30/833).
Encoding transition Read_Request_1_5 (31/833).
Encoding transition Read_Request_8_1 (32/833).
Encoding transition Send_Answer_10_4 (33/833).
Encoding transition Send_Answer_22_3 (34/833).
Encoding transition Send_Answer_13_4 (35/833).
Encoding transition Read_Request_5_2 (36/833).
Encoding transition Send_Answer_23_4 (37/833).
Encoding transition Send_Answer_37_5 (38/833).
Encoding transition Send_Answer_24_2 (39/833).
Encoding transition Send_Answer_40_6 (40/833).
Encoding transition Send_Answer_9_5 (41/833).
Encoding transition Read_Request_22_7 (42/833).
Encoding transition Prepare_Request_3 (43/833).
Encoding transition Send_Answer_48_3 (44/833).
Encoding transition Send_Request_45 (45/833).
Encoding transition Send_Answer_29_2 (46/833).
Encoding transition Send_Answer_17_6 (47/833).
Encoding transition Read_Request_47_6 (48/833).
Encoding transition Send_Answer_37_4 (49/833).
Encoding transition Send_Answer_24_4 (50/833).
Encoding transition Read_Request_27_3 (51/833).
Encoding transition Read_Request_15_6 (52/833).
Encoding transition Prepare_Request_46 (53/833).
Encoding transition Lose_Request_3 (54/833).
Encoding transition Read_Request_15_1 (55/833).
Encoding transition Prepare_Request_10 (56/833).
Encoding transition Read_Request_36_7 (57/833).
Encoding transition Read_Request_8_6 (58/833).
Encoding transition Read_Request_36_6 (59/833).
Encoding transition Read_Request_5_4 (60/833).
Encoding transition Send_Answer_36_4 (61/833).
Encoding transition Send_Answer_21_3 (62/833).
Encoding transition Send_Answer_33_5 (63/833).
Encoding transition Read_Request_33_2 (64/833).
Encoding transition Read_Request_39_5 (65/833).
Encoding transition Send_Answer_9_3 (66/833).
Encoding transition Send_Answer_17_1 (67/833).
Encoding transition Send_Answer_4_7 (68/833).
Encoding transition Read_Request_26_7 (69/833).
Encoding transition Read_Request_25_1 (70/833).
Encoding transition Lose_Request_37 (71/833).
Encoding transition Send_Answer_35_1 (72/833).
Encoding transition Send_Request_14 (73/833).
Encoding transition Send_Answer_6_5 (74/833).
Encoding transition Read_Request_26_3 (75/833).
Encoding transition Send_Answer_43_2 (76/833).
Encoding transition Read_Request_35_1 (77/833).
Encoding transition Send_Request_3 (78/833).
Encoding transition Read_Request_40_2 (79/833).
Encoding transition Read_Request_16_1 (80/833).
Encoding transition Read_Request_12_4 (81/833).
Encoding transition Send_Request_25 (82/833).
Encoding transition Read_Request_5_7 (83/833).
Encoding transition Read_Request_32_4 (84/833).
Encoding transition Read_Request_36_3 (85/833).
Encoding transition Send_Answer_18_3 (86/833).
Encoding transition Read_Request_14_2 (87/833).
Encoding transition Read_Request_46_5 (88/833).
Encoding transition Read_Request_44_7 (89/833).
Encoding transition Read_Request_12_5 (90/833).
Encoding transition Send_Answer_22_1 (91/833).
Encoding transition Read_Request_15_4 (92/833).
Encoding transition Send_Answer_38_7 (93/833).
Encoding transition Send_Answer_18_7 (94/833).
Encoding transition Read_Request_36_5 (95/833).
Encoding transition Send_Answer_2_1 (96/833).
Encoding transition Lose_Request_20 (97/833).
Encoding transition Send_Answer_8_1 (98/833).
Encoding transition Read_Request_23_7 (99/833).
Encoding transition Send_Answer_42_3 (100/833).
Encoding transition Send_Answer_25_6 (101/833).
Encoding transition Send_Request_42 (102/833).
Encoding transition Send_Answer_27_4 (103/833).
Encoding transition Send_Request_20 (104/833).
Encoding transition Send_Answer_15_5 (105/833).
Encoding transition Send_Answer_39_2 (106/833).
Encoding transition Send_Answer_9_6 (107/833).
Encoding transition Send_Answer_10_7 (108/833).
Encoding transition Prepare_Request_33 (109/833).
Encoding transition Read_Request_25_6 (110/833).
Encoding transition Read_Request_43_3 (111/833).
Encoding transition Send_Request_28 (112/833).
Encoding transition Lose_Request_46 (113/833).
Encoding transition Read_Request_33_3 (114/833).
Encoding transition Read_Request_7_1 (115/833).
Encoding transition Read_Request_23_2 (116/833).
Encoding transition Lose_Request_28 (117/833).
Encoding transition Send_Answer_35_7 (118/833).
Encoding transition Send_Answer_5_4 (119/833).
Encoding transition Prepare_Request_16 (120/833).
Encoding transition Send_Answer_5_5 (121/833).
Encoding transition Read_Request_32_2 (122/833).
Encoding transition Read_Request_46_6 (123/833).
Encoding transition Read_Request_16_6 (124/833).
Encoding transition Read_Request_34_7 (125/833).
Encoding transition Read_Request_18_6 (126/833).
Encoding transition Read_Request_21_5 (127/833).
Encoding transition Read_Request_6_7 (128/833).
Encoding transition Send_Answer_32_2 (129/833).
Encoding transition Send_Answer_32_6 (130/833).
Encoding transition Send_Answer_45_4 (131/833).
Encoding transition Send_Answer_4_2 (132/833).
Encoding transition Read_Request_25_7 (133/833).
Encoding transition Send_Answer_25_7 (134/833).
Encoding transition Send_Answer_18_6 (135/833).
Encoding transition Read_Request_38_5 (136/833).
Encoding transition Lose_Request_2 (137/833).
Encoding transition Read_Request_2_5 (138/833).
Encoding transition Lose_Request_47 (139/833).
Encoding transition Send_Answer_46_6 (140/833).
Encoding transition Read_Request_5_3 (141/833).
Encoding transition Send_Request_17 (142/833).
Encoding transition Send_Answer_34_3 (143/833).
Encoding transition Read_Request_4_2 (144/833).
Encoding transition Send_Request_31 (145/833).
Encoding transition Lose_Request_9 (146/833).
Encoding transition Read_Request_16_7 (147/833).
Encoding transition Read_Request_47_2 (148/833).
Encoding transition Read_Request_44_6 (149/833).
Encoding transition Send_Answer_45_3 (150/833).
Encoding transition Send_Answer_11_2 (151/833).
Encoding transition Read_Request_7_3 (152/833).
Encoding transition Send_Answer_17_4 (153/833).
Encoding transition Read_Request_22_4 (154/833).
Encoding transition Send_Answer_49_7 (155/833).
Encoding transition Send_Answer_49_3 (156/833).
Encoding transition Read_Request_7_6 (157/833).
Encoding transition Send_Request_46 (158/833).
Encoding transition Send_Answer_4_3 (159/833).
Encoding transition Send_Answer_32_5 (160/833).
Encoding transition Send_Answer_14_1 (161/833).
Encoding transition Read_Request_15_7 (162/833).
Encoding transition Send_Request_4 (163/833).
Encoding transition Read_Request_44_1 (164/833).
Encoding transition Read_Request_35_3 (165/833).
Encoding transition Send_Answer_30_7 (166/833).
Encoding transition Send_Answer_14_2 (167/833).
Encoding transition Read_Request_6_2 (168/833).
Encoding transition Read_Request_17_6 (169/833).
Encoding transition Send_Answer_26_4 (170/833).
Encoding transition Send_Answer_12_6 (171/833).
Encoding transition Prepare_Request_4 (172/833).
Encoding transition Read_Request_28_5 (173/833).
Encoding transition Read_Request_3_5 (174/833).
Encoding transition Send_Request_9 (175/833).
Encoding transition Send_Answer_42_1 (176/833).
Encoding transition Send_Request_22 (177/833).
Encoding transition Read_Request_27_2 (178/833).
Encoding transition Send_Answer_33_6 (179/833).
Encoding transition Send_Answer_3_6 (180/833).
Encoding transition Send_Answer_1_3 (181/833).
Encoding transition Read_Request_4_4 (182/833).
Encoding transition Read_Request_31_4 (183/833).
Encoding transition Read_Request_34_2 (184/833).
Encoding transition Send_Answer_12_3 (185/833).
Encoding transition Send_Answer_44_3 (186/833).
Encoding transition Read_Request_16_3 (187/833).
Encoding transition Lose_Request_21 (188/833).
Encoding transition Read_Request_18_5 (189/833).
Encoding transition Prepare_Request_44 (190/833).
Encoding transition Lose_Request_14 (191/833).
Encoding transition Read_Request_38_4 (192/833).
Encoding transition Send_Answer_14_5 (193/833).
Encoding transition Read_Request_47_5 (194/833).
Encoding transition Read_Request_26_6 (195/833).
Encoding transition Send_Answer_3_1 (196/833).
Encoding transition Send_Answer_21_7 (197/833).
Encoding transition Send_Answer_24_6 (198/833).
Encoding transition Send_Answer_19_3 (199/833).
Encoding transition Read_Request_44_3 (200/833).
Encoding transition Read_Request_41_2 (201/833).
Encoding transition Send_Answer_49_2 (202/833).
Encoding transition Send_Answer_39_3 (203/833).
Encoding transition Send_Answer_7_1 (204/833).
Encoding transition Send_Answer_24_5 (205/833).
Encoding transition Send_Answer_42_6 (206/833).
Encoding transition Read_Request_11_5 (207/833).
Encoding transition Read_Request_35_6 (208/833).
Encoding transition Read_Request_24_7 (209/833).
Encoding transition Read_Request_13_2 (210/833).
Encoding transition Read_Request_13_4 (211/833).
Encoding transition Send_Answer_35_4 (212/833).
Encoding transition Prepare_Request_32 (213/833).
Encoding transition Send_Answer_21_2 (214/833).
Encoding transition Send_Answer_11_6 (215/833).
Encoding transition Send_Answer_30_3 (216/833).
Encoding transition Send_Answer_25_5 (217/833).
Encoding transition Send_Request_27 (218/833).
Encoding transition Read_Request_20_2 (219/833).
Encoding transition Send_Answer_15_4 (220/833).
Encoding transition Send_Answer_42_5 (221/833).
Encoding transition Send_Request_32 (222/833).
Encoding transition Send_Answer_15_6 (223/833).
Encoding transition Send_Answer_31_2 (224/833).
Encoding transition Read_Request_20_1 (225/833).
Encoding transition Read_Request_17_7 (226/833).
Encoding transition Read_Request_6_1 (227/833).
Encoding transition Send_Answer_22_2 (228/833).
Encoding transition Send_Answer_43_5 (229/833).
Encoding transition Read_Request_34_1 (230/833).
Encoding transition Send_Answer_43_6 (231/833).
Encoding transition Send_Answer_34_6 (232/833).
Encoding transition Read_Request_3_7 (233/833).
Encoding transition Read_Request_34_3 (234/833).
Encoding transition Send_Answer_20_3 (235/833).
Encoding transition Read_Request_45_4 (236/833).
Encoding transition Read_Request_10_5 (237/833).
Encoding transition Send_Answer_6_1 (238/833).
Encoding transition Read_Request_6_3 (239/833).
Encoding transition Read_Request_23_5 (240/833).
Encoding transition Read_Request_25_3 (241/833).
Encoding transition Lose_Request_48 (242/833).
Encoding transition Send_Answer_3_7 (243/833).
Encoding transition Send_Answer_43_1 (244/833).
Encoding transition Send_Answer_3_2 (245/833).
Encoding transition Read_Request_44_5 (246/833).
Encoding transition Read_Request_43_7 (247/833).
Encoding transition Send_Answer_48_7 (248/833).
Encoding transition Send_Answer_34_1 (249/833).
Encoding transition Lose_Request_41 (250/833).
Encoding transition Lose_Request_34 (251/833).
Encoding transition Read_Request_37_5 (252/833).
Encoding transition Prepare_Request_19 (253/833).
Encoding transition Read_Request_10_7 (254/833).
Encoding transition Read_Request_30_5 (255/833).
Encoding transition Send_Answer_18_4 (256/833).
Encoding transition Send_Answer_27_3 (257/833).
Encoding transition Lose_Request_10 (258/833).
Encoding transition Read_Request_27_1 (259/833).
Encoding transition Read_Request_45_3 (260/833).
Encoding transition Send_Request_37 (261/833).
Encoding transition Send_Answer_43_7 (262/833).
Encoding transition Send_Answer_25_1 (263/833).
Encoding transition Read_Request_45_6 (264/833).
Encoding transition Send_Answer_24_1 (265/833).
Encoding transition Read_Request_46_2 (266/833).
Encoding transition Send_Answer_46_4 (267/833).
Encoding transition Send_Answer_42_2 (268/833).
Encoding transition Read_Request_48_1 (269/833).
Encoding transition Prepare_Request_35 (270/833).
Encoding transition Read_Request_13_1 (271/833).
Encoding transition Send_Answer_22_7 (272/833).
Encoding transition Read_Request_31_3 (273/833).
Encoding transition Read_Request_23_4 (274/833).
Encoding transition Read_Request_41_1 (275/833).
Encoding transition Send_Request_19 (276/833).
Encoding transition Lose_Request_22 (277/833).
Encoding transition Send_Answer_11_4 (278/833).
Encoding transition Send_Answer_47_3 (279/833).
Encoding transition Send_Answer_33_7 (280/833).
Encoding transition Read_Request_35_2 (281/833).
Encoding transition Read_Request_45_2 (282/833).
Encoding transition Send_Answer_25_4 (283/833).
Encoding transition Lose_Request_13 (284/833).
Encoding transition Read_Request_39_4 (285/833).
Encoding transition Read_Request_9_6 (286/833).
Encoding transition Read_Request_38_3 (287/833).
Encoding transition Send_Answer_20_7 (288/833).
Encoding transition Send_Answer_4_6 (289/833).
Encoding transition Read_Request_24_3 (290/833).
Encoding transition Read_Request_19_5 (291/833).
Encoding transition Send_Answer_15_1 (292/833).
Encoding transition Read_Request_42_1 (293/833).
Encoding transition Read_Request_2_6 (294/833).
Encoding transition Lose_Request_27 (295/833).
Encoding transition Read_Request_3_3 (296/833).
Encoding transition Send_Answer_11_3 (297/833).
Encoding transition Send_Answer_8_4 (298/833).
Encoding transition Send_Answer_4_5 (299/833).
Encoding transition Read_Request_30_4 (300/833).
Encoding transition Send_Answer_6_4 (301/833).
Encoding transition Read_Request_10_3 (302/833).
Encoding transition Read_Request_21_2 (303/833).
Encoding transition Prepare_Request_7 (304/833).
Encoding transition Send_Answer_13_2 (305/833).
Encoding transition Send_Answer_2_3 (306/833).
Encoding transition Read_Request_4_5 (307/833).
Encoding transition Prepare_Request_17 (308/833).
Encoding transition Send_Request_1 (309/833).
Encoding transition Send_Answer_41_6 (310/833).
Encoding transition Send_Answer_35_5 (311/833).
Encoding transition Send_Request_47 (312/833).
Encoding transition Read_Request_31_5 (313/833).
Encoding transition Lose_Request_1 (314/833).
Encoding transition Read_Request_37_6 (315/833).
Encoding transition Prepare_Request_25 (316/833).
Encoding transition Send_Answer_19_1 (317/833).
Encoding transition Send_Answer_23_6 (318/833).
Encoding transition Send_Answer_49_5 (319/833).
Encoding transition Read_Request_3_4 (320/833).
Encoding transition Read_Request_5_1 (321/833).
Encoding transition Read_Request_9_5 (322/833).
Encoding transition Lose_Request_40 (323/833).
Encoding transition Send_Answer_12_1 (324/833).
Encoding transition Prepare_Request_45 (325/833).
Encoding transition Send_Answer_2_7 (326/833).
Encoding transition Lose_Request_35 (327/833).
Encoding transition Send_Answer_44_6 (328/833).
Encoding transition Send_Answer_33_4 (329/833).
Encoding transition Send_Answer_14_6 (330/833).
Encoding transition Send_Answer_12_7 (331/833).
Encoding transition Send_Answer_33_1 (332/833).
Encoding transition Read_Request_17_3 (333/833).
Encoding transition Send_Answer_40_5 (334/833).
Encoding transition Prepare_Request_34 (335/833).
Encoding transition Read_Request_23_6 (336/833).
Encoding transition Send_Answer_5_1 (337/833).
Encoding transition Send_Answer_5_6 (338/833).
Encoding transition Send_Answer_6_3 (339/833).
Encoding transition Send_Answer_41_2 (340/833).
Encoding transition Send_Answer_48_2 (341/833).
Encoding transition Send_Answer_13_3 (342/833).
Encoding transition Read_Request_23_3 (343/833).
Encoding transition Read_Request_28_1 (344/833).
Encoding transition Send_Answer_7_5 (345/833).
Encoding transition Prepare_Request_27 (346/833).
Encoding transition Read_Request_44_4 (347/833).
Encoding transition Read_Request_4_7 (348/833).
Encoding transition Read_Request_19_1 (349/833).
Encoding transition Send_Request_12 (350/833).
Encoding transition Send_Request_40 (351/833).
Encoding transition Send_Answer_16_6 (352/833).
Encoding transition Read_Request_24_4 (353/833).
Encoding transition Send_Answer_40_7 (354/833).
Encoding transition Send_Answer_21_5 (355/833).
Encoding transition Read_Request_17_4 (356/833).
Encoding transition Send_Answer_26_5 (357/833).
Encoding transition Read_Request_18_7 (358/833).
Encoding transition Read_Request_7_2 (359/833).
Encoding transition Lose_Request_49 (360/833).
Encoding transition Send_Answer_36_3 (361/833).
Encoding transition Read_Request_14_1 (362/833).
Encoding transition Send_Answer_28_3 (363/833).
Encoding transition Read_Request_10_4 (364/833).
Encoding transition Send_Request_30 (365/833).
Encoding transition Read_Request_4_3 (366/833).
Encoding transition Read_Request_36_2 (367/833).
Encoding transition Prepare_Request_6 (368/833).
Encoding transition Send_Answer_47_1 (369/833).
Encoding transition Send_Answer_33_2 (370/833).
Encoding transition Send_Answer_26_2 (371/833).
Encoding transition Send_Answer_5_2 (372/833).
Encoding transition Send_Answer_12_2 (373/833).
Encoding transition Prepare_Request_14 (374/833).
Encoding transition Read_Request_47_4 (375/833).
Encoding transition Read_Request_5_5 (376/833).
Encoding transition Send_Answer_40_1 (377/833).
Encoding transition Read_Request_37_3 (378/833).
Encoding transition Send_Answer_19_4 (379/833).
Encoding transition Send_Answer_28_4 (380/833).
Encoding transition Send_Answer_14_4 (381/833).
Encoding transition Send_Request_48 (382/833).
Encoding transition Read_Request_11_4 (383/833).
Encoding transition Send_Answer_46_3 (384/833).
Encoding transition Send_Answer_13_1 (385/833).
Encoding transition Send_Answer_31_4 (386/833).
Encoding transition Read_Request_1_2 (387/833).
Encoding transition Read_Request_8_2 (388/833).
Encoding transition Read_Request_25_4 (389/833).
Encoding transition Read_Request_18_3 (390/833).
Encoding transition Send_Request_2 (391/833).
Encoding transition Send_Answer_47_4 (392/833).
Encoding transition Read_Request_16_5 (393/833).
Encoding transition Send_Answer_42_4 (394/833).
Encoding transition Send_Answer_49_6 (395/833).
Encoding transition Read_Request_31_7 (396/833).
Encoding transition Send_Answer_23_7 (397/833).
Encoding transition Read_Request_45_7 (398/833).
Encoding transition Read_Request_32_7 (399/833).
Encoding transition Lose_Request_7 (400/833).
Encoding transition Send_Answer_26_1 (401/833).
Encoding transition Send_Answer_28_7 (402/833).
Encoding transition Read_Request_9_3 (403/833).
Encoding transition Send_Answer_14_7 (404/833).
Encoding transition Read_Request_46_7 (405/833).
Encoding transition Read_Request_10_6 (406/833).
Encoding transition Read_Request_38_6 (407/833).
Encoding transition Lose_Request_26 (408/833).
Encoding transition Read_Request_45_5 (409/833).
Encoding transition Send_Answer_12_5 (410/833).
Encoding transition Read_Request_24_6 (411/833).
Encoding transition Send_Answer_6_6 (412/833).
Encoding transition Send_Answer_41_5 (413/833).
Encoding transition Send_Answer_3_4 (414/833).
Encoding transition Prepare_Request_43 (415/833).
Encoding transition Read_Request_40_1 (416/833).
Encoding transition Read_Request_22_1 (417/833).
Encoding transition Send_Answer_14_3 (418/833).
Encoding transition Lose_Request_8 (419/833).
Encoding transition Read_Request_40_6 (420/833).
Encoding transition Send_Answer_20_4 (421/833).
Encoding transition Send_Answer_34_5 (422/833).
Encoding transition Read_Request_29_2 (423/833).
Encoding transition Send_Answer_41_3 (424/833).
Encoding transition Send_Request_38 (425/833).
Encoding transition Send_Request_24 (426/833).
Encoding transition Prepare_Request_42 (427/833).
Encoding transition Send_Request_43 (428/833).
Encoding transition Read_Request_16_4 (429/833).
Encoding transition Read_Request_22_6 (430/833).
Encoding transition Read_Request_2_4 (431/833).
Encoding transition Send_Answer_6_2 (432/833).
Encoding transition Send_Answer_20_5 (433/833).
Encoding transition Send_Request_15 (434/833).
Encoding transition Read_Request_47_7 (435/833).
Encoding transition Send_Answer_13_6 (436/833).
Encoding transition Read_Request_29_1 (437/833).
Encoding transition Read_Request_8_5 (438/833).
Encoding transition Read_Request_25_5 (439/833).
Encoding transition Read_Request_29_6 (440/833).
Encoding transition Send_Answer_48_5 (441/833).
Encoding transition Lose_Request_43 (442/833).
Encoding transition Read_Request_36_4 (443/833).
Encoding transition Read_Request_26_2 (444/833).
Encoding transition Send_Request_29 (445/833).
Encoding transition Read_Request_47_1 (446/833).
Encoding transition Send_Answer_35_2 (447/833).
Encoding transition Prepare_Request_24 (448/833).
Encoding transition Read_Request_43_5 (449/833).
Encoding transition Send_Answer_13_5 (450/833).
Encoding transition Send_Answer_19_2 (451/833).
Encoding transition Lose_Request_23 (452/833).
Encoding transition Send_Answer_46_1 (453/833).
Encoding transition Lose_Request_16 (454/833).
Encoding transition Read_Request_46_3 (455/833).
Encoding transition Send_Answer_5_3 (456/833).
Encoding transition Send_Answer_48_4 (457/833).
Encoding transition Send_Answer_4_1 (458/833).
Encoding transition Read_Request_1_6 (459/833).
Encoding transition Send_Answer_27_5 (460/833).
Encoding transition Send_Answer_40_2 (461/833).
Encoding transition Read_Request_32_5 (462/833).
Encoding transition Read_Request_29_4 (463/833).
Encoding transition Read_Request_32_3 (464/833).
Encoding transition Send_Request_10 (465/833).
Encoding transition Send_Answer_32_1 (466/833).
Encoding transition Send_Answer_18_1 (467/833).
Encoding transition Read_Request_1_1 (468/833).
Encoding transition Send_Answer_26_3 (469/833).
Encoding transition Send_Answer_34_4 (470/833).
Encoding transition Lose_Request_32 (471/833).
Encoding transition Lose_Request_42 (472/833).
Encoding transition Send_Answer_45_7 (473/833).
Encoding transition Read_Request_40_7 (474/833).
Encoding transition Read_Request_19_2 (475/833).
Encoding transition Read_Request_39_6 (476/833).
Encoding transition Send_Answer_29_7 (477/833).
Encoding transition Read_Request_30_7 (478/833).
Encoding transition Prepare_Request_20 (479/833).
Encoding transition Read_Request_32_6 (480/833).
Encoding transition Read_Request_6_5 (481/833).
Encoding transition Read_Request_4_6 (482/833).
Encoding transition Send_Answer_41_4 (483/833).
Encoding transition Send_Answer_15_7 (484/833).
Encoding transition Send_Answer_38_5 (485/833).
Encoding transition Read_Request_11_1 (486/833).
Encoding transition Read_Request_19_7 (487/833).
Encoding transition Read_Request_9_2 (488/833).
Encoding transition Send_Answer_21_1 (489/833).
Encoding transition Send_Answer_34_2 (490/833).
Encoding transition Read_Request_17_5 (491/833).
Encoding transition Send_Answer_1_5 (492/833).
Encoding transition Send_Answer_35_6 (493/833).
Encoding transition Lose_Request_15 (494/833).
Encoding transition Send_Answer_1_7 (495/833).
Encoding transition Read_Request_26_4 (496/833).
Encoding transition Send_Answer_20_2 (497/833).
Encoding transition Read_Request_12_7 (498/833).
Encoding transition Read_Request_1_3 (499/833).
Encoding transition Prepare_Request_15 (500/833).
Encoding transition Send_Answer_22_6 (501/833).
Encoding transition Read_Request_2_1 (502/833).
Encoding transition Read_Request_37_7 (503/833).
Encoding transition Read_Request_28_2 (504/833).
Encoding transition Read_Request_30_1 (505/833).
Encoding transition Send_Answer_9_4 (506/833).
Encoding transition Read_Request_46_4 (507/833).
Encoding transition Read_Request_22_3 (508/833).
Encoding transition Send_Request_49 (509/833).
Encoding transition Send_Request_21 (510/833).
BK_STOP 1400674775440
--------------------
content from stderr:
terminate called after throwing an instance of 'MEDDLY::error'
/home/mcc/BenchKit/bin/greatspn_tool.sh: line 167: 1725 Aborted ~/BenchKit/bin/bin/RGMEDD model ${PLACE_ORDER} ${MEDDLY_CACHE} ${BOUND} -C -f ${NEW_FRM}
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="SurpriseCSRepetitions-PT-07"
export BK_EXAMINATION="ReachabilityFireability"
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/SurpriseCSRepetitions-PT-07.tgz
mv SurpriseCSRepetitions-PT-07 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 SurpriseCSRepetitions-PT-07, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r06ks-qhx2-140066505300722"
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 ;