fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Execution Report for Run r04kn-qhx2-140043541501035
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
5895.18 2995397 595.1 CC normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
....................................................................................................................................
=====================================================================
Generated by BenchKit 2-1667
Executing tool greatspn
Input is 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 ;