fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Execution of r211su-blw3-146445832300110
Last Updated
June 30, 2016

About the Execution of Tapaal(EXP) for AirplaneLD-PT-0100

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
2534.320 2164796.00 2163980.00 40.00 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 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-2979
Executing tool tapaalEXP
Input is AirplaneLD-PT-0100, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r211su-blw3-146445832300110
=====================================================================


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

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME AirplaneLD-COL-0100-UpperBounds-0
FORMULA_NAME AirplaneLD-COL-0100-UpperBounds-1
FORMULA_NAME AirplaneLD-COL-0100-UpperBounds-10
FORMULA_NAME AirplaneLD-COL-0100-UpperBounds-11
FORMULA_NAME AirplaneLD-COL-0100-UpperBounds-12
FORMULA_NAME AirplaneLD-COL-0100-UpperBounds-13
FORMULA_NAME AirplaneLD-COL-0100-UpperBounds-14
FORMULA_NAME AirplaneLD-COL-0100-UpperBounds-15
FORMULA_NAME AirplaneLD-COL-0100-UpperBounds-2
FORMULA_NAME AirplaneLD-COL-0100-UpperBounds-3
FORMULA_NAME AirplaneLD-COL-0100-UpperBounds-4
FORMULA_NAME AirplaneLD-COL-0100-UpperBounds-5
FORMULA_NAME AirplaneLD-COL-0100-UpperBounds-6
FORMULA_NAME AirplaneLD-COL-0100-UpperBounds-7
FORMULA_NAME AirplaneLD-COL-0100-UpperBounds-8
FORMULA_NAME AirplaneLD-COL-0100-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1464735691528

---> tapaalEXP --- TAPAAL Experimental

********************************************
* TAPAAL Experimental verifying UpperBounds*
********************************************

verifypn -d -n -r 1 -s BFS -x 1 model.pnml UpperBounds.xml
stp2

verifypn -d -n -r 1 -s BFS -x 2 model.pnml UpperBounds.xml
P6

verifypn -d -n -r 1 -s BFS -x 3 model.pnml UpperBounds.xml
stp3

verifypn -d -n -r 1 -s BFS -x 4 model.pnml UpperBounds.xml
Speed_Left_Wheel_1
Speed_Left_Wheel_2
Speed_Left_Wheel_3
Speed_Left_Wheel_4
Speed_Left_Wheel_5
Speed_Left_Wheel_6
Speed_Left_Wheel_7
Speed_Left_Wheel_8
Speed_Left_Wheel_9
Speed_Left_Wheel_10
Speed_Left_Wheel_11
Speed_Left_Wheel_12
Speed_Left_Wheel_13
Speed_Left_Wheel_14
Speed_Left_Wheel_15
Speed_Left_Wheel_16
Speed_Left_Wheel_17
Speed_Left_Wheel_18
Speed_Left_Wheel_19
Speed_Left_Wheel_20
Speed_Left_Wheel_21
Speed_Left_Wheel_22
Speed_Left_Wheel_23
Speed_Left_Wheel_24
Speed_Left_Wheel_25
Speed_Left_Wheel_26
Speed_Left_Wheel_27
Speed_Left_Wheel_28
Speed_Left_Wheel_29
Speed_Left_Wheel_30
Speed_Left_Wheel_31
Speed_Left_Wheel_32
Speed_Left_Wheel_33
Speed_Left_Wheel_34
Speed_Left_Wheel_35
Speed_Left_Wheel_36
Speed_Left_Wheel_37
Speed_Left_Wheel_38
Speed_Left_Wheel_39
Speed_Left_Wheel_40
Speed_Left_Wheel_41
Speed_Left_Wheel_42
Speed_Left_Wheel_43
Speed_Left_Wheel_44
Speed_Left_Wheel_45
Speed_Left_Wheel_46
Speed_Left_Wheel_47
Speed_Left_Wheel_48
Speed_Left_Wheel_49
Speed_Left_Wheel_50
Speed_Left_Wheel_51
Speed_Left_Wheel_52
Speed_Left_Wheel_53
Speed_Left_Wheel_54
Speed_Left_Wheel_55
Speed_Left_Wheel_56
Speed_Left_Wheel_57
Speed_Left_Wheel_58
Speed_Left_Wheel_59
Speed_Left_Wheel_60
Speed_Left_Wheel_61
Speed_Left_Wheel_62
Speed_Left_Wheel_63
Speed_Left_Wheel_64
Speed_Left_Wheel_65
Speed_Left_Wheel_66
Speed_Left_Wheel_67
Speed_Left_Wheel_68
Speed_Left_Wheel_69
Speed_Left_Wheel_70
Speed_Left_Wheel_71
Speed_Left_Wheel_72
Speed_Left_Wheel_73
Speed_Left_Wheel_74
Speed_Left_Wheel_75
Speed_Left_Wheel_76
Speed_Left_Wheel_77
Speed_Left_Wheel_78
Speed_Left_Wheel_79
Speed_Left_Wheel_80
Speed_Left_Wheel_81
Speed_Left_Wheel_82
Speed_Left_Wheel_83
Speed_Left_Wheel_84
Speed_Left_Wheel_85
Speed_Left_Wheel_86
Speed_Left_Wheel_87
Speed_Left_Wheel_88
Speed_Left_Wheel_89
Speed_Left_Wheel_90
Speed_Left_Wheel_91
Speed_Left_Wheel_92
Speed_Left_Wheel_93
Speed_Left_Wheel_94
Speed_Left_Wheel_95
Speed_Left_Wheel_96
Speed_Left_Wheel_97
Speed_Left_Wheel_98
Speed_Left_Wheel_99
Speed_Left_Wheel_100

