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 tapaalSEQ
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 r210su-blw3-146445827500119
=====================================================================

--------------------
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 1464705756588

---> tapaalSEQ --- TAPAAL Sequential

*******************************************
* TAPAAL Sequential verifying UpperBounds *
*******************************************

timeout 60 verifypn -n -d -r 1 -s DFS -x 1 model.pnml UpperBounds.xml
AirplaneLD-COL-0200-UpperBounds-0: place-bound EF "stp2" < 0

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

timeout 60 verifypn -n -d -r 1 -s DFS -x 3 model.pnml UpperBounds.xml
AirplaneLD-COL-0200-UpperBounds-2: place-bound EF "P4" < 0

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

timeout 60 verifypn -n -d -r 1 -s DFS -x 5 model.pnml UpperBounds.xml
AirplaneLD-COL-0200-UpperBounds-4: place-bound EF ("Speed_Right_Wheel_1" < 0) and ("Speed_Right_Wheel_2" < 0) and ("Speed_Right_Wheel_3" < 0) and ("Speed_Right_Wheel_4" < 0) and ("Speed_Right_Wheel_5" < 0) and ("Speed_Right_Wheel_6" < 0) and ("Speed_Right_Wheel_7" < 0) and ("Speed_Right_Wheel_8" < 0) and ("Speed_Right_Wheel_9" < 0) and ("Speed_Right_Wheel_10" < 0) and ("Speed_Right_Wheel_11" < 0) and ("Speed_Right_Wheel_12" < 0) and ("Speed_Right_Wheel_13" < 0) and ("Speed_Right_Wheel_14" < 0) and ("Speed_Right_Wheel_15" < 0) and ("Speed_Right_Wheel_16" < 0) and ("Speed_Right_Wheel_17" < 0) and ("Speed_Right_Wheel_18" < 0) and ("Speed_Right_Wheel_19" < 0) and ("Speed_Right_Wheel_20" < 0) and ("Speed_Right_Wheel_21" < 0) and ("Speed_Right_Wheel_22" < 0) and ("Speed_Right_Wheel_23" < 0) and ("Speed_Right_Wheel_24" < 0) and ("Speed_Right_Wheel_25" < 0) and ("Speed_Right_Wheel_26" < 0) and ("Speed_Right_Wheel_27" < 0) and ("Speed_Right_Wheel_28" < 0) and ("Speed_Right_Wheel_29" < 0) and ("Speed_Right_Wheel_30" < 0) and ("Speed_Right_Wheel_31" < 0) and ("Speed_Right_Wheel_32" < 0) and ("Speed_Right_Wheel_33" < 0) and ("Speed_Right_Wheel_34" < 0) and ("Speed_Right_Wheel_35" < 0) and ("Speed_Right_Wheel_36" < 0) and ("Speed_Right_Wheel_37" < 0) and ("Speed_Right_Wheel_38" < 0) and ("Speed_Right_Wheel_39" < 0) and ("Speed_Right_Wheel_40" < 0) and ("Speed_Right_Wheel_41" < 0) and ("Speed_Right_Wheel_42" < 0) and ("Speed_Right_Wheel_43" < 0) and ("Speed_Right_Wheel_44" < 0) and ("Speed_Right_Wheel_45" < 0) and ("Speed_Right_Wheel_46" < 0) and ("Speed_Right_Wheel_47" < 0) and ("Speed_Right_Wheel_48" < 0) and ("Speed_Right_Wheel_49" < 0) and ("Speed_Right_Wheel_50" < 0) and ("Speed_Right_Wheel_51" < 0) and ("Speed_Right_Wheel_52" < 0) and ("Speed_Right_Wheel_53" < 0) and ("Speed_Right_Wheel_54" < 0) and ("Speed_Right_Wheel_55" < 0) and ("Speed_Right_Wheel_56" < 0) and ("Speed_Right_Wheel_57" < 0) and ("Speed_Right_Wheel_58" < 0) and ("Speed_Right_Wheel_59" < 0) and ("Speed_Right_Wheel_60" < 0) and ("Speed_Right_Wheel_61" < 0) and ("Speed_Right_Wheel_62" < 0) and ("Speed_Right_Wheel_63" < 0) and ("Speed_Right_Wheel_64" < 0) and ("Speed_Right_Wheel_65" < 0) and ("Speed_Right_Wheel_66" < 0) and ("Speed_Right_Wheel_67" < 0) and ("Speed_Right_Wheel_68" < 0) and ("Speed_Right_Wheel_69" < 0) and ("Speed_Right_Wheel_70" < 0) and ("Speed_Right_Wheel_71" < 0) and ("Speed_Right_Wheel_72" < 0) and ("Speed_Right_Wheel_73" < 0) and ("Speed_Right_Wheel_74" < 0) and ("Speed_Right_Wheel_75" < 0) and ("Speed_Right_Wheel_76" < 0) and ("Speed_Right_Wheel_77" < 0) and ("Speed_Right_Wheel_78" < 0) and ("Speed_Right_Wheel_79" < 0) and ("Speed_Right_Wheel_80" < 0) and ("Speed_Right_Wheel_81" < 0) and ("Speed_Right_Wheel_82" < 0) and ("Speed_Right_Wheel_83" < 0) and ("Speed_Right_Wheel_84" < 0) and ("Speed_Right_Wheel_85" < 0) and ("Speed_Right_Wheel_86" < 0) and ("Speed_Right_Wheel_87" < 0) and ("Speed_Right_Wheel_88" < 0) and ("Speed_Right_Wheel_89" < 0) and ("Speed_Right_Wheel_90" < 0) and ("Speed_Right_Wheel_91" < 0) and ("Speed_Right_Wheel_92" < 0) and ("Speed_Right_Wheel_93" < 0) and ("Speed_Right_Wheel_94" < 0) and ("Speed_Right_Wheel_95" < 0) and ("Speed_Right_Wheel_96" < 0) and ("Speed_Right_Wheel_97" < 0) and ("Speed_Right_Wheel_98" < 0) and ("Speed_Right_Wheel_99" < 0) and ("Speed_Right_Wheel_100" < 0) and ("Speed_Right_Wheel_101" < 0) and ("Speed_Right_Wheel_102" < 0) and ("Speed_Right_Wheel_103" < 0) and ("Speed_Right_Wheel_104" < 0) and ("Speed_Right_Wheel_105" < 0) and ("Speed_Right_Wheel_106" < 0) and ("Speed_Right_Wheel_107" < 0) and ("Speed_Right_Wheel_108" < 0) and ("Speed_Right_Wheel_109" < 0) and ("Speed_Right_Wheel_110" < 0) and ("Speed_Right_Wheel_111" < 0) and ("Speed_Right_Wheel_112" < 0) and ("Speed_Right_Wheel_113" < 0) and ("Speed_Right_Wheel_114" < 0) and ("Speed_Right_Wheel_115" < 0) and ("Speed_Right_Wheel_116" < 0) and ("Speed_Right_Wheel_117" < 0) and ("Speed_Right_Wheel_118" < 0) and ("Speed_Right_Wheel_119" < 0) and ("Speed_Right_Wheel_120" < 0) and ("Speed_Right_Wheel_121" < 0) and ("Speed_Right_Wheel_122" < 0) and ("Speed_Right_Wheel_123" < 0) and ("Speed_Right_Wheel_124" < 0) and ("Speed_Right_Wheel_125" < 0) and ("Speed_Right_Wheel_126" < 0) and ("Speed_Right_Wheel_127" < 0) and ("Speed_Right_Wheel_128" < 0) and ("Speed_Right_Wheel_129" < 0) and ("Speed_Right_Wheel_130" < 0) and ("Speed_Right_Wheel_131" < 0) and ("Speed_Right_Wheel_132" < 0) and ("Speed_Right_Wheel_133" < 0) and ("Speed_Right_Wheel_134" < 0) and ("Speed_Right_Wheel_135" < 0) and ("Speed_Right_Wheel_136" < 0) and ("Speed_Right_Wheel_137" < 0) and ("Speed_Right_Wheel_138" < 0) and ("Speed_Right_Wheel_139" < 0) and ("Speed_Right_Wheel_140" < 0) and ("Speed_Right_Wheel_141" < 0) and ("Speed_Right_Wheel_142" < 0) and ("Speed_Right_Wheel_143" < 0) and ("Speed_Right_Wheel_144" < 0) and ("Speed_Right_Wheel_145" < 0) and ("Speed_Right_Wheel_146" < 0) and ("Speed_Right_Wheel_147" < 0) and ("Speed_Right_Wheel_148" < 0) and ("Speed_Right_Wheel_149" < 0) and ("Speed_Right_Wheel_150" < 0) and ("Speed_Right_Wheel_151" < 0) and ("Speed_Right_Wheel_152" < 0) and ("Speed_Right_Wheel_153" < 0) and ("Speed_Right_Wheel_154" < 0) and ("Speed_Right_Wheel_155" < 0) and ("Speed_Right_Wheel_156" < 0) and ("Speed_Right_Wheel_157" < 0) and ("Speed_Right_Wheel_158" < 0) and ("Speed_Right_Wheel_159" < 0) and ("Speed_Right_Wheel_160" < 0) and ("Speed_Right_Wheel_161" < 0) and ("Speed_Right_Wheel_162" < 0) and ("Speed_Right_Wheel_163" < 0) and ("Speed_Right_Wheel_164" < 0) and ("Speed_Right_Wheel_165" < 0) and ("Speed_Right_Wheel_166" < 0) and ("Speed_Right_Wheel_167" < 0) and ("Speed_Right_Wheel_168" < 0) and ("Speed_Right_Wheel_169" < 0) and ("Speed_Right_Wheel_170" < 0) and ("Speed_Right_Wheel_171" < 0) and ("Speed_Right_Wheel_172" < 0) and ("Speed_Right_Wheel_173" < 0) and ("Speed_Right_Wheel_174" < 0) and ("Speed_Right_Wheel_175" < 0) and ("Speed_Right_Wheel_176" < 0) and ("Speed_Right_Wheel_177" < 0) and ("Speed_Right_Wheel_178" < 0) and ("Speed_Right_Wheel_179" < 0) and ("Speed_Right_Wheel_180" < 0) and ("Speed_Right_Wheel_181" < 0) and ("Speed_Right_Wheel_182" < 0) and ("Speed_Right_Wheel_183" < 0) and ("Speed_Right_Wheel_184" < 0) and ("Speed_Right_Wheel_185" < 0) and ("Speed_Right_Wheel_186" < 0) and ("Speed_Right_Wheel_187" < 0) and ("Speed_Right_Wheel_188" < 0) and ("Speed_Right_Wheel_189" < 0) and ("Speed_Right_Wheel_190" < 0) and ("Speed_Right_Wheel_191" < 0) and ("Speed_Right_Wheel_192" < 0) and ("Speed_Right_Wheel_193" < 0) and ("Speed_Right_Wheel_194" < 0) and ("Speed_Right_Wheel_195" < 0) and ("Speed_Right_Wheel_196" < 0) and ("Speed_Right_Wheel_197" < 0) and ("Speed_Right_Wheel_198" < 0) and ("Speed_Right_Wheel_199" < 0) and ("Speed_Right_Wheel_200" < 0)

