About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
2974.03 | 783100 | 371.8 | 174 178 193 99 174 172 193 193 172 178 | 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 ReachabilityComputeBounds
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r04kn-qhx2-140043541400886
=====================================================================
--------------------
content from stdout:
BK_START 1400438714609
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running Philosophers (PT), instance 000200
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/ReachabilityComputeBounds.xml INTO /home/mcc/execution/ReachabilityComputeBounds.rgmedd-ctl
/home/mcc/BenchKit/bin/bin/RGMEDD model -P -h 2000000000 -B 1 -C -f /home/mcc/execution/ReachabilityComputeBounds.rgmedd-ctl
Setting MEDDLY cache to 2000000000 bytes.
Opening file: model.bnd
----------------------------------------
Start firing rule encoding
----------------------------------------
Encoding transition FF1a_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: 37132KB
RS size: -9223372036854775808 (2.65614e+95)
----------------------------------------
End RS generation
----------------------------------------
FORMULA Philosophers-COL-000200-ReachabilityComputeBounds-1 174 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityComputeBounds-2 178 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityComputeBounds-3 193 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityComputeBounds-4 99 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityComputeBounds-5 174 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityComputeBounds-6 172 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityComputeBounds-7 193 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityComputeBounds-8 193 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityComputeBounds-9 172 TECHNIQUES DECISION_DIAGRAMS
FORMULA Philosophers-COL-000200-ReachabilityComputeBounds-10 178 TECHNIQUES DECISION_DIAGRAMS
Ok.
BK_STOP 1400439497958
--------------------
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="ReachabilityComputeBounds"
export BK_TOOL="greatspn"
export BK_RESULT_DIR="/home/fko/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/Philosophers-PT-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 ReachabilityComputeBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r04kn-qhx2-140043541400886"
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 ;