verifypn -d -n -r 1 -s BFS -x 5 model.pnml UpperBounds.xml
Speed_Left_Wheel_1
Speed_Left_Wheel_2
Speed_Left_Wheel_3
Speed_Left_Wheel_4
Speed_Left_Wheel_5
Speed_Left_Wheel_6
Speed_Left_Wheel_7
Speed_Left_Wheel_8
Speed_Left_Wheel_9
Speed_Left_Wheel_10
Speed_Left_Wheel_11
Speed_Left_Wheel_12
Speed_Left_Wheel_13
Speed_Left_Wheel_14
Speed_Left_Wheel_15
Speed_Left_Wheel_16
Speed_Left_Wheel_17
Speed_Left_Wheel_18
Speed_Left_Wheel_19
Speed_Left_Wheel_20
Speed_Left_Wheel_21
Speed_Left_Wheel_22
Speed_Left_Wheel_23
Speed_Left_Wheel_24
Speed_Left_Wheel_25
Speed_Left_Wheel_26
Speed_Left_Wheel_27
Speed_Left_Wheel_28
Speed_Left_Wheel_29
Speed_Left_Wheel_30
Speed_Left_Wheel_31
Speed_Left_Wheel_32
Speed_Left_Wheel_33
Speed_Left_Wheel_34
Speed_Left_Wheel_35
Speed_Left_Wheel_36
Speed_Left_Wheel_37
Speed_Left_Wheel_38
Speed_Left_Wheel_39
Speed_Left_Wheel_40
Speed_Left_Wheel_41
Speed_Left_Wheel_42
Speed_Left_Wheel_43
Speed_Left_Wheel_44
Speed_Left_Wheel_45
Speed_Left_Wheel_46
Speed_Left_Wheel_47
Speed_Left_Wheel_48
Speed_Left_Wheel_49
Speed_Left_Wheel_50
Speed_Left_Wheel_51
Speed_Left_Wheel_52
Speed_Left_Wheel_53
Speed_Left_Wheel_54
Speed_Left_Wheel_55
Speed_Left_Wheel_56
Speed_Left_Wheel_57
Speed_Left_Wheel_58
Speed_Left_Wheel_59
Speed_Left_Wheel_60
Speed_Left_Wheel_61
Speed_Left_Wheel_62
Speed_Left_Wheel_63
Speed_Left_Wheel_64
Speed_Left_Wheel_65
Speed_Left_Wheel_66
Speed_Left_Wheel_67
Speed_Left_Wheel_68
Speed_Left_Wheel_69
Speed_Left_Wheel_70
Speed_Left_Wheel_71
Speed_Left_Wheel_72
Speed_Left_Wheel_73
Speed_Left_Wheel_74
Speed_Left_Wheel_75
Speed_Left_Wheel_76
Speed_Left_Wheel_77
Speed_Left_Wheel_78
Speed_Left_Wheel_79
Speed_Left_Wheel_80
Speed_Left_Wheel_81
Speed_Left_Wheel_82
Speed_Left_Wheel_83
Speed_Left_Wheel_84
Speed_Left_Wheel_85
Speed_Left_Wheel_86
Speed_Left_Wheel_87
Speed_Left_Wheel_88
Speed_Left_Wheel_89
Speed_Left_Wheel_90
Speed_Left_Wheel_91
Speed_Left_Wheel_92
Speed_Left_Wheel_93
Speed_Left_Wheel_94
Speed_Left_Wheel_95
Speed_Left_Wheel_96
Speed_Left_Wheel_97
Speed_Left_Wheel_98
Speed_Left_Wheel_99
Speed_Left_Wheel_100

