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-0200, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r211su-blw3-146445832300119
=====================================================================

--------------------
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-0200-UpperBounds-0
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-1
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-10
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-11
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-12
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-13
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-14
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-15
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-2
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-3
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-4
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-5
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-6
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-7
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-8
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1464735700345

---> 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
SpeedPossibleVal_1
SpeedPossibleVal_2
SpeedPossibleVal_3
SpeedPossibleVal_4
SpeedPossibleVal_5
SpeedPossibleVal_6
SpeedPossibleVal_7
SpeedPossibleVal_8
SpeedPossibleVal_9
SpeedPossibleVal_10
SpeedPossibleVal_11
SpeedPossibleVal_12
SpeedPossibleVal_13
SpeedPossibleVal_14
SpeedPossibleVal_15
SpeedPossibleVal_16
SpeedPossibleVal_17
SpeedPossibleVal_18
SpeedPossibleVal_19
SpeedPossibleVal_20
SpeedPossibleVal_21
SpeedPossibleVal_22
SpeedPossibleVal_23
SpeedPossibleVal_24
SpeedPossibleVal_25
SpeedPossibleVal_26
SpeedPossibleVal_27
SpeedPossibleVal_28
SpeedPossibleVal_29
SpeedPossibleVal_30
SpeedPossibleVal_31
SpeedPossibleVal_32
SpeedPossibleVal_33
SpeedPossibleVal_34
SpeedPossibleVal_35
SpeedPossibleVal_36
SpeedPossibleVal_37
SpeedPossibleVal_38
SpeedPossibleVal_39
SpeedPossibleVal_40
SpeedPossibleVal_41
SpeedPossibleVal_42
SpeedPossibleVal_43
SpeedPossibleVal_44
SpeedPossibleVal_45
SpeedPossibleVal_46
SpeedPossibleVal_47
SpeedPossibleVal_48
SpeedPossibleVal_49
SpeedPossibleVal_50
SpeedPossibleVal_51
SpeedPossibleVal_52
SpeedPossibleVal_53
SpeedPossibleVal_54
SpeedPossibleVal_55
SpeedPossibleVal_56
SpeedPossibleVal_57
SpeedPossibleVal_58
SpeedPossibleVal_59
SpeedPossibleVal_60
SpeedPossibleVal_61
SpeedPossibleVal_62
SpeedPossibleVal_63
SpeedPossibleVal_64
SpeedPossibleVal_65
SpeedPossibleVal_66
SpeedPossibleVal_67
SpeedPossibleVal_68
SpeedPossibleVal_69
SpeedPossibleVal_70
SpeedPossibleVal_71
SpeedPossibleVal_72
SpeedPossibleVal_73
SpeedPossibleVal_74
SpeedPossibleVal_75
SpeedPossibleVal_76
SpeedPossibleVal_77
SpeedPossibleVal_78
SpeedPossibleVal_79
SpeedPossibleVal_80
SpeedPossibleVal_81
SpeedPossibleVal_82
SpeedPossibleVal_83
SpeedPossibleVal_84
SpeedPossibleVal_85
SpeedPossibleVal_86
SpeedPossibleVal_87
SpeedPossibleVal_88
SpeedPossibleVal_89
SpeedPossibleVal_90
SpeedPossibleVal_91
SpeedPossibleVal_92
SpeedPossibleVal_93
SpeedPossibleVal_94
SpeedPossibleVal_95
SpeedPossibleVal_96
SpeedPossibleVal_97
SpeedPossibleVal_98
SpeedPossibleVal_99
SpeedPossibleVal_100
SpeedPossibleVal_101
SpeedPossibleVal_102
SpeedPossibleVal_103
SpeedPossibleVal_104
SpeedPossibleVal_105
SpeedPossibleVal_106
SpeedPossibleVal_107
SpeedPossibleVal_108
SpeedPossibleVal_109
SpeedPossibleVal_110
SpeedPossibleVal_111
SpeedPossibleVal_112
SpeedPossibleVal_113
SpeedPossibleVal_114
SpeedPossibleVal_115
SpeedPossibleVal_116
SpeedPossibleVal_117
SpeedPossibleVal_118
SpeedPossibleVal_119
SpeedPossibleVal_120
SpeedPossibleVal_121
SpeedPossibleVal_122
SpeedPossibleVal_123
SpeedPossibleVal_124
SpeedPossibleVal_125
SpeedPossibleVal_126
SpeedPossibleVal_127
SpeedPossibleVal_128
SpeedPossibleVal_129
SpeedPossibleVal_130
SpeedPossibleVal_131
SpeedPossibleVal_132
SpeedPossibleVal_133
SpeedPossibleVal_134
SpeedPossibleVal_135
SpeedPossibleVal_136
SpeedPossibleVal_137
SpeedPossibleVal_138
SpeedPossibleVal_139
SpeedPossibleVal_140
SpeedPossibleVal_141
SpeedPossibleVal_142
SpeedPossibleVal_143
SpeedPossibleVal_144
SpeedPossibleVal_145
SpeedPossibleVal_146
SpeedPossibleVal_147
SpeedPossibleVal_148
SpeedPossibleVal_149
SpeedPossibleVal_150
SpeedPossibleVal_151
SpeedPossibleVal_152
SpeedPossibleVal_153
SpeedPossibleVal_154
SpeedPossibleVal_155
SpeedPossibleVal_156
SpeedPossibleVal_157
SpeedPossibleVal_158
SpeedPossibleVal_159
SpeedPossibleVal_160
SpeedPossibleVal_161
SpeedPossibleVal_162
SpeedPossibleVal_163
SpeedPossibleVal_164
SpeedPossibleVal_165
SpeedPossibleVal_166
SpeedPossibleVal_167
SpeedPossibleVal_168
SpeedPossibleVal_169
SpeedPossibleVal_170
SpeedPossibleVal_171
SpeedPossibleVal_172
SpeedPossibleVal_173
SpeedPossibleVal_174
SpeedPossibleVal_175
SpeedPossibleVal_176
SpeedPossibleVal_177
SpeedPossibleVal_178
SpeedPossibleVal_179
SpeedPossibleVal_180
SpeedPossibleVal_181
SpeedPossibleVal_182
SpeedPossibleVal_183
SpeedPossibleVal_184
SpeedPossibleVal_185
SpeedPossibleVal_186
SpeedPossibleVal_187
SpeedPossibleVal_188
SpeedPossibleVal_189
SpeedPossibleVal_190
SpeedPossibleVal_191
SpeedPossibleVal_192
SpeedPossibleVal_193
SpeedPossibleVal_194
SpeedPossibleVal_195
SpeedPossibleVal_196
SpeedPossibleVal_197
SpeedPossibleVal_198
SpeedPossibleVal_199
SpeedPossibleVal_200

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