timeout 60 verifypn -n -d -r 1 -s DFS -x 6 model.pnml UpperBounds.xml
AirplaneLD-COL-0200-UpperBounds-5: place-bound EF "stp4" < 0

timeout 60 verifypn -n -d -r 1 -s DFS -x 7 model.pnml UpperBounds.xml
AirplaneLD-COL-0200-UpperBounds-6: place-bound EF ("Weight_Left_Wheel_on" < 0) and ("Weight_Left_Wheel_off" < 0)

timeout 60 verifypn -n -d -r 1 -s DFS -x 8 model.pnml UpperBounds.xml
AirplaneLD-COL-0200-UpperBounds-7: place-bound EF "P1" < 0

timeout 60 verifypn -n -d -r 1 -s DFS -x 9 model.pnml UpperBounds.xml
AirplaneLD-COL-0200-UpperBounds-8: place-bound EF "stp1" < 0

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

timeout 60 verifypn -n -d -r 1 -s DFS -x 11 model.pnml UpperBounds.xml
AirplaneLD-COL-0200-UpperBounds-10: place-bound EF "P1" < 0

timeout 60 verifypn -n -d -r 1 -s DFS -x 12 model.pnml UpperBounds.xml
AirplaneLD-COL-0200-UpperBounds-11: place-bound EF "P5" < 0