verifypn -d -n -r 1 -s BFS -x 6 model.pnml UpperBounds.xml
P4

verifypn -d -n -r 1 -s BFS -x 7 model.pnml UpperBounds.xml
Plane_On_Ground_Signal_no_T
Plane_On_Ground_Signal_no_F

verifypn -d -n -r 1 -s BFS -x 8 model.pnml UpperBounds.xml
stp3

verifypn -d -n -r 1 -s BFS -x 9 model.pnml UpperBounds.xml
TheAltitude_1
TheAltitude_2
TheAltitude_3
TheAltitude_4
TheAltitude_5
TheAltitude_6
TheAltitude_7
TheAltitude_8
TheAltitude_9
TheAltitude_10
TheAltitude_11
TheAltitude_12
TheAltitude_13
TheAltitude_14
TheAltitude_15
TheAltitude_16
TheAltitude_17
TheAltitude_18
TheAltitude_19
TheAltitude_20
TheAltitude_21
TheAltitude_22
TheAltitude_23
TheAltitude_24
TheAltitude_25
TheAltitude_26
TheAltitude_27
TheAltitude_28
TheAltitude_29
TheAltitude_30
TheAltitude_31
TheAltitude_32
TheAltitude_33
TheAltitude_34
TheAltitude_35
TheAltitude_36
TheAltitude_37
TheAltitude_38
TheAltitude_39
TheAltitude_40
TheAltitude_41
TheAltitude_42
TheAltitude_43
TheAltitude_44
TheAltitude_45
TheAltitude_46
TheAltitude_47
TheAltitude_48
TheAltitude_49
TheAltitude_50
TheAltitude_51
TheAltitude_52
TheAltitude_53
TheAltitude_54
TheAltitude_55
TheAltitude_56
TheAltitude_57
TheAltitude_58
TheAltitude_59
TheAltitude_60
TheAltitude_61
TheAltitude_62
TheAltitude_63
TheAltitude_64
TheAltitude_65
TheAltitude_66
TheAltitude_67
TheAltitude_68
TheAltitude_69
TheAltitude_70
TheAltitude_71
TheAltitude_72
TheAltitude_73
TheAltitude_74
TheAltitude_75
TheAltitude_76
TheAltitude_77
TheAltitude_78
TheAltitude_79
TheAltitude_80
TheAltitude_81
TheAltitude_82
TheAltitude_83
TheAltitude_84
TheAltitude_85
TheAltitude_86
TheAltitude_87
TheAltitude_88
TheAltitude_89
TheAltitude_90
TheAltitude_91
TheAltitude_92
TheAltitude_93
TheAltitude_94
TheAltitude_95
TheAltitude_96
TheAltitude_97
TheAltitude_98
TheAltitude_99
TheAltitude_100
TheAltitude_101
TheAltitude_102
TheAltitude_103
TheAltitude_104
TheAltitude_105
TheAltitude_106
TheAltitude_107
TheAltitude_108
TheAltitude_109
TheAltitude_110
TheAltitude_111
TheAltitude_112
TheAltitude_113
TheAltitude_114
TheAltitude_115
TheAltitude_116
TheAltitude_117
TheAltitude_118
TheAltitude_119
TheAltitude_120
TheAltitude_121
TheAltitude_122
TheAltitude_123
TheAltitude_124
TheAltitude_125
TheAltitude_126
TheAltitude_127
TheAltitude_128
TheAltitude_129
TheAltitude_130
TheAltitude_131
TheAltitude_132
TheAltitude_133
TheAltitude_134
TheAltitude_135
TheAltitude_136
TheAltitude_137
TheAltitude_138
TheAltitude_139
TheAltitude_140
TheAltitude_141
TheAltitude_142
TheAltitude_143
TheAltitude_144
TheAltitude_145
TheAltitude_146
TheAltitude_147
TheAltitude_148
TheAltitude_149
TheAltitude_150
TheAltitude_151
TheAltitude_152
TheAltitude_153
TheAltitude_154
TheAltitude_155
TheAltitude_156
TheAltitude_157
TheAltitude_158
TheAltitude_159
TheAltitude_160
TheAltitude_161
TheAltitude_162
TheAltitude_163
TheAltitude_164
TheAltitude_165
TheAltitude_166
TheAltitude_167
TheAltitude_168
TheAltitude_169
TheAltitude_170
TheAltitude_171
TheAltitude_172
TheAltitude_173
TheAltitude_174
TheAltitude_175
TheAltitude_176
TheAltitude_177
TheAltitude_178
TheAltitude_179
TheAltitude_180
TheAltitude_181
TheAltitude_182
TheAltitude_183
TheAltitude_184
TheAltitude_185
TheAltitude_186
TheAltitude_187
TheAltitude_188
TheAltitude_189
TheAltitude_190
TheAltitude_191
TheAltitude_192
TheAltitude_193
TheAltitude_194
TheAltitude_195
TheAltitude_196
TheAltitude_197
TheAltitude_198
TheAltitude_199
TheAltitude_200

