About the Execution
Execution Summary | ||||
Max Memory Used (MB) |
CPU Usage (ms) | I/O Wait (ms) | Competition Result | Execution Status |
109.93 | 2120 | 156.9 | FFTFFFFTTF | 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 NeoElection-PT-2, examination is ReachabilityBounds
Time confinement is 3600 seconds
Memory confinement is 6144 MBytes
Run identifier is r03kn-qhx2-140036872000744
=====================================================================
--------------------
content from stdout:
BK_START 1400380492672
======================================================
== This is GreatSPN, running for the MCC'2014 ==
======================================================
Running NeoElection (PT), instance 2
MODEL_DIR = /home/mcc/execution
CONVERT FORMULAE /home/mcc/execution/ReachabilityBounds.xml INTO /home/mcc/execution/ReachabilityBounds.rgmedd-ctl
/home/mcc/BenchKit/bin/bin/RGMEDD model -P -h 2000000000 -B 1 -C -f /home/mcc/execution/ReachabilityBounds.rgmedd-ctl
Setting MEDDLY cache to 2000000000 bytes.
Opening file: model.bnd
----------------------------------------
Start firing rule encoding
----------------------------------------
Encoding transition T-poll__end_1 (0/357).
Encoding transition T-poll__end_2 (1/357).
Encoding transition T-poll__end_3 (2/357).
Encoding transition T-poll__handleAI1_1 (3/357).
Encoding transition T-poll__handleAI1_2 (4/357).
Encoding transition T-poll__handleAI1_3 (5/357).
Encoding transition T-poll__handleAI1_10 (6/357).
Encoding transition T-poll__handleAI1_11 (7/357).
Encoding transition T-poll__handleAI1_12 (8/357).
Encoding transition T-poll__handleAI1_13 (9/357).
Encoding transition T-poll__handleAI1_14 (10/357).
Encoding transition T-poll__handleAI1_15 (11/357).
Encoding transition T-poll__handleAI1_19 (12/357).
Encoding transition T-poll__handleAI1_20 (13/357).
Encoding transition T-poll__handleAI1_21 (14/357).
Encoding transition T-poll__handleAI1_22 (15/357).
Encoding transition T-poll__handleAI1_23 (16/357).
Encoding transition T-poll__handleAI1_24 (17/357).
Encoding transition T-poll__handleAI1_25 (18/357).
Encoding transition T-poll__handleAI1_26 (19/357).
Encoding transition T-poll__handleAI1_27 (20/357).
Encoding transition T-poll__handleAI2_7 (21/357).
Encoding transition T-poll__handleAI2_8 (22/357).
Encoding transition T-poll__handleAI2_9 (23/357).
Encoding transition T-poll__handleAI2_10 (24/357).
Encoding transition T-poll__handleAI2_11 (25/357).
Encoding transition T-poll__handleAI2_12 (26/357).
Encoding transition T-poll__handleAI2_13 (27/357).
Encoding transition T-poll__handleAI2_14 (28/357).
Encoding transition T-poll__handleAI2_15 (29/357).
Encoding transition T-poll__handleAI2_16 (30/357).
Encoding transition T-poll__handleAI2_17 (31/357).
Encoding transition T-poll__handleAI2_18 (32/357).
Encoding transition T-poll__handleAI2_25 (33/357).
Encoding transition T-poll__handleAI2_26 (34/357).
Encoding transition T-poll__handleAI2_27 (35/357).
Encoding transition T-poll__handleAI2_28 (36/357).
Encoding transition T-poll__handleAI2_29 (37/357).
Encoding transition T-poll__handleAI2_30 (38/357).
Encoding transition T-poll__handleAI2_31 (39/357).
Encoding transition T-poll__handleAI2_32 (40/357).
Encoding transition T-poll__handleAI2_33 (41/357).
Encoding transition T-poll__handleAI2_34 (42/357).
Encoding transition T-poll__handleAI2_35 (43/357).
Encoding transition T-poll__handleAI2_36 (44/357).
Encoding transition T-poll__handleAI2_43 (45/357).
Encoding transition T-poll__handleAI2_44 (46/357).
Encoding transition T-poll__handleAI2_45 (47/357).
Encoding transition T-poll__handleAI2_46 (48/357).
Encoding transition T-poll__handleAI2_47 (49/357).
Encoding transition T-poll__handleAI2_48 (50/357).
Encoding transition T-poll__handleAI2_49 (51/357).
Encoding transition T-poll__handleAI2_50 (52/357).
Encoding transition T-poll__handleAI2_51 (53/357).
Encoding transition T-poll__handleAI2_52 (54/357).
Encoding transition T-poll__handleAI2_53 (55/357).
Encoding transition T-poll__handleAI2_54 (56/357).
Encoding transition T-poll__handleAI2_67 (57/357).
Encoding transition T-poll__handleAI2_68 (58/357).
Encoding transition T-poll__handleAI2_69 (59/357).
Encoding transition T-poll__handleAI2_70 (60/357).
Encoding transition T-poll__handleAI2_71 (61/357).
Encoding transition T-poll__handleAI2_72 (62/357).
Encoding transition T-poll__handleAI2_85 (63/357).
Encoding transition T-poll__handleAI2_86 (64/357).
Encoding transition T-poll__handleAI2_87 (65/357).
Encoding transition T-poll__handleAI2_88 (66/357).
Encoding transition T-poll__handleAI2_89 (67/357).
Encoding transition T-poll__handleAI2_90 (68/357).
Encoding transition T-poll__handleAI2_103 (69/357).
Encoding transition T-poll__handleAI2_104 (70/357).
Encoding transition T-poll__handleAI2_105 (71/357).
Encoding transition T-poll__handleAI2_106 (72/357).
Encoding transition T-poll__handleAI2_107 (73/357).
Encoding transition T-poll__handleAI2_108 (74/357).
Encoding transition T-poll__handleAnnP1_2 (75/357).
Encoding transition T-poll__handleAnnP1_3 (76/357).
Encoding transition T-poll__handleAnnP1_5 (77/357).
Encoding transition T-poll__handleAnnP1_6 (78/357).
Encoding transition T-poll__handleAnnP1_8 (79/357).
Encoding transition T-poll__handleAnnP1_9 (80/357).
Encoding transition T-poll__handleAnnP1_11 (81/357).
Encoding transition T-poll__handleAnnP1_12 (82/357).
Encoding transition T-poll__handleAnnP1_14 (83/357).
Encoding transition T-poll__handleAnnP1_15 (84/357).
Encoding transition T-poll__handleAnnP1_17 (85/357).
Encoding transition T-poll__handleAnnP1_18 (86/357).
Encoding transition T-poll__handleAnnP1_19 (87/357).
Encoding transition T-poll__handleAnnP1_21 (88/357).
Encoding transition T-poll__handleAnnP1_22 (89/357).
Encoding transition T-poll__handleAnnP1_24 (90/357).
Encoding transition T-poll__handleAnnP1_25 (91/357).
Encoding transition T-poll__handleAnnP1_27 (92/357).
Encoding transition T-poll__handleAnnP1_28 (93/357).
Encoding transition T-poll__handleAnnP1_30 (94/357).
Encoding transition T-poll__handleAnnP1_31 (95/357).
Encoding transition T-poll__handleAnnP1_33 (96/357).
Encoding transition T-poll__handleAnnP1_34 (97/357).
Encoding transition T-poll__handleAnnP1_36 (98/357).
Encoding transition T-poll__handleAnnP1_37 (99/357).
Encoding transition T-poll__handleAnnP1_38 (100/357).
Encoding transition T-poll__handleAnnP1_40 (101/357).
Encoding transition T-poll__handleAnnP1_41 (102/357).
Encoding transition T-poll__handleAnnP1_43 (103/357).
Encoding transition T-poll__handleAnnP1_44 (104/357).
Encoding transition T-poll__handleAnnP1_46 (105/357).
Encoding transition T-poll__handleAnnP1_47 (106/357).
Encoding transition T-poll__handleAnnP1_49 (107/357).
Encoding transition T-poll__handleAnnP1_50 (108/357).
Encoding transition T-poll__handleAnnP1_52 (109/357).
Encoding transition T-poll__handleAnnP1_53 (110/357).
Encoding transition T-poll__handleAnnP2_1 (111/357).
Encoding transition T-poll__handleAnnP2_2 (112/357).
Encoding transition T-poll__handleAnnP2_3 (113/357).
Encoding transition T-poll__handleAnnP2_4 (114/357).
Encoding transition T-poll__handleAnnP2_5 (115/357).
Encoding transition T-poll__handleAnnP2_6 (116/357).
Encoding transition T-poll__handleAnnP2_7 (117/357).
Encoding transition T-poll__handleAnnP2_8 (118/357).
Encoding transition T-poll__handleAnnP2_9 (119/357).
Encoding transition T-poll__handleAnsP1_1 (120/357).
Encoding transition T-poll__handleAnsP1_2 (121/357).
Encoding transition T-poll__handleAnsP1_3 (122/357).
Encoding transition T-poll__handleAnsP1_4 (123/357).
Encoding transition T-poll__handleAnsP1_5 (124/357).
Encoding transition T-poll__handleAnsP1_6 (125/357).
Encoding transition T-poll__handleAnsP1_7 (126/357).
Encoding transition T-poll__handleAnsP1_8 (127/357).
Encoding transition T-poll__handleAnsP1_9 (128/357).
Encoding transition T-poll__handleAnsP2_3 (129/357).
Encoding transition T-poll__handleAnsP2_4 (130/357).
Encoding transition T-poll__handleAnsP2_5 (131/357).
Encoding transition T-poll__handleAnsP2_6 (132/357).
Encoding transition T-poll__handleAnsP2_9 (133/357).
Encoding transition T-poll__handleAnsP2_10 (134/357).
Encoding transition T-poll__handleAnsP2_11 (135/357).
Encoding transition T-poll__handleAnsP2_12 (136/357).
Encoding transition T-poll__handleAnsP2_15 (137/357).
Encoding transition T-poll__handleAnsP2_16 (138/357).
Encoding transition T-poll__handleAnsP2_17 (139/357).
Encoding transition T-poll__handleAnsP2_18 (140/357).
Encoding transition T-poll__handleAnsP2_21 (141/357).
Encoding transition T-poll__handleAnsP2_22 (142/357).
Encoding transition T-poll__handleAnsP2_23 (143/357).
Encoding transition T-poll__handleAnsP2_24 (144/357).
Encoding transition T-poll__handleAnsP2_27 (145/357).
Encoding transition T-poll__handleAnsP2_28 (146/357).
Encoding transition T-poll__handleAnsP2_29 (147/357).
Encoding transition T-poll__handleAnsP2_30 (148/357).
Encoding transition T-poll__handleAnsP2_33 (149/357).
Encoding transition T-poll__handleAnsP2_34 (150/357).
Encoding transition T-poll__handleAnsP2_35 (151/357).
Encoding transition T-poll__handleAnsP2_36 (152/357).
Encoding transition T-poll__handleAnsP2_39 (153/357).
Encoding transition T-poll__handleAnsP2_40 (154/357).
Encoding transition T-poll__handleAnsP2_41 (155/357).
Encoding transition T-poll__handleAnsP2_42 (156/357).
Encoding transition T-poll__handleAnsP2_45 (157/357).
Encoding transition T-poll__handleAnsP2_46 (158/357).
Encoding transition T-poll__handleAnsP2_47 (159/357).
Encoding transition T-poll__handleAnsP2_48 (160/357).
Encoding transition T-poll__handleAnsP2_51 (161/357).
Encoding transition T-poll__handleAnsP2_52 (162/357).
Encoding transition T-poll__handleAnsP2_53 (163/357).
Encoding transition T-poll__handleAnsP2_54 (164/357).
Encoding transition T-poll__handleAnsP3_9 (165/357).
Encoding transition T-poll__handleAnsP3_12 (166/357).
Encoding transition T-poll__handleAnsP3_14 (167/357).
Encoding transition T-poll__handleAnsP3_17 (168/357).
Encoding transition T-poll__handleAnsP3_27 (169/357).
Encoding transition T-poll__handleAnsP3_30 (170/357).
Encoding transition T-poll__handleAnsP3_32 (171/357).
Encoding transition T-poll__handleAnsP3_35 (172/357).
Encoding transition T-poll__handleAnsP3_45 (173/357).
Encoding transition T-poll__handleAnsP3_48 (174/357).
Encoding transition T-poll__handleAnsP3_50 (175/357).
Encoding transition T-poll__handleAnsP3_53 (176/357).
Encoding transition T-poll__handleAnsP3_63 (177/357).
Encoding transition T-poll__handleAnsP3_66 (178/357).
Encoding transition T-poll__handleAnsP3_68 (179/357).
Encoding transition T-poll__handleAnsP3_71 (180/357).
Encoding transition T-poll__handleAnsP3_81 (181/357).
Encoding transition T-poll__handleAnsP3_84 (182/357).
Encoding transition T-poll__handleAnsP3_86 (183/357).
Encoding transition T-poll__handleAnsP3_89 (184/357).
Encoding transition T-poll__handleAnsP3_99 (185/357).
Encoding transition T-poll__handleAnsP3_102 (186/357).
Encoding transition T-poll__handleAnsP3_104 (187/357).
Encoding transition T-poll__handleAnsP3_107 (188/357).
Encoding transition T-poll__handleAnsP3_117 (189/357).
Encoding transition T-poll__handleAnsP3_120 (190/357).
Encoding transition T-poll__handleAnsP3_122 (191/357).
Encoding transition T-poll__handleAnsP3_125 (192/357).
Encoding transition T-poll__handleAnsP3_135 (193/357).
Encoding transition T-poll__handleAnsP3_138 (194/357).
Encoding transition T-poll__handleAnsP3_140 (195/357).
Encoding transition T-poll__handleAnsP3_143 (196/357).
Encoding transition T-poll__handleAnsP3_153 (197/357).
Encoding transition T-poll__handleAnsP3_156 (198/357).
Encoding transition T-poll__handleAnsP3_158 (199/357).
Encoding transition T-poll__handleAnsP3_161 (200/357).
Encoding transition T-poll__handleAnsP4_3 (201/357).
Encoding transition T-poll__handleAnsP4_4 (202/357).
Encoding transition T-poll__handleAnsP4_5 (203/357).
Encoding transition T-poll__handleAnsP4_6 (204/357).
Encoding transition T-poll__handleAnsP4_9 (205/357).
Encoding transition T-poll__handleAnsP4_10 (206/357).
Encoding transition T-poll__handleAnsP4_11 (207/357).
Encoding transition T-poll__handleAnsP4_12 (208/357).
Encoding transition T-poll__handleAnsP4_15 (209/357).
Encoding transition T-poll__handleAnsP4_16 (210/357).
Encoding transition T-poll__handleAnsP4_17 (211/357).
Encoding transition T-poll__handleAnsP4_18 (212/357).
Encoding transition T-poll__handleAnsP4_21 (213/357).
Encoding transition T-poll__handleAnsP4_22 (214/357).
Encoding transition T-poll__handleAnsP4_23 (215/357).
Encoding transition T-poll__handleAnsP4_24 (216/357).
Encoding transition T-poll__handleAnsP4_27 (217/357).
Encoding transition T-poll__handleAnsP4_28 (218/357).
Encoding transition T-poll__handleAnsP4_29 (219/357).
Encoding transition T-poll__handleAnsP4_30 (220/357).
Encoding transition T-poll__handleAnsP4_33 (221/357).
Encoding transition T-poll__handleAnsP4_34 (222/357).
Encoding transition T-poll__handleAnsP4_35 (223/357).
Encoding transition T-poll__handleAnsP4_36 (224/357).
Encoding transition T-poll__handleAnsP4_39 (225/357).
Encoding transition T-poll__handleAnsP4_40 (226/357).
Encoding transition T-poll__handleAnsP4_41 (227/357).
Encoding transition T-poll__handleAnsP4_42 (228/357).
Encoding transition T-poll__handleAnsP4_45 (229/357).
Encoding transition T-poll__handleAnsP4_46 (230/357).
Encoding transition T-poll__handleAnsP4_47 (231/357).
Encoding transition T-poll__handleAnsP4_48 (232/357).
Encoding transition T-poll__handleAnsP4_51 (233/357).
Encoding transition T-poll__handleAnsP4_52 (234/357).
Encoding transition T-poll__handleAnsP4_53 (235/357).
Encoding transition T-poll__handleAnsP4_54 (236/357).
Encoding transition T-poll__handleAskP_1 (237/357).
Encoding transition T-poll__handleAskP_2 (238/357).
Encoding transition T-poll__handleAskP_3 (239/357).
Encoding transition T-poll__handleAskP_4 (240/357).
Encoding transition T-poll__handleAskP_5 (241/357).
Encoding transition T-poll__handleAskP_6 (242/357).
Encoding transition T-poll__handleAskP_7 (243/357).
Encoding transition T-poll__handleAskP_8 (244/357).
Encoding transition T-poll__handleAskP_9 (245/357).
Encoding transition T-poll__handleAskP_10 (246/357).
Encoding transition T-poll__handleAskP_11 (247/357).
Encoding transition T-poll__handleAskP_12 (248/357).
Encoding transition T-poll__handleAskP_13 (249/357).
Encoding transition T-poll__handleAskP_14 (250/357).
Encoding transition T-poll__handleAskP_15 (251/357).
Encoding transition T-poll__handleAskP_16 (252/357).
Encoding transition T-poll__handleAskP_17 (253/357).
Encoding transition T-poll__handleAskP_18 (254/357).
Encoding transition T-poll__handleAskP_19 (255/357).
Encoding transition T-poll__handleAskP_20 (256/357).
Encoding transition T-poll__handleAskP_21 (257/357).
Encoding transition T-poll__handleAskP_22 (258/357).
Encoding transition T-poll__handleAskP_23 (259/357).
Encoding transition T-poll__handleAskP_24 (260/357).
Encoding transition T-poll__handleAskP_25 (261/357).
Encoding transition T-poll__handleAskP_26 (262/357).
Encoding transition T-poll__handleAskP_27 (263/357).
Encoding transition T-poll__handleAskP_28 (264/357).
Encoding transition T-poll__handleAskP_29 (265/357).
Encoding transition T-poll__handleAskP_30 (266/357).
Encoding transition T-poll__handleAskP_31 (267/357).
Encoding transition T-poll__handleAskP_32 (268/357).
Encoding transition T-poll__handleAskP_33 (269/357).
Encoding transition T-poll__handleAskP_34 (270/357).
Encoding transition T-poll__handleAskP_35 (271/357).
Encoding transition T-poll__handleAskP_36 (272/357).
Encoding transition T-poll__handleAskP_37 (273/357).
Encoding transition T-poll__handleAskP_38 (274/357).
Encoding transition T-poll__handleAskP_39 (275/357).
Encoding transition T-poll__handleAskP_40 (276/357).
Encoding transition T-poll__handleAskP_41 (277/357).
Encoding transition T-poll__handleAskP_42 (278/357).
Encoding transition T-poll__handleAskP_43 (279/357).
Encoding transition T-poll__handleAskP_44 (280/357).
Encoding transition T-poll__handleAskP_45 (281/357).
Encoding transition T-poll__handleAskP_46 (282/357).
Encoding transition T-poll__handleAskP_47 (283/357).
Encoding transition T-poll__handleAskP_48 (284/357).
Encoding transition T-poll__handleAskP_49 (285/357).
Encoding transition T-poll__handleAskP_50 (286/357).
Encoding transition T-poll__handleAskP_51 (287/357).
Encoding transition T-poll__handleAskP_52 (288/357).
Encoding transition T-poll__handleAskP_53 (289/357).
Encoding transition T-poll__handleAskP_54 (290/357).
Encoding transition T-poll__handleRI_1 (291/357).
Encoding transition T-poll__handleRI_2 (292/357).
Encoding transition T-poll__handleRI_3 (293/357).
Encoding transition T-poll__handleRI_4 (294/357).
Encoding transition T-poll__handleRI_5 (295/357).
Encoding transition T-poll__handleRI_6 (296/357).
Encoding transition T-poll__handleRI_7 (297/357).
Encoding transition T-poll__handleRI_8 (298/357).
Encoding transition T-poll__handleRI_9 (299/357).
Encoding transition T-poll__handleRP_1 (300/357).
Encoding transition T-poll__handleRP_2 (301/357).
Encoding transition T-poll__handleRP_3 (302/357).
Encoding transition T-poll__handleRP_4 (303/357).
Encoding transition T-poll__handleRP_5 (304/357).
Encoding transition T-poll__handleRP_6 (305/357).
Encoding transition T-poll__handleRP_7 (306/357).
Encoding transition T-poll__handleRP_8 (307/357).
Encoding transition T-poll__handleRP_9 (308/357).
Encoding transition T-poll__iAmPrimary_1 (309/357).
Encoding transition T-poll__iAmPrimary_2 (310/357).
Encoding transition T-poll__iAmPrimary_3 (311/357).
Encoding transition T-poll__iAmSecondary_1 (312/357).
Encoding transition T-poll__iAmSecondary_2 (313/357).
Encoding transition T-poll__iAmSecondary_3 (314/357).
Encoding transition T-poll__iAmSecondary_4 (315/357).
Encoding transition T-poll__iAmSecondary_5 (316/357).
Encoding transition T-poll__iAmSecondary_6 (317/357).
Encoding transition T-poll__iAmSecondary_7 (318/357).
Encoding transition T-poll__iAmSecondary_8 (319/357).
Encoding transition T-poll__iAmSecondary_9 (320/357).
Encoding transition T-poll__start_1 (321/357).
Encoding transition T-poll__start_2 (322/357).
Encoding transition T-poll__start_3 (323/357).
Encoding transition T-sendAnnPs__end_1 (324/357).
Encoding transition T-sendAnnPs__end_2 (325/357).
Encoding transition T-sendAnnPs__end_3 (326/357).
Encoding transition T-sendAnnPs__send_1 (327/357).
Encoding transition T-sendAnnPs__send_2 (328/357).
Encoding transition T-sendAnnPs__send_3 (329/357).
Encoding transition T-sendAnnPs__send_7 (330/357).
Encoding transition T-sendAnnPs__send_8 (331/357).
Encoding transition T-sendAnnPs__send_9 (332/357).
Encoding transition T-sendAnnPs__send_13 (333/357).
Encoding transition T-sendAnnPs__send_14 (334/357).
Encoding transition T-sendAnnPs__send_15 (335/357).
Encoding transition T-sendAnnPs__start_1 (336/357).
Encoding transition T-sendAnnPs__start_2 (337/357).
Encoding transition T-sendAnnPs__start_3 (338/357).
Encoding transition T-startNeg__end_1 (339/357).
Encoding transition T-startNeg__end_2 (340/357).
Encoding transition T-startNeg__end_3 (341/357).
Encoding transition T-startNeg__send_1 (342/357).
Encoding transition T-startNeg__send_2 (343/357).
Encoding transition T-startNeg__send_3 (344/357).
Encoding transition T-startNeg__send_7 (345/357).
Encoding transition T-startNeg__send_8 (346/357).
Encoding transition T-startNeg__send_9 (347/357).
Encoding transition T-startNeg__send_13 (348/357).
Encoding transition T-startNeg__send_14 (349/357).
Encoding transition T-startNeg__send_15 (350/357).
Encoding transition T-startNeg__start_1 (351/357).
Encoding transition T-startNeg__start_2 (352/357).
Encoding transition T-startNeg__start_3 (353/357).
Encoding transition T-startSec_1 (354/357).
Encoding transition T-startSec_2 (355/357).
Encoding transition T-startSec_3 (356/357).
----------------------------------------
End firing rule encoding
----------------------------------------
----------------------------------------
Start RS generation
----------------------------------------
Total Used Memory: 12184KB
RS size: 241 (241)
----------------------------------------
End RS generation
----------------------------------------
FORMULA NeoElection-COL-2-ReachabilityBounds-1 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-2-ReachabilityBounds-2 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-2-ReachabilityBounds-3 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-2-ReachabilityBounds-4 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-2-ReachabilityBounds-5 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-2-ReachabilityBounds-6 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-2-ReachabilityBounds-7 FALSE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-2-ReachabilityBounds-8 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-2-ReachabilityBounds-9 TRUE TECHNIQUES DECISION_DIAGRAMS
FORMULA NeoElection-COL-2-ReachabilityBounds-10 FALSE TECHNIQUES DECISION_DIAGRAMS
Ok.
BK_STOP 1400380494806
--------------------
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="NeoElection-PT-2"
export BK_EXAMINATION="ReachabilityBounds"
export BK_TOOL="greatspn"
export BK_RESULT_DIR="/home/fko/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/NeoElection-PT-2.tgz
mv NeoElection-PT-2 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 NeoElection-PT-2, examination is ReachabilityBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 6144 MBytes"
echo " Run identifier is r03kn-qhx2-140036872000744"
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 ;