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 SurpriseNeoElection-PT-3, examination is ReachabilityFireabilitySimple
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r09ks-qhx2-140069007900760
=====================================================================

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

BK_START 1400780188837
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running SurpriseNeoElection (PT), instance 3
MODEL_DIR = /home/mcc/execution
CONVERT PNML /home/mcc/execution/model.pnml
COMPUTING STRUCTURAL INFO.
CONVERT FORMULAE /home/mcc/execution/ReachabilityFireabilitySimple.xml INTO /home/mcc/execution/ReachabilityFireabilitySimple.rgmedd-ctl
/home/mcc/BenchKit/bin/bin/RGMEDD model -FORCE-P -h 2000000000 -B 9 -C -f /home/mcc/execution/ReachabilityFireabilitySimple.rgmedd-ctl
Using FORCE-PINV Heuristic for the variable ordering.
Setting MEDDLY cache to 2000000000 bytes.
Opening file: model.bnd
----------------------------------------
Start firing rule encoding
----------------------------------------
Encoding transition T-poll__end_1 (0/1016).
Encoding transition T-poll__end_2 (1/1016).
Encoding transition T-poll__end_3 (2/1016).
Encoding transition T-poll__end_4 (3/1016).
Encoding transition T-poll__handleAI1_1 (4/1016).
Encoding transition T-poll__handleAI1_2 (5/1016).
Encoding transition T-poll__handleAI1_3 (6/1016).
Encoding transition T-poll__handleAI1_4 (7/1016).
Encoding transition T-poll__handleAI1_17 (8/1016).
Encoding transition T-poll__handleAI1_18 (9/1016).
Encoding transition T-poll__handleAI1_19 (10/1016).
Encoding transition T-poll__handleAI1_20 (11/1016).
Encoding transition T-poll__handleAI1_21 (12/1016).
Encoding transition T-poll__handleAI1_22 (13/1016).
Encoding transition T-poll__handleAI1_23 (14/1016).
Encoding transition T-poll__handleAI1_24 (15/1016).
Encoding transition T-poll__handleAI1_33 (16/1016).
Encoding transition T-poll__handleAI1_34 (17/1016).
Encoding transition T-poll__handleAI1_35 (18/1016).
Encoding transition T-poll__handleAI1_36 (19/1016).
Encoding transition T-poll__handleAI1_37 (20/1016).
Encoding transition T-poll__handleAI1_38 (21/1016).
Encoding transition T-poll__handleAI1_39 (22/1016).
Encoding transition T-poll__handleAI1_40 (23/1016).
Encoding transition T-poll__handleAI1_41 (24/1016).
Encoding transition T-poll__handleAI1_42 (25/1016).
Encoding transition T-poll__handleAI1_43 (26/1016).
Encoding transition T-poll__handleAI1_44 (27/1016).
Encoding transition T-poll__handleAI1_49 (28/1016).
Encoding transition T-poll__handleAI1_50 (29/1016).
Encoding transition T-poll__handleAI1_51 (30/1016).
Encoding transition T-poll__handleAI1_52 (31/1016).
Encoding transition T-poll__handleAI1_53 (32/1016).
Encoding transition T-poll__handleAI1_54 (33/1016).
Encoding transition T-poll__handleAI1_55 (34/1016).
Encoding transition T-poll__handleAI1_56 (35/1016).
Encoding transition T-poll__handleAI1_57 (36/1016).
Encoding transition T-poll__handleAI1_58 (37/1016).
Encoding transition T-poll__handleAI1_59 (38/1016).
Encoding transition T-poll__handleAI1_60 (39/1016).
Encoding transition T-poll__handleAI1_61 (40/1016).
Encoding transition T-poll__handleAI1_62 (41/1016).
Encoding transition T-poll__handleAI1_63 (42/1016).
Encoding transition T-poll__handleAI1_64 (43/1016).
Encoding transition T-poll__handleAI2_9 (44/1016).
Encoding transition T-poll__handleAI2_10 (45/1016).
Encoding transition T-poll__handleAI2_11 (46/1016).
Encoding transition T-poll__handleAI2_12 (47/1016).
Encoding transition T-poll__handleAI2_13 (48/1016).
Encoding transition T-poll__handleAI2_14 (49/1016).
Encoding transition T-poll__handleAI2_15 (50/1016).
Encoding transition T-poll__handleAI2_16 (51/1016).
Encoding transition T-poll__handleAI2_17 (52/1016).
Encoding transition T-poll__handleAI2_18 (53/1016).
Encoding transition T-poll__handleAI2_19 (54/1016).
Encoding transition T-poll__handleAI2_20 (55/1016).
Encoding transition T-poll__handleAI2_21 (56/1016).
Encoding transition T-poll__handleAI2_22 (57/1016).
Encoding transition T-poll__handleAI2_23 (58/1016).
Encoding transition T-poll__handleAI2_24 (59/1016).
Encoding transition T-poll__handleAI2_25 (60/1016).
Encoding transition T-poll__handleAI2_26 (61/1016).
Encoding transition T-poll__handleAI2_27 (62/1016).
Encoding transition T-poll__handleAI2_28 (63/1016).
Encoding transition T-poll__handleAI2_29 (64/1016).
Encoding transition T-poll__handleAI2_30 (65/1016).
Encoding transition T-poll__handleAI2_31 (66/1016).
Encoding transition T-poll__handleAI2_32 (67/1016).
Encoding transition T-poll__handleAI2_41 (68/1016).
Encoding transition T-poll__handleAI2_42 (69/1016).
Encoding transition T-poll__handleAI2_43 (70/1016).
Encoding transition T-poll__handleAI2_44 (71/1016).
Encoding transition T-poll__handleAI2_45 (72/1016).
Encoding transition T-poll__handleAI2_46 (73/1016).
Encoding transition T-poll__handleAI2_47 (74/1016).
Encoding transition T-poll__handleAI2_48 (75/1016).
Encoding transition T-poll__handleAI2_49 (76/1016).
Encoding transition T-poll__handleAI2_50 (77/1016).
Encoding transition T-poll__handleAI2_51 (78/1016).
Encoding transition T-poll__handleAI2_52 (79/1016).
Encoding transition T-poll__handleAI2_53 (80/1016).
Encoding transition T-poll__handleAI2_54 (81/1016).
Encoding transition T-poll__handleAI2_55 (82/1016).
Encoding transition T-poll__handleAI2_56 (83/1016).
Encoding transition T-poll__handleAI2_57 (84/1016).
Encoding transition T-poll__handleAI2_58 (85/1016).
Encoding transition T-poll__handleAI2_59 (86/1016).
Encoding transition T-poll__handleAI2_60 (87/1016).
Encoding transition T-poll__handleAI2_61 (88/1016).
Encoding transition T-poll__handleAI2_62 (89/1016).
Encoding transition T-poll__handleAI2_63 (90/1016).
Encoding transition T-poll__handleAI2_64 (91/1016).
Encoding transition T-poll__handleAI2_73 (92/1016).
Encoding transition T-poll__handleAI2_74 (93/1016).
Encoding transition T-poll__handleAI2_75 (94/1016).
Encoding transition T-poll__handleAI2_76 (95/1016).
Encoding transition T-poll__handleAI2_77 (96/1016).
Encoding transition T-poll__handleAI2_78 (97/1016).
Encoding transition T-poll__handleAI2_79 (98/1016).
Encoding transition T-poll__handleAI2_80 (99/1016).
Encoding transition T-poll__handleAI2_81 (100/1016).
Encoding transition T-poll__handleAI2_82 (101/1016).
Encoding transition T-poll__handleAI2_83 (102/1016).
Encoding transition T-poll__handleAI2_84 (103/1016).
Encoding transition T-poll__handleAI2_85 (104/1016).
Encoding transition T-poll__handleAI2_86 (105/1016).
Encoding transition T-poll__handleAI2_87 (106/1016).
Encoding transition T-poll__handleAI2_88 (107/1016).
Encoding transition T-poll__handleAI2_89 (108/1016).
Encoding transition T-poll__handleAI2_90 (109/1016).
Encoding transition T-poll__handleAI2_91 (110/1016).
Encoding transition T-poll__handleAI2_92 (111/1016).
Encoding transition T-poll__handleAI2_93 (112/1016).
Encoding transition T-poll__handleAI2_94 (113/1016).
Encoding transition T-poll__handleAI2_95 (114/1016).
Encoding transition T-poll__handleAI2_96 (115/1016).
Encoding transition T-poll__handleAI2_105 (116/1016).
Encoding transition T-poll__handleAI2_106 (117/1016).
Encoding transition T-poll__handleAI2_107 (118/1016).
Encoding transition T-poll__handleAI2_108 (119/1016).
Encoding transition T-poll__handleAI2_109 (120/1016).
Encoding transition T-poll__handleAI2_110 (121/1016).
Encoding transition T-poll__handleAI2_111 (122/1016).
Encoding transition T-poll__handleAI2_112 (123/1016).
Encoding transition T-poll__handleAI2_113 (124/1016).
Encoding transition T-poll__handleAI2_114 (125/1016).
Encoding transition T-poll__handleAI2_115 (126/1016).
Encoding transition T-poll__handleAI2_116 (127/1016).
Encoding transition T-poll__handleAI2_117 (128/1016).
Encoding transition T-poll__handleAI2_118 (129/1016).
Encoding transition T-poll__handleAI2_119 (130/1016).
Encoding transition T-poll__handleAI2_120 (131/1016).
Encoding transition T-poll__handleAI2_121 (132/1016).
Encoding transition T-poll__handleAI2_122 (133/1016).
Encoding transition T-poll__handleAI2_123 (134/1016).
Encoding transition T-poll__handleAI2_124 (135/1016).
Encoding transition T-poll__handleAI2_125 (136/1016).
Encoding transition T-poll__handleAI2_126 (137/1016).
Encoding transition T-poll__handleAI2_127 (138/1016).
Encoding transition T-poll__handleAI2_128 (139/1016).
Encoding transition T-poll__handleAI2_145 (140/1016).
Encoding transition T-poll__handleAI2_146 (141/1016).
Encoding transition T-poll__handleAI2_147 (142/1016).
Encoding transition T-poll__handleAI2_148 (143/1016).
Encoding transition T-poll__handleAI2_149 (144/1016).
Encoding transition T-poll__handleAI2_150 (145/1016).
Encoding transition T-poll__handleAI2_151 (146/1016).
Encoding transition T-poll__handleAI2_152 (147/1016).
Encoding transition T-poll__handleAI2_153 (148/1016).
Encoding transition T-poll__handleAI2_154 (149/1016).
Encoding transition T-poll__handleAI2_155 (150/1016).
Encoding transition T-poll__handleAI2_156 (151/1016).
Encoding transition T-poll__handleAI2_157 (152/1016).
Encoding transition T-poll__handleAI2_158 (153/1016).
Encoding transition T-poll__handleAI2_159 (154/1016).
Encoding transition T-poll__handleAI2_160 (155/1016).
Encoding transition T-poll__handleAI2_177 (156/1016).
Encoding transition T-poll__handleAI2_178 (157/1016).
Encoding transition T-poll__handleAI2_179 (158/1016).
Encoding transition T-poll__handleAI2_180 (159/1016).
Encoding transition T-poll__handleAI2_181 (160/1016).
Encoding transition T-poll__handleAI2_182 (161/1016).
Encoding transition T-poll__handleAI2_183 (162/1016).
Encoding transition T-poll__handleAI2_184 (163/1016).
Encoding transition T-poll__handleAI2_185 (164/1016).
Encoding transition T-poll__handleAI2_186 (165/1016).
Encoding transition T-poll__handleAI2_187 (166/1016).
Encoding transition T-poll__handleAI2_188 (167/1016).
Encoding transition T-poll__handleAI2_189 (168/1016).
Encoding transition T-poll__handleAI2_190 (169/1016).
Encoding transition T-poll__handleAI2_191 (170/1016).
Encoding transition T-poll__handleAI2_192 (171/1016).
Encoding transition T-poll__handleAI2_209 (172/1016).
Encoding transition T-poll__handleAI2_210 (173/1016).
Encoding transition T-poll__handleAI2_211 (174/1016).
Encoding transition T-poll__handleAI2_212 (175/1016).
Encoding transition T-poll__handleAI2_213 (176/1016).
Encoding transition T-poll__handleAI2_214 (177/1016).
Encoding transition T-poll__handleAI2_215 (178/1016).
Encoding transition T-poll__handleAI2_216 (179/1016).
Encoding transition T-poll__handleAI2_217 (180/1016).
Encoding transition T-poll__handleAI2_218 (181/1016).
Encoding transition T-poll__handleAI2_219 (182/1016).
Encoding transition T-poll__handleAI2_220 (183/1016).
Encoding transition T-poll__handleAI2_221 (184/1016).
Encoding transition T-poll__handleAI2_222 (185/1016).
Encoding transition T-poll__handleAI2_223 (186/1016).
Encoding transition T-poll__handleAI2_224 (187/1016).
Encoding transition T-poll__handleAI2_241 (188/1016).
Encoding transition T-poll__handleAI2_242 (189/1016).
Encoding transition T-poll__handleAI2_243 (190/1016).
Encoding transition T-poll__handleAI2_244 (191/1016).
Encoding transition T-poll__handleAI2_245 (192/1016).
Encoding transition T-poll__handleAI2_246 (193/1016).
Encoding transition T-poll__handleAI2_247 (194/1016).
Encoding transition T-poll__handleAI2_248 (195/1016).
Encoding transition T-poll__handleAI2_249 (196/1016).
Encoding transition T-poll__handleAI2_250 (197/1016).
Encoding transition T-poll__handleAI2_251 (198/1016).
Encoding transition T-poll__handleAI2_252 (199/1016).
Encoding transition T-poll__handleAI2_253 (200/1016).
Encoding transition T-poll__handleAI2_254 (201/1016).
Encoding transition T-poll__handleAI2_255 (202/1016).
Encoding transition T-poll__handleAI2_256 (203/1016).
Encoding transition T-poll__handleAI2_281 (204/1016).
Encoding transition T-poll__handleAI2_282 (205/1016).
Encoding transition T-poll__handleAI2_283 (206/1016).
Encoding transition T-poll__handleAI2_284 (207/1016).
Encoding transition T-poll__handleAI2_285 (208/1016).
Encoding transition T-poll__handleAI2_286 (209/1016).
Encoding transition T-poll__handleAI2_287 (210/1016).
Encoding transition T-poll__handleAI2_288 (211/1016).
Encoding transition T-poll__handleAI2_313 (212/1016).
Encoding transition T-poll__handleAI2_314 (213/1016).
Encoding transition T-poll__handleAI2_315 (214/1016).
Encoding transition T-poll__handleAI2_316 (215/1016).
Encoding transition T-poll__handleAI2_317 (216/1016).
Encoding transition T-poll__handleAI2_318 (217/1016).
Encoding transition T-poll__handleAI2_319 (218/1016).
Encoding transition T-poll__handleAI2_320 (219/1016).
Encoding transition T-poll__handleAI2_345 (220/1016).
Encoding transition T-poll__handleAI2_346 (221/1016).
Encoding transition T-poll__handleAI2_347 (222/1016).
Encoding transition T-poll__handleAI2_348 (223/1016).
Encoding transition T-poll__handleAI2_349 (224/1016).
Encoding transition T-poll__handleAI2_350 (225/1016).
Encoding transition T-poll__handleAI2_351 (226/1016).
Encoding transition T-poll__handleAI2_352 (227/1016).
Encoding transition T-poll__handleAI2_377 (228/1016).
Encoding transition T-poll__handleAI2_378 (229/1016).
Encoding transition T-poll__handleAI2_379 (230/1016).
Encoding transition T-poll__handleAI2_380 (231/1016).
Encoding transition T-poll__handleAI2_381 (232/1016).
Encoding transition T-poll__handleAI2_382 (233/1016).
Encoding transition T-poll__handleAI2_383 (234/1016).
Encoding transition T-poll__handleAI2_384 (235/1016).
Encoding transition T-poll__handleAnnP1_2 (236/1016).
Encoding transition T-poll__handleAnnP1_3 (237/1016).
Encoding transition T-poll__handleAnnP1_4 (238/1016).
Encoding transition T-poll__handleAnnP1_6 (239/1016).
Encoding transition T-poll__handleAnnP1_7 (240/1016).
Encoding transition T-poll__handleAnnP1_8 (241/1016).
Encoding transition T-poll__handleAnnP1_10 (242/1016).
Encoding transition T-poll__handleAnnP1_11 (243/1016).
Encoding transition T-poll__handleAnnP1_12 (244/1016).
Encoding transition T-poll__handleAnnP1_14 (245/1016).
Encoding transition T-poll__handleAnnP1_15 (246/1016).
Encoding transition T-poll__handleAnnP1_16 (247/1016).
Encoding transition T-poll__handleAnnP1_18 (248/1016).
Encoding transition T-poll__handleAnnP1_19 (249/1016).
Encoding transition T-poll__handleAnnP1_20 (250/1016).
Encoding transition T-poll__handleAnnP1_22 (251/1016).
Encoding transition T-poll__handleAnnP1_23 (252/1016).
Encoding transition T-poll__handleAnnP1_24 (253/1016).
Encoding transition T-poll__handleAnnP1_26 (254/1016).
Encoding transition T-poll__handleAnnP1_27 (255/1016).
Encoding transition T-poll__handleAnnP1_28 (256/1016).
Encoding transition T-poll__handleAnnP1_30 (257/1016).
Encoding transition T-poll__handleAnnP1_31 (258/1016).
Encoding transition T-poll__handleAnnP1_32 (259/1016).
Encoding transition T-poll__handleAnnP1_33 (260/1016).
Encoding transition T-poll__handleAnnP1_35 (261/1016).
Encoding transition T-poll__handleAnnP1_36 (262/1016).
Encoding transition T-poll__handleAnnP1_37 (263/1016).
Encoding transition T-poll__handleAnnP1_39 (264/1016).
Encoding transition T-poll__handleAnnP1_40 (265/1016).
Encoding transition T-poll__handleAnnP1_41 (266/1016).
Encoding transition T-poll__handleAnnP1_43 (267/1016).
Encoding transition T-poll__handleAnnP1_44 (268/1016).
Encoding transition T-poll__handleAnnP1_45 (269/1016).
Encoding transition T-poll__handleAnnP1_47 (270/1016).
Encoding transition T-poll__handleAnnP1_48 (271/1016).
Encoding transition T-poll__handleAnnP1_49 (272/1016).
Encoding transition T-poll__handleAnnP1_51 (273/1016).
Encoding transition T-poll__handleAnnP1_52 (274/1016).
Encoding transition T-poll__handleAnnP1_53 (275/1016).
Encoding transition T-poll__handleAnnP1_55 (276/1016).
Encoding transition T-poll__handleAnnP1_56 (277/1016).
Encoding transition T-poll__handleAnnP1_57 (278/1016).
Encoding transition T-poll__handleAnnP1_59 (279/1016).
Encoding transition T-poll__handleAnnP1_60 (280/1016).
Encoding transition T-poll__handleAnnP1_61 (281/1016).
Encoding transition T-poll__handleAnnP1_63 (282/1016).
Encoding transition T-poll__handleAnnP1_64 (283/1016).
Encoding transition T-poll__handleAnnP1_65 (284/1016).
Encoding transition T-poll__handleAnnP1_66 (285/1016).
Encoding transition T-poll__handleAnnP1_68 (286/1016).
Encoding transition T-poll__handleAnnP1_69 (287/1016).
Encoding transition T-poll__handleAnnP1_70 (288/1016).
Encoding transition T-poll__handleAnnP1_72 (289/1016).
Encoding transition T-poll__handleAnnP1_73 (290/1016).
Encoding transition T-poll__handleAnnP1_74 (291/1016).
Encoding transition T-poll__handleAnnP1_76 (292/1016).
Encoding transition T-poll__handleAnnP1_77 (293/1016).
Encoding transition T-poll__handleAnnP1_78 (294/1016).
Encoding transition T-poll__handleAnnP1_80 (295/1016).
Encoding transition T-poll__handleAnnP1_81 (296/1016).
Encoding transition T-poll__handleAnnP1_82 (297/1016).
Encoding transition T-poll__handleAnnP1_84 (298/1016).
Encoding transition T-poll__handleAnnP1_85 (299/1016).
Encoding transition T-poll__handleAnnP1_86 (300/1016).
Encoding transition T-poll__handleAnnP1_88 (301/1016).
Encoding transition T-poll__handleAnnP1_89 (302/1016).
Encoding transition T-poll__handleAnnP1_90 (303/1016).
Encoding transition T-poll__handleAnnP1_92 (304/1016).
Encoding transition T-poll__handleAnnP1_93 (305/1016).
Encoding transition T-poll__handleAnnP1_94 (306/1016).
Encoding transition T-poll__handleAnnP1_96 (307/1016).
Encoding transition T-poll__handleAnnP1_97 (308/1016).
Encoding transition T-poll__handleAnnP1_98 (309/1016).
Encoding transition T-poll__handleAnnP1_99 (310/1016).
Encoding transition T-poll__handleAnnP1_101 (311/1016).
Encoding transition T-poll__handleAnnP1_102 (312/1016).
Encoding transition T-poll__handleAnnP1_103 (313/1016).
Encoding transition T-poll__handleAnnP1_105 (314/1016).
Encoding transition T-poll__handleAnnP1_106 (315/1016).
Encoding transition T-poll__handleAnnP1_107 (316/1016).
Encoding transition T-poll__handleAnnP1_109 (317/1016).
Encoding transition T-poll__handleAnnP1_110 (318/1016).
Encoding transition T-poll__handleAnnP1_111 (319/1016).
Encoding transition T-poll__handleAnnP1_113 (320/1016).
Encoding transition T-poll__handleAnnP1_114 (321/1016).
Encoding transition T-poll__handleAnnP1_115 (322/1016).
Encoding transition T-poll__handleAnnP1_117 (323/1016).
Encoding transition T-poll__handleAnnP1_118 (324/1016).
Encoding transition T-poll__handleAnnP1_119 (325/1016).
Encoding transition T-poll__handleAnnP1_121 (326/1016).
Encoding transition T-poll__handleAnnP1_122 (327/1016).
Encoding transition T-poll__handleAnnP1_123 (328/1016).
Encoding transition T-poll__handleAnnP1_125 (329/1016).
Encoding transition T-poll__handleAnnP1_126 (330/1016).
Encoding transition T-poll__handleAnnP1_127 (331/1016).
Encoding transition T-poll__handleAnnP2_1 (332/1016).
Encoding transition T-poll__handleAnnP2_2 (333/1016).
Encoding transition T-poll__handleAnnP2_3 (334/1016).
Encoding transition T-poll__handleAnnP2_4 (335/1016).
Encoding transition T-poll__handleAnnP2_5 (336/1016).
Encoding transition T-poll__handleAnnP2_6 (337/1016).
Encoding transition T-poll__handleAnnP2_7 (338/1016).
Encoding transition T-poll__handleAnnP2_8 (339/1016).
Encoding transition T-poll__handleAnnP2_9 (340/1016).
Encoding transition T-poll__handleAnnP2_10 (341/1016).
Encoding transition T-poll__handleAnnP2_11 (342/1016).
Encoding transition T-poll__handleAnnP2_12 (343/1016).
Encoding transition T-poll__handleAnnP2_13 (344/1016).
Encoding transition T-poll__handleAnnP2_14 (345/1016).
Encoding transition T-poll__handleAnnP2_15 (346/1016).
Encoding transition T-poll__handleAnnP2_16 (347/1016).
Encoding transition T-poll__handleAnsP1_1 (348/1016).
Encoding transition T-poll__handleAnsP1_2 (349/1016).
Encoding transition T-poll__handleAnsP1_3 (350/1016).
Encoding transition T-poll__handleAnsP1_4 (351/1016).
Encoding transition T-poll__handleAnsP1_5 (352/1016).
Encoding transition T-poll__handleAnsP1_6 (353/1016).
Encoding transition T-poll__handleAnsP1_7 (354/1016).
Encoding transition T-poll__handleAnsP1_8 (355/1016).
Encoding transition T-poll__handleAnsP1_9 (356/1016).
Encoding transition T-poll__handleAnsP1_10 (357/1016).
Encoding transition T-poll__handleAnsP1_11 (358/1016).
Encoding transition T-poll__handleAnsP1_12 (359/1016).
Encoding transition T-poll__handleAnsP1_13 (360/1016).
Encoding transition T-poll__handleAnsP1_14 (361/1016).
Encoding transition T-poll__handleAnsP1_15 (362/1016).
Encoding transition T-poll__handleAnsP1_16 (363/1016).
Encoding transition T-poll__handleAnsP2_3 (364/1016).
Encoding transition T-poll__handleAnsP2_4 (365/1016).
Encoding transition T-poll__handleAnsP2_5 (366/1016).
Encoding transition T-poll__handleAnsP2_6 (367/1016).
Encoding transition T-poll__handleAnsP2_7 (368/1016).
Encoding transition T-poll__handleAnsP2_8 (369/1016).
Encoding transition T-poll__handleAnsP2_11 (370/1016).
Encoding transition T-poll__handleAnsP2_12 (371/1016).
Encoding transition T-poll__handleAnsP2_13 (372/1016).
Encoding transition T-poll__handleAnsP2_14 (373/1016).
Encoding transition T-poll__handleAnsP2_15 (374/1016).
Encoding transition T-poll__handleAnsP2_16 (375/1016).
Encoding transition T-poll__handleAnsP2_19 (376/1016).
Encoding transition T-poll__handleAnsP2_20 (377/1016).
Encoding transition T-poll__handleAnsP2_21 (378/1016).
Encoding transition T-poll__handleAnsP2_22 (379/1016).
Encoding transition T-poll__handleAnsP2_23 (380/1016).
Encoding transition T-poll__handleAnsP2_24 (381/1016).
Encoding transition T-poll__handleAnsP2_27 (382/1016).
Encoding transition T-poll__handleAnsP2_28 (383/1016).
Encoding transition T-poll__handleAnsP2_29 (384/1016).
Encoding transition T-poll__handleAnsP2_30 (385/1016).
Encoding transition T-poll__handleAnsP2_31 (386/1016).
Encoding transition T-poll__handleAnsP2_32 (387/1016).
Encoding transition T-poll__handleAnsP2_35 (388/1016).
Encoding transition T-poll__handleAnsP2_36 (389/1016).
Encoding transition T-poll__handleAnsP2_37 (390/1016).
Encoding transition T-poll__handleAnsP2_38 (391/1016).
Encoding transition T-poll__handleAnsP2_39 (392/1016).
Encoding transition T-poll__handleAnsP2_40 (393/1016).
Encoding transition T-poll__handleAnsP2_43 (394/1016).
Encoding transition T-poll__handleAnsP2_44 (395/1016).
Encoding transition T-poll__handleAnsP2_45 (396/1016).
Encoding transition T-poll__handleAnsP2_46 (397/1016).
Encoding transition T-poll__handleAnsP2_47 (398/1016).
Encoding transition T-poll__handleAnsP2_48 (399/1016).
Encoding transition T-poll__handleAnsP2_51 (400/1016).
Encoding transition T-poll__handleAnsP2_52 (401/1016).
Encoding transition T-poll__handleAnsP2_53 (402/1016).
Encoding transition T-poll__handleAnsP2_54 (403/1016).
Encoding transition T-poll__handleAnsP2_55 (404/1016).
Encoding transition T-poll__handleAnsP2_56 (405/1016).
Encoding transition T-poll__handleAnsP2_59 (406/1016).
Encoding transition T-poll__handleAnsP2_60 (407/1016).
Encoding transition T-poll__handleAnsP2_61 (408/1016).
Encoding transition T-poll__handleAnsP2_62 (409/1016).
Encoding transition T-poll__handleAnsP2_63 (410/1016).
Encoding transition T-poll__handleAnsP2_64 (411/1016).
Encoding transition T-poll__handleAnsP2_67 (412/1016).
Encoding transition T-poll__handleAnsP2_68 (413/1016).
Encoding transition T-poll__handleAnsP2_69 (414/1016).
Encoding transition T-poll__handleAnsP2_70 (415/1016).
Encoding transition T-poll__handleAnsP2_71 (416/1016).
Encoding transition T-poll__handleAnsP2_72 (417/1016).
Encoding transition T-poll__handleAnsP2_75 (418/1016).
Encoding transition T-poll__handleAnsP2_76 (419/1016).
Encoding transition T-poll__handleAnsP2_77 (420/1016).
Encoding transition T-poll__handleAnsP2_78 (421/1016).
Encoding transition T-poll__handleAnsP2_79 (422/1016).
Encoding transition T-poll__handleAnsP2_80 (423/1016).
Encoding transition T-poll__handleAnsP2_83 (424/1016).
Encoding transition T-poll__handleAnsP2_84 (425/1016).
Encoding transition T-poll__handleAnsP2_85 (426/1016).
Encoding transition T-poll__handleAnsP2_86 (427/1016).
Encoding transition T-poll__handleAnsP2_87 (428/1016).
Encoding transition T-poll__handleAnsP2_88 (429/1016).
Encoding transition T-poll__handleAnsP2_91 (430/1016).
Encoding transition T-poll__handleAnsP2_92 (431/1016).
Encoding transition T-poll__handleAnsP2_93 (432/1016).
Encoding transition T-poll__handleAnsP2_94 (433/1016).
Encoding transition T-poll__handleAnsP2_95 (434/1016).
Encoding transition T-poll__handleAnsP2_96 (435/1016).
Encoding transition T-poll__handleAnsP2_99 (436/1016).
Encoding transition T-poll__handleAnsP2_100 (437/1016).
Encoding transition T-poll__handleAnsP2_101 (438/1016).
Encoding transition T-poll__handleAnsP2_102 (439/1016).
Encoding transition T-poll__handleAnsP2_103 (440/1016).
Encoding transition T-poll__handleAnsP2_104 (441/1016).
Encoding transition T-poll__handleAnsP2_107 (442/1016).
Encoding transition T-poll__handleAnsP2_108 (443/1016).
Encoding transition T-poll__handleAnsP2_109 (444/1016).
Encoding transition T-poll__handleAnsP2_110 (445/1016).
Encoding transition T-poll__handleAnsP2_111 (446/1016).
Encoding transition T-poll__handleAnsP2_112 (447/1016).
Encoding transition T-poll__handleAnsP2_115 (448/1016).
Encoding transition T-poll__handleAnsP2_116 (449/1016).
Encoding transition T-poll__handleAnsP2_117 (450/1016).
Encoding transition T-poll__handleAnsP2_118 (451/1016).
Encoding transition T-poll__handleAnsP2_119 (452/1016).
Encoding transition T-poll__handleAnsP2_120 (453/1016).
Encoding transition T-poll__handleAnsP2_123 (454/1016).
Encoding transition T-poll__handleAnsP2_124 (455/1016).
Encoding transition T-poll__handleAnsP2_125 (456/1016).
Encoding transition T-poll__handleAnsP2_126 (457/1016).
Encoding transition T-poll__handleAnsP2_127 (458/1016).
Encoding transition T-poll__handleAnsP2_128 (459/1016).
Encoding transition T-poll__handleAnsP3_11 (460/1016).
Encoding transition T-poll__handleAnsP3_12 (461/1016).
Encoding transition T-poll__handleAnsP3_15 (462/1016).
Encoding transition T-poll__handleAnsP3_16 (463/1016).
Encoding transition T-poll__handleAnsP3_18 (464/1016).
Encoding transition T-poll__handleAnsP3_20 (465/1016).
Encoding transition T-poll__handleAnsP3_22 (466/1016).
Encoding transition T-poll__handleAnsP3_24 (467/1016).
Encoding transition T-poll__handleAnsP3_26 (468/1016).
Encoding transition T-poll__handleAnsP3_27 (469/1016).
Encoding transition T-poll__handleAnsP3_30 (470/1016).
Encoding transition T-poll__handleAnsP3_31 (471/1016).
Encoding transition T-poll__handleAnsP3_43 (472/1016).
Encoding transition T-poll__handleAnsP3_44 (473/1016).
Encoding transition T-poll__handleAnsP3_47 (474/1016).
Encoding transition T-poll__handleAnsP3_48 (475/1016).
Encoding transition T-poll__handleAnsP3_50 (476/1016).
Encoding transition T-poll__handleAnsP3_52 (477/1016).
Encoding transition T-poll__handleAnsP3_54 (478/1016).
Encoding transition T-poll__handleAnsP3_56 (479/1016).
Encoding transition T-poll__handleAnsP3_58 (480/1016).
Encoding transition T-poll__handleAnsP3_59 (481/1016).
Encoding transition T-poll__handleAnsP3_62 (482/1016).
Encoding transition T-poll__handleAnsP3_63 (483/1016).
Encoding transition T-poll__handleAnsP3_75 (484/1016).
Encoding transition T-poll__handleAnsP3_76 (485/1016).
Encoding transition T-poll__handleAnsP3_79 (486/1016).
Encoding transition T-poll__handleAnsP3_80 (487/1016).
Encoding transition T-poll__handleAnsP3_82 (488/1016).
Encoding transition T-poll__handleAnsP3_84 (489/1016).
Encoding transition T-poll__handleAnsP3_86 (490/1016).
Encoding transition T-poll__handleAnsP3_88 (491/1016).
Encoding transition T-poll__handleAnsP3_90 (492/1016).
Encoding transition T-poll__handleAnsP3_91 (493/1016).
Encoding transition T-poll__handleAnsP3_94 (494/1016).
Encoding transition T-poll__handleAnsP3_95 (495/1016).
Encoding transition T-poll__handleAnsP3_107 (496/1016).
Encoding transition T-poll__handleAnsP3_108 (497/1016).
Encoding transition T-poll__handleAnsP3_111 (498/1016).
Encoding transition T-poll__handleAnsP3_112 (499/1016).
Encoding transition T-poll__handleAnsP3_114 (500/1016).
Encoding transition T-poll__handleAnsP3_116 (501/1016).
Encoding transition T-poll__handleAnsP3_118 (502/1016).
Encoding transition T-poll__handleAnsP3_120 (503/1016).
Encoding transition T-poll__handleAnsP3_122 (504/1016).
Encoding transition T-poll__handleAnsP3_123 (505/1016).
Encoding transition T-poll__handleAnsP3_126 (506/1016).
Encoding transition T-poll__handleAnsP3_127 (507/1016).
Encoding transition T-poll__handleAnsP3_139 (508/1016).
Encoding transition T-poll__handleAnsP3_140 (509/1016).
Encoding transition T-poll__handleAnsP3_143 (510/1016).
Encoding transition T-poll__handleAnsP3_144 (511/1016).
Encoding transition T-poll__handleAnsP3_146 (512/1016).
Encoding transition T-poll__handleAnsP3_148 (513/1016).
Encoding transition T-poll__handleAnsP3_150 (514/1016).
Encoding transition T-poll__handleAnsP3_152 (515/1016).
Encoding transition T-poll__handleAnsP3_154 (516/1016).
Encoding transition T-poll__handleAnsP3_155 (517/1016).
Encoding transition T-poll__handleAnsP3_158 (518/1016).
Encoding transition T-poll__handleAnsP3_159 (519/1016).
Encoding transition T-poll__handleAnsP3_171 (520/1016).
Encoding transition T-poll__handleAnsP3_172 (521/1016).
Encoding transition T-poll__handleAnsP3_175 (522/1016).
Encoding transition T-poll__handleAnsP3_176 (523/1016).
Encoding transition T-poll__handleAnsP3_178 (524/1016).
Encoding transition T-poll__handleAnsP3_180 (525/1016).
Encoding transition T-poll__handleAnsP3_182 (526/1016).
Encoding transition T-poll__handleAnsP3_184 (527/1016).
Encoding transition T-poll__handleAnsP3_186 (528/1016).
Encoding transition T-poll__handleAnsP3_187 (529/1016).
Encoding transition T-poll__handleAnsP3_190 (530/1016).
Encoding transition T-poll__handleAnsP3_191 (531/1016).
Encoding transition T-poll__handleAnsP3_203 (532/1016).
Encoding transition T-poll__handleAnsP3_204 (533/1016).
Encoding transition T-poll__handleAnsP3_207 (534/1016).
Encoding transition T-poll__handleAnsP3_208 (535/1016).
Encoding transition T-poll__handleAnsP3_210 (536/1016).
Encoding transition T-poll__handleAnsP3_212 (537/1016).
Encoding transition T-poll__handleAnsP3_214 (538/1016).
Encoding transition T-poll__handleAnsP3_216 (539/1016).
Encoding transition T-poll__handleAnsP3_218 (540/1016).
Encoding transition T-poll__handleAnsP3_219 (541/1016).
Encoding transition T-poll__handleAnsP3_222 (542/1016).
Encoding transition T-poll__handleAnsP3_223 (543/1016).
Encoding transition T-poll__handleAnsP3_235 (544/1016).
Encoding transition T-poll__handleAnsP3_236 (545/1016).
Encoding transition T-poll__handleAnsP3_239 (546/1016).
Encoding transition T-poll__handleAnsP3_240 (547/1016).
Encoding transition T-poll__handleAnsP3_242 (548/1016).
Encoding transition T-poll__handleAnsP3_244 (549/1016).
Encoding transition T-poll__handleAnsP3_246 (550/1016).
Encoding transition T-poll__handleAnsP3_248 (551/1016).
Encoding transition T-poll__handleAnsP3_250 (552/1016).
Encoding transition T-poll__handleAnsP3_251 (553/1016).
Encoding transition T-poll__handleAnsP3_254 (554/1016).
Encoding transition T-poll__handleAnsP3_255 (555/1016).
Encoding transition T-poll__handleAnsP3_267 (556/1016).
Encoding transition T-poll__handleAnsP3_268 (557/1016).
Encoding transition T-poll__handleAnsP3_271 (558/1016).
Encoding transition T-poll__handleAnsP3_272 (559/1016).
Encoding transition T-poll__handleAnsP3_274 (560/1016).
Encoding transition T-poll__handleAnsP3_276 (561/1016).
Encoding transition T-poll__handleAnsP3_278 (562/1016).
Encoding transition T-poll__handleAnsP3_280 (563/1016).
Encoding transition T-poll__handleAnsP3_282 (564/1016).
Encoding transition T-poll__handleAnsP3_283 (565/1016).
Encoding transition T-poll__handleAnsP3_286 (566/1016).
Encoding transition T-poll__handleAnsP3_287 (567/1016).
Encoding transition T-poll__handleAnsP3_299 (568/1016).
Encoding transition T-poll__handleAnsP3_300 (569/1016).
Encoding transition T-poll__handleAnsP3_303 (570/1016).
Encoding transition T-poll__handleAnsP3_304 (571/1016).
Encoding transition T-poll__handleAnsP3_306 (572/1016).
Encoding transition T-poll__handleAnsP3_308 (573/1016).
Encoding transition T-poll__handleAnsP3_310 (574/1016).
Encoding transition T-poll__handleAnsP3_312 (575/1016).
Encoding transition T-poll__handleAnsP3_314 (576/1016).
Encoding transition T-poll__handleAnsP3_315 (577/1016).
Encoding transition T-poll__handleAnsP3_318 (578/1016).
Encoding transition T-poll__handleAnsP3_319 (579/1016).
Encoding transition T-poll__handleAnsP3_331 (580/1016).
Encoding transition T-poll__handleAnsP3_332 (581/1016).
Encoding transition T-poll__handleAnsP3_335 (582/1016).
Encoding transition T-poll__handleAnsP3_336 (583/1016).
Encoding transition T-poll__handleAnsP3_338 (584/1016).
Encoding transition T-poll__handleAnsP3_340 (585/1016).
Encoding transition T-poll__handleAnsP3_342 (586/1016).
Encoding transition T-poll__handleAnsP3_344 (587/1016).
Encoding transition T-poll__handleAnsP3_346 (588/1016).
Encoding transition T-poll__handleAnsP3_347 (589/1016).
Encoding transition T-poll__handleAnsP3_350 (590/1016).
Encoding transition T-poll__handleAnsP3_351 (591/1016).
Encoding transition T-poll__handleAnsP3_363 (592/1016).
Encoding transition T-poll__handleAnsP3_364 (593/1016).
Encoding transition T-poll__handleAnsP3_367 (594/1016).
Encoding transition T-poll__handleAnsP3_368 (595/1016).
Encoding transition T-poll__handleAnsP3_370 (596/1016).
Encoding transition T-poll__handleAnsP3_372 (597/1016).
Encoding transition T-poll__handleAnsP3_374 (598/1016).
Encoding transition T-poll__handleAnsP3_376 (599/1016).
Encoding transition T-poll__handleAnsP3_378 (600/1016).
Encoding transition T-poll__handleAnsP3_379 (601/1016).
Encoding transition T-poll__handleAnsP3_382 (602/1016).
Encoding transition T-poll__handleAnsP3_383 (603/1016).
Encoding transition T-poll__handleAnsP3_395 (604/1016).
Encoding transition T-poll__handleAnsP3_396 (605/1016).
Encoding transition T-poll__handleAnsP3_399 (606/1016).
Encoding transition T-poll__handleAnsP3_400 (607/1016).
Encoding transition T-poll__handleAnsP3_402 (608/1016).
Encoding transition T-poll__handleAnsP3_404 (609/1016).
Encoding transition T-poll__handleAnsP3_406 (610/1016).
Encoding transition T-poll__handleAnsP3_408 (611/1016).
Encoding transition T-poll__handleAnsP3_410 (612/1016).
Encoding transition T-poll__handleAnsP3_411 (613/1016).
Encoding transition T-poll__handleAnsP3_414 (614/1016).
Encoding transition T-poll__handleAnsP3_415 (615/1016).
Encoding transition T-poll__handleAnsP3_427 (616/1016).
Encoding transition T-poll__handleAnsP3_428 (617/1016).
Encoding transition T-poll__handleAnsP3_431 (618/1016).
Encoding transition T-poll__handleAnsP3_432 (619/1016).
Encoding transition T-poll__handleAnsP3_434 (620/1016).
Encoding transition T-poll__handleAnsP3_436 (621/1016).
Encoding transition T-poll__handleAnsP3_438 (622/1016).
Encoding transition T-poll__handleAnsP3_440 (623/1016).
Encoding transition T-poll__handleAnsP3_442 (624/1016).
Encoding transition T-poll__handleAnsP3_443 (625/1016).
Encoding transition T-poll__handleAnsP3_446 (626/1016).
Encoding transition T-poll__handleAnsP3_447 (627/1016).
Encoding transition T-poll__handleAnsP3_459 (628/1016).
Encoding transition T-poll__handleAnsP3_460 (629/1016).
Encoding transition T-poll__handleAnsP3_463 (630/1016).
Encoding transition T-poll__handleAnsP3_464 (631/1016).
Encoding transition T-poll__handleAnsP3_466 (632/1016).
Encoding transition T-poll__handleAnsP3_468 (633/1016).
Encoding transition T-poll__handleAnsP3_470 (634/1016).
Encoding transition T-poll__handleAnsP3_472 (635/1016).
Encoding transition T-poll__handleAnsP3_474 (636/1016).
Encoding transition T-poll__handleAnsP3_475 (637/1016).
Encoding transition T-poll__handleAnsP3_478 (638/1016).
Encoding transition T-poll__handleAnsP3_479 (639/1016).
Encoding transition T-poll__handleAnsP3_491 (640/1016).
Encoding transition T-poll__handleAnsP3_492 (641/1016).
Encoding transition T-poll__handleAnsP3_495 (642/1016).
Encoding transition T-poll__handleAnsP3_496 (643/1016).
Encoding transition T-poll__handleAnsP3_498 (644/1016).
Encoding transition T-poll__handleAnsP3_500 (645/1016).
Encoding transition T-poll__handleAnsP3_502 (646/1016).
Encoding transition T-poll__handleAnsP3_504 (647/1016).
Encoding transition T-poll__handleAnsP3_506 (648/1016).
Encoding transition T-poll__handleAnsP3_507 (649/1016).
Encoding transition T-poll__handleAnsP3_510 (650/1016).
Encoding transition T-poll__handleAnsP3_511 (651/1016).
Encoding transition T-poll__handleAnsP4_3 (652/1016).
Encoding transition T-poll__handleAnsP4_4 (653/1016).
Encoding transition T-poll__handleAnsP4_5 (654/1016).
Encoding transition T-poll__handleAnsP4_6 (655/1016).
Encoding transition T-poll__handleAnsP4_7 (656/1016).
Encoding transition T-poll__handleAnsP4_8 (657/1016).
Encoding transition T-poll__handleAnsP4_11 (658/1016).
Encoding transition T-poll__handleAnsP4_12 (659/1016).
Encoding transition T-poll__handleAnsP4_13 (660/1016).
Encoding transition T-poll__handleAnsP4_14 (661/1016).
Encoding transition T-poll__handleAnsP4_15 (662/1016).
Encoding transition T-poll__handleAnsP4_16 (663/1016).
Encoding transition T-poll__handleAnsP4_19 (664/1016).
Encoding transition T-poll__handleAnsP4_20 (665/1016).
Encoding transition T-poll__handleAnsP4_21 (666/1016).
Encoding transition T-poll__handleAnsP4_22 (667/1016).
Encoding transition T-poll__handleAnsP4_23 (668/1016).
Encoding transition T-poll__handleAnsP4_24 (669/1016).
Encoding transition T-poll__handleAnsP4_27 (670/1016).
Encoding transition T-poll__handleAnsP4_28 (671/1016).
Encoding transition T-poll__handleAnsP4_29 (672/1016).
Encoding transition T-poll__handleAnsP4_30 (673/1016).
Encoding transition T-poll__handleAnsP4_31 (674/1016).
Encoding transition T-poll__handleAnsP4_32 (675/1016).
Encoding transition T-poll__handleAnsP4_35 (676/1016).
Encoding transition T-poll__handleAnsP4_36 (677/1016).
Encoding transition T-poll__handleAnsP4_37 (678/1016).
Encoding transition T-poll__handleAnsP4_38 (679/1016).
Encoding transition T-poll__handleAnsP4_39 (680/1016).
Encoding transition T-poll__handleAnsP4_40 (681/1016).
Encoding transition T-poll__handleAnsP4_43 (682/1016).
Encoding transition T-poll__handleAnsP4_44 (683/1016).
Encoding transition T-poll__handleAnsP4_45 (684/1016).
Encoding transition T-poll__handleAnsP4_46 (685/1016).
Encoding transition T-poll__handleAnsP4_47 (686/1016).
Encoding transition T-poll__handleAnsP4_48 (687/1016).
Encoding transition T-poll__handleAnsP4_51 (688/1016).
Encoding transition T-poll__handleAnsP4_52 (689/1016).
Encoding transition T-poll__handleAnsP4_53 (690/1016).
Encoding transition T-poll__handleAnsP4_54 (691/1016).
Encoding transition T-poll__handleAnsP4_55 (692/1016).
Encoding transition T-poll__handleAnsP4_56 (693/1016).
Encoding transition T-poll__handleAnsP4_59 (694/1016).
Encoding transition T-poll__handleAnsP4_60 (695/1016).
Encoding transition T-poll__handleAnsP4_61 (696/1016).
Encoding transition T-poll__handleAnsP4_62 (697/1016).
Encoding transition T-poll__handleAnsP4_63 (698/1016).
Encoding transition T-poll__handleAnsP4_64 (699/1016).
Encoding transition T-poll__handleAnsP4_67 (700/1016).
Encoding transition T-poll__handleAnsP4_68 (701/1016).
Encoding transition T-poll__handleAnsP4_69 (702/1016).
Encoding transition T-poll__handleAnsP4_70 (703/1016).
Encoding transition T-poll__handleAnsP4_71 (704/1016).
Encoding transition T-poll__handleAnsP4_72 (705/1016).
Encoding transition T-poll__handleAnsP4_75 (706/1016).
Encoding transition T-poll__handleAnsP4_76 (707/1016).
Encoding transition T-poll__handleAnsP4_77 (708/1016).
Encoding transition T-poll__handleAnsP4_78 (709/1016).
Encoding transition T-poll__handleAnsP4_79 (710/1016).
Encoding transition T-poll__handleAnsP4_80 (711/1016).
Encoding transition T-poll__handleAnsP4_83 (712/1016).
Encoding transition T-poll__handleAnsP4_84 (713/1016).
Encoding transition T-poll__handleAnsP4_85 (714/1016).
Encoding transition T-poll__handleAnsP4_86 (715/1016).
Encoding transition T-poll__handleAnsP4_87 (716/1016).
Encoding transition T-poll__handleAnsP4_88 (717/1016).
Encoding transition T-poll__handleAnsP4_91 (718/1016).
Encoding transition T-poll__handleAnsP4_92 (719/1016).
Encoding transition T-poll__handleAnsP4_93 (720/1016).
Encoding transition T-poll__handleAnsP4_94 (721/1016).
Encoding transition T-poll__handleAnsP4_95 (722/1016).
Encoding transition T-poll__handleAnsP4_96 (723/1016).
Encoding transition T-poll__handleAnsP4_99 (724/1016).
Encoding transition T-poll__handleAnsP4_100 (725/1016).
Encoding transition T-poll__handleAnsP4_101 (726/1016).
Encoding transition T-poll__handleAnsP4_102 (727/1016).
Encoding transition T-poll__handleAnsP4_103 (728/1016).
Encoding transition T-poll__handleAnsP4_104 (729/1016).
Encoding transition T-poll__handleAnsP4_107 (730/1016).
Encoding transition T-poll__handleAnsP4_108 (731/1016).
Encoding transition T-poll__handleAnsP4_109 (732/1016).
Encoding transition T-poll__handleAnsP4_110 (733/1016).
Encoding transition T-poll__handleAnsP4_111 (734/1016).
Encoding transition T-poll__handleAnsP4_112 (735/1016).
Encoding transition T-poll__handleAnsP4_115 (736/1016).
Encoding transition T-poll__handleAnsP4_116 (737/1016).
Encoding transition T-poll__handleAnsP4_117 (738/1016).
Encoding transition T-poll__handleAnsP4_118 (739/1016).
Encoding transition T-poll__handleAnsP4_119 (740/1016).
Encoding transition T-poll__handleAnsP4_120 (741/1016).
Encoding transition T-poll__handleAnsP4_123 (742/1016).
Encoding transition T-poll__handleAnsP4_124 (743/1016).
Encoding transition T-poll__handleAnsP4_125 (744/1016).
Encoding transition T-poll__handleAnsP4_126 (745/1016).
Encoding transition T-poll__handleAnsP4_127 (746/1016).
Encoding transition T-poll__handleAnsP4_128 (747/1016).
Encoding transition T-poll__handleAskP_1 (748/1016).
Encoding transition T-poll__handleAskP_2 (749/1016).
Encoding transition T-poll__handleAskP_3 (750/1016).
Encoding transition T-poll__handleAskP_4 (751/1016).
Encoding transition T-poll__handleAskP_5 (752/1016).
Encoding transition T-poll__handleAskP_6 (753/1016).
Encoding transition T-poll__handleAskP_7 (754/1016).
Encoding transition T-poll__handleAskP_8 (755/1016).
Encoding transition T-poll__handleAskP_9 (756/1016).
Encoding transition T-poll__handleAskP_10 (757/1016).
Encoding transition T-poll__handleAskP_11 (758/1016).
Encoding transition T-poll__handleAskP_12 (759/1016).
Encoding transition T-poll__handleAskP_13 (760/1016).
Encoding transition T-poll__handleAskP_14 (761/1016).
Encoding transition T-poll__handleAskP_15 (762/1016).
Encoding transition T-poll__handleAskP_16 (763/1016).
Encoding transition T-poll__handleAskP_17 (764/1016).
Encoding transition T-poll__handleAskP_18 (765/1016).
Encoding transition T-poll__handleAskP_19 (766/1016).
Encoding transition T-poll__handleAskP_20 (767/1016).
Encoding transition T-poll__handleAskP_21 (768/1016).
Encoding transition T-poll__handleAskP_22 (769/1016).
Encoding transition T-poll__handleAskP_23 (770/1016).
Encoding transition T-poll__handleAskP_24 (771/1016).
Encoding transition T-poll__handleAskP_25 (772/1016).
Encoding transition T-poll__handleAskP_26 (773/1016).
Encoding transition T-poll__handleAskP_27 (774/1016).
Encoding transition T-poll__handleAskP_28 (775/1016).
Encoding transition T-poll__handleAskP_29 (776/1016).
Encoding transition T-poll__handleAskP_30 (777/1016).
Encoding transition T-poll__handleAskP_31 (778/1016).
Encoding transition T-poll__handleAskP_32 (779/1016).
Encoding transition T-poll__handleAskP_33 (780/1016).
Encoding transition T-poll__handleAskP_34 (781/1016).
Encoding transition T-poll__handleAskP_35 (782/1016).
Encoding transition T-poll__handleAskP_36 (783/1016).
Encoding transition T-poll__handleAskP_37 (784/1016).
Encoding transition T-poll__handleAskP_38 (785/1016).
Encoding transition T-poll__handleAskP_39 (786/1016).
Encoding transition T-poll__handleAskP_40 (787/1016).
Encoding transition T-poll__handleAskP_41 (788/1016).
Encoding transition T-poll__handleAskP_42 (789/1016).
Encoding transition T-poll__handleAskP_43 (790/1016).
Encoding transition T-poll__handleAskP_44 (791/1016).
Encoding transition T-poll__handleAskP_45 (792/1016).
Encoding transition T-poll__handleAskP_46 (793/1016).
Encoding transition T-poll__handleAskP_47 (794/1016).
Encoding transition T-poll__handleAskP_48 (795/1016).
Encoding transition T-poll__handleAskP_49 (796/1016).
Encoding transition T-poll__handleAskP_50 (797/1016).
Encoding transition T-poll__handleAskP_51 (798/1016).
Encoding transition T-poll__handleAskP_52 (799/1016).
Encoding transition T-poll__handleAskP_53 (800/1016).
Encoding transition T-poll__handleAskP_54 (801/1016).
Encoding transition T-poll__handleAskP_55 (802/1016).
Encoding transition T-poll__handleAskP_56 (803/1016).
Encoding transition T-poll__handleAskP_57 (804/1016).
Encoding transition T-poll__handleAskP_58 (805/1016).
Encoding transition T-poll__handleAskP_59 (806/1016).
Encoding transition T-poll__handleAskP_60 (807/1016).
Encoding transition T-poll__handleAskP_61 (808/1016).
Encoding transition T-poll__handleAskP_62 (809/1016).
Encoding transition T-poll__handleAskP_63 (810/1016).
Encoding transition T-poll__handleAskP_64 (811/1016).
Encoding transition T-poll__handleAskP_65 (812/1016).
Encoding transition T-poll__handleAskP_66 (813/1016).
Encoding transition T-poll__handleAskP_67 (814/1016).
Encoding transition T-poll__handleAskP_68 (815/1016).
Encoding transition T-poll__handleAskP_69 (816/1016).
Encoding transition T-poll__handleAskP_70 (817/1016).
Encoding transition T-poll__handleAskP_71 (818/1016).
Encoding transition T-poll__handleAskP_72 (819/1016).
Encoding transition T-poll__handleAskP_73 (820/1016).
Encoding transition T-poll__handleAskP_74 (821/1016).
Encoding transition T-poll__handleAskP_75 (822/1016).
Encoding transition T-poll__handleAskP_76 (823/1016).
Encoding transition T-poll__handleAskP_77 (824/1016).
Encoding transition T-poll__handleAskP_78 (825/1016).
Encoding transition T-poll__handleAskP_79 (826/1016).
Encoding transition T-poll__handleAskP_80 (827/1016).
Encoding transition T-poll__handleAskP_81 (828/1016).
Encoding transition T-poll__handleAskP_82 (829/1016).
Encoding transition T-poll__handleAskP_83 (830/1016).
Encoding transition T-poll__handleAskP_84 (831/1016).
Encoding transition T-poll__handleAskP_85 (832/1016).
Encoding transition T-poll__handleAskP_86 (833/1016).
Encoding transition T-poll__handleAskP_87 (834/1016).
Encoding transition T-poll__handleAskP_88 (835/1016).
Encoding transition T-poll__handleAskP_89 (836/1016).
Encoding transition T-poll__handleAskP_90 (837/1016).
Encoding transition T-poll__handleAskP_91 (838/1016).
Encoding transition T-poll__handleAskP_92 (839/1016).
Encoding transition T-poll__handleAskP_93 (840/1016).
Encoding transition T-poll__handleAskP_94 (841/1016).
Encoding transition T-poll__handleAskP_95 (842/1016).
Encoding transition T-poll__handleAskP_96 (843/1016).
Encoding transition T-poll__handleAskP_97 (844/1016).
Encoding transition T-poll__handleAskP_98 (845/1016).
Encoding transition T-poll__handleAskP_99 (846/1016).
Encoding transition T-poll__handleAskP_100 (847/1016).
Encoding transition T-poll__handleAskP_101 (848/1016).
Encoding transition T-poll__handleAskP_102 (849/1016).
Encoding transition T-poll__handleAskP_103 (850/1016).
Encoding transition T-poll__handleAskP_104 (851/1016).
Encoding transition T-poll__handleAskP_105 (852/1016).
Encoding transition T-poll__handleAskP_106 (853/1016).
Encoding transition T-poll__handleAskP_107 (854/1016).
Encoding transition T-poll__handleAskP_108 (855/1016).
Encoding transition T-poll__handleAskP_109 (856/1016).
Encoding transition T-poll__handleAskP_110 (857/1016).
Encoding transition T-poll__handleAskP_111 (858/1016).
Encoding transition T-poll__handleAskP_112 (859/1016).
Encoding transition T-poll__handleAskP_113 (860/1016).
Encoding transition T-poll__handleAskP_114 (861/1016).
Encoding transition T-poll__handleAskP_115 (862/1016).
Encoding transition T-poll__handleAskP_116 (863/1016).
Encoding transition T-poll__handleAskP_117 (864/1016).
Encoding transition T-poll__handleAskP_118 (865/1016).
Encoding transition T-poll__handleAskP_119 (866/1016).
Encoding transition T-poll__handleAskP_120 (867/1016).
Encoding transition T-poll__handleAskP_121 (868/1016).
Encoding transition T-poll__handleAskP_122 (869/1016).
Encoding transition T-poll__handleAskP_123 (870/1016).
Encoding transition T-poll__handleAskP_124 (871/1016).
Encoding transition T-poll__handleAskP_125 (872/1016).
Encoding transition T-poll__handleAskP_126 (873/1016).
Encoding transition T-poll__handleAskP_127 (874/1016).
Encoding transition T-poll__handleAskP_128 (875/1016).
Encoding transition T-poll__handleRI_1 (876/1016).
Encoding transition T-poll__handleRI_2 (877/1016).
Encoding transition T-poll__handleRI_3 (878/1016).
Encoding transition T-poll__handleRI_4 (879/1016).
Encoding transition T-poll__handleRI_5 (880/1016).
Encoding transition T-poll__handleRI_6 (881/1016).
Encoding transition T-poll__handleRI_7 (882/1016).
Encoding transition T-poll__handleRI_8 (883/1016).
Encoding transition T-poll__handleRI_9 (884/1016).
Encoding transition T-poll__handleRI_10 (885/1016).
Encoding transition T-poll__handleRI_11 (886/1016).
Encoding transition T-poll__handleRI_12 (887/1016).
Encoding transition T-poll__handleRI_13 (888/1016).
Encoding transition T-poll__handleRI_14 (889/1016).
Encoding transition T-poll__handleRI_15 (890/1016).
Encoding transition T-poll__handleRI_16 (891/1016).
Encoding transition T-poll__handleRP_1 (892/1016).
Encoding transition T-poll__handleRP_2 (893/1016).
Encoding transition T-poll__handleRP_3 (894/1016).
Encoding transition T-poll__handleRP_4 (895/1016).
Encoding transition T-poll__handleRP_5 (896/1016).
Encoding transition T-poll__handleRP_6 (897/1016).
Encoding transition T-poll__handleRP_7 (898/1016).
Encoding transition T-poll__handleRP_8 (899/1016).
Encoding transition T-poll__handleRP_9 (900/1016).
Encoding transition T-poll__handleRP_10 (901/1016).
Encoding transition T-poll__handleRP_11 (902/1016).
Encoding transition T-poll__handleRP_12 (903/1016).
Encoding transition T-poll__handleRP_13 (904/1016).
Encoding transition T-poll__handleRP_14 (905/1016).
Encoding transition T-poll__handleRP_15 (906/1016).
Encoding transition T-poll__handleRP_16 (907/1016).
Encoding transition T-poll__iAmPrimary_1 (908/1016).
Encoding transition T-poll__iAmPrimary_2 (909/1016).
Encoding transition T-poll__iAmPrimary_3 (910/1016).
Encoding transition T-poll__iAmPrimary_4 (911/1016).
Encoding transition T-poll__iAmSecondary_1 (912/1016).
Encoding transition T-poll__iAmSecondary_2 (913/1016).
Encoding transition T-poll__iAmSecondary_3 (914/1016).
Encoding transition T-poll__iAmSecondary_4 (915/1016).
Encoding transition T-poll__iAmSecondary_5 (916/1016).
Encoding transition T-poll__iAmSecondary_6 (917/1016).
Encoding transition T-poll__iAmSecondary_7 (918/1016).
Encoding transition T-poll__iAmSecondary_8 (919/1016).
Encoding transition T-poll__iAmSecondary_9 (920/1016).
Encoding transition T-poll__iAmSecondary_10 (921/1016).
Encoding transition T-poll__iAmSecondary_11 (922/1016).
Encoding transition T-poll__iAmSecondary_12 (923/1016).
Encoding transition T-poll__iAmSecondary_13 (924/1016).
Encoding transition T-poll__iAmSecondary_14 (925/1016).
Encoding transition T-poll__iAmSecondary_15 (926/1016).
Encoding transition T-poll__iAmSecondary_16 (927/1016).
Encoding transition T-poll__start_1 (928/1016).
Encoding transition T-poll__start_2 (929/1016).
Encoding transition T-poll__start_3 (930/1016).
Encoding transition T-poll__start_4 (931/1016).
Encoding transition T-sendAnnPs__end_1 (932/1016).
Encoding transition T-sendAnnPs__end_2 (933/1016).
Encoding transition T-sendAnnPs__end_3 (934/1016).
Encoding transition T-sendAnnPs__end_4 (935/1016).
Encoding transition T-sendAnnPs__send_1 (936/1016).
Encoding transition T-sendAnnPs__send_2 (937/1016).
Encoding transition T-sendAnnPs__send_3 (938/1016).
Encoding transition T-sendAnnPs__send_4 (939/1016).
Encoding transition T-sendAnnPs__send_5 (940/1016).
Encoding transition T-sendAnnPs__send_6 (941/1016).
Encoding transition T-sendAnnPs__send_7 (942/1016).
Encoding transition T-sendAnnPs__send_8 (943/1016).
Encoding transition T-sendAnnPs__send_13 (944/1016).
Encoding transition T-sendAnnPs__send_14 (945/1016).
Encoding transition T-sendAnnPs__send_15 (946/1016).
Encoding transition T-sendAnnPs__send_16 (947/1016).
Encoding transition T-sendAnnPs__send_17 (948/1016).
Encoding transition T-sendAnnPs__send_18 (949/1016).
Encoding transition T-sendAnnPs__send_19 (950/1016).
Encoding transition T-sendAnnPs__send_20 (951/1016).
Encoding transition T-sendAnnPs__send_25 (952/1016).
Encoding transition T-sendAnnPs__send_26 (953/1016).
Encoding transition T-sendAnnPs__send_27 (954/1016).
Encoding transition T-sendAnnPs__send_28 (955/1016).
Encoding transition T-sendAnnPs__send_29 (956/1016).
Encoding transition T-sendAnnPs__send_30 (957/1016).
Encoding transition T-sendAnnPs__send_31 (958/1016).
Encoding transition T-sendAnnPs__send_32 (959/1016).
Encoding transition T-sendAnnPs__send_37 (960/1016).
Encoding transition T-sendAnnPs__send_38 (961/1016).
Encoding transition T-sendAnnPs__send_39 (962/1016).
Encoding transition T-sendAnnPs__send_40 (963/1016).
Encoding transition T-sendAnnPs__send_41 (964/1016).
Encoding transition T-sendAnnPs__send_42 (965/1016).
Encoding transition T-sendAnnPs__send_43 (966/1016).
Encoding transition T-sendAnnPs__send_44 (967/1016).
Encoding transition T-sendAnnPs__start_1 (968/1016).
Encoding transition T-sendAnnPs__start_2 (969/1016).
Encoding transition T-sendAnnPs__start_3 (970/1016).
Encoding transition T-sendAnnPs__start_4 (971/1016).
Encoding transition T-startNeg__end_1 (972/1016).
Encoding transition T-startNeg__end_2 (973/1016).
Encoding transition T-startNeg__end_3 (974/1016).
Encoding transition T-startNeg__end_4 (975/1016).
Encoding transition T-startNeg__send_1 (976/1016).
Encoding transition T-startNeg__send_2 (977/1016).
Encoding transition T-startNeg__send_3 (978/1016).
Encoding transition T-startNeg__send_4 (979/1016).
Encoding transition T-startNeg__send_5 (980/1016).
Encoding transition T-startNeg__send_6 (981/1016).
Encoding transition T-startNeg__send_7 (982/1016).
Encoding transition T-startNeg__send_8 (983/1016).
Encoding transition T-startNeg__send_13 (984/1016).
Encoding transition T-startNeg__send_14 (985/1016).
Encoding transition T-startNeg__send_15 (986/1016).
Encoding transition T-startNeg__send_16 (987/1016).
Encoding transition T-startNeg__send_17 (988/1016).
Encoding transition T-startNeg__send_18 (989/1016).
Encoding transition T-startNeg__send_19 (990/1016).
Encoding transition T-startNeg__send_20 (991/1016).
Encoding transition T-startNeg__send_25 (992/1016).
Encoding transition T-startNeg__send_26 (993/1016).
Encoding transition T-startNeg__send_27 (994/1016).
Encoding transition T-startNeg__send_28 (995/1016).
Encoding transition T-startNeg__send_29 (996/1016).
Encoding transition T-startNeg__send_30 (997/1016).
Encoding transition T-startNeg__send_31 (998/1016).
Encoding transition T-startNeg__send_32 (999/1016).
Encoding transition T-startNeg__send_37 (1000/1016).
Encoding transition T-startNeg__send_38 (1001/1016).
Encoding transition T-startNeg__send_39 (1002/1016).
Encoding transition T-startNeg__send_40 (1003/1016).
Encoding transition T-startNeg__send_41 (1004/1016).
Encoding transition T-startNeg__send_42 (1005/1016).
Encoding transition T-startNeg__send_43 (1006/1016).
Encoding transition T-startNeg__send_44 (1007/1016).
Encoding transition T-startNeg__start_1 (1008/1016).
Encoding transition T-startNeg__start_2 (1009/1016).
Encoding transition T-startNeg__start_3 (1010/1016).
Encoding transition T-startNeg__start_4 (1011/1016).
Encoding transition T-startSec_1 (1012/1016).
Encoding transition T-startSec_2 (1013/1016).
Encoding transition T-startSec_3 (1014/1016).
Encoding transition T-startSec_4 (1015/1016).
----------------------------------------
End firing rule encoding

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

Total Used Memory: 86296KB
RS size: 974325 (974325)
----------------------------------------
End RS generation
----------------------------------------

FORMULA NeoElection-COL-3-ReachabilityFireabilitySimple-1 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-3-ReachabilityFireabilitySimple-2 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-3-ReachabilityFireabilitySimple-3 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-3-ReachabilityFireabilitySimple-4 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-3-ReachabilityFireabilitySimple-5 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-3-ReachabilityFireabilitySimple-6 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-3-ReachabilityFireabilitySimple-7 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-3-ReachabilityFireabilitySimple-8 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-3-ReachabilityFireabilitySimple-9 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-3-ReachabilityFireabilitySimple-10 FALSE TECHNIQUES DECISION_DIAGRAMS
Ok.

BK_STOP 1400780311673

--------------------
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="SurpriseNeoElection-PT-3"
export BK_EXAMINATION="ReachabilityFireabilitySimple"
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/SurpriseNeoElection-PT-3.tgz
mv SurpriseNeoElection-PT-3 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 SurpriseNeoElection-PT-3, examination is ReachabilityFireabilitySimple"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r09ks-qhx2-140069007900760"
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 ;