verifypn -d -n -r 1 -s BFS -x 10 model.pnml UpperBounds.xml
P3

verifypn -d -n -r 1 -s BFS -x 11 model.pnml UpperBounds.xml
Weight_Left_Wheel_on
Weight_Left_Wheel_off

verifypn -d -n -r 1 -s BFS -x 12 model.pnml UpperBounds.xml
stp1

verifypn -d -n -r 1 -s BFS -x 13 model.pnml UpperBounds.xml
Weight_Right_Wheel_on
Weight_Right_Wheel_off

verifypn -d -n -r 1 -s BFS -x 14 model.pnml UpperBounds.xml
stp5

verifypn -d -n -r 1 -s BFS -x 15 model.pnml UpperBounds.xml
Speed_Right_Wheel_1
Speed_Right_Wheel_2
Speed_Right_Wheel_3
Speed_Right_Wheel_4
Speed_Right_Wheel_5
Speed_Right_Wheel_6
Speed_Right_Wheel_7
Speed_Right_Wheel_8
Speed_Right_Wheel_9
Speed_Right_Wheel_10
Speed_Right_Wheel_11
Speed_Right_Wheel_12
Speed_Right_Wheel_13
Speed_Right_Wheel_14
Speed_Right_Wheel_15
Speed_Right_Wheel_16
Speed_Right_Wheel_17
Speed_Right_Wheel_18
Speed_Right_Wheel_19
Speed_Right_Wheel_20
Speed_Right_Wheel_21
Speed_Right_Wheel_22
Speed_Right_Wheel_23
Speed_Right_Wheel_24
Speed_Right_Wheel_25
Speed_Right_Wheel_26
Speed_Right_Wheel_27
Speed_Right_Wheel_28
Speed_Right_Wheel_29
Speed_Right_Wheel_30
Speed_Right_Wheel_31
Speed_Right_Wheel_32
Speed_Right_Wheel_33
Speed_Right_Wheel_34
Speed_Right_Wheel_35
Speed_Right_Wheel_36
Speed_Right_Wheel_37
Speed_Right_Wheel_38
Speed_Right_Wheel_39
Speed_Right_Wheel_40
Speed_Right_Wheel_41
Speed_Right_Wheel_42
Speed_Right_Wheel_43
Speed_Right_Wheel_44
Speed_Right_Wheel_45
Speed_Right_Wheel_46
Speed_Right_Wheel_47
Speed_Right_Wheel_48
Speed_Right_Wheel_49
Speed_Right_Wheel_50
Speed_Right_Wheel_51
Speed_Right_Wheel_52
Speed_Right_Wheel_53
Speed_Right_Wheel_54
Speed_Right_Wheel_55
Speed_Right_Wheel_56
Speed_Right_Wheel_57
Speed_Right_Wheel_58
Speed_Right_Wheel_59
Speed_Right_Wheel_60
Speed_Right_Wheel_61
Speed_Right_Wheel_62
Speed_Right_Wheel_63
Speed_Right_Wheel_64
Speed_Right_Wheel_65
Speed_Right_Wheel_66
Speed_Right_Wheel_67
Speed_Right_Wheel_68
Speed_Right_Wheel_69
Speed_Right_Wheel_70
Speed_Right_Wheel_71
Speed_Right_Wheel_72
Speed_Right_Wheel_73
Speed_Right_Wheel_74
Speed_Right_Wheel_75
Speed_Right_Wheel_76
Speed_Right_Wheel_77
Speed_Right_Wheel_78
Speed_Right_Wheel_79
Speed_Right_Wheel_80
Speed_Right_Wheel_81
Speed_Right_Wheel_82
Speed_Right_Wheel_83
Speed_Right_Wheel_84
Speed_Right_Wheel_85
Speed_Right_Wheel_86
Speed_Right_Wheel_87
Speed_Right_Wheel_88
Speed_Right_Wheel_89
Speed_Right_Wheel_90
Speed_Right_Wheel_91
Speed_Right_Wheel_92
Speed_Right_Wheel_93
Speed_Right_Wheel_94
Speed_Right_Wheel_95
Speed_Right_Wheel_96
Speed_Right_Wheel_97
Speed_Right_Wheel_98
Speed_Right_Wheel_99
Speed_Right_Wheel_100

