fond
Model Checking Contest @ Petri Nets 2014
Tunis, Tunisia, June 24, 2014
Execution Report for Run r04kn-qhx2-140043541400887
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
2973.61 780572 132.8 TFTFFFTTTT 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-000200, examination is ReachabilityBounds
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r04kn-qhx2-140043541400887
=====================================================================


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

BK_START 1400438717873
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running Philosophers (PT), instance 000200
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/ReachabilityBounds.xml INTO /home/mcc/execution/ReachabilityBounds.rgmedd-ctl
/home/mcc/BenchKit/bin/bin/RGMEDD model -P -h 2000000000 -B 1 -C -f /home/mcc/execution/ReachabilityBounds.rgmedd-ctl
Setting MEDDLY cache to 2000000000 bytes.
Opening file: model.bnd
----------------------------------------
Start firing rule encoding
----------------------------------------
Encoding transition FF1a_14 (0/1000).
Encoding transition FF1a_15 (1/1000).
Encoding transition FF1a_16 (2/1000).
Encoding transition FF1a_17 (3/1000).
Encoding transition FF1a_18 (4/1000).
Encoding transition FF1a_19 (5/1000).
Encoding transition FF1a_20 (6/1000).
Encoding transition FF1a_21 (7/1000).
Encoding transition FF1a_6 (8/1000).
Encoding transition FF1a_7 (9/1000).
Encoding transition FF1a_8 (10/1000).
Encoding transition FF1a_9 (11/1000).
Encoding transition FF1a_10 (12/1000).
Encoding transition FF1a_11 (13/1000).
Encoding transition FF1a_12 (14/1000).
Encoding transition FF1a_13 (15/1000).
Encoding transition FF1a_1 (16/1000).
Encoding transition FF1a_3 (17/1000).
Encoding transition FF1a_2 (18/1000).
Encoding transition FF1a_5 (19/1000).
Encoding transition FF1a_4 (20/1000).
Encoding transition FF1a_98 (21/1000).
Encoding transition FF1a_99 (22/1000).
Encoding transition FF1a_100 (23/1000).
Encoding transition FF1a_101 (24/1000).
Encoding transition FF1a_94 (25/1000).
Encoding transition FF1a_95 (26/1000).
Encoding transition FF1a_96 (27/1000).
Encoding transition FF1a_97 (28/1000).
Encoding transition FF1a_90 (29/1000).
Encoding transition FF1a_91 (30/1000).
Encoding transition FF1a_92 (31/1000).
Encoding transition FF1a_93 (32/1000).
Encoding transition FF1a_86 (33/1000).
Encoding transition FF1a_87 (34/1000).
Encoding transition FF1a_88 (35/1000).
Encoding transition FF1a_89 (36/1000).
Encoding transition FF1a_115 (37/1000).
Encoding transition FF1a_114 (38/1000).
Encoding transition FF1a_117 (39/1000).
Encoding transition FF1a_116 (40/1000).
Encoding transition FF1a_111 (41/1000).
Encoding transition FF1a_110 (42/1000).
Encoding transition FF1a_113 (43/1000).
Encoding transition FF1a_112 (44/1000).
Encoding transition FF1a_107 (45/1000).
Encoding transition FF1a_106 (46/1000).
Encoding transition FF1a_109 (47/1000).
Encoding transition FF1a_108 (48/1000).
Encoding transition FF1a_103 (49/1000).
Encoding transition FF1a_102 (50/1000).
Encoding transition FF1a_105 (51/1000).
Encoding transition FF1a_104 (52/1000).
Encoding transition FF1a_132 (53/1000).
Encoding transition FF1a_133 (54/1000).
Encoding transition FF1a_130 (55/1000).
Encoding transition FF1a_131 (56/1000).
Encoding transition FF1a_128 (57/1000).
Encoding transition FF1a_129 (58/1000).
Encoding transition FF1a_126 (59/1000).
Encoding transition FF1a_127 (60/1000).
Encoding transition FF1a_124 (61/1000).
Encoding transition FF1a_125 (62/1000).
Encoding transition FF1a_122 (63/1000).
Encoding transition FF1a_123 (64/1000).
Encoding transition FF1a_120 (65/1000).
Encoding transition FF1a_121 (66/1000).
Encoding transition FF1a_118 (67/1000).
Encoding transition FF1a_119 (68/1000).
Encoding transition FF1a_149 (69/1000).
Encoding transition FF1a_148 (70/1000).
Encoding transition FF1a_147 (71/1000).
Encoding transition FF1a_146 (72/1000).
Encoding transition FF1a_145 (73/1000).
Encoding transition FF1a_144 (74/1000).
Encoding transition FF1a_143 (75/1000).
Encoding transition FF1a_142 (76/1000).
Encoding transition FF1a_141 (77/1000).
Encoding transition FF1a_140 (78/1000).
Encoding transition FF1a_139 (79/1000).
Encoding transition FF1a_138 (80/1000).
Encoding transition FF1a_137 (81/1000).
Encoding transition FF1a_136 (82/1000).
Encoding transition FF1a_135 (83/1000).
Encoding transition FF1a_134 (84/1000).
Encoding transition FF1a_30 (85/1000).
Encoding transition FF1a_31 (86/1000).
Encoding transition FF1a_32 (87/1000).
Encoding transition FF1a_33 (88/1000).
Encoding transition FF1a_34 (89/1000).
Encoding transition FF1a_35 (90/1000).
Encoding transition FF1a_36 (91/1000).
Encoding transition FF1a_37 (92/1000).
Encoding transition FF1a_22 (93/1000).
Encoding transition FF1a_23 (94/1000).
Encoding transition FF1a_24 (95/1000).
Encoding transition FF1a_25 (96/1000).
Encoding transition FF1a_26 (97/1000).
Encoding transition FF1a_27 (98/1000).
Encoding transition FF1a_28 (99/1000).
Encoding transition FF1a_29 (100/1000).
Encoding transition FF1a_47 (101/1000).
Encoding transition FF1a_46 (102/1000).
Encoding transition FF1a_49 (103/1000).
Encoding transition FF1a_48 (104/1000).
Encoding transition FF1a_51 (105/1000).
Encoding transition FF1a_50 (106/1000).
Encoding transition FF1a_53 (107/1000).
Encoding transition FF1a_52 (108/1000).
Encoding transition FF1a_39 (109/1000).
Encoding transition FF1a_38 (110/1000).
Encoding transition FF1a_41 (111/1000).
Encoding transition FF1a_40 (112/1000).
Encoding transition FF1a_43 (113/1000).
Encoding transition FF1a_42 (114/1000).
Encoding transition FF1a_45 (115/1000).
Encoding transition FF1a_44 (116/1000).
Encoding transition FF1a_64 (117/1000).
Encoding transition FF1a_65 (118/1000).
Encoding transition FF1a_62 (119/1000).
Encoding transition FF1a_63 (120/1000).
Encoding transition FF1a_68 (121/1000).
Encoding transition FF1a_69 (122/1000).
Encoding transition FF1a_66 (123/1000).
Encoding transition FF1a_67 (124/1000).
Encoding transition FF1a_56 (125/1000).
Encoding transition FF1a_57 (126/1000).
Encoding transition FF1a_54 (127/1000).
Encoding transition FF1a_55 (128/1000).
Encoding transition FF1a_60 (129/1000).
Encoding transition FF1a_61 (130/1000).
Encoding transition FF1a_58 (131/1000).
Encoding transition FF1a_59 (132/1000).
Encoding transition FF1a_81 (133/1000).
Encoding transition FF1a_80 (134/1000).
Encoding transition FF1a_79 (135/1000).
Encoding transition FF1a_78 (136/1000).
Encoding transition FF1a_85 (137/1000).
Encoding transition FF1a_84 (138/1000).
Encoding transition FF1a_83 (139/1000).
Encoding transition FF1a_82 (140/1000).
Encoding transition FF1a_73 (141/1000).
Encoding transition FF1a_72 (142/1000).
Encoding transition FF1a_71 (143/1000).
Encoding transition FF1a_70 (144/1000).
Encoding transition FF1a_77 (145/1000).
Encoding transition FF1a_76 (146/1000).
Encoding transition FF1a_75 (147/1000).
Encoding transition FF1a_74 (148/1000).
Encoding transition FF1b_19 (149/1000).
Encoding transition FF1b_18 (150/1000).
Encoding transition FF1b_21 (151/1000).
Encoding transition FF1b_20 (152/1000).
Encoding transition FF1b_15 (153/1000).
Encoding transition FF1b_14 (154/1000).
Encoding transition FF1b_17 (155/1000).
Encoding transition FF1b_16 (156/1000).
Encoding transition FF1b_27 (157/1000).
Encoding transition FF1b_26 (158/1000).
Encoding transition FF1b_29 (159/1000).
Encoding transition FF1b_28 (160/1000).
Encoding transition FF1b_23 (161/1000).
Encoding transition FF1b_22 (162/1000).
Encoding transition FF1b_25 (163/1000).
Encoding transition FF1b_24 (164/1000).
Encoding transition FF1b_34 (165/1000).
Encoding transition FF1b_35 (166/1000).
Encoding transition FF1b_36 (167/1000).
Encoding transition FF1b_37 (168/1000).
Encoding transition FF1b_30 (169/1000).
Encoding transition FF1b_31 (170/1000).
Encoding transition FF1b_32 (171/1000).
Encoding transition FF1b_33 (172/1000).
Encoding transition FF1b_42 (173/1000).
Encoding transition FF1b_43 (174/1000).
Encoding transition FF1b_44 (175/1000).
Encoding transition FF1b_45 (176/1000).
Encoding transition FF1b_38 (177/1000).
Encoding transition FF1b_39 (178/1000).
Encoding transition FF1b_40 (179/1000).
Encoding transition FF1b_41 (180/1000).
Encoding transition FF1b_53 (181/1000).
Encoding transition FF1b_52 (182/1000).
Encoding transition FF1b_51 (183/1000).
Encoding transition FF1b_50 (184/1000).
Encoding transition FF1b_49 (185/1000).
Encoding transition FF1b_48 (186/1000).
Encoding transition FF1b_47 (187/1000).
Encoding transition FF1b_46 (188/1000).
Encoding transition FF1b_61 (189/1000).
Encoding transition FF1b_60 (190/1000).
Encoding transition FF1b_59 (191/1000).
Encoding transition FF1b_58 (192/1000).
Encoding transition FF1b_57 (193/1000).
Encoding transition FF1b_56 (194/1000).
Encoding transition FF1b_55 (195/1000).
Encoding transition FF1b_54 (196/1000).
Encoding transition FF1b_68 (197/1000).
Encoding transition FF1b_69 (198/1000).
Encoding transition FF1b_66 (199/1000).
Encoding transition FF1b_67 (200/1000).
Encoding transition FF1b_64 (201/1000).
Encoding transition FF1b_65 (202/1000).
Encoding transition FF1b_62 (203/1000).
Encoding transition FF1b_63 (204/1000).
Encoding transition FF1b_76 (205/1000).
Encoding transition FF1b_77 (206/1000).
Encoding transition FF1b_74 (207/1000).
Encoding transition FF1b_75 (208/1000).
Encoding transition FF1b_72 (209/1000).
Encoding transition FF1b_73 (210/1000).
Encoding transition FF1b_70 (211/1000).
Encoding transition FF1b_71 (212/1000).
Encoding transition FF1a_151 (213/1000).
Encoding transition FF1a_150 (214/1000).
Encoding transition FF1a_153 (215/1000).
Encoding transition FF1a_152 (216/1000).
Encoding transition FF1a_155 (217/1000).
Encoding transition FF1a_154 (218/1000).
Encoding transition FF1a_157 (219/1000).
Encoding transition FF1a_156 (220/1000).
Encoding transition FF1a_159 (221/1000).
Encoding transition FF1a_158 (222/1000).
Encoding transition FF1a_161 (223/1000).
Encoding transition FF1a_160 (224/1000).
Encoding transition FF1a_163 (225/1000).
Encoding transition FF1a_162 (226/1000).
Encoding transition FF1a_165 (227/1000).
Encoding transition FF1a_164 (228/1000).
Encoding transition FF1a_166 (229/1000).
Encoding transition FF1a_167 (230/1000).
Encoding transition FF1a_168 (231/1000).
Encoding transition FF1a_169 (232/1000).
Encoding transition FF1a_170 (233/1000).
Encoding transition FF1a_171 (234/1000).
Encoding transition FF1a_172 (235/1000).
Encoding transition FF1a_173 (236/1000).
Encoding transition FF1a_174 (237/1000).
Encoding transition FF1a_175 (238/1000).
Encoding transition FF1a_176 (239/1000).
Encoding transition FF1a_177 (240/1000).
Encoding transition FF1a_178 (241/1000).
Encoding transition FF1a_179 (242/1000).
Encoding transition FF1a_180 (243/1000).
Encoding transition FF1a_181 (244/1000).
Encoding transition FF1a_185 (245/1000).
Encoding transition FF1a_184 (246/1000).
Encoding transition FF1a_183 (247/1000).
Encoding transition FF1a_182 (248/1000).
Encoding transition FF1a_189 (249/1000).
Encoding transition FF1a_188 (250/1000).
Encoding transition FF1a_187 (251/1000).
Encoding transition FF1a_186 (252/1000).
Encoding transition FF1a_193 (253/1000).
Encoding transition FF1a_192 (254/1000).
Encoding transition FF1a_191 (255/1000).
Encoding transition FF1a_190 (256/1000).
Encoding transition FF1a_197 (257/1000).
Encoding transition FF1a_196 (258/1000).
Encoding transition FF1a_195 (259/1000).
Encoding transition FF1a_194 (260/1000).
Encoding transition FF1a_200 (261/1000).
Encoding transition FF1b_1 (262/1000).
Encoding transition FF1a_198 (263/1000).
Encoding transition FF1a_199 (264/1000).
Encoding transition FF1b_4 (265/1000).
Encoding transition FF1b_5 (266/1000).
Encoding transition FF1b_2 (267/1000).
Encoding transition FF1b_3 (268/1000).
Encoding transition FF1b_8 (269/1000).
Encoding transition FF1b_9 (270/1000).
Encoding transition FF1b_6 (271/1000).
Encoding transition FF1b_7 (272/1000).
Encoding transition FF1b_12 (273/1000).
Encoding transition FF1b_13 (274/1000).
Encoding transition FF1b_10 (275/1000).
Encoding transition FF1b_11 (276/1000).
Encoding transition FF1b_173 (277/1000).
Encoding transition FF1b_172 (278/1000).
Encoding transition FF1b_171 (279/1000).
Encoding transition FF1b_170 (280/1000).
Encoding transition FF1b_169 (281/1000).
Encoding transition FF1b_168 (282/1000).
Encoding transition FF1b_167 (283/1000).
Encoding transition FF1b_166 (284/1000).
Encoding transition FF1b_165 (285/1000).
Encoding transition FF1b_164 (286/1000).
Encoding transition FF1b_163 (287/1000).
Encoding transition FF1b_162 (288/1000).
Encoding transition FF1b_161 (289/1000).
Encoding transition FF1b_160 (290/1000).
Encoding transition FF1b_159 (291/1000).
Encoding transition FF1b_158 (292/1000).
Encoding transition FF1b_156 (293/1000).
Encoding transition FF1b_157 (294/1000).
Encoding transition FF1b_154 (295/1000).
Encoding transition FF1b_155 (296/1000).
Encoding transition FF1b_152 (297/1000).
Encoding transition FF1b_153 (298/1000).
Encoding transition FF1b_150 (299/1000).
Encoding transition FF1b_151 (300/1000).
Encoding transition FF1b_148 (301/1000).
Encoding transition FF1b_149 (302/1000).
Encoding transition FF1b_146 (303/1000).
Encoding transition FF1b_147 (304/1000).
Encoding transition FF1b_144 (305/1000).
Encoding transition FF1b_145 (306/1000).
Encoding transition FF1b_142 (307/1000).
Encoding transition FF1b_143 (308/1000).
Encoding transition FF2a_3 (309/1000).
Encoding transition FF2a_2 (310/1000).
Encoding transition FF2a_5 (311/1000).
Encoding transition FF2a_4 (312/1000).
Encoding transition FF1b_199 (313/1000).
Encoding transition FF1b_198 (314/1000).
Encoding transition FF2a_1 (315/1000).
Encoding transition FF1b_200 (316/1000).
Encoding transition FF1b_195 (317/1000).
Encoding transition FF1b_194 (318/1000).
Encoding transition FF1b_197 (319/1000).
Encoding transition FF1b_196 (320/1000).
Encoding transition FF1b_191 (321/1000).
Encoding transition FF1b_190 (322/1000).
Encoding transition FF1b_193 (323/1000).
Encoding transition FF1b_192 (324/1000).
Encoding transition FF1b_186 (325/1000).
Encoding transition FF1b_187 (326/1000).
Encoding transition FF1b_188 (327/1000).
Encoding transition FF1b_189 (328/1000).
Encoding transition FF1b_182 (329/1000).
Encoding transition FF1b_183 (330/1000).
Encoding transition FF1b_184 (331/1000).
Encoding transition FF1b_185 (332/1000).
Encoding transition FF1b_178 (333/1000).
Encoding transition FF1b_179 (334/1000).
Encoding transition FF1b_180 (335/1000).
Encoding transition FF1b_181 (336/1000).
Encoding transition FF1b_174 (337/1000).
Encoding transition FF1b_175 (338/1000).
Encoding transition FF1b_176 (339/1000).
Encoding transition FF1b_177 (340/1000).
Encoding transition FF1b_105 (341/1000).
Encoding transition FF1b_104 (342/1000).
Encoding transition FF1b_103 (343/1000).
Encoding transition FF1b_102 (344/1000).
Encoding transition FF1b_109 (345/1000).
Encoding transition FF1b_108 (346/1000).
Encoding transition FF1b_107 (347/1000).
Encoding transition FF1b_106 (348/1000).
Encoding transition FF1b_97 (349/1000).
Encoding transition FF1b_96 (350/1000).
Encoding transition FF1b_95 (351/1000).
Encoding transition FF1b_94 (352/1000).
Encoding transition FF1b_101 (353/1000).
Encoding transition FF1b_100 (354/1000).
Encoding transition FF1b_99 (355/1000).
Encoding transition FF1b_98 (356/1000).
Encoding transition FF1b_88 (357/1000).
Encoding transition FF1b_89 (358/1000).
Encoding transition FF1b_86 (359/1000).
Encoding transition FF1b_87 (360/1000).
Encoding transition FF1b_92 (361/1000).
Encoding transition FF1b_93 (362/1000).
Encoding transition FF1b_90 (363/1000).
Encoding transition FF1b_91 (364/1000).
Encoding transition FF1b_80 (365/1000).
Encoding transition FF1b_81 (366/1000).
Encoding transition FF1b_78 (367/1000).
Encoding transition FF1b_79 (368/1000).
Encoding transition FF1b_84 (369/1000).
Encoding transition FF1b_85 (370/1000).
Encoding transition FF1b_82 (371/1000).
Encoding transition FF1b_83 (372/1000).
Encoding transition FF1b_135 (373/1000).
Encoding transition FF1b_134 (374/1000).
Encoding transition FF1b_137 (375/1000).
Encoding transition FF1b_136 (376/1000).
Encoding transition FF1b_139 (377/1000).
Encoding transition FF1b_138 (378/1000).
Encoding transition FF1b_141 (379/1000).
Encoding transition FF1b_140 (380/1000).
Encoding transition FF1b_127 (381/1000).
Encoding transition FF1b_126 (382/1000).
Encoding transition FF1b_129 (383/1000).
Encoding transition FF1b_128 (384/1000).
Encoding transition FF1b_131 (385/1000).
Encoding transition FF1b_130 (386/1000).
Encoding transition FF1b_133 (387/1000).
Encoding transition FF1b_132 (388/1000).
Encoding transition FF1b_118 (389/1000).
Encoding transition FF1b_119 (390/1000).
Encoding transition FF1b_120 (391/1000).
Encoding transition FF1b_121 (392/1000).
Encoding transition FF1b_122 (393/1000).
Encoding transition FF1b_123 (394/1000).
Encoding transition FF1b_124 (395/1000).
Encoding transition FF1b_125 (396/1000).
Encoding transition FF1b_110 (397/1000).
Encoding transition FF1b_111 (398/1000).
Encoding transition FF1b_112 (399/1000).
Encoding transition FF1b_113 (400/1000).
Encoding transition FF1b_114 (401/1000).
Encoding transition FF1b_115 (402/1000).
Encoding transition FF1b_116 (403/1000).
Encoding transition FF1b_117 (404/1000).
Encoding transition FF2a_92 (405/1000).
Encoding transition FF2a_93 (406/1000).
Encoding transition FF2a_90 (407/1000).
Encoding transition FF2a_91 (408/1000).
Encoding transition FF2a_88 (409/1000).
Encoding transition FF2a_89 (410/1000).
Encoding transition FF2a_86 (411/1000).
Encoding transition FF2a_87 (412/1000).
Encoding transition FF2a_100 (413/1000).
Encoding transition FF2a_101 (414/1000).
Encoding transition FF2a_98 (415/1000).
Encoding transition FF2a_99 (416/1000).
Encoding transition FF2a_96 (417/1000).
Encoding transition FF2a_97 (418/1000).
Encoding transition FF2a_94 (419/1000).
Encoding transition FF2a_95 (420/1000).
Encoding transition FF2a_77 (421/1000).
Encoding transition FF2a_76 (422/1000).
Encoding transition FF2a_75 (423/1000).
Encoding transition FF2a_74 (424/1000).
Encoding transition FF2a_73 (425/1000).
Encoding transition FF2a_72 (426/1000).
Encoding transition FF2a_71 (427/1000).
Encoding transition FF2a_70 (428/1000).
Encoding transition FF2a_85 (429/1000).
Encoding transition FF2a_84 (430/1000).
Encoding transition FF2a_83 (431/1000).
Encoding transition FF2a_82 (432/1000).
Encoding transition FF2a_81 (433/1000).
Encoding transition FF2a_80 (434/1000).
Encoding transition FF2a_79 (435/1000).
Encoding transition FF2a_78 (436/1000).
Encoding transition FF2a_122 (437/1000).
Encoding transition FF2a_123 (438/1000).
Encoding transition FF2a_124 (439/1000).
Encoding transition FF2a_125 (440/1000).
Encoding transition FF2a_118 (441/1000).
Encoding transition FF2a_119 (442/1000).
Encoding transition FF2a_120 (443/1000).
Encoding transition FF2a_121 (444/1000).
Encoding transition FF2a_130 (445/1000).
Encoding transition FF2a_131 (446/1000).
Encoding transition FF2a_132 (447/1000).
Encoding transition FF2a_133 (448/1000).
Encoding transition FF2a_126 (449/1000).
Encoding transition FF2a_127 (450/1000).
Encoding transition FF2a_128 (451/1000).
Encoding transition FF2a_129 (452/1000).
Encoding transition FF2a_107 (453/1000).
Encoding transition FF2a_106 (454/1000).
Encoding transition FF2a_109 (455/1000).
Encoding transition FF2a_108 (456/1000).
Encoding transition FF2a_103 (457/1000).
Encoding transition FF2a_102 (458/1000).
Encoding transition FF2a_105 (459/1000).
Encoding transition FF2a_104 (460/1000).
Encoding transition FF2a_115 (461/1000).
Encoding transition FF2a_114 (462/1000).
Encoding transition FF2a_117 (463/1000).
Encoding transition FF2a_116 (464/1000).
Encoding transition FF2a_111 (465/1000).
Encoding transition FF2a_110 (466/1000).
Encoding transition FF2a_113 (467/1000).
Encoding transition FF2a_112 (468/1000).
Encoding transition FF2a_24 (469/1000).
Encoding transition FF2a_25 (470/1000).
Encoding transition FF2a_22 (471/1000).
Encoding transition FF2a_23 (472/1000).
Encoding transition FF2a_28 (473/1000).
Encoding transition FF2a_29 (474/1000).
Encoding transition FF2a_26 (475/1000).
Encoding transition FF2a_27 (476/1000).
Encoding transition FF2a_32 (477/1000).
Encoding transition FF2a_33 (478/1000).
Encoding transition FF2a_30 (479/1000).
Encoding transition FF2a_31 (480/1000).
Encoding transition FF2a_36 (481/1000).
Encoding transition FF2a_37 (482/1000).
Encoding transition FF2a_34 (483/1000).
Encoding transition FF2a_35 (484/1000).
Encoding transition FF2a_9 (485/1000).
Encoding transition FF2a_8 (486/1000).
Encoding transition FF2a_7 (487/1000).
Encoding transition FF2a_6 (488/1000).
Encoding transition FF2a_13 (489/1000).
Encoding transition FF2a_12 (490/1000).
Encoding transition FF2a_11 (491/1000).
Encoding transition FF2a_10 (492/1000).
Encoding transition FF2a_17 (493/1000).
Encoding transition FF2a_16 (494/1000).
Encoding transition FF2a_15 (495/1000).
Encoding transition FF2a_14 (496/1000).
Encoding transition FF2a_21 (497/1000).
Encoding transition FF2a_20 (498/1000).
Encoding transition FF2a_19 (499/1000).
Encoding transition FF2a_18 (500/1000).
Encoding transition FF2a_54 (501/1000).
Encoding transition FF2a_55 (502/1000).
Encoding transition FF2a_56 (503/1000).
Encoding transition FF2a_57 (504/1000).
Encoding transition FF2a_58 (505/1000).
Encoding transition FF2a_59 (506/1000).
Encoding transition FF2a_60 (507/1000).
Encoding transition FF2a_61 (508/1000).
Encoding transition FF2a_62 (509/1000).
Encoding transition FF2a_63 (510/1000).
Encoding transition FF2a_64 (511/1000).
Encoding transition FF2a_65 (512/1000).
Encoding transition FF2a_66 (513/1000).
Encoding transition FF2a_67 (514/1000).
Encoding transition FF2a_68 (515/1000).
Encoding transition FF2a_69 (516/1000).
Encoding transition FF2a_39 (517/1000).
Encoding transition FF2a_38 (518/1000).
Encoding transition FF2a_41 (519/1000).
Encoding transition FF2a_40 (520/1000).
Encoding transition FF2a_43 (521/1000).
Encoding transition FF2a_42 (522/1000).
Encoding transition FF2a_45 (523/1000).
Encoding transition FF2a_44 (524/1000).
Encoding transition FF2a_47 (525/1000).
Encoding transition FF2a_46 (526/1000).
Encoding transition FF2a_49 (527/1000).
Encoding transition FF2a_48 (528/1000).
Encoding transition FF2a_51 (529/1000).
Encoding transition FF2a_50 (530/1000).
Encoding transition FF2a_53 (531/1000).
Encoding transition FF2a_52 (532/1000).
Encoding transition FF2b_40 (533/1000).
Encoding transition FF2b_41 (534/1000).
Encoding transition FF2b_38 (535/1000).
Encoding transition FF2b_39 (536/1000).
Encoding transition FF2b_44 (537/1000).
Encoding transition FF2b_45 (538/1000).
Encoding transition FF2b_42 (539/1000).
Encoding transition FF2b_43 (540/1000).
Encoding transition FF2b_32 (541/1000).
Encoding transition FF2b_33 (542/1000).
Encoding transition FF2b_30 (543/1000).
Encoding transition FF2b_31 (544/1000).
Encoding transition FF2b_36 (545/1000).
Encoding transition FF2b_37 (546/1000).
Encoding transition FF2b_34 (547/1000).
Encoding transition FF2b_35 (548/1000).
Encoding transition FF2b_57 (549/1000).
Encoding transition FF2b_56 (550/1000).
Encoding transition FF2b_55 (551/1000).
Encoding transition FF2b_54 (552/1000).
Encoding transition FF2b_61 (553/1000).
Encoding transition FF2b_60 (554/1000).
Encoding transition FF2b_59 (555/1000).
Encoding transition FF2b_58 (556/1000).
Encoding transition FF2b_49 (557/1000).
Encoding transition FF2b_48 (558/1000).
Encoding transition FF2b_47 (559/1000).
Encoding transition FF2b_46 (560/1000).
Encoding transition FF2b_53 (561/1000).
Encoding transition FF2b_52 (562/1000).
Encoding transition FF2b_51 (563/1000).
Encoding transition FF2b_50 (564/1000).
Encoding transition FF2b_6 (565/1000).
Encoding transition FF2b_7 (566/1000).
Encoding transition FF2b_8 (567/1000).
Encoding transition FF2b_9 (568/1000).
Encoding transition FF2b_10 (569/1000).
Encoding transition FF2b_11 (570/1000).
Encoding transition FF2b_12 (571/1000).
Encoding transition FF2b_13 (572/1000).
Encoding transition FF2a_198 (573/1000).
Encoding transition FF2a_199 (574/1000).
Encoding transition FF2a_200 (575/1000).
Encoding transition FF2b_1 (576/1000).
Encoding transition FF2b_2 (577/1000).
Encoding transition FF2b_3 (578/1000).
Encoding transition FF2b_4 (579/1000).
Encoding transition FF2b_5 (580/1000).
Encoding transition FF2b_23 (581/1000).
Encoding transition FF2b_22 (582/1000).
Encoding transition FF2b_25 (583/1000).
Encoding transition FF2b_24 (584/1000).
Encoding transition FF2b_27 (585/1000).
Encoding transition FF2b_26 (586/1000).
Encoding transition FF2b_29 (587/1000).
Encoding transition FF2b_28 (588/1000).
Encoding transition FF2b_15 (589/1000).
Encoding transition FF2b_14 (590/1000).
Encoding transition FF2b_17 (591/1000).
Encoding transition FF2b_16 (592/1000).
Encoding transition FF2b_19 (593/1000).
Encoding transition FF2b_18 (594/1000).
Encoding transition FF2b_21 (595/1000).
Encoding transition FF2b_20 (596/1000).
Encoding transition FF2a_180 (597/1000).
Encoding transition FF2a_181 (598/1000).
Encoding transition FF2a_178 (599/1000).
Encoding transition FF2a_179 (600/1000).
Encoding transition FF2a_176 (601/1000).
Encoding transition FF2a_177 (602/1000).
Encoding transition FF2a_174 (603/1000).
Encoding transition FF2a_175 (604/1000).
Encoding transition FF2a_172 (605/1000).
Encoding transition FF2a_173 (606/1000).
Encoding transition FF2a_170 (607/1000).
Encoding transition FF2a_171 (608/1000).
Encoding transition FF2a_168 (609/1000).
Encoding transition FF2a_169 (610/1000).
Encoding transition FF2a_166 (611/1000).
Encoding transition FF2a_167 (612/1000).
Encoding transition FF2a_197 (613/1000).
Encoding transition FF2a_196 (614/1000).
Encoding transition FF2a_195 (615/1000).
Encoding transition FF2a_194 (616/1000).
Encoding transition FF2a_193 (617/1000).
Encoding transition FF2a_192 (618/1000).
Encoding transition FF2a_191 (619/1000).
Encoding transition FF2a_190 (620/1000).
Encoding transition FF2a_189 (621/1000).
Encoding transition FF2a_188 (622/1000).
Encoding transition FF2a_187 (623/1000).
Encoding transition FF2a_186 (624/1000).
Encoding transition FF2a_185 (625/1000).
Encoding transition FF2a_184 (626/1000).
Encoding transition FF2a_183 (627/1000).
Encoding transition FF2a_182 (628/1000).
Encoding transition FF2a_146 (629/1000).
Encoding transition FF2a_147 (630/1000).
Encoding transition FF2a_148 (631/1000).
Encoding transition FF2a_149 (632/1000).
Encoding transition FF2a_142 (633/1000).
Encoding transition FF2a_143 (634/1000).
Encoding transition FF2a_144 (635/1000).
Encoding transition FF2a_145 (636/1000).
Encoding transition FF2a_138 (637/1000).
Encoding transition FF2a_139 (638/1000).
Encoding transition FF2a_140 (639/1000).
Encoding transition FF2a_141 (640/1000).
Encoding transition FF2a_134 (641/1000).
Encoding transition FF2a_135 (642/1000).
Encoding transition FF2a_136 (643/1000).
Encoding transition FF2a_137 (644/1000).
Encoding transition FF2a_163 (645/1000).
Encoding transition FF2a_162 (646/1000).
Encoding transition FF2a_165 (647/1000).
Encoding transition FF2a_164 (648/1000).
Encoding transition FF2a_159 (649/1000).
Encoding transition FF2a_158 (650/1000).
Encoding transition FF2a_161 (651/1000).
Encoding transition FF2a_160 (652/1000).
Encoding transition FF2a_155 (653/1000).
Encoding transition FF2a_154 (654/1000).
Encoding transition FF2a_157 (655/1000).
Encoding transition FF2a_156 (656/1000).
Encoding transition FF2a_151 (657/1000).
Encoding transition FF2a_150 (658/1000).
Encoding transition FF2a_153 (659/1000).
Encoding transition FF2a_152 (660/1000).
Encoding transition FF2b_161 (661/1000).
Encoding transition FF2b_160 (662/1000).
Encoding transition FF2b_159 (663/1000).
Encoding transition FF2b_158 (664/1000).
Encoding transition FF2b_165 (665/1000).
Encoding transition FF2b_164 (666/1000).
Encoding transition FF2b_163 (667/1000).
Encoding transition FF2b_162 (668/1000).
Encoding transition FF2b_169 (669/1000).
Encoding transition FF2b_168 (670/1000).
Encoding transition FF2b_167 (671/1000).
Encoding transition FF2b_166 (672/1000).
Encoding transition FF2b_173 (673/1000).
Encoding transition FF2b_172 (674/1000).
Encoding transition FF2b_171 (675/1000).
Encoding transition FF2b_170 (676/1000).
Encoding transition FF2b_176 (677/1000).
Encoding transition FF2b_177 (678/1000).
Encoding transition FF2b_174 (679/1000).
Encoding transition FF2b_175 (680/1000).
Encoding transition FF2b_180 (681/1000).
Encoding transition FF2b_181 (682/1000).
Encoding transition FF2b_178 (683/1000).
Encoding transition FF2b_179 (684/1000).
Encoding transition FF2b_184 (685/1000).
Encoding transition FF2b_185 (686/1000).
Encoding transition FF2b_182 (687/1000).
Encoding transition FF2b_183 (688/1000).
Encoding transition FF2b_188 (689/1000).
Encoding transition FF2b_189 (690/1000).
Encoding transition FF2b_186 (691/1000).
Encoding transition FF2b_187 (692/1000).
Encoding transition FF2b_127 (693/1000).
Encoding transition FF2b_126 (694/1000).
Encoding transition FF2b_129 (695/1000).
Encoding transition FF2b_128 (696/1000).
Encoding transition FF2b_131 (697/1000).
Encoding transition FF2b_130 (698/1000).
Encoding transition FF2b_133 (699/1000).
Encoding transition FF2b_132 (700/1000).
Encoding transition FF2b_135 (701/1000).
Encoding transition FF2b_134 (702/1000).
Encoding transition FF2b_137 (703/1000).
Encoding transition FF2b_136 (704/1000).
Encoding transition FF2b_139 (705/1000).
Encoding transition FF2b_138 (706/1000).
Encoding transition FF2b_141 (707/1000).
Encoding transition FF2b_140 (708/1000).
Encoding transition FF2b_142 (709/1000).
Encoding transition FF2b_143 (710/1000).
Encoding transition FF2b_144 (711/1000).
Encoding transition FF2b_145 (712/1000).
Encoding transition FF2b_146 (713/1000).
Encoding transition FF2b_147 (714/1000).
Encoding transition FF2b_148 (715/1000).
Encoding transition FF2b_149 (716/1000).
Encoding transition FF2b_150 (717/1000).
Encoding transition FF2b_151 (718/1000).
Encoding transition FF2b_152 (719/1000).
Encoding transition FF2b_153 (720/1000).
Encoding transition FF2b_154 (721/1000).
Encoding transition FF2b_155 (722/1000).
Encoding transition FF2b_156 (723/1000).
Encoding transition FF2b_157 (724/1000).
Encoding transition FF2b_101 (725/1000).
Encoding transition FF2b_100 (726/1000).
Encoding transition FF2b_99 (727/1000).
Encoding transition FF2b_98 (728/1000).
Encoding transition FF2b_97 (729/1000).
Encoding transition FF2b_96 (730/1000).
Encoding transition FF2b_95 (731/1000).
Encoding transition FF2b_94 (732/1000).
Encoding transition FF2b_109 (733/1000).
Encoding transition FF2b_108 (734/1000).
Encoding transition FF2b_107 (735/1000).
Encoding transition FF2b_106 (736/1000).
Encoding transition FF2b_105 (737/1000).
Encoding transition FF2b_104 (738/1000).
Encoding transition FF2b_103 (739/1000).
Encoding transition FF2b_102 (740/1000).
Encoding transition FF2b_116 (741/1000).
Encoding transition FF2b_117 (742/1000).
Encoding transition FF2b_114 (743/1000).
Encoding transition FF2b_115 (744/1000).
Encoding transition FF2b_112 (745/1000).
Encoding transition FF2b_113 (746/1000).
Encoding transition FF2b_110 (747/1000).
Encoding transition FF2b_111 (748/1000).
Encoding transition FF2b_124 (749/1000).
Encoding transition FF2b_125 (750/1000).
Encoding transition FF2b_122 (751/1000).
Encoding transition FF2b_123 (752/1000).
Encoding transition FF2b_120 (753/1000).
Encoding transition FF2b_121 (754/1000).
Encoding transition FF2b_118 (755/1000).
Encoding transition FF2b_119 (756/1000).
Encoding transition FF2b_67 (757/1000).
Encoding transition FF2b_66 (758/1000).
Encoding transition FF2b_69 (759/1000).
Encoding transition FF2b_68 (760/1000).
Encoding transition FF2b_63 (761/1000).
Encoding transition FF2b_62 (762/1000).
Encoding transition FF2b_65 (763/1000).
Encoding transition FF2b_64 (764/1000).
Encoding transition FF2b_75 (765/1000).
Encoding transition FF2b_74 (766/1000).
Encoding transition FF2b_77 (767/1000).
Encoding transition FF2b_76 (768/1000).
Encoding transition FF2b_71 (769/1000).
Encoding transition FF2b_70 (770/1000).
Encoding transition FF2b_73 (771/1000).
Encoding transition FF2b_72 (772/1000).
Encoding transition FF2b_82 (773/1000).
Encoding transition FF2b_83 (774/1000).
Encoding transition FF2b_84 (775/1000).
Encoding transition FF2b_85 (776/1000).
Encoding transition FF2b_78 (777/1000).
Encoding transition FF2b_79 (778/1000).
Encoding transition FF2b_80 (779/1000).
Encoding transition FF2b_81 (780/1000).
Encoding transition FF2b_90 (781/1000).
Encoding transition FF2b_91 (782/1000).
Encoding transition FF2b_92 (783/1000).
Encoding transition FF2b_93 (784/1000).
Encoding transition FF2b_86 (785/1000).
Encoding transition FF2b_87 (786/1000).
Encoding transition FF2b_88 (787/1000).
Encoding transition FF2b_89 (788/1000).
Encoding transition End_111 (789/1000).
Encoding transition End_110 (790/1000).
Encoding transition End_113 (791/1000).
Encoding transition End_112 (792/1000).
Encoding transition End_115 (793/1000).
Encoding transition End_114 (794/1000).
Encoding transition End_117 (795/1000).
Encoding transition End_116 (796/1000).
Encoding transition End_103 (797/1000).
Encoding transition End_102 (798/1000).
Encoding transition End_105 (799/1000).
Encoding transition End_104 (800/1000).
Encoding transition End_107 (801/1000).
Encoding transition End_106 (802/1000).
Encoding transition End_109 (803/1000).
Encoding transition End_108 (804/1000).
Encoding transition End_94 (805/1000).
Encoding transition End_95 (806/1000).
Encoding transition End_96 (807/1000).
Encoding transition End_97 (808/1000).
Encoding transition End_98 (809/1000).
Encoding transition End_99 (810/1000).
Encoding transition End_100 (811/1000).
Encoding transition End_101 (812/1000).
Encoding transition End_86 (813/1000).
Encoding transition End_87 (814/1000).
Encoding transition End_88 (815/1000).
Encoding transition End_89 (816/1000).
Encoding transition End_90 (817/1000).
Encoding transition End_91 (818/1000).
Encoding transition End_92 (819/1000).
Encoding transition End_93 (820/1000).
Encoding transition End_81 (821/1000).
Encoding transition End_80 (822/1000).
Encoding transition End_79 (823/1000).
Encoding transition End_78 (824/1000).
Encoding transition End_85 (825/1000).
Encoding transition End_84 (826/1000).
Encoding transition End_83 (827/1000).
Encoding transition End_82 (828/1000).
Encoding transition End_73 (829/1000).
Encoding transition End_72 (830/1000).
Encoding transition End_71 (831/1000).
Encoding transition End_70 (832/1000).
Encoding transition End_77 (833/1000).
Encoding transition End_76 (834/1000).
Encoding transition End_75 (835/1000).
Encoding transition End_74 (836/1000).
Encoding transition End_64 (837/1000).
Encoding transition End_65 (838/1000).
Encoding transition End_62 (839/1000).
Encoding transition End_63 (840/1000).
Encoding transition End_68 (841/1000).
Encoding transition End_69 (842/1000).
Encoding transition End_66 (843/1000).
Encoding transition End_67 (844/1000).
Encoding transition End_56 (845/1000).
Encoding transition End_57 (846/1000).
Encoding transition End_54 (847/1000).
Encoding transition End_55 (848/1000).
Encoding transition End_60 (849/1000).
Encoding transition End_61 (850/1000).
Encoding transition End_58 (851/1000).
Encoding transition End_59 (852/1000).
Encoding transition End_51 (853/1000).
Encoding transition End_50 (854/1000).
Encoding transition End_53 (855/1000).
Encoding transition End_52 (856/1000).
Encoding transition End_47 (857/1000).
Encoding transition End_46 (858/1000).
Encoding transition End_49 (859/1000).
Encoding transition End_48 (860/1000).
Encoding transition End_43 (861/1000).
Encoding transition End_42 (862/1000).
Encoding transition End_45 (863/1000).
Encoding transition End_44 (864/1000).
Encoding transition End_39 (865/1000).
Encoding transition End_38 (866/1000).
Encoding transition End_41 (867/1000).
Encoding transition End_40 (868/1000).
Encoding transition End_34 (869/1000).
Encoding transition End_35 (870/1000).
Encoding transition End_36 (871/1000).
Encoding transition End_37 (872/1000).
Encoding transition End_30 (873/1000).
Encoding transition End_31 (874/1000).
Encoding transition End_32 (875/1000).
Encoding transition End_33 (876/1000).
Encoding transition End_26 (877/1000).
Encoding transition End_27 (878/1000).
Encoding transition End_28 (879/1000).
Encoding transition End_29 (880/1000).
Encoding transition End_22 (881/1000).
Encoding transition End_23 (882/1000).
Encoding transition End_24 (883/1000).
Encoding transition End_25 (884/1000).
Encoding transition End_21 (885/1000).
Encoding transition End_20 (886/1000).
Encoding transition End_19 (887/1000).
Encoding transition End_18 (888/1000).
Encoding transition End_17 (889/1000).
Encoding transition End_16 (890/1000).
Encoding transition End_15 (891/1000).
Encoding transition End_14 (892/1000).
Encoding transition End_13 (893/1000).
Encoding transition End_12 (894/1000).
Encoding transition End_11 (895/1000).
Encoding transition End_10 (896/1000).
Encoding transition End_9 (897/1000).
Encoding transition End_8 (898/1000).
Encoding transition End_7 (899/1000).
Encoding transition End_6 (900/1000).
Encoding transition End_4 (901/1000).
Encoding transition End_5 (902/1000).
Encoding transition End_2 (903/1000).
Encoding transition End_3 (904/1000).
Encoding transition FF2b_200 (905/1000).
Encoding transition End_1 (906/1000).
Encoding transition FF2b_198 (907/1000).
Encoding transition FF2b_199 (908/1000).
Encoding transition FF2b_196 (909/1000).
Encoding transition FF2b_197 (910/1000).
Encoding transition FF2b_194 (911/1000).
Encoding transition FF2b_195 (912/1000).
Encoding transition FF2b_192 (913/1000).
Encoding transition FF2b_193 (914/1000).
Encoding transition FF2b_190 (915/1000).
Encoding transition FF2b_191 (916/1000).
Encoding transition End_200 (917/1000).
Encoding transition End_198 (918/1000).
Encoding transition End_199 (919/1000).
Encoding transition End_185 (920/1000).
Encoding transition End_184 (921/1000).
Encoding transition End_183 (922/1000).
Encoding transition End_182 (923/1000).
Encoding transition End_189 (924/1000).
Encoding transition End_188 (925/1000).
Encoding transition End_187 (926/1000).
Encoding transition End_186 (927/1000).
Encoding transition End_193 (928/1000).
Encoding transition End_192 (929/1000).
Encoding transition End_191 (930/1000).
Encoding transition End_190 (931/1000).
Encoding transition End_197 (932/1000).
Encoding transition End_196 (933/1000).
Encoding transition End_195 (934/1000).
Encoding transition End_194 (935/1000).
Encoding transition End_170 (936/1000).
Encoding transition End_171 (937/1000).
Encoding transition End_172 (938/1000).
Encoding transition End_173 (939/1000).
Encoding transition End_166 (940/1000).
Encoding transition End_167 (941/1000).
Encoding transition End_168 (942/1000).
Encoding transition End_169 (943/1000).
Encoding transition End_178 (944/1000).
Encoding transition End_179 (945/1000).
Encoding transition End_180 (946/1000).
Encoding transition End_181 (947/1000).
Encoding transition End_174 (948/1000).
Encoding transition End_175 (949/1000).
Encoding transition End_176 (950/1000).
Encoding transition End_177 (951/1000).
Encoding transition End_155 (952/1000).
Encoding transition End_154 (953/1000).
Encoding transition End_157 (954/1000).
Encoding transition End_156 (955/1000).
Encoding transition End_151 (956/1000).
Encoding transition End_150 (957/1000).
Encoding transition End_153 (958/1000).
Encoding transition End_152 (959/1000).
Encoding transition End_163 (960/1000).
Encoding transition End_162 (961/1000).
Encoding transition End_165 (962/1000).
Encoding transition End_164 (963/1000).
Encoding transition End_159 (964/1000).
Encoding transition End_158 (965/1000).
Encoding transition End_161 (966/1000).
Encoding transition End_160 (967/1000).
Encoding transition End_140 (968/1000).
Encoding transition End_141 (969/1000).
Encoding transition End_138 (970/1000).
Encoding transition End_139 (971/1000).
Encoding transition End_136 (972/1000).
Encoding transition End_137 (973/1000).
Encoding transition End_134 (974/1000).
Encoding transition End_135 (975/1000).
Encoding transition End_148 (976/1000).
Encoding transition End_149 (977/1000).
Encoding transition End_146 (978/1000).
Encoding transition End_147 (979/1000).
Encoding transition End_144 (980/1000).
Encoding transition End_145 (981/1000).
Encoding transition End_142 (982/1000).
Encoding transition End_143 (983/1000).
Encoding transition End_125 (984/1000).
Encoding transition End_124 (985/1000).
Encoding transition End_123 (986/1000).
Encoding transition End_122 (987/1000).
Encoding transition End_121 (988/1000).
Encoding transition End_120 (989/1000).
Encoding transition End_119 (990/1000).
Encoding transition End_118 (991/1000).
Encoding transition End_133 (992/1000).
Encoding transition End_132 (993/1000).
Encoding transition End_131 (994/1000).
Encoding transition End_130 (995/1000).
Encoding transition End_129 (996/1000).
Encoding transition End_128 (997/1000).
Encoding transition End_127 (998/1000).
Encoding transition End_126 (999/1000).
----------------------------------------
End firing rule encoding

----------------------------------------
----------------------------------------
Start RS generation
----------------------------------------

Total Used Memory: 37140KB
RS size: -9223372036854775808 (2.65614e+95)
----------------------------------------
End RS generation
----------------------------------------

FORMULA Philosophers-COL-000200-ReachabilityBounds-1 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityBounds-2 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityBounds-3 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityBounds-4 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityBounds-5 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityBounds-6 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityBounds-7 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityBounds-8 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityBounds-9 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityBounds-10 TRUE TECHNIQUES DECISION_DIAGRAMS
Ok.

BK_STOP 1400439498514

--------------------
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-000200"
export BK_EXAMINATION="ReachabilityBounds"
export BK_TOOL="greatspn"
export BK_RESULT_DIR="/home/fko/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/Philosophers-PT-000200.tgz
mv Philosophers-PT-000200 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-000200, examination is ReachabilityBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r04kn-qhx2-140043541400887"
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 ;