About the Execution of Tapaal(SEQ) for AirplaneLD-PT-2000
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 3784.150 | 3600000.00 | 8162990.00 | 49.50 | [undef] | Time out reached |
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-2000, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r210su-blw3-146445827700146
=====================================================================
--------------------
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-2000-UpperBounds-0
FORMULA_NAME AirplaneLD-COL-2000-UpperBounds-1
FORMULA_NAME AirplaneLD-COL-2000-UpperBounds-10
FORMULA_NAME AirplaneLD-COL-2000-UpperBounds-11
FORMULA_NAME AirplaneLD-COL-2000-UpperBounds-12
FORMULA_NAME AirplaneLD-COL-2000-UpperBounds-13
FORMULA_NAME AirplaneLD-COL-2000-UpperBounds-14
FORMULA_NAME AirplaneLD-COL-2000-UpperBounds-15
FORMULA_NAME AirplaneLD-COL-2000-UpperBounds-2
FORMULA_NAME AirplaneLD-COL-2000-UpperBounds-3
FORMULA_NAME AirplaneLD-COL-2000-UpperBounds-4
FORMULA_NAME AirplaneLD-COL-2000-UpperBounds-5
FORMULA_NAME AirplaneLD-COL-2000-UpperBounds-6
FORMULA_NAME AirplaneLD-COL-2000-UpperBounds-7
FORMULA_NAME AirplaneLD-COL-2000-UpperBounds-8
FORMULA_NAME AirplaneLD-COL-2000-UpperBounds-9
=== Now, execution of the tool begins
BK_START 1464706310055
---> tapaalSEQ --- TAPAAL Sequential
*******************************************
* TAPAAL Sequential verifying UpperBounds *
*******************************************
timeout 60 verifypn -n -d -r 1 -s DFS -x 1 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-0: place-bound EF ("Weight_Left_Wheel_on" < 0) and ("Weight_Left_Wheel_off" < 0)
timeout 60 verifypn -n -d -r 1 -s DFS -x 2 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-1: place-bound EF "P5" < 0
timeout 60 verifypn -n -d -r 1 -s DFS -x 3 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-2: place-bound EF "stp2" < 0
timeout 60 verifypn -n -d -r 1 -s DFS -x 4 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-3: place-bound EF "P2" < 0
timeout 60 verifypn -n -d -r 1 -s DFS -x 5 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-4: place-bound EF ("Plane_On_Ground_Signal_no_T" < 0) and ("Plane_On_Ground_Signal_no_F" < 0)
timeout 60 verifypn -n -d -r 1 -s DFS -x 6 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-5: place-bound EF ("WeightPossibleVal_on" < 0) and ("WeightPossibleVal_off" < 0)
timeout 60 verifypn -n -d -r 1 -s DFS -x 7 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-6: place-bound EF "P4" < 0
timeout 60 verifypn -n -d -r 1 -s DFS -x 8 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-7: place-bound EF "P1" < 0
timeout 60 verifypn -n -d -r 1 -s DFS -x 9 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-8: place-bound EF "stp5" < 0
timeout 60 verifypn -n -d -r 1 -s DFS -x 10 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-9: place-bound EF "stp1" < 0
timeout 60 verifypn -n -d -r 1 -s DFS -x 11 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-10: place-bound EF ("Plane_On_Ground_Signal_no_T" < 0) and ("Plane_On_Ground_Signal_no_F" < 0)
timeout 60 verifypn -n -d -r 1 -s DFS -x 12 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-11: place-bound EF "P3" < 0
timeout 60 verifypn -n -d -r 1 -s DFS -x 13 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-12: place-bound EF "P4" < 0
timeout 60 verifypn -n -d -r 1 -s DFS -x 14 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-13: place-bound EF ("Weight_Left_Wheel_on" < 0) and ("Weight_Left_Wheel_off" < 0)
timeout 60 verifypn -n -d -r 1 -s DFS -x 15 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-14: place-bound EF ("WeightPossibleVal_on" < 0) and ("WeightPossibleVal_off" < 0)
timeout 60 verifypn -n -d -r 1 -s DFS -x 16 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-15: 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) and ("Speed_Right_Wheel_201" < 0) and ("Speed_Right_Wheel_202" < 0) and ("Speed_Right_Wheel_203" < 0) and ("Speed_Right_Wheel_204" < 0) and ("Speed_Right_Wheel_205" < 0) and ("Speed_Right_Wheel_206" < 0) and ("Speed_Right_Wheel_207" < 0) and ("Speed_Right_Wheel_208" < 0) and ("Speed_Right_Wheel_209" < 0) and ("Speed_Right_Wheel_210" < 0) and ("Speed_Right_Wheel_211" < 0) and ("Speed_Right_Wheel_212" < 0) and ("Speed_Right_Wheel_213" < 0) and ("Speed_Right_Wheel_214" < 0) and ("Speed_Right_Wheel_215" < 0) and ("Speed_Right_Wheel_216" < 0) and ("Speed_Right_Wheel_217" < 0) and ("Speed_Right_Wheel_218" < 0) and ("Speed_Right_Wheel_219" < 0) and ("Speed_Right_Wheel_220" < 0) and ("Speed_Right_Wheel_221" < 0) and ("Speed_Right_Wheel_222" < 0) and ("Speed_Right_Wheel_223" < 0) and ("Speed_Right_Wheel_224" < 0) and ("Speed_Right_Wheel_225" < 0) and ("Speed_Right_Wheel_226" < 0) and ("Speed_Right_Wheel_227" < 0) and ("Speed_Right_Wheel_228" < 0) and ("Speed_Right_Wheel_229" < 0) and ("Speed_Right_Wheel_230" < 0) and ("Speed_Right_Wheel_231" < 0) and ("Speed_Right_Wheel_232" < 0) and ("Speed_Right_Wheel_233" < 0) and ("Speed_Right_Wheel_234" < 0) and ("Speed_Right_Wheel_235" < 0) and ("Speed_Right_Wheel_236" < 0) and ("Speed_Right_Wheel_237" < 0) and ("Speed_Right_Wheel_238" < 0) and ("Speed_Right_Wheel_239" < 0) and ("Speed_Right_Wheel_240" < 0) and ("Speed_Right_Wheel_241" < 0) and ("Speed_Right_Wheel_242" < 0) and ("Speed_Right_Wheel_243" < 0) and ("Speed_Right_Wheel_244" < 0) and ("Speed_Right_Wheel_245" < 0) and ("Speed_Right_Wheel_246" < 0) and ("Speed_Right_Wheel_247" < 0) and ("Speed_Right_Wheel_248" < 0) and ("Speed_Right_Wheel_249" < 0) and ("Speed_Right_Wheel_250" < 0) and ("Speed_Right_Wheel_251" < 0) and ("Speed_Right_Wheel_252" < 0) and ("Speed_Right_Wheel_253" < 0) and ("Speed_Right_Wheel_254" < 0) and ("Speed_Right_Wheel_255" < 0) and ("Speed_Right_Wheel_256" < 0) and ("Speed_Right_Wheel_257" < 0) and ("Speed_Right_Wheel_258" < 0) and ("Speed_Right_Wheel_259" < 0) and ("Speed_Right_Wheel_260" < 0) and ("Speed_Right_Wheel_261" < 0) and ("Speed_Right_Wheel_262" < 0) and ("Speed_Right_Wheel_263" < 0) and ("Speed_Right_Wheel_264" < 0) and ("Speed_Right_Wheel_265" < 0) and ("Speed_Right_Wheel_266" < 0) and ("Speed_Right_Wheel_267" < 0) and ("Speed_Right_Wheel_268" < 0) and ("Speed_Right_Wheel_269" < 0) and ("Speed_Right_Wheel_270" < 0) and ("Speed_Right_Wheel_271" < 0) and ("Speed_Right_Wheel_272" < 0) and ("Speed_Right_Wheel_273" < 0) and ("Speed_Right_Wheel_274" < 0) and ("Speed_Right_Wheel_275" < 0) and ("Speed_Right_Wheel_276" < 0) and ("Speed_Right_Wheel_277" < 0) and ("Speed_Right_Wheel_278" < 0) and ("Speed_Right_Wheel_279" < 0) and ("Speed_Right_Wheel_280" < 0) and ("Speed_Right_Wheel_281" < 0) and ("Speed_Right_Wheel_282" < 0) and ("Speed_Right_Wheel_283" < 0) and ("Speed_Right_Wheel_284" < 0) and ("Speed_Right_Wheel_285" < 0) and ("Speed_Right_Wheel_286" < 0) and ("Speed_Right_Wheel_287" < 0) and ("Speed_Right_Wheel_288" < 0) and ("Speed_Right_Wheel_289" < 0) and ("Speed_Right_Wheel_290" < 0) and ("Speed_Right_Wheel_291" < 0) and ("Speed_Right_Wheel_292" < 0) and ("Speed_Right_Wheel_293" < 0) and ("Speed_Right_Wheel_294" < 0) and ("Speed_Right_Wheel_295" < 0) and ("Speed_Right_Wheel_296" < 0) and ("Speed_Right_Wheel_297" < 0) and ("Speed_Right_Wheel_298" < 0) and ("Speed_Right_Wheel_299" < 0) and ("Speed_Right_Wheel_300" < 0) and ("Speed_Right_Wheel_301" < 0) and ("Speed_Right_Wheel_302" < 0) and ("Speed_Right_Wheel_303" < 0) and ("Speed_Right_Wheel_304" < 0) and ("Speed_Right_Wheel_305" < 0) and ("Speed_Right_Wheel_306" < 0) and ("Speed_Right_Wheel_307" < 0) and ("Speed_Right_Wheel_308" < 0) and ("Speed_Right_Wheel_309" < 0) and ("Speed_Right_Wheel_310" < 0) and ("Speed_Right_Wheel_311" < 0) and ("Speed_Right_Wheel_312" < 0) and ("Speed_Right_Wheel_313" < 0) and ("Speed_Right_Wheel_314" < 0) and ("Speed_Right_Wheel_315" < 0) and ("Speed_Right_Wheel_316" < 0) and ("Speed_Right_Wheel_317" < 0) and ("Speed_Right_Wheel_318" < 0) and ("Speed_Right_Wheel_319" < 0) and ("Speed_Right_Wheel_320" < 0) and ("Speed_Right_Wheel_321" < 0) and ("Speed_Right_Wheel_322" < 0) and ("Speed_Right_Wheel_323" < 0) and ("Speed_Right_Wheel_324" < 0) and ("Speed_Right_Wheel_325" < 0) and ("Speed_Right_Wheel_326" < 0) and ("Speed_Right_Wheel_327" < 0) and ("Speed_Right_Wheel_328" < 0) and ("Speed_Right_Wheel_329" < 0) and ("Speed_Right_Wheel_330" < 0) and ("Speed_Right_Wheel_331" < 0) and ("Speed_Right_Wheel_332" < 0) and ("Speed_Right_Wheel_333" < 0) and ("Speed_Right_Wheel_334" < 0) and ("Speed_Right_Wheel_335" < 0) and ("Speed_Right_Wheel_336" < 0) and ("Speed_Right_Wheel_337" < 0) and ("Speed_Right_Wheel_338" < 0) and ("Speed_Right_Wheel_339" < 0) and ("Speed_Right_Wheel_340" < 0) and ("Speed_Right_Wheel_341" < 0) and ("Speed_Right_Wheel_342" < 0) and ("Speed_Right_Wheel_343" < 0) and ("Speed_Right_Wheel_344" < 0) and ("Speed_Right_Wheel_345" < 0) and ("Speed_Right_Wheel_346" < 0) and ("Speed_Right_Wheel_347" < 0) and ("Speed_Right_Wheel_348" < 0) and ("Speed_Right_Wheel_349" < 0) and ("Speed_Right_Wheel_350" < 0) and ("Speed_Right_Wheel_351" < 0) and ("Speed_Right_Wheel_352" < 0) and ("Speed_Right_Wheel_353" < 0) and ("Speed_Right_Wheel_354" < 0) and ("Speed_Right_Wheel_355" < 0) and ("Speed_Right_Wheel_356" < 0) and ("Speed_Right_Wheel_357" < 0) and ("Speed_Right_Wheel_358" < 0) and ("Speed_Right_Wheel_359" < 0) and ("Speed_Right_Wheel_360" < 0) and ("Speed_Right_Wheel_361" < 0) and ("Speed_Right_Wheel_362" < 0) and ("Speed_Right_Wheel_363" < 0) and ("Speed_Right_Wheel_364" < 0) and ("Speed_Right_Wheel_365" < 0) and ("Speed_Right_Wheel_366" < 0) and ("Speed_Right_Wheel_367" < 0) and ("Speed_Right_Wheel_368" < 0) and ("Speed_Right_Wheel_369" < 0) and ("Speed_Right_Wheel_370" < 0) and ("Speed_Right_Wheel_371" < 0) and ("Speed_Right_Wheel_372" < 0) and ("Speed_Right_Wheel_373" < 0) and ("Speed_Right_Wheel_374" < 0) and ("Speed_Right_Wheel_375" < 0) and ("Speed_Right_Wheel_376" < 0) and ("Speed_Right_Wheel_377" < 0) and ("Speed_Right_Wheel_378" < 0) and ("Speed_Right_Wheel_379" < 0) and ("Speed_Right_Wheel_380" < 0) and ("Speed_Right_Wheel_381" < 0) and ("Speed_Right_Wheel_382" < 0) and ("Speed_Right_Wheel_383" < 0) and ("Speed_Right_Wheel_384" < 0) and ("Speed_Right_Wheel_385" < 0) and ("Speed_Right_Wheel_386" < 0) and ("Speed_Right_Wheel_387" < 0) and ("Speed_Right_Wheel_388" < 0) and ("Speed_Right_Wheel_389" < 0) and ("Speed_Right_Wheel_390" < 0) and ("Speed_Right_Wheel_391" < 0) and ("Speed_Right_Wheel_392" < 0) and ("Speed_Right_Wheel_393" < 0) and ("Speed_Right_Wheel_394" < 0) and ("Speed_Right_Wheel_395" < 0) and ("Speed_Right_Wheel_396" < 0) and ("Speed_Right_Wheel_397" < 0) and ("Speed_Right_Wheel_398" < 0) and ("Speed_Right_Wheel_399" < 0) and ("Speed_Right_Wheel_400" < 0) and ("Speed_Right_Wheel_401" < 0) and ("Speed_Right_Wheel_402" < 0) and ("Speed_Right_Wheel_403" < 0) and ("Speed_Right_Wheel_404" < 0) and ("Speed_Right_Wheel_405" < 0) and ("Speed_Right_Wheel_406" < 0) and ("Speed_Right_Wheel_407" < 0) and ("Speed_Right_Wheel_408" < 0) and ("Speed_Right_Wheel_409" < 0) and ("Speed_Right_Wheel_410" < 0) and ("Speed_Right_Wheel_411" < 0) and ("Speed_Right_Wheel_412" < 0) and ("Speed_Right_Wheel_413" < 0) and ("Speed_Right_Wheel_414" < 0) and ("Speed_Right_Wheel_415" < 0) and ("Speed_Right_Wheel_416" < 0) and ("Speed_Right_Wheel_417" < 0) and ("Speed_Right_Wheel_418" < 0) and ("Speed_Right_Wheel_419" < 0) and ("Speed_Right_Wheel_420" < 0) and ("Speed_Right_Wheel_421" < 0) and ("Speed_Right_Wheel_422" < 0) and ("Speed_Right_Wheel_423" < 0) and ("Speed_Right_Wheel_424" < 0) and ("Speed_Right_Wheel_425" < 0) and ("Speed_Right_Wheel_426" < 0) and ("Speed_Right_Wheel_427" < 0) and ("Speed_Right_Wheel_428" < 0) and ("Speed_Right_Wheel_429" < 0) and ("Speed_Right_Wheel_430" < 0) and ("Speed_Right_Wheel_431" < 0) and ("Speed_Right_Wheel_432" < 0) and ("Speed_Right_Wheel_433" < 0) and ("Speed_Right_Wheel_434" < 0) and ("Speed_Right_Wheel_435" < 0) and ("Speed_Right_Wheel_436" < 0) and ("Speed_Right_Wheel_437" < 0) and ("Speed_Right_Wheel_438" < 0) and ("Speed_Right_Wheel_439" < 0) and ("Speed_Right_Wheel_440" < 0) and ("Speed_Right_Wheel_441" < 0) and ("Speed_Right_Wheel_442" < 0) and ("Speed_Right_Wheel_443" < 0) and ("Speed_Right_Wheel_444" < 0) and ("Speed_Right_Wheel_445" < 0) and ("Speed_Right_Wheel_446" < 0) and ("Speed_Right_Wheel_447" < 0) and ("Speed_Right_Wheel_448" < 0) and ("Speed_Right_Wheel_449" < 0) and ("Speed_Right_Wheel_450" < 0) and ("Speed_Right_Wheel_451" < 0) and ("Speed_Right_Wheel_452" < 0) and ("Speed_Right_Wheel_453" < 0) and ("Speed_Right_Wheel_454" < 0) and ("Speed_Right_Wheel_455" < 0) and ("Speed_Right_Wheel_456" < 0) and ("Speed_Right_Wheel_457" < 0) and ("Speed_Right_Wheel_458" < 0) and ("Speed_Right_Wheel_459" < 0) and ("Speed_Right_Wheel_460" < 0) and ("Speed_Right_Wheel_461" < 0) and ("Speed_Right_Wheel_462" < 0) and ("Speed_Right_Wheel_463" < 0) and ("Speed_Right_Wheel_464" < 0) and ("Speed_Right_Wheel_465" < 0) and ("Speed_Right_Wheel_466" < 0) and ("Speed_Right_Wheel_467" < 0) and ("Speed_Right_Wheel_468" < 0) and ("Speed_Right_Wheel_469" < 0) and ("Speed_Right_Wheel_470" < 0) and ("Speed_Right_Wheel_471" < 0) and ("Speed_Right_Wheel_472" < 0) and ("Speed_Right_Wheel_473" < 0) and ("Speed_Right_Wheel_474" < 0) and ("Speed_Right_Wheel_475" < 0) and ("Speed_Right_Wheel_476" < 0) and ("Speed_Right_Wheel_477" < 0) and ("Speed_Right_Wheel_478" < 0) and ("Speed_Right_Wheel_479" < 0) and ("Speed_Right_Wheel_480" < 0) and ("Speed_Right_Wheel_481" < 0) and ("Speed_Right_Wheel_482" < 0) and ("Speed_Right_Wheel_483" < 0) and ("Speed_Right_Wheel_484" < 0) and ("Speed_Right_Wheel_485" < 0) and ("Speed_Right_Wheel_486" < 0) and ("Speed_Right_Wheel_487" < 0) and ("Speed_Right_Wheel_488" < 0) and ("Speed_Right_Wheel_489" < 0) and ("Speed_Right_Wheel_490" < 0) and ("Speed_Right_Wheel_491" < 0) and ("Speed_Right_Wheel_492" < 0) and ("Speed_Right_Wheel_493" < 0) and ("Speed_Right_Wheel_494" < 0) and ("Speed_Right_Wheel_495" < 0) and ("Speed_Right_Wheel_496" < 0) and ("Speed_Right_Wheel_497" < 0) and ("Speed_Right_Wheel_498" < 0) and ("Speed_Right_Wheel_499" < 0) and ("Speed_Right_Wheel_500" < 0) and ("Speed_Right_Wheel_501" < 0) and ("Speed_Right_Wheel_502" < 0) and ("Speed_Right_Wheel_503" < 0) and ("Speed_Right_Wheel_504" < 0) and ("Speed_Right_Wheel_505" < 0) and ("Speed_Right_Wheel_506" < 0) and ("Speed_Right_Wheel_507" < 0) and ("Speed_Right_Wheel_508" < 0) and ("Speed_Right_Wheel_509" < 0) and ("Speed_Right_Wheel_510" < 0) and ("Speed_Right_Wheel_511" < 0) and ("Speed_Right_Wheel_512" < 0) and ("Speed_Right_Wheel_513" < 0) and ("Speed_Right_Wheel_514" < 0) and ("Speed_Right_Wheel_515" < 0) and ("Speed_Right_Wheel_516" < 0) and ("Speed_Right_Wheel_517" < 0) and ("Speed_Right_Wheel_518" < 0) and ("Speed_Right_Wheel_519" < 0) and ("Speed_Right_Wheel_520" < 0) and ("Speed_Right_Wheel_521" < 0) and ("Speed_Right_Wheel_522" < 0) and ("Speed_Right_Wheel_523" < 0) and ("Speed_Right_Wheel_524" < 0) and ("Speed_Right_Wheel_525" < 0) and ("Speed_Right_Wheel_526" < 0) and ("Speed_Right_Wheel_527" < 0) and ("Speed_Right_Wheel_528" < 0) and ("Speed_Right_Wheel_529" < 0) and ("Speed_Right_Wheel_530" < 0) and ("Speed_Right_Wheel_531" < 0) and ("Speed_Right_Wheel_532" < 0) and ("Speed_Right_Wheel_533" < 0) and ("Speed_Right_Wheel_534" < 0) and ("Speed_Right_Wheel_535" < 0) and ("Speed_Right_Wheel_536" < 0) and ("Speed_Right_Wheel_537" < 0) and ("Speed_Right_Wheel_538" < 0) and ("Speed_Right_Wheel_539" < 0) and ("Speed_Right_Wheel_540" < 0) and ("Speed_Right_Wheel_541" < 0) and ("Speed_Right_Wheel_542" < 0) and ("Speed_Right_Wheel_543" < 0) and ("Speed_Right_Wheel_544" < 0) and ("Speed_Right_Wheel_545" < 0) and ("Speed_Right_Wheel_546" < 0) and ("Speed_Right_Wheel_547" < 0) and ("Speed_Right_Wheel_548" < 0) and ("Speed_Right_Wheel_549" < 0) and ("Speed_Right_Wheel_550" < 0) and ("Speed_Right_Wheel_551" < 0) and ("Speed_Right_Wheel_552" < 0) and ("Speed_Right_Wheel_553" < 0) and ("Speed_Right_Wheel_554" < 0) and ("Speed_Right_Wheel_555" < 0) and ("Speed_Right_Wheel_556" < 0) and ("Speed_Right_Wheel_557" < 0) and ("Speed_Right_Wheel_558" < 0) and ("Speed_Right_Wheel_559" < 0) and ("Speed_Right_Wheel_560" < 0) and ("Speed_Right_Wheel_561" < 0) and ("Speed_Right_Wheel_562" < 0) and ("Speed_Right_Wheel_563" < 0) and ("Speed_Right_Wheel_564" < 0) and ("Speed_Right_Wheel_565" < 0) and ("Speed_Right_Wheel_566" < 0) and ("Speed_Right_Wheel_567" < 0) and ("Speed_Right_Wheel_568" < 0) and ("Speed_Right_Wheel_569" < 0) and ("Speed_Right_Wheel_570" < 0) and ("Speed_Right_Wheel_571" < 0) and ("Speed_Right_Wheel_572" < 0) and ("Speed_Right_Wheel_573" < 0) and ("Speed_Right_Wheel_574" < 0) and ("Speed_Right_Wheel_575" < 0) and ("Speed_Right_Wheel_576" < 0) and ("Speed_Right_Wheel_577" < 0) and ("Speed_Right_Wheel_578" < 0) and ("Speed_Right_Wheel_579" < 0) and ("Speed_Right_Wheel_580" < 0) and ("Speed_Right_Wheel_581" < 0) and ("Speed_Right_Wheel_582" < 0) and ("Speed_Right_Wheel_583" < 0) and ("Speed_Right_Wheel_584" < 0) and ("Speed_Right_Wheel_585" < 0) and ("Speed_Right_Wheel_586" < 0) and ("Speed_Right_Wheel_587" < 0) and ("Speed_Right_Wheel_588" < 0) and ("Speed_Right_Wheel_589" < 0) and ("Speed_Right_Wheel_590" < 0) and ("Speed_Right_Wheel_591" < 0) and ("Speed_Right_Wheel_592" < 0) and ("Speed_Right_Wheel_593" < 0) and ("Speed_Right_Wheel_594" < 0) and ("Speed_Right_Wheel_595" < 0) and ("Speed_Right_Wheel_596" < 0) and ("Speed_Right_Wheel_597" < 0) and ("Speed_Right_Wheel_598" < 0) and ("Speed_Right_Wheel_599" < 0) and ("Speed_Right_Wheel_600" < 0) and ("Speed_Right_Wheel_601" < 0) and ("Speed_Right_Wheel_602" < 0) and ("Speed_Right_Wheel_603" < 0) and ("Speed_Right_Wheel_604" < 0) and ("Speed_Right_Wheel_605" < 0) and ("Speed_Right_Wheel_606" < 0) and ("Speed_Right_Wheel_607" < 0) and ("Speed_Right_Wheel_608" < 0) and ("Speed_Right_Wheel_609" < 0) and ("Speed_Right_Wheel_610" < 0) and ("Speed_Right_Wheel_611" < 0) and ("Speed_Right_Wheel_612" < 0) and ("Speed_Right_Wheel_613" < 0) and ("Speed_Right_Wheel_614" < 0) and ("Speed_Right_Wheel_615" < 0) and ("Speed_Right_Wheel_616" < 0) and ("Speed_Right_Wheel_617" < 0) and ("Speed_Right_Wheel_618" < 0) and ("Speed_Right_Wheel_619" < 0) and ("Speed_Right_Wheel_620" < 0) and ("Speed_Right_Wheel_621" < 0) and ("Speed_Right_Wheel_622" < 0) and ("Speed_Right_Wheel_623" < 0) and ("Speed_Right_Wheel_624" < 0) and ("Speed_Right_Wheel_625" < 0) and ("Speed_Right_Wheel_626" < 0) and ("Speed_Right_Wheel_627" < 0) and ("Speed_Right_Wheel_628" < 0) and ("Speed_Right_Wheel_629" < 0) and ("Speed_Right_Wheel_630" < 0) and ("Speed_Right_Wheel_631" < 0) and ("Speed_Right_Wheel_632" < 0) and ("Speed_Right_Wheel_633" < 0) and ("Speed_Right_Wheel_634" < 0) and ("Speed_Right_Wheel_635" < 0) and ("Speed_Right_Wheel_636" < 0) and ("Speed_Right_Wheel_637" < 0) and ("Speed_Right_Wheel_638" < 0) and ("Speed_Right_Wheel_639" < 0) and ("Speed_Right_Wheel_640" < 0) and ("Speed_Right_Wheel_641" < 0) and ("Speed_Right_Wheel_642" < 0) and ("Speed_Right_Wheel_643" < 0) and ("Speed_Right_Wheel_644" < 0) and ("Speed_Right_Wheel_645" < 0) and ("Speed_Right_Wheel_646" < 0) and ("Speed_Right_Wheel_647" < 0) and ("Speed_Right_Wheel_648" < 0) and ("Speed_Right_Wheel_649" < 0) and ("Speed_Right_Wheel_650" < 0) and ("Speed_Right_Wheel_651" < 0) and ("Speed_Right_Wheel_652" < 0) and ("Speed_Right_Wheel_653" < 0) and ("Speed_Right_Wheel_654" < 0) and ("Speed_Right_Wheel_655" < 0) and ("Speed_Right_Wheel_656" < 0) and ("Speed_Right_Wheel_657" < 0) and ("Speed_Right_Wheel_658" < 0) and ("Speed_Right_Wheel_659" < 0) and ("Speed_Right_Wheel_660" < 0) and ("Speed_Right_Wheel_661" < 0) and ("Speed_Right_Wheel_662" < 0) and ("Speed_Right_Wheel_663" < 0) and ("Speed_Right_Wheel_664" < 0) and ("Speed_Right_Wheel_665" < 0) and ("Speed_Right_Wheel_666" < 0) and ("Speed_Right_Wheel_667" < 0) and ("Speed_Right_Wheel_668" < 0) and ("Speed_Right_Wheel_669" < 0) and ("Speed_Right_Wheel_670" < 0) and ("Speed_Right_Wheel_671" < 0) and ("Speed_Right_Wheel_672" < 0) and ("Speed_Right_Wheel_673" < 0) and ("Speed_Right_Wheel_674" < 0) and ("Speed_Right_Wheel_675" < 0) and ("Speed_Right_Wheel_676" < 0) and ("Speed_Right_Wheel_677" < 0) and ("Speed_Right_Wheel_678" < 0) and ("Speed_Right_Wheel_679" < 0) and ("Speed_Right_Wheel_680" < 0) and ("Speed_Right_Wheel_681" < 0) and ("Speed_Right_Wheel_682" < 0) and ("Speed_Right_Wheel_683" < 0) and ("Speed_Right_Wheel_684" < 0) and ("Speed_Right_Wheel_685" < 0) and ("Speed_Right_Wheel_686" < 0) and ("Speed_Right_Wheel_687" < 0) and ("Speed_Right_Wheel_688" < 0) and ("Speed_Right_Wheel_689" < 0) and ("Speed_Right_Wheel_690" < 0) and ("Speed_Right_Wheel_691" < 0) and ("Speed_Right_Wheel_692" < 0) and ("Speed_Right_Wheel_693" < 0) and ("Speed_Right_Wheel_694" < 0) and ("Speed_Right_Wheel_695" < 0) and ("Speed_Right_Wheel_696" < 0) and ("Speed_Right_Wheel_697" < 0) and ("Speed_Right_Wheel_698" < 0) and ("Speed_Right_Wheel_699" < 0) and ("Speed_Right_Wheel_700" < 0) and ("Speed_Right_Wheel_701" < 0) and ("Speed_Right_Wheel_702" < 0) and ("Speed_Right_Wheel_703" < 0) and ("Speed_Right_Wheel_704" < 0) and ("Speed_Right_Wheel_705" < 0) and ("Speed_Right_Wheel_706" < 0) and ("Speed_Right_Wheel_707" < 0) and ("Speed_Right_Wheel_708" < 0) and ("Speed_Right_Wheel_709" < 0) and ("Speed_Right_Wheel_710" < 0) and ("Speed_Right_Wheel_711" < 0) and ("Speed_Right_Wheel_712" < 0) and ("Speed_Right_Wheel_713" < 0) and ("Speed_Right_Wheel_714" < 0) and ("Speed_Right_Wheel_715" < 0) and ("Speed_Right_Wheel_716" < 0) and ("Speed_Right_Wheel_717" < 0) and ("Speed_Right_Wheel_718" < 0) and ("Speed_Right_Wheel_719" < 0) and ("Speed_Right_Wheel_720" < 0) and ("Speed_Right_Wheel_721" < 0) and ("Speed_Right_Wheel_722" < 0) and ("Speed_Right_Wheel_723" < 0) and ("Speed_Right_Wheel_724" < 0) and ("Speed_Right_Wheel_725" < 0) and ("Speed_Right_Wheel_726" < 0) and ("Speed_Right_Wheel_727" < 0) and ("Speed_Right_Wheel_728" < 0) and ("Speed_Right_Wheel_729" < 0) and ("Speed_Right_Wheel_730" < 0) and ("Speed_Right_Wheel_731" < 0) and ("Speed_Right_Wheel_732" < 0) and ("Speed_Right_Wheel_733" < 0) and ("Speed_Right_Wheel_734" < 0) and ("Speed_Right_Wheel_735" < 0) and ("Speed_Right_Wheel_736" < 0) and ("Speed_Right_Wheel_737" < 0) and ("Speed_Right_Wheel_738" < 0) and ("Speed_Right_Wheel_739" < 0) and ("Speed_Right_Wheel_740" < 0) and ("Speed_Right_Wheel_741" < 0) and ("Speed_Right_Wheel_742" < 0) and ("Speed_Right_Wheel_743" < 0) and ("Speed_Right_Wheel_744" < 0) and ("Speed_Right_Wheel_745" < 0) and ("Speed_Right_Wheel_746" < 0) and ("Speed_Right_Wheel_747" < 0) and ("Speed_Right_Wheel_748" < 0) and ("Speed_Right_Wheel_749" < 0) and ("Speed_Right_Wheel_750" < 0) and ("Speed_Right_Wheel_751" < 0) and ("Speed_Right_Wheel_752" < 0) and ("Speed_Right_Wheel_753" < 0) and ("Speed_Right_Wheel_754" < 0) and ("Speed_Right_Wheel_755" < 0) and ("Speed_Right_Wheel_756" < 0) and ("Speed_Right_Wheel_757" < 0) and ("Speed_Right_Wheel_758" < 0) and ("Speed_Right_Wheel_759" < 0) and ("Speed_Right_Wheel_760" < 0) and ("Speed_Right_Wheel_761" < 0) and ("Speed_Right_Wheel_762" < 0) and ("Speed_Right_Wheel_763" < 0) and ("Speed_Right_Wheel_764" < 0) and ("Speed_Right_Wheel_765" < 0) and ("Speed_Right_Wheel_766" < 0) and ("Speed_Right_Wheel_767" < 0) and ("Speed_Right_Wheel_768" < 0) and ("Speed_Right_Wheel_769" < 0) and ("Speed_Right_Wheel_770" < 0) and ("Speed_Right_Wheel_771" < 0) and ("Speed_Right_Wheel_772" < 0) and ("Speed_Right_Wheel_773" < 0) and ("Speed_Right_Wheel_774" < 0) and ("Speed_Right_Wheel_775" < 0) and ("Speed_Right_Wheel_776" < 0) and ("Speed_Right_Wheel_777" < 0) and ("Speed_Right_Wheel_778" < 0) and ("Speed_Right_Wheel_779" < 0) and ("Speed_Right_Wheel_780" < 0) and ("Speed_Right_Wheel_781" < 0) and ("Speed_Right_Wheel_782" < 0) and ("Speed_Right_Wheel_783" < 0) and ("Speed_Right_Wheel_784" < 0) and ("Speed_Right_Wheel_785" < 0) and ("Speed_Right_Wheel_786" < 0) and ("Speed_Right_Wheel_787" < 0) and ("Speed_Right_Wheel_788" < 0) and ("Speed_Right_Wheel_789" < 0) and ("Speed_Right_Wheel_790" < 0) and ("Speed_Right_Wheel_791" < 0) and ("Speed_Right_Wheel_792" < 0) and ("Speed_Right_Wheel_793" < 0) and ("Speed_Right_Wheel_794" < 0) and ("Speed_Right_Wheel_795" < 0) and ("Speed_Right_Wheel_796" < 0) and ("Speed_Right_Wheel_797" < 0) and ("Speed_Right_Wheel_798" < 0) and ("Speed_Right_Wheel_799" < 0) and ("Speed_Right_Wheel_800" < 0) and ("Speed_Right_Wheel_801" < 0) and ("Speed_Right_Wheel_802" < 0) and ("Speed_Right_Wheel_803" < 0) and ("Speed_Right_Wheel_804" < 0) and ("Speed_Right_Wheel_805" < 0) and ("Speed_Right_Wheel_806" < 0) and ("Speed_Right_Wheel_807" < 0) and ("Speed_Right_Wheel_808" < 0) and ("Speed_Right_Wheel_809" < 0) and ("Speed_Right_Wheel_810" < 0) and ("Speed_Right_Wheel_811" < 0) and ("Speed_Right_Wheel_812" < 0) and ("Speed_Right_Wheel_813" < 0) and ("Speed_Right_Wheel_814" < 0) and ("Speed_Right_Wheel_815" < 0) and ("Speed_Right_Wheel_816" < 0) and ("Speed_Right_Wheel_817" < 0) and ("Speed_Right_Wheel_818" < 0) and ("Speed_Right_Wheel_819" < 0) and ("Speed_Right_Wheel_820" < 0) and ("Speed_Right_Wheel_821" < 0) and ("Speed_Right_Wheel_822" < 0) and ("Speed_Right_Wheel_823" < 0) and ("Speed_Right_Wheel_824" < 0) and ("Speed_Right_Wheel_825" < 0) and ("Speed_Right_Wheel_826" < 0) and ("Speed_Right_Wheel_827" < 0) and ("Speed_Right_Wheel_828" < 0) and ("Speed_Right_Wheel_829" < 0) and ("Speed_Right_Wheel_830" < 0) and ("Speed_Right_Wheel_831" < 0) and ("Speed_Right_Wheel_832" < 0) and ("Speed_Right_Wheel_833" < 0) and ("Speed_Right_Wheel_834" < 0) and ("Speed_Right_Wheel_835" < 0) and ("Speed_Right_Wheel_836" < 0) and ("Speed_Right_Wheel_837" < 0) and ("Speed_Right_Wheel_838" < 0) and ("Speed_Right_Wheel_839" < 0) and ("Speed_Right_Wheel_840" < 0) and ("Speed_Right_Wheel_841" < 0) and ("Speed_Right_Wheel_842" < 0) and ("Speed_Right_Wheel_843" < 0) and ("Speed_Right_Wheel_844" < 0) and ("Speed_Right_Wheel_845" < 0) and ("Speed_Right_Wheel_846" < 0) and ("Speed_Right_Wheel_847" < 0) and ("Speed_Right_Wheel_848" < 0) and ("Speed_Right_Wheel_849" < 0) and ("Speed_Right_Wheel_850" < 0) and ("Speed_Right_Wheel_851" < 0) and ("Speed_Right_Wheel_852" < 0) and ("Speed_Right_Wheel_853" < 0) and ("Speed_Right_Wheel_854" < 0) and ("Speed_Right_Wheel_855" < 0) and ("Speed_Right_Wheel_856" < 0) and ("Speed_Right_Wheel_857" < 0) and ("Speed_Right_Wheel_858" < 0) and ("Speed_Right_Wheel_859" < 0) and ("Speed_Right_Wheel_860" < 0) and ("Speed_Right_Wheel_861" < 0) and ("Speed_Right_Wheel_862" < 0) and ("Speed_Right_Wheel_863" < 0) and ("Speed_Right_Wheel_864" < 0) and ("Speed_Right_Wheel_865" < 0) and ("Speed_Right_Wheel_866" < 0) and ("Speed_Right_Wheel_867" < 0) and ("Speed_Right_Wheel_868" < 0) and ("Speed_Right_Wheel_869" < 0) and ("Speed_Right_Wheel_870" < 0) and ("Speed_Right_Wheel_871" < 0) and ("Speed_Right_Wheel_872" < 0) and ("Speed_Right_Wheel_873" < 0) and ("Speed_Right_Wheel_874" < 0) and ("Speed_Right_Wheel_875" < 0) and ("Speed_Right_Wheel_876" < 0) and ("Speed_Right_Wheel_877" < 0) and ("Speed_Right_Wheel_878" < 0) and ("Speed_Right_Wheel_879" < 0) and ("Speed_Right_Wheel_880" < 0) and ("Speed_Right_Wheel_881" < 0) and ("Speed_Right_Wheel_882" < 0) and ("Speed_Right_Wheel_883" < 0) and ("Speed_Right_Wheel_884" < 0) and ("Speed_Right_Wheel_885" < 0) and ("Speed_Right_Wheel_886" < 0) and ("Speed_Right_Wheel_887" < 0) and ("Speed_Right_Wheel_888" < 0) and ("Speed_Right_Wheel_889" < 0) and ("Speed_Right_Wheel_890" < 0) and ("Speed_Right_Wheel_891" < 0) and ("Speed_Right_Wheel_892" < 0) and ("Speed_Right_Wheel_893" < 0) and ("Speed_Right_Wheel_894" < 0) and ("Speed_Right_Wheel_895" < 0) and ("Speed_Right_Wheel_896" < 0) and ("Speed_Right_Wheel_897" < 0) and ("Speed_Right_Wheel_898" < 0) and ("Speed_Right_Wheel_899" < 0) and ("Speed_Right_Wheel_900" < 0) and ("Speed_Right_Wheel_901" < 0) and ("Speed_Right_Wheel_902" < 0) and ("Speed_Right_Wheel_903" < 0) and ("Speed_Right_Wheel_904" < 0) and ("Speed_Right_Wheel_905" < 0) and ("Speed_Right_Wheel_906" < 0) and ("Speed_Right_Wheel_907" < 0) and ("Speed_Right_Wheel_908" < 0) and ("Speed_Right_Wheel_909" < 0) and ("Speed_Right_Wheel_910" < 0) and ("Speed_Right_Wheel_911" < 0) and ("Speed_Right_Wheel_912" < 0) and ("Speed_Right_Wheel_913" < 0) and ("Speed_Right_Wheel_914" < 0) and ("Speed_Right_Wheel_915" < 0) and ("Speed_Right_Wheel_916" < 0) and ("Speed_Right_Wheel_917" < 0) and ("Speed_Right_Wheel_918" < 0) and ("Speed_Right_Wheel_919" < 0) and ("Speed_Right_Wheel_920" < 0) and ("Speed_Right_Wheel_921" < 0) and ("Speed_Right_Wheel_922" < 0) and ("Speed_Right_Wheel_923" < 0) and ("Speed_Right_Wheel_924" < 0) and ("Speed_Right_Wheel_925" < 0) and ("Speed_Right_Wheel_926" < 0) and ("Speed_Right_Wheel_927" < 0) and ("Speed_Right_Wheel_928" < 0) and ("Speed_Right_Wheel_929" < 0) and ("Speed_Right_Wheel_930" < 0) and ("Speed_Right_Wheel_931" < 0) and ("Speed_Right_Wheel_932" < 0) and ("Speed_Right_Wheel_933" < 0) and ("Speed_Right_Wheel_934" < 0) and ("Speed_Right_Wheel_935" < 0) and ("Speed_Right_Wheel_936" < 0) and ("Speed_Right_Wheel_937" < 0) and ("Speed_Right_Wheel_938" < 0) and ("Speed_Right_Wheel_939" < 0) and ("Speed_Right_Wheel_940" < 0) and ("Speed_Right_Wheel_941" < 0) and ("Speed_Right_Wheel_942" < 0) and ("Speed_Right_Wheel_943" < 0) and ("Speed_Right_Wheel_944" < 0) and ("Speed_Right_Wheel_945" < 0) and ("Speed_Right_Wheel_946" < 0) and ("Speed_Right_Wheel_947" < 0) and ("Speed_Right_Wheel_948" < 0) and ("Speed_Right_Wheel_949" < 0) and ("Speed_Right_Wheel_950" < 0) and ("Speed_Right_Wheel_951" < 0) and ("Speed_Right_Wheel_952" < 0) and ("Speed_Right_Wheel_953" < 0) and ("Speed_Right_Wheel_954" < 0) and ("Speed_Right_Wheel_955" < 0) and ("Speed_Right_Wheel_956" < 0) and ("Speed_Right_Wheel_957" < 0) and ("Speed_Right_Wheel_958" < 0) and ("Speed_Right_Wheel_959" < 0) and ("Speed_Right_Wheel_960" < 0) and ("Speed_Right_Wheel_961" < 0) and ("Speed_Right_Wheel_962" < 0) and ("Speed_Right_Wheel_963" < 0) and ("Speed_Right_Wheel_964" < 0) and ("Speed_Right_Wheel_965" < 0) and ("Speed_Right_Wheel_966" < 0) and ("Speed_Right_Wheel_967" < 0) and ("Speed_Right_Wheel_968" < 0) and ("Speed_Right_Wheel_969" < 0) and ("Speed_Right_Wheel_970" < 0) and ("Speed_Right_Wheel_971" < 0) and ("Speed_Right_Wheel_972" < 0) and ("Speed_Right_Wheel_973" < 0) and ("Speed_Right_Wheel_974" < 0) and ("Speed_Right_Wheel_975" < 0) and ("Speed_Right_Wheel_976" < 0) and ("Speed_Right_Wheel_977" < 0) and ("Speed_Right_Wheel_978" < 0) and ("Speed_Right_Wheel_979" < 0) and ("Speed_Right_Wheel_980" < 0) and ("Speed_Right_Wheel_981" < 0) and ("Speed_Right_Wheel_982" < 0) and ("Speed_Right_Wheel_983" < 0) and ("Speed_Right_Wheel_984" < 0) and ("Speed_Right_Wheel_985" < 0) and ("Speed_Right_Wheel_986" < 0) and ("Speed_Right_Wheel_987" < 0) and ("Speed_Right_Wheel_988" < 0) and ("Speed_Right_Wheel_989" < 0) and ("Speed_Right_Wheel_990" < 0) and ("Speed_Right_Wheel_991" < 0) and ("Speed_Right_Wheel_992" < 0) and ("Speed_Right_Wheel_993" < 0) and ("Speed_Right_Wheel_994" < 0) and ("Speed_Right_Wheel_995" < 0) and ("Speed_Right_Wheel_996" < 0) and ("Speed_Right_Wheel_997" < 0) and ("Speed_Right_Wheel_998" < 0) and ("Speed_Right_Wheel_999" < 0) and ("Speed_Right_Wheel_1000" < 0) and ("Speed_Right_Wheel_1001" < 0) and ("Speed_Right_Wheel_1002" < 0) and ("Speed_Right_Wheel_1003" < 0) and ("Speed_Right_Wheel_1004" < 0) and ("Speed_Right_Wheel_1005" < 0) and ("Speed_Right_Wheel_1006" < 0) and ("Speed_Right_Wheel_1007" < 0) and ("Speed_Right_Wheel_1008" < 0) and ("Speed_Right_Wheel_1009" < 0) and ("Speed_Right_Wheel_1010" < 0) and ("Speed_Right_Wheel_1011" < 0) and ("Speed_Right_Wheel_1012" < 0) and ("Speed_Right_Wheel_1013" < 0) and ("Speed_Right_Wheel_1014" < 0) and ("Speed_Right_Wheel_1015" < 0) and ("Speed_Right_Wheel_1016" < 0) and ("Speed_Right_Wheel_1017" < 0) and ("Speed_Right_Wheel_1018" < 0) and ("Speed_Right_Wheel_1019" < 0) and ("Speed_Right_Wheel_1020" < 0) and ("Speed_Right_Wheel_1021" < 0) and ("Speed_Right_Wheel_1022" < 0) and ("Speed_Right_Wheel_1023" < 0) and ("Speed_Right_Wheel_1024" < 0) and ("Speed_Right_Wheel_1025" < 0) and ("Speed_Right_Wheel_1026" < 0) and ("Speed_Right_Wheel_1027" < 0) and ("Speed_Right_Wheel_1028" < 0) and ("Speed_Right_Wheel_1029" < 0) and ("Speed_Right_Wheel_1030" < 0) and ("Speed_Right_Wheel_1031" < 0) and ("Speed_Right_Wheel_1032" < 0) and ("Speed_Right_Wheel_1033" < 0) and ("Speed_Right_Wheel_1034" < 0) and ("Speed_Right_Wheel_1035" < 0) and ("Speed_Right_Wheel_1036" < 0) and ("Speed_Right_Wheel_1037" < 0) and ("Speed_Right_Wheel_1038" < 0) and ("Speed_Right_Wheel_1039" < 0) and ("Speed_Right_Wheel_1040" < 0) and ("Speed_Right_Wheel_1041" < 0) and ("Speed_Right_Wheel_1042" < 0) and ("Speed_Right_Wheel_1043" < 0) and ("Speed_Right_Wheel_1044" < 0) and ("Speed_Right_Wheel_1045" < 0) and ("Speed_Right_Wheel_1046" < 0) and ("Speed_Right_Wheel_1047" < 0) and ("Speed_Right_Wheel_1048" < 0) and ("Speed_Right_Wheel_1049" < 0) and ("Speed_Right_Wheel_1050" < 0) and ("Speed_Right_Wheel_1051" < 0) and ("Speed_Right_Wheel_1052" < 0) and ("Speed_Right_Wheel_1053" < 0) and ("Speed_Right_Wheel_1054" < 0) and ("Speed_Right_Wheel_1055" < 0) and ("Speed_Right_Wheel_1056" < 0) and ("Speed_Right_Wheel_1057" < 0) and ("Speed_Right_Wheel_1058" < 0) and ("Speed_Right_Wheel_1059" < 0) and ("Speed_Right_Wheel_1060" < 0) and ("Speed_Right_Wheel_1061" < 0) and ("Speed_Right_Wheel_1062" < 0) and ("Speed_Right_Wheel_1063" < 0) and ("Speed_Right_Wheel_1064" < 0) and ("Speed_Right_Wheel_1065" < 0) and ("Speed_Right_Wheel_1066" < 0) and ("Speed_Right_Wheel_1067" < 0) and ("Speed_Right_Wheel_1068" < 0) and ("Speed_Right_Wheel_1069" < 0) and ("Speed_Right_Wheel_1070" < 0) and ("Speed_Right_Wheel_1071" < 0) and ("Speed_Right_Wheel_1072" < 0) and ("Speed_Right_Wheel_1073" < 0) and ("Speed_Right_Wheel_1074" < 0) and ("Speed_Right_Wheel_1075" < 0) and ("Speed_Right_Wheel_1076" < 0) and ("Speed_Right_Wheel_1077" < 0) and ("Speed_Right_Wheel_1078" < 0) and ("Speed_Right_Wheel_1079" < 0) and ("Speed_Right_Wheel_1080" < 0) and ("Speed_Right_Wheel_1081" < 0) and ("Speed_Right_Wheel_1082" < 0) and ("Speed_Right_Wheel_1083" < 0) and ("Speed_Right_Wheel_1084" < 0) and ("Speed_Right_Wheel_1085" < 0) and ("Speed_Right_Wheel_1086" < 0) and ("Speed_Right_Wheel_1087" < 0) and ("Speed_Right_Wheel_1088" < 0) and ("Speed_Right_Wheel_1089" < 0) and ("Speed_Right_Wheel_1090" < 0) and ("Speed_Right_Wheel_1091" < 0) and ("Speed_Right_Wheel_1092" < 0) and ("Speed_Right_Wheel_1093" < 0) and ("Speed_Right_Wheel_1094" < 0) and ("Speed_Right_Wheel_1095" < 0) and ("Speed_Right_Wheel_1096" < 0) and ("Speed_Right_Wheel_1097" < 0) and ("Speed_Right_Wheel_1098" < 0) and ("Speed_Right_Wheel_1099" < 0) and ("Speed_Right_Wheel_1100" < 0) and ("Speed_Right_Wheel_1101" < 0) and ("Speed_Right_Wheel_1102" < 0) and ("Speed_Right_Wheel_1103" < 0) and ("Speed_Right_Wheel_1104" < 0) and ("Speed_Right_Wheel_1105" < 0) and ("Speed_Right_Wheel_1106" < 0) and ("Speed_Right_Wheel_1107" < 0) and ("Speed_Right_Wheel_1108" < 0) and ("Speed_Right_Wheel_1109" < 0) and ("Speed_Right_Wheel_1110" < 0) and ("Speed_Right_Wheel_1111" < 0) and ("Speed_Right_Wheel_1112" < 0) and ("Speed_Right_Wheel_1113" < 0) and ("Speed_Right_Wheel_1114" < 0) and ("Speed_Right_Wheel_1115" < 0) and ("Speed_Right_Wheel_1116" < 0) and ("Speed_Right_Wheel_1117" < 0) and ("Speed_Right_Wheel_1118" < 0) and ("Speed_Right_Wheel_1119" < 0) and ("Speed_Right_Wheel_1120" < 0) and ("Speed_Right_Wheel_1121" < 0) and ("Speed_Right_Wheel_1122" < 0) and ("Speed_Right_Wheel_1123" < 0) and ("Speed_Right_Wheel_1124" < 0) and ("Speed_Right_Wheel_1125" < 0) and ("Speed_Right_Wheel_1126" < 0) and ("Speed_Right_Wheel_1127" < 0) and ("Speed_Right_Wheel_1128" < 0) and ("Speed_Right_Wheel_1129" < 0) and ("Speed_Right_Wheel_1130" < 0) and ("Speed_Right_Wheel_1131" < 0) and ("Speed_Right_Wheel_1132" < 0) and ("Speed_Right_Wheel_1133" < 0) and ("Speed_Right_Wheel_1134" < 0) and ("Speed_Right_Wheel_1135" < 0) and ("Speed_Right_Wheel_1136" < 0) and ("Speed_Right_Wheel_1137" < 0) and ("Speed_Right_Wheel_1138" < 0) and ("Speed_Right_Wheel_1139" < 0) and ("Speed_Right_Wheel_1140" < 0) and ("Speed_Right_Wheel_1141" < 0) and ("Speed_Right_Wheel_1142" < 0) and ("Speed_Right_Wheel_1143" < 0) and ("Speed_Right_Wheel_1144" < 0) and ("Speed_Right_Wheel_1145" < 0) and ("Speed_Right_Wheel_1146" < 0) and ("Speed_Right_Wheel_1147" < 0) and ("Speed_Right_Wheel_1148" < 0) and ("Speed_Right_Wheel_1149" < 0) and ("Speed_Right_Wheel_1150" < 0) and ("Speed_Right_Wheel_1151" < 0) and ("Speed_Right_Wheel_1152" < 0) and ("Speed_Right_Wheel_1153" < 0) and ("Speed_Right_Wheel_1154" < 0) and ("Speed_Right_Wheel_1155" < 0) and ("Speed_Right_Wheel_1156" < 0) and ("Speed_Right_Wheel_1157" < 0) and ("Speed_Right_Wheel_1158" < 0) and ("Speed_Right_Wheel_1159" < 0) and ("Speed_Right_Wheel_1160" < 0) and ("Speed_Right_Wheel_1161" < 0) and ("Speed_Right_Wheel_1162" < 0) and ("Speed_Right_Wheel_1163" < 0) and ("Speed_Right_Wheel_1164" < 0) and ("Speed_Right_Wheel_1165" < 0) and ("Speed_Right_Wheel_1166" < 0) and ("Speed_Right_Wheel_1167" < 0) and ("Speed_Right_Wheel_1168" < 0) and ("Speed_Right_Wheel_1169" < 0) and ("Speed_Right_Wheel_1170" < 0) and ("Speed_Right_Wheel_1171" < 0) and ("Speed_Right_Wheel_1172" < 0) and ("Speed_Right_Wheel_1173" < 0) and ("Speed_Right_Wheel_1174" < 0) and ("Speed_Right_Wheel_1175" < 0) and ("Speed_Right_Wheel_1176" < 0) and ("Speed_Right_Wheel_1177" < 0) and ("Speed_Right_Wheel_1178" < 0) and ("Speed_Right_Wheel_1179" < 0) and ("Speed_Right_Wheel_1180" < 0) and ("Speed_Right_Wheel_1181" < 0) and ("Speed_Right_Wheel_1182" < 0) and ("Speed_Right_Wheel_1183" < 0) and ("Speed_Right_Wheel_1184" < 0) and ("Speed_Right_Wheel_1185" < 0) and ("Speed_Right_Wheel_1186" < 0) and ("Speed_Right_Wheel_1187" < 0) and ("Speed_Right_Wheel_1188" < 0) and ("Speed_Right_Wheel_1189" < 0) and ("Speed_Right_Wheel_1190" < 0) and ("Speed_Right_Wheel_1191" < 0) and ("Speed_Right_Wheel_1192" < 0) and ("Speed_Right_Wheel_1193" < 0) and ("Speed_Right_Wheel_1194" < 0) and ("Speed_Right_Wheel_1195" < 0) and ("Speed_Right_Wheel_1196" < 0) and ("Speed_Right_Wheel_1197" < 0) and ("Speed_Right_Wheel_1198" < 0) and ("Speed_Right_Wheel_1199" < 0) and ("Speed_Right_Wheel_1200" < 0) and ("Speed_Right_Wheel_1201" < 0) and ("Speed_Right_Wheel_1202" < 0) and ("Speed_Right_Wheel_1203" < 0) and ("Speed_Right_Wheel_1204" < 0) and ("Speed_Right_Wheel_1205" < 0) and ("Speed_Right_Wheel_1206" < 0) and ("Speed_Right_Wheel_1207" < 0) and ("Speed_Right_Wheel_1208" < 0) and ("Speed_Right_Wheel_1209" < 0) and ("Speed_Right_Wheel_1210" < 0) and ("Speed_Right_Wheel_1211" < 0) and ("Speed_Right_Wheel_1212" < 0) and ("Speed_Right_Wheel_1213" < 0) and ("Speed_Right_Wheel_1214" < 0) and ("Speed_Right_Wheel_1215" < 0) and ("Speed_Right_Wheel_1216" < 0) and ("Speed_Right_Wheel_1217" < 0) and ("Speed_Right_Wheel_1218" < 0) and ("Speed_Right_Wheel_1219" < 0) and ("Speed_Right_Wheel_1220" < 0) and ("Speed_Right_Wheel_1221" < 0) and ("Speed_Right_Wheel_1222" < 0) and ("Speed_Right_Wheel_1223" < 0) and ("Speed_Right_Wheel_1224" < 0) and ("Speed_Right_Wheel_1225" < 0) and ("Speed_Right_Wheel_1226" < 0) and ("Speed_Right_Wheel_1227" < 0) and ("Speed_Right_Wheel_1228" < 0) and ("Speed_Right_Wheel_1229" < 0) and ("Speed_Right_Wheel_1230" < 0) and ("Speed_Right_Wheel_1231" < 0) and ("Speed_Right_Wheel_1232" < 0) and ("Speed_Right_Wheel_1233" < 0) and ("Speed_Right_Wheel_1234" < 0) and ("Speed_Right_Wheel_1235" < 0) and ("Speed_Right_Wheel_1236" < 0) and ("Speed_Right_Wheel_1237" < 0) and ("Speed_Right_Wheel_1238" < 0) and ("Speed_Right_Wheel_1239" < 0) and ("Speed_Right_Wheel_1240" < 0) and ("Speed_Right_Wheel_1241" < 0) and ("Speed_Right_Wheel_1242" < 0) and ("Speed_Right_Wheel_1243" < 0) and ("Speed_Right_Wheel_1244" < 0) and ("Speed_Right_Wheel_1245" < 0) and ("Speed_Right_Wheel_1246" < 0) and ("Speed_Right_Wheel_1247" < 0) and ("Speed_Right_Wheel_1248" < 0) and ("Speed_Right_Wheel_1249" < 0) and ("Speed_Right_Wheel_1250" < 0) and ("Speed_Right_Wheel_1251" < 0) and ("Speed_Right_Wheel_1252" < 0) and ("Speed_Right_Wheel_1253" < 0) and ("Speed_Right_Wheel_1254" < 0) and ("Speed_Right_Wheel_1255" < 0) and ("Speed_Right_Wheel_1256" < 0) and ("Speed_Right_Wheel_1257" < 0) and ("Speed_Right_Wheel_1258" < 0) and ("Speed_Right_Wheel_1259" < 0) and ("Speed_Right_Wheel_1260" < 0) and ("Speed_Right_Wheel_1261" < 0) and ("Speed_Right_Wheel_1262" < 0) and ("Speed_Right_Wheel_1263" < 0) and ("Speed_Right_Wheel_1264" < 0) and ("Speed_Right_Wheel_1265" < 0) and ("Speed_Right_Wheel_1266" < 0) and ("Speed_Right_Wheel_1267" < 0) and ("Speed_Right_Wheel_1268" < 0) and ("Speed_Right_Wheel_1269" < 0) and ("Speed_Right_Wheel_1270" < 0) and ("Speed_Right_Wheel_1271" < 0) and ("Speed_Right_Wheel_1272" < 0) and ("Speed_Right_Wheel_1273" < 0) and ("Speed_Right_Wheel_1274" < 0) and ("Speed_Right_Wheel_1275" < 0) and ("Speed_Right_Wheel_1276" < 0) and ("Speed_Right_Wheel_1277" < 0) and ("Speed_Right_Wheel_1278" < 0) and ("Speed_Right_Wheel_1279" < 0) and ("Speed_Right_Wheel_1280" < 0) and ("Speed_Right_Wheel_1281" < 0) and ("Speed_Right_Wheel_1282" < 0) and ("Speed_Right_Wheel_1283" < 0) and ("Speed_Right_Wheel_1284" < 0) and ("Speed_Right_Wheel_1285" < 0) and ("Speed_Right_Wheel_1286" < 0) and ("Speed_Right_Wheel_1287" < 0) and ("Speed_Right_Wheel_1288" < 0) and ("Speed_Right_Wheel_1289" < 0) and ("Speed_Right_Wheel_1290" < 0) and ("Speed_Right_Wheel_1291" < 0) and ("Speed_Right_Wheel_1292" < 0) and ("Speed_Right_Wheel_1293" < 0) and ("Speed_Right_Wheel_1294" < 0) and ("Speed_Right_Wheel_1295" < 0) and ("Speed_Right_Wheel_1296" < 0) and ("Speed_Right_Wheel_1297" < 0) and ("Speed_Right_Wheel_1298" < 0) and ("Speed_Right_Wheel_1299" < 0) and ("Speed_Right_Wheel_1300" < 0) and ("Speed_Right_Wheel_1301" < 0) and ("Speed_Right_Wheel_1302" < 0) and ("Speed_Right_Wheel_1303" < 0) and ("Speed_Right_Wheel_1304" < 0) and ("Speed_Right_Wheel_1305" < 0) and ("Speed_Right_Wheel_1306" < 0) and ("Speed_Right_Wheel_1307" < 0) and ("Speed_Right_Wheel_1308" < 0) and ("Speed_Right_Wheel_1309" < 0) and ("Speed_Right_Wheel_1310" < 0) and ("Speed_Right_Wheel_1311" < 0) and ("Speed_Right_Wheel_1312" < 0) and ("Speed_Right_Wheel_1313" < 0) and ("Speed_Right_Wheel_1314" < 0) and ("Speed_Right_Wheel_1315" < 0) and ("Speed_Right_Wheel_1316" < 0) and ("Speed_Right_Wheel_1317" < 0) and ("Speed_Right_Wheel_1318" < 0) and ("Speed_Right_Wheel_1319" < 0) and ("Speed_Right_Wheel_1320" < 0) and ("Speed_Right_Wheel_1321" < 0) and ("Speed_Right_Wheel_1322" < 0) and ("Speed_Right_Wheel_1323" < 0) and ("Speed_Right_Wheel_1324" < 0) and ("Speed_Right_Wheel_1325" < 0) and ("Speed_Right_Wheel_1326" < 0) and ("Speed_Right_Wheel_1327" < 0) and ("Speed_Right_Wheel_1328" < 0) and ("Speed_Right_Wheel_1329" < 0) and ("Speed_Right_Wheel_1330" < 0) and ("Speed_Right_Wheel_1331" < 0) and ("Speed_Right_Wheel_1332" < 0) and ("Speed_Right_Wheel_1333" < 0) and ("Speed_Right_Wheel_1334" < 0) and ("Speed_Right_Wheel_1335" < 0) and ("Speed_Right_Wheel_1336" < 0) and ("Speed_Right_Wheel_1337" < 0) and ("Speed_Right_Wheel_1338" < 0) and ("Speed_Right_Wheel_1339" < 0) and ("Speed_Right_Wheel_1340" < 0) and ("Speed_Right_Wheel_1341" < 0) and ("Speed_Right_Wheel_1342" < 0) and ("Speed_Right_Wheel_1343" < 0) and ("Speed_Right_Wheel_1344" < 0) and ("Speed_Right_Wheel_1345" < 0) and ("Speed_Right_Wheel_1346" < 0) and ("Speed_Right_Wheel_1347" < 0) and ("Speed_Right_Wheel_1348" < 0) and ("Speed_Right_Wheel_1349" < 0) and ("Speed_Right_Wheel_1350" < 0) and ("Speed_Right_Wheel_1351" < 0) and ("Speed_Right_Wheel_1352" < 0) and ("Speed_Right_Wheel_1353" < 0) and ("Speed_Right_Wheel_1354" < 0) and ("Speed_Right_Wheel_1355" < 0) and ("Speed_Right_Wheel_1356" < 0) and ("Speed_Right_Wheel_1357" < 0) and ("Speed_Right_Wheel_1358" < 0) and ("Speed_Right_Wheel_1359" < 0) and ("Speed_Right_Wheel_1360" < 0) and ("Speed_Right_Wheel_1361" < 0) and ("Speed_Right_Wheel_1362" < 0) and ("Speed_Right_Wheel_1363" < 0) and ("Speed_Right_Wheel_1364" < 0) and ("Speed_Right_Wheel_1365" < 0) and ("Speed_Right_Wheel_1366" < 0) and ("Speed_Right_Wheel_1367" < 0) and ("Speed_Right_Wheel_1368" < 0) and ("Speed_Right_Wheel_1369" < 0) and ("Speed_Right_Wheel_1370" < 0) and ("Speed_Right_Wheel_1371" < 0) and ("Speed_Right_Wheel_1372" < 0) and ("Speed_Right_Wheel_1373" < 0) and ("Speed_Right_Wheel_1374" < 0) and ("Speed_Right_Wheel_1375" < 0) and ("Speed_Right_Wheel_1376" < 0) and ("Speed_Right_Wheel_1377" < 0) and ("Speed_Right_Wheel_1378" < 0) and ("Speed_Right_Wheel_1379" < 0) and ("Speed_Right_Wheel_1380" < 0) and ("Speed_Right_Wheel_1381" < 0) and ("Speed_Right_Wheel_1382" < 0) and ("Speed_Right_Wheel_1383" < 0) and ("Speed_Right_Wheel_1384" < 0) and ("Speed_Right_Wheel_1385" < 0) and ("Speed_Right_Wheel_1386" < 0) and ("Speed_Right_Wheel_1387" < 0) and ("Speed_Right_Wheel_1388" < 0) and ("Speed_Right_Wheel_1389" < 0) and ("Speed_Right_Wheel_1390" < 0) and ("Speed_Right_Wheel_1391" < 0) and ("Speed_Right_Wheel_1392" < 0) and ("Speed_Right_Wheel_1393" < 0) and ("Speed_Right_Wheel_1394" < 0) and ("Speed_Right_Wheel_1395" < 0) and ("Speed_Right_Wheel_1396" < 0) and ("Speed_Right_Wheel_1397" < 0) and ("Speed_Right_Wheel_1398" < 0) and ("Speed_Right_Wheel_1399" < 0) and ("Speed_Right_Wheel_1400" < 0) and ("Speed_Right_Wheel_1401" < 0) and ("Speed_Right_Wheel_1402" < 0) and ("Speed_Right_Wheel_1403" < 0) and ("Speed_Right_Wheel_1404" < 0) and ("Speed_Right_Wheel_1405" < 0) and ("Speed_Right_Wheel_1406" < 0) and ("Speed_Right_Wheel_1407" < 0) and ("Speed_Right_Wheel_1408" < 0) and ("Speed_Right_Wheel_1409" < 0) and ("Speed_Right_Wheel_1410" < 0) and ("Speed_Right_Wheel_1411" < 0) and ("Speed_Right_Wheel_1412" < 0) and ("Speed_Right_Wheel_1413" < 0) and ("Speed_Right_Wheel_1414" < 0) and ("Speed_Right_Wheel_1415" < 0) and ("Speed_Right_Wheel_1416" < 0) and ("Speed_Right_Wheel_1417" < 0) and ("Speed_Right_Wheel_1418" < 0) and ("Speed_Right_Wheel_1419" < 0) and ("Speed_Right_Wheel_1420" < 0) and ("Speed_Right_Wheel_1421" < 0) and ("Speed_Right_Wheel_1422" < 0) and ("Speed_Right_Wheel_1423" < 0) and ("Speed_Right_Wheel_1424" < 0) and ("Speed_Right_Wheel_1425" < 0) and ("Speed_Right_Wheel_1426" < 0) and ("Speed_Right_Wheel_1427" < 0) and ("Speed_Right_Wheel_1428" < 0) and ("Speed_Right_Wheel_1429" < 0) and ("Speed_Right_Wheel_1430" < 0) and ("Speed_Right_Wheel_1431" < 0) and ("Speed_Right_Wheel_1432" < 0) and ("Speed_Right_Wheel_1433" < 0) and ("Speed_Right_Wheel_1434" < 0) and ("Speed_Right_Wheel_1435" < 0) and ("Speed_Right_Wheel_1436" < 0) and ("Speed_Right_Wheel_1437" < 0) and ("Speed_Right_Wheel_1438" < 0) and ("Speed_Right_Wheel_1439" < 0) and ("Speed_Right_Wheel_1440" < 0) and ("Speed_Right_Wheel_1441" < 0) and ("Speed_Right_Wheel_1442" < 0) and ("Speed_Right_Wheel_1443" < 0) and ("Speed_Right_Wheel_1444" < 0) and ("Speed_Right_Wheel_1445" < 0) and ("Speed_Right_Wheel_1446" < 0) and ("Speed_Right_Wheel_1447" < 0) and ("Speed_Right_Wheel_1448" < 0) and ("Speed_Right_Wheel_1449" < 0) and ("Speed_Right_Wheel_1450" < 0) and ("Speed_Right_Wheel_1451" < 0) and ("Speed_Right_Wheel_1452" < 0) and ("Speed_Right_Wheel_1453" < 0) and ("Speed_Right_Wheel_1454" < 0) and ("Speed_Right_Wheel_1455" < 0) and ("Speed_Right_Wheel_1456" < 0) and ("Speed_Right_Wheel_1457" < 0) and ("Speed_Right_Wheel_1458" < 0) and ("Speed_Right_Wheel_1459" < 0) and ("Speed_Right_Wheel_1460" < 0) and ("Speed_Right_Wheel_1461" < 0) and ("Speed_Right_Wheel_1462" < 0) and ("Speed_Right_Wheel_1463" < 0) and ("Speed_Right_Wheel_1464" < 0) and ("Speed_Right_Wheel_1465" < 0) and ("Speed_Right_Wheel_1466" < 0) and ("Speed_Right_Wheel_1467" < 0) and ("Speed_Right_Wheel_1468" < 0) and ("Speed_Right_Wheel_1469" < 0) and ("Speed_Right_Wheel_1470" < 0) and ("Speed_Right_Wheel_1471" < 0) and ("Speed_Right_Wheel_1472" < 0) and ("Speed_Right_Wheel_1473" < 0) and ("Speed_Right_Wheel_1474" < 0) and ("Speed_Right_Wheel_1475" < 0) and ("Speed_Right_Wheel_1476" < 0) and ("Speed_Right_Wheel_1477" < 0) and ("Speed_Right_Wheel_1478" < 0) and ("Speed_Right_Wheel_1479" < 0) and ("Speed_Right_Wheel_1480" < 0) and ("Speed_Right_Wheel_1481" < 0) and ("Speed_Right_Wheel_1482" < 0) and ("Speed_Right_Wheel_1483" < 0) and ("Speed_Right_Wheel_1484" < 0) and ("Speed_Right_Wheel_1485" < 0) and ("Speed_Right_Wheel_1486" < 0) and ("Speed_Right_Wheel_1487" < 0) and ("Speed_Right_Wheel_1488" < 0) and ("Speed_Right_Wheel_1489" < 0) and ("Speed_Right_Wheel_1490" < 0) and ("Speed_Right_Wheel_1491" < 0) and ("Speed_Right_Wheel_1492" < 0) and ("Speed_Right_Wheel_1493" < 0) and ("Speed_Right_Wheel_1494" < 0) and ("Speed_Right_Wheel_1495" < 0) and ("Speed_Right_Wheel_1496" < 0) and ("Speed_Right_Wheel_1497" < 0) and ("Speed_Right_Wheel_1498" < 0) and ("Speed_Right_Wheel_1499" < 0) and ("Speed_Right_Wheel_1500" < 0) and ("Speed_Right_Wheel_1501" < 0) and ("Speed_Right_Wheel_1502" < 0) and ("Speed_Right_Wheel_1503" < 0) and ("Speed_Right_Wheel_1504" < 0) and ("Speed_Right_Wheel_1505" < 0) and ("Speed_Right_Wheel_1506" < 0) and ("Speed_Right_Wheel_1507" < 0) and ("Speed_Right_Wheel_1508" < 0) and ("Speed_Right_Wheel_1509" < 0) and ("Speed_Right_Wheel_1510" < 0) and ("Speed_Right_Wheel_1511" < 0) and ("Speed_Right_Wheel_1512" < 0) and ("Speed_Right_Wheel_1513" < 0) and ("Speed_Right_Wheel_1514" < 0) and ("Speed_Right_Wheel_1515" < 0) and ("Speed_Right_Wheel_1516" < 0) and ("Speed_Right_Wheel_1517" < 0) and ("Speed_Right_Wheel_1518" < 0) and ("Speed_Right_Wheel_1519" < 0) and ("Speed_Right_Wheel_1520" < 0) and ("Speed_Right_Wheel_1521" < 0) and ("Speed_Right_Wheel_1522" < 0) and ("Speed_Right_Wheel_1523" < 0) and ("Speed_Right_Wheel_1524" < 0) and ("Speed_Right_Wheel_1525" < 0) and ("Speed_Right_Wheel_1526" < 0) and ("Speed_Right_Wheel_1527" < 0) and ("Speed_Right_Wheel_1528" < 0) and ("Speed_Right_Wheel_1529" < 0) and ("Speed_Right_Wheel_1530" < 0) and ("Speed_Right_Wheel_1531" < 0) and ("Speed_Right_Wheel_1532" < 0) and ("Speed_Right_Wheel_1533" < 0) and ("Speed_Right_Wheel_1534" < 0) and ("Speed_Right_Wheel_1535" < 0) and ("Speed_Right_Wheel_1536" < 0) and ("Speed_Right_Wheel_1537" < 0) and ("Speed_Right_Wheel_1538" < 0) and ("Speed_Right_Wheel_1539" < 0) and ("Speed_Right_Wheel_1540" < 0) and ("Speed_Right_Wheel_1541" < 0) and ("Speed_Right_Wheel_1542" < 0) and ("Speed_Right_Wheel_1543" < 0) and ("Speed_Right_Wheel_1544" < 0) and ("Speed_Right_Wheel_1545" < 0) and ("Speed_Right_Wheel_1546" < 0) and ("Speed_Right_Wheel_1547" < 0) and ("Speed_Right_Wheel_1548" < 0) and ("Speed_Right_Wheel_1549" < 0) and ("Speed_Right_Wheel_1550" < 0) and ("Speed_Right_Wheel_1551" < 0) and ("Speed_Right_Wheel_1552" < 0) and ("Speed_Right_Wheel_1553" < 0) and ("Speed_Right_Wheel_1554" < 0) and ("Speed_Right_Wheel_1555" < 0) and ("Speed_Right_Wheel_1556" < 0) and ("Speed_Right_Wheel_1557" < 0) and ("Speed_Right_Wheel_1558" < 0) and ("Speed_Right_Wheel_1559" < 0) and ("Speed_Right_Wheel_1560" < 0) and ("Speed_Right_Wheel_1561" < 0) and ("Speed_Right_Wheel_1562" < 0) and ("Speed_Right_Wheel_1563" < 0) and ("Speed_Right_Wheel_1564" < 0) and ("Speed_Right_Wheel_1565" < 0) and ("Speed_Right_Wheel_1566" < 0) and ("Speed_Right_Wheel_1567" < 0) and ("Speed_Right_Wheel_1568" < 0) and ("Speed_Right_Wheel_1569" < 0) and ("Speed_Right_Wheel_1570" < 0) and ("Speed_Right_Wheel_1571" < 0) and ("Speed_Right_Wheel_1572" < 0) and ("Speed_Right_Wheel_1573" < 0) and ("Speed_Right_Wheel_1574" < 0) and ("Speed_Right_Wheel_1575" < 0) and ("Speed_Right_Wheel_1576" < 0) and ("Speed_Right_Wheel_1577" < 0) and ("Speed_Right_Wheel_1578" < 0) and ("Speed_Right_Wheel_1579" < 0) and ("Speed_Right_Wheel_1580" < 0) and ("Speed_Right_Wheel_1581" < 0) and ("Speed_Right_Wheel_1582" < 0) and ("Speed_Right_Wheel_1583" < 0) and ("Speed_Right_Wheel_1584" < 0) and ("Speed_Right_Wheel_1585" < 0) and ("Speed_Right_Wheel_1586" < 0) and ("Speed_Right_Wheel_1587" < 0) and ("Speed_Right_Wheel_1588" < 0) and ("Speed_Right_Wheel_1589" < 0) and ("Speed_Right_Wheel_1590" < 0) and ("Speed_Right_Wheel_1591" < 0) and ("Speed_Right_Wheel_1592" < 0) and ("Speed_Right_Wheel_1593" < 0) and ("Speed_Right_Wheel_1594" < 0) and ("Speed_Right_Wheel_1595" < 0) and ("Speed_Right_Wheel_1596" < 0) and ("Speed_Right_Wheel_1597" < 0) and ("Speed_Right_Wheel_1598" < 0) and ("Speed_Right_Wheel_1599" < 0) and ("Speed_Right_Wheel_1600" < 0) and ("Speed_Right_Wheel_1601" < 0) and ("Speed_Right_Wheel_1602" < 0) and ("Speed_Right_Wheel_1603" < 0) and ("Speed_Right_Wheel_1604" < 0) and ("Speed_Right_Wheel_1605" < 0) and ("Speed_Right_Wheel_1606" < 0) and ("Speed_Right_Wheel_1607" < 0) and ("Speed_Right_Wheel_1608" < 0) and ("Speed_Right_Wheel_1609" < 0) and ("Speed_Right_Wheel_1610" < 0) and ("Speed_Right_Wheel_1611" < 0) and ("Speed_Right_Wheel_1612" < 0) and ("Speed_Right_Wheel_1613" < 0) and ("Speed_Right_Wheel_1614" < 0) and ("Speed_Right_Wheel_1615" < 0) and ("Speed_Right_Wheel_1616" < 0) and ("Speed_Right_Wheel_1617" < 0) and ("Speed_Right_Wheel_1618" < 0) and ("Speed_Right_Wheel_1619" < 0) and ("Speed_Right_Wheel_1620" < 0) and ("Speed_Right_Wheel_1621" < 0) and ("Speed_Right_Wheel_1622" < 0) and ("Speed_Right_Wheel_1623" < 0) and ("Speed_Right_Wheel_1624" < 0) and ("Speed_Right_Wheel_1625" < 0) and ("Speed_Right_Wheel_1626" < 0) and ("Speed_Right_Wheel_1627" < 0) and ("Speed_Right_Wheel_1628" < 0) and ("Speed_Right_Wheel_1629" < 0) and ("Speed_Right_Wheel_1630" < 0) and ("Speed_Right_Wheel_1631" < 0) and ("Speed_Right_Wheel_1632" < 0) and ("Speed_Right_Wheel_1633" < 0) and ("Speed_Right_Wheel_1634" < 0) and ("Speed_Right_Wheel_1635" < 0) and ("Speed_Right_Wheel_1636" < 0) and ("Speed_Right_Wheel_1637" < 0) and ("Speed_Right_Wheel_1638" < 0) and ("Speed_Right_Wheel_1639" < 0) and ("Speed_Right_Wheel_1640" < 0) and ("Speed_Right_Wheel_1641" < 0) and ("Speed_Right_Wheel_1642" < 0) and ("Speed_Right_Wheel_1643" < 0) and ("Speed_Right_Wheel_1644" < 0) and ("Speed_Right_Wheel_1645" < 0) and ("Speed_Right_Wheel_1646" < 0) and ("Speed_Right_Wheel_1647" < 0) and ("Speed_Right_Wheel_1648" < 0) and ("Speed_Right_Wheel_1649" < 0) and ("Speed_Right_Wheel_1650" < 0) and ("Speed_Right_Wheel_1651" < 0) and ("Speed_Right_Wheel_1652" < 0) and ("Speed_Right_Wheel_1653" < 0) and ("Speed_Right_Wheel_1654" < 0) and ("Speed_Right_Wheel_1655" < 0) and ("Speed_Right_Wheel_1656" < 0) and ("Speed_Right_Wheel_1657" < 0) and ("Speed_Right_Wheel_1658" < 0) and ("Speed_Right_Wheel_1659" < 0) and ("Speed_Right_Wheel_1660" < 0) and ("Speed_Right_Wheel_1661" < 0) and ("Speed_Right_Wheel_1662" < 0) and ("Speed_Right_Wheel_1663" < 0) and ("Speed_Right_Wheel_1664" < 0) and ("Speed_Right_Wheel_1665" < 0) and ("Speed_Right_Wheel_1666" < 0) and ("Speed_Right_Wheel_1667" < 0) and ("Speed_Right_Wheel_1668" < 0) and ("Speed_Right_Wheel_1669" < 0) and ("Speed_Right_Wheel_1670" < 0) and ("Speed_Right_Wheel_1671" < 0) and ("Speed_Right_Wheel_1672" < 0) and ("Speed_Right_Wheel_1673" < 0) and ("Speed_Right_Wheel_1674" < 0) and ("Speed_Right_Wheel_1675" < 0) and ("Speed_Right_Wheel_1676" < 0) and ("Speed_Right_Wheel_1677" < 0) and ("Speed_Right_Wheel_1678" < 0) and ("Speed_Right_Wheel_1679" < 0) and ("Speed_Right_Wheel_1680" < 0) and ("Speed_Right_Wheel_1681" < 0) and ("Speed_Right_Wheel_1682" < 0) and ("Speed_Right_Wheel_1683" < 0) and ("Speed_Right_Wheel_1684" < 0) and ("Speed_Right_Wheel_1685" < 0) and ("Speed_Right_Wheel_1686" < 0) and ("Speed_Right_Wheel_1687" < 0) and ("Speed_Right_Wheel_1688" < 0) and ("Speed_Right_Wheel_1689" < 0) and ("Speed_Right_Wheel_1690" < 0) and ("Speed_Right_Wheel_1691" < 0) and ("Speed_Right_Wheel_1692" < 0) and ("Speed_Right_Wheel_1693" < 0) and ("Speed_Right_Wheel_1694" < 0) and ("Speed_Right_Wheel_1695" < 0) and ("Speed_Right_Wheel_1696" < 0) and ("Speed_Right_Wheel_1697" < 0) and ("Speed_Right_Wheel_1698" < 0) and ("Speed_Right_Wheel_1699" < 0) and ("Speed_Right_Wheel_1700" < 0) and ("Speed_Right_Wheel_1701" < 0) and ("Speed_Right_Wheel_1702" < 0) and ("Speed_Right_Wheel_1703" < 0) and ("Speed_Right_Wheel_1704" < 0) and ("Speed_Right_Wheel_1705" < 0) and ("Speed_Right_Wheel_1706" < 0) and ("Speed_Right_Wheel_1707" < 0) and ("Speed_Right_Wheel_1708" < 0) and ("Speed_Right_Wheel_1709" < 0) and ("Speed_Right_Wheel_1710" < 0) and ("Speed_Right_Wheel_1711" < 0) and ("Speed_Right_Wheel_1712" < 0) and ("Speed_Right_Wheel_1713" < 0) and ("Speed_Right_Wheel_1714" < 0) and ("Speed_Right_Wheel_1715" < 0) and ("Speed_Right_Wheel_1716" < 0) and ("Speed_Right_Wheel_1717" < 0) and ("Speed_Right_Wheel_1718" < 0) and ("Speed_Right_Wheel_1719" < 0) and ("Speed_Right_Wheel_1720" < 0) and ("Speed_Right_Wheel_1721" < 0) and ("Speed_Right_Wheel_1722" < 0) and ("Speed_Right_Wheel_1723" < 0) and ("Speed_Right_Wheel_1724" < 0) and ("Speed_Right_Wheel_1725" < 0) and ("Speed_Right_Wheel_1726" < 0) and ("Speed_Right_Wheel_1727" < 0) and ("Speed_Right_Wheel_1728" < 0) and ("Speed_Right_Wheel_1729" < 0) and ("Speed_Right_Wheel_1730" < 0) and ("Speed_Right_Wheel_1731" < 0) and ("Speed_Right_Wheel_1732" < 0) and ("Speed_Right_Wheel_1733" < 0) and ("Speed_Right_Wheel_1734" < 0) and ("Speed_Right_Wheel_1735" < 0) and ("Speed_Right_Wheel_1736" < 0) and ("Speed_Right_Wheel_1737" < 0) and ("Speed_Right_Wheel_1738" < 0) and ("Speed_Right_Wheel_1739" < 0) and ("Speed_Right_Wheel_1740" < 0) and ("Speed_Right_Wheel_1741" < 0) and ("Speed_Right_Wheel_1742" < 0) and ("Speed_Right_Wheel_1743" < 0) and ("Speed_Right_Wheel_1744" < 0) and ("Speed_Right_Wheel_1745" < 0) and ("Speed_Right_Wheel_1746" < 0) and ("Speed_Right_Wheel_1747" < 0) and ("Speed_Right_Wheel_1748" < 0) and ("Speed_Right_Wheel_1749" < 0) and ("Speed_Right_Wheel_1750" < 0) and ("Speed_Right_Wheel_1751" < 0) and ("Speed_Right_Wheel_1752" < 0) and ("Speed_Right_Wheel_1753" < 0) and ("Speed_Right_Wheel_1754" < 0) and ("Speed_Right_Wheel_1755" < 0) and ("Speed_Right_Wheel_1756" < 0) and ("Speed_Right_Wheel_1757" < 0) and ("Speed_Right_Wheel_1758" < 0) and ("Speed_Right_Wheel_1759" < 0) and ("Speed_Right_Wheel_1760" < 0) and ("Speed_Right_Wheel_1761" < 0) and ("Speed_Right_Wheel_1762" < 0) and ("Speed_Right_Wheel_1763" < 0) and ("Speed_Right_Wheel_1764" < 0) and ("Speed_Right_Wheel_1765" < 0) and ("Speed_Right_Wheel_1766" < 0) and ("Speed_Right_Wheel_1767" < 0) and ("Speed_Right_Wheel_1768" < 0) and ("Speed_Right_Wheel_1769" < 0) and ("Speed_Right_Wheel_1770" < 0) and ("Speed_Right_Wheel_1771" < 0) and ("Speed_Right_Wheel_1772" < 0) and ("Speed_Right_Wheel_1773" < 0) and ("Speed_Right_Wheel_1774" < 0) and ("Speed_Right_Wheel_1775" < 0) and ("Speed_Right_Wheel_1776" < 0) and ("Speed_Right_Wheel_1777" < 0) and ("Speed_Right_Wheel_1778" < 0) and ("Speed_Right_Wheel_1779" < 0) and ("Speed_Right_Wheel_1780" < 0) and ("Speed_Right_Wheel_1781" < 0) and ("Speed_Right_Wheel_1782" < 0) and ("Speed_Right_Wheel_1783" < 0) and ("Speed_Right_Wheel_1784" < 0) and ("Speed_Right_Wheel_1785" < 0) and ("Speed_Right_Wheel_1786" < 0) and ("Speed_Right_Wheel_1787" < 0) and ("Speed_Right_Wheel_1788" < 0) and ("Speed_Right_Wheel_1789" < 0) and ("Speed_Right_Wheel_1790" < 0) and ("Speed_Right_Wheel_1791" < 0) and ("Speed_Right_Wheel_1792" < 0) and ("Speed_Right_Wheel_1793" < 0) and ("Speed_Right_Wheel_1794" < 0) and ("Speed_Right_Wheel_1795" < 0) and ("Speed_Right_Wheel_1796" < 0) and ("Speed_Right_Wheel_1797" < 0) and ("Speed_Right_Wheel_1798" < 0) and ("Speed_Right_Wheel_1799" < 0) and ("Speed_Right_Wheel_1800" < 0) and ("Speed_Right_Wheel_1801" < 0) and ("Speed_Right_Wheel_1802" < 0) and ("Speed_Right_Wheel_1803" < 0) and ("Speed_Right_Wheel_1804" < 0) and ("Speed_Right_Wheel_1805" < 0) and ("Speed_Right_Wheel_1806" < 0) and ("Speed_Right_Wheel_1807" < 0) and ("Speed_Right_Wheel_1808" < 0) and ("Speed_Right_Wheel_1809" < 0) and ("Speed_Right_Wheel_1810" < 0) and ("Speed_Right_Wheel_1811" < 0) and ("Speed_Right_Wheel_1812" < 0) and ("Speed_Right_Wheel_1813" < 0) and ("Speed_Right_Wheel_1814" < 0) and ("Speed_Right_Wheel_1815" < 0) and ("Speed_Right_Wheel_1816" < 0) and ("Speed_Right_Wheel_1817" < 0) and ("Speed_Right_Wheel_1818" < 0) and ("Speed_Right_Wheel_1819" < 0) and ("Speed_Right_Wheel_1820" < 0) and ("Speed_Right_Wheel_1821" < 0) and ("Speed_Right_Wheel_1822" < 0) and ("Speed_Right_Wheel_1823" < 0) and ("Speed_Right_Wheel_1824" < 0) and ("Speed_Right_Wheel_1825" < 0) and ("Speed_Right_Wheel_1826" < 0) and ("Speed_Right_Wheel_1827" < 0) and ("Speed_Right_Wheel_1828" < 0) and ("Speed_Right_Wheel_1829" < 0) and ("Speed_Right_Wheel_1830" < 0) and ("Speed_Right_Wheel_1831" < 0) and ("Speed_Right_Wheel_1832" < 0) and ("Speed_Right_Wheel_1833" < 0) and ("Speed_Right_Wheel_1834" < 0) and ("Speed_Right_Wheel_1835" < 0) and ("Speed_Right_Wheel_1836" < 0) and ("Speed_Right_Wheel_1837" < 0) and ("Speed_Right_Wheel_1838" < 0) and ("Speed_Right_Wheel_1839" < 0) and ("Speed_Right_Wheel_1840" < 0) and ("Speed_Right_Wheel_1841" < 0) and ("Speed_Right_Wheel_1842" < 0) and ("Speed_Right_Wheel_1843" < 0) and ("Speed_Right_Wheel_1844" < 0) and ("Speed_Right_Wheel_1845" < 0) and ("Speed_Right_Wheel_1846" < 0) and ("Speed_Right_Wheel_1847" < 0) and ("Speed_Right_Wheel_1848" < 0) and ("Speed_Right_Wheel_1849" < 0) and ("Speed_Right_Wheel_1850" < 0) and ("Speed_Right_Wheel_1851" < 0) and ("Speed_Right_Wheel_1852" < 0) and ("Speed_Right_Wheel_1853" < 0) and ("Speed_Right_Wheel_1854" < 0) and ("Speed_Right_Wheel_1855" < 0) and ("Speed_Right_Wheel_1856" < 0) and ("Speed_Right_Wheel_1857" < 0) and ("Speed_Right_Wheel_1858" < 0) and ("Speed_Right_Wheel_1859" < 0) and ("Speed_Right_Wheel_1860" < 0) and ("Speed_Right_Wheel_1861" < 0) and ("Speed_Right_Wheel_1862" < 0) and ("Speed_Right_Wheel_1863" < 0) and ("Speed_Right_Wheel_1864" < 0) and ("Speed_Right_Wheel_1865" < 0) and ("Speed_Right_Wheel_1866" < 0) and ("Speed_Right_Wheel_1867" < 0) and ("Speed_Right_Wheel_1868" < 0) and ("Speed_Right_Wheel_1869" < 0) and ("Speed_Right_Wheel_1870" < 0) and ("Speed_Right_Wheel_1871" < 0) and ("Speed_Right_Wheel_1872" < 0) and ("Speed_Right_Wheel_1873" < 0) and ("Speed_Right_Wheel_1874" < 0) and ("Speed_Right_Wheel_1875" < 0) and ("Speed_Right_Wheel_1876" < 0) and ("Speed_Right_Wheel_1877" < 0) and ("Speed_Right_Wheel_1878" < 0) and ("Speed_Right_Wheel_1879" < 0) and ("Speed_Right_Wheel_1880" < 0) and ("Speed_Right_Wheel_1881" < 0) and ("Speed_Right_Wheel_1882" < 0) and ("Speed_Right_Wheel_1883" < 0) and ("Speed_Right_Wheel_1884" < 0) and ("Speed_Right_Wheel_1885" < 0) and ("Speed_Right_Wheel_1886" < 0) and ("Speed_Right_Wheel_1887" < 0) and ("Speed_Right_Wheel_1888" < 0) and ("Speed_Right_Wheel_1889" < 0) and ("Speed_Right_Wheel_1890" < 0) and ("Speed_Right_Wheel_1891" < 0) and ("Speed_Right_Wheel_1892" < 0) and ("Speed_Right_Wheel_1893" < 0) and ("Speed_Right_Wheel_1894" < 0) and ("Speed_Right_Wheel_1895" < 0) and ("Speed_Right_Wheel_1896" < 0) and ("Speed_Right_Wheel_1897" < 0) and ("Speed_Right_Wheel_1898" < 0) and ("Speed_Right_Wheel_1899" < 0) and ("Speed_Right_Wheel_1900" < 0) and ("Speed_Right_Wheel_1901" < 0) and ("Speed_Right_Wheel_1902" < 0) and ("Speed_Right_Wheel_1903" < 0) and ("Speed_Right_Wheel_1904" < 0) and ("Speed_Right_Wheel_1905" < 0) and ("Speed_Right_Wheel_1906" < 0) and ("Speed_Right_Wheel_1907" < 0) and ("Speed_Right_Wheel_1908" < 0) and ("Speed_Right_Wheel_1909" < 0) and ("Speed_Right_Wheel_1910" < 0) and ("Speed_Right_Wheel_1911" < 0) and ("Speed_Right_Wheel_1912" < 0) and ("Speed_Right_Wheel_1913" < 0) and ("Speed_Right_Wheel_1914" < 0) and ("Speed_Right_Wheel_1915" < 0) and ("Speed_Right_Wheel_1916" < 0) and ("Speed_Right_Wheel_1917" < 0) and ("Speed_Right_Wheel_1918" < 0) and ("Speed_Right_Wheel_1919" < 0) and ("Speed_Right_Wheel_1920" < 0) and ("Speed_Right_Wheel_1921" < 0) and ("Speed_Right_Wheel_1922" < 0) and ("Speed_Right_Wheel_1923" < 0) and ("Speed_Right_Wheel_1924" < 0) and ("Speed_Right_Wheel_1925" < 0) and ("Speed_Right_Wheel_1926" < 0) and ("Speed_Right_Wheel_1927" < 0) and ("Speed_Right_Wheel_1928" < 0) and ("Speed_Right_Wheel_1929" < 0) and ("Speed_Right_Wheel_1930" < 0) and ("Speed_Right_Wheel_1931" < 0) and ("Speed_Right_Wheel_1932" < 0) and ("Speed_Right_Wheel_1933" < 0) and ("Speed_Right_Wheel_1934" < 0) and ("Speed_Right_Wheel_1935" < 0) and ("Speed_Right_Wheel_1936" < 0) and ("Speed_Right_Wheel_1937" < 0) and ("Speed_Right_Wheel_1938" < 0) and ("Speed_Right_Wheel_1939" < 0) and ("Speed_Right_Wheel_1940" < 0) and ("Speed_Right_Wheel_1941" < 0) and ("Speed_Right_Wheel_1942" < 0) and ("Speed_Right_Wheel_1943" < 0) and ("Speed_Right_Wheel_1944" < 0) and ("Speed_Right_Wheel_1945" < 0) and ("Speed_Right_Wheel_1946" < 0) and ("Speed_Right_Wheel_1947" < 0) and ("Speed_Right_Wheel_1948" < 0) and ("Speed_Right_Wheel_1949" < 0) and ("Speed_Right_Wheel_1950" < 0) and ("Speed_Right_Wheel_1951" < 0) and ("Speed_Right_Wheel_1952" < 0) and ("Speed_Right_Wheel_1953" < 0) and ("Speed_Right_Wheel_1954" < 0) and ("Speed_Right_Wheel_1955" < 0) and ("Speed_Right_Wheel_1956" < 0) and ("Speed_Right_Wheel_1957" < 0) and ("Speed_Right_Wheel_1958" < 0) and ("Speed_Right_Wheel_1959" < 0) and ("Speed_Right_Wheel_1960" < 0) and ("Speed_Right_Wheel_1961" < 0) and ("Speed_Right_Wheel_1962" < 0) and ("Speed_Right_Wheel_1963" < 0) and ("Speed_Right_Wheel_1964" < 0) and ("Speed_Right_Wheel_1965" < 0) and ("Speed_Right_Wheel_1966" < 0) and ("Speed_Right_Wheel_1967" < 0) and ("Speed_Right_Wheel_1968" < 0) and ("Speed_Right_Wheel_1969" < 0) and ("Speed_Right_Wheel_1970" < 0) and ("Speed_Right_Wheel_1971" < 0) and ("Speed_Right_Wheel_1972" < 0) and ("Speed_Right_Wheel_1973" < 0) and ("Speed_Right_Wheel_1974" < 0) and ("Speed_Right_Wheel_1975" < 0) and ("Speed_Right_Wheel_1976" < 0) and ("Speed_Right_Wheel_1977" < 0) and ("Speed_Right_Wheel_1978" < 0) and ("Speed_Right_Wheel_1979" < 0) and ("Speed_Right_Wheel_1980" < 0) and ("Speed_Right_Wheel_1981" < 0) and ("Speed_Right_Wheel_1982" < 0) and ("Speed_Right_Wheel_1983" < 0) and ("Speed_Right_Wheel_1984" < 0) and ("Speed_Right_Wheel_1985" < 0) and ("Speed_Right_Wheel_1986" < 0) and ("Speed_Right_Wheel_1987" < 0) and ("Speed_Right_Wheel_1988" < 0) and ("Speed_Right_Wheel_1989" < 0) and ("Speed_Right_Wheel_1990" < 0) and ("Speed_Right_Wheel_1991" < 0) and ("Speed_Right_Wheel_1992" < 0) and ("Speed_Right_Wheel_1993" < 0) and ("Speed_Right_Wheel_1994" < 0) and ("Speed_Right_Wheel_1995" < 0) and ("Speed_Right_Wheel_1996" < 0) and ("Speed_Right_Wheel_1997" < 0) and ("Speed_Right_Wheel_1998" < 0) and ("Speed_Right_Wheel_1999" < 0) and ("Speed_Right_Wheel_2000" < 0)
timeout 7200 verifypn -n -d -r 1 -s BFS -x 1 model.pnml UpperBounds.xml
AirplaneLD-COL-2000-UpperBounds-0: place-bound EF ("Weight_Left_Wheel_on" < 0) and ("Weight_Left_Wheel_off" < 0)
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-2000"
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-2000.tgz
mv AirplaneLD-PT-2000 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-2000, 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-146445827700146"
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 '
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 ;