timeout 60 verifypn -n -d -r 1 -s DFS -x 13 model.pnml UpperBounds.xml
AirplaneLD-COL-0200-UpperBounds-12: place-bound EF ("Speed_Left_Wheel_1" < 0) and ("Speed_Left_Wheel_2" < 0) and ("Speed_Left_Wheel_3" < 0) and ("Speed_Left_Wheel_4" < 0) and ("Speed_Left_Wheel_5" < 0) and ("Speed_Left_Wheel_6" < 0) and ("Speed_Left_Wheel_7" < 0) and ("Speed_Left_Wheel_8" < 0) and ("Speed_Left_Wheel_9" < 0) and ("Speed_Left_Wheel_10" < 0) and ("Speed_Left_Wheel_11" < 0) and ("Speed_Left_Wheel_12" < 0) and ("Speed_Left_Wheel_13" < 0) and ("Speed_Left_Wheel_14" < 0) and ("Speed_Left_Wheel_15" < 0) and ("Speed_Left_Wheel_16" < 0) and ("Speed_Left_Wheel_17" < 0) and ("Speed_Left_Wheel_18" < 0) and ("Speed_Left_Wheel_19" < 0) and ("Speed_Left_Wheel_20" < 0) and ("Speed_Left_Wheel_21" < 0) and ("Speed_Left_Wheel_22" < 0) and ("Speed_Left_Wheel_23" < 0) and ("Speed_Left_Wheel_24" < 0) and ("Speed_Left_Wheel_25" < 0) and ("Speed_Left_Wheel_26" < 0) and ("Speed_Left_Wheel_27" < 0) and ("Speed_Left_Wheel_28" < 0) and ("Speed_Left_Wheel_29" < 0) and ("Speed_Left_Wheel_30" < 0) and ("Speed_Left_Wheel_31" < 0) and ("Speed_Left_Wheel_32" < 0) and ("Speed_Left_Wheel_33" < 0) and ("Speed_Left_Wheel_34" < 0) and ("Speed_Left_Wheel_35" < 0) and ("Speed_Left_Wheel_36" < 0) and ("Speed_Left_Wheel_37" < 0) and ("Speed_Left_Wheel_38" < 0) and ("Speed_Left_Wheel_39" < 0) and ("Speed_Left_Wheel_40" < 0) and ("Speed_Left_Wheel_41" < 0) and ("Speed_Left_Wheel_42" < 0) and ("Speed_Left_Wheel_43" < 0) and ("Speed_Left_Wheel_44" < 0) and ("Speed_Left_Wheel_45" < 0) and ("Speed_Left_Wheel_46" < 0) and ("Speed_Left_Wheel_47" < 0) and ("Speed_Left_Wheel_48" < 0) and ("Speed_Left_Wheel_49" < 0) and ("Speed_Left_Wheel_50" < 0) and ("Speed_Left_Wheel_51" < 0) and ("Speed_Left_Wheel_52" < 0) and ("Speed_Left_Wheel_53" < 0) and ("Speed_Left_Wheel_54" < 0) and ("Speed_Left_Wheel_55" < 0) and ("Speed_Left_Wheel_56" < 0) and ("Speed_Left_Wheel_57" < 0) and ("Speed_Left_Wheel_58" < 0) and ("Speed_Left_Wheel_59" < 0) and ("Speed_Left_Wheel_60" < 0) and ("Speed_Left_Wheel_61" < 0) and ("Speed_Left_Wheel_62" < 0) and ("Speed_Left_Wheel_63" < 0) and ("Speed_Left_Wheel_64" < 0) and ("Speed_Left_Wheel_65" < 0) and ("Speed_Left_Wheel_66" < 0) and ("Speed_Left_Wheel_67" < 0) and ("Speed_Left_Wheel_68" < 0) and ("Speed_Left_Wheel_69" < 0) and ("Speed_Left_Wheel_70" < 0) and ("Speed_Left_Wheel_71" < 0) and ("Speed_Left_Wheel_72" < 0) and ("Speed_Left_Wheel_73" < 0) and ("Speed_Left_Wheel_74" < 0) and ("Speed_Left_Wheel_75" < 0) and ("Speed_Left_Wheel_76" < 0) and ("Speed_Left_Wheel_77" < 0) and ("Speed_Left_Wheel_78" < 0) and ("Speed_Left_Wheel_79" < 0) and ("Speed_Left_Wheel_80" < 0) and ("Speed_Left_Wheel_81" < 0) and ("Speed_Left_Wheel_82" < 0) and ("Speed_Left_Wheel_83" < 0) and ("Speed_Left_Wheel_84" < 0) and ("Speed_Left_Wheel_85" < 0) and ("Speed_Left_Wheel_86" < 0) and ("Speed_Left_Wheel_87" < 0) and ("Speed_Left_Wheel_88" < 0) and ("Speed_Left_Wheel_89" < 0) and ("Speed_Left_Wheel_90" < 0) and ("Speed_Left_Wheel_91" < 0) and ("Speed_Left_Wheel_92" < 0) and ("Speed_Left_Wheel_93" < 0) and ("Speed_Left_Wheel_94" < 0) and ("Speed_Left_Wheel_95" < 0) and ("Speed_Left_Wheel_96" < 0) and ("Speed_Left_Wheel_97" < 0) and ("Speed_Left_Wheel_98" < 0) and ("Speed_Left_Wheel_99" < 0) and ("Speed_Left_Wheel_100" < 0) and ("Speed_Left_Wheel_101" < 0) and ("Speed_Left_Wheel_102" < 0) and ("Speed_Left_Wheel_103" < 0) and ("Speed_Left_Wheel_104" < 0) and ("Speed_Left_Wheel_105" < 0) and ("Speed_Left_Wheel_106" < 0) and ("Speed_Left_Wheel_107" < 0) and ("Speed_Left_Wheel_108" < 0) and ("Speed_Left_Wheel_109" < 0) and ("Speed_Left_Wheel_110" < 0) and ("Speed_Left_Wheel_111" < 0) and ("Speed_Left_Wheel_112" < 0) and ("Speed_Left_Wheel_113" < 0) and ("Speed_Left_Wheel_114" < 0) and ("Speed_Left_Wheel_115" < 0) and ("Speed_Left_Wheel_116" < 0) and ("Speed_Left_Wheel_117" < 0) and ("Speed_Left_Wheel_118" < 0) and ("Speed_Left_Wheel_119" < 0) and ("Speed_Left_Wheel_120" < 0) and ("Speed_Left_Wheel_121" < 0) and ("Speed_Left_Wheel_122" < 0) and ("Speed_Left_Wheel_123" < 0) and ("Speed_Left_Wheel_124" < 0) and ("Speed_Left_Wheel_125" < 0) and ("Speed_Left_Wheel_126" < 0) and ("Speed_Left_Wheel_127" < 0) and ("Speed_Left_Wheel_128" < 0) and ("Speed_Left_Wheel_129" < 0) and ("Speed_Left_Wheel_130" < 0) and ("Speed_Left_Wheel_131" < 0) and ("Speed_Left_Wheel_132" < 0) and ("Speed_Left_Wheel_133" < 0) and ("Speed_Left_Wheel_134" < 0) and ("Speed_Left_Wheel_135" < 0) and ("Speed_Left_Wheel_136" < 0) and ("Speed_Left_Wheel_137" < 0) and ("Speed_Left_Wheel_138" < 0) and ("Speed_Left_Wheel_139" < 0) and ("Speed_Left_Wheel_140" < 0) and ("Speed_Left_Wheel_141" < 0) and ("Speed_Left_Wheel_142" < 0) and ("Speed_Left_Wheel_143" < 0) and ("Speed_Left_Wheel_144" < 0) and ("Speed_Left_Wheel_145" < 0) and ("Speed_Left_Wheel_146" < 0) and ("Speed_Left_Wheel_147" < 0) and ("Speed_Left_Wheel_148" < 0) and ("Speed_Left_Wheel_149" < 0) and ("Speed_Left_Wheel_150" < 0) and ("Speed_Left_Wheel_151" < 0) and ("Speed_Left_Wheel_152" < 0) and ("Speed_Left_Wheel_153" < 0) and ("Speed_Left_Wheel_154" < 0) and ("Speed_Left_Wheel_155" < 0) and ("Speed_Left_Wheel_156" < 0) and ("Speed_Left_Wheel_157" < 0) and ("Speed_Left_Wheel_158" < 0) and ("Speed_Left_Wheel_159" < 0) and ("Speed_Left_Wheel_160" < 0) and ("Speed_Left_Wheel_161" < 0) and ("Speed_Left_Wheel_162" < 0) and ("Speed_Left_Wheel_163" < 0) and ("Speed_Left_Wheel_164" < 0) and ("Speed_Left_Wheel_165" < 0) and ("Speed_Left_Wheel_166" < 0) and ("Speed_Left_Wheel_167" < 0) and ("Speed_Left_Wheel_168" < 0) and ("Speed_Left_Wheel_169" < 0) and ("Speed_Left_Wheel_170" < 0) and ("Speed_Left_Wheel_171" < 0) and ("Speed_Left_Wheel_172" < 0) and ("Speed_Left_Wheel_173" < 0) and ("Speed_Left_Wheel_174" < 0) and ("Speed_Left_Wheel_175" < 0) and ("Speed_Left_Wheel_176" < 0) and ("Speed_Left_Wheel_177" < 0) and ("Speed_Left_Wheel_178" < 0) and ("Speed_Left_Wheel_179" < 0) and ("Speed_Left_Wheel_180" < 0) and ("Speed_Left_Wheel_181" < 0) and ("Speed_Left_Wheel_182" < 0) and ("Speed_Left_Wheel_183" < 0) and ("Speed_Left_Wheel_184" < 0) and ("Speed_Left_Wheel_185" < 0) and ("Speed_Left_Wheel_186" < 0) and ("Speed_Left_Wheel_187" < 0) and ("Speed_Left_Wheel_188" < 0) and ("Speed_Left_Wheel_189" < 0) and ("Speed_Left_Wheel_190" < 0) and ("Speed_Left_Wheel_191" < 0) and ("Speed_Left_Wheel_192" < 0) and ("Speed_Left_Wheel_193" < 0) and ("Speed_Left_Wheel_194" < 0) and ("Speed_Left_Wheel_195" < 0) and ("Speed_Left_Wheel_196" < 0) and ("Speed_Left_Wheel_197" < 0) and ("Speed_Left_Wheel_198" < 0) and ("Speed_Left_Wheel_199" < 0) and ("Speed_Left_Wheel_200" < 0)