verifypn -d -n -r 1 -s BFS -x 4 model.pnml UpperBounds.xml
SpeedPossibleVal_1
SpeedPossibleVal_2
SpeedPossibleVal_3
SpeedPossibleVal_4
SpeedPossibleVal_5
SpeedPossibleVal_6
SpeedPossibleVal_7
SpeedPossibleVal_8
SpeedPossibleVal_9
SpeedPossibleVal_10
SpeedPossibleVal_11
SpeedPossibleVal_12
SpeedPossibleVal_13
SpeedPossibleVal_14
SpeedPossibleVal_15
SpeedPossibleVal_16
SpeedPossibleVal_17
SpeedPossibleVal_18
SpeedPossibleVal_19
SpeedPossibleVal_20
SpeedPossibleVal_21
SpeedPossibleVal_22
SpeedPossibleVal_23
SpeedPossibleVal_24
SpeedPossibleVal_25
SpeedPossibleVal_26
SpeedPossibleVal_27
SpeedPossibleVal_28
SpeedPossibleVal_29
SpeedPossibleVal_30
SpeedPossibleVal_31
SpeedPossibleVal_32
SpeedPossibleVal_33
SpeedPossibleVal_34
SpeedPossibleVal_35
SpeedPossibleVal_36
SpeedPossibleVal_37
SpeedPossibleVal_38
SpeedPossibleVal_39
SpeedPossibleVal_40
SpeedPossibleVal_41
SpeedPossibleVal_42
SpeedPossibleVal_43
SpeedPossibleVal_44
SpeedPossibleVal_45
SpeedPossibleVal_46
SpeedPossibleVal_47
SpeedPossibleVal_48
SpeedPossibleVal_49
SpeedPossibleVal_50
SpeedPossibleVal_51
SpeedPossibleVal_52
SpeedPossibleVal_53
SpeedPossibleVal_54
SpeedPossibleVal_55
SpeedPossibleVal_56
SpeedPossibleVal_57
SpeedPossibleVal_58
SpeedPossibleVal_59
SpeedPossibleVal_60
SpeedPossibleVal_61
SpeedPossibleVal_62
SpeedPossibleVal_63
SpeedPossibleVal_64
SpeedPossibleVal_65
SpeedPossibleVal_66
SpeedPossibleVal_67
SpeedPossibleVal_68
SpeedPossibleVal_69
SpeedPossibleVal_70
SpeedPossibleVal_71
SpeedPossibleVal_72
SpeedPossibleVal_73
SpeedPossibleVal_74
SpeedPossibleVal_75
SpeedPossibleVal_76
SpeedPossibleVal_77
SpeedPossibleVal_78
SpeedPossibleVal_79
SpeedPossibleVal_80
SpeedPossibleVal_81
SpeedPossibleVal_82
SpeedPossibleVal_83
SpeedPossibleVal_84
SpeedPossibleVal_85
SpeedPossibleVal_86
SpeedPossibleVal_87
SpeedPossibleVal_88
SpeedPossibleVal_89
SpeedPossibleVal_90
SpeedPossibleVal_91
SpeedPossibleVal_92
SpeedPossibleVal_93
SpeedPossibleVal_94
SpeedPossibleVal_95
SpeedPossibleVal_96
SpeedPossibleVal_97
SpeedPossibleVal_98
SpeedPossibleVal_99
SpeedPossibleVal_100
SpeedPossibleVal_101
SpeedPossibleVal_102
SpeedPossibleVal_103
SpeedPossibleVal_104
SpeedPossibleVal_105
SpeedPossibleVal_106
SpeedPossibleVal_107
SpeedPossibleVal_108
SpeedPossibleVal_109
SpeedPossibleVal_110
SpeedPossibleVal_111
SpeedPossibleVal_112
SpeedPossibleVal_113
SpeedPossibleVal_114
SpeedPossibleVal_115
SpeedPossibleVal_116
SpeedPossibleVal_117
SpeedPossibleVal_118
SpeedPossibleVal_119
SpeedPossibleVal_120
SpeedPossibleVal_121
SpeedPossibleVal_122
SpeedPossibleVal_123
SpeedPossibleVal_124
SpeedPossibleVal_125
SpeedPossibleVal_126
SpeedPossibleVal_127
SpeedPossibleVal_128
SpeedPossibleVal_129
SpeedPossibleVal_130
SpeedPossibleVal_131
SpeedPossibleVal_132
SpeedPossibleVal_133
SpeedPossibleVal_134
SpeedPossibleVal_135
SpeedPossibleVal_136
SpeedPossibleVal_137
SpeedPossibleVal_138
SpeedPossibleVal_139
SpeedPossibleVal_140
SpeedPossibleVal_141
SpeedPossibleVal_142
SpeedPossibleVal_143
SpeedPossibleVal_144
SpeedPossibleVal_145
SpeedPossibleVal_146
SpeedPossibleVal_147
SpeedPossibleVal_148
SpeedPossibleVal_149
SpeedPossibleVal_150
SpeedPossibleVal_151
SpeedPossibleVal_152
SpeedPossibleVal_153
SpeedPossibleVal_154
SpeedPossibleVal_155
SpeedPossibleVal_156
SpeedPossibleVal_157
SpeedPossibleVal_158
SpeedPossibleVal_159
SpeedPossibleVal_160
SpeedPossibleVal_161
SpeedPossibleVal_162
SpeedPossibleVal_163
SpeedPossibleVal_164
SpeedPossibleVal_165
SpeedPossibleVal_166
SpeedPossibleVal_167
SpeedPossibleVal_168
SpeedPossibleVal_169
SpeedPossibleVal_170
SpeedPossibleVal_171
SpeedPossibleVal_172
SpeedPossibleVal_173
SpeedPossibleVal_174
SpeedPossibleVal_175
SpeedPossibleVal_176
SpeedPossibleVal_177
SpeedPossibleVal_178
SpeedPossibleVal_179
SpeedPossibleVal_180
SpeedPossibleVal_181
SpeedPossibleVal_182
SpeedPossibleVal_183
SpeedPossibleVal_184
SpeedPossibleVal_185
SpeedPossibleVal_186
SpeedPossibleVal_187
SpeedPossibleVal_188
SpeedPossibleVal_189
SpeedPossibleVal_190
SpeedPossibleVal_191
SpeedPossibleVal_192
SpeedPossibleVal_193
SpeedPossibleVal_194
SpeedPossibleVal_195
SpeedPossibleVal_196
SpeedPossibleVal_197
SpeedPossibleVal_198
SpeedPossibleVal_199
SpeedPossibleVal_200

verifypn -d -n -r 1 -s BFS -x 5 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
Speed_Right_Wheel_101
Speed_Right_Wheel_102
Speed_Right_Wheel_103
Speed_Right_Wheel_104
Speed_Right_Wheel_105
Speed_Right_Wheel_106
Speed_Right_Wheel_107
Speed_Right_Wheel_108
Speed_Right_Wheel_109
Speed_Right_Wheel_110
Speed_Right_Wheel_111
Speed_Right_Wheel_112
Speed_Right_Wheel_113
Speed_Right_Wheel_114
Speed_Right_Wheel_115
Speed_Right_Wheel_116
Speed_Right_Wheel_117
Speed_Right_Wheel_118
Speed_Right_Wheel_119
Speed_Right_Wheel_120
Speed_Right_Wheel_121
Speed_Right_Wheel_122
Speed_Right_Wheel_123
Speed_Right_Wheel_124
Speed_Right_Wheel_125
Speed_Right_Wheel_126
Speed_Right_Wheel_127
Speed_Right_Wheel_128
Speed_Right_Wheel_129
Speed_Right_Wheel_130
Speed_Right_Wheel_131
Speed_Right_Wheel_132
Speed_Right_Wheel_133
Speed_Right_Wheel_134
Speed_Right_Wheel_135
Speed_Right_Wheel_136
Speed_Right_Wheel_137
Speed_Right_Wheel_138
Speed_Right_Wheel_139
Speed_Right_Wheel_140
Speed_Right_Wheel_141
Speed_Right_Wheel_142
Speed_Right_Wheel_143
Speed_Right_Wheel_144
Speed_Right_Wheel_145
Speed_Right_Wheel_146
Speed_Right_Wheel_147
Speed_Right_Wheel_148
Speed_Right_Wheel_149
Speed_Right_Wheel_150
Speed_Right_Wheel_151
Speed_Right_Wheel_152
Speed_Right_Wheel_153
Speed_Right_Wheel_154
Speed_Right_Wheel_155
Speed_Right_Wheel_156
Speed_Right_Wheel_157
Speed_Right_Wheel_158
Speed_Right_Wheel_159
Speed_Right_Wheel_160
Speed_Right_Wheel_161
Speed_Right_Wheel_162
Speed_Right_Wheel_163
Speed_Right_Wheel_164
Speed_Right_Wheel_165
Speed_Right_Wheel_166
Speed_Right_Wheel_167
Speed_Right_Wheel_168
Speed_Right_Wheel_169
Speed_Right_Wheel_170
Speed_Right_Wheel_171
Speed_Right_Wheel_172
Speed_Right_Wheel_173
Speed_Right_Wheel_174
Speed_Right_Wheel_175
Speed_Right_Wheel_176
Speed_Right_Wheel_177
Speed_Right_Wheel_178
Speed_Right_Wheel_179
Speed_Right_Wheel_180
Speed_Right_Wheel_181
Speed_Right_Wheel_182
Speed_Right_Wheel_183
Speed_Right_Wheel_184
Speed_Right_Wheel_185
Speed_Right_Wheel_186
Speed_Right_Wheel_187
Speed_Right_Wheel_188
Speed_Right_Wheel_189
Speed_Right_Wheel_190
Speed_Right_Wheel_191
Speed_Right_Wheel_192
Speed_Right_Wheel_193
Speed_Right_Wheel_194
Speed_Right_Wheel_195
Speed_Right_Wheel_196
Speed_Right_Wheel_197
Speed_Right_Wheel_198
Speed_Right_Wheel_199
Speed_Right_Wheel_200

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

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

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

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

