About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
5895.08 | 1115501 | 833 | 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-10, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r06ks-qhx2-140066505300733
=====================================================================
--------------------
content from stdout:
BK_START 1400674690384
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running SurpriseCSRepetitions (PT), instance 10
MODEL_DIR = /home/mcc/execution
CONVERT PNML /home/mcc/execution/model.pnml
COMPUTING STRUCTURAL INFO.
CONVERT FORMULAE /home/mcc/execution/ReachabilityCardinality.xml INTO /home/mcc/execution/ReachabilityCardinality.rgmedd-ctl
/home/mcc/BenchKit/bin/bin/RGMEDD model -FORCE-P -h 2000000000 -B 30 -C -f /home/mcc/execution/ReachabilityCardinality.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 Send_Answer_79_10 (0/2300).
Encoding transition Send_Answer_9_7 (1/2300).
Encoding transition Read_Request_45_1 (2/2300).
Encoding transition Send_Answer_36_8 (3/2300).
Encoding transition Send_Answer_9_1 (4/2300).
Encoding transition Send_Answer_9_8 (5/2300).
Encoding transition Read_Request_7_10 (6/2300).
Encoding transition Read_Request_15_4 (7/2300).
Encoding transition Read_Request_70_3 (8/2300).
Encoding transition Send_Answer_65_7 (9/2300).
Encoding transition Read_Request_6_10 (10/2300).
Encoding transition Send_Request_28 (11/2300).
Encoding transition Read_Request_43_10 (12/2300).
Encoding transition Send_Request_97 (13/2300).
Encoding transition Prepare_Request_39 (14/2300).
Encoding transition Send_Answer_25_6 (15/2300).
Encoding transition Send_Answer_52_10 (16/2300).
Encoding transition Send_Answer_46_10 (17/2300).
Encoding transition Read_Request_92_2 (18/2300).
Encoding transition Send_Answer_88_2 (19/2300).
Encoding transition Read_Request_57_7 (20/2300).
Encoding transition Send_Answer_87_4 (21/2300).
Encoding transition Send_Answer_18_8 (22/2300).
Encoding transition Read_Request_62_9 (23/2300).
Encoding transition Send_Answer_67_9 (24/2300).
Encoding transition Read_Request_100_6 (25/2300).
Encoding transition Send_Answer_23_1 (26/2300).
Encoding transition Send_Answer_86_4 (27/2300).
Encoding transition Read_Request_35_10 (28/2300).
Encoding transition Send_Answer_68_4 (29/2300).
Encoding transition Send_Answer_59_3 (30/2300).
Encoding transition Send_Answer_31_3 (31/2300).
Encoding transition Read_Request_66_7 (32/2300).
Encoding transition Read_Request_38_5 (33/2300).
Encoding transition Read_Request_63_10 (34/2300).
Encoding transition Send_Answer_59_6 (35/2300).
Encoding transition Read_Request_40_9 (36/2300).
Encoding transition Read_Request_62_10 (37/2300).
Encoding transition Send_Answer_42_3 (38/2300).
Encoding transition Send_Answer_62_5 (39/2300).
Encoding transition Send_Answer_83_2 (40/2300).
Encoding transition Read_Request_40_1 (41/2300).
Encoding transition Send_Answer_37_10 (42/2300).
Encoding transition Send_Answer_43_2 (43/2300).
Encoding transition Send_Answer_59_4 (44/2300).
Encoding transition Send_Answer_73_2 (45/2300).
Encoding transition Read_Request_54_1 (46/2300).
Encoding transition Send_Answer_57_8 (47/2300).
Encoding transition Send_Answer_7_6 (48/2300).
Encoding transition Read_Request_31_1 (49/2300).
Encoding transition Read_Request_53_2 (50/2300).
Encoding transition Send_Answer_77_4 (51/2300).
Encoding transition Read_Request_81_10 (52/2300).
Encoding transition Read_Request_64_2 (53/2300).
Encoding transition Send_Request_35 (54/2300).
Encoding transition Send_Request_47 (55/2300).
Encoding transition Send_Answer_6_3 (56/2300).
Encoding transition Read_Request_48_10 (57/2300).
Encoding transition Read_Request_82_4 (58/2300).
Encoding transition Read_Request_5_4 (59/2300).
Encoding transition Send_Answer_83_3 (60/2300).
Encoding transition Read_Request_33_7 (61/2300).
Encoding transition Read_Request_87_1 (62/2300).
Encoding transition Read_Request_36_2 (63/2300).
Encoding transition Send_Answer_5_5 (64/2300).
Encoding transition Read_Request_90_7 (65/2300).
Encoding transition Send_Answer_41_1 (66/2300).
Encoding transition Read_Request_90_9 (67/2300).
Encoding transition Read_Request_68_1 (68/2300).
Encoding transition Read_Request_68_9 (69/2300).
Encoding transition Send_Answer_50_4 (70/2300).
Encoding transition Send_Answer_44_1 (71/2300).
Encoding transition Read_Request_80_3 (72/2300).
Encoding transition Read_Request_20_2 (73/2300).
Encoding transition Send_Answer_94_10 (74/2300).
Encoding transition Read_Request_31_6 (75/2300).
Encoding transition Send_Answer_78_2 (76/2300).
Encoding transition Send_Answer_51_5 (77/2300).
Encoding transition Send_Answer_72_1 (78/2300).
Encoding transition Read_Request_85_8 (79/2300).
Encoding transition Read_Request_100_10 (80/2300).
Encoding transition Send_Answer_62_1 (81/2300).
Encoding transition Send_Answer_10_10 (82/2300).
Encoding transition Read_Request_14_6 (83/2300).
Encoding transition Read_Request_15_8 (84/2300).
Encoding transition Read_Request_65_9 (85/2300).
Encoding transition Send_Request_46 (86/2300).
Encoding transition Read_Request_79_9 (87/2300).
Encoding transition Read_Request_84_5 (88/2300).
Encoding transition Prepare_Request_53 (89/2300).
Encoding transition Send_Answer_40_6 (90/2300).
Encoding transition Send_Answer_39_4 (91/2300).
Encoding transition Read_Request_97_9 (92/2300).
Encoding transition Send_Answer_31_9 (93/2300).
Encoding transition Send_Answer_1_4 (94/2300).
Encoding transition Read_Request_97_4 (95/2300).
Encoding transition Read_Request_36_4 (96/2300).
Encoding transition Prepare_Request_97 (97/2300).
Encoding transition Read_Request_26_4 (98/2300).
Encoding transition Read_Request_37_9 (99/2300).
Encoding transition Read_Request_87_4 (100/2300).
Encoding transition Send_Answer_88_6 (101/2300).
Encoding transition Send_Answer_1_3 (102/2300).
Encoding transition Read_Request_72_6 (103/2300).
Encoding transition Send_Answer_94_3 (104/2300).
Encoding transition Send_Request_88 (105/2300).
Encoding transition Prepare_Request_17 (106/2300).
Encoding transition Send_Answer_82_6 (107/2300).
Encoding transition Read_Request_10_5 (108/2300).
Encoding transition Read_Request_98_3 (109/2300).
Encoding transition Send_Answer_31_6 (110/2300).
Encoding transition Send_Answer_21_3 (111/2300).
Encoding transition Send_Answer_17_9 (112/2300).
Encoding transition Send_Request_69 (113/2300).
Encoding transition Send_Answer_57_4 (114/2300).
Encoding transition Read_Request_79_7 (115/2300).
Encoding transition Send_Answer_28_6 (116/2300).
Encoding transition Send_Answer_15_7 (117/2300).
Encoding transition Send_Answer_89_8 (118/2300).
Encoding transition Lose_Request_17 (119/2300).
Encoding transition Read_Request_34_10 (120/2300).
Encoding transition Read_Request_41_6 (121/2300).
Encoding transition Read_Request_52_6 (122/2300).
Encoding transition Read_Request_25_10 (123/2300).
Encoding transition Read_Request_59_6 (124/2300).
Encoding transition Read_Request_81_2 (125/2300).
Encoding transition Read_Request_55_5 (126/2300).
Encoding transition Send_Answer_96_8 (127/2300).
Encoding transition Read_Request_8_8 (128/2300).
Encoding transition Send_Answer_34_1 (129/2300).
Encoding transition Send_Answer_18_6 (130/2300).
Encoding transition Send_Answer_44_5 (131/2300).
Encoding transition Read_Request_91_5 (132/2300).
Encoding transition Read_Request_14_3 (133/2300).
Encoding transition Read_Request_11_9 (134/2300).
Encoding transition Read_Request_4_9 (135/2300).
Encoding transition Read_Request_46_4 (136/2300).
Encoding transition Read_Request_64_5 (137/2300).
Encoding transition Send_Answer_73_6 (138/2300).
Encoding transition Prepare_Request_26 (139/2300).
Encoding transition Lose_Request_74 (140/2300).
Encoding transition Read_Request_18_5 (141/2300).
Encoding transition Read_Request_73_1 (142/2300).
Encoding transition Send_Answer_8_5 (143/2300).
Encoding transition Send_Answer_81_1 (144/2300).
Encoding transition Send_Answer_24_5 (145/2300).
Encoding transition Read_Request_82_1 (146/2300).
Encoding transition Read_Request_15_7 (147/2300).
Encoding transition Read_Request_91_10 (148/2300).
Encoding transition Send_Answer_95_1 (149/2300).
Encoding transition Lose_Request_59 (150/2300).
Encoding transition Send_Request_22 (151/2300).
Encoding transition Send_Answer_60_9 (152/2300).
Encoding transition Send_Answer_81_7 (153/2300).
Encoding transition Send_Answer_76_1 (154/2300).
Encoding transition Read_Request_78_4 (155/2300).
Encoding transition Send_Answer_39_3 (156/2300).
Encoding transition Send_Answer_38_8 (157/2300).
Encoding transition Read_Request_36_8 (158/2300).
Encoding transition Read_Request_59_1 (159/2300).
Encoding transition Read_Request_71_4 (160/2300).
Encoding transition Send_Answer_46_9 (161/2300).
Encoding transition Send_Answer_66_8 (162/2300).
Encoding transition Send_Answer_96_6 (163/2300).
Encoding transition Send_Request_96 (164/2300).
Encoding transition Lose_Request_88 (165/2300).
Encoding transition Read_Request_41_3 (166/2300).
Encoding transition Read_Request_9_1 (167/2300).
Encoding transition Send_Answer_92_5 (168/2300).
Encoding transition Read_Request_79_6 (169/2300).
Encoding transition Read_Request_17_10 (170/2300).
Encoding transition Send_Answer_70_6 (171/2300).
Encoding transition Read_Request_22_3 (172/2300).
Encoding transition Read_Request_25_9 (173/2300).
Encoding transition Read_Request_38_10 (174/2300).
Encoding transition Send_Answer_3_9 (175/2300).
Encoding transition Send_Request_8 (176/2300).
Encoding transition Read_Request_36_5 (177/2300).
Encoding transition Prepare_Request_52 (178/2300).
Encoding transition Read_Request_22_4 (179/2300).
Encoding transition Send_Answer_97_6 (180/2300).
Encoding transition Read_Request_59_7 (181/2300).
Encoding transition Send_Answer_96_4 (182/2300).
Encoding transition Send_Answer_91_7 (183/2300).
Encoding transition Send_Answer_6_2 (184/2300).
Encoding transition Read_Request_4_1 (185/2300).
Encoding transition Send_Answer_80_6 (186/2300).
Encoding transition Lose_Request_95 (187/2300).
Encoding transition Send_Answer_90_7 (188/2300).
Encoding transition Read_Request_40_7 (189/2300).
Encoding transition Send_Answer_63_1 (190/2300).
Encoding transition Send_Request_75 (191/2300).
Encoding transition Read_Request_1_8 (192/2300).
Encoding transition Read_Request_27_4 (193/2300).
Encoding transition Read_Request_10_2 (194/2300).
Encoding transition Read_Request_18_1 (195/2300).
Encoding transition Read_Request_10_10 (196/2300).
Encoding transition Send_Answer_34_2 (197/2300).
Encoding transition Read_Request_80_10 (198/2300).
Encoding transition Send_Answer_24_10 (199/2300).
Encoding transition Send_Answer_43_10 (200/2300).
Encoding transition Send_Answer_67_3 (201/2300).
Encoding transition Read_Request_51_9 (202/2300).
Encoding transition Send_Answer_12_3 (203/2300).
Encoding transition Send_Answer_48_8 (204/2300).
Encoding transition Read_Request_69_4 (205/2300).
Encoding transition Read_Request_37_7 (206/2300).
Encoding transition Read_Request_25_2 (207/2300).
Encoding transition Send_Answer_53_2 (208/2300).
Encoding transition Send_Answer_49_6 (209/2300).
Encoding transition Send_Answer_100_7 (210/2300).
Encoding transition Send_Answer_39_8 (211/2300).
Encoding transition Read_Request_23_1 (212/2300).
Encoding transition Send_Answer_4_4 (213/2300).
Encoding transition Send_Answer_77_6 (214/2300).
Encoding transition Send_Answer_14_5 (215/2300).
Encoding transition Send_Answer_11_4 (216/2300).
Encoding transition Send_Answer_37_4 (217/2300).
Encoding transition Lose_Request_31 (218/2300).
Encoding transition Read_Request_73_5 (219/2300).
Encoding transition Lose_Request_60 (220/2300).
Encoding transition Send_Answer_67_8 (221/2300).
Encoding transition Read_Request_96_1 (222/2300).
Encoding transition Read_Request_59_10 (223/2300).
Encoding transition Read_Request_27_3 (224/2300).
Encoding transition Send_Answer_20_6 (225/2300).
Encoding transition Read_Request_74_2 (226/2300).
Encoding transition Send_Answer_30_3 (227/2300).
Encoding transition Send_Answer_22_4 (228/2300).
Encoding transition Send_Request_60 (229/2300).
Encoding transition Send_Answer_50_2 (230/2300).
Encoding transition Read_Request_68_8 (231/2300).
Encoding transition Send_Answer_57_3 (232/2300).
Encoding transition Read_Request_36_3 (233/2300).
Encoding transition Send_Answer_72_10 (234/2300).
Encoding transition Send_Answer_29_8 (235/2300).
Encoding transition Prepare_Request_67 (236/2300).
Encoding transition Read_Request_70_8 (237/2300).
Encoding transition Read_Request_15_2 (238/2300).
Encoding transition Read_Request_54_4 (239/2300).
Encoding transition Read_Request_13_6 (240/2300).
Encoding transition Send_Answer_40_2 (241/2300).
Encoding transition Send_Answer_15_5 (242/2300).
Encoding transition Send_Answer_23_2 (243/2300).
Encoding transition Send_Answer_53_7 (244/2300).
Encoding transition Read_Request_86_8 (245/2300).
Encoding transition Read_Request_97_8 (246/2300).
Encoding transition Read_Request_24_6 (247/2300).
Encoding transition Lose_Request_46 (248/2300).
Encoding transition Send_Answer_45_9 (249/2300).
Encoding transition Read_Request_8_3 (250/2300).
Encoding transition Read_Request_42_6 (251/2300).
Encoding transition Send_Answer_30_4 (252/2300).
Encoding transition Read_Request_79_4 (253/2300).
Encoding transition Send_Answer_84_3 (254/2300).
Encoding transition Send_Request_61 (255/2300).
Encoding transition Lose_Request_4 (256/2300).
Encoding transition Read_Request_90_5 (257/2300).
Encoding transition Send_Answer_60_2 (258/2300).
Encoding transition Send_Answer_88_9 (259/2300).
Encoding transition Read_Request_1_2 (260/2300).
Encoding transition Read_Request_70_6 (261/2300).
Encoding transition Prepare_Request_88 (262/2300).
Encoding transition Prepare_Request_66 (263/2300).
Encoding transition Send_Answer_52_6 (264/2300).
Encoding transition Send_Answer_53_9 (265/2300).
Encoding transition Send_Answer_15_10 (266/2300).
Encoding transition Read_Request_52_7 (267/2300).
Encoding transition Read_Request_66_5 (268/2300).
Encoding transition Send_Request_29 (269/2300).
Encoding transition Read_Request_45_5 (270/2300).
Encoding transition Read_Request_43_8 (271/2300).
Encoding transition Read_Request_45_9 (272/2300).
Encoding transition Read_Request_11_3 (273/2300).
Encoding transition Send_Answer_19_8 (274/2300).
Encoding transition Send_Answer_18_9 (275/2300).
Encoding transition Send_Answer_53_1 (276/2300).
Encoding transition Send_Answer_37_2 (277/2300).
Encoding transition Send_Answer_33_5 (278/2300).
Encoding transition Read_Request_51_10 (279/2300).
Encoding transition Prepare_Request_3 (280/2300).
Encoding transition Send_Answer_56_2 (281/2300).
Encoding transition Read_Request_51_1 (282/2300).
Encoding transition Read_Request_94_10 (283/2300).
Encoding transition Send_Answer_20_8 (284/2300).
Encoding transition Read_Request_72_2 (285/2300).
Encoding transition Read_Request_56_5 (286/2300).
Encoding transition Send_Answer_65_9 (287/2300).
Encoding transition Send_Answer_69_4 (288/2300).
Encoding transition Send_Answer_69_5 (289/2300).
Encoding transition Send_Answer_74_8 (290/2300).
Encoding transition Send_Answer_62_3 (291/2300).
Encoding transition Send_Answer_90_4 (292/2300).
Encoding transition Read_Request_96_9 (293/2300).
Encoding transition Read_Request_96_7 (294/2300).
Encoding transition Send_Answer_90_8 (295/2300).
Encoding transition Read_Request_48_1 (296/2300).
Encoding transition Read_Request_4_6 (297/2300).
Encoding transition Send_Answer_23_10 (298/2300).
Encoding transition Send_Answer_97_5 (299/2300).
Encoding transition Send_Answer_46_8 (300/2300).
Encoding transition Send_Answer_3_10 (301/2300).
Encoding transition Read_Request_55_4 (302/2300).
Encoding transition Send_Request_33 (303/2300).
Encoding transition Prepare_Request_45 (304/2300).
Encoding transition Lose_Request_80 (305/2300).
Encoding transition Send_Answer_17_2 (306/2300).
Encoding transition Read_Request_77_2 (307/2300).
Encoding transition Read_Request_34_1 (308/2300).
Encoding transition Read_Request_91_2 (309/2300).
Encoding transition Read_Request_76_1 (310/2300).
Encoding transition Read_Request_35_2 (311/2300).
Encoding transition Send_Answer_26_1 (312/2300).
Encoding transition Send_Answer_9_2 (313/2300).
Encoding transition Send_Answer_23_3 (314/2300).
Encoding transition Send_Request_24 (315/2300).
Encoding transition Send_Answer_82_5 (316/2300).
Encoding transition Read_Request_3_10 (317/2300).
Encoding transition Send_Answer_84_8 (318/2300).
Encoding transition Read_Request_28_3 (319/2300).
Encoding transition Read_Request_37_1 (320/2300).
Encoding transition Read_Request_20_6 (321/2300).
Encoding transition Send_Answer_87_2 (322/2300).
Encoding transition Read_Request_8_7 (323/2300).
Encoding transition Send_Request_15 (324/2300).
Encoding transition Send_Answer_92_7 (325/2300).
Encoding transition Lose_Request_73 (326/2300).
Encoding transition Send_Answer_91_8 (327/2300).
Encoding transition Send_Request_82 (328/2300).
Encoding transition Send_Answer_59_10 (329/2300).
Encoding transition Read_Request_58_8 (330/2300).
Encoding transition Send_Request_42 (331/2300).
Encoding transition Send_Answer_84_1 (332/2300).
Encoding transition Send_Answer_56_9 (333/2300).
Encoding transition Send_Answer_31_1 (334/2300).
Encoding transition Send_Answer_12_10 (335/2300).
Encoding transition Lose_Request_45 (336/2300).
Encoding transition Read_Request_25_7 (337/2300).
Encoding transition Read_Request_35_8 (338/2300).
Encoding transition Read_Request_97_2 (339/2300).
Encoding transition Send_Answer_87_10 (340/2300).
Encoding transition Read_Request_31_9 (341/2300).
Encoding transition Read_Request_95_5 (342/2300).
Encoding transition Read_Request_16_8 (343/2300).
Encoding transition Read_Request_73_9 (344/2300).
Encoding transition Send_Answer_10_6 (345/2300).
Encoding transition Send_Answer_7_7 (346/2300).
Encoding transition Send_Answer_77_10 (347/2300).
Encoding transition Read_Request_13_4 (348/2300).
Encoding transition Read_Request_90_6 (349/2300).
Encoding transition Send_Answer_97_4 (350/2300).
Encoding transition Send_Answer_79_5 (351/2300).
Encoding transition Send_Answer_1_1 (352/2300).
Encoding transition Read_Request_58_2 (353/2300).
Encoding transition Read_Request_25_6 (354/2300).
Encoding transition Send_Request_89 (355/2300).
Encoding transition Send_Answer_62_4 (356/2300).
Encoding transition Send_Answer_97_10 (357/2300).
Encoding transition Send_Answer_2_10 (358/2300).
Encoding transition Send_Answer_25_7 (359/2300).
Encoding transition Send_Answer_32_4 (360/2300).
Encoding transition Read_Request_35_5 (361/2300).
Encoding transition Send_Answer_44_3 (362/2300).
Encoding transition Send_Answer_44_6 (363/2300).
Encoding transition Read_Request_66_10 (364/2300).
Encoding transition Send_Answer_9_10 (365/2300).
Encoding transition Read_Request_50_3 (366/2300).
Encoding transition Read_Request_87_7 (367/2300).
Encoding transition Read_Request_30_2 (368/2300).
Encoding transition Send_Answer_56_8 (369/2300).
Encoding transition Send_Answer_18_7 (370/2300).
Encoding transition Send_Answer_54_7 (371/2300).
Encoding transition Send_Answer_100_8 (372/2300).
Encoding transition Prepare_Request_32 (373/2300).
Encoding transition Read_Request_24_10 (374/2300).
Encoding transition Send_Answer_2_4 (375/2300).
Encoding transition Send_Answer_24_9 (376/2300).
Encoding transition Send_Answer_81_9 (377/2300).
Encoding transition Read_Request_62_6 (378/2300).
Encoding transition Send_Answer_68_10 (379/2300).
Encoding transition Send_Answer_87_6 (380/2300).
Encoding transition Read_Request_6_9 (381/2300).
Encoding transition Send_Answer_42_5 (382/2300).
Encoding transition Send_Answer_51_10 (383/2300).
Encoding transition Read_Request_63_2 (384/2300).
Encoding transition Send_Answer_66_7 (385/2300).
Encoding transition Send_Answer_73_7 (386/2300).
Encoding transition Read_Request_7_5 (387/2300).
Encoding transition Send_Answer_28_7 (388/2300).
Encoding transition Read_Request_97_6 (389/2300).
Encoding transition Lose_Request_25 (390/2300).
Encoding transition Read_Request_90_4 (391/2300).
Encoding transition Read_Request_68_7 (392/2300).
Encoding transition Send_Answer_35_7 (393/2300).
Encoding transition Send_Request_6 (394/2300).
Encoding transition Read_Request_73_10 (395/2300).
Encoding transition Read_Request_82_9 (396/2300).
Encoding transition Send_Answer_86_10 (397/2300).
Encoding transition Send_Answer_75_8 (398/2300).
Encoding transition Read_Request_31_10 (399/2300).
Encoding transition Read_Request_40_10 (400/2300).
Encoding transition Read_Request_50_4 (401/2300).
Encoding transition Send_Answer_12_2 (402/2300).
Encoding transition Read_Request_64_4 (403/2300).
Encoding transition Send_Answer_98_2 (404/2300).
Encoding transition Read_Request_87_10 (405/2300).
Encoding transition Send_Answer_36_1 (406/2300).
Encoding transition Read_Request_82_5 (407/2300).
Encoding transition Send_Answer_52_5 (408/2300).
Encoding transition Read_Request_32_9 (409/2300).
Encoding transition Send_Answer_49_1 (410/2300).
Encoding transition Lose_Request_87 (411/2300).
Encoding transition Send_Answer_49_4 (412/2300).
Encoding transition Send_Request_54 (413/2300).
Encoding transition Send_Answer_9_9 (414/2300).
Encoding transition Send_Answer_15_1 (415/2300).
Encoding transition Send_Answer_16_3 (416/2300).
Encoding transition Send_Answer_34_6 (417/2300).
Encoding transition Send_Answer_100_6 (418/2300).
Encoding transition Read_Request_25_5 (419/2300).
Encoding transition Send_Request_7 (420/2300).
Encoding transition Send_Answer_72_6 (421/2300).
Encoding transition Read_Request_90_1 (422/2300).
Encoding transition Send_Request_76 (423/2300).
Encoding transition Send_Request_85 (424/2300).
Encoding transition Send_Answer_70_1 (425/2300).
Encoding transition Lose_Request_52 (426/2300).
Encoding transition Prepare_Request_75 (427/2300).
Encoding transition Read_Request_78_8 (428/2300).
Encoding transition Send_Answer_76_4 (429/2300).
Encoding transition Read_Request_60_10 (430/2300).
Encoding transition Read_Request_65_1 (431/2300).
Encoding transition Read_Request_44_8 (432/2300).
Encoding transition Send_Answer_74_9 (433/2300).
Encoding transition Read_Request_84_4 (434/2300).
Encoding transition Send_Answer_28_8 (435/2300).
Encoding transition Read_Request_28_9 (436/2300).
Encoding transition Read_Request_44_2 (437/2300).
Encoding transition Send_Answer_27_4 (438/2300).
Encoding transition Send_Answer_48_7 (439/2300).
Encoding transition Read_Request_45_7 (440/2300).
Encoding transition Prepare_Request_96 (441/2300).
Encoding transition Send_Answer_67_10 (442/2300).
Encoding transition Read_Request_35_3 (443/2300).
Encoding transition Lose_Request_53 (444/2300).
Encoding transition Read_Request_39_6 (445/2300).
Encoding transition Send_Answer_98_1 (446/2300).
Encoding transition Send_Answer_65_3 (447/2300).
Encoding transition Read_Request_49_2 (448/2300).
Encoding transition Send_Answer_83_4 (449/2300).
Encoding transition Send_Answer_3_4 (450/2300).
Encoding transition Read_Request_10_1 (451/2300).
Encoding transition Read_Request_31_5 (452/2300).
Encoding transition Send_Answer_84_9 (453/2300).
Encoding transition Read_Request_34_6 (454/2300).
Encoding transition Read_Request_89_4 (455/2300).
Encoding transition Read_Request_60_7 (456/2300).
Encoding transition Read_Request_57_8 (457/2300).
Encoding transition Send_Answer_21_4 (458/2300).
Encoding transition Read_Request_83_8 (459/2300).
Encoding transition Send_Answer_39_5 (460/2300).
Encoding transition Send_Answer_45_2 (461/2300).
Encoding transition Read_Request_30_8 (462/2300).
Encoding transition Send_Answer_82_7 (463/2300).
Encoding transition Send_Answer_93_3 (464/2300).
Encoding transition Send_Answer_60_5 (465/2300).
Encoding transition Read_Request_9_7 (466/2300).
Encoding transition Send_Answer_17_3 (467/2300).
Encoding transition Send_Answer_9_3 (468/2300).
Encoding transition Read_Request_37_10 (469/2300).
Encoding transition Send_Answer_44_10 (470/2300).
Encoding transition Read_Request_3_1 (471/2300).
Encoding transition Read_Request_1_1 (472/2300).
Encoding transition Read_Request_89_6 (473/2300).
Encoding transition Read_Request_98_6 (474/2300).
Encoding transition Read_Request_85_3 (475/2300).
Encoding transition Send_Answer_89_1 (476/2300).
Encoding transition Read_Request_96_5 (477/2300).
Encoding transition Read_Request_17_1 (478/2300).
Encoding transition Read_Request_56_9 (479/2300).
Encoding transition Lose_Request_15 (480/2300).
Encoding transition Read_Request_42_3 (481/2300).
Encoding transition Read_Request_9_10 (482/2300).
Encoding transition Read_Request_11_6 (483/2300).
Encoding transition Read_Request_73_7 (484/2300).
Encoding transition Read_Request_70_4 (485/2300).
Encoding transition Read_Request_77_4 (486/2300).
Encoding transition Read_Request_57_3 (487/2300).
Encoding transition Prepare_Request_25 (488/2300).
Encoding transition Read_Request_54_9 (489/2300).
Encoding transition Prepare_Request_4 (490/2300).
Encoding transition Send_Answer_76_8 (491/2300).
Encoding transition Send_Answer_58_4 (492/2300).
Encoding transition Read_Request_18_2 (493/2300).
Encoding transition Read_Request_51_7 (494/2300).
Encoding transition Lose_Request_71 (495/2300).
Encoding transition Read_Request_49_3 (496/2300).
Encoding transition Read_Request_40_5 (497/2300).
Encoding transition Read_Request_76_8 (498/2300).
Encoding transition Send_Request_57 (499/2300).
Encoding transition Read_Request_82_7 (500/2300).
Encoding transition Prepare_Request_59 (501/2300).
Encoding transition Read_Request_12_9 (502/2300).
Encoding transition Read_Request_2_8 (503/2300).
Encoding transition Send_Request_14 (504/2300).
Encoding transition Read_Request_44_4 (505/2300).
Encoding transition Lose_Request_96 (506/2300).
Encoding transition Read_Request_4_7 (507/2300).
Encoding transition Prepare_Request_89 (508/2300).
Encoding transition Read_Request_3_5 (509/2300).
Encoding transition Send_Answer_31_8 (510/2300).
Encoding transition Read_Request_87_9 (511/2300).
Encoding transition Read_Request_3_6 (512/2300).
Encoding transition Send_Answer_62_6 (513/2300).
Encoding transition Read_Request_53_9 (514/2300).
Encoding transition Prepare_Request_74 (515/2300).
Encoding transition Send_Answer_8_1 (516/2300).
Encoding transition Send_Answer_70_2 (517/2300).
Encoding transition Send_Answer_32_5 (518/2300).
Encoding transition Read_Request_99_3 (519/2300).
Encoding transition Send_Answer_12_4 (520/2300).
Encoding transition Send_Answer_38_3 (521/2300).
Encoding transition Send_Answer_99_3 (522/2300).
Encoding transition Send_Answer_67_6 (523/2300).
Encoding transition Lose_Request_62 (524/2300).
Encoding transition Lose_Request_24 (525/2300).
Encoding transition Send_Answer_32_2 (526/2300).
Encoding transition Send_Answer_40_4 (527/2300).
Encoding transition Read_Request_71_3 (528/2300).
Encoding transition Read_Request_28_4 (529/2300).
Encoding transition Send_Answer_10_8 (530/2300).
Encoding transition Send_Answer_75_3 (531/2300).
Encoding transition Send_Answer_85_6 (532/2300).
Encoding transition Send_Answer_40_3 (533/2300).
Encoding transition Send_Answer_75_9 (534/2300).
Encoding transition Read_Request_59_9 (535/2300).
Encoding transition Lose_Request_3 (536/2300).
Encoding transition Read_Request_46_9 (537/2300).
Encoding transition Send_Request_95 (538/2300).
Encoding transition Send_Answer_77_1 (539/2300).
Encoding transition Send_Answer_41_6 (540/2300).
Encoding transition Send_Answer_38_10 (541/2300).
Encoding transition Send_Answer_49_8 (542/2300).
Encoding transition Send_Answer_16_10 (543/2300).
Encoding transition Read_Request_86_2 (544/2300).
Encoding transition Read_Request_98_4 (545/2300).
Encoding transition Read_Request_29_8 (546/2300).
Encoding transition Send_Answer_84_2 (547/2300).
Encoding transition Read_Request_18_7 (548/2300).
Encoding transition Lose_Request_43 (549/2300).
Encoding transition Prepare_Request_18 (550/2300).
Encoding transition Send_Request_48 (551/2300).
Encoding transition Read_Request_62_1 (552/2300).
Encoding transition Send_Request_68 (553/2300).
Encoding transition Read_Request_88_10 (554/2300).
Encoding transition Send_Answer_59_2 (555/2300).
Encoding transition Send_Answer_30_10 (556/2300).
Encoding transition Send_Answer_12_6 (557/2300).
Encoding transition Send_Answer_92_3 (558/2300).
Encoding transition Read_Request_61_7 (559/2300).
Encoding transition Send_Answer_98_8 (560/2300).
Encoding transition Read_Request_7_8 (561/2300).
Encoding transition Read_Request_67_6 (562/2300).
Encoding transition Send_Answer_83_9 (563/2300).
Encoding transition Read_Request_63_9 (564/2300).
Encoding transition Send_Answer_16_1 (565/2300).
Encoding transition Send_Answer_84_5 (566/2300).
Encoding transition Send_Request_16 (567/2300).
Encoding transition Read_Request_81_9 (568/2300).
Encoding transition Send_Answer_81_5 (569/2300).
Encoding transition Send_Answer_70_4 (570/2300).
Encoding transition Send_Answer_67_2 (571/2300).
Encoding transition Send_Answer_78_10 (572/2300).
Encoding transition Read_Request_75_6 (573/2300).
Encoding transition Read_Request_62_5 (574/2300).
Encoding transition Send_Answer_70_5 (575/2300).
Encoding transition Read_Request_14_4 (576/2300).
Encoding transition Send_Answer_90_6 (577/2300).
Encoding transition Read_Request_17_5 (578/2300).
Encoding transition Read_Request_31_7 (579/2300).
Encoding transition Read_Request_98_2 (580/2300).
Encoding transition Send_Answer_8_9 (581/2300).
Encoding transition Send_Answer_96_10 (582/2300).
Encoding transition Read_Request_53_6 (583/2300).
Encoding transition Lose_Request_90 (584/2300).
Encoding transition Send_Answer_95_2 (585/2300).
Encoding transition Send_Request_66 (586/2300).
Encoding transition Read_Request_89_5 (587/2300).
Encoding transition Read_Request_65_10 (588/2300).
Encoding transition Send_Request_94 (589/2300).
Encoding transition Read_Request_3_3 (590/2300).
Encoding transition Send_Answer_31_4 (591/2300).
Encoding transition Lose_Request_34 (592/2300).
Encoding transition Send_Answer_36_7 (593/2300).
Encoding transition Send_Answer_43_6 (594/2300).
Encoding transition Send_Answer_89_7 (595/2300).
Encoding transition Read_Request_47_1 (596/2300).
Encoding transition Send_Answer_24_3 (597/2300).
Encoding transition Read_Request_4_2 (598/2300).
Encoding transition Send_Answer_42_6 (599/2300).
Encoding transition Read_Request_20_9 (600/2300).
Encoding transition Send_Answer_20_4 (601/2300).
Encoding transition Send_Answer_3_5 (602/2300).
Encoding transition Read_Request_76_5 (603/2300).
Encoding transition Send_Answer_36_9 (604/2300).
Encoding transition Read_Request_10_9 (605/2300).
Encoding transition Send_Answer_63_7 (606/2300).
Encoding transition Read_Request_18_10 (607/2300).
Encoding transition Send_Answer_76_2 (608/2300).
Encoding transition Prepare_Request_51 (609/2300).
Encoding transition Send_Answer_98_6 (610/2300).
Encoding transition Prepare_Request_33 (611/2300).
Encoding transition Send_Answer_54_3 (612/2300).
Encoding transition Read_Request_56_4 (613/2300).
Encoding transition Prepare_Request_50 (614/2300).
Encoding transition Read_Request_84_6 (615/2300).
Encoding transition Read_Request_33_6 (616/2300).
Encoding transition Read_Request_45_10 (617/2300).
Encoding transition Send_Answer_54_5 (618/2300).
Encoding transition Send_Answer_26_7 (619/2300).
Encoding transition Read_Request_75_1 (620/2300).
Encoding transition Read_Request_42_1 (621/2300).
Encoding transition Send_Answer_21_10 (622/2300).
Encoding transition Send_Answer_73_3 (623/2300).
Encoding transition Send_Answer_49_10 (624/2300).
Encoding transition Read_Request_12_6 (625/2300).
Encoding transition Send_Answer_58_10 (626/2300).
Encoding transition Read_Request_34_3 (627/2300).
Encoding transition Send_Answer_4_3 (628/2300).
Encoding transition Read_Request_48_8 (629/2300).
Encoding transition Send_Answer_8_7 (630/2300).
Encoding transition Read_Request_84_8 (631/2300).
Encoding transition Send_Answer_69_1 (632/2300).
Encoding transition Read_Request_67_5 (633/2300).
Encoding transition Read_Request_72_3 (634/2300).
Encoding transition Send_Answer_98_5 (635/2300).
Encoding transition Read_Request_95_9 (636/2300).
Encoding transition Send_Answer_12_8 (637/2300).
Encoding transition Read_Request_54_7 (638/2300).
Encoding transition Read_Request_27_2 (639/2300).
Encoding transition Send_Answer_25_1 (640/2300).
Encoding transition Read_Request_74_10 (641/2300).
Encoding transition Send_Answer_73_8 (642/2300).
Encoding transition Send_Answer_83_8 (643/2300).
Encoding transition Send_Answer_68_3 (644/2300).
Encoding transition Send_Answer_9_6 (645/2300).
Encoding transition Read_Request_54_10 (646/2300).
Encoding transition Read_Request_61_6 (647/2300).
Encoding transition Send_Answer_41_4 (648/2300).
Encoding transition Read_Request_64_7 (649/2300).
Encoding transition Send_Answer_75_1 (650/2300).
Encoding transition Send_Answer_4_2 (651/2300).
Encoding transition Read_Request_45_8 (652/2300).
Encoding transition Read_Request_23_10 (653/2300).
Encoding transition Send_Answer_75_4 (654/2300).
Encoding transition Prepare_Request_41 (655/2300).
Encoding transition Send_Request_67 (656/2300).
Encoding transition Send_Answer_92_9 (657/2300).
Encoding transition Send_Answer_99_10 (658/2300).
Encoding transition Send_Answer_28_1 (659/2300).
Encoding transition Read_Request_69_8 (660/2300).
Encoding transition Send_Answer_40_10 (661/2300).
Encoding transition Read_Request_94_2 (662/2300).
Encoding transition Read_Request_84_9 (663/2300).
Encoding transition Prepare_Request_15 (664/2300).
Encoding transition Read_Request_74_9 (665/2300).
Encoding transition Send_Answer_61_2 (666/2300).
Encoding transition Send_Answer_88_10 (667/2300).
Encoding transition Send_Answer_55_8 (668/2300).
Encoding transition Send_Answer_11_5 (669/2300).
Encoding transition Read_Request_48_5 (670/2300).
Encoding transition Lose_Request_44 (671/2300).
Encoding transition Prepare_Request_82 (672/2300).
Encoding transition Read_Request_58_3 (673/2300).
Encoding transition Read_Request_93_1 (674/2300).
Encoding transition Read_Request_55_2 (675/2300).
Encoding transition Send_Answer_61_5 (676/2300).
Encoding transition Prepare_Request_24 (677/2300).
Encoding transition Send_Answer_26_2 (678/2300).
Encoding transition Read_Request_48_6 (679/2300).
Encoding transition Read_Request_93_10 (680/2300).
Encoding transition Send_Answer_11_10 (681/2300).
Encoding transition Send_Answer_48_2 (682/2300).
Encoding transition Read_Request_92_8 (683/2300).
Encoding transition Lose_Request_81 (684/2300).
Encoding transition Read_Request_79_5 (685/2300).
Encoding transition Lose_Request_6 (686/2300).
Encoding transition Read_Request_26_7 (687/2300).
Encoding transition Send_Answer_87_5 (688/2300).
Encoding transition Read_Request_79_10 (689/2300).
Encoding transition Read_Request_100_3 (690/2300).
Encoding transition Read_Request_69_2 (691/2300).
Encoding transition Send_Answer_81_2 (692/2300).
Encoding transition Send_Answer_98_4 (693/2300).
Encoding transition Send_Answer_33_6 (694/2300).
Encoding transition Send_Answer_55_7 (695/2300).
Encoding transition Read_Request_70_1 (696/2300).
Encoding transition Read_Request_12_5 (697/2300).
Encoding transition Read_Request_53_5 (698/2300).
Encoding transition Send_Answer_60_10 (699/2300).
Encoding transition Send_Request_34 (700/2300).
Encoding transition Send_Answer_66_9 (701/2300).
Encoding transition Read_Request_40_6 (702/2300).
BK_STOP 1400675809296
--------------------
content from stderr:
/home/mcc/BenchKit/bin/greatspn_tool.sh: line 167: 1720 Killed ~/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-10"
export BK_EXAMINATION="ReachabilityCardinality"
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-10.tgz
mv SurpriseCSRepetitions-PT-10 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-10, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r06ks-qhx2-140066505300733"
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 ;