verifypn -d -n -r 1 -s BFS -x 16 model.pnml UpperBounds.xml
P6
verifypnall -d -n -r 1 -s BFS -x 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16 model.pnml UpperBounds.xml
stp2
P6
stp3
Speed_Left_Wheel_1
Speed_Left_Wheel_2
Speed_Left_Wheel_3
Speed_Left_Wheel_4
Speed_Left_Wheel_5
Speed_Left_Wheel_6
Speed_Left_Wheel_7
Speed_Left_Wheel_8
Speed_Left_Wheel_9
Speed_Left_Wheel_10
Speed_Left_Wheel_11
Speed_Left_Wheel_12
Speed_Left_Wheel_13
Speed_Left_Wheel_14
Speed_Left_Wheel_15
Speed_Left_Wheel_16
Speed_Left_Wheel_17
Speed_Left_Wheel_18
Speed_Left_Wheel_19
Speed_Left_Wheel_20
Speed_Left_Wheel_21
Speed_Left_Wheel_22
Speed_Left_Wheel_23
Speed_Left_Wheel_24
Speed_Left_Wheel_25
Speed_Left_Wheel_26
Speed_Left_Wheel_27
Speed_Left_Wheel_28
Speed_Left_Wheel_29
Speed_Left_Wheel_30
Speed_Left_Wheel_31
Speed_Left_Wheel_32
Speed_Left_Wheel_33
Speed_Left_Wheel_34
Speed_Left_Wheel_35
Speed_Left_Wheel_36
Speed_Left_Wheel_37
Speed_Left_Wheel_38
Speed_Left_Wheel_39
Speed_Left_Wheel_40
Speed_Left_Wheel_41
Speed_Left_Wheel_42
Speed_Left_Wheel_43
Speed_Left_Wheel_44
Speed_Left_Wheel_45
Speed_Left_Wheel_46
Speed_Left_Wheel_47
Speed_Left_Wheel_48
Speed_Left_Wheel_49
Speed_Left_Wheel_50
Speed_Left_Wheel_51
Speed_Left_Wheel_52
Speed_Left_Wheel_53
Speed_Left_Wheel_54
Speed_Left_Wheel_55
Speed_Left_Wheel_56
Speed_Left_Wheel_57
Speed_Left_Wheel_58
Speed_Left_Wheel_59
Speed_Left_Wheel_60
Speed_Left_Wheel_61
Speed_Left_Wheel_62
Speed_Left_Wheel_63
Speed_Left_Wheel_64
Speed_Left_Wheel_65
Speed_Left_Wheel_66
Speed_Left_Wheel_67
Speed_Left_Wheel_68
Speed_Left_Wheel_69
Speed_Left_Wheel_70
Speed_Left_Wheel_71
Speed_Left_Wheel_72
Speed_Left_Wheel_73
Speed_Left_Wheel_74
Speed_Left_Wheel_75
Speed_Left_Wheel_76
Speed_Left_Wheel_77
Speed_Left_Wheel_78
Speed_Left_Wheel_79
Speed_Left_Wheel_80
Speed_Left_Wheel_81
Speed_Left_Wheel_82
Speed_Left_Wheel_83
Speed_Left_Wheel_84
Speed_Left_Wheel_85
Speed_Left_Wheel_86
Speed_Left_Wheel_87
Speed_Left_Wheel_88
Speed_Left_Wheel_89
Speed_Left_Wheel_90
Speed_Left_Wheel_91
Speed_Left_Wheel_92
Speed_Left_Wheel_93
Speed_Left_Wheel_94
Speed_Left_Wheel_95
Speed_Left_Wheel_96
Speed_Left_Wheel_97
Speed_Left_Wheel_98
Speed_Left_Wheel_99
Speed_Left_Wheel_100
Speed_Left_Wheel_1
Speed_Left_Wheel_2
Speed_Left_Wheel_3
Speed_Left_Wheel_4
Speed_Left_Wheel_5
Speed_Left_Wheel_6
Speed_Left_Wheel_7
Speed_Left_Wheel_8
Speed_Left_Wheel_9
Speed_Left_Wheel_10
Speed_Left_Wheel_11
Speed_Left_Wheel_12
Speed_Left_Wheel_13
Speed_Left_Wheel_14
Speed_Left_Wheel_15
Speed_Left_Wheel_16
Speed_Left_Wheel_17
Speed_Left_Wheel_18
Speed_Left_Wheel_19
Speed_Left_Wheel_20
Speed_Left_Wheel_21
Speed_Left_Wheel_22
Speed_Left_Wheel_23
Speed_Left_Wheel_24
Speed_Left_Wheel_25
Speed_Left_Wheel_26
Speed_Left_Wheel_27
Speed_Left_Wheel_28
Speed_Left_Wheel_29
Speed_Left_Wheel_30
Speed_Left_Wheel_31
Speed_Left_Wheel_32
Speed_Left_Wheel_33
Speed_Left_Wheel_34
Speed_Left_Wheel_35
Speed_Left_Wheel_36
Speed_Left_Wheel_37
Speed_Left_Wheel_38
Speed_Left_Wheel_39
Speed_Left_Wheel_40
Speed_Left_Wheel_41
Speed_Left_Wheel_42
Speed_Left_Wheel_43
Speed_Left_Wheel_44
Speed_Left_Wheel_45
Speed_Left_Wheel_46
Speed_Left_Wheel_47
Speed_Left_Wheel_48
Speed_Left_Wheel_49
Speed_Left_Wheel_50
Speed_Left_Wheel_51
Speed_Left_Wheel_52
Speed_Left_Wheel_53
Speed_Left_Wheel_54
Speed_Left_Wheel_55
Speed_Left_Wheel_56
Speed_Left_Wheel_57
Speed_Left_Wheel_58
Speed_Left_Wheel_59
Speed_Left_Wheel_60
Speed_Left_Wheel_61
Speed_Left_Wheel_62
Speed_Left_Wheel_63
Speed_Left_Wheel_64
Speed_Left_Wheel_65
Speed_Left_Wheel_66
Speed_Left_Wheel_67
Speed_Left_Wheel_68
Speed_Left_Wheel_69
Speed_Left_Wheel_70
Speed_Left_Wheel_71
Speed_Left_Wheel_72
Speed_Left_Wheel_73
Speed_Left_Wheel_74
Speed_Left_Wheel_75
Speed_Left_Wheel_76
Speed_Left_Wheel_77
Speed_Left_Wheel_78
Speed_Left_Wheel_79
Speed_Left_Wheel_80
Speed_Left_Wheel_81
Speed_Left_Wheel_82
Speed_Left_Wheel_83
Speed_Left_Wheel_84
Speed_Left_Wheel_85
Speed_Left_Wheel_86
Speed_Left_Wheel_87
Speed_Left_Wheel_88
Speed_Left_Wheel_89
Speed_Left_Wheel_90
Speed_Left_Wheel_91
Speed_Left_Wheel_92
Speed_Left_Wheel_93
Speed_Left_Wheel_94
Speed_Left_Wheel_95
Speed_Left_Wheel_96
Speed_Left_Wheel_97
Speed_Left_Wheel_98
Speed_Left_Wheel_99
Speed_Left_Wheel_100
P4
Plane_On_Ground_Signal_no_T
Plane_On_Ground_Signal_no_F
stp3
TheAltitude_1
TheAltitude_2
TheAltitude_3
TheAltitude_4
TheAltitude_5
TheAltitude_6
TheAltitude_7
TheAltitude_8
TheAltitude_9
TheAltitude_10
TheAltitude_11
TheAltitude_12
TheAltitude_13
TheAltitude_14
TheAltitude_15
TheAltitude_16
TheAltitude_17
TheAltitude_18
TheAltitude_19
TheAltitude_20
TheAltitude_21
TheAltitude_22
TheAltitude_23
TheAltitude_24
TheAltitude_25
TheAltitude_26
TheAltitude_27
TheAltitude_28
TheAltitude_29
TheAltitude_30
TheAltitude_31
TheAltitude_32
TheAltitude_33
TheAltitude_34
TheAltitude_35
TheAltitude_36
TheAltitude_37
TheAltitude_38
TheAltitude_39
TheAltitude_40
TheAltitude_41
TheAltitude_42
TheAltitude_43
TheAltitude_44
TheAltitude_45
TheAltitude_46
TheAltitude_47
TheAltitude_48
TheAltitude_49
TheAltitude_50
TheAltitude_51
TheAltitude_52
TheAltitude_53
TheAltitude_54
TheAltitude_55
TheAltitude_56
TheAltitude_57
TheAltitude_58
TheAltitude_59
TheAltitude_60
TheAltitude_61
TheAltitude_62
TheAltitude_63
TheAltitude_64
TheAltitude_65
TheAltitude_66
TheAltitude_67
TheAltitude_68
TheAltitude_69
TheAltitude_70
TheAltitude_71
TheAltitude_72
TheAltitude_73
TheAltitude_74
TheAltitude_75
TheAltitude_76
TheAltitude_77
TheAltitude_78
TheAltitude_79
TheAltitude_80
TheAltitude_81
TheAltitude_82
TheAltitude_83
TheAltitude_84
TheAltitude_85
TheAltitude_86
TheAltitude_87
TheAltitude_88
TheAltitude_89
TheAltitude_90
TheAltitude_91
TheAltitude_92
TheAltitude_93
TheAltitude_94
TheAltitude_95
TheAltitude_96
TheAltitude_97
TheAltitude_98
TheAltitude_99
TheAltitude_100
TheAltitude_101
TheAltitude_102
TheAltitude_103
TheAltitude_104
TheAltitude_105
TheAltitude_106
TheAltitude_107
TheAltitude_108
TheAltitude_109
TheAltitude_110
TheAltitude_111
TheAltitude_112
TheAltitude_113
TheAltitude_114
TheAltitude_115
TheAltitude_116
TheAltitude_117
TheAltitude_118
TheAltitude_119
TheAltitude_120
TheAltitude_121
TheAltitude_122
TheAltitude_123
TheAltitude_124
TheAltitude_125
TheAltitude_126
TheAltitude_127
TheAltitude_128
TheAltitude_129
TheAltitude_130
TheAltitude_131
TheAltitude_132
TheAltitude_133
TheAltitude_134
TheAltitude_135
TheAltitude_136
TheAltitude_137
TheAltitude_138
TheAltitude_139
TheAltitude_140
TheAltitude_141
TheAltitude_142
TheAltitude_143
TheAltitude_144
TheAltitude_145
TheAltitude_146
TheAltitude_147
TheAltitude_148
TheAltitude_149
TheAltitude_150
TheAltitude_151
TheAltitude_152
TheAltitude_153
TheAltitude_154
TheAltitude_155
TheAltitude_156
TheAltitude_157
TheAltitude_158
TheAltitude_159
TheAltitude_160
TheAltitude_161
TheAltitude_162
TheAltitude_163
TheAltitude_164
TheAltitude_165
TheAltitude_166
TheAltitude_167
TheAltitude_168
TheAltitude_169
TheAltitude_170
TheAltitude_171
TheAltitude_172
TheAltitude_173
TheAltitude_174
TheAltitude_175
TheAltitude_176
TheAltitude_177
TheAltitude_178
TheAltitude_179
TheAltitude_180
TheAltitude_181
TheAltitude_182
TheAltitude_183
TheAltitude_184
TheAltitude_185
TheAltitude_186
TheAltitude_187
TheAltitude_188
TheAltitude_189
TheAltitude_190
TheAltitude_191
TheAltitude_192
TheAltitude_193
TheAltitude_194
TheAltitude_195
TheAltitude_196
TheAltitude_197
TheAltitude_198
TheAltitude_199
TheAltitude_200
P3
Weight_Left_Wheel_on
Weight_Left_Wheel_off
stp1
Weight_Right_Wheel_on
Weight_Right_Wheel_off
stp5
Speed_Right_Wheel_1
Speed_Right_Wheel_2
Speed_Right_Wheel_3
Speed_Right_Wheel_4
Speed_Right_Wheel_5
Speed_Right_Wheel_6
Speed_Right_Wheel_7
Speed_Right_Wheel_8
Speed_Right_Wheel_9
Speed_Right_Wheel_10
Speed_Right_Wheel_11
Speed_Right_Wheel_12
Speed_Right_Wheel_13
Speed_Right_Wheel_14
Speed_Right_Wheel_15
Speed_Right_Wheel_16
Speed_Right_Wheel_17
Speed_Right_Wheel_18
Speed_Right_Wheel_19
Speed_Right_Wheel_20
Speed_Right_Wheel_21
Speed_Right_Wheel_22
Speed_Right_Wheel_23
Speed_Right_Wheel_24
Speed_Right_Wheel_25
Speed_Right_Wheel_26
Speed_Right_Wheel_27
Speed_Right_Wheel_28
Speed_Right_Wheel_29
Speed_Right_Wheel_30
Speed_Right_Wheel_31
Speed_Right_Wheel_32
Speed_Right_Wheel_33
Speed_Right_Wheel_34
Speed_Right_Wheel_35
Speed_Right_Wheel_36
Speed_Right_Wheel_37
Speed_Right_Wheel_38
Speed_Right_Wheel_39
Speed_Right_Wheel_40
Speed_Right_Wheel_41
Speed_Right_Wheel_42
Speed_Right_Wheel_43
Speed_Right_Wheel_44
Speed_Right_Wheel_45
Speed_Right_Wheel_46
Speed_Right_Wheel_47
Speed_Right_Wheel_48
Speed_Right_Wheel_49
Speed_Right_Wheel_50
Speed_Right_Wheel_51
Speed_Right_Wheel_52
Speed_Right_Wheel_53
Speed_Right_Wheel_54
Speed_Right_Wheel_55
Speed_Right_Wheel_56
Speed_Right_Wheel_57
Speed_Right_Wheel_58
Speed_Right_Wheel_59
Speed_Right_Wheel_60
Speed_Right_Wheel_61
Speed_Right_Wheel_62
Speed_Right_Wheel_63
Speed_Right_Wheel_64
Speed_Right_Wheel_65
Speed_Right_Wheel_66
Speed_Right_Wheel_67
Speed_Right_Wheel_68
Speed_Right_Wheel_69
Speed_Right_Wheel_70
Speed_Right_Wheel_71
Speed_Right_Wheel_72
Speed_Right_Wheel_73
Speed_Right_Wheel_74
Speed_Right_Wheel_75
Speed_Right_Wheel_76
Speed_Right_Wheel_77
Speed_Right_Wheel_78
Speed_Right_Wheel_79
Speed_Right_Wheel_80
Speed_Right_Wheel_81
Speed_Right_Wheel_82
Speed_Right_Wheel_83
Speed_Right_Wheel_84
Speed_Right_Wheel_85
Speed_Right_Wheel_86
Speed_Right_Wheel_87
Speed_Right_Wheel_88
Speed_Right_Wheel_89
Speed_Right_Wheel_90
Speed_Right_Wheel_91
Speed_Right_Wheel_92
Speed_Right_Wheel_93
Speed_Right_Wheel_94
Speed_Right_Wheel_95
Speed_Right_Wheel_96
Speed_Right_Wheel_97
Speed_Right_Wheel_98
Speed_Right_Wheel_99
Speed_Right_Wheel_100
P6