verifypn -d -n -r 1 -s BFS -x 10 model.pnml UpperBounds.xml
AltitudePossibleVal_1
AltitudePossibleVal_2
AltitudePossibleVal_3
AltitudePossibleVal_4
AltitudePossibleVal_5
AltitudePossibleVal_6
AltitudePossibleVal_7
AltitudePossibleVal_8
AltitudePossibleVal_9
AltitudePossibleVal_10
AltitudePossibleVal_11
AltitudePossibleVal_12
AltitudePossibleVal_13
AltitudePossibleVal_14
AltitudePossibleVal_15
AltitudePossibleVal_16
AltitudePossibleVal_17
AltitudePossibleVal_18
AltitudePossibleVal_19
AltitudePossibleVal_20
AltitudePossibleVal_21
AltitudePossibleVal_22
AltitudePossibleVal_23
AltitudePossibleVal_24
AltitudePossibleVal_25
AltitudePossibleVal_26
AltitudePossibleVal_27
AltitudePossibleVal_28
AltitudePossibleVal_29
AltitudePossibleVal_30
AltitudePossibleVal_31
AltitudePossibleVal_32
AltitudePossibleVal_33
AltitudePossibleVal_34
AltitudePossibleVal_35
AltitudePossibleVal_36
AltitudePossibleVal_37
AltitudePossibleVal_38
AltitudePossibleVal_39
AltitudePossibleVal_40
AltitudePossibleVal_41
AltitudePossibleVal_42
AltitudePossibleVal_43
AltitudePossibleVal_44
AltitudePossibleVal_45
AltitudePossibleVal_46
AltitudePossibleVal_47
AltitudePossibleVal_48
AltitudePossibleVal_49
AltitudePossibleVal_50
AltitudePossibleVal_51
AltitudePossibleVal_52
AltitudePossibleVal_53
AltitudePossibleVal_54
AltitudePossibleVal_55
AltitudePossibleVal_56
AltitudePossibleVal_57
AltitudePossibleVal_58
AltitudePossibleVal_59
AltitudePossibleVal_60
AltitudePossibleVal_61
AltitudePossibleVal_62
AltitudePossibleVal_63
AltitudePossibleVal_64
AltitudePossibleVal_65
AltitudePossibleVal_66
AltitudePossibleVal_67
AltitudePossibleVal_68
AltitudePossibleVal_69
AltitudePossibleVal_70
AltitudePossibleVal_71
AltitudePossibleVal_72
AltitudePossibleVal_73
AltitudePossibleVal_74
AltitudePossibleVal_75
AltitudePossibleVal_76
AltitudePossibleVal_77
AltitudePossibleVal_78
AltitudePossibleVal_79
AltitudePossibleVal_80
AltitudePossibleVal_81
AltitudePossibleVal_82
AltitudePossibleVal_83
AltitudePossibleVal_84
AltitudePossibleVal_85
AltitudePossibleVal_86
AltitudePossibleVal_87
AltitudePossibleVal_88
AltitudePossibleVal_89
AltitudePossibleVal_90
AltitudePossibleVal_91
AltitudePossibleVal_92
AltitudePossibleVal_93
AltitudePossibleVal_94
AltitudePossibleVal_95
AltitudePossibleVal_96
AltitudePossibleVal_97
AltitudePossibleVal_98
AltitudePossibleVal_99
AltitudePossibleVal_100
AltitudePossibleVal_101
AltitudePossibleVal_102
AltitudePossibleVal_103
AltitudePossibleVal_104
AltitudePossibleVal_105
AltitudePossibleVal_106
AltitudePossibleVal_107
AltitudePossibleVal_108
AltitudePossibleVal_109
AltitudePossibleVal_110
AltitudePossibleVal_111
AltitudePossibleVal_112
AltitudePossibleVal_113
AltitudePossibleVal_114
AltitudePossibleVal_115
AltitudePossibleVal_116
AltitudePossibleVal_117
AltitudePossibleVal_118
AltitudePossibleVal_119
AltitudePossibleVal_120
AltitudePossibleVal_121
AltitudePossibleVal_122
AltitudePossibleVal_123
AltitudePossibleVal_124
AltitudePossibleVal_125
AltitudePossibleVal_126
AltitudePossibleVal_127
AltitudePossibleVal_128
AltitudePossibleVal_129
AltitudePossibleVal_130
AltitudePossibleVal_131
AltitudePossibleVal_132
AltitudePossibleVal_133
AltitudePossibleVal_134
AltitudePossibleVal_135
AltitudePossibleVal_136
AltitudePossibleVal_137
AltitudePossibleVal_138
AltitudePossibleVal_139
AltitudePossibleVal_140
AltitudePossibleVal_141
AltitudePossibleVal_142
AltitudePossibleVal_143
AltitudePossibleVal_144
AltitudePossibleVal_145
AltitudePossibleVal_146
AltitudePossibleVal_147
AltitudePossibleVal_148
AltitudePossibleVal_149
AltitudePossibleVal_150
AltitudePossibleVal_151
AltitudePossibleVal_152
AltitudePossibleVal_153
AltitudePossibleVal_154
AltitudePossibleVal_155
AltitudePossibleVal_156
AltitudePossibleVal_157
AltitudePossibleVal_158
AltitudePossibleVal_159
AltitudePossibleVal_160
AltitudePossibleVal_161
AltitudePossibleVal_162
AltitudePossibleVal_163
AltitudePossibleVal_164
AltitudePossibleVal_165
AltitudePossibleVal_166
AltitudePossibleVal_167
AltitudePossibleVal_168
AltitudePossibleVal_169
AltitudePossibleVal_170
AltitudePossibleVal_171
AltitudePossibleVal_172
AltitudePossibleVal_173
AltitudePossibleVal_174
AltitudePossibleVal_175
AltitudePossibleVal_176
AltitudePossibleVal_177
AltitudePossibleVal_178
AltitudePossibleVal_179
AltitudePossibleVal_180
AltitudePossibleVal_181
AltitudePossibleVal_182
AltitudePossibleVal_183
AltitudePossibleVal_184
AltitudePossibleVal_185
AltitudePossibleVal_186
AltitudePossibleVal_187
AltitudePossibleVal_188
AltitudePossibleVal_189
AltitudePossibleVal_190
AltitudePossibleVal_191
AltitudePossibleVal_192
AltitudePossibleVal_193
AltitudePossibleVal_194
AltitudePossibleVal_195
AltitudePossibleVal_196
AltitudePossibleVal_197
AltitudePossibleVal_198
AltitudePossibleVal_199
AltitudePossibleVal_200
AltitudePossibleVal_201
AltitudePossibleVal_202
AltitudePossibleVal_203
AltitudePossibleVal_204
AltitudePossibleVal_205
AltitudePossibleVal_206
AltitudePossibleVal_207
AltitudePossibleVal_208
AltitudePossibleVal_209
AltitudePossibleVal_210
AltitudePossibleVal_211
AltitudePossibleVal_212
AltitudePossibleVal_213
AltitudePossibleVal_214
AltitudePossibleVal_215
AltitudePossibleVal_216
AltitudePossibleVal_217
AltitudePossibleVal_218
AltitudePossibleVal_219
AltitudePossibleVal_220
AltitudePossibleVal_221
AltitudePossibleVal_222
AltitudePossibleVal_223
AltitudePossibleVal_224
AltitudePossibleVal_225
AltitudePossibleVal_226
AltitudePossibleVal_227
AltitudePossibleVal_228
AltitudePossibleVal_229
AltitudePossibleVal_230
AltitudePossibleVal_231
AltitudePossibleVal_232
AltitudePossibleVal_233
AltitudePossibleVal_234
AltitudePossibleVal_235
AltitudePossibleVal_236
AltitudePossibleVal_237
AltitudePossibleVal_238
AltitudePossibleVal_239
AltitudePossibleVal_240
AltitudePossibleVal_241
AltitudePossibleVal_242
AltitudePossibleVal_243
AltitudePossibleVal_244
AltitudePossibleVal_245
AltitudePossibleVal_246
AltitudePossibleVal_247
AltitudePossibleVal_248
AltitudePossibleVal_249
AltitudePossibleVal_250
AltitudePossibleVal_251
AltitudePossibleVal_252
AltitudePossibleVal_253
AltitudePossibleVal_254
AltitudePossibleVal_255
AltitudePossibleVal_256
AltitudePossibleVal_257
AltitudePossibleVal_258
AltitudePossibleVal_259
AltitudePossibleVal_260
AltitudePossibleVal_261
AltitudePossibleVal_262
AltitudePossibleVal_263
AltitudePossibleVal_264
AltitudePossibleVal_265
AltitudePossibleVal_266
AltitudePossibleVal_267
AltitudePossibleVal_268
AltitudePossibleVal_269
AltitudePossibleVal_270
AltitudePossibleVal_271
AltitudePossibleVal_272
AltitudePossibleVal_273
AltitudePossibleVal_274
AltitudePossibleVal_275
AltitudePossibleVal_276
AltitudePossibleVal_277
AltitudePossibleVal_278
AltitudePossibleVal_279
AltitudePossibleVal_280
AltitudePossibleVal_281
AltitudePossibleVal_282
AltitudePossibleVal_283
AltitudePossibleVal_284
AltitudePossibleVal_285
AltitudePossibleVal_286
AltitudePossibleVal_287
AltitudePossibleVal_288
AltitudePossibleVal_289
AltitudePossibleVal_290
AltitudePossibleVal_291
AltitudePossibleVal_292
AltitudePossibleVal_293
AltitudePossibleVal_294
AltitudePossibleVal_295
AltitudePossibleVal_296
AltitudePossibleVal_297
AltitudePossibleVal_298
AltitudePossibleVal_299
AltitudePossibleVal_300
AltitudePossibleVal_301
AltitudePossibleVal_302
AltitudePossibleVal_303
AltitudePossibleVal_304
AltitudePossibleVal_305
AltitudePossibleVal_306
AltitudePossibleVal_307
AltitudePossibleVal_308
AltitudePossibleVal_309
AltitudePossibleVal_310
AltitudePossibleVal_311
AltitudePossibleVal_312
AltitudePossibleVal_313
AltitudePossibleVal_314
AltitudePossibleVal_315
AltitudePossibleVal_316
AltitudePossibleVal_317
AltitudePossibleVal_318
AltitudePossibleVal_319
AltitudePossibleVal_320
AltitudePossibleVal_321
AltitudePossibleVal_322
AltitudePossibleVal_323
AltitudePossibleVal_324
AltitudePossibleVal_325
AltitudePossibleVal_326
AltitudePossibleVal_327
AltitudePossibleVal_328
AltitudePossibleVal_329
AltitudePossibleVal_330
AltitudePossibleVal_331
AltitudePossibleVal_332
AltitudePossibleVal_333
AltitudePossibleVal_334
AltitudePossibleVal_335
AltitudePossibleVal_336
AltitudePossibleVal_337
AltitudePossibleVal_338
AltitudePossibleVal_339
AltitudePossibleVal_340
AltitudePossibleVal_341
AltitudePossibleVal_342
AltitudePossibleVal_343
AltitudePossibleVal_344
AltitudePossibleVal_345
AltitudePossibleVal_346
AltitudePossibleVal_347
AltitudePossibleVal_348
AltitudePossibleVal_349
AltitudePossibleVal_350
AltitudePossibleVal_351
AltitudePossibleVal_352
AltitudePossibleVal_353
AltitudePossibleVal_354
AltitudePossibleVal_355
AltitudePossibleVal_356
AltitudePossibleVal_357
AltitudePossibleVal_358
AltitudePossibleVal_359
AltitudePossibleVal_360
AltitudePossibleVal_361
AltitudePossibleVal_362
AltitudePossibleVal_363
AltitudePossibleVal_364
AltitudePossibleVal_365
AltitudePossibleVal_366
AltitudePossibleVal_367
AltitudePossibleVal_368
AltitudePossibleVal_369
AltitudePossibleVal_370
AltitudePossibleVal_371
AltitudePossibleVal_372
AltitudePossibleVal_373
AltitudePossibleVal_374
AltitudePossibleVal_375
AltitudePossibleVal_376
AltitudePossibleVal_377
AltitudePossibleVal_378
AltitudePossibleVal_379
AltitudePossibleVal_380
AltitudePossibleVal_381
AltitudePossibleVal_382
AltitudePossibleVal_383
AltitudePossibleVal_384
AltitudePossibleVal_385
AltitudePossibleVal_386
AltitudePossibleVal_387
AltitudePossibleVal_388
AltitudePossibleVal_389
AltitudePossibleVal_390
AltitudePossibleVal_391
AltitudePossibleVal_392
AltitudePossibleVal_393
AltitudePossibleVal_394
AltitudePossibleVal_395
AltitudePossibleVal_396
AltitudePossibleVal_397
AltitudePossibleVal_398
AltitudePossibleVal_399
AltitudePossibleVal_400

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

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