timeout 60 verifypn -n -d -r 1 -s DFS -x 14 model.pnml UpperBounds.xml
AirplaneLD-COL-0200-UpperBounds-13: place-bound EF "stp1" < 0

timeout 60 verifypn -n -d -r 1 -s DFS -x 15 model.pnml UpperBounds.xml
AirplaneLD-COL-0200-UpperBounds-14: place-bound EF "P3" < 0

timeout 60 verifypn -n -d -r 1 -s DFS -x 16 model.pnml UpperBounds.xml
AirplaneLD-COL-0200-UpperBounds-15: place-bound EF ("Weight_Right_Wheel_on" < 0) and ("Weight_Right_Wheel_off" < 0)

timeout 7200 verifypn -n -d -r 1 -s BFS -x 1 model.pnml UpperBounds.xml
AirplaneLD-COL-0200-UpperBounds-0: place-bound EF "stp2" < 0


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


timeout 7200 verifypn -n -d -r 1 -s BFS -x 3 model.pnml UpperBounds.xml
AirplaneLD-COL-0200-UpperBounds-2: place-bound EF "P4" < 0


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

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/tapaal.sh: line 42: 372 Aborted timeout $1 $VERIFYPN $3 "-x" $QUERY model.pnml $4
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/tapaal.sh: line 42: 376 Aborted timeout $1 $VERIFYPN $3 "-x" $QUERY model.pnml $4
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/tapaal.sh: line 42: 380 Aborted timeout $1 $VERIFYPN $3 "-x" $QUERY model.pnml $4

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="tapaalSEQ"
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 tapaalSEQ"
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 r210su-blw3-146445827500119"
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 ;