FORMULA AirplaneLD-COL-0100-UpperBounds-0 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA AirplaneLD-COL-0100-UpperBounds-1 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA AirplaneLD-COL-0100-UpperBounds-2 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA AirplaneLD-COL-0100-UpperBounds-3 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA AirplaneLD-COL-0100-UpperBounds-4 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA AirplaneLD-COL-0100-UpperBounds-5 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA AirplaneLD-COL-0100-UpperBounds-6 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA AirplaneLD-COL-0100-UpperBounds-7 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA AirplaneLD-COL-0100-UpperBounds-8 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA AirplaneLD-COL-0100-UpperBounds-9 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA AirplaneLD-COL-0100-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA AirplaneLD-COL-0100-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA AirplaneLD-COL-0100-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA AirplaneLD-COL-0100-UpperBounds-13 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA AirplaneLD-COL-0100-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

FORMULA AirplaneLD-COL-0100-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION STATE_COMPRESSION

BK_STOP 1464737856324

--------------------
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="AirplaneLD-PT-0100"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="tapaalEXP"
export BK_RESULT_DIR="/home/hulinhub/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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/AirplaneLD-PT-0100.tgz
mv AirplaneLD-PT-0100 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool tapaalEXP"
echo " Input is AirplaneLD-PT-0100, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r211su-blw3-146445832300110"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
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 ;