verifypn -d -n -r 1 -s BFS -x 13 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
Speed_Left_Wheel_101
Speed_Left_Wheel_102
Speed_Left_Wheel_103
Speed_Left_Wheel_104
Speed_Left_Wheel_105
Speed_Left_Wheel_106
Speed_Left_Wheel_107
Speed_Left_Wheel_108
Speed_Left_Wheel_109
Speed_Left_Wheel_110
Speed_Left_Wheel_111
Speed_Left_Wheel_112
Speed_Left_Wheel_113
Speed_Left_Wheel_114
Speed_Left_Wheel_115
Speed_Left_Wheel_116
Speed_Left_Wheel_117
Speed_Left_Wheel_118
Speed_Left_Wheel_119
Speed_Left_Wheel_120
Speed_Left_Wheel_121
Speed_Left_Wheel_122
Speed_Left_Wheel_123
Speed_Left_Wheel_124
Speed_Left_Wheel_125
Speed_Left_Wheel_126
Speed_Left_Wheel_127
Speed_Left_Wheel_128
Speed_Left_Wheel_129
Speed_Left_Wheel_130
Speed_Left_Wheel_131
Speed_Left_Wheel_132
Speed_Left_Wheel_133
Speed_Left_Wheel_134
Speed_Left_Wheel_135
Speed_Left_Wheel_136
Speed_Left_Wheel_137
Speed_Left_Wheel_138
Speed_Left_Wheel_139
Speed_Left_Wheel_140
Speed_Left_Wheel_141
Speed_Left_Wheel_142
Speed_Left_Wheel_143
Speed_Left_Wheel_144
Speed_Left_Wheel_145
Speed_Left_Wheel_146
Speed_Left_Wheel_147
Speed_Left_Wheel_148
Speed_Left_Wheel_149
Speed_Left_Wheel_150
Speed_Left_Wheel_151
Speed_Left_Wheel_152
Speed_Left_Wheel_153
Speed_Left_Wheel_154
Speed_Left_Wheel_155
Speed_Left_Wheel_156
Speed_Left_Wheel_157
Speed_Left_Wheel_158
Speed_Left_Wheel_159
Speed_Left_Wheel_160
Speed_Left_Wheel_161
Speed_Left_Wheel_162
Speed_Left_Wheel_163
Speed_Left_Wheel_164
Speed_Left_Wheel_165
Speed_Left_Wheel_166
Speed_Left_Wheel_167
Speed_Left_Wheel_168
Speed_Left_Wheel_169
Speed_Left_Wheel_170
Speed_Left_Wheel_171
Speed_Left_Wheel_172
Speed_Left_Wheel_173
Speed_Left_Wheel_174
Speed_Left_Wheel_175
Speed_Left_Wheel_176
Speed_Left_Wheel_177
Speed_Left_Wheel_178
Speed_Left_Wheel_179
Speed_Left_Wheel_180
Speed_Left_Wheel_181
Speed_Left_Wheel_182
Speed_Left_Wheel_183
Speed_Left_Wheel_184
Speed_Left_Wheel_185
Speed_Left_Wheel_186
Speed_Left_Wheel_187
Speed_Left_Wheel_188
Speed_Left_Wheel_189
Speed_Left_Wheel_190
Speed_Left_Wheel_191
Speed_Left_Wheel_192
Speed_Left_Wheel_193
Speed_Left_Wheel_194
Speed_Left_Wheel_195
Speed_Left_Wheel_196
Speed_Left_Wheel_197
Speed_Left_Wheel_198
Speed_Left_Wheel_199
Speed_Left_Wheel_200

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

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

