About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
- | - | - | DNF | timeout |
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-05, examination is ReachabilityComputeBounds
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r06ks-qhx2-140066505200704
=====================================================================
--------------------
content from stdout:
BK_START 1400673684552
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running SurpriseCSRepetitions (PT), instance 05
MODEL_DIR = /home/mcc/execution
CONVERT PNML /home/mcc/execution/model.pnml
COMPUTING STRUCTURAL INFO.
CONVERT FORMULAE /home/mcc/execution/ReachabilityComputeBounds.xml INTO /home/mcc/execution/ReachabilityComputeBounds.rgmedd-ctl
/home/mcc/BenchKit/bin/bin/RGMEDD model -FORCE-P -h 2000000000 -B 15 -C -f /home/mcc/execution/ReachabilityComputeBounds.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_20_2 (0/325).
Encoding transition Send_Answer_17_4 (1/325).
Encoding transition Send_Request_1 (2/325).
Encoding transition Read_Request_18_4 (3/325).
Encoding transition Read_Request_20_1 (4/325).
Encoding transition Send_Answer_1_2 (5/325).
Encoding transition Read_Request_16_3 (6/325).
Encoding transition Send_Answer_11_2 (7/325).
Encoding transition Prepare_Request_5 (8/325).
Encoding transition Read_Request_12_5 (9/325).
Encoding transition Send_Answer_5_3 (10/325).
Encoding transition Send_Answer_14_3 (11/325).
Encoding transition Send_Answer_18_5 (12/325).
Encoding transition Prepare_Request_19 (13/325).
Encoding transition Send_Answer_9_5 (14/325).
Encoding transition Read_Request_23_2 (15/325).
Encoding transition Read_Request_9_4 (16/325).
Encoding transition Read_Request_12_2 (17/325).
Encoding transition Read_Request_3_5 (18/325).
Encoding transition Read_Request_20_5 (19/325).
Encoding transition Send_Answer_2_1 (20/325).
Encoding transition Send_Answer_4_3 (21/325).
Encoding transition Send_Request_24 (22/325).
Encoding transition Send_Answer_25_4 (23/325).
Encoding transition Send_Request_22 (24/325).
Encoding transition Read_Request_2_1 (25/325).
Encoding transition Read_Request_3_2 (26/325).
Encoding transition Send_Request_8 (27/325).
Encoding transition Read_Request_5_2 (28/325).
Encoding transition Send_Answer_7_4 (29/325).
Encoding transition Send_Answer_8_1 (30/325).
Encoding transition Lose_Request_12 (31/325).
Encoding transition Send_Answer_2_2 (32/325).
Encoding transition Read_Request_9_1 (33/325).
Encoding transition Send_Answer_23_3 (34/325).
Encoding transition Send_Request_15 (35/325).
Encoding transition Lose_Request_20 (36/325).
Encoding transition Read_Request_21_3 (37/325).
Encoding transition Read_Request_13_2 (38/325).
Encoding transition Send_Answer_23_1 (39/325).
Encoding transition Read_Request_10_1 (40/325).
Encoding transition Send_Answer_15_3 (41/325).
Encoding transition Prepare_Request_25 (42/325).
Encoding transition Read_Request_10_4 (43/325).
Encoding transition Read_Request_19_5 (44/325).
Encoding transition Read_Request_19_1 (45/325).
Encoding transition Send_Answer_16_1 (46/325).
Encoding transition Read_Request_3_4 (47/325).
Encoding transition Prepare_Request_11 (48/325).
Encoding transition Prepare_Request_13 (49/325).
Encoding transition Send_Answer_8_3 (50/325).
Encoding transition Lose_Request_1 (51/325).
Encoding transition Send_Answer_19_5 (52/325).
Encoding transition Read_Request_14_3 (53/325).
Encoding transition Send_Answer_1_3 (54/325).
Encoding transition Send_Answer_22_3 (55/325).
Encoding transition Send_Answer_11_4 (56/325).
Encoding transition Read_Request_6_3 (57/325).
Encoding transition Send_Answer_9_1 (58/325).
Encoding transition Send_Answer_4_4 (59/325).
Encoding transition Send_Answer_18_4 (60/325).
Encoding transition Read_Request_22_2 (61/325).
Encoding transition Read_Request_17_4 (62/325).
Encoding transition Send_Answer_5_2 (63/325).
Encoding transition Read_Request_8_1 (64/325).
Encoding transition Read_Request_13_3 (65/325).
Encoding transition Send_Answer_24_1 (66/325).
Encoding transition Send_Answer_19_2 (67/325).
Encoding transition Read_Request_6_5 (68/325).
Encoding transition Read_Request_24_4 (69/325).
Encoding transition Send_Request_14 (70/325).
Encoding transition Lose_Request_13 (71/325).
Encoding transition Lose_Request_6 (72/325).
Encoding transition Read_Request_1_1 (73/325).
Encoding transition Read_Request_22_1 (74/325).
Encoding transition Read_Request_15_1 (75/325).
Encoding transition Read_Request_4_2 (76/325).
Encoding transition Send_Answer_12_2 (77/325).
Encoding transition Send_Answer_24_4 (78/325).
Encoding transition Send_Answer_6_5 (79/325).
Encoding transition Send_Answer_13_2 (80/325).
Encoding transition Send_Request_13 (81/325).
Encoding transition Read_Request_18_2 (82/325).
Encoding transition Read_Request_11_2 (83/325).
Encoding transition Prepare_Request_12 (84/325).
Encoding transition Read_Request_22_3 (85/325).
Encoding transition Read_Request_11_4 (86/325).
Encoding transition Send_Answer_20_5 (87/325).
Encoding transition Send_Answer_10_4 (88/325).
Encoding transition Read_Request_25_2 (89/325).
Encoding transition Send_Answer_21_3 (90/325).
Encoding transition Send_Answer_13_5 (91/325).
Encoding transition Send_Answer_7_3 (92/325).
Encoding transition Lose_Request_2 (93/325).
Encoding transition Read_Request_16_4 (94/325).
Encoding transition Read_Request_7_3 (95/325).
Encoding transition Send_Answer_10_1 (96/325).
Encoding transition Read_Request_5_5 (97/325).
Encoding transition Read_Request_13_5 (98/325).
Encoding transition Prepare_Request_10 (99/325).
Encoding transition Send_Answer_11_1 (100/325).
Encoding transition Read_Request_7_1 (101/325).
Encoding transition Lose_Request_14 (102/325).
Encoding transition Send_Answer_4_2 (103/325).
Encoding transition Read_Request_2_4 (104/325).
Encoding transition Lose_Request_5 (105/325).
Encoding transition Prepare_Request_17 (106/325).
Encoding transition Send_Answer_18_2 (107/325).
Encoding transition Send_Answer_1_1 (108/325).
Encoding transition Send_Answer_4_1 (109/325).
Encoding transition Send_Answer_15_1 (110/325).
Encoding transition Read_Request_21_1 (111/325).
Encoding transition Lose_Request_19 (112/325).
Encoding transition Send_Answer_12_5 (113/325).
Encoding transition Send_Answer_16_3 (114/325).
Encoding transition Prepare_Request_20 (115/325).
Encoding transition Send_Answer_7_5 (116/325).
Encoding transition Read_Request_25_4 (117/325).
Encoding transition Send_Answer_2_3 (118/325).
Encoding transition Send_Answer_5_4 (119/325).
Encoding transition Read_Request_14_5 (120/325).
Encoding transition Send_Request_20 (121/325).
Encoding transition Send_Answer_21_5 (122/325).
Encoding transition Read_Request_18_5 (123/325).
Encoding transition Read_Request_22_4 (124/325).
Encoding transition Read_Request_15_4 (125/325).
Encoding transition Send_Request_2 (126/325).
Encoding transition Send_Answer_20_3 (127/325).
Encoding transition Send_Answer_24_2 (128/325).
Encoding transition Prepare_Request_18 (129/325).
Encoding transition Send_Answer_2_4 (130/325).
Encoding transition Send_Answer_7_2 (131/325).
Encoding transition Read_Request_24_2 (132/325).
Encoding transition Send_Answer_14_2 (133/325).
Encoding transition Send_Request_12 (134/325).
Encoding transition Read_Request_10_2 (135/325).
Encoding transition Send_Answer_23_4 (136/325).
Encoding transition Send_Answer_17_2 (137/325).
Encoding transition Send_Answer_17_3 (138/325).
Encoding transition Read_Request_5_4 (139/325).
Encoding transition Read_Request_19_3 (140/325).
Encoding transition Read_Request_8_5 (141/325).
Encoding transition Send_Answer_22_5 (142/325).
Encoding transition Read_Request_12_3 (143/325).
Encoding transition Send_Answer_13_4 (144/325).
Encoding transition Send_Answer_15_5 (145/325).
Encoding transition Send_Answer_3_1 (146/325).
Encoding transition Send_Answer_21_1 (147/325).
Encoding transition Read_Request_9_2 (148/325).
Encoding transition Send_Answer_10_3 (149/325).
Encoding transition Read_Request_11_3 (150/325).
Encoding transition Send_Answer_19_4 (151/325).
Encoding transition Read_Request_24_5 (152/325).
Encoding transition Send_Answer_14_1 (153/325).
Encoding transition Send_Request_21 (154/325).
Encoding transition Lose_Request_18 (155/325).
Encoding transition Send_Answer_25_2 (156/325).
Encoding transition Send_Answer_12_1 (157/325).
Encoding transition Read_Request_25_5 (158/325).
Encoding transition Send_Answer_3_4 (159/325).
Encoding transition Read_Request_4_4 (160/325).
Encoding transition Read_Request_13_1 (161/325).
Encoding transition Send_Answer_23_5 (162/325).
Encoding transition Send_Answer_6_2 (163/325).
Encoding transition Send_Answer_19_3 (164/325).
Encoding transition Send_Request_3 (165/325).
Encoding transition Read_Request_17_5 (166/325).
Encoding transition Read_Request_19_2 (167/325).
Encoding transition Read_Request_20_3 (168/325).
Encoding transition Lose_Request_15 (169/325).
Encoding transition Send_Answer_20_4 (170/325).
Encoding transition Read_Request_16_2 (171/325).
Encoding transition Read_Request_6_1 (172/325).
Encoding transition Lose_Request_8 (173/325).
Encoding transition Read_Request_23_4 (174/325).
Encoding transition Send_Answer_15_2 (175/325).
Encoding transition Read_Request_14_4 (176/325).
Encoding transition Read_Request_1_3 (177/325).
Encoding transition Send_Answer_16_2 (178/325).
Encoding transition Send_Answer_12_4 (179/325).
Encoding transition Send_Request_4 (180/325).
Encoding transition Lose_Request_24 (181/325).
Encoding transition Read_Request_9_5 (182/325).
Encoding transition Send_Answer_14_5 (183/325).
Encoding transition Read_Request_10_3 (184/325).
Encoding transition Prepare_Request_9 (185/325).
Encoding transition Send_Answer_9_3 (186/325).
Encoding transition Read_Request_24_3 (187/325).
Encoding transition Read_Request_16_1 (188/325).
Encoding transition Read_Request_7_5 (189/325).
Encoding transition Prepare_Request_1 (190/325).
Encoding transition Read_Request_14_1 (191/325).
Encoding transition Read_Request_17_3 (192/325).
Encoding transition Send_Answer_18_3 (193/325).
Encoding transition Lose_Request_7 (194/325).
Encoding transition Read_Request_2_5 (195/325).
Encoding transition Read_Request_23_1 (196/325).
Encoding transition Send_Answer_22_1 (197/325).
Encoding transition Send_Answer_13_1 (198/325).
Encoding transition Read_Request_20_4 (199/325).
Encoding transition Prepare_Request_22 (200/325).
Encoding transition Read_Request_16_5 (201/325).
Encoding transition Read_Request_8_2 (202/325).
Encoding transition Read_Request_17_2 (203/325).
Encoding transition Read_Request_5_1 (204/325).
Encoding transition Read_Request_13_4 (205/325).
Encoding transition Send_Answer_10_5 (206/325).
Encoding transition Lose_Request_25 (207/325).
Encoding transition Send_Request_11 (208/325).
Encoding transition Send_Answer_5_5 (209/325).
Encoding transition Send_Request_18 (210/325).
Encoding transition Read_Request_6_4 (211/325).
Encoding transition Read_Request_2_3 (212/325).
Encoding transition Send_Answer_24_5 (213/325).
Encoding transition Prepare_Request_16 (214/325).
Encoding transition Send_Answer_21_4 (215/325).
Encoding transition Send_Answer_17_5 (216/325).
Encoding transition Prepare_Request_8 (217/325).
Encoding transition Send_Request_10 (218/325).
Encoding transition Lose_Request_23 (219/325).
Encoding transition Lose_Request_16 (220/325).
Encoding transition Send_Answer_15_4 (221/325).
Encoding transition Read_Request_7_4 (222/325).
Encoding transition Read_Request_15_5 (223/325).
Encoding transition Prepare_Request_21 (224/325).
Encoding transition Read_Request_22_5 (225/325).
Encoding transition Read_Request_24_1 (226/325).
Encoding transition Prepare_Request_7 (227/325).
Encoding transition Send_Answer_1_4 (228/325).
Encoding transition Send_Answer_5_1 (229/325).
Encoding transition Send_Answer_8_4 (230/325).
Encoding transition Send_Request_5 (231/325).
Encoding transition Prepare_Request_2 (232/325).
Encoding transition Read_Request_1_5 (233/325).
Encoding transition Read_Request_18_3 (234/325).
Encoding transition Send_Request_23 (235/325).
Encoding transition Read_Request_9_3 (236/325).
Encoding transition Lose_Request_17 (237/325).
Encoding transition Send_Request_19 (238/325).
Encoding transition Send_Answer_12_3 (239/325).
Encoding transition Send_Answer_19_1 (240/325).
Encoding transition Send_Answer_25_5 (241/325).
Encoding transition Read_Request_7_2 (242/325).
Encoding transition Read_Request_11_1 (243/325).
Encoding transition Read_Request_10_5 (244/325).
Encoding transition Send_Answer_22_4 (245/325).
Encoding transition Prepare_Request_3 (246/325).
Encoding transition Send_Answer_20_1 (247/325).
Encoding transition Read_Request_23_3 (248/325).
Encoding transition Read_Request_4_1 (249/325).
Encoding transition Prepare_Request_14 (250/325).
Encoding transition Read_Request_12_4 (251/325).
Encoding transition Read_Request_18_1 (252/325).
Encoding transition Send_Answer_4_5 (253/325).
Encoding transition Send_Answer_11_5 (254/325).
Encoding transition Lose_Request_10 (255/325).
Encoding transition Send_Answer_8_2 (256/325).
Encoding transition Send_Answer_23_2 (257/325).
Encoding transition Send_Answer_9_2 (258/325).
Encoding transition Read_Request_21_4 (259/325).
Encoding transition Read_Request_23_5 (260/325).
Encoding transition Send_Answer_11_3 (261/325).
Encoding transition Send_Answer_6_1 (262/325).
Encoding transition Read_Request_25_1 (263/325).
Encoding transition Lose_Request_22 (264/325).
Encoding transition Send_Answer_22_2 (265/325).
Encoding transition Send_Request_9 (266/325).
Encoding transition Send_Request_6 (267/325).
Encoding transition Send_Answer_16_5 (268/325).
Encoding transition Send_Answer_25_3 (269/325).
Encoding transition Read_Request_21_2 (270/325).
Encoding transition Read_Request_21_5 (271/325).
Encoding transition Read_Request_3_3 (272/325).
Encoding transition Send_Request_16 (273/325).
Encoding transition Send_Answer_3_5 (274/325).
Encoding transition Prepare_Request_24 (275/325).
Encoding transition Read_Request_1_2 (276/325).
Encoding transition Lose_Request_3 (277/325).
Encoding transition Read_Request_14_2 (278/325).
Encoding transition Read_Request_8_4 (279/325).
Encoding transition Prepare_Request_4 (280/325).
Encoding transition Send_Answer_16_4 (281/325).
Encoding transition Send_Answer_14_4 (282/325).
Encoding transition Send_Answer_3_2 (283/325).
Encoding transition Lose_Request_4 (284/325).
Encoding transition Read_Request_1_4 (285/325).
Encoding transition Read_Request_11_5 (286/325).
Encoding transition Send_Answer_1_5 (287/325).
Encoding transition Read_Request_4_5 (288/325).
Encoding transition Send_Answer_7_1 (289/325).
Encoding transition Read_Request_12_1 (290/325).
Encoding transition Send_Answer_18_1 (291/325).
Encoding transition Prepare_Request_23 (292/325).
Encoding transition Send_Answer_6_3 (293/325).
Encoding transition Lose_Request_9 (294/325).
Encoding transition Send_Answer_13_3 (295/325).
Encoding transition Send_Answer_9_4 (296/325).
Encoding transition Send_Answer_10_2 (297/325).
Encoding transition Prepare_Request_6 (298/325).
Encoding transition Read_Request_3_1 (299/325).
Encoding transition Lose_Request_11 (300/325).
Encoding transition Read_Request_17_1 (301/325).
Encoding transition Read_Request_15_3 (302/325).
Encoding transition Read_Request_8_3 (303/325).
Encoding transition Send_Answer_25_1 (304/325).
Encoding transition Send_Request_17 (305/325).
Encoding transition Lose_Request_21 (306/325).
Encoding transition Send_Answer_6_4 (307/325).
Encoding transition Send_Request_25 (308/325).
Encoding transition Read_Request_19_4 (309/325).
Encoding transition Send_Answer_3_3 (310/325).
Encoding transition Read_Request_6_2 (311/325).
Encoding transition Read_Request_5_3 (312/325).
Encoding transition Send_Answer_24_3 (313/325).
Encoding transition Read_Request_25_3 (314/325).
Encoding transition Send_Answer_8_5 (315/325).
Encoding transition Send_Answer_2_5 (316/325).
Encoding transition Read_Request_4_3 (317/325).
Encoding transition Read_Request_15_2 (318/325).
Encoding transition Send_Answer_17_1 (319/325).
Encoding transition Read_Request_20_2 (320/325).
Encoding transition Prepare_Request_15 (321/325).
Encoding transition Read_Request_2_2 (322/325).
Encoding transition Send_Answer_21_2 (323/325).
Encoding transition Send_Request_7 (324/325).
----------------------------------------
End firing rule encoding
----------------------------------------
----------------------------------------
Start RS generation
----------------------------------------
Total Used Memory: 69612KB
BK_TIME_CONFINEMENT_REACHED
--------------------
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="SurpriseCSRepetitions-PT-05"
export BK_EXAMINATION="ReachabilityComputeBounds"
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-05.tgz
mv SurpriseCSRepetitions-PT-05 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-05, examination is ReachabilityComputeBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r06ks-qhx2-140066505200704"
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 ;