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 PhilosophersDyn-PT-20, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r04kn-qhx2-140043541501035
=====================================================================

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

BK_START 1400442798434
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running PhilosophersDyn (PT), instance 20
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/CTLCardinality.xml INTO /home/mcc/execution/CTLCardinality.rgmedd-ctl
BUILDING STRUCTURAL INFORMATIONS...
OK.
/home/mcc/BenchKit/bin/bin/RGMEDD model -FORCE-WES1 -h 2000000000 -B 1 -C -f /home/mcc/execution/CTLCardinality.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 Join_17_3_14 (0/17220).
Encoding transition Join_12_6_14 (1/17220).
Encoding transition Join_13_13_3 (2/17220).
Encoding transition Leave_10_1_6 (3/17220).
Encoding transition Initialize_5_3 (4/17220).
Encoding transition Join_6_7_18 (5/17220).
Encoding transition Leave_15_4_19 (6/17220).
Encoding transition Join_17_6_8 (7/17220).
Encoding transition Leave_10_18_15 (8/17220).
Encoding transition Leave_15_12_6 (9/17220).
Encoding transition Leave_20_2_5 (10/17220).
Encoding transition Leave_16_4_1 (11/17220).
Encoding transition Join_4_12_3 (12/17220).
Encoding transition Join_5_5_6 (13/17220).
Encoding transition Leave_17_16_17 (14/17220).
Encoding transition Leave_13_14_8 (15/17220).
Encoding transition Join_9_17_14 (16/17220).
Encoding transition Leave_5_13_15 (17/17220).
Encoding transition Join_2_11_8 (18/17220).
Encoding transition Join_8_20_1 (19/17220).
Encoding transition Initialize_18_19 (20/17220).
Encoding transition Leave_14_8_18 (21/17220).
Encoding transition Leave_10_18_10 (22/17220).
Encoding transition Leave_14_6_20 (23/17220).
Encoding transition Leave_7_9_5 (24/17220).
Encoding transition Leave_20_12_3 (25/17220).
Encoding transition Leave_13_1_11 (26/17220).
Encoding transition Leave_10_9_10 (27/17220).
Encoding transition Leave_19_12_18 (28/17220).
Encoding transition Join_16_2_14 (29/17220).
Encoding transition Leave_10_15_14 (30/17220).
Encoding transition Leave_20_7_5 (31/17220).
Encoding transition Join_16_13_20 (32/17220).
Encoding transition Leave_9_8_18 (33/17220).
Encoding transition Leave_18_7_3 (34/17220).
Encoding transition Leave_6_18_1 (35/17220).
Encoding transition Join_7_1_12 (36/17220).
Encoding transition Leave_6_19_9 (37/17220).
Encoding transition Join_17_19_2 (38/17220).
Encoding transition Join_13_7_14 (39/17220).
Encoding transition Join_7_9_3 (40/17220).
Encoding transition Join_11_19_18 (41/17220).
Encoding transition Join_2_2_11 (42/17220).
Encoding transition Join_9_13_3 (43/17220).
Encoding transition Join_15_4_15 (44/17220).
Encoding transition Join_15_1_1 (45/17220).
Encoding transition Leave_12_6_8 (46/17220).
Encoding transition Join_12_14_2 (47/17220).
Encoding transition Join_6_13_18 (48/17220).
Encoding transition Join_20_12_16 (49/17220).
Encoding transition Join_1_20_14 (50/17220).
Encoding transition Join_12_20_11 (51/17220).
Encoding transition Join_11_20_2 (52/17220).
Encoding transition Join_5_7_7 (53/17220).
Encoding transition Join_13_11_3 (54/17220).
Encoding transition Leave_11_14_6 (55/17220).
Encoding transition Join_9_3_6 (56/17220).
Encoding transition Join_6_4_13 (57/17220).
Encoding transition Join_8_8_17 (58/17220).
Encoding transition Join_15_14_16 (59/17220).
Encoding transition Join_7_6_7 (60/17220).
Encoding transition Leave_12_8_16 (61/17220).
Encoding transition Leave_1_16_1 (62/17220).
Encoding transition Join_16_15_18 (63/17220).
Encoding transition Join_15_11_14 (64/17220).
Encoding transition Join_12_1_9 (65/17220).
Encoding transition Join_3_8_4 (66/17220).
Encoding transition Leave_6_15_19 (67/17220).
Encoding transition Leave_18_3_17 (68/17220).
Encoding transition Eat_13_5 (69/17220).
Encoding transition Join_6_13_4 (70/17220).
Encoding transition Leave_14_16_13 (71/17220).
Encoding transition Leave_3_11_16 (72/17220).
Encoding transition Leave_1_20_11 (73/17220).
Encoding transition Initialize_4_16 (74/17220).
Encoding transition Leave_7_9_14 (75/17220).
Encoding transition Join_12_18_13 (76/17220).
Encoding transition Join_8_16_7 (77/17220).
Encoding transition Leave_16_5_5 (78/17220).
Encoding transition TakeRight_6_11 (79/17220).
Encoding transition Leave_9_8_17 (80/17220).
Encoding transition Join_11_19_16 (81/17220).
Encoding transition Join_12_13_5 (82/17220).
Encoding transition Initialize_11_15 (83/17220).
Encoding transition Leave_19_5_9 (84/17220).
Encoding transition Leave_17_20_7 (85/17220).
Encoding transition TakeRight_14_11 (86/17220).
Encoding transition Eat_9_20 (87/17220).
Encoding transition Join_4_17_18 (88/17220).
Encoding transition Join_6_8_6 (89/17220).
Encoding transition Leave_14_2_17 (90/17220).
Encoding transition Leave_2_14_14 (91/17220).
Encoding transition Join_15_7_5 (92/17220).
Encoding transition Leave_15_17_17 (93/17220).
Encoding transition Leave_12_20_6 (94/17220).
Encoding transition TakeRight_5_4 (95/17220).
Encoding transition Leave_2_9_13 (96/17220).
Encoding transition Leave_3_6_7 (97/17220).
Encoding transition Leave_5_7_10 (98/17220).
Encoding transition Initialize_2_12 (99/17220).
Encoding transition Leave_15_18_16 (100/17220).
Encoding transition Leave_17_2_7 (101/17220).
Encoding transition Leave_17_7_3 (102/17220).
Encoding transition Leave_6_8_8 (103/17220).
Encoding transition Initialize_13_10 (104/17220).
Encoding transition Join_6_2_9 (105/17220).
Encoding transition Leave_8_13_7 (106/17220).
Encoding transition Join_13_19_3 (107/17220).
Encoding transition Leave_19_17_17 (108/17220).
Encoding transition Leave_19_3_6 (109/17220).
Encoding transition Leave_2_1_14 (110/17220).
Encoding transition Leave_14_9_3 (111/17220).
Encoding transition Join_14_4_16 (112/17220).
Encoding transition Leave_17_8_13 (113/17220).
Encoding transition Leave_8_7_6 (114/17220).
Encoding transition Leave_4_14_19 (115/17220).
Encoding transition Leave_12_17_11 (116/17220).
Encoding transition Leave_9_9_12 (117/17220).
Encoding transition Leave_10_9_6 (118/17220).
Encoding transition Leave_14_15_20 (119/17220).
Encoding transition Leave_5_5_13 (120/17220).
Encoding transition Leave_19_3_16 (121/17220).
Encoding transition Leave_16_18_4 (122/17220).
Encoding transition Join_8_2_19 (123/17220).
Encoding transition Join_9_1_16 (124/17220).
Encoding transition Leave_4_18_16 (125/17220).
Encoding transition Join_3_20_17 (126/17220).
Encoding transition Join_4_5_11 (127/17220).
Encoding transition Leave_3_20_5 (128/17220).
Encoding transition Leave_17_19_5 (129/17220).
Encoding transition TakeRight_8_13 (130/17220).
Encoding transition Leave_19_19_9 (131/17220).
Encoding transition Leave_13_15_19 (132/17220).
Encoding transition Eat_18_3 (133/17220).
Encoding transition Join_19_9_19 (134/17220).
Encoding transition Leave_17_6_15 (135/17220).
Encoding transition Leave_13_8_11 (136/17220).
Encoding transition Join_14_17_6 (137/17220).
Encoding transition Leave_20_14_10 (138/17220).
Encoding transition Leave_20_17_18 (139/17220).
Encoding transition Leave_3_12_1 (140/17220).
Encoding transition Eat_4_5 (141/17220).
Encoding transition Join_4_20_20 (142/17220).
Encoding transition Join_14_17_14 (143/17220).
Encoding transition Join_7_13_10 (144/17220).
Encoding transition Leave_1_1_15 (145/17220).
Encoding transition Leave_19_1_4 (146/17220).
Encoding transition Join_7_15_10 (147/17220).
Encoding transition Join_16_3_6 (148/17220).
Encoding transition Leave_16_14_18 (149/17220).
Encoding transition Leave_6_11_10 (150/17220).
Encoding transition Leave_17_12_8 (151/17220).
Encoding transition Join_19_7_6 (152/17220).
Encoding transition Join_9_12_17 (153/17220).
Encoding transition Join_18_14_8 (154/17220).
Encoding transition Join_13_1_19 (155/17220).
Encoding transition Join_17_2_13 (156/17220).
Encoding transition Leave_16_17_18 (157/17220).
Encoding transition Eat_3_11 (158/17220).
Encoding transition Join_1_15_15 (159/17220).
Encoding transition Leave_8_15_2 (160/17220).
Encoding transition Join_10_10_17 (161/17220).
Encoding transition Leave_18_11_4 (162/17220).
Encoding transition Initialize_19_18 (163/17220).
Encoding transition Join_11_13_16 (164/17220).
Encoding transition Leave_18_12_12 (165/17220).
Encoding transition Leave_9_8_5 (166/17220).
Encoding transition Leave_20_1_17 (167/17220).
Encoding transition Join_7_6_4 (168/17220).
Encoding transition Eat_16_10 (169/17220).
Encoding transition Leave_8_19_15 (170/17220).
Encoding transition Join_6_15_18 (171/17220).
Encoding transition Join_7_4_8 (172/17220).
Encoding transition Leave_13_5_3 (173/17220).
Encoding transition Join_13_19_19 (174/17220).
Encoding transition Leave_7_14_18 (175/17220).
Encoding transition Leave_20_8_10 (176/17220).
Encoding transition Leave_4_6_10 (177/17220).
Encoding transition Leave_18_15_5 (178/17220).
Encoding transition Leave_11_12_2 (179/17220).
Encoding transition Leave_3_7_12 (180/17220).
Encoding transition Leave_1_4_19 (181/17220).
Encoding transition Join_18_6_2 (182/17220).
Encoding transition Leave_20_2_18 (183/17220).
Encoding transition Join_19_11_14 (184/17220).
Encoding transition Leave_1_9_7 (185/17220).
Encoding transition Leave_14_13_3 (186/17220).
Encoding transition Eat_1_19 (187/17220).
Encoding transition Eat_15_9 (188/17220).
Encoding transition Join_11_9_3 (189/17220).
Encoding transition Leave_4_1_11 (190/17220).
Encoding transition Join_10_11_11 (191/17220).
Encoding transition Leave_17_11_4 (192/17220).
Encoding transition Initialize_20_1 (193/17220).
Encoding transition Join_8_3_1 (194/17220).
Encoding transition Leave_4_20_20 (195/17220).
Encoding transition Join_17_9_14 (196/17220).
Encoding transition Leave_6_9_3 (197/17220).
Encoding transition Join_6_19_2 (198/17220).
Encoding transition Leave_11_2_12 (199/17220).
Encoding transition Leave_11_19_8 (200/17220).
Encoding transition Leave_19_10_4 (201/17220).
Encoding transition Join_12_7_12 (202/17220).
Encoding transition Join_12_15_16 (203/17220).
Encoding transition Leave_8_13_13 (204/17220).
Encoding transition Leave_10_5_4 (205/17220).
Encoding transition Leave_10_3_12 (206/17220).
Encoding transition Leave_3_16_6 (207/17220).
Encoding transition Leave_1_13_13 (208/17220).
Encoding transition Leave_2_4_4 (209/17220).
Encoding transition Leave_3_9_18 (210/17220).
Encoding transition Join_6_7_4 (211/17220).
Encoding transition Leave_13_3_18 (212/17220).
Encoding transition Leave_17_4_8 (213/17220).
Encoding transition Leave_17_15_2 (214/17220).
Encoding transition Join_18_11_18 (215/17220).
Encoding transition Leave_5_4_13 (216/17220).
Encoding transition Join_2_3_8 (217/17220).
Encoding transition Join_15_11_9 (218/17220).
Encoding transition Leave_9_4_2 (219/17220).
Encoding transition Leave_10_14_11 (220/17220).
Encoding transition Leave_15_9_16 (221/17220).
Encoding transition Join_7_9_5 (222/17220).
Encoding transition Join_14_5_2 (223/17220).
Encoding transition Leave_9_5_9 (224/17220).
Encoding transition Join_12_20_14 (225/17220).
Encoding transition Leave_18_11_12 (226/17220).
Encoding transition Leave_18_4_8 (227/17220).
Encoding transition Leave_7_10_19 (228/17220).
Encoding transition Leave_15_15_10 (229/17220).
Encoding transition Leave_7_3_7 (230/17220).
Encoding transition Join_4_3_11 (231/17220).
Encoding transition Join_7_20_13 (232/17220).
Encoding transition Join_5_11_4 (233/17220).
Encoding transition Leave_5_8_13 (234/17220).
Encoding transition Leave_14_10_3 (235/17220).
Encoding transition Leave_10_20_4 (236/17220).
Encoding transition Leave_13_11_12 (237/17220).
Encoding transition Join_11_1_4 (238/17220).
Encoding transition Leave_8_15_20 (239/17220).
Encoding transition Join_10_11_14 (240/17220).
Encoding transition Leave_16_13_7 (241/17220).
Encoding transition Leave_13_11_18 (242/17220).
Encoding transition Initialize_17_20 (243/17220).
Encoding transition Join_5_1_10 (244/17220).
Encoding transition Leave_13_19_6 (245/17220).
Encoding transition Join_1_8_14 (246/17220).
Encoding transition Leave_7_16_10 (247/17220).
Encoding transition Initialize_10_1 (248/17220).
Encoding transition Join_18_6_20 (249/17220).
Encoding transition Leave_19_12_16 (250/17220).
Encoding transition Leave_13_16_20 (251/17220).
Encoding transition Leave_1_8_17 (252/17220).
Encoding transition Join_10_2_13 (253/17220).
Encoding transition Eat_20_5 (254/17220).
Encoding transition Eat_17_9 (255/17220).
Encoding transition Leave_13_10_3 (256/17220).
Encoding transition Leave_11_4_3 (257/17220).
Encoding transition Leave_13_4_4 (258/17220).
Encoding transition Leave_11_12_7 (259/17220).
Encoding transition Join_5_7_19 (260/17220).
Encoding transition Leave_13_15_4 (261/17220).
Encoding transition Leave_18_20_7 (262/17220).
Encoding transition Join_19_3_6 (263/17220).
Encoding transition Leave_20_13_18 (264/17220).
Encoding transition Leave_14_1_4 (265/17220).
Encoding transition Join_1_6_13 (266/17220).
Encoding transition Join_10_19_17 (267/17220).
Encoding transition Join_9_10_18 (268/17220).
Encoding transition Leave_4_10_7 (269/17220).
Encoding transition Join_7_12_4 (270/17220).
Encoding transition Initialize_5_10 (271/17220).
Encoding transition Join_13_12_14 (272/17220).
Encoding transition Join_1_8_13 (273/17220).
Encoding transition Leave_15_4_14 (274/17220).
Encoding transition Join_17_8_8 (275/17220).
Encoding transition Leave_9_7_7 (276/17220).
Encoding transition Leave_14_3_20 (277/17220).
Encoding transition Join_12_15_15 (278/17220).
Encoding transition Join_18_16_3 (279/17220).
Encoding transition Join_5_12_15 (280/17220).
Encoding transition Leave_11_9_9 (281/17220).
Encoding transition Join_17_5_19 (282/17220).
Encoding transition Join_5_3_2 (283/17220).
Encoding transition Join_18_1_2 (284/17220).
Encoding transition Join_15_13_14 (285/17220).
Encoding transition Join_5_15_7 (286/17220).
Encoding transition Join_19_6_14 (287/17220).
Encoding transition Leave_9_18_10 (288/17220).
Encoding transition Leave_11_4_1 (289/17220).
Encoding transition Join_17_9_10 (290/17220).
Encoding transition Join_1_18_14 (291/17220).
Encoding transition Join_18_12_7 (292/17220).
Encoding transition Join_13_12_20 (293/17220).
Encoding transition Leave_2_11_18 (294/17220).
Encoding transition Leave_2_17_9 (295/17220).
Encoding transition Join_14_11_19 (296/17220).
Encoding transition Leave_11_12_16 (297/17220).
Encoding transition Join_2_13_19 (298/17220).
Encoding transition Join_17_5_6 (299/17220).
Encoding transition Join_6_9_5 (300/17220).
Encoding transition Join_12_2_10 (301/17220).
Encoding transition Leave_8_19_5 (302/17220).
Encoding transition Join_16_17_19 (303/17220).
Encoding transition Leave_13_5_18 (304/17220).
Encoding transition Leave_1_12_7 (305/17220).
Encoding transition Leave_3_17_14 (306/17220).
Encoding transition Join_20_8_12 (307/17220).
Encoding transition Leave_14_19_3 (308/17220).
Encoding transition Join_2_5_1 (309/17220).
Encoding transition Initialize_15_3 (310/17220).
Encoding transition Leave_13_15_8 (311/17220).
Encoding transition Leave_4_14_9 (312/17220).
Encoding transition Join_1_20_9 (313/17220).
Encoding transition Leave_10_10_4 (314/17220).
Encoding transition Join_13_3_4 (315/17220).
Encoding transition Leave_7_12_18 (316/17220).
Encoding transition Join_2_12_17 (317/17220).
Encoding transition Join_12_11_12 (318/17220).
Encoding transition Leave_12_12_17 (319/17220).
Encoding transition Eat_15_19 (320/17220).
Encoding transition Leave_13_13_16 (321/17220).
Encoding transition Eat_11_3 (322/17220).
Encoding transition Join_12_13_19 (323/17220).
Encoding transition Join_16_20_10 (324/17220).
Encoding transition Join_19_1_18 (325/17220).
Encoding transition Join_17_10_12 (326/17220).
Encoding transition Join_6_16_11 (327/17220).
Encoding transition Eat_14_16 (328/17220).
Encoding transition Leave_7_1_19 (329/17220).
Encoding transition Leave_5_2_8 (330/17220).
Encoding transition Join_18_4_5 (331/17220).
Encoding transition Leave_5_4_17 (332/17220).
Encoding transition Join_11_15_19 (333/17220).
Encoding transition Join_13_5_12 (334/17220).
Encoding transition Leave_16_7_16 (335/17220).
Encoding transition Leave_4_1_4 (336/17220).
Encoding transition Leave_5_5_1 (337/17220).
Encoding transition Join_15_7_8 (338/17220).
Encoding transition Leave_19_14_11 (339/17220).
Encoding transition Leave_11_18_8 (340/17220).
Encoding transition Leave_8_10_5 (341/17220).
Encoding transition Join_10_11_4 (342/17220).
Encoding transition Join_3_9_2 (343/17220).
Encoding transition Initialize_13_5 (344/17220).
Encoding transition Leave_9_8_14 (345/17220).
Encoding transition Join_14_4_15 (346/17220).
Encoding transition Join_2_20_13 (347/17220).
Encoding transition Join_19_4_6 (348/17220).
Encoding transition Leave_18_17_4 (349/17220).
Encoding transition Join_6_5_8 (350/17220).
Encoding transition Leave_2_4_1 (351/17220).
Encoding transition Leave_4_10_1 (352/17220).
Encoding transition Leave_18_5_10 (353/17220).
Encoding transition Join_14_20_6 (354/17220).
Encoding transition Join_5_15_11 (355/17220).
Encoding transition Join_13_14_13 (356/17220).
Encoding transition Leave_5_12_9 (357/17220).
Encoding transition Join_5_2_13 (358/17220).
Encoding transition Leave_8_11_4 (359/17220).
Encoding transition Leave_9_17_10 (360/17220).
Encoding transition Join_8_5_15 (361/17220).
Encoding transition Join_1_4_14 (362/17220).
Encoding transition Join_9_16_6 (363/17220).
Encoding transition Leave_19_5_11 (364/17220).
Encoding transition Eat_14_20 (365/17220).
Encoding transition Eat_20_1 (366/17220).
Encoding transition Join_9_8_18 (367/17220).
Encoding transition Join_2_5_12 (368/17220).
Encoding transition Join_12_13_6 (369/17220).
Encoding transition Leave_6_17_14 (370/17220).
Encoding transition Join_16_9_9 (371/17220).
Encoding transition Join_13_17_7 (372/17220).
Encoding transition Leave_12_18_8 (373/17220).
Encoding transition Leave_13_4_17 (374/17220).
Encoding transition Join_17_20_4 (375/17220).
Encoding transition Leave_12_11_3 (376/17220).
Encoding transition Leave_6_4_16 (377/17220).
Encoding transition Leave_17_1_12 (378/17220).
Encoding transition Leave_9_8_19 (379/17220).
Encoding transition Leave_12_7_10 (380/17220).
Encoding transition Leave_15_10_1 (381/17220).
Encoding transition Leave_12_20_17 (382/17220).
Encoding transition Join_8_12_11 (383/17220).
Encoding transition Leave_6_4_6 (384/17220).
Encoding transition Leave_5_18_6 (385/17220).
Encoding transition Join_6_20_8 (386/17220).
Encoding transition Leave_1_19_12 (387/17220).
Encoding transition Initialize_3_20 (388/17220).
Encoding transition Eat_11_17 (389/17220).
Encoding transition Join_12_19_12 (390/17220).
Encoding transition Leave_20_17_9 (391/17220).
Encoding transition TakeRight_9_12 (392/17220).
Encoding transition Join_13_1_11 (393/17220).
Encoding transition Leave_3_17_20 (394/17220).
Encoding transition Leave_15_14_17 (395/17220).
Encoding transition Leave_18_4_6 (396/17220).
Encoding transition Join_6_6_19 (397/17220).
Encoding transition Leave_13_19_8 (398/17220).
Encoding transition Leave_11_12_17 (399/17220).
Encoding transition Leave_10_9_7 (400/17220).
Encoding transition Leave_14_12_11 (401/17220).
Encoding transition Leave_1_12_10 (402/17220).
Encoding transition Leave_15_14_6 (403/17220).
Encoding transition Join_7_17_12 (404/17220).
Encoding transition Join_7_17_20 (405/17220).
Encoding transition Leave_6_7_20 (406/17220).
Encoding transition Join_16_1_3 (407/17220).
Encoding transition Leave_8_17_17 (408/17220).
Encoding transition Join_14_10_5 (409/17220).
Encoding transition Leave_17_2_4 (410/17220).
Encoding transition Join_15_18_19 (411/17220).
Encoding transition Join_8_15_11 (412/17220).
Encoding transition Leave_1_15_16 (413/17220).
Encoding transition Leave_14_11_11 (414/17220).
Encoding transition Leave_19_9_3 (415/17220).
Encoding transition Join_9_8_16 (416/17220).
Encoding transition Join_3_3_7 (417/17220).
Encoding transition Leave_16_7_18 (418/17220).
Encoding transition Leave_10_3_10 (419/17220).
Encoding transition Join_8_16_8 (420/17220).
Encoding transition Leave_16_19_9 (421/17220).
Encoding transition Initialize_9_6 (422/17220).
Encoding transition Leave_12_13_16 (423/17220).
Encoding transition Leave_1_13_17 (424/17220).
Encoding transition Leave_13_1_2 (425/17220).
Encoding transition Leave_16_17_1 (426/17220).
Encoding transition Join_18_8_6 (427/17220).
Encoding transition Leave_14_6_4 (428/17220).
Encoding transition Leave_9_13_20 (429/17220).
Encoding transition Leave_4_14_2 (430/17220).
Encoding transition Leave_7_19_8 (431/17220).
Encoding transition Join_2_2_9 (432/17220).
Encoding transition Join_13_12_1 (433/17220).
Encoding transition Leave_4_5_17 (434/17220).
Encoding transition Join_11_14_15 (435/17220).
Encoding transition Leave_16_9_12 (436/17220).
Encoding transition Leave_19_3_12 (437/17220).
Encoding transition Join_12_5_8 (438/17220).
Encoding transition Leave_6_6_18 (439/17220).
Encoding transition Leave_18_6_1 (440/17220).
Encoding transition Leave_8_1_20 (441/17220).
Encoding transition Leave_7_1_13 (442/17220).
Encoding transition Leave_12_9_20 (443/17220).
Encoding transition Leave_12_3_14 (444/17220).
Encoding transition Leave_14_9_18 (445/17220).
Encoding transition Join_11_1_3 (446/17220).
Encoding transition Leave_7_9_1 (447/17220).
Encoding transition Join_9_3_15 (448/17220).
Encoding transition Join_4_14_13 (449/17220).
Encoding transition Join_15_9_15 (450/17220).
Encoding transition Join_4_5_7 (451/17220).
Encoding transition Leave_10_4_19 (452/17220).
Encoding transition Join_8_14_11 (453/17220).
Encoding transition Leave_9_14_20 (454/17220).
Encoding transition Join_14_12_20 (455/17220).
Encoding transition Leave_5_3_14 (456/17220).
Encoding transition Join_17_3_18 (457/17220).
Encoding transition Leave_16_14_11 (458/17220).
Encoding transition Join_5_13_9 (459/17220).
Encoding transition Leave_8_16_14 (460/17220).
Encoding transition Leave_20_9_15 (461/17220).
Encoding transition Leave_5_5_11 (462/17220).
Encoding transition Eat_15_14 (463/17220).
Encoding transition Join_19_11_13 (464/17220).
Encoding transition TakeRight_1_11 (465/17220).
Encoding transition Leave_16_12_4 (466/17220).
Encoding transition Initialize_11_8 (467/17220).
Encoding transition Leave_7_12_12 (468/17220).
Encoding transition Leave_1_17_2 (469/17220).
Encoding transition Join_5_12_2 (470/17220).
Encoding transition Leave_11_14_20 (471/17220).
Encoding transition Join_12_17_5 (472/17220).
Encoding transition Eat_18_5 (473/17220).
Encoding transition Join_8_14_12 (474/17220).
Encoding transition Leave_10_18_18 (475/17220).
Encoding transition Join_17_19_1 (476/17220).
Encoding transition Join_17_2_19 (477/17220).
Encoding transition Leave_15_16_18 (478/17220).
Encoding transition Leave_12_14_3 (479/17220).
Encoding transition Join_14_14_12 (480/17220).
Encoding transition Leave_1_7_3 (481/17220).
Encoding transition Join_15_8_10 (482/17220).
Encoding transition Leave_19_5_1 (483/17220).
Encoding transition Leave_18_1_16 (484/17220).
Encoding transition Leave_6_20_11 (485/17220).
Encoding transition Leave_2_11_7 (486/17220).
Encoding transition Initialize_5_4 (487/17220).
Encoding transition Join_2_6_5 (488/17220).
Encoding transition Leave_19_5_3 (489/17220).
Encoding transition TakeRight_17_3 (490/17220).
Encoding transition TakeRight_17_9 (491/17220).
Encoding transition Join_11_4_11 (492/17220).
Encoding transition Join_13_6_6 (493/17220).
Encoding transition Join_18_3_11 (494/17220).
Encoding transition Leave_11_4_15 (495/17220).
Encoding transition Initialize_19_15 (496/17220).
Encoding transition Leave_1_10_4 (497/17220).
Encoding transition Join_4_17_15 (498/17220).
Encoding transition Join_2_7_19 (499/17220).
Encoding transition Join_2_1_16 (500/17220).
Encoding transition Join_1_11_15 (501/17220).
Encoding transition Join_10_19_7 (502/17220).
Encoding transition Join_7_4_7 (503/17220).
Encoding transition Leave_16_2_20 (504/17220).
Encoding transition Leave_6_9_16 (505/17220).
Encoding transition Leave_19_2_14 (506/17220).
Encoding transition Leave_7_4_18 (507/17220).
Encoding transition Leave_4_4_17 (508/17220).
Encoding transition Join_17_5_17 (509/17220).
Encoding transition Join_4_5_5 (510/17220).
Encoding transition Join_1_2_12 (511/17220).
Encoding transition Join_1_4_1 (512/17220).
Encoding transition Join_18_3_15 (513/17220).
Encoding transition Leave_15_14_3 (514/17220).
Encoding transition Leave_1_9_19 (515/17220).
Encoding transition TakeRight_7_17 (516/17220).
Encoding transition Leave_7_3_19 (517/17220).
Encoding transition Join_8_4_10 (518/17220).
Encoding transition TakeRight_20_11 (519/17220).
Encoding transition Join_15_7_1 (520/17220).
Encoding transition Initialize_8_14 (521/17220).
Encoding transition Leave_3_7_16 (522/17220).
Encoding transition Join_10_19_13 (523/17220).
Encoding transition Leave_11_16_1 (524/17220).
Encoding transition Join_20_19_2 (525/17220).
Encoding transition Join_9_11_16 (526/17220).
Encoding transition Leave_12_12_18 (527/17220).
Encoding transition Join_18_2_7 (528/17220).
Encoding transition Leave_5_15_9 (529/17220).
Encoding transition Leave_14_19_8 (530/17220).
Encoding transition Join_14_3_1 (531/17220).
Encoding transition Leave_8_10_18 (532/17220).
Encoding transition Join_11_10_10 (533/17220).
Encoding transition Join_18_1_10 (534/17220).
Encoding transition Join_7_14_3 (535/17220).
Encoding transition Join_3_16_15 (536/17220).
Encoding transition Join_19_14_14 (537/17220).
Encoding transition Join_9_5_12 (538/17220).
Encoding transition Join_3_16_6 (539/17220).
Encoding transition Leave_5_2_6 (540/17220).
Encoding transition Leave_11_8_1 (541/17220).
Encoding transition Leave_18_20_18 (542/17220).
Encoding transition Leave_2_9_2 (543/17220).
Encoding transition Join_20_20_1 (544/17220).
Encoding transition Leave_7_7_16 (545/17220).
Encoding transition Leave_15_18_7 (546/17220).
Encoding transition Join_1_9_19 (547/17220).
Encoding transition Join_4_9_10 (548/17220).
Encoding transition Leave_13_3_8 (549/17220).
Encoding transition Join_15_11_20 (550/17220).
Encoding transition Leave_6_18_11 (551/17220).
Encoding transition Leave_9_1_4 (552/17220).
Encoding transition Leave_5_17_13 (553/17220).
Encoding transition Join_8_2_8 (554/17220).
Encoding transition Join_1_18_12 (555/17220).
Encoding transition Leave_15_17_20 (556/17220).
Encoding transition Leave_2_15_4 (557/17220).
Encoding transition Initialize_20_12 (558/17220).
Encoding transition Leave_3_16_3 (559/17220).
Encoding transition Join_18_19_19 (560/17220).
Encoding transition Leave_19_4_11 (561/17220).
Encoding transition Leave_1_13_6 (562/17220).
Encoding transition Join_12_5_16 (563/17220).
Encoding transition Join_6_14_2 (564/17220).
Encoding transition Join_10_8_13 (565/17220).
Encoding transition Leave_16_1_3 (566/17220).
Encoding transition Join_6_5_15 (567/17220).
Encoding transition Join_20_14_15 (568/17220).
Encoding transition Join_11_3_13 (569/17220).
Encoding transition Join_14_6_13 (570/17220).
Encoding transition Leave_13_13_6 (571/17220).
Encoding transition Leave_20_7_12 (572/17220).
Encoding transition Leave_11_12_3 (573/17220).
Encoding transition Leave_10_1_14 (574/17220).
Encoding transition Join_4_5_19 (575/17220).
Encoding transition Join_20_6_5 (576/17220).
Encoding transition Eat_8_3 (577/17220).
Encoding transition Join_3_5_14 (578/17220).
Encoding transition Join_3_15_9 (579/17220).
Encoding transition Leave_9_2_10 (580/17220).
Encoding transition Leave_8_4_18 (581/17220).
Encoding transition Join_6_18_10 (582/17220).
Encoding transition Join_14_20_12 (583/17220).
Encoding transition Initialize_13_6 (584/17220).
Encoding transition Leave_15_16_8 (585/17220).
Encoding transition Join_11_6_11 (586/17220).
Encoding transition Leave_14_4_19 (587/17220).
Encoding transition Join_20_18_16 (588/17220).
Encoding transition Join_4_8_8 (589/17220).
Encoding transition Join_20_2_4 (590/17220).
Encoding transition Leave_11_16_6 (591/17220).
Encoding transition Join_19_12_11 (592/17220).
Encoding transition Leave_13_15_3 (593/17220).
Encoding transition Initialize_20_14 (594/17220).
Encoding transition Leave_14_5_17 (595/17220).
Encoding transition Join_5_11_9 (596/17220).
Encoding transition Join_20_13_3 (597/17220).
Encoding transition Join_11_1_17 (598/17220).
Encoding transition Leave_1_18_5 (599/17220).
Encoding transition Join_14_14_4 (600/17220).
Encoding transition Leave_9_13_12 (601/17220).
Encoding transition TakeRight_3_13 (602/17220).
Encoding transition Leave_9_6_16 (603/17220).
Encoding transition Leave_16_7_9 (604/17220).
Encoding transition Join_13_1_15 (605/17220).
Encoding transition Leave_18_10_13 (606/17220).
Encoding transition Join_16_8_15 (607/17220).
Encoding transition Join_17_13_18 (608/17220).
Encoding transition Leave_14_4_7 (609/17220).
Encoding transition Leave_1_9_8 (610/17220).
Encoding transition Eat_12_11 (611/17220).
Encoding transition Leave_10_11_17 (612/17220).
Encoding transition Leave_4_5_8 (613/17220).
Encoding transition Initialize_20_18 (614/17220).
Encoding transition Join_9_18_6 (615/17220).
Encoding transition Leave_4_6_19 (616/17220).
Encoding transition Join_19_4_8 (617/17220).
Encoding transition Join_1_17_6 (618/17220).
Encoding transition Leave_10_6_16 (619/17220).
Encoding transition Join_15_17_8 (620/17220).
Encoding transition Leave_10_8_17 (621/17220).
Encoding transition Join_7_20_19 (622/17220).
Encoding transition Join_10_20_15 (623/17220).
Encoding transition Leave_13_19_17 (624/17220).
Encoding transition Leave_5_8_2 (625/17220).
Encoding transition Join_5_2_17 (626/17220).
Encoding transition Join_18_1_17 (627/17220).
Encoding transition Leave_6_13_18 (628/17220).
Encoding transition Leave_16_17_6 (629/17220).
Encoding transition Join_7_12_16 (630/17220).
Encoding transition Leave_6_18_2 (631/17220).
Encoding transition Eat_4_10 (632/17220).
Encoding transition SearchForks_15 (633/17220).
Encoding transition Leave_10_19_16 (634/17220).
Encoding transition Join_3_7_6 (635/17220).
Encoding transition Leave_16_5_3 (636/17220).
Encoding transition Leave_19_18_18 (637/17220).
Encoding transition Join_7_9_16 (638/17220).
Encoding transition Leave_2_12_19 (639/17220).
Encoding transition Join_17_11_11 (640/17220).
Encoding transition Leave_17_4_6 (641/17220).
Encoding transition Join_15_4_11 (642/17220).
Encoding transition Leave_1_17_7 (643/17220).
Encoding transition Leave_15_16_16 (644/17220).
Encoding transition Join_8_8_7 (645/17220).
Encoding transition Leave_19_18_15 (646/17220).
Encoding transition Leave_20_17_19 (647/17220).
Encoding transition Join_10_10_10 (648/17220).
Encoding transition Join_4_12_5 (649/17220).
Encoding transition Leave_3_3_8 (650/17220).
Encoding transition TakeRight_7_5 (651/17220).
Encoding transition Join_3_17_4 (652/17220).
Encoding transition Leave_10_6_3 (653/17220).
Encoding transition Join_8_6_8 (654/17220).
Encoding transition Join_9_14_14 (655/17220).
Encoding transition Leave_3_16_14 (656/17220).
Encoding transition Leave_15_6_2 (657/17220).
Encoding transition Leave_20_7_18 (658/17220).
Encoding transition Join_17_4_7 (659/17220).
Encoding transition Initialize_8_18 (660/17220).
Encoding transition Join_15_13_13 (661/17220).
Encoding transition Leave_7_15_8 (662/17220).
Encoding transition Leave_7_3_20 (663/17220).
Encoding transition Join_17_15_3 (664/17220).
Encoding transition Join_6_13_14 (665/17220).
Encoding transition Join_19_14_9 (666/17220).
Encoding transition Join_4_20_18 (667/17220).
Encoding transition Leave_9_20_19 (668/17220).
Encoding transition Join_13_16_12 (669/17220).
Encoding transition Join_19_5_11 (670/17220).
Encoding transition Leave_4_10_6 (671/17220).
Encoding transition TakeRight_10_3 (672/17220).
Encoding transition Leave_20_11_20 (673/17220).
Encoding transition Join_15_6_13 (674/17220).
Encoding transition Join_15_11_8 (675/17220).
Encoding transition Join_12_19_8 (676/17220).
Encoding transition Join_18_15_19 (677/17220).
Encoding transition Join_20_10_1 (678/17220).
Encoding transition Join_15_14_11 (679/17220).
Encoding transition Leave_13_16_7 (680/17220).
Encoding transition Leave_12_16_6 (681/17220).
Encoding transition Leave_2_18_20 (682/17220).
Encoding transition Leave_17_7_14 (683/17220).
Encoding transition Leave_1_11_10 (684/17220).
Encoding transition Join_5_5_16 (685/17220).
Encoding transition Leave_16_14_12 (686/17220).
Encoding transition Join_19_3_10 (687/17220).
Encoding transition Join_10_19_4 (688/17220).
Encoding transition Join_5_15_18 (689/17220).
Encoding transition Join_15_3_17 (690/17220).
Encoding transition Join_12_8_14 (691/17220).
Encoding transition Join_5_4_8 (692/17220).
Encoding transition Leave_18_13_12 (693/17220).
Encoding transition Leave_5_3_12 (694/17220).
Encoding transition Join_11_2_17 (695/17220).
Encoding transition Join_18_14_5 (696/17220).
Encoding transition Leave_7_14_19 (697/17220).
Encoding transition TakeRight_10_5 (698/17220).
Encoding transition Join_1_6_19 (699/17220).
Encoding transition Join_20_7_18 (700/17220).
Encoding transition Join_2_15_16 (701/17220).
Encoding transition Join_19_3_2 (702/17220).
Encoding transition Leave_11_19_4 (703/17220).
Encoding transition Join_7_10_19 (704/17220).
Encoding transition Leave_10_7_16 (705/17220).
Encoding transition Leave_19_5_13 (706/17220).
Encoding transition Join_17_4_19 (707/17220).
Encoding transition Join_3_1_7 (708/17220).
Encoding transition Leave_10_9_4 (709/17220).
Encoding transition Eat_1_3 (710/17220).
Encoding transition Join_18_13_16 (711/17220).
Encoding transition Join_11_13_12 (712/17220).
Encoding transition Join_5_20_11 (713/17220).
Encoding transition Join_4_12_6 (714/17220).
Encoding transition Join_11_20_20 (715/17220).
Encoding transition Leave_8_7_3 (716/17220).
Encoding transition Join_18_13_10 (717/17220).
Encoding transition Join_13_7_1 (718/17220).
Encoding transition Leave_10_2_10 (719/17220).
Encoding transition TakeRight_3_9 (720/17220).
Encoding transition TakeRight_20_5 (721/17220).
Encoding transition Join_14_8_4 (722/17220).
Encoding transition TakeRight_3_1 (723/17220).
Encoding transition Join_18_11_10 (724/17220).

BK_STOP 1400445793960

--------------------
content from stderr:

Cannot read input file model.bnd
terminate called after throwing an instance of 'MEDDLY::error'
/home/mcc/BenchKit/bin/greatspn_tool.sh: line 167: 1717 Aborted ~/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="PhilosophersDyn-PT-20"
export BK_EXAMINATION="CTLCardinality"
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/PhilosophersDyn-PT-20.tgz
mv PhilosophersDyn-PT-20 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 PhilosophersDyn-PT-20, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r04kn-qhx2-140043541501035"
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 ;