About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
5895.32 | 1208087 | 124.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 Philosophers-PT-000100, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r04kn-qhx2-140043541400876
=====================================================================
--------------------
content from stdout:
BK_START 1400438442907
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running Philosophers (PT), instance 000100
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/ReachabilityCardinality.xml INTO /home/mcc/execution/ReachabilityCardinality.rgmedd-ctl
/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 FF1a_6 (0/500).
Encoding transition FF1a_7 (1/500).
Encoding transition FF1a_8 (2/500).
Encoding transition FF1a_9 (3/500).
Encoding transition FF1a_2 (4/500).
Encoding transition FF1a_3 (5/500).
Encoding transition FF1a_4 (6/500).
Encoding transition FF1a_5 (7/500).
Encoding transition FF1a_1 (8/500).
Encoding transition FF1a_48 (9/500).
Encoding transition FF1a_49 (10/500).
Encoding transition FF1a_46 (11/500).
Encoding transition FF1a_47 (12/500).
Encoding transition FF1a_44 (13/500).
Encoding transition FF1a_45 (14/500).
Encoding transition FF1a_42 (15/500).
Encoding transition FF1a_43 (16/500).
Encoding transition FF1a_56 (17/500).
Encoding transition FF1a_57 (18/500).
Encoding transition FF1a_54 (19/500).
Encoding transition FF1a_55 (20/500).
Encoding transition FF1a_52 (21/500).
Encoding transition FF1a_53 (22/500).
Encoding transition FF1a_50 (23/500).
Encoding transition FF1a_51 (24/500).
Encoding transition FF1a_65 (25/500).
Encoding transition FF1a_64 (26/500).
Encoding transition FF1a_63 (27/500).
Encoding transition FF1a_62 (28/500).
Encoding transition FF1a_61 (29/500).
Encoding transition FF1a_60 (30/500).
Encoding transition FF1a_59 (31/500).
Encoding transition FF1a_58 (32/500).
Encoding transition FF1a_73 (33/500).
Encoding transition FF1a_72 (34/500).
Encoding transition FF1a_71 (35/500).
Encoding transition FF1a_70 (36/500).
Encoding transition FF1a_69 (37/500).
Encoding transition FF1a_68 (38/500).
Encoding transition FF1a_67 (39/500).
Encoding transition FF1a_66 (40/500).
Encoding transition FF1a_14 (41/500).
Encoding transition FF1a_15 (42/500).
Encoding transition FF1a_16 (43/500).
Encoding transition FF1a_17 (44/500).
Encoding transition FF1a_10 (45/500).
Encoding transition FF1a_11 (46/500).
Encoding transition FF1a_12 (47/500).
Encoding transition FF1a_13 (48/500).
Encoding transition FF1a_22 (49/500).
Encoding transition FF1a_23 (50/500).
Encoding transition FF1a_24 (51/500).
Encoding transition FF1a_25 (52/500).
Encoding transition FF1a_18 (53/500).
Encoding transition FF1a_19 (54/500).
Encoding transition FF1a_20 (55/500).
Encoding transition FF1a_21 (56/500).
Encoding transition FF1a_31 (57/500).
Encoding transition FF1a_30 (58/500).
Encoding transition FF1a_33 (59/500).
Encoding transition FF1a_32 (60/500).
Encoding transition FF1a_27 (61/500).
Encoding transition FF1a_26 (62/500).
Encoding transition FF1a_29 (63/500).
Encoding transition FF1a_28 (64/500).
Encoding transition FF1a_39 (65/500).
Encoding transition FF1a_38 (66/500).
Encoding transition FF1a_41 (67/500).
Encoding transition FF1a_40 (68/500).
Encoding transition FF1a_35 (69/500).
Encoding transition FF1a_34 (70/500).
Encoding transition FF1a_37 (71/500).
Encoding transition FF1a_36 (72/500).
Encoding transition FF1b_8 (73/500).
Encoding transition FF1b_9 (74/500).
Encoding transition FF1b_6 (75/500).
Encoding transition FF1b_7 (76/500).
Encoding transition FF1b_12 (77/500).
Encoding transition FF1b_13 (78/500).
Encoding transition FF1b_10 (79/500).
Encoding transition FF1b_11 (80/500).
Encoding transition FF1b_16 (81/500).
Encoding transition FF1b_17 (82/500).
Encoding transition FF1b_14 (83/500).
Encoding transition FF1b_15 (84/500).
Encoding transition FF1b_20 (85/500).
Encoding transition FF1b_21 (86/500).
Encoding transition FF1b_18 (87/500).
Encoding transition FF1b_19 (88/500).
Encoding transition FF1b_25 (89/500).
Encoding transition FF1b_24 (90/500).
Encoding transition FF1b_23 (91/500).
Encoding transition FF1b_22 (92/500).
Encoding transition FF1b_29 (93/500).
Encoding transition FF1b_28 (94/500).
Encoding transition FF1b_27 (95/500).
Encoding transition FF1b_26 (96/500).
Encoding transition FF1b_33 (97/500).
Encoding transition FF1b_32 (98/500).
Encoding transition FF1b_31 (99/500).
Encoding transition FF1b_30 (100/500).
Encoding transition FF1b_37 (101/500).
Encoding transition FF1b_36 (102/500).
Encoding transition FF1b_35 (103/500).
Encoding transition FF1b_34 (104/500).
Encoding transition FF1a_74 (105/500).
Encoding transition FF1a_75 (106/500).
Encoding transition FF1a_76 (107/500).
Encoding transition FF1a_77 (108/500).
Encoding transition FF1a_78 (109/500).
Encoding transition FF1a_79 (110/500).
Encoding transition FF1a_80 (111/500).
Encoding transition FF1a_81 (112/500).
Encoding transition FF1a_82 (113/500).
Encoding transition FF1a_83 (114/500).
Encoding transition FF1a_84 (115/500).
Encoding transition FF1a_85 (116/500).
Encoding transition FF1a_86 (117/500).
Encoding transition FF1a_87 (118/500).
Encoding transition FF1a_88 (119/500).
Encoding transition FF1a_89 (120/500).
Encoding transition FF1a_91 (121/500).
Encoding transition FF1a_90 (122/500).
Encoding transition FF1a_93 (123/500).
Encoding transition FF1a_92 (124/500).
Encoding transition FF1a_95 (125/500).
Encoding transition FF1a_94 (126/500).
Encoding transition FF1a_97 (127/500).
Encoding transition FF1a_96 (128/500).
Encoding transition FF1a_99 (129/500).
Encoding transition FF1a_98 (130/500).
Encoding transition FF1b_1 (131/500).
Encoding transition FF1a_100 (132/500).
Encoding transition FF1b_3 (133/500).
Encoding transition FF1b_2 (134/500).
Encoding transition FF1b_5 (135/500).
Encoding transition FF1b_4 (136/500).
Encoding transition FF1b_85 (137/500).
Encoding transition FF1b_84 (138/500).
Encoding transition FF1b_83 (139/500).
Encoding transition FF1b_82 (140/500).
Encoding transition FF1b_81 (141/500).
Encoding transition FF1b_80 (142/500).
Encoding transition FF1b_79 (143/500).
Encoding transition FF1b_78 (144/500).
Encoding transition FF1b_77 (145/500).
Encoding transition FF1b_76 (146/500).
Encoding transition FF1b_75 (147/500).
Encoding transition FF1b_74 (148/500).
Encoding transition FF1b_73 (149/500).
Encoding transition FF1b_72 (150/500).
Encoding transition FF1b_71 (151/500).
Encoding transition FF1b_70 (152/500).
Encoding transition FF1b_100 (153/500).
Encoding transition FF2a_1 (154/500).
Encoding transition FF1b_98 (155/500).
Encoding transition FF1b_99 (156/500).
Encoding transition FF1b_96 (157/500).
Encoding transition FF1b_97 (158/500).
Encoding transition FF1b_94 (159/500).
Encoding transition FF1b_95 (160/500).
Encoding transition FF1b_92 (161/500).
Encoding transition FF1b_93 (162/500).
Encoding transition FF1b_90 (163/500).
Encoding transition FF1b_91 (164/500).
Encoding transition FF1b_88 (165/500).
Encoding transition FF1b_89 (166/500).
Encoding transition FF1b_86 (167/500).
Encoding transition FF1b_87 (168/500).
Encoding transition FF1b_51 (169/500).
Encoding transition FF1b_50 (170/500).
Encoding transition FF1b_53 (171/500).
Encoding transition FF1b_52 (172/500).
Encoding transition FF1b_47 (173/500).
Encoding transition FF1b_46 (174/500).
Encoding transition FF1b_49 (175/500).
Encoding transition FF1b_48 (176/500).
Encoding transition FF1b_43 (177/500).
Encoding transition FF1b_42 (178/500).
Encoding transition FF1b_45 (179/500).
Encoding transition FF1b_44 (180/500).
Encoding transition FF1b_39 (181/500).
Encoding transition FF1b_38 (182/500).
Encoding transition FF1b_41 (183/500).
Encoding transition FF1b_40 (184/500).
Encoding transition FF1b_66 (185/500).
Encoding transition FF1b_67 (186/500).
Encoding transition FF1b_68 (187/500).
Encoding transition FF1b_69 (188/500).
Encoding transition FF1b_62 (189/500).
Encoding transition FF1b_63 (190/500).
Encoding transition FF1b_64 (191/500).
Encoding transition FF1b_65 (192/500).
Encoding transition FF1b_58 (193/500).
Encoding transition FF1b_59 (194/500).
Encoding transition FF1b_60 (195/500).
Encoding transition FF1b_61 (196/500).
Encoding transition FF1b_54 (197/500).
Encoding transition FF1b_55 (198/500).
Encoding transition FF1b_56 (199/500).
Encoding transition FF1b_57 (200/500).
Encoding transition FF2a_45 (201/500).
Encoding transition FF2a_44 (202/500).
Encoding transition FF2a_43 (203/500).
Encoding transition FF2a_42 (204/500).
Encoding transition FF2a_49 (205/500).
Encoding transition FF2a_48 (206/500).
Encoding transition FF2a_47 (207/500).
Encoding transition FF2a_46 (208/500).
Encoding transition FF2a_37 (209/500).
Encoding transition FF2a_36 (210/500).
Encoding transition FF2a_35 (211/500).
Encoding transition FF2a_34 (212/500).
Encoding transition FF2a_41 (213/500).
Encoding transition FF2a_40 (214/500).
Encoding transition FF2a_39 (215/500).
Encoding transition FF2a_38 (216/500).
Encoding transition FF2a_60 (217/500).
Encoding transition FF2a_61 (218/500).
Encoding transition FF2a_58 (219/500).
Encoding transition FF2a_59 (220/500).
Encoding transition FF2a_64 (221/500).
Encoding transition FF2a_65 (222/500).
Encoding transition FF2a_62 (223/500).
Encoding transition FF2a_63 (224/500).
Encoding transition FF2a_52 (225/500).
Encoding transition FF2a_53 (226/500).
Encoding transition FF2a_50 (227/500).
Encoding transition FF2a_51 (228/500).
Encoding transition FF2a_56 (229/500).
Encoding transition FF2a_57 (230/500).
Encoding transition FF2a_54 (231/500).
Encoding transition FF2a_55 (232/500).
Encoding transition FF2a_11 (233/500).
Encoding transition FF2a_10 (234/500).
Encoding transition FF2a_13 (235/500).
Encoding transition FF2a_12 (236/500).
Encoding transition FF2a_15 (237/500).
Encoding transition FF2a_14 (238/500).
Encoding transition FF2a_17 (239/500).
Encoding transition FF2a_16 (240/500).
Encoding transition FF2a_3 (241/500).
Encoding transition FF2a_2 (242/500).
Encoding transition FF2a_5 (243/500).
Encoding transition FF2a_4 (244/500).
Encoding transition FF2a_7 (245/500).
Encoding transition FF2a_6 (246/500).
Encoding transition FF2a_9 (247/500).
Encoding transition FF2a_8 (248/500).
Encoding transition FF2a_26 (249/500).
Encoding transition FF2a_27 (250/500).
Encoding transition FF2a_28 (251/500).
Encoding transition FF2a_29 (252/500).
Encoding transition FF2a_30 (253/500).
Encoding transition FF2a_31 (254/500).
Encoding transition FF2a_32 (255/500).
Encoding transition FF2a_33 (256/500).
Encoding transition FF2a_18 (257/500).
Encoding transition FF2a_19 (258/500).
Encoding transition FF2a_20 (259/500).
Encoding transition FF2a_21 (260/500).
Encoding transition FF2a_22 (261/500).
Encoding transition FF2a_23 (262/500).
Encoding transition FF2a_24 (263/500).
Encoding transition FF2a_25 (264/500).
Encoding transition FF2b_19 (265/500).
Encoding transition FF2b_18 (266/500).
Encoding transition FF2b_21 (267/500).
Encoding transition FF2b_20 (268/500).
Encoding transition FF2b_15 (269/500).
Encoding transition FF2b_14 (270/500).
Encoding transition FF2b_17 (271/500).
Encoding transition FF2b_16 (272/500).
Encoding transition FF2b_27 (273/500).
Encoding transition FF2b_26 (274/500).
Encoding transition FF2b_29 (275/500).
Encoding transition FF2b_28 (276/500).
Encoding transition FF2b_23 (277/500).
Encoding transition FF2b_22 (278/500).
Encoding transition FF2b_25 (279/500).
Encoding transition FF2b_24 (280/500).
Encoding transition FF2b_2 (281/500).
Encoding transition FF2b_3 (282/500).
Encoding transition FF2b_4 (283/500).
Encoding transition FF2b_5 (284/500).
Encoding transition FF2a_98 (285/500).
Encoding transition FF2a_99 (286/500).
Encoding transition FF2a_100 (287/500).
Encoding transition FF2b_1 (288/500).
Encoding transition FF2b_10 (289/500).
Encoding transition FF2b_11 (290/500).
Encoding transition FF2b_12 (291/500).
Encoding transition FF2b_13 (292/500).
Encoding transition FF2b_6 (293/500).
Encoding transition FF2b_7 (294/500).
Encoding transition FF2b_8 (295/500).
Encoding transition FF2b_9 (296/500).
Encoding transition FF2a_89 (297/500).
Encoding transition FF2a_88 (298/500).
Encoding transition FF2a_87 (299/500).
Encoding transition FF2a_86 (300/500).
Encoding transition FF2a_85 (301/500).
Encoding transition FF2a_84 (302/500).
Encoding transition FF2a_83 (303/500).
Encoding transition FF2a_82 (304/500).
Encoding transition FF2a_97 (305/500).
Encoding transition FF2a_96 (306/500).
Encoding transition FF2a_95 (307/500).
Encoding transition FF2a_94 (308/500).
Encoding transition FF2a_93 (309/500).
Encoding transition FF2a_92 (310/500).
Encoding transition FF2a_91 (311/500).
Encoding transition FF2a_90 (312/500).
Encoding transition FF2a_72 (313/500).
Encoding transition FF2a_73 (314/500).
Encoding transition FF2a_70 (315/500).
Encoding transition FF2a_71 (316/500).
Encoding transition FF2a_68 (317/500).
Encoding transition FF2a_69 (318/500).
Encoding transition FF2a_66 (319/500).
Encoding transition FF2a_67 (320/500).
Encoding transition FF2a_80 (321/500).
Encoding transition FF2a_81 (322/500).
Encoding transition FF2a_78 (323/500).
Encoding transition FF2a_79 (324/500).
Encoding transition FF2a_76 (325/500).
Encoding transition FF2a_77 (326/500).
Encoding transition FF2a_74 (327/500).
Encoding transition FF2a_75 (328/500).
Encoding transition FF2b_79 (329/500).
Encoding transition FF2b_78 (330/500).
Encoding transition FF2b_81 (331/500).
Encoding transition FF2b_80 (332/500).
Encoding transition FF2b_83 (333/500).
Encoding transition FF2b_82 (334/500).
Encoding transition FF2b_85 (335/500).
Encoding transition FF2b_84 (336/500).
Encoding transition FF2b_87 (337/500).
Encoding transition FF2b_86 (338/500).
Encoding transition FF2b_89 (339/500).
Encoding transition FF2b_88 (340/500).
Encoding transition FF2b_91 (341/500).
Encoding transition FF2b_90 (342/500).
Encoding transition FF2b_93 (343/500).
Encoding transition FF2b_92 (344/500).
Encoding transition FF2b_62 (345/500).
Encoding transition FF2b_63 (346/500).
Encoding transition FF2b_64 (347/500).
Encoding transition FF2b_65 (348/500).
Encoding transition FF2b_66 (349/500).
Encoding transition FF2b_67 (350/500).
Encoding transition FF2b_68 (351/500).
Encoding transition FF2b_69 (352/500).
Encoding transition FF2b_70 (353/500).
Encoding transition FF2b_71 (354/500).
Encoding transition FF2b_72 (355/500).
Encoding transition FF2b_73 (356/500).
Encoding transition FF2b_74 (357/500).
Encoding transition FF2b_75 (358/500).
Encoding transition FF2b_76 (359/500).
Encoding transition FF2b_77 (360/500).
Encoding transition FF2b_49 (361/500).
Encoding transition FF2b_48 (362/500).
Encoding transition FF2b_47 (363/500).
Encoding transition FF2b_46 (364/500).
Encoding transition FF2b_53 (365/500).
Encoding transition FF2b_52 (366/500).
Encoding transition FF2b_51 (367/500).
Encoding transition FF2b_50 (368/500).
Encoding transition FF2b_57 (369/500).
Encoding transition FF2b_56 (370/500).
Encoding transition FF2b_55 (371/500).
Encoding transition FF2b_54 (372/500).
Encoding transition FF2b_61 (373/500).
Encoding transition FF2b_60 (374/500).
Encoding transition FF2b_59 (375/500).
Encoding transition FF2b_58 (376/500).
Encoding transition FF2b_32 (377/500).
Encoding transition FF2b_33 (378/500).
Encoding transition FF2b_30 (379/500).
Encoding transition FF2b_31 (380/500).
Encoding transition FF2b_36 (381/500).
Encoding transition FF2b_37 (382/500).
Encoding transition FF2b_34 (383/500).
Encoding transition FF2b_35 (384/500).
Encoding transition FF2b_40 (385/500).
Encoding transition FF2b_41 (386/500).
Encoding transition FF2b_38 (387/500).
Encoding transition FF2b_39 (388/500).
Encoding transition FF2b_44 (389/500).
Encoding transition FF2b_45 (390/500).
Encoding transition FF2b_42 (391/500).
Encoding transition FF2b_43 (392/500).
Encoding transition End_54 (393/500).
Encoding transition End_55 (394/500).
Encoding transition End_56 (395/500).
Encoding transition End_57 (396/500).
Encoding transition End_50 (397/500).
Encoding transition End_51 (398/500).
Encoding transition End_52 (399/500).
Encoding transition End_53 (400/500).
Encoding transition End_46 (401/500).
Encoding transition End_47 (402/500).
Encoding transition End_48 (403/500).
Encoding transition End_49 (404/500).
Encoding transition End_42 (405/500).
Encoding transition End_43 (406/500).
Encoding transition End_44 (407/500).
Encoding transition End_45 (408/500).
Encoding transition End_39 (409/500).
Encoding transition End_38 (410/500).
Encoding transition End_41 (411/500).
Encoding transition End_40 (412/500).
Encoding transition End_35 (413/500).
Encoding transition End_34 (414/500).
Encoding transition End_37 (415/500).
Encoding transition End_36 (416/500).
Encoding transition End_31 (417/500).
Encoding transition End_30 (418/500).
Encoding transition End_33 (419/500).
Encoding transition End_32 (420/500).
Encoding transition End_27 (421/500).
Encoding transition End_26 (422/500).
Encoding transition End_29 (423/500).
Encoding transition End_28 (424/500).
Encoding transition End_24 (425/500).
Encoding transition End_25 (426/500).
Encoding transition End_22 (427/500).
Encoding transition End_23 (428/500).
Encoding transition End_20 (429/500).
Encoding transition End_21 (430/500).
Encoding transition End_18 (431/500).
Encoding transition End_19 (432/500).
Encoding transition End_16 (433/500).
Encoding transition End_17 (434/500).
Encoding transition End_14 (435/500).
Encoding transition End_15 (436/500).
Encoding transition End_12 (437/500).
Encoding transition End_13 (438/500).
Encoding transition End_10 (439/500).
Encoding transition End_11 (440/500).
Encoding transition End_9 (441/500).
Encoding transition End_8 (442/500).
Encoding transition End_7 (443/500).
Encoding transition End_6 (444/500).
Encoding transition End_5 (445/500).
Encoding transition End_4 (446/500).
Encoding transition End_3 (447/500).
Encoding transition End_2 (448/500).
Encoding transition End_1 (449/500).
Encoding transition FF2b_100 (450/500).
Encoding transition FF2b_99 (451/500).
Encoding transition FF2b_98 (452/500).
Encoding transition FF2b_97 (453/500).
Encoding transition FF2b_96 (454/500).
Encoding transition FF2b_95 (455/500).
Encoding transition FF2b_94 (456/500).
Encoding transition End_99 (457/500).
Encoding transition End_98 (458/500).
Encoding transition End_100 (459/500).
Encoding transition End_91 (460/500).
Encoding transition End_90 (461/500).
Encoding transition End_93 (462/500).
Encoding transition End_92 (463/500).
Encoding transition End_95 (464/500).
Encoding transition End_94 (465/500).
Encoding transition End_97 (466/500).
Encoding transition End_96 (467/500).
Encoding transition End_84 (468/500).
Encoding transition End_85 (469/500).
Encoding transition End_82 (470/500).
Encoding transition End_83 (471/500).
Encoding transition End_88 (472/500).
Encoding transition End_89 (473/500).
Encoding transition End_86 (474/500).
Encoding transition End_87 (475/500).
Encoding transition End_76 (476/500).
Encoding transition End_77 (477/500).
Encoding transition End_74 (478/500).
Encoding transition End_75 (479/500).
Encoding transition End_80 (480/500).
Encoding transition End_81 (481/500).
Encoding transition End_78 (482/500).
Encoding transition End_79 (483/500).
Encoding transition End_69 (484/500).
Encoding transition End_68 (485/500).
Encoding transition End_67 (486/500).
Encoding transition End_66 (487/500).
Encoding transition End_73 (488/500).
Encoding transition End_72 (489/500).
Encoding transition End_71 (490/500).
Encoding transition End_70 (491/500).
Encoding transition End_61 (492/500).
Encoding transition End_60 (493/500).
Encoding transition End_59 (494/500).
Encoding transition End_58 (495/500).
Encoding transition End_65 (496/500).
Encoding transition End_64 (497/500).
Encoding transition End_63 (498/500).
Encoding transition End_62 (499/500).
----------------------------------------
End firing rule encoding
----------------------------------------
----------------------------------------
Start RS generation
----------------------------------------
Total Used Memory: 19720KB
RS size: -9223372036854775808 (5.15378e+47)
----------------------------------------
End RS generation
----------------------------------------
BK_STOP 1400439651436
--------------------
content from stderr:
/home/mcc/BenchKit/bin/greatspn_tool.sh: line 167: 1700 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="Philosophers-PT-000100"
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/Philosophers-PT-000100.tgz
mv Philosophers-PT-000100 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 Philosophers-PT-000100, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r04kn-qhx2-140043541400876"
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 ;