verifypn -d -n -r 1 -s BFS -x 16 model.pnml UpperBounds.xml
Weight_Right_Wheel_on
Weight_Right_Wheel_off
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
SpeedPossibleVal_1
SpeedPossibleVal_2
SpeedPossibleVal_3
SpeedPossibleVal_4
SpeedPossibleVal_5
SpeedPossibleVal_6
SpeedPossibleVal_7
SpeedPossibleVal_8
SpeedPossibleVal_9
SpeedPossibleVal_10
SpeedPossibleVal_11
SpeedPossibleVal_12
SpeedPossibleVal_13
SpeedPossibleVal_14
SpeedPossibleVal_15
SpeedPossibleVal_16
SpeedPossibleVal_17
SpeedPossibleVal_18
SpeedPossibleVal_19
SpeedPossibleVal_20
SpeedPossibleVal_21
SpeedPossibleVal_22
SpeedPossibleVal_23
SpeedPossibleVal_24
SpeedPossibleVal_25
SpeedPossibleVal_26
SpeedPossibleVal_27
SpeedPossibleVal_28
SpeedPossibleVal_29
SpeedPossibleVal_30
SpeedPossibleVal_31
SpeedPossibleVal_32
SpeedPossibleVal_33
SpeedPossibleVal_34
SpeedPossibleVal_35
SpeedPossibleVal_36
SpeedPossibleVal_37
SpeedPossibleVal_38
SpeedPossibleVal_39
SpeedPossibleVal_40
SpeedPossibleVal_41
SpeedPossibleVal_42
SpeedPossibleVal_43
SpeedPossibleVal_44
SpeedPossibleVal_45
SpeedPossibleVal_46
SpeedPossibleVal_47
SpeedPossibleVal_48
SpeedPossibleVal_49
SpeedPossibleVal_50
SpeedPossibleVal_51
SpeedPossibleVal_52
SpeedPossibleVal_53
SpeedPossibleVal_54
SpeedPossibleVal_55
SpeedPossibleVal_56
SpeedPossibleVal_57
SpeedPossibleVal_58
SpeedPossibleVal_59
SpeedPossibleVal_60
SpeedPossibleVal_61
SpeedPossibleVal_62
SpeedPossibleVal_63
SpeedPossibleVal_64
SpeedPossibleVal_65
SpeedPossibleVal_66
SpeedPossibleVal_67
SpeedPossibleVal_68
SpeedPossibleVal_69
SpeedPossibleVal_70
SpeedPossibleVal_71
SpeedPossibleVal_72
SpeedPossibleVal_73
SpeedPossibleVal_74
SpeedPossibleVal_75
SpeedPossibleVal_76
SpeedPossibleVal_77
SpeedPossibleVal_78
SpeedPossibleVal_79
SpeedPossibleVal_80
SpeedPossibleVal_81
SpeedPossibleVal_82
SpeedPossibleVal_83
SpeedPossibleVal_84
SpeedPossibleVal_85
SpeedPossibleVal_86
SpeedPossibleVal_87
SpeedPossibleVal_88
SpeedPossibleVal_89
SpeedPossibleVal_90
SpeedPossibleVal_91
SpeedPossibleVal_92
SpeedPossibleVal_93
SpeedPossibleVal_94
SpeedPossibleVal_95
SpeedPossibleVal_96
SpeedPossibleVal_97
SpeedPossibleVal_98
SpeedPossibleVal_99
SpeedPossibleVal_100
SpeedPossibleVal_101
SpeedPossibleVal_102
SpeedPossibleVal_103
SpeedPossibleVal_104
SpeedPossibleVal_105
SpeedPossibleVal_106
SpeedPossibleVal_107
SpeedPossibleVal_108
SpeedPossibleVal_109
SpeedPossibleVal_110
SpeedPossibleVal_111
SpeedPossibleVal_112
SpeedPossibleVal_113
SpeedPossibleVal_114
SpeedPossibleVal_115
SpeedPossibleVal_116
SpeedPossibleVal_117
SpeedPossibleVal_118
SpeedPossibleVal_119
SpeedPossibleVal_120
SpeedPossibleVal_121
SpeedPossibleVal_122
SpeedPossibleVal_123
SpeedPossibleVal_124
SpeedPossibleVal_125
SpeedPossibleVal_126
SpeedPossibleVal_127
SpeedPossibleVal_128
SpeedPossibleVal_129
SpeedPossibleVal_130
SpeedPossibleVal_131
SpeedPossibleVal_132
SpeedPossibleVal_133
SpeedPossibleVal_134
SpeedPossibleVal_135
SpeedPossibleVal_136
SpeedPossibleVal_137
SpeedPossibleVal_138
SpeedPossibleVal_139
SpeedPossibleVal_140
SpeedPossibleVal_141
SpeedPossibleVal_142
SpeedPossibleVal_143
SpeedPossibleVal_144
SpeedPossibleVal_145
SpeedPossibleVal_146
SpeedPossibleVal_147
SpeedPossibleVal_148
SpeedPossibleVal_149
SpeedPossibleVal_150
SpeedPossibleVal_151
SpeedPossibleVal_152
SpeedPossibleVal_153
SpeedPossibleVal_154
SpeedPossibleVal_155
SpeedPossibleVal_156
SpeedPossibleVal_157
SpeedPossibleVal_158
SpeedPossibleVal_159
SpeedPossibleVal_160
SpeedPossibleVal_161
SpeedPossibleVal_162
SpeedPossibleVal_163
SpeedPossibleVal_164
SpeedPossibleVal_165
SpeedPossibleVal_166
SpeedPossibleVal_167
SpeedPossibleVal_168
SpeedPossibleVal_169
SpeedPossibleVal_170
SpeedPossibleVal_171
SpeedPossibleVal_172
SpeedPossibleVal_173
SpeedPossibleVal_174
SpeedPossibleVal_175
SpeedPossibleVal_176
SpeedPossibleVal_177
SpeedPossibleVal_178
SpeedPossibleVal_179
SpeedPossibleVal_180
SpeedPossibleVal_181
SpeedPossibleVal_182
SpeedPossibleVal_183
SpeedPossibleVal_184
SpeedPossibleVal_185
SpeedPossibleVal_186
SpeedPossibleVal_187
SpeedPossibleVal_188
SpeedPossibleVal_189
SpeedPossibleVal_190
SpeedPossibleVal_191
SpeedPossibleVal_192
SpeedPossibleVal_193
SpeedPossibleVal_194
SpeedPossibleVal_195
SpeedPossibleVal_196
SpeedPossibleVal_197
SpeedPossibleVal_198
SpeedPossibleVal_199
SpeedPossibleVal_200
P4
SpeedPossibleVal_1
SpeedPossibleVal_2
SpeedPossibleVal_3
SpeedPossibleVal_4
SpeedPossibleVal_5
SpeedPossibleVal_6
SpeedPossibleVal_7
SpeedPossibleVal_8
SpeedPossibleVal_9
SpeedPossibleVal_10
SpeedPossibleVal_11
SpeedPossibleVal_12
SpeedPossibleVal_13
SpeedPossibleVal_14
SpeedPossibleVal_15
SpeedPossibleVal_16
SpeedPossibleVal_17
SpeedPossibleVal_18
SpeedPossibleVal_19
SpeedPossibleVal_20
SpeedPossibleVal_21
SpeedPossibleVal_22
SpeedPossibleVal_23
SpeedPossibleVal_24
SpeedPossibleVal_25
SpeedPossibleVal_26
SpeedPossibleVal_27
SpeedPossibleVal_28
SpeedPossibleVal_29
SpeedPossibleVal_30
SpeedPossibleVal_31
SpeedPossibleVal_32
SpeedPossibleVal_33
SpeedPossibleVal_34
SpeedPossibleVal_35
SpeedPossibleVal_36
SpeedPossibleVal_37
SpeedPossibleVal_38
SpeedPossibleVal_39
SpeedPossibleVal_40
SpeedPossibleVal_41
SpeedPossibleVal_42
SpeedPossibleVal_43
SpeedPossibleVal_44
SpeedPossibleVal_45
SpeedPossibleVal_46
SpeedPossibleVal_47
SpeedPossibleVal_48
SpeedPossibleVal_49
SpeedPossibleVal_50
SpeedPossibleVal_51
SpeedPossibleVal_52
SpeedPossibleVal_53
SpeedPossibleVal_54
SpeedPossibleVal_55
SpeedPossibleVal_56
SpeedPossibleVal_57
SpeedPossibleVal_58
SpeedPossibleVal_59
SpeedPossibleVal_60
SpeedPossibleVal_61
SpeedPossibleVal_62
SpeedPossibleVal_63
SpeedPossibleVal_64
SpeedPossibleVal_65
SpeedPossibleVal_66
SpeedPossibleVal_67
SpeedPossibleVal_68
SpeedPossibleVal_69
SpeedPossibleVal_70
SpeedPossibleVal_71
SpeedPossibleVal_72
SpeedPossibleVal_73
SpeedPossibleVal_74
SpeedPossibleVal_75
SpeedPossibleVal_76
SpeedPossibleVal_77
SpeedPossibleVal_78
SpeedPossibleVal_79
SpeedPossibleVal_80
SpeedPossibleVal_81
SpeedPossibleVal_82
SpeedPossibleVal_83
SpeedPossibleVal_84
SpeedPossibleVal_85
SpeedPossibleVal_86
SpeedPossibleVal_87
SpeedPossibleVal_88
SpeedPossibleVal_89
SpeedPossibleVal_90
SpeedPossibleVal_91
SpeedPossibleVal_92
SpeedPossibleVal_93
SpeedPossibleVal_94
SpeedPossibleVal_95
SpeedPossibleVal_96
SpeedPossibleVal_97
SpeedPossibleVal_98
SpeedPossibleVal_99
SpeedPossibleVal_100
SpeedPossibleVal_101
SpeedPossibleVal_102
SpeedPossibleVal_103
SpeedPossibleVal_104
SpeedPossibleVal_105
SpeedPossibleVal_106
SpeedPossibleVal_107
SpeedPossibleVal_108
SpeedPossibleVal_109
SpeedPossibleVal_110
SpeedPossibleVal_111
SpeedPossibleVal_112
SpeedPossibleVal_113
SpeedPossibleVal_114
SpeedPossibleVal_115
SpeedPossibleVal_116
SpeedPossibleVal_117
SpeedPossibleVal_118
SpeedPossibleVal_119
SpeedPossibleVal_120
SpeedPossibleVal_121
SpeedPossibleVal_122
SpeedPossibleVal_123
SpeedPossibleVal_124
SpeedPossibleVal_125
SpeedPossibleVal_126
SpeedPossibleVal_127
SpeedPossibleVal_128
SpeedPossibleVal_129
SpeedPossibleVal_130
SpeedPossibleVal_131
SpeedPossibleVal_132
SpeedPossibleVal_133
SpeedPossibleVal_134
SpeedPossibleVal_135
SpeedPossibleVal_136
SpeedPossibleVal_137
SpeedPossibleVal_138
SpeedPossibleVal_139
SpeedPossibleVal_140
SpeedPossibleVal_141
SpeedPossibleVal_142
SpeedPossibleVal_143
SpeedPossibleVal_144
SpeedPossibleVal_145
SpeedPossibleVal_146
SpeedPossibleVal_147
SpeedPossibleVal_148
SpeedPossibleVal_149
SpeedPossibleVal_150
SpeedPossibleVal_151
SpeedPossibleVal_152
SpeedPossibleVal_153
SpeedPossibleVal_154
SpeedPossibleVal_155
SpeedPossibleVal_156
SpeedPossibleVal_157
SpeedPossibleVal_158
SpeedPossibleVal_159
SpeedPossibleVal_160
SpeedPossibleVal_161
SpeedPossibleVal_162
SpeedPossibleVal_163
SpeedPossibleVal_164
SpeedPossibleVal_165
SpeedPossibleVal_166
SpeedPossibleVal_167
SpeedPossibleVal_168
SpeedPossibleVal_169
SpeedPossibleVal_170
SpeedPossibleVal_171
SpeedPossibleVal_172
SpeedPossibleVal_173
SpeedPossibleVal_174
SpeedPossibleVal_175
SpeedPossibleVal_176
SpeedPossibleVal_177
SpeedPossibleVal_178
SpeedPossibleVal_179
SpeedPossibleVal_180
SpeedPossibleVal_181
SpeedPossibleVal_182
SpeedPossibleVal_183
SpeedPossibleVal_184
SpeedPossibleVal_185
SpeedPossibleVal_186
SpeedPossibleVal_187
SpeedPossibleVal_188
SpeedPossibleVal_189
SpeedPossibleVal_190
SpeedPossibleVal_191
SpeedPossibleVal_192
SpeedPossibleVal_193
SpeedPossibleVal_194
SpeedPossibleVal_195
SpeedPossibleVal_196
SpeedPossibleVal_197
SpeedPossibleVal_198
SpeedPossibleVal_199
SpeedPossibleVal_200
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
Speed_Right_Wheel_101
Speed_Right_Wheel_102
Speed_Right_Wheel_103
Speed_Right_Wheel_104
Speed_Right_Wheel_105
Speed_Right_Wheel_106
Speed_Right_Wheel_107
Speed_Right_Wheel_108
Speed_Right_Wheel_109
Speed_Right_Wheel_110
Speed_Right_Wheel_111
Speed_Right_Wheel_112
Speed_Right_Wheel_113
Speed_Right_Wheel_114
Speed_Right_Wheel_115
Speed_Right_Wheel_116
Speed_Right_Wheel_117
Speed_Right_Wheel_118
Speed_Right_Wheel_119
Speed_Right_Wheel_120
Speed_Right_Wheel_121
Speed_Right_Wheel_122
Speed_Right_Wheel_123
Speed_Right_Wheel_124
Speed_Right_Wheel_125
Speed_Right_Wheel_126
Speed_Right_Wheel_127
Speed_Right_Wheel_128
Speed_Right_Wheel_129
Speed_Right_Wheel_130
Speed_Right_Wheel_131
Speed_Right_Wheel_132
Speed_Right_Wheel_133
Speed_Right_Wheel_134
Speed_Right_Wheel_135
Speed_Right_Wheel_136
Speed_Right_Wheel_137
Speed_Right_Wheel_138
Speed_Right_Wheel_139
Speed_Right_Wheel_140
Speed_Right_Wheel_141
Speed_Right_Wheel_142
Speed_Right_Wheel_143
Speed_Right_Wheel_144
Speed_Right_Wheel_145
Speed_Right_Wheel_146
Speed_Right_Wheel_147
Speed_Right_Wheel_148
Speed_Right_Wheel_149
Speed_Right_Wheel_150
Speed_Right_Wheel_151
Speed_Right_Wheel_152
Speed_Right_Wheel_153
Speed_Right_Wheel_154
Speed_Right_Wheel_155
Speed_Right_Wheel_156
Speed_Right_Wheel_157
Speed_Right_Wheel_158
Speed_Right_Wheel_159
Speed_Right_Wheel_160
Speed_Right_Wheel_161
Speed_Right_Wheel_162
Speed_Right_Wheel_163
Speed_Right_Wheel_164
Speed_Right_Wheel_165
Speed_Right_Wheel_166
Speed_Right_Wheel_167
Speed_Right_Wheel_168
Speed_Right_Wheel_169
Speed_Right_Wheel_170
Speed_Right_Wheel_171
Speed_Right_Wheel_172
Speed_Right_Wheel_173
Speed_Right_Wheel_174
Speed_Right_Wheel_175
Speed_Right_Wheel_176
Speed_Right_Wheel_177
Speed_Right_Wheel_178
Speed_Right_Wheel_179
Speed_Right_Wheel_180
Speed_Right_Wheel_181
Speed_Right_Wheel_182
Speed_Right_Wheel_183
Speed_Right_Wheel_184
Speed_Right_Wheel_185
Speed_Right_Wheel_186
Speed_Right_Wheel_187
Speed_Right_Wheel_188
Speed_Right_Wheel_189
Speed_Right_Wheel_190
Speed_Right_Wheel_191
Speed_Right_Wheel_192
Speed_Right_Wheel_193
Speed_Right_Wheel_194
Speed_Right_Wheel_195
Speed_Right_Wheel_196
Speed_Right_Wheel_197
Speed_Right_Wheel_198
Speed_Right_Wheel_199
Speed_Right_Wheel_200
stp4
Weight_Left_Wheel_on
Weight_Left_Wheel_off
P1
stp1
AltitudePossibleVal_1
AltitudePossibleVal_2
AltitudePossibleVal_3
AltitudePossibleVal_4
AltitudePossibleVal_5
AltitudePossibleVal_6
AltitudePossibleVal_7
AltitudePossibleVal_8
AltitudePossibleVal_9
AltitudePossibleVal_10
AltitudePossibleVal_11
AltitudePossibleVal_12
AltitudePossibleVal_13
AltitudePossibleVal_14
AltitudePossibleVal_15
AltitudePossibleVal_16
AltitudePossibleVal_17
AltitudePossibleVal_18
AltitudePossibleVal_19
AltitudePossibleVal_20
AltitudePossibleVal_21
AltitudePossibleVal_22
AltitudePossibleVal_23
AltitudePossibleVal_24
AltitudePossibleVal_25
AltitudePossibleVal_26
AltitudePossibleVal_27
AltitudePossibleVal_28
AltitudePossibleVal_29
AltitudePossibleVal_30
AltitudePossibleVal_31
AltitudePossibleVal_32
AltitudePossibleVal_33
AltitudePossibleVal_34
AltitudePossibleVal_35
AltitudePossibleVal_36
AltitudePossibleVal_37
AltitudePossibleVal_38
AltitudePossibleVal_39
AltitudePossibleVal_40
AltitudePossibleVal_41
AltitudePossibleVal_42
AltitudePossibleVal_43
AltitudePossibleVal_44
AltitudePossibleVal_45
AltitudePossibleVal_46
AltitudePossibleVal_47
AltitudePossibleVal_48
AltitudePossibleVal_49
AltitudePossibleVal_50
AltitudePossibleVal_51
AltitudePossibleVal_52
AltitudePossibleVal_53
AltitudePossibleVal_54
AltitudePossibleVal_55
AltitudePossibleVal_56
AltitudePossibleVal_57
AltitudePossibleVal_58
AltitudePossibleVal_59
AltitudePossibleVal_60
AltitudePossibleVal_61
AltitudePossibleVal_62
AltitudePossibleVal_63
AltitudePossibleVal_64
AltitudePossibleVal_65
AltitudePossibleVal_66
AltitudePossibleVal_67
AltitudePossibleVal_68
AltitudePossibleVal_69
AltitudePossibleVal_70
AltitudePossibleVal_71
AltitudePossibleVal_72
AltitudePossibleVal_73
AltitudePossibleVal_74
AltitudePossibleVal_75
AltitudePossibleVal_76
AltitudePossibleVal_77
AltitudePossibleVal_78
AltitudePossibleVal_79
AltitudePossibleVal_80
AltitudePossibleVal_81
AltitudePossibleVal_82
AltitudePossibleVal_83
AltitudePossibleVal_84
AltitudePossibleVal_85
AltitudePossibleVal_86
AltitudePossibleVal_87
AltitudePossibleVal_88
AltitudePossibleVal_89
AltitudePossibleVal_90
AltitudePossibleVal_91
AltitudePossibleVal_92
AltitudePossibleVal_93
AltitudePossibleVal_94
AltitudePossibleVal_95
AltitudePossibleVal_96
AltitudePossibleVal_97
AltitudePossibleVal_98
AltitudePossibleVal_99
AltitudePossibleVal_100
AltitudePossibleVal_101
AltitudePossibleVal_102
AltitudePossibleVal_103
AltitudePossibleVal_104
AltitudePossibleVal_105
AltitudePossibleVal_106
AltitudePossibleVal_107
AltitudePossibleVal_108
AltitudePossibleVal_109
AltitudePossibleVal_110
AltitudePossibleVal_111
AltitudePossibleVal_112
AltitudePossibleVal_113
AltitudePossibleVal_114
AltitudePossibleVal_115
AltitudePossibleVal_116
AltitudePossibleVal_117
AltitudePossibleVal_118
AltitudePossibleVal_119
AltitudePossibleVal_120
AltitudePossibleVal_121
AltitudePossibleVal_122
AltitudePossibleVal_123
AltitudePossibleVal_124
AltitudePossibleVal_125
AltitudePossibleVal_126
AltitudePossibleVal_127
AltitudePossibleVal_128
AltitudePossibleVal_129
AltitudePossibleVal_130
AltitudePossibleVal_131
AltitudePossibleVal_132
AltitudePossibleVal_133
AltitudePossibleVal_134
AltitudePossibleVal_135
AltitudePossibleVal_136
AltitudePossibleVal_137
AltitudePossibleVal_138
AltitudePossibleVal_139
AltitudePossibleVal_140
AltitudePossibleVal_141
AltitudePossibleVal_142
AltitudePossibleVal_143
AltitudePossibleVal_144
AltitudePossibleVal_145
AltitudePossibleVal_146
AltitudePossibleVal_147
AltitudePossibleVal_148
AltitudePossibleVal_149
AltitudePossibleVal_150
AltitudePossibleVal_151
AltitudePossibleVal_152
AltitudePossibleVal_153
AltitudePossibleVal_154
AltitudePossibleVal_155
AltitudePossibleVal_156
AltitudePossibleVal_157
AltitudePossibleVal_158
AltitudePossibleVal_159
AltitudePossibleVal_160
AltitudePossibleVal_161
AltitudePossibleVal_162
AltitudePossibleVal_163
AltitudePossibleVal_164
AltitudePossibleVal_165
AltitudePossibleVal_166
AltitudePossibleVal_167
AltitudePossibleVal_168
AltitudePossibleVal_169
AltitudePossibleVal_170
AltitudePossibleVal_171
AltitudePossibleVal_172
AltitudePossibleVal_173
AltitudePossibleVal_174
AltitudePossibleVal_175
AltitudePossibleVal_176
AltitudePossibleVal_177
AltitudePossibleVal_178
AltitudePossibleVal_179
AltitudePossibleVal_180
AltitudePossibleVal_181
AltitudePossibleVal_182
AltitudePossibleVal_183
AltitudePossibleVal_184
AltitudePossibleVal_185
AltitudePossibleVal_186
AltitudePossibleVal_187
AltitudePossibleVal_188
AltitudePossibleVal_189
AltitudePossibleVal_190
AltitudePossibleVal_191
AltitudePossibleVal_192
AltitudePossibleVal_193
AltitudePossibleVal_194
AltitudePossibleVal_195
AltitudePossibleVal_196
AltitudePossibleVal_197
AltitudePossibleVal_198
AltitudePossibleVal_199
AltitudePossibleVal_200
AltitudePossibleVal_201
AltitudePossibleVal_202
AltitudePossibleVal_203
AltitudePossibleVal_204
AltitudePossibleVal_205
AltitudePossibleVal_206
AltitudePossibleVal_207
AltitudePossibleVal_208
AltitudePossibleVal_209
AltitudePossibleVal_210
AltitudePossibleVal_211
AltitudePossibleVal_212
AltitudePossibleVal_213
AltitudePossibleVal_214
AltitudePossibleVal_215
AltitudePossibleVal_216
AltitudePossibleVal_217
AltitudePossibleVal_218
AltitudePossibleVal_219
AltitudePossibleVal_220
AltitudePossibleVal_221
AltitudePossibleVal_222
AltitudePossibleVal_223
AltitudePossibleVal_224
AltitudePossibleVal_225
AltitudePossibleVal_226
AltitudePossibleVal_227
AltitudePossibleVal_228
AltitudePossibleVal_229
AltitudePossibleVal_230
AltitudePossibleVal_231
AltitudePossibleVal_232
AltitudePossibleVal_233
AltitudePossibleVal_234
AltitudePossibleVal_235
AltitudePossibleVal_236
AltitudePossibleVal_237
AltitudePossibleVal_238
AltitudePossibleVal_239
AltitudePossibleVal_240
AltitudePossibleVal_241
AltitudePossibleVal_242
AltitudePossibleVal_243
AltitudePossibleVal_244
AltitudePossibleVal_245
AltitudePossibleVal_246
AltitudePossibleVal_247
AltitudePossibleVal_248
AltitudePossibleVal_249
AltitudePossibleVal_250
AltitudePossibleVal_251
AltitudePossibleVal_252
AltitudePossibleVal_253
AltitudePossibleVal_254
AltitudePossibleVal_255
AltitudePossibleVal_256
AltitudePossibleVal_257
AltitudePossibleVal_258
AltitudePossibleVal_259
AltitudePossibleVal_260
AltitudePossibleVal_261
AltitudePossibleVal_262
AltitudePossibleVal_263
AltitudePossibleVal_264
AltitudePossibleVal_265
AltitudePossibleVal_266
AltitudePossibleVal_267
AltitudePossibleVal_268
AltitudePossibleVal_269
AltitudePossibleVal_270
AltitudePossibleVal_271
AltitudePossibleVal_272
AltitudePossibleVal_273
AltitudePossibleVal_274
AltitudePossibleVal_275
AltitudePossibleVal_276
AltitudePossibleVal_277
AltitudePossibleVal_278
AltitudePossibleVal_279
AltitudePossibleVal_280
AltitudePossibleVal_281
AltitudePossibleVal_282
AltitudePossibleVal_283
AltitudePossibleVal_284
AltitudePossibleVal_285
AltitudePossibleVal_286
AltitudePossibleVal_287
AltitudePossibleVal_288
AltitudePossibleVal_289
AltitudePossibleVal_290
AltitudePossibleVal_291
AltitudePossibleVal_292
AltitudePossibleVal_293
AltitudePossibleVal_294
AltitudePossibleVal_295
AltitudePossibleVal_296
AltitudePossibleVal_297
AltitudePossibleVal_298
AltitudePossibleVal_299
AltitudePossibleVal_300
AltitudePossibleVal_301
AltitudePossibleVal_302
AltitudePossibleVal_303
AltitudePossibleVal_304
AltitudePossibleVal_305
AltitudePossibleVal_306
AltitudePossibleVal_307
AltitudePossibleVal_308
AltitudePossibleVal_309
AltitudePossibleVal_310
AltitudePossibleVal_311
AltitudePossibleVal_312
AltitudePossibleVal_313
AltitudePossibleVal_314
AltitudePossibleVal_315
AltitudePossibleVal_316
AltitudePossibleVal_317
AltitudePossibleVal_318
AltitudePossibleVal_319
AltitudePossibleVal_320
AltitudePossibleVal_321
AltitudePossibleVal_322
AltitudePossibleVal_323
AltitudePossibleVal_324
AltitudePossibleVal_325
AltitudePossibleVal_326
AltitudePossibleVal_327
AltitudePossibleVal_328
AltitudePossibleVal_329
AltitudePossibleVal_330
AltitudePossibleVal_331
AltitudePossibleVal_332
AltitudePossibleVal_333
AltitudePossibleVal_334
AltitudePossibleVal_335
AltitudePossibleVal_336
AltitudePossibleVal_337
AltitudePossibleVal_338
AltitudePossibleVal_339
AltitudePossibleVal_340
AltitudePossibleVal_341
AltitudePossibleVal_342
AltitudePossibleVal_343
AltitudePossibleVal_344
AltitudePossibleVal_345
AltitudePossibleVal_346
AltitudePossibleVal_347
AltitudePossibleVal_348
AltitudePossibleVal_349
AltitudePossibleVal_350
AltitudePossibleVal_351
AltitudePossibleVal_352
AltitudePossibleVal_353
AltitudePossibleVal_354
AltitudePossibleVal_355
AltitudePossibleVal_356
AltitudePossibleVal_357
AltitudePossibleVal_358
AltitudePossibleVal_359
AltitudePossibleVal_360
AltitudePossibleVal_361
AltitudePossibleVal_362
AltitudePossibleVal_363
AltitudePossibleVal_364
AltitudePossibleVal_365
AltitudePossibleVal_366
AltitudePossibleVal_367
AltitudePossibleVal_368
AltitudePossibleVal_369
AltitudePossibleVal_370
AltitudePossibleVal_371
AltitudePossibleVal_372
AltitudePossibleVal_373
AltitudePossibleVal_374
AltitudePossibleVal_375
AltitudePossibleVal_376
AltitudePossibleVal_377
AltitudePossibleVal_378
AltitudePossibleVal_379
AltitudePossibleVal_380
AltitudePossibleVal_381
AltitudePossibleVal_382
AltitudePossibleVal_383
AltitudePossibleVal_384
AltitudePossibleVal_385
AltitudePossibleVal_386
AltitudePossibleVal_387
AltitudePossibleVal_388
AltitudePossibleVal_389
AltitudePossibleVal_390
AltitudePossibleVal_391
AltitudePossibleVal_392
AltitudePossibleVal_393
AltitudePossibleVal_394
AltitudePossibleVal_395
AltitudePossibleVal_396
AltitudePossibleVal_397
AltitudePossibleVal_398
AltitudePossibleVal_399
AltitudePossibleVal_400
P1
P5
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_101
Speed_Left_Wheel_102
Speed_Left_Wheel_103
Speed_Left_Wheel_104
Speed_Left_Wheel_105
Speed_Left_Wheel_106
Speed_Left_Wheel_107
Speed_Left_Wheel_108
Speed_Left_Wheel_109
Speed_Left_Wheel_110
Speed_Left_Wheel_111
Speed_Left_Wheel_112
Speed_Left_Wheel_113
Speed_Left_Wheel_114
Speed_Left_Wheel_115
Speed_Left_Wheel_116
Speed_Left_Wheel_117
Speed_Left_Wheel_118
Speed_Left_Wheel_119
Speed_Left_Wheel_120
Speed_Left_Wheel_121
Speed_Left_Wheel_122
Speed_Left_Wheel_123
Speed_Left_Wheel_124
Speed_Left_Wheel_125
Speed_Left_Wheel_126
Speed_Left_Wheel_127
Speed_Left_Wheel_128
Speed_Left_Wheel_129
Speed_Left_Wheel_130
Speed_Left_Wheel_131
Speed_Left_Wheel_132
Speed_Left_Wheel_133
Speed_Left_Wheel_134
Speed_Left_Wheel_135
Speed_Left_Wheel_136
Speed_Left_Wheel_137
Speed_Left_Wheel_138
Speed_Left_Wheel_139
Speed_Left_Wheel_140
Speed_Left_Wheel_141
Speed_Left_Wheel_142
Speed_Left_Wheel_143
Speed_Left_Wheel_144
Speed_Left_Wheel_145
Speed_Left_Wheel_146
Speed_Left_Wheel_147
Speed_Left_Wheel_148
Speed_Left_Wheel_149
Speed_Left_Wheel_150
Speed_Left_Wheel_151
Speed_Left_Wheel_152
Speed_Left_Wheel_153
Speed_Left_Wheel_154
Speed_Left_Wheel_155
Speed_Left_Wheel_156
Speed_Left_Wheel_157
Speed_Left_Wheel_158
Speed_Left_Wheel_159
Speed_Left_Wheel_160
Speed_Left_Wheel_161
Speed_Left_Wheel_162
Speed_Left_Wheel_163
Speed_Left_Wheel_164
Speed_Left_Wheel_165
Speed_Left_Wheel_166
Speed_Left_Wheel_167
Speed_Left_Wheel_168
Speed_Left_Wheel_169
Speed_Left_Wheel_170
Speed_Left_Wheel_171
Speed_Left_Wheel_172
Speed_Left_Wheel_173
Speed_Left_Wheel_174
Speed_Left_Wheel_175
Speed_Left_Wheel_176
Speed_Left_Wheel_177
Speed_Left_Wheel_178
Speed_Left_Wheel_179
Speed_Left_Wheel_180
Speed_Left_Wheel_181
Speed_Left_Wheel_182
Speed_Left_Wheel_183
Speed_Left_Wheel_184
Speed_Left_Wheel_185
Speed_Left_Wheel_186
Speed_Left_Wheel_187
Speed_Left_Wheel_188
Speed_Left_Wheel_189
Speed_Left_Wheel_190
Speed_Left_Wheel_191
Speed_Left_Wheel_192
Speed_Left_Wheel_193
Speed_Left_Wheel_194
Speed_Left_Wheel_195
Speed_Left_Wheel_196
Speed_Left_Wheel_197
Speed_Left_Wheel_198
Speed_Left_Wheel_199
Speed_Left_Wheel_200
stp1
P3
Weight_Right_Wheel_on
Weight_Right_Wheel_off

BK_TIME_CONFINEMENT_REACHED

--------------------
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-0200"
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-0200.tgz
mv AirplaneLD-PT-0200 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-0200, 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-146445832300119"
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 ;