fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Execution Report for Run r04kn-qhx2-140043541400873
Last Updated
Sept. 1, 2014

About the Execution

Execution Summary
Max Memory
Used (MB)
CPU Usage (ms) I/O Wait (ms) Competition Result Execution
Status
471.09 105286 126.6 90 96 50 85 50 90 50 96 87 96 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 ReachabilityComputeBounds
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r04kn-qhx2-140043541400873
=====================================================================


--------------------
content from stdout:

BK_START 1400438313613
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running Philosophers (PT), instance 000100
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/ReachabilityComputeBounds.xml INTO /home/mcc/execution/ReachabilityComputeBounds.rgmedd-ctl
/home/mcc/BenchKit/bin/bin/RGMEDD model -P -h 2000000000 -B 1 -C -f /home/mcc/execution/ReachabilityComputeBounds.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: 19712KB
RS size: -9223372036854775808 (5.15378e+47)
----------------------------------------
End RS generation
----------------------------------------

FORMULA Philosophers-COL-000100-ReachabilityComputeBounds-1 90 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000100-ReachabilityComputeBounds-2 96 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000100-ReachabilityComputeBounds-3 50 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000100-ReachabilityComputeBounds-4 85 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000100-ReachabilityComputeBounds-5 50 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000100-ReachabilityComputeBounds-6 90 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000100-ReachabilityComputeBounds-7 50 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000100-ReachabilityComputeBounds-8 96 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000100-ReachabilityComputeBounds-9 87 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000100-ReachabilityComputeBounds-10 96 TECHNIQUES DECISION_DIAGRAMS
Ok.

BK_STOP 1400438418755

--------------------
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="Philosophers-PT-000100"
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/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 ReachabilityComputeBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r04kn-qhx2-140043541400873"
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 ;