About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
830.39 | 124211 | 198.6 | TTFFFTTTTT | 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 Dekker-PT-020, examination is ReachabilityBounds
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r01kn-qhx2-140025665600770
=====================================================================
--------------------
content from stdout:
BK_START 1400263961705
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running Dekker (PT), instance 020
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/ReachabilityBounds.xml INTO /home/mcc/execution/ReachabilityBounds.rgmedd-ctl
/home/mcc/BenchKit/bin/bin/RGMEDD model -FORCE-WES1 -h 2000000000 -B 1 -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 withdraw_0_1 (0/440).
Encoding transition withdraw_0_2 (1/440).
Encoding transition withdraw_0_3 (2/440).
Encoding transition withdraw_0_4 (3/440).
Encoding transition withdraw_0_5 (4/440).
Encoding transition withdraw_0_6 (5/440).
Encoding transition withdraw_0_7 (6/440).
Encoding transition withdraw_0_8 (7/440).
Encoding transition withdraw_0_9 (8/440).
Encoding transition withdraw_0_10 (9/440).
Encoding transition withdraw_0_11 (10/440).
Encoding transition withdraw_0_12 (11/440).
Encoding transition withdraw_0_13 (12/440).
Encoding transition withdraw_0_14 (13/440).
Encoding transition withdraw_0_15 (14/440).
Encoding transition withdraw_0_16 (15/440).
Encoding transition withdraw_0_17 (16/440).
Encoding transition withdraw_0_18 (17/440).
Encoding transition withdraw_0_19 (18/440).
Encoding transition try_0 (19/440).
Encoding transition enter_0 (20/440).
Encoding transition exit_0 (21/440).
Encoding transition withdraw_1_0 (22/440).
Encoding transition withdraw_1_2 (23/440).
Encoding transition withdraw_1_3 (24/440).
Encoding transition withdraw_1_4 (25/440).
Encoding transition withdraw_1_5 (26/440).
Encoding transition withdraw_1_6 (27/440).
Encoding transition withdraw_1_7 (28/440).
Encoding transition withdraw_1_8 (29/440).
Encoding transition withdraw_1_9 (30/440).
Encoding transition withdraw_1_10 (31/440).
Encoding transition withdraw_1_11 (32/440).
Encoding transition withdraw_1_12 (33/440).
Encoding transition withdraw_1_13 (34/440).
Encoding transition withdraw_1_14 (35/440).
Encoding transition withdraw_1_15 (36/440).
Encoding transition withdraw_1_16 (37/440).
Encoding transition withdraw_1_17 (38/440).
Encoding transition withdraw_1_18 (39/440).
Encoding transition withdraw_1_19 (40/440).
Encoding transition try_1 (41/440).
Encoding transition enter_1 (42/440).
Encoding transition exit_1 (43/440).
Encoding transition withdraw_2_0 (44/440).
Encoding transition withdraw_2_1 (45/440).
Encoding transition withdraw_2_3 (46/440).
Encoding transition withdraw_2_4 (47/440).
Encoding transition withdraw_2_5 (48/440).
Encoding transition withdraw_2_6 (49/440).
Encoding transition withdraw_2_7 (50/440).
Encoding transition withdraw_2_8 (51/440).
Encoding transition withdraw_2_9 (52/440).
Encoding transition withdraw_2_10 (53/440).
Encoding transition withdraw_2_11 (54/440).
Encoding transition withdraw_2_12 (55/440).
Encoding transition withdraw_2_13 (56/440).
Encoding transition withdraw_2_14 (57/440).
Encoding transition withdraw_2_15 (58/440).
Encoding transition withdraw_2_16 (59/440).
Encoding transition withdraw_2_17 (60/440).
Encoding transition withdraw_2_18 (61/440).
Encoding transition withdraw_2_19 (62/440).
Encoding transition try_2 (63/440).
Encoding transition enter_2 (64/440).
Encoding transition exit_2 (65/440).
Encoding transition withdraw_3_0 (66/440).
Encoding transition withdraw_3_1 (67/440).
Encoding transition withdraw_3_2 (68/440).
Encoding transition withdraw_3_4 (69/440).
Encoding transition withdraw_3_5 (70/440).
Encoding transition withdraw_3_6 (71/440).
Encoding transition withdraw_3_7 (72/440).
Encoding transition withdraw_3_8 (73/440).
Encoding transition withdraw_3_9 (74/440).
Encoding transition withdraw_3_10 (75/440).
Encoding transition withdraw_3_11 (76/440).
Encoding transition withdraw_3_12 (77/440).
Encoding transition withdraw_3_13 (78/440).
Encoding transition withdraw_3_14 (79/440).
Encoding transition withdraw_3_15 (80/440).
Encoding transition withdraw_3_16 (81/440).
Encoding transition withdraw_3_17 (82/440).
Encoding transition withdraw_3_18 (83/440).
Encoding transition withdraw_3_19 (84/440).
Encoding transition try_3 (85/440).
Encoding transition enter_3 (86/440).
Encoding transition exit_3 (87/440).
Encoding transition withdraw_4_0 (88/440).
Encoding transition withdraw_4_1 (89/440).
Encoding transition withdraw_4_2 (90/440).
Encoding transition withdraw_4_3 (91/440).
Encoding transition withdraw_4_5 (92/440).
Encoding transition withdraw_4_6 (93/440).
Encoding transition withdraw_4_7 (94/440).
Encoding transition withdraw_4_8 (95/440).
Encoding transition withdraw_4_9 (96/440).
Encoding transition withdraw_4_10 (97/440).
Encoding transition withdraw_4_11 (98/440).
Encoding transition withdraw_4_12 (99/440).
Encoding transition withdraw_4_13 (100/440).
Encoding transition withdraw_4_14 (101/440).
Encoding transition withdraw_4_15 (102/440).
Encoding transition withdraw_4_16 (103/440).
Encoding transition withdraw_4_17 (104/440).
Encoding transition withdraw_4_18 (105/440).
Encoding transition withdraw_4_19 (106/440).
Encoding transition try_4 (107/440).
Encoding transition enter_4 (108/440).
Encoding transition exit_4 (109/440).
Encoding transition withdraw_5_0 (110/440).
Encoding transition withdraw_5_1 (111/440).
Encoding transition withdraw_5_2 (112/440).
Encoding transition withdraw_5_3 (113/440).
Encoding transition withdraw_5_4 (114/440).
Encoding transition withdraw_5_6 (115/440).
Encoding transition withdraw_5_7 (116/440).
Encoding transition withdraw_5_8 (117/440).
Encoding transition withdraw_5_9 (118/440).
Encoding transition withdraw_5_10 (119/440).
Encoding transition withdraw_5_11 (120/440).
Encoding transition withdraw_5_12 (121/440).
Encoding transition withdraw_5_13 (122/440).
Encoding transition withdraw_5_14 (123/440).
Encoding transition withdraw_5_15 (124/440).
Encoding transition withdraw_5_16 (125/440).
Encoding transition withdraw_5_17 (126/440).
Encoding transition withdraw_5_18 (127/440).
Encoding transition withdraw_5_19 (128/440).
Encoding transition try_5 (129/440).
Encoding transition enter_5 (130/440).
Encoding transition exit_5 (131/440).
Encoding transition withdraw_6_0 (132/440).
Encoding transition withdraw_6_1 (133/440).
Encoding transition withdraw_6_2 (134/440).
Encoding transition withdraw_6_3 (135/440).
Encoding transition withdraw_6_4 (136/440).
Encoding transition withdraw_6_5 (137/440).
Encoding transition withdraw_6_7 (138/440).
Encoding transition withdraw_6_8 (139/440).
Encoding transition withdraw_6_9 (140/440).
Encoding transition withdraw_6_10 (141/440).
Encoding transition withdraw_6_11 (142/440).
Encoding transition withdraw_6_12 (143/440).
Encoding transition withdraw_6_13 (144/440).
Encoding transition withdraw_6_14 (145/440).
Encoding transition withdraw_6_15 (146/440).
Encoding transition withdraw_6_16 (147/440).
Encoding transition withdraw_6_17 (148/440).
Encoding transition withdraw_6_18 (149/440).
Encoding transition withdraw_6_19 (150/440).
Encoding transition try_6 (151/440).
Encoding transition enter_6 (152/440).
Encoding transition exit_6 (153/440).
Encoding transition withdraw_7_0 (154/440).
Encoding transition withdraw_7_1 (155/440).
Encoding transition withdraw_7_2 (156/440).
Encoding transition withdraw_7_3 (157/440).
Encoding transition withdraw_7_4 (158/440).
Encoding transition withdraw_7_5 (159/440).
Encoding transition withdraw_7_6 (160/440).
Encoding transition withdraw_7_8 (161/440).
Encoding transition withdraw_7_9 (162/440).
Encoding transition withdraw_7_10 (163/440).
Encoding transition withdraw_7_11 (164/440).
Encoding transition withdraw_7_12 (165/440).
Encoding transition withdraw_7_13 (166/440).
Encoding transition withdraw_7_14 (167/440).
Encoding transition withdraw_7_15 (168/440).
Encoding transition withdraw_7_16 (169/440).
Encoding transition withdraw_7_17 (170/440).
Encoding transition withdraw_7_18 (171/440).
Encoding transition withdraw_7_19 (172/440).
Encoding transition try_7 (173/440).
Encoding transition enter_7 (174/440).
Encoding transition exit_7 (175/440).
Encoding transition withdraw_8_0 (176/440).
Encoding transition withdraw_8_1 (177/440).
Encoding transition withdraw_8_2 (178/440).
Encoding transition withdraw_8_3 (179/440).
Encoding transition withdraw_8_4 (180/440).
Encoding transition withdraw_8_5 (181/440).
Encoding transition withdraw_8_6 (182/440).
Encoding transition withdraw_8_7 (183/440).
Encoding transition withdraw_8_9 (184/440).
Encoding transition withdraw_8_10 (185/440).
Encoding transition withdraw_8_11 (186/440).
Encoding transition withdraw_8_12 (187/440).
Encoding transition withdraw_8_13 (188/440).
Encoding transition withdraw_8_14 (189/440).
Encoding transition withdraw_8_15 (190/440).
Encoding transition withdraw_8_16 (191/440).
Encoding transition withdraw_8_17 (192/440).
Encoding transition withdraw_8_18 (193/440).
Encoding transition withdraw_8_19 (194/440).
Encoding transition try_8 (195/440).
Encoding transition enter_8 (196/440).
Encoding transition exit_8 (197/440).
Encoding transition withdraw_9_0 (198/440).
Encoding transition withdraw_9_1 (199/440).
Encoding transition withdraw_9_2 (200/440).
Encoding transition withdraw_9_3 (201/440).
Encoding transition withdraw_9_4 (202/440).
Encoding transition withdraw_9_5 (203/440).
Encoding transition withdraw_9_6 (204/440).
Encoding transition withdraw_9_7 (205/440).
Encoding transition withdraw_9_8 (206/440).
Encoding transition withdraw_9_10 (207/440).
Encoding transition withdraw_9_11 (208/440).
Encoding transition withdraw_9_12 (209/440).
Encoding transition withdraw_9_13 (210/440).
Encoding transition withdraw_9_14 (211/440).
Encoding transition withdraw_9_15 (212/440).
Encoding transition withdraw_9_16 (213/440).
Encoding transition withdraw_9_17 (214/440).
Encoding transition withdraw_9_18 (215/440).
Encoding transition withdraw_9_19 (216/440).
Encoding transition try_9 (217/440).
Encoding transition enter_9 (218/440).
Encoding transition exit_9 (219/440).
Encoding transition withdraw_10_0 (220/440).
Encoding transition withdraw_10_1 (221/440).
Encoding transition withdraw_10_2 (222/440).
Encoding transition withdraw_10_3 (223/440).
Encoding transition withdraw_10_4 (224/440).
Encoding transition withdraw_10_5 (225/440).
Encoding transition withdraw_10_6 (226/440).
Encoding transition withdraw_10_7 (227/440).
Encoding transition withdraw_10_8 (228/440).
Encoding transition withdraw_10_9 (229/440).
Encoding transition withdraw_10_11 (230/440).
Encoding transition withdraw_10_12 (231/440).
Encoding transition withdraw_10_13 (232/440).
Encoding transition withdraw_10_14 (233/440).
Encoding transition withdraw_10_15 (234/440).
Encoding transition withdraw_10_16 (235/440).
Encoding transition withdraw_10_17 (236/440).
Encoding transition withdraw_10_18 (237/440).
Encoding transition withdraw_10_19 (238/440).
Encoding transition try_10 (239/440).
Encoding transition enter_10 (240/440).
Encoding transition exit_10 (241/440).
Encoding transition withdraw_11_0 (242/440).
Encoding transition withdraw_11_1 (243/440).
Encoding transition withdraw_11_2 (244/440).
Encoding transition withdraw_11_3 (245/440).
Encoding transition withdraw_11_4 (246/440).
Encoding transition withdraw_11_5 (247/440).
Encoding transition withdraw_11_6 (248/440).
Encoding transition withdraw_11_7 (249/440).
Encoding transition withdraw_11_8 (250/440).
Encoding transition withdraw_11_9 (251/440).
Encoding transition withdraw_11_10 (252/440).
Encoding transition withdraw_11_12 (253/440).
Encoding transition withdraw_11_13 (254/440).
Encoding transition withdraw_11_14 (255/440).
Encoding transition withdraw_11_15 (256/440).
Encoding transition withdraw_11_16 (257/440).
Encoding transition withdraw_11_17 (258/440).
Encoding transition withdraw_11_18 (259/440).
Encoding transition withdraw_11_19 (260/440).
Encoding transition try_11 (261/440).
Encoding transition enter_11 (262/440).
Encoding transition exit_11 (263/440).
Encoding transition withdraw_12_0 (264/440).
Encoding transition withdraw_12_1 (265/440).
Encoding transition withdraw_12_2 (266/440).
Encoding transition withdraw_12_3 (267/440).
Encoding transition withdraw_12_4 (268/440).
Encoding transition withdraw_12_5 (269/440).
Encoding transition withdraw_12_6 (270/440).
Encoding transition withdraw_12_7 (271/440).
Encoding transition withdraw_12_8 (272/440).
Encoding transition withdraw_12_9 (273/440).
Encoding transition withdraw_12_10 (274/440).
Encoding transition withdraw_12_11 (275/440).
Encoding transition withdraw_12_13 (276/440).
Encoding transition withdraw_12_14 (277/440).
Encoding transition withdraw_12_15 (278/440).
Encoding transition withdraw_12_16 (279/440).
Encoding transition withdraw_12_17 (280/440).
Encoding transition withdraw_12_18 (281/440).
Encoding transition withdraw_12_19 (282/440).
Encoding transition try_12 (283/440).
Encoding transition enter_12 (284/440).
Encoding transition exit_12 (285/440).
Encoding transition withdraw_13_0 (286/440).
Encoding transition withdraw_13_1 (287/440).
Encoding transition withdraw_13_2 (288/440).
Encoding transition withdraw_13_3 (289/440).
Encoding transition withdraw_13_4 (290/440).
Encoding transition withdraw_13_5 (291/440).
Encoding transition withdraw_13_6 (292/440).
Encoding transition withdraw_13_7 (293/440).
Encoding transition withdraw_13_8 (294/440).
Encoding transition withdraw_13_9 (295/440).
Encoding transition withdraw_13_10 (296/440).
Encoding transition withdraw_13_11 (297/440).
Encoding transition withdraw_13_12 (298/440).
Encoding transition withdraw_13_14 (299/440).
Encoding transition withdraw_13_15 (300/440).
Encoding transition withdraw_13_16 (301/440).
Encoding transition withdraw_13_17 (302/440).
Encoding transition withdraw_13_18 (303/440).
Encoding transition withdraw_13_19 (304/440).
Encoding transition try_13 (305/440).
Encoding transition enter_13 (306/440).
Encoding transition exit_13 (307/440).
Encoding transition withdraw_14_0 (308/440).
Encoding transition withdraw_14_1 (309/440).
Encoding transition withdraw_14_2 (310/440).
Encoding transition withdraw_14_3 (311/440).
Encoding transition withdraw_14_4 (312/440).
Encoding transition withdraw_14_5 (313/440).
Encoding transition withdraw_14_6 (314/440).
Encoding transition withdraw_14_7 (315/440).
Encoding transition withdraw_14_8 (316/440).
Encoding transition withdraw_14_9 (317/440).
Encoding transition withdraw_14_10 (318/440).
Encoding transition withdraw_14_11 (319/440).
Encoding transition withdraw_14_12 (320/440).
Encoding transition withdraw_14_13 (321/440).
Encoding transition withdraw_14_15 (322/440).
Encoding transition withdraw_14_16 (323/440).
Encoding transition withdraw_14_17 (324/440).
Encoding transition withdraw_14_18 (325/440).
Encoding transition withdraw_14_19 (326/440).
Encoding transition try_14 (327/440).
Encoding transition enter_14 (328/440).
Encoding transition exit_14 (329/440).
Encoding transition withdraw_15_0 (330/440).
Encoding transition withdraw_15_1 (331/440).
Encoding transition withdraw_15_2 (332/440).
Encoding transition withdraw_15_3 (333/440).
Encoding transition withdraw_15_4 (334/440).
Encoding transition withdraw_15_5 (335/440).
Encoding transition withdraw_15_6 (336/440).
Encoding transition withdraw_15_7 (337/440).
Encoding transition withdraw_15_8 (338/440).
Encoding transition withdraw_15_9 (339/440).
Encoding transition withdraw_15_10 (340/440).
Encoding transition withdraw_15_11 (341/440).
Encoding transition withdraw_15_12 (342/440).
Encoding transition withdraw_15_13 (343/440).
Encoding transition withdraw_15_14 (344/440).
Encoding transition withdraw_15_16 (345/440).
Encoding transition withdraw_15_17 (346/440).
Encoding transition withdraw_15_18 (347/440).
Encoding transition withdraw_15_19 (348/440).
Encoding transition try_15 (349/440).
Encoding transition enter_15 (350/440).
Encoding transition exit_15 (351/440).
Encoding transition withdraw_16_0 (352/440).
Encoding transition withdraw_16_1 (353/440).
Encoding transition withdraw_16_2 (354/440).
Encoding transition withdraw_16_3 (355/440).
Encoding transition withdraw_16_4 (356/440).
Encoding transition withdraw_16_5 (357/440).
Encoding transition withdraw_16_6 (358/440).
Encoding transition withdraw_16_7 (359/440).
Encoding transition withdraw_16_8 (360/440).
Encoding transition withdraw_16_9 (361/440).
Encoding transition withdraw_16_10 (362/440).
Encoding transition withdraw_16_11 (363/440).
Encoding transition withdraw_16_12 (364/440).
Encoding transition withdraw_16_13 (365/440).
Encoding transition withdraw_16_14 (366/440).
Encoding transition withdraw_16_15 (367/440).
Encoding transition withdraw_16_17 (368/440).
Encoding transition withdraw_16_18 (369/440).
Encoding transition withdraw_16_19 (370/440).
Encoding transition try_16 (371/440).
Encoding transition enter_16 (372/440).
Encoding transition exit_16 (373/440).
Encoding transition withdraw_17_0 (374/440).
Encoding transition withdraw_17_1 (375/440).
Encoding transition withdraw_17_2 (376/440).
Encoding transition withdraw_17_3 (377/440).
Encoding transition withdraw_17_4 (378/440).
Encoding transition withdraw_17_5 (379/440).
Encoding transition withdraw_17_6 (380/440).
Encoding transition withdraw_17_7 (381/440).
Encoding transition withdraw_17_8 (382/440).
Encoding transition withdraw_17_9 (383/440).
Encoding transition withdraw_17_10 (384/440).
Encoding transition withdraw_17_11 (385/440).
Encoding transition withdraw_17_12 (386/440).
Encoding transition withdraw_17_13 (387/440).
Encoding transition withdraw_17_14 (388/440).
Encoding transition withdraw_17_15 (389/440).
Encoding transition withdraw_17_16 (390/440).
Encoding transition withdraw_17_18 (391/440).
Encoding transition withdraw_17_19 (392/440).
Encoding transition try_17 (393/440).
Encoding transition enter_17 (394/440).
Encoding transition exit_17 (395/440).
Encoding transition withdraw_18_0 (396/440).
Encoding transition withdraw_18_1 (397/440).
Encoding transition withdraw_18_2 (398/440).
Encoding transition withdraw_18_3 (399/440).
Encoding transition withdraw_18_4 (400/440).
Encoding transition withdraw_18_5 (401/440).
Encoding transition withdraw_18_6 (402/440).
Encoding transition withdraw_18_7 (403/440).
Encoding transition withdraw_18_8 (404/440).
Encoding transition withdraw_18_9 (405/440).
Encoding transition withdraw_18_10 (406/440).
Encoding transition withdraw_18_11 (407/440).
Encoding transition withdraw_18_12 (408/440).
Encoding transition withdraw_18_13 (409/440).
Encoding transition withdraw_18_14 (410/440).
Encoding transition withdraw_18_15 (411/440).
Encoding transition withdraw_18_16 (412/440).
Encoding transition withdraw_18_17 (413/440).
Encoding transition withdraw_18_19 (414/440).
Encoding transition try_18 (415/440).
Encoding transition enter_18 (416/440).
Encoding transition exit_18 (417/440).
Encoding transition withdraw_19_0 (418/440).
Encoding transition withdraw_19_1 (419/440).
Encoding transition withdraw_19_2 (420/440).
Encoding transition withdraw_19_3 (421/440).
Encoding transition withdraw_19_4 (422/440).
Encoding transition withdraw_19_5 (423/440).
Encoding transition withdraw_19_6 (424/440).
Encoding transition withdraw_19_7 (425/440).
Encoding transition withdraw_19_8 (426/440).
Encoding transition withdraw_19_9 (427/440).
Encoding transition withdraw_19_10 (428/440).
Encoding transition withdraw_19_11 (429/440).
Encoding transition withdraw_19_12 (430/440).
Encoding transition withdraw_19_13 (431/440).
Encoding transition withdraw_19_14 (432/440).
Encoding transition withdraw_19_15 (433/440).
Encoding transition withdraw_19_16 (434/440).
Encoding transition withdraw_19_17 (435/440).
Encoding transition withdraw_19_18 (436/440).
Encoding transition try_19 (437/440).
Encoding transition enter_19 (438/440).
Encoding transition exit_19 (439/440).
----------------------------------------
End firing rule encoding
----------------------------------------
----------------------------------------
Start RS generation
----------------------------------------
Total Used Memory: 14712KB
RS size: 11534336 (1.15343e+07)
----------------------------------------
End RS generation
----------------------------------------
FORMULA Dekker-PT-020-ReachabilityBounds-1 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA Dekker-PT-020-ReachabilityBounds-2 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA Dekker-PT-020-ReachabilityBounds-3 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA Dekker-PT-020-ReachabilityBounds-4 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA Dekker-PT-020-ReachabilityBounds-5 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA Dekker-PT-020-ReachabilityBounds-6 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA Dekker-PT-020-ReachabilityBounds-7 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA Dekker-PT-020-ReachabilityBounds-8 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA Dekker-PT-020-ReachabilityBounds-9 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA Dekker-PT-020-ReachabilityBounds-10 TRUE TECHNIQUES DECISION_DIAGRAMS
Ok.
BK_STOP 1400264085977
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="Dekker-PT-020"
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/Dekker-PT-020.tgz
mv Dekker-PT-020 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 Dekker-PT-020, examination is ReachabilityBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r01kn-qhx2-140025665600770"
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 ;