fond
Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r090-csrt-149441076300033
Last Updated
June 27, 2017

About the Execution of ITS-Tools for S_AirplaneLD-COL-1000

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1521.690 3600000.00 3638799.00 328.40 [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-3254
Executing tool itstools
Input is S_AirplaneLD-COL-1000, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r090-csrt-149441076300033
=====================================================================


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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1496380726573


Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((("P4.P4[0]>=1")&&("Speed0.Speed_Left_Wheel_0>=1"))||(("P4.P4[0]>=1")&&("Speed1.Speed_Left_Wheel_1>=1")))||(("P4.P4[0]>=1")&&("Speed2.Speed_Left_Wheel_2>=1")))||(("P4.P4[0]>=1")&&("Speed3.Speed_Left_Wheel_3>=1")))||(("P4.P4[0]>=1")&&("Speed4.Speed_Left_Wheel_4>=1")))||(("P4.P4[0]>=1")&&("Speed5.Speed_Left_Wheel_5>=1")))||(("P4.P4[0]>=1")&&("Speed6.Speed_Left_Wheel_6>=1")))||(("P4.P4[0]>=1")&&("Speed7.Speed_Left_Wheel_7>=1")))||(("P4.P4[0]>=1")&&("Speed8.Speed_Left_Wheel_8>=1")))||(("P4.P4[0]>=1")&&("Speed9.Speed_Left_Wheel_9>=1")))||(("P4.P4[0]>=1")&&("Speed10.Speed_Left_Wheel_10>=1")))||(("P4.P4[0]>=1")&&("Speed11.Speed_Left_Wheel_11>=1")))||(("P4.P4[0]>=1")&&("Speed12.Speed_Left_Wheel_12>=1")))||(("P4.P4[0]>=1")&&("Speed13.Speed_Left_Wheel_13>=1")))||(("P4.P4[0]>=1")&&("Speed14.Speed_Left_Wheel_14>=1")))||(("P4.P4[0]>=1")&&("Speed15.Speed_Left_Wheel_15>=1")))||(("P4.P4[0]>=1")&&("Speed16.Speed_Left_Wheel_16>=1")))||(("P4.P4[0]>=1")&&("Speed17.Speed_Left_Wheel_17>=1")))||(("P4.P4[0]>=1")&&("Speed18.Speed_Left_Wheel_18>=1")))||(("P4.P4[0]>=1")&&("Speed19.Speed_Left_Wheel_19>=1")))||(("P4.P4[0]>=1")&&("Speed20.Speed_Left_Wheel_20>=1")))||(("P4.P4[0]>=1")&&("Speed21.Speed_Left_Wheel_21>=1")))||(("P4.P4[0]>=1")&&("Speed22.Speed_Left_Wheel_22>=1")))||(("P4.P4[0]>=1")&&("Speed23.Speed_Left_Wheel_23>=1")))||(("P4.P4[0]>=1")&&("Speed24.Speed_Left_Wheel_24>=1")))||(("P4.P4[0]>=1")&&("Speed25.Speed_Left_Wheel_25>=1")))||(("P4.P4[0]>=1")&&("Speed26.Speed_Left_Wheel_26>=1")))||(("P4.P4[0]>=1")&&("Speed27.Speed_Left_Wheel_27>=1")))||(("P4.P4[0]>=1")&&("Speed28.Speed_Left_Wheel_28>=1")))||(("P4.P4[0]>=1")&&("Speed29.Speed_Left_Wheel_29>=1")))||(("P4.P4[0]>=1")&&("Speed30.Speed_Left_Wheel_30>=1")))||(("P4.P4[0]>=1")&&("Speed31.Speed_Left_Wheel_31>=1")))||(("P4.P4[0]>=1")&&("Speed32.Speed_Left_Wheel_32>=1")))||(("P4.P4[0]>=1")&&("Speed33.Speed_Left_Wheel_33>=1")))||(("P4.P4[0]>=1")&&("Speed34.Speed_Left_Wheel_34>=1")))||(("P4.P4[0]>=1")&&("Speed35.Speed_Left_Wheel_35>=1")))||(("P4.P4[0]>=1")&&("Speed36.Speed_Left_Wheel_36>=1")))||(("P4.P4[0]>=1")&&("Speed37.Speed_Left_Wheel_37>=1")))||(("P4.P4[0]>=1")&&("Speed38.Speed_Left_Wheel_38>=1")))||(("P4.P4[0]>=1")&&("Speed39.Speed_Left_Wheel_39>=1")))||(("P4.P4[0]>=1")&&("Speed40.Speed_Left_Wheel_40>=1")))||(("P4.P4[0]>=1")&&("Speed41.Speed_Left_Wheel_41>=1")))||(("P4.P4[0]>=1")&&("Speed42.Speed_Left_Wheel_42>=1")))||(("P4.P4[0]>=1")&&("Speed43.Speed_Left_Wheel_43>=1")))||(("P4.P4[0]>=1")&&("Speed44.Speed_Left_Wheel_44>=1")))||(("P4.P4[0]>=1")&&("Speed45.Speed_Left_Wheel_45>=1")))||(("P4.P4[0]>=1")&&("Speed46.Speed_Left_Wheel_46>=1")))||(("P4.P4[0]>=1")&&("Speed47.Speed_Left_Wheel_47>=1")))||(("P4.P4[0]>=1")&&("Speed48.Speed_Left_Wheel_48>=1")))||(("P4.P4[0]>=1")&&("Speed49.Speed_Left_Wheel_49>=1")))||(("P4.P4[0]>=1")&&("Speed50.Speed_Left_Wheel_50>=1")))||(("P4.P4[0]>=1")&&("Speed51.Speed_Left_Wheel_51>=1")))||(("P4.P4[0]>=1")&&("Speed52.Speed_Left_Wheel_52>=1")))||(("P4.P4[0]>=1")&&("Speed53.Speed_Left_Wheel_53>=1")))||(("P4.P4[0]>=1")&&("Speed54.Speed_Left_Wheel_54>=1")))||(("P4.P4[0]>=1")&&("Speed55.Speed_Left_Wheel_55>=1")))||(("P4.P4[0]>=1")&&("Speed56.Speed_Left_Wheel_56>=1")))||(("P4.P4[0]>=1")&&("Speed57.Speed_Left_Wheel_57>=1")))||(("P4.P4[0]>=1")&&("Speed58.Speed_Left_Wheel_58>=1")))||(("P4.P4[0]>=1")&&("Speed59.Speed_Left_Wheel_59>=1")))||(("P4.P4[0]>=1")&&("Speed60.Speed_Left_Wheel_60>=1")))||(("P4.P4[0]>=1")&&("Speed61.Speed_Left_Wheel_61>=1")))||(("P4.P4[0]>=1")&&("Speed62.Speed_Left_Wheel_62>=1")))||(("P4.P4[0]>=1")&&("Speed63.Speed_Left_Wheel_63>=1")))||(("P4.P4[0]>=1")&&("Speed64.Speed_Left_Wheel_64>=1")))||(("P4.P4[0]>=1")&&("Speed65.Speed_Left_Wheel_65>=1")))||(("P4.P4[0]>=1")&&("Speed66.Speed_Left_Wheel_66>=1")))||(("P4.P4[0]>=1")&&("Speed67.Speed_Left_Wheel_67>=1")))||(("P4.P4[0]>=1")&&("Speed68.Speed_Left_Wheel_68>=1")))||(("P4.P4[0]>=1")&&("Speed69.Speed_Left_Wheel_69>=1")))||(("P4.P4[0]>=1")&&("Speed70.Speed_Left_Wheel_70>=1")))||(("P4.P4[0]>=1")&&("Speed71.Speed_Left_Wheel_71>=1")))||(("P4.P4[0]>=1")&&("Speed72.Speed_Left_Wheel_72>=1")))||(("P4.P4[0]>=1")&&("Speed73.Speed_Left_Wheel_73>=1")))||(("P4.P4[0]>=1")&&("Speed74.Speed_Left_Wheel_74>=1")))||(("P4.P4[0]>=1")&&("Speed75.Speed_Left_Wheel_75>=1")))||(("P4.P4[0]>=1")&&("Speed76.Speed_Left_Wheel_76>=1")))||(("P4.P4[0]>=1")&&("Speed77.Speed_Left_Wheel_77>=1")))||(("P4.P4[0]>=1")&&("Speed78.Speed_Left_Wheel_78>=1")))||(("P4.P4[0]>=1")&&("Speed79.Speed_Left_Wheel_79>=1")))||(("P4.P4[0]>=1")&&("Speed80.Speed_Left_Wheel_80>=1")))||(("P4.P4[0]>=1")&&("Speed81.Speed_Left_Wheel_81>=1")))||(("P4.P4[0]>=1")&&("Speed82.Speed_Left_Wheel_82>=1")))||(("P4.P4[0]>=1")&&("Speed83.Speed_Left_Wheel_83>=1")))||(("P4.P4[0]>=1")&&("Speed84.Speed_Left_Wheel_84>=1")))||(("P4.P4[0]>=1")&&("Speed85.Speed_Left_Wheel_85>=1")))||(("P4.P4[0]>=1")&&("Speed86.Speed_Left_Wheel_86>=1")))||(("P4.P4[0]>=1")&&("Speed87.Speed_Left_Wheel_87>=1")))||(("P4.P4[0]>=1")&&("Speed88.Speed_Left_Wheel_88>=1")))||(("P4.P4[0]>=1")&&("Speed89.Speed_Left_Wheel_89>=1")))||(("P4.P4[0]>=1")&&("Speed90.Speed_Left_Wheel_90>=1")))||(("P4.P4[0]>=1")&&("Speed91.Speed_Left_Wheel_91>=1")))||(("P4.P4[0]>=1")&&("Speed92.Speed_Left_Wheel_92>=1")))||(("P4.P4[0]>=1")&&("Speed93.Speed_Left_Wheel_93>=1")))||(("P4.P4[0]>=1")&&("Speed94.Speed_Left_Wheel_94>=1")))||(("P4.P4[0]>=1")&&("Speed95.Speed_Left_Wheel_95>=1")))||(("P4.P4[0]>=1")&&("Speed96.Speed_Left_Wheel_96>=1")))||(("P4.P4[0]>=1")&&("Speed97.Speed_Left_Wheel_97>=1")))||(("P4.P4[0]>=1")&&("Speed98.Speed_Left_Wheel_98>=1")))||(("P4.P4[0]>=1")&&("Speed99.Speed_Left_Wheel_99>=1")))||(("P4.P4[0]>=1")&&("Speed100.Speed_Left_Wheel_100>=1")))||(("P4.P4[0]>=1")&&("Speed101.Speed_Left_Wheel_101>=1")))||(("P4.P4[0]>=1")&&("Speed102.Speed_Left_Wheel_102>=1")))||(("P4.P4[0]>=1")&&("Speed103.Speed_Left_Wheel_103>=1")))||(("P4.P4[0]>=1")&&("Speed104.Speed_Left_Wheel_104>=1")))||(("P4.P4[0]>=1")&&("Speed105.Speed_Left_Wheel_105>=1")))||(("P4.P4[0]>=1")&&("Speed106.Speed_Left_Wheel_106>=1")))||(("P4.P4[0]>=1")&&("Speed107.Speed_Left_Wheel_107>=1")))||(("P4.P4[0]>=1")&&("Speed108.Speed_Left_Wheel_108>=1")))||(("P4.P4[0]>=1")&&("Speed109.Speed_Left_Wheel_109>=1")))||(("P4.P4[0]>=1")&&("Speed110.Speed_Left_Wheel_110>=1")))||(("P4.P4[0]>=1")&&("Speed111.Speed_Left_Wheel_111>=1")))||(("P4.P4[0]>=1")&&("Speed112.Speed_Left_Wheel_112>=1")))||(("P4.P4[0]>=1")&&("Speed113.Speed_Left_Wheel_113>=1")))||(("P4.P4[0]>=1")&&("Speed114.Speed_Left_Wheel_114>=1")))||(("P4.P4[0]>=1")&&("Speed115.Speed_Left_Wheel_115>=1")))||(("P4.P4[0]>=1")&&("Speed116.Speed_Left_Wheel_116>=1")))||(("P4.P4[0]>=1")&&("Speed117.Speed_Left_Wheel_117>=1")))||(("P4.P4[0]>=1")&&("Speed118.Speed_Left_Wheel_118>=1")))||(("P4.P4[0]>=1")&&("Speed119.Speed_Left_Wheel_119>=1")))||(("P4.P4[0]>=1")&&("Speed120.Speed_Left_Wheel_120>=1")))||(("P4.P4[0]>=1")&&("Speed121.Speed_Left_Wheel_121>=1")))||(("P4.P4[0]>=1")&&("Speed122.Speed_Left_Wheel_122>=1")))||(("P4.P4[0]>=1")&&("Speed123.Speed_Left_Wheel_123>=1")))||(("P4.P4[0]>=1")&&("Speed124.Speed_Left_Wheel_124>=1")))||(("P4.P4[0]>=1")&&("Speed125.Speed_Left_Wheel_125>=1")))||(("P4.P4[0]>=1")&&("Speed126.Speed_Left_Wheel_126>=1")))||(("P4.P4[0]>=1")&&("Speed127.Speed_Left_Wheel_127>=1")))||(("P4.P4[0]>=1")&&("Speed128.Speed_Left_Wheel_128>=1")))||(("P4.P4[0]>=1")&&("Speed129.Speed_Left_Wheel_129>=1")))||(("P4.P4[0]>=1")&&("Speed130.Speed_Left_Wheel_130>=1")))||(("P4.P4[0]>=1")&&("Speed131.Speed_Left_Wheel_131>=1")))||(("P4.P4[0]>=1")&&("Speed132.Speed_Left_Wheel_132>=1")))||(("P4.P4[0]>=1")&&("Speed133.Speed_Left_Wheel_133>=1")))||(("P4.P4[0]>=1")&&("Speed134.Speed_Left_Wheel_134>=1")))||(("P4.P4[0]>=1")&&("Speed135.Speed_Left_Wheel_135>=1")))||(("P4.P4[0]>=1")&&("Speed136.Speed_Left_Wheel_136>=1")))||(("P4.P4[0]>=1")&&("Speed137.Speed_Left_Wheel_137>=1")))||(("P4.P4[0]>=1")&&("Speed138.Speed_Left_Wheel_138>=1")))||(("P4.P4[0]>=1")&&("Speed139.Speed_Left_Wheel_139>=1")))||(("P4.P4[0]>=1")&&("Speed140.Speed_Left_Wheel_140>=1")))||(("P4.P4[0]>=1")&&("Speed141.Speed_Left_Wheel_141>=1")))||(("P4.P4[0]>=1")&&("Speed142.Speed_Left_Wheel_142>=1")))||(("P4.P4[0]>=1")&&("Speed143.Speed_Left_Wheel_143>=1")))||(("P4.P4[0]>=1")&&("Speed144.Speed_Left_Wheel_144>=1")))||(("P4.P4[0]>=1")&&("Speed145.Speed_Left_Wheel_145>=1")))||(("P4.P4[0]>=1")&&("Speed146.Speed_Left_Wheel_146>=1")))||(("P4.P4[0]>=1")&&("Speed147.Speed_Left_Wheel_147>=1")))||(("P4.P4[0]>=1")&&("Speed148.Speed_Left_Wheel_148>=1")))||(("P4.P4[0]>=1")&&("Speed149.Speed_Left_Wheel_149>=1")))||(("P4.P4[0]>=1")&&("Speed150.Speed_Left_Wheel_150>=1")))||(("P4.P4[0]>=1")&&("Speed151.Speed_Left_Wheel_151>=1")))||(("P4.P4[0]>=1")&&("Speed152.Speed_Left_Wheel_152>=1")))||(("P4.P4[0]>=1")&&("Speed153.Speed_Left_Wheel_153>=1")))||(("P4.P4[0]>=1")&&("Speed154.Speed_Left_Wheel_154>=1")))||(("P4.P4[0]>=1")&&("Speed155.Speed_Left_Wheel_155>=1")))||(("P4.P4[0]>=1")&&("Speed156.Speed_Left_Wheel_156>=1")))||(("P4.P4[0]>=1")&&("Speed157.Speed_Left_Wheel_157>=1")))||(("P4.P4[0]>=1")&&("Speed158.Speed_Left_Wheel_158>=1")))||(("P4.P4[0]>=1")&&("Speed159.Speed_Left_Wheel_159>=1")))||(("P4.P4[0]>=1")&&("Speed160.Speed_Left_Wheel_160>=1")))||(("P4.P4[0]>=1")&&("Speed161.Speed_Left_Wheel_161>=1")))||(("P4.P4[0]>=1")&&("Speed162.Speed_Left_Wheel_162>=1")))||(("P4.P4[0]>=1")&&("Speed163.Speed_Left_Wheel_163>=1")))||(("P4.P4[0]>=1")&&("Speed164.Speed_Left_Wheel_164>=1")))||(("P4.P4[0]>=1")&&("Speed165.Speed_Left_Wheel_165>=1")))||(("P4.P4[0]>=1")&&("Speed166.Speed_Left_Wheel_166>=1")))||(("P4.P4[0]>=1")&&("Speed167.Speed_Left_Wheel_167>=1")))||(("P4.P4[0]>=1")&&("Speed168.Speed_Left_Wheel_168>=1")))||(("P4.P4[0]>=1")&&("Speed169.Speed_Left_Wheel_169>=1")))||(("P4.P4[0]>=1")&&("Speed170.Speed_Left_Wheel_170>=1")))||(("P4.P4[0]>=1")&&("Speed171.Speed_Left_Wheel_171>=1")))||(("P4.P4[0]>=1")&&("Speed172.Speed_Left_Wheel_172>=1")))||(("P4.P4[0]>=1")&&("Speed173.Speed_Left_Wheel_173>=1")))||(("P4.P4[0]>=1")&&("Speed174.Speed_Left_Wheel_174>=1")))||(("P4.P4[0]>=1")&&("Speed175.Speed_Left_Wheel_175>=1")))||(("P4.P4[0]>=1")&&("Speed176.Speed_Left_Wheel_176>=1")))||(("P4.P4[0]>=1")&&("Speed177.Speed_Left_Wheel_177>=1")))||(("P4.P4[0]>=1")&&("Speed178.Speed_Left_Wheel_178>=1")))||(("P4.P4[0]>=1")&&("Speed179.Speed_Left_Wheel_179>=1")))||(("P4.P4[0]>=1")&&("Speed180.Speed_Left_Wheel_180>=1")))||(("P4.P4[0]>=1")&&("Speed181.Speed_Left_Wheel_181>=1")))||(("P4.P4[0]>=1")&&("Speed182.Speed_Left_Wheel_182>=1")))||(("P4.P4[0]>=1")&&("Speed183.Speed_Left_Wheel_183>=1")))||(("P4.P4[0]>=1")&&("Speed184.Speed_Left_Wheel_184>=1")))||(("P4.P4[0]>=1")&&("Speed185.Speed_Left_Wheel_185>=1")))||(("P4.P4[0]>=1")&&("Speed186.Speed_Left_Wheel_186>=1")))||(("P4.P4[0]>=1")&&("Speed187.Speed_Left_Wheel_187>=1")))||(("P4.P4[0]>=1")&&("Speed188.Speed_Left_Wheel_188>=1")))||(("P4.P4[0]>=1")&&("Speed189.Speed_Left_Wheel_189>=1")))||(("P4.P4[0]>=1")&&("Speed190.Speed_Left_Wheel_190>=1")))||(("P4.P4[0]>=1")&&("Speed191.Speed_Left_Wheel_191>=1")))||(("P4.P4[0]>=1")&&("Speed192.Speed_Left_Wheel_192>=1")))||(("P4.P4[0]>=1")&&("Speed193.Speed_Left_Wheel_193>=1")))||(("P4.P4[0]>=1")&&("Speed194.Speed_Left_Wheel_194>=1")))||(("P4.P4[0]>=1")&&("Speed195.Speed_Left_Wheel_195>=1")))||(("P4.P4[0]>=1")&&("Speed196.Speed_Left_Wheel_196>=1")))||(("P4.P4[0]>=1")&&("Speed197.Speed_Left_Wheel_197>=1")))||(("P4.P4[0]>=1")&&("Speed198.Speed_Left_Wheel_198>=1")))||(("P4.P4[0]>=1")&&("Speed199.Speed_Left_Wheel_199>=1")))||(("P4.P4[0]>=1")&&("Speed200.Speed_Left_Wheel_200>=1")))||(("P4.P4[0]>=1")&&("Speed201.Speed_Left_Wheel_201>=1")))||(("P4.P4[0]>=1")&&("Speed202.Speed_Left_Wheel_202>=1")))||(("P4.P4[0]>=1")&&("Speed203.Speed_Left_Wheel_203>=1")))||(("P4.P4[0]>=1")&&("Speed204.Speed_Left_Wheel_204>=1")))||(("P4.P4[0]>=1")&&("Speed205.Speed_Left_Wheel_205>=1")))||(("P4.P4[0]>=1")&&("Speed206.Speed_Left_Wheel_206>=1")))||(("P4.P4[0]>=1")&&("Speed207.Speed_Left_Wheel_207>=1")))||(("P4.P4[0]>=1")&&("Speed208.Speed_Left_Wheel_208>=1")))||(("P4.P4[0]>=1")&&("Speed209.Speed_Left_Wheel_209>=1")))||(("P4.P4[0]>=1")&&("Speed210.Speed_Left_Wheel_210>=1")))||(("P4.P4[0]>=1")&&("Speed211.Speed_Left_Wheel_211>=1")))||(("P4.P4[0]>=1")&&("Speed212.Speed_Left_Wheel_212>=1")))||(("P4.P4[0]>=1")&&("Speed213.Speed_Left_Wheel_213>=1")))||(("P4.P4[0]>=1")&&("Speed214.Speed_Left_Wheel_214>=1")))||(("P4.P4[0]>=1")&&("Speed215.Speed_Left_Wheel_215>=1")))||(("P4.P4[0]>=1")&&("Speed216.Speed_Left_Wheel_216>=1")))||(("P4.P4[0]>=1")&&("Speed217.Speed_Left_Wheel_217>=1")))||(("P4.P4[0]>=1")&&("Speed218.Speed_Left_Wheel_218>=1")))||(("P4.P4[0]>=1")&&("Speed219.Speed_Left_Wheel_219>=1")))||(("P4.P4[0]>=1")&&("Speed220.Speed_Left_Wheel_220>=1")))||(("P4.P4[0]>=1")&&("Speed221.Speed_Left_Wheel_221>=1")))||(("P4.P4[0]>=1")&&("Speed222.Speed_Left_Wheel_222>=1")))||(("P4.P4[0]>=1")&&("Speed223.Speed_Left_Wheel_223>=1")))||(("P4.P4[0]>=1")&&("Speed224.Speed_Left_Wheel_224>=1")))||(("P4.P4[0]>=1")&&("Speed225.Speed_Left_Wheel_225>=1")))||(("P4.P4[0]>=1")&&("Speed226.Speed_Left_Wheel_226>=1")))||(("P4.P4[0]>=1")&&("Speed227.Speed_Left_Wheel_227>=1")))||(("P4.P4[0]>=1")&&("Speed228.Speed_Left_Wheel_228>=1")))||(("P4.P4[0]>=1")&&("Speed229.Speed_Left_Wheel_229>=1")))||(("P4.P4[0]>=1")&&("Speed230.Speed_Left_Wheel_230>=1")))||(("P4.P4[0]>=1")&&("Speed231.Speed_Left_Wheel_231>=1")))||(("P4.P4[0]>=1")&&("Speed232.Speed_Left_Wheel_232>=1")))||(("P4.P4[0]>=1")&&("Speed233.Speed_Left_Wheel_233>=1")))||(("P4.P4[0]>=1")&&("Speed234.Speed_Left_Wheel_234>=1")))||(("P4.P4[0]>=1")&&("Speed235.Speed_Left_Wheel_235>=1")))||(("P4.P4[0]>=1")&&("Speed236.Speed_Left_Wheel_236>=1")))||(("P4.P4[0]>=1")&&("Speed237.Speed_Left_Wheel_237>=1")))||(("P4.P4[0]>=1")&&("Speed238.Speed_Left_Wheel_238>=1")))||(("P4.P4[0]>=1")&&("Speed239.Speed_Left_Wheel_239>=1")))||(("P4.P4[0]>=1")&&("Speed240.Speed_Left_Wheel_240>=1")))||(("P4.P4[0]>=1")&&("Speed241.Speed_Left_Wheel_241>=1")))||(("P4.P4[0]>=1")&&("Speed242.Speed_Left_Wheel_242>=1")))||(("P4.P4[0]>=1")&&("Speed243.Speed_Left_Wheel_243>=1")))||(("P4.P4[0]>=1")&&("Speed244.Speed_Left_Wheel_244>=1")))||(("P4.P4[0]>=1")&&("Speed245.Speed_Left_Wheel_245>=1")))||(("P4.P4[0]>=1")&&("Speed246.Speed_Left_Wheel_246>=1")))||(("P4.P4[0]>=1")&&("Speed247.Speed_Left_Wheel_247>=1")))||(("P4.P4[0]>=1")&&("Speed248.Speed_Left_Wheel_248>=1")))||(("P4.P4[0]>=1")&&("Speed249.Speed_Left_Wheel_249>=1")))||(("P4.P4[0]>=1")&&("Speed250.Speed_Left_Wheel_250>=1")))||(("P4.P4[0]>=1")&&("Speed251.Speed_Left_Wheel_251>=1")))||(("P4.P4[0]>=1")&&("Speed252.Speed_Left_Wheel_252>=1")))||(("P4.P4[0]>=1")&&("Speed253.Speed_Left_Wheel_253>=1")))||(("P4.P4[0]>=1")&&("Speed254.Speed_Left_Wheel_254>=1")))||(("P4.P4[0]>=1")&&("Speed255.Speed_Left_Wheel_255>=1")))||(("P4.P4[0]>=1")&&("Speed256.Speed_Left_Wheel_256>=1")))||(("P4.P4[0]>=1")&&("Speed257.Speed_Left_Wheel_257>=1")))||(("P4.P4[0]>=1")&&("Speed258.Speed_Left_Wheel_258>=1")))||(("P4.P4[0]>=1")&&("Speed259.Speed_Left_Wheel_259>=1")))||(("P4.P4[0]>=1")&&("Speed260.Speed_Left_Wheel_260>=1")))||(("P4.P4[0]>=1")&&("Speed261.Speed_Left_Wheel_261>=1")))||(("P4.P4[0]>=1")&&("Speed262.Speed_Left_Wheel_262>=1")))||(("P4.P4[0]>=1")&&("Speed263.Speed_Left_Wheel_263>=1")))||(("P4.P4[0]>=1")&&("Speed264.Speed_Left_Wheel_264>=1")))||(("P4.P4[0]>=1")&&("Speed265.Speed_Left_Wheel_265>=1")))||(("P4.P4[0]>=1")&&("Speed266.Speed_Left_Wheel_266>=1")))||(("P4.P4[0]>=1")&&("Speed267.Speed_Left_Wheel_267>=1")))||(("P4.P4[0]>=1")&&("Speed268.Speed_Left_Wheel_268>=1")))||(("P4.P4[0]>=1")&&("Speed269.Speed_Left_Wheel_269>=1")))||(("P4.P4[0]>=1")&&("Speed270.Speed_Left_Wheel_270>=1")))||(("P4.P4[0]>=1")&&("Speed271.Speed_Left_Wheel_271>=1")))||(("P4.P4[0]>=1")&&("Speed272.Speed_Left_Wheel_272>=1")))||(("P4.P4[0]>=1")&&("Speed273.Speed_Left_Wheel_273>=1")))||(("P4.P4[0]>=1")&&("Speed274.Speed_Left_Wheel_274>=1")))||(("P4.P4[0]>=1")&&("Speed275.Speed_Left_Wheel_275>=1")))||(("P4.P4[0]>=1")&&("Speed276.Speed_Left_Wheel_276>=1")))||(("P4.P4[0]>=1")&&("Speed277.Speed_Left_Wheel_277>=1")))||(("P4.P4[0]>=1")&&("Speed278.Speed_Left_Wheel_278>=1")))||(("P4.P4[0]>=1")&&("Speed279.Speed_Left_Wheel_279>=1")))||(("P4.P4[0]>=1")&&("Speed280.Speed_Left_Wheel_280>=1")))||(("P4.P4[0]>=1")&&("Speed281.Speed_Left_Wheel_281>=1")))||(("P4.P4[0]>=1")&&("Speed282.Speed_Left_Wheel_282>=1")))||(("P4.P4[0]>=1")&&("Speed283.Speed_Left_Wheel_283>=1")))||(("P4.P4[0]>=1")&&("Speed284.Speed_Left_Wheel_284>=1")))||(("P4.P4[0]>=1")&&("Speed285.Speed_Left_Wheel_285>=1")))||(("P4.P4[0]>=1")&&("Speed286.Speed_Left_Wheel_286>=1")))||(("P4.P4[0]>=1")&&("Speed287.Speed_Left_Wheel_287>=1")))||(("P4.P4[0]>=1")&&("Speed288.Speed_Left_Wheel_288>=1")))||(("P4.P4[0]>=1")&&("Speed289.Speed_Left_Wheel_289>=1")))||(("P4.P4[0]>=1")&&("Speed290.Speed_Left_Wheel_290>=1")))||(("P4.P4[0]>=1")&&("Speed291.Speed_Left_Wheel_291>=1")))||(("P4.P4[0]>=1")&&("Speed292.Speed_Left_Wheel_292>=1")))||(("P4.P4[0]>=1")&&("Speed293.Speed_Left_Wheel_293>=1")))||(("P4.P4[0]>=1")&&("Speed294.Speed_Left_Wheel_294>=1")))||(("P4.P4[0]>=1")&&("Speed295.Speed_Left_Wheel_295>=1")))||(("P4.P4[0]>=1")&&("Speed296.Speed_Left_Wheel_296>=1")))||(("P4.P4[0]>=1")&&("Speed297.Speed_Left_Wheel_297>=1")))||(("P4.P4[0]>=1")&&("Speed298.Speed_Left_Wheel_298>=1")))||(("P4.P4[0]>=1")&&("Speed299.Speed_Left_Wheel_299>=1")))||(("P4.P4[0]>=1")&&("Speed300.Speed_Left_Wheel_300>=1")))||(("P4.P4[0]>=1")&&("Speed301.Speed_Left_Wheel_301>=1")))||(("P4.P4[0]>=1")&&("Speed302.Speed_Left_Wheel_302>=1")))||(("P4.P4[0]>=1")&&("Speed303.Speed_Left_Wheel_303>=1")))||(("P4.P4[0]>=1")&&("Speed304.Speed_Left_Wheel_304>=1")))||(("P4.P4[0]>=1")&&("Speed305.Speed_Left_Wheel_305>=1")))||(("P4.P4[0]>=1")&&("Speed306.Speed_Left_Wheel_306>=1")))||(("P4.P4[0]>=1")&&("Speed307.Speed_Left_Wheel_307>=1")))||(("P4.P4[0]>=1")&&("Speed308.Speed_Left_Wheel_308>=1")))||(("P4.P4[0]>=1")&&("Speed309.Speed_Left_Wheel_309>=1")))||(("P4.P4[0]>=1")&&("Speed310.Speed_Left_Wheel_310>=1")))||(("P4.P4[0]>=1")&&("Speed311.Speed_Left_Wheel_311>=1")))||(("P4.P4[0]>=1")&&("Speed312.Speed_Left_Wheel_312>=1")))||(("P4.P4[0]>=1")&&("Speed313.Speed_Left_Wheel_313>=1")))||(("P4.P4[0]>=1")&&("Speed314.Speed_Left_Wheel_314>=1")))||(("P4.P4[0]>=1")&&("Speed315.Speed_Left_Wheel_315>=1")))||(("P4.P4[0]>=1")&&("Speed316.Speed_Left_Wheel_316>=1")))||(("P4.P4[0]>=1")&&("Speed317.Speed_Left_Wheel_317>=1")))||(("P4.P4[0]>=1")&&("Speed318.Speed_Left_Wheel_318>=1")))||(("P4.P4[0]>=1")&&("Speed319.Speed_Left_Wheel_319>=1")))||(("P4.P4[0]>=1")&&("Speed320.Speed_Left_Wheel_320>=1")))||(("P4.P4[0]>=1")&&("Speed321.Speed_Left_Wheel_321>=1")))||(("P4.P4[0]>=1")&&("Speed322.Speed_Left_Wheel_322>=1")))||(("P4.P4[0]>=1")&&("Speed323.Speed_Left_Wheel_323>=1")))||(("P4.P4[0]>=1")&&("Speed324.Speed_Left_Wheel_324>=1")))||(("P4.P4[0]>=1")&&("Speed325.Speed_Left_Wheel_325>=1")))||(("P4.P4[0]>=1")&&("Speed326.Speed_Left_Wheel_326>=1")))||(("P4.P4[0]>=1")&&("Speed327.Speed_Left_Wheel_327>=1")))||(("P4.P4[0]>=1")&&("Speed328.Speed_Left_Wheel_328>=1")))||(("P4.P4[0]>=1")&&("Speed329.Speed_Left_Wheel_329>=1")))||(("P4.P4[0]>=1")&&("Speed330.Speed_Left_Wheel_330>=1")))||(("P4.P4[0]>=1")&&("Speed331.Speed_Left_Wheel_331>=1")))||(("P4.P4[0]>=1")&&("Speed332.Speed_Left_Wheel_332>=1")))||(("P4.P4[0]>=1")&&("Speed333.Speed_Left_Wheel_333>=1")))||(("P4.P4[0]>=1")&&("Speed334.Speed_Left_Wheel_334>=1")))||(("P4.P4[0]>=1")&&("Speed335.Speed_Left_Wheel_335>=1")))||(("P4.P4[0]>=1")&&("Speed336.Speed_Left_Wheel_336>=1")))||(("P4.P4[0]>=1")&&("Speed337.Speed_Left_Wheel_337>=1")))||(("P4.P4[0]>=1")&&("Speed338.Speed_Left_Wheel_338>=1")))||(("P4.P4[0]>=1")&&("Speed339.Speed_Left_Wheel_339>=1")))||(("P4.P4[0]>=1")&&("Speed340.Speed_Left_Wheel_340>=1")))||(("P4.P4[0]>=1")&&("Speed341.Speed_Left_Wheel_341>=1")))||(("P4.P4[0]>=1")&&("Speed342.Speed_Left_Wheel_342>=1")))||(("P4.P4[0]>=1")&&("Speed343.Speed_Left_Wheel_343>=1")))||(("P4.P4[0]>=1")&&("Speed344.Speed_Left_Wheel_344>=1")))||(("P4.P4[0]>=1")&&("Speed345.Speed_Left_Wheel_345>=1")))||(("P4.P4[0]>=1")&&("Speed346.Speed_Left_Wheel_346>=1")))||(("P4.P4[0]>=1")&&("Speed347.Speed_Left_Wheel_347>=1")))||(("P4.P4[0]>=1")&&("Speed348.Speed_Left_Wheel_348>=1")))||(("P4.P4[0]>=1")&&("Speed349.Speed_Left_Wheel_349>=1")))||(("P4.P4[0]>=1")&&("Speed350.Speed_Left_Wheel_350>=1")))||(("P4.P4[0]>=1")&&("Speed351.Speed_Left_Wheel_351>=1")))||(("P4.P4[0]>=1")&&("Speed352.Speed_Left_Wheel_352>=1")))||(("P4.P4[0]>=1")&&("Speed353.Speed_Left_Wheel_353>=1")))||(("P4.P4[0]>=1")&&("Speed354.Speed_Left_Wheel_354>=1")))||(("P4.P4[0]>=1")&&("Speed355.Speed_Left_Wheel_355>=1")))||(("P4.P4[0]>=1")&&("Speed356.Speed_Left_Wheel_356>=1")))||(("P4.P4[0]>=1")&&("Speed357.Speed_Left_Wheel_357>=1")))||(("P4.P4[0]>=1")&&("Speed358.Speed_Left_Wheel_358>=1")))||(("P4.P4[0]>=1")&&("Speed359.Speed_Left_Wheel_359>=1")))||(("P4.P4[0]>=1")&&("Speed360.Speed_Left_Wheel_360>=1")))||(("P4.P4[0]>=1")&&("Speed361.Speed_Left_Wheel_361>=1")))||(("P4.P4[0]>=1")&&("Speed362.Speed_Left_Wheel_362>=1")))||(("P4.P4[0]>=1")&&("Speed363.Speed_Left_Wheel_363>=1")))||(("P4.P4[0]>=1")&&("Speed364.Speed_Left_Wheel_364>=1")))||(("P4.P4[0]>=1")&&("Speed365.Speed_Left_Wheel_365>=1")))||(("P4.P4[0]>=1")&&("Speed366.Speed_Left_Wheel_366>=1")))||(("P4.P4[0]>=1")&&("Speed367.Speed_Left_Wheel_367>=1")))||(("P4.P4[0]>=1")&&("Speed368.Speed_Left_Wheel_368>=1")))||(("P4.P4[0]>=1")&&("Speed369.Speed_Left_Wheel_369>=1")))||(("P4.P4[0]>=1")&&("Speed370.Speed_Left_Wheel_370>=1")))||(("P4.P4[0]>=1")&&("Speed371.Speed_Left_Wheel_371>=1")))||(("P4.P4[0]>=1")&&("Speed372.Speed_Left_Wheel_372>=1")))||(("P4.P4[0]>=1")&&("Speed373.Speed_Left_Wheel_373>=1")))||(("P4.P4[0]>=1")&&("Speed374.Speed_Left_Wheel_374>=1")))||(("P4.P4[0]>=1")&&("Speed375.Speed_Left_Wheel_375>=1")))||(("P4.P4[0]>=1")&&("Speed376.Speed_Left_Wheel_376>=1")))||(("P4.P4[0]>=1")&&("Speed377.Speed_Left_Wheel_377>=1")))||(("P4.P4[0]>=1")&&("Speed378.Speed_Left_Wheel_378>=1")))||(("P4.P4[0]>=1")&&("Speed379.Speed_Left_Wheel_379>=1")))||(("P4.P4[0]>=1")&&("Speed380.Speed_Left_Wheel_380>=1")))||(("P4.P4[0]>=1")&&("Speed381.Speed_Left_Wheel_381>=1")))||(("P4.P4[0]>=1")&&("Speed382.Speed_Left_Wheel_382>=1")))||(("P4.P4[0]>=1")&&("Speed383.Speed_Left_Wheel_383>=1")))||(("P4.P4[0]>=1")&&("Speed384.Speed_Left_Wheel_384>=1")))||(("P4.P4[0]>=1")&&("Speed385.Speed_Left_Wheel_385>=1")))||(("P4.P4[0]>=1")&&("Speed386.Speed_Left_Wheel_386>=1")))||(("P4.P4[0]>=1")&&("Speed387.Speed_Left_Wheel_387>=1")))||(("P4.P4[0]>=1")&&("Speed388.Speed_Left_Wheel_388>=1")))||(("P4.P4[0]>=1")&&("Speed389.Speed_Left_Wheel_389>=1")))||(("P4.P4[0]>=1")&&("Speed390.Speed_Left_Wheel_390>=1")))||(("P4.P4[0]>=1")&&("Speed391.Speed_Left_Wheel_391>=1")))||(("P4.P4[0]>=1")&&("Speed392.Speed_Left_Wheel_392>=1")))||(("P4.P4[0]>=1")&&("Speed393.Speed_Left_Wheel_393>=1")))||(("P4.P4[0]>=1")&&("Speed394.Speed_Left_Wheel_394>=1")))||(("P4.P4[0]>=1")&&("Speed395.Speed_Left_Wheel_395>=1")))||(("P4.P4[0]>=1")&&("Speed396.Speed_Left_Wheel_396>=1")))||(("P4.P4[0]>=1")&&("Speed397.Speed_Left_Wheel_397>=1")))||(("P4.P4[0]>=1")&&("Speed398.Speed_Left_Wheel_398>=1")))||(("P4.P4[0]>=1")&&("Speed399.Speed_Left_Wheel_399>=1")))||(("P4.P4[0]>=1")&&("Speed400.Speed_Left_Wheel_400>=1")))||(("P4.P4[0]>=1")&&("Speed401.Speed_Left_Wheel_401>=1")))||(("P4.P4[0]>=1")&&("Speed402.Speed_Left_Wheel_402>=1")))||(("P4.P4[0]>=1")&&("Speed403.Speed_Left_Wheel_403>=1")))||(("P4.P4[0]>=1")&&("Speed404.Speed_Left_Wheel_404>=1")))||(("P4.P4[0]>=1")&&("Speed405.Speed_Left_Wheel_405>=1")))||(("P4.P4[0]>=1")&&("Speed406.Speed_Left_Wheel_406>=1")))||(("P4.P4[0]>=1")&&("Speed407.Speed_Left_Wheel_407>=1")))||(("P4.P4[0]>=1")&&("Speed408.Speed_Left_Wheel_408>=1")))||(("P4.P4[0]>=1")&&("Speed409.Speed_Left_Wheel_409>=1")))||(("P4.P4[0]>=1")&&("Speed410.Speed_Left_Wheel_410>=1")))||(("P4.P4[0]>=1")&&("Speed411.Speed_Left_Wheel_411>=1")))||(("P4.P4[0]>=1")&&("Speed412.Speed_Left_Wheel_412>=1")))||(("P4.P4[0]>=1")&&("Speed413.Speed_Left_Wheel_413>=1")))||(("P4.P4[0]>=1")&&("Speed414.Speed_Left_Wheel_414>=1")))||(("P4.P4[0]>=1")&&("Speed415.Speed_Left_Wheel_415>=1")))||(("P4.P4[0]>=1")&&("Speed416.Speed_Left_Wheel_416>=1")))||(("P4.P4[0]>=1")&&("Speed417.Speed_Left_Wheel_417>=1")))||(("P4.P4[0]>=1")&&("Speed418.Speed_Left_Wheel_418>=1")))||(("P4.P4[0]>=1")&&("Speed419.Speed_Left_Wheel_419>=1")))||(("P4.P4[0]>=1")&&("Speed420.Speed_Left_Wheel_420>=1")))||(("P4.P4[0]>=1")&&("Speed421.Speed_Left_Wheel_421>=1")))||(("P4.P4[0]>=1")&&("Speed422.Speed_Left_Wheel_422>=1")))||(("P4.P4[0]>=1")&&("Speed423.Speed_Left_Wheel_423>=1")))||(("P4.P4[0]>=1")&&("Speed424.Speed_Left_Wheel_424>=1")))||(("P4.P4[0]>=1")&&("Speed425.Speed_Left_Wheel_425>=1")))||(("P4.P4[0]>=1")&&("Speed426.Speed_Left_Wheel_426>=1")))||(("P4.P4[0]>=1")&&("Speed427.Speed_Left_Wheel_427>=1")))||(("P4.P4[0]>=1")&&("Speed428.Speed_Left_Wheel_428>=1")))||(("P4.P4[0]>=1")&&("Speed429.Speed_Left_Wheel_429>=1")))||(("P4.P4[0]>=1")&&("Speed430.Speed_Left_Wheel_430>=1")))||(("P4.P4[0]>=1")&&("Speed431.Speed_Left_Wheel_431>=1")))||(("P4.P4[0]>=1")&&("Speed432.Speed_Left_Wheel_432>=1")))||(("P4.P4[0]>=1")&&("Speed433.Speed_Left_Wheel_433>=1")))||(("P4.P4[0]>=1")&&("Speed434.Speed_Left_Wheel_434>=1")))||(("P4.P4[0]>=1")&&("Speed435.Speed_Left_Wheel_435>=1")))||(("P4.P4[0]>=1")&&("Speed436.Speed_Left_Wheel_436>=1")))||(("P4.P4[0]>=1")&&("Speed437.Speed_Left_Wheel_437>=1")))||(("P4.P4[0]>=1")&&("Speed438.Speed_Left_Wheel_438>=1")))||(("P4.P4[0]>=1")&&("Speed439.Speed_Left_Wheel_439>=1")))||(("P4.P4[0]>=1")&&("Speed440.Speed_Left_Wheel_440>=1")))||(("P4.P4[0]>=1")&&("Speed441.Speed_Left_Wheel_441>=1")))||(("P4.P4[0]>=1")&&("Speed442.Speed_Left_Wheel_442>=1")))||(("P4.P4[0]>=1")&&("Speed443.Speed_Left_Wheel_443>=1")))||(("P4.P4[0]>=1")&&("Speed444.Speed_Left_Wheel_444>=1")))||(("P4.P4[0]>=1")&&("Speed445.Speed_Left_Wheel_445>=1")))||(("P4.P4[0]>=1")&&("Speed446.Speed_Left_Wheel_446>=1")))||(("P4.P4[0]>=1")&&("Speed447.Speed_Left_Wheel_447>=1")))||(("P4.P4[0]>=1")&&("Speed448.Speed_Left_Wheel_448>=1")))||(("P4.P4[0]>=1")&&("Speed449.Speed_Left_Wheel_449>=1")))||(("P4.P4[0]>=1")&&("Speed450.Speed_Left_Wheel_450>=1")))||(("P4.P4[0]>=1")&&("Speed451.Speed_Left_Wheel_451>=1")))||(("P4.P4[0]>=1")&&("Speed452.Speed_Left_Wheel_452>=1")))||(("P4.P4[0]>=1")&&("Speed453.Speed_Left_Wheel_453>=1")))||(("P4.P4[0]>=1")&&("Speed454.Speed_Left_Wheel_454>=1")))||(("P4.P4[0]>=1")&&("Speed455.Speed_Left_Wheel_455>=1")))||(("P4.P4[0]>=1")&&("Speed456.Speed_Left_Wheel_456>=1")))||(("P4.P4[0]>=1")&&("Speed457.Speed_Left_Wheel_457>=1")))||(("P4.P4[0]>=1")&&("Speed458.Speed_Left_Wheel_458>=1")))||(("P4.P4[0]>=1")&&("Speed459.Speed_Left_Wheel_459>=1")))||(("P4.P4[0]>=1")&&("Speed460.Speed_Left_Wheel_460>=1")))||(("P4.P4[0]>=1")&&("Speed461.Speed_Left_Wheel_461>=1")))||(("P4.P4[0]>=1")&&("Speed462.Speed_Left_Wheel_462>=1")))||(("P4.P4[0]>=1")&&("Speed463.Speed_Left_Wheel_463>=1")))||(("P4.P4[0]>=1")&&("Speed464.Speed_Left_Wheel_464>=1")))||(("P4.P4[0]>=1")&&("Speed465.Speed_Left_Wheel_465>=1")))||(("P4.P4[0]>=1")&&("Speed466.Speed_Left_Wheel_466>=1")))||(("P4.P4[0]>=1")&&("Speed467.Speed_Left_Wheel_467>=1")))||(("P4.P4[0]>=1")&&("Speed468.Speed_Left_Wheel_468>=1")))||(("P4.P4[0]>=1")&&("Speed469.Speed_Left_Wheel_469>=1")))||(("P4.P4[0]>=1")&&("Speed470.Speed_Left_Wheel_470>=1")))||(("P4.P4[0]>=1")&&("Speed471.Speed_Left_Wheel_471>=1")))||(("P4.P4[0]>=1")&&("Speed472.Speed_Left_Wheel_472>=1")))||(("P4.P4[0]>=1")&&("Speed473.Speed_Left_Wheel_473>=1")))||(("P4.P4[0]>=1")&&("Speed474.Speed_Left_Wheel_474>=1")))||(("P4.P4[0]>=1")&&("Speed475.Speed_Left_Wheel_475>=1")))||(("P4.P4[0]>=1")&&("Speed476.Speed_Left_Wheel_476>=1")))||(("P4.P4[0]>=1")&&("Speed477.Speed_Left_Wheel_477>=1")))||(("P4.P4[0]>=1")&&("Speed478.Speed_Left_Wheel_478>=1")))||(("P4.P4[0]>=1")&&("Speed479.Speed_Left_Wheel_479>=1")))||(("P4.P4[0]>=1")&&("Speed480.Speed_Left_Wheel_480>=1")))||(("P4.P4[0]>=1")&&("Speed481.Speed_Left_Wheel_481>=1")))||(("P4.P4[0]>=1")&&("Speed482.Speed_Left_Wheel_482>=1")))||(("P4.P4[0]>=1")&&("Speed483.Speed_Left_Wheel_483>=1")))||(("P4.P4[0]>=1")&&("Speed484.Speed_Left_Wheel_484>=1")))||(("P4.P4[0]>=1")&&("Speed485.Speed_Left_Wheel_485>=1")))||(("P4.P4[0]>=1")&&("Speed486.Speed_Left_Wheel_486>=1")))||(("P4.P4[0]>=1")&&("Speed487.Speed_Left_Wheel_487>=1")))||(("P4.P4[0]>=1")&&("Speed488.Speed_Left_Wheel_488>=1")))||(("P4.P4[0]>=1")&&("Speed489.Speed_Left_Wheel_489>=1")))||(("P4.P4[0]>=1")&&("Speed490.Speed_Left_Wheel_490>=1")))||(("P4.P4[0]>=1")&&("Speed491.Speed_Left_Wheel_491>=1")))||(("P4.P4[0]>=1")&&("Speed492.Speed_Left_Wheel_492>=1")))||(("P4.P4[0]>=1")&&("Speed493.Speed_Left_Wheel_493>=1")))||(("P4.P4[0]>=1")&&("Speed494.Speed_Left_Wheel_494>=1")))||(("P4.P4[0]>=1")&&("Speed495.Speed_Left_Wheel_495>=1")))||(("P4.P4[0]>=1")&&("Speed496.Speed_Left_Wheel_496>=1")))||(("P4.P4[0]>=1")&&("Speed497.Speed_Left_Wheel_497>=1")))||(("P4.P4[0]>=1")&&("Speed498.Speed_Left_Wheel_498>=1")))||(("P4.P4[0]>=1")&&("Speed499.Speed_Left_Wheel_499>=1")))||(("P4.P4[0]>=1")&&("Speed999.Speed_Left_Wheel_999>=1"))))
Formula 0 simplified : !(("P4.P4[0]>=1" & "Speed0.Speed_Left_Wheel_0>=1") | ("P4.P4[0]>=1" & "Speed1.Speed_Left_Wheel_1>=1") | ("P4.P4[0]>=1" & "Speed2.Speed_Left_Wheel_2>=1") | ("P4.P4[0]>=1" & "Speed3.Speed_Left_Wheel_3>=1") | ("P4.P4[0]>=1" & "Speed4.Speed_Left_Wheel_4>=1") | ("P4.P4[0]>=1" & "Speed5.Speed_Left_Wheel_5>=1") | ("P4.P4[0]>=1" & "Speed6.Speed_Left_Wheel_6>=1") | ("P4.P4[0]>=1" & "Speed7.Speed_Left_Wheel_7>=1") | ("P4.P4[0]>=1" & "Speed8.Speed_Left_Wheel_8>=1") | ("P4.P4[0]>=1" & "Speed9.Speed_Left_Wheel_9>=1") | ("P4.P4[0]>=1" & "Speed10.Speed_Left_Wheel_10>=1") | ("P4.P4[0]>=1" & "Speed11.Speed_Left_Wheel_11>=1") | ("P4.P4[0]>=1" & "Speed12.Speed_Left_Wheel_12>=1") | ("P4.P4[0]>=1" & "Speed13.Speed_Left_Wheel_13>=1") | ("P4.P4[0]>=1" & "Speed14.Speed_Left_Wheel_14>=1") | ("P4.P4[0]>=1" & "Speed15.Speed_Left_Wheel_15>=1") | ("P4.P4[0]>=1" & "Speed16.Speed_Left_Wheel_16>=1") | ("P4.P4[0]>=1" & "Speed17.Speed_Left_Wheel_17>=1") | ("P4.P4[0]>=1" & "Speed18.Speed_Left_Wheel_18>=1") | ("P4.P4[0]>=1" & "Speed19.Speed_Left_Wheel_19>=1") | ("P4.P4[0]>=1" & "Speed20.Speed_Left_Wheel_20>=1") | ("P4.P4[0]>=1" & "Speed21.Speed_Left_Wheel_21>=1") | ("P4.P4[0]>=1" & "Speed22.Speed_Left_Wheel_22>=1") | ("P4.P4[0]>=1" & "Speed23.Speed_Left_Wheel_23>=1") | ("P4.P4[0]>=1" & "Speed24.Speed_Left_Wheel_24>=1") | ("P4.P4[0]>=1" & "Speed25.Speed_Left_Wheel_25>=1") | ("P4.P4[0]>=1" & "Speed26.Speed_Left_Wheel_26>=1") | ("P4.P4[0]>=1" & "Speed27.Speed_Left_Wheel_27>=1") | ("P4.P4[0]>=1" & "Speed28.Speed_Left_Wheel_28>=1") | ("P4.P4[0]>=1" & "Speed29.Speed_Left_Wheel_29>=1") | ("P4.P4[0]>=1" & "Speed30.Speed_Left_Wheel_30>=1") | ("P4.P4[0]>=1" & "Speed31.Speed_Left_Wheel_31>=1") | ("P4.P4[0]>=1" & "Speed32.Speed_Left_Wheel_32>=1") | ("P4.P4[0]>=1" & "Speed33.Speed_Left_Wheel_33>=1") | ("P4.P4[0]>=1" & "Speed34.Speed_Left_Wheel_34>=1") | ("P4.P4[0]>=1" & "Speed35.Speed_Left_Wheel_35>=1") | ("P4.P4[0]>=1" & "Speed36.Speed_Left_Wheel_36>=1") | ("P4.P4[0]>=1" & "Speed37.Speed_Left_Wheel_37>=1") | ("P4.P4[0]>=1" & "Speed38.Speed_Left_Wheel_38>=1") | ("P4.P4[0]>=1" & "Speed39.Speed_Left_Wheel_39>=1") | ("P4.P4[0]>=1" & "Speed40.Speed_Left_Wheel_40>=1") | ("P4.P4[0]>=1" & "Speed41.Speed_Left_Wheel_41>=1") | ("P4.P4[0]>=1" & "Speed42.Speed_Left_Wheel_42>=1") | ("P4.P4[0]>=1" & "Speed43.Speed_Left_Wheel_43>=1") | ("P4.P4[0]>=1" & "Speed44.Speed_Left_Wheel_44>=1") | ("P4.P4[0]>=1" & "Speed45.Speed_Left_Wheel_45>=1") | ("P4.P4[0]>=1" & "Speed46.Speed_Left_Wheel_46>=1") | ("P4.P4[0]>=1" & "Speed47.Speed_Left_Wheel_47>=1") | ("P4.P4[0]>=1" & "Speed48.Speed_Left_Wheel_48>=1") | ("P4.P4[0]>=1" & "Speed49.Speed_Left_Wheel_49>=1") | ("P4.P4[0]>=1" & "Speed50.Speed_Left_Wheel_50>=1") | ("P4.P4[0]>=1" & "Speed51.Speed_Left_Wheel_51>=1") | ("P4.P4[0]>=1" & "Speed52.Speed_Left_Wheel_52>=1") | ("P4.P4[0]>=1" & "Speed53.Speed_Left_Wheel_53>=1") | ("P4.P4[0]>=1" & "Speed54.Speed_Left_Wheel_54>=1") | ("P4.P4[0]>=1" & "Speed55.Speed_Left_Wheel_55>=1") | ("P4.P4[0]>=1" & "Speed56.Speed_Left_Wheel_56>=1") | ("P4.P4[0]>=1" & "Speed57.Speed_Left_Wheel_57>=1") | ("P4.P4[0]>=1" & "Speed58.Speed_Left_Wheel_58>=1") | ("P4.P4[0]>=1" & "Speed59.Speed_Left_Wheel_59>=1") | ("P4.P4[0]>=1" & "Speed60.Speed_Left_Wheel_60>=1") | ("P4.P4[0]>=1" & "Speed61.Speed_Left_Wheel_61>=1") | ("P4.P4[0]>=1" & "Speed62.Speed_Left_Wheel_62>=1") | ("P4.P4[0]>=1" & "Speed63.Speed_Left_Wheel_63>=1") | ("P4.P4[0]>=1" & "Speed64.Speed_Left_Wheel_64>=1") | ("P4.P4[0]>=1" & "Speed65.Speed_Left_Wheel_65>=1") | ("P4.P4[0]>=1" & "Speed66.Speed_Left_Wheel_66>=1") | ("P4.P4[0]>=1" & "Speed67.Speed_Left_Wheel_67>=1") | ("P4.P4[0]>=1" & "Speed68.Speed_Left_Wheel_68>=1") | ("P4.P4[0]>=1" & "Speed69.Speed_Left_Wheel_69>=1") | ("P4.P4[0]>=1" & "Speed70.Speed_Left_Wheel_70>=1") | ("P4.P4[0]>=1" & "Speed71.Speed_Left_Wheel_71>=1") | ("P4.P4[0]>=1" & "Speed72.Speed_Left_Wheel_72>=1") | ("P4.P4[0]>=1" & "Speed73.Speed_Left_Wheel_73>=1") | ("P4.P4[0]>=1" & "Speed74.Speed_Left_Wheel_74>=1") | ("P4.P4[0]>=1" & "Speed75.Speed_Left_Wheel_75>=1") | ("P4.P4[0]>=1" & "Speed76.Speed_Left_Wheel_76>=1") | ("P4.P4[0]>=1" & "Speed77.Speed_Left_Wheel_77>=1") | ("P4.P4[0]>=1" & "Speed78.Speed_Left_Wheel_78>=1") | ("P4.P4[0]>=1" & "Speed79.Speed_Left_Wheel_79>=1") | ("P4.P4[0]>=1" & "Speed80.Speed_Left_Wheel_80>=1") | ("P4.P4[0]>=1" & "Speed81.Speed_Left_Wheel_81>=1") | ("P4.P4[0]>=1" & "Speed82.Speed_Left_Wheel_82>=1") | ("P4.P4[0]>=1" & "Speed83.Speed_Left_Wheel_83>=1") | ("P4.P4[0]>=1" & "Speed84.Speed_Left_Wheel_84>=1") | ("P4.P4[0]>=1" & "Speed85.Speed_Left_Wheel_85>=1") | ("P4.P4[0]>=1" & "Speed86.Speed_Left_Wheel_86>=1") | ("P4.P4[0]>=1" & "Speed87.Speed_Left_Wheel_87>=1") | ("P4.P4[0]>=1" & "Speed88.Speed_Left_Wheel_88>=1") | ("P4.P4[0]>=1" & "Speed89.Speed_Left_Wheel_89>=1") | ("P4.P4[0]>=1" & "Speed90.Speed_Left_Wheel_90>=1") | ("P4.P4[0]>=1" & "Speed91.Speed_Left_Wheel_91>=1") | ("P4.P4[0]>=1" & "Speed92.Speed_Left_Wheel_92>=1") | ("P4.P4[0]>=1" & "Speed93.Speed_Left_Wheel_93>=1") | ("P4.P4[0]>=1" & "Speed94.Speed_Left_Wheel_94>=1") | ("P4.P4[0]>=1" & "Speed95.Speed_Left_Wheel_95>=1") | ("P4.P4[0]>=1" & "Speed96.Speed_Left_Wheel_96>=1") | ("P4.P4[0]>=1" & "Speed97.Speed_Left_Wheel_97>=1") | ("P4.P4[0]>=1" & "Speed98.Speed_Left_Wheel_98>=1") | ("P4.P4[0]>=1" & "Speed99.Speed_Left_Wheel_99>=1") | ("P4.P4[0]>=1" & "Speed100.Speed_Left_Wheel_100>=1") | ("P4.P4[0]>=1" & "Speed101.Speed_Left_Wheel_101>=1") | ("P4.P4[0]>=1" & "Speed102.Speed_Left_Wheel_102>=1") | ("P4.P4[0]>=1" & "Speed103.Speed_Left_Wheel_103>=1") | ("P4.P4[0]>=1" & "Speed104.Speed_Left_Wheel_104>=1") | ("P4.P4[0]>=1" & "Speed105.Speed_Left_Wheel_105>=1") | ("P4.P4[0]>=1" & "Speed106.Speed_Left_Wheel_106>=1") | ("P4.P4[0]>=1" & "Speed107.Speed_Left_Wheel_107>=1") | ("P4.P4[0]>=1" & "Speed108.Speed_Left_Wheel_108>=1") | ("P4.P4[0]>=1" & "Speed109.Speed_Left_Wheel_109>=1") | ("P4.P4[0]>=1" & "Speed110.Speed_Left_Wheel_110>=1") | ("P4.P4[0]>=1" & "Speed111.Speed_Left_Wheel_111>=1") | ("P4.P4[0]>=1" & "Speed112.Speed_Left_Wheel_112>=1") | ("P4.P4[0]>=1" & "Speed113.Speed_Left_Wheel_113>=1") | ("P4.P4[0]>=1" & "Speed114.Speed_Left_Wheel_114>=1") | ("P4.P4[0]>=1" & "Speed115.Speed_Left_Wheel_115>=1") | ("P4.P4[0]>=1" & "Speed116.Speed_Left_Wheel_116>=1") | ("P4.P4[0]>=1" & "Speed117.Speed_Left_Wheel_117>=1") | ("P4.P4[0]>=1" & "Speed118.Speed_Left_Wheel_118>=1") | ("P4.P4[0]>=1" & "Speed119.Speed_Left_Wheel_119>=1") | ("P4.P4[0]>=1" & "Speed120.Speed_Left_Wheel_120>=1") | ("P4.P4[0]>=1" & "Speed121.Speed_Left_Wheel_121>=1") | ("P4.P4[0]>=1" & "Speed122.Speed_Left_Wheel_122>=1") | ("P4.P4[0]>=1" & "Speed123.Speed_Left_Wheel_123>=1") | ("P4.P4[0]>=1" & "Speed124.Speed_Left_Wheel_124>=1") | ("P4.P4[0]>=1" & "Speed125.Speed_Left_Wheel_125>=1") | ("P4.P4[0]>=1" & "Speed126.Speed_Left_Wheel_126>=1") | ("P4.P4[0]>=1" & "Speed127.Speed_Left_Wheel_127>=1") | ("P4.P4[0]>=1" & "Speed128.Speed_Left_Wheel_128>=1") | ("P4.P4[0]>=1" & "Speed129.Speed_Left_Wheel_129>=1") | ("P4.P4[0]>=1" & "Speed130.Speed_Left_Wheel_130>=1") | ("P4.P4[0]>=1" & "Speed131.Speed_Left_Wheel_131>=1") | ("P4.P4[0]>=1" & "Speed132.Speed_Left_Wheel_132>=1") | ("P4.P4[0]>=1" & "Speed133.Speed_Left_Wheel_133>=1") | ("P4.P4[0]>=1" & "Speed134.Speed_Left_Wheel_134>=1") | ("P4.P4[0]>=1" & "Speed135.Speed_Left_Wheel_135>=1") | ("P4.P4[0]>=1" & "Speed136.Speed_Left_Wheel_136>=1") | ("P4.P4[0]>=1" & "Speed137.Speed_Left_Wheel_137>=1") | ("P4.P4[0]>=1" & "Speed138.Speed_Left_Wheel_138>=1") | ("P4.P4[0]>=1" & "Speed139.Speed_Left_Wheel_139>=1") | ("P4.P4[0]>=1" & "Speed140.Speed_Left_Wheel_140>=1") | ("P4.P4[0]>=1" & "Speed141.Speed_Left_Wheel_141>=1") | ("P4.P4[0]>=1" & "Speed142.Speed_Left_Wheel_142>=1") | ("P4.P4[0]>=1" & "Speed143.Speed_Left_Wheel_143>=1") | ("P4.P4[0]>=1" & "Speed144.Speed_Left_Wheel_144>=1") | ("P4.P4[0]>=1" & "Speed145.Speed_Left_Wheel_145>=1") | ("P4.P4[0]>=1" & "Speed146.Speed_Left_Wheel_146>=1") | ("P4.P4[0]>=1" & "Speed147.Speed_Left_Wheel_147>=1") | ("P4.P4[0]>=1" & "Speed148.Speed_Left_Wheel_148>=1") | ("P4.P4[0]>=1" & "Speed149.Speed_Left_Wheel_149>=1") | ("P4.P4[0]>=1" & "Speed150.Speed_Left_Wheel_150>=1") | ("P4.P4[0]>=1" & "Speed151.Speed_Left_Wheel_151>=1") | ("P4.P4[0]>=1" & "Speed152.Speed_Left_Wheel_152>=1") | ("P4.P4[0]>=1" & "Speed153.Speed_Left_Wheel_153>=1") | ("P4.P4[0]>=1" & "Speed154.Speed_Left_Wheel_154>=1") | ("P4.P4[0]>=1" & "Speed155.Speed_Left_Wheel_155>=1") | ("P4.P4[0]>=1" & "Speed156.Speed_Left_Wheel_156>=1") | ("P4.P4[0]>=1" & "Speed157.Speed_Left_Wheel_157>=1") | ("P4.P4[0]>=1" & "Speed158.Speed_Left_Wheel_158>=1") | ("P4.P4[0]>=1" & "Speed159.Speed_Left_Wheel_159>=1") | ("P4.P4[0]>=1" & "Speed160.Speed_Left_Wheel_160>=1") | ("P4.P4[0]>=1" & "Speed161.Speed_Left_Wheel_161>=1") | ("P4.P4[0]>=1" & "Speed162.Speed_Left_Wheel_162>=1") | ("P4.P4[0]>=1" & "Speed163.Speed_Left_Wheel_163>=1") | ("P4.P4[0]>=1" & "Speed164.Speed_Left_Wheel_164>=1") | ("P4.P4[0]>=1" & "Speed165.Speed_Left_Wheel_165>=1") | ("P4.P4[0]>=1" & "Speed166.Speed_Left_Wheel_166>=1") | ("P4.P4[0]>=1" & "Speed167.Speed_Left_Wheel_167>=1") | ("P4.P4[0]>=1" & "Speed168.Speed_Left_Wheel_168>=1") | ("P4.P4[0]>=1" & "Speed169.Speed_Left_Wheel_169>=1") | ("P4.P4[0]>=1" & "Speed170.Speed_Left_Wheel_170>=1") | ("P4.P4[0]>=1" & "Speed171.Speed_Left_Wheel_171>=1") | ("P4.P4[0]>=1" & "Speed172.Speed_Left_Wheel_172>=1") | ("P4.P4[0]>=1" & "Speed173.Speed_Left_Wheel_173>=1") | ("P4.P4[0]>=1" & "Speed174.Speed_Left_Wheel_174>=1") | ("P4.P4[0]>=1" & "Speed175.Speed_Left_Wheel_175>=1") | ("P4.P4[0]>=1" & "Speed176.Speed_Left_Wheel_176>=1") | ("P4.P4[0]>=1" & "Speed177.Speed_Left_Wheel_177>=1") | ("P4.P4[0]>=1" & "Speed178.Speed_Left_Wheel_178>=1") | ("P4.P4[0]>=1" & "Speed179.Speed_Left_Wheel_179>=1") | ("P4.P4[0]>=1" & "Speed180.Speed_Left_Wheel_180>=1") | ("P4.P4[0]>=1" & "Speed181.Speed_Left_Wheel_181>=1") | ("P4.P4[0]>=1" & "Speed182.Speed_Left_Wheel_182>=1") | ("P4.P4[0]>=1" & "Speed183.Speed_Left_Wheel_183>=1") | ("P4.P4[0]>=1" & "Speed184.Speed_Left_Wheel_184>=1") | ("P4.P4[0]>=1" & "Speed185.Speed_Left_Wheel_185>=1") | ("P4.P4[0]>=1" & "Speed186.Speed_Left_Wheel_186>=1") | ("P4.P4[0]>=1" & "Speed187.Speed_Left_Wheel_187>=1") | ("P4.P4[0]>=1" & "Speed188.Speed_Left_Wheel_188>=1") | ("P4.P4[0]>=1" & "Speed189.Speed_Left_Wheel_189>=1") | ("P4.P4[0]>=1" & "Speed190.Speed_Left_Wheel_190>=1") | ("P4.P4[0]>=1" & "Speed191.Speed_Left_Wheel_191>=1") | ("P4.P4[0]>=1" & "Speed192.Speed_Left_Wheel_192>=1") | ("P4.P4[0]>=1" & "Speed193.Speed_Left_Wheel_193>=1") | ("P4.P4[0]>=1" & "Speed194.Speed_Left_Wheel_194>=1") | ("P4.P4[0]>=1" & "Speed195.Speed_Left_Wheel_195>=1") | ("P4.P4[0]>=1" & "Speed196.Speed_Left_Wheel_196>=1") | ("P4.P4[0]>=1" & "Speed197.Speed_Left_Wheel_197>=1") | ("P4.P4[0]>=1" & "Speed198.Speed_Left_Wheel_198>=1") | ("P4.P4[0]>=1" & "Speed199.Speed_Left_Wheel_199>=1") | ("P4.P4[0]>=1" & "Speed200.Speed_Left_Wheel_200>=1") | ("P4.P4[0]>=1" & "Speed201.Speed_Left_Wheel_201>=1") | ("P4.P4[0]>=1" & "Speed202.Speed_Left_Wheel_202>=1") | ("P4.P4[0]>=1" & "Speed203.Speed_Left_Wheel_203>=1") | ("P4.P4[0]>=1" & "Speed204.Speed_Left_Wheel_204>=1") | ("P4.P4[0]>=1" & "Speed205.Speed_Left_Wheel_205>=1") | ("P4.P4[0]>=1" & "Speed206.Speed_Left_Wheel_206>=1") | ("P4.P4[0]>=1" & "Speed207.Speed_Left_Wheel_207>=1") | ("P4.P4[0]>=1" & "Speed208.Speed_Left_Wheel_208>=1") | ("P4.P4[0]>=1" & "Speed209.Speed_Left_Wheel_209>=1") | ("P4.P4[0]>=1" & "Speed210.Speed_Left_Wheel_210>=1") | ("P4.P4[0]>=1" & "Speed211.Speed_Left_Wheel_211>=1") | ("P4.P4[0]>=1" & "Speed212.Speed_Left_Wheel_212>=1") | ("P4.P4[0]>=1" & "Speed213.Speed_Left_Wheel_213>=1") | ("P4.P4[0]>=1" & "Speed214.Speed_Left_Wheel_214>=1") | ("P4.P4[0]>=1" & "Speed215.Speed_Left_Wheel_215>=1") | ("P4.P4[0]>=1" & "Speed216.Speed_Left_Wheel_216>=1") | ("P4.P4[0]>=1" & "Speed217.Speed_Left_Wheel_217>=1") | ("P4.P4[0]>=1" & "Speed218.Speed_Left_Wheel_218>=1") | ("P4.P4[0]>=1" & "Speed219.Speed_Left_Wheel_219>=1") | ("P4.P4[0]>=1" & "Speed220.Speed_Left_Wheel_220>=1") | ("P4.P4[0]>=1" & "Speed221.Speed_Left_Wheel_221>=1") | ("P4.P4[0]>=1" & "Speed222.Speed_Left_Wheel_222>=1") | ("P4.P4[0]>=1" & "Speed223.Speed_Left_Wheel_223>=1") | ("P4.P4[0]>=1" & "Speed224.Speed_Left_Wheel_224>=1") | ("P4.P4[0]>=1" & "Speed225.Speed_Left_Wheel_225>=1") | ("P4.P4[0]>=1" & "Speed226.Speed_Left_Wheel_226>=1") | ("P4.P4[0]>=1" & "Speed227.Speed_Left_Wheel_227>=1") | ("P4.P4[0]>=1" & "Speed228.Speed_Left_Wheel_228>=1") | ("P4.P4[0]>=1" & "Speed229.Speed_Left_Wheel_229>=1") | ("P4.P4[0]>=1" & "Speed230.Speed_Left_Wheel_230>=1") | ("P4.P4[0]>=1" & "Speed231.Speed_Left_Wheel_231>=1") | ("P4.P4[0]>=1" & "Speed232.Speed_Left_Wheel_232>=1") | ("P4.P4[0]>=1" & "Speed233.Speed_Left_Wheel_233>=1") | ("P4.P4[0]>=1" & "Speed234.Speed_Left_Wheel_234>=1") | ("P4.P4[0]>=1" & "Speed235.Speed_Left_Wheel_235>=1") | ("P4.P4[0]>=1" & "Speed236.Speed_Left_Wheel_236>=1") | ("P4.P4[0]>=1" & "Speed237.Speed_Left_Wheel_237>=1") | ("P4.P4[0]>=1" & "Speed238.Speed_Left_Wheel_238>=1") | ("P4.P4[0]>=1" & "Speed239.Speed_Left_Wheel_239>=1") | ("P4.P4[0]>=1" & "Speed240.Speed_Left_Wheel_240>=1") | ("P4.P4[0]>=1" & "Speed241.Speed_Left_Wheel_241>=1") | ("P4.P4[0]>=1" & "Speed242.Speed_Left_Wheel_242>=1") | ("P4.P4[0]>=1" & "Speed243.Speed_Left_Wheel_243>=1") | ("P4.P4[0]>=1" & "Speed244.Speed_Left_Wheel_244>=1") | ("P4.P4[0]>=1" & "Speed245.Speed_Left_Wheel_245>=1") | ("P4.P4[0]>=1" & "Speed246.Speed_Left_Wheel_246>=1") | ("P4.P4[0]>=1" & "Speed247.Speed_Left_Wheel_247>=1") | ("P4.P4[0]>=1" & "Speed248.Speed_Left_Wheel_248>=1") | ("P4.P4[0]>=1" & "Speed249.Speed_Left_Wheel_249>=1") | ("P4.P4[0]>=1" & "Speed250.Speed_Left_Wheel_250>=1") | ("P4.P4[0]>=1" & "Speed251.Speed_Left_Wheel_251>=1") | ("P4.P4[0]>=1" & "Speed252.Speed_Left_Wheel_252>=1") | ("P4.P4[0]>=1" & "Speed253.Speed_Left_Wheel_253>=1") | ("P4.P4[0]>=1" & "Speed254.Speed_Left_Wheel_254>=1") | ("P4.P4[0]>=1" & "Speed255.Speed_Left_Wheel_255>=1") | ("P4.P4[0]>=1" & "Speed256.Speed_Left_Wheel_256>=1") | ("P4.P4[0]>=1" & "Speed257.Speed_Left_Wheel_257>=1") | ("P4.P4[0]>=1" & "Speed258.Speed_Left_Wheel_258>=1") | ("P4.P4[0]>=1" & "Speed259.Speed_Left_Wheel_259>=1") | ("P4.P4[0]>=1" & "Speed260.Speed_Left_Wheel_260>=1") | ("P4.P4[0]>=1" & "Speed261.Speed_Left_Wheel_261>=1") | ("P4.P4[0]>=1" & "Speed262.Speed_Left_Wheel_262>=1") | ("P4.P4[0]>=1" & "Speed263.Speed_Left_Wheel_263>=1") | ("P4.P4[0]>=1" & "Speed264.Speed_Left_Wheel_264>=1") | ("P4.P4[0]>=1" & "Speed265.Speed_Left_Wheel_265>=1") | ("P4.P4[0]>=1" & "Speed266.Speed_Left_Wheel_266>=1") | ("P4.P4[0]>=1" & "Speed267.Speed_Left_Wheel_267>=1") | ("P4.P4[0]>=1" & "Speed268.Speed_Left_Wheel_268>=1") | ("P4.P4[0]>=1" & "Speed269.Speed_Left_Wheel_269>=1") | ("P4.P4[0]>=1" & "Speed270.Speed_Left_Wheel_270>=1") | ("P4.P4[0]>=1" & "Speed271.Speed_Left_Wheel_271>=1") | ("P4.P4[0]>=1" & "Speed272.Speed_Left_Wheel_272>=1") | ("P4.P4[0]>=1" & "Speed273.Speed_Left_Wheel_273>=1") | ("P4.P4[0]>=1" & "Speed274.Speed_Left_Wheel_274>=1") | ("P4.P4[0]>=1" & "Speed275.Speed_Left_Wheel_275>=1") | ("P4.P4[0]>=1" & "Speed276.Speed_Left_Wheel_276>=1") | ("P4.P4[0]>=1" & "Speed277.Speed_Left_Wheel_277>=1") | ("P4.P4[0]>=1" & "Speed278.Speed_Left_Wheel_278>=1") | ("P4.P4[0]>=1" & "Speed279.Speed_Left_Wheel_279>=1") | ("P4.P4[0]>=1" & "Speed280.Speed_Left_Wheel_280>=1") | ("P4.P4[0]>=1" & "Speed281.Speed_Left_Wheel_281>=1") | ("P4.P4[0]>=1" & "Speed282.Speed_Left_Wheel_282>=1") | ("P4.P4[0]>=1" & "Speed283.Speed_Left_Wheel_283>=1") | ("P4.P4[0]>=1" & "Speed284.Speed_Left_Wheel_284>=1") | ("P4.P4[0]>=1" & "Speed285.Speed_Left_Wheel_285>=1") | ("P4.P4[0]>=1" & "Speed286.Speed_Left_Wheel_286>=1") | ("P4.P4[0]>=1" & "Speed287.Speed_Left_Wheel_287>=1") | ("P4.P4[0]>=1" & "Speed288.Speed_Left_Wheel_288>=1") | ("P4.P4[0]>=1" & "Speed289.Speed_Left_Wheel_289>=1") | ("P4.P4[0]>=1" & "Speed290.Speed_Left_Wheel_290>=1") | ("P4.P4[0]>=1" & "Speed291.Speed_Left_Wheel_291>=1") | ("P4.P4[0]>=1" & "Speed292.Speed_Left_Wheel_292>=1") | ("P4.P4[0]>=1" & "Speed293.Speed_Left_Wheel_293>=1") | ("P4.P4[0]>=1" & "Speed294.Speed_Left_Wheel_294>=1") | ("P4.P4[0]>=1" & "Speed295.Speed_Left_Wheel_295>=1") | ("P4.P4[0]>=1" & "Speed296.Speed_Left_Wheel_296>=1") | ("P4.P4[0]>=1" & "Speed297.Speed_Left_Wheel_297>=1") | ("P4.P4[0]>=1" & "Speed298.Speed_Left_Wheel_298>=1") | ("P4.P4[0]>=1" & "Speed299.Speed_Left_Wheel_299>=1") | ("P4.P4[0]>=1" & "Speed300.Speed_Left_Wheel_300>=1") | ("P4.P4[0]>=1" & "Speed301.Speed_Left_Wheel_301>=1") | ("P4.P4[0]>=1" & "Speed302.Speed_Left_Wheel_302>=1") | ("P4.P4[0]>=1" & "Speed303.Speed_Left_Wheel_303>=1") | ("P4.P4[0]>=1" & "Speed304.Speed_Left_Wheel_304>=1") | ("P4.P4[0]>=1" & "Speed305.Speed_Left_Wheel_305>=1") | ("P4.P4[0]>=1" & "Speed306.Speed_Left_Wheel_306>=1") | ("P4.P4[0]>=1" & "Speed307.Speed_Left_Wheel_307>=1") | ("P4.P4[0]>=1" & "Speed308.Speed_Left_Wheel_308>=1") | ("P4.P4[0]>=1" & "Speed309.Speed_Left_Wheel_309>=1") | ("P4.P4[0]>=1" & "Speed310.Speed_Left_Wheel_310>=1") | ("P4.P4[0]>=1" & "Speed311.Speed_Left_Wheel_311>=1") | ("P4.P4[0]>=1" & "Speed312.Speed_Left_Wheel_312>=1") | ("P4.P4[0]>=1" & "Speed313.Speed_Left_Wheel_313>=1") | ("P4.P4[0]>=1" & "Speed314.Speed_Left_Wheel_314>=1") | ("P4.P4[0]>=1" & "Speed315.Speed_Left_Wheel_315>=1") | ("P4.P4[0]>=1" & "Speed316.Speed_Left_Wheel_316>=1") | ("P4.P4[0]>=1" & "Speed317.Speed_Left_Wheel_317>=1") | ("P4.P4[0]>=1" & "Speed318.Speed_Left_Wheel_318>=1") | ("P4.P4[0]>=1" & "Speed319.Speed_Left_Wheel_319>=1") | ("P4.P4[0]>=1" & "Speed320.Speed_Left_Wheel_320>=1") | ("P4.P4[0]>=1" & "Speed321.Speed_Left_Wheel_321>=1") | ("P4.P4[0]>=1" & "Speed322.Speed_Left_Wheel_322>=1") | ("P4.P4[0]>=1" & "Speed323.Speed_Left_Wheel_323>=1") | ("P4.P4[0]>=1" & "Speed324.Speed_Left_Wheel_324>=1") | ("P4.P4[0]>=1" & "Speed325.Speed_Left_Wheel_325>=1") | ("P4.P4[0]>=1" & "Speed326.Speed_Left_Wheel_326>=1") | ("P4.P4[0]>=1" & "Speed327.Speed_Left_Wheel_327>=1") | ("P4.P4[0]>=1" & "Speed328.Speed_Left_Wheel_328>=1") | ("P4.P4[0]>=1" & "Speed329.Speed_Left_Wheel_329>=1") | ("P4.P4[0]>=1" & "Speed330.Speed_Left_Wheel_330>=1") | ("P4.P4[0]>=1" & "Speed331.Speed_Left_Wheel_331>=1") | ("P4.P4[0]>=1" & "Speed332.Speed_Left_Wheel_332>=1") | ("P4.P4[0]>=1" & "Speed333.Speed_Left_Wheel_333>=1") | ("P4.P4[0]>=1" & "Speed334.Speed_Left_Wheel_334>=1") | ("P4.P4[0]>=1" & "Speed335.Speed_Left_Wheel_335>=1") | ("P4.P4[0]>=1" & "Speed336.Speed_Left_Wheel_336>=1") | ("P4.P4[0]>=1" & "Speed337.Speed_Left_Wheel_337>=1") | ("P4.P4[0]>=1" & "Speed338.Speed_Left_Wheel_338>=1") | ("P4.P4[0]>=1" & "Speed339.Speed_Left_Wheel_339>=1") | ("P4.P4[0]>=1" & "Speed340.Speed_Left_Wheel_340>=1") | ("P4.P4[0]>=1" & "Speed341.Speed_Left_Wheel_341>=1") | ("P4.P4[0]>=1" & "Speed342.Speed_Left_Wheel_342>=1") | ("P4.P4[0]>=1" & "Speed343.Speed_Left_Wheel_343>=1") | ("P4.P4[0]>=1" & "Speed344.Speed_Left_Wheel_344>=1") | ("P4.P4[0]>=1" & "Speed345.Speed_Left_Wheel_345>=1") | ("P4.P4[0]>=1" & "Speed346.Speed_Left_Wheel_346>=1") | ("P4.P4[0]>=1" & "Speed347.Speed_Left_Wheel_347>=1") | ("P4.P4[0]>=1" & "Speed348.Speed_Left_Wheel_348>=1") | ("P4.P4[0]>=1" & "Speed349.Speed_Left_Wheel_349>=1") | ("P4.P4[0]>=1" & "Speed350.Speed_Left_Wheel_350>=1") | ("P4.P4[0]>=1" & "Speed351.Speed_Left_Wheel_351>=1") | ("P4.P4[0]>=1" & "Speed352.Speed_Left_Wheel_352>=1") | ("P4.P4[0]>=1" & "Speed353.Speed_Left_Wheel_353>=1") | ("P4.P4[0]>=1" & "Speed354.Speed_Left_Wheel_354>=1") | ("P4.P4[0]>=1" & "Speed355.Speed_Left_Wheel_355>=1") | ("P4.P4[0]>=1" & "Speed356.Speed_Left_Wheel_356>=1") | ("P4.P4[0]>=1" & "Speed357.Speed_Left_Wheel_357>=1") | ("P4.P4[0]>=1" & "Speed358.Speed_Left_Wheel_358>=1") | ("P4.P4[0]>=1" & "Speed359.Speed_Left_Wheel_359>=1") | ("P4.P4[0]>=1" & "Speed360.Speed_Left_Wheel_360>=1") | ("P4.P4[0]>=1" & "Speed361.Speed_Left_Wheel_361>=1") | ("P4.P4[0]>=1" & "Speed362.Speed_Left_Wheel_362>=1") | ("P4.P4[0]>=1" & "Speed363.Speed_Left_Wheel_363>=1") | ("P4.P4[0]>=1" & "Speed364.Speed_Left_Wheel_364>=1") | ("P4.P4[0]>=1" & "Speed365.Speed_Left_Wheel_365>=1") | ("P4.P4[0]>=1" & "Speed366.Speed_Left_Wheel_366>=1") | ("P4.P4[0]>=1" & "Speed367.Speed_Left_Wheel_367>=1") | ("P4.P4[0]>=1" & "Speed368.Speed_Left_Wheel_368>=1") | ("P4.P4[0]>=1" & "Speed369.Speed_Left_Wheel_369>=1") | ("P4.P4[0]>=1" & "Speed370.Speed_Left_Wheel_370>=1") | ("P4.P4[0]>=1" & "Speed371.Speed_Left_Wheel_371>=1") | ("P4.P4[0]>=1" & "Speed372.Speed_Left_Wheel_372>=1") | ("P4.P4[0]>=1" & "Speed373.Speed_Left_Wheel_373>=1") | ("P4.P4[0]>=1" & "Speed374.Speed_Left_Wheel_374>=1") | ("P4.P4[0]>=1" & "Speed375.Speed_Left_Wheel_375>=1") | ("P4.P4[0]>=1" & "Speed376.Speed_Left_Wheel_376>=1") | ("P4.P4[0]>=1" & "Speed377.Speed_Left_Wheel_377>=1") | ("P4.P4[0]>=1" & "Speed378.Speed_Left_Wheel_378>=1") | ("P4.P4[0]>=1" & "Speed379.Speed_Left_Wheel_379>=1") | ("P4.P4[0]>=1" & "Speed380.Speed_Left_Wheel_380>=1") | ("P4.P4[0]>=1" & "Speed381.Speed_Left_Wheel_381>=1") | ("P4.P4[0]>=1" & "Speed382.Speed_Left_Wheel_382>=1") | ("P4.P4[0]>=1" & "Speed383.Speed_Left_Wheel_383>=1") | ("P4.P4[0]>=1" & "Speed384.Speed_Left_Wheel_384>=1") | ("P4.P4[0]>=1" & "Speed385.Speed_Left_Wheel_385>=1") | ("P4.P4[0]>=1" & "Speed386.Speed_Left_Wheel_386>=1") | ("P4.P4[0]>=1" & "Speed387.Speed_Left_Wheel_387>=1") | ("P4.P4[0]>=1" & "Speed388.Speed_Left_Wheel_388>=1") | ("P4.P4[0]>=1" & "Speed389.Speed_Left_Wheel_389>=1") | ("P4.P4[0]>=1" & "Speed390.Speed_Left_Wheel_390>=1") | ("P4.P4[0]>=1" & "Speed391.Speed_Left_Wheel_391>=1") | ("P4.P4[0]>=1" & "Speed392.Speed_Left_Wheel_392>=1") | ("P4.P4[0]>=1" & "Speed393.Speed_Left_Wheel_393>=1") | ("P4.P4[0]>=1" & "Speed394.Speed_Left_Wheel_394>=1") | ("P4.P4[0]>=1" & "Speed395.Speed_Left_Wheel_395>=1") | ("P4.P4[0]>=1" & "Speed396.Speed_Left_Wheel_396>=1") | ("P4.P4[0]>=1" & "Speed397.Speed_Left_Wheel_397>=1") | ("P4.P4[0]>=1" & "Speed398.Speed_Left_Wheel_398>=1") | ("P4.P4[0]>=1" & "Speed399.Speed_Left_Wheel_399>=1") | ("P4.P4[0]>=1" & "Speed400.Speed_Left_Wheel_400>=1") | ("P4.P4[0]>=1" & "Speed401.Speed_Left_Wheel_401>=1") | ("P4.P4[0]>=1" & "Speed402.Speed_Left_Wheel_402>=1") | ("P4.P4[0]>=1" & "Speed403.Speed_Left_Wheel_403>=1") | ("P4.P4[0]>=1" & "Speed404.Speed_Left_Wheel_404>=1") | ("P4.P4[0]>=1" & "Speed405.Speed_Left_Wheel_405>=1") | ("P4.P4[0]>=1" & "Speed406.Speed_Left_Wheel_406>=1") | ("P4.P4[0]>=1" & "Speed407.Speed_Left_Wheel_407>=1") | ("P4.P4[0]>=1" & "Speed408.Speed_Left_Wheel_408>=1") | ("P4.P4[0]>=1" & "Speed409.Speed_Left_Wheel_409>=1") | ("P4.P4[0]>=1" & "Speed410.Speed_Left_Wheel_410>=1") | ("P4.P4[0]>=1" & "Speed411.Speed_Left_Wheel_411>=1") | ("P4.P4[0]>=1" & "Speed412.Speed_Left_Wheel_412>=1") | ("P4.P4[0]>=1" & "Speed413.Speed_Left_Wheel_413>=1") | ("P4.P4[0]>=1" & "Speed414.Speed_Left_Wheel_414>=1") | ("P4.P4[0]>=1" & "Speed415.Speed_Left_Wheel_415>=1") | ("P4.P4[0]>=1" & "Speed416.Speed_Left_Wheel_416>=1") | ("P4.P4[0]>=1" & "Speed417.Speed_Left_Wheel_417>=1") | ("P4.P4[0]>=1" & "Speed418.Speed_Left_Wheel_418>=1") | ("P4.P4[0]>=1" & "Speed419.Speed_Left_Wheel_419>=1") | ("P4.P4[0]>=1" & "Speed420.Speed_Left_Wheel_420>=1") | ("P4.P4[0]>=1" & "Speed421.Speed_Left_Wheel_421>=1") | ("P4.P4[0]>=1" & "Speed422.Speed_Left_Wheel_422>=1") | ("P4.P4[0]>=1" & "Speed423.Speed_Left_Wheel_423>=1") | ("P4.P4[0]>=1" & "Speed424.Speed_Left_Wheel_424>=1") | ("P4.P4[0]>=1" & "Speed425.Speed_Left_Wheel_425>=1") | ("P4.P4[0]>=1" & "Speed426.Speed_Left_Wheel_426>=1") | ("P4.P4[0]>=1" & "Speed427.Speed_Left_Wheel_427>=1") | ("P4.P4[0]>=1" & "Speed428.Speed_Left_Wheel_428>=1") | ("P4.P4[0]>=1" & "Speed429.Speed_Left_Wheel_429>=1") | ("P4.P4[0]>=1" & "Speed430.Speed_Left_Wheel_430>=1") | ("P4.P4[0]>=1" & "Speed431.Speed_Left_Wheel_431>=1") | ("P4.P4[0]>=1" & "Speed432.Speed_Left_Wheel_432>=1") | ("P4.P4[0]>=1" & "Speed433.Speed_Left_Wheel_433>=1") | ("P4.P4[0]>=1" & "Speed434.Speed_Left_Wheel_434>=1") | ("P4.P4[0]>=1" & "Speed435.Speed_Left_Wheel_435>=1") | ("P4.P4[0]>=1" & "Speed436.Speed_Left_Wheel_436>=1") | ("P4.P4[0]>=1" & "Speed437.Speed_Left_Wheel_437>=1") | ("P4.P4[0]>=1" & "Speed438.Speed_Left_Wheel_438>=1") | ("P4.P4[0]>=1" & "Speed439.Speed_Left_Wheel_439>=1") | ("P4.P4[0]>=1" & "Speed440.Speed_Left_Wheel_440>=1") | ("P4.P4[0]>=1" & "Speed441.Speed_Left_Wheel_441>=1") | ("P4.P4[0]>=1" & "Speed442.Speed_Left_Wheel_442>=1") | ("P4.P4[0]>=1" & "Speed443.Speed_Left_Wheel_443>=1") | ("P4.P4[0]>=1" & "Speed444.Speed_Left_Wheel_444>=1") | ("P4.P4[0]>=1" & "Speed445.Speed_Left_Wheel_445>=1") | ("P4.P4[0]>=1" & "Speed446.Speed_Left_Wheel_446>=1") | ("P4.P4[0]>=1" & "Speed447.Speed_Left_Wheel_447>=1") | ("P4.P4[0]>=1" & "Speed448.Speed_Left_Wheel_448>=1") | ("P4.P4[0]>=1" & "Speed449.Speed_Left_Wheel_449>=1") | ("P4.P4[0]>=1" & "Speed450.Speed_Left_Wheel_450>=1") | ("P4.P4[0]>=1" & "Speed451.Speed_Left_Wheel_451>=1") | ("P4.P4[0]>=1" & "Speed452.Speed_Left_Wheel_452>=1") | ("P4.P4[0]>=1" & "Speed453.Speed_Left_Wheel_453>=1") | ("P4.P4[0]>=1" & "Speed454.Speed_Left_Wheel_454>=1") | ("P4.P4[0]>=1" & "Speed455.Speed_Left_Wheel_455>=1") | ("P4.P4[0]>=1" & "Speed456.Speed_Left_Wheel_456>=1") | ("P4.P4[0]>=1" & "Speed457.Speed_Left_Wheel_457>=1") | ("P4.P4[0]>=1" & "Speed458.Speed_Left_Wheel_458>=1") | ("P4.P4[0]>=1" & "Speed459.Speed_Left_Wheel_459>=1") | ("P4.P4[0]>=1" & "Speed460.Speed_Left_Wheel_460>=1") | ("P4.P4[0]>=1" & "Speed461.Speed_Left_Wheel_461>=1") | ("P4.P4[0]>=1" & "Speed462.Speed_Left_Wheel_462>=1") | ("P4.P4[0]>=1" & "Speed463.Speed_Left_Wheel_463>=1") | ("P4.P4[0]>=1" & "Speed464.Speed_Left_Wheel_464>=1") | ("P4.P4[0]>=1" & "Speed465.Speed_Left_Wheel_465>=1") | ("P4.P4[0]>=1" & "Speed466.Speed_Left_Wheel_466>=1") | ("P4.P4[0]>=1" & "Speed467.Speed_Left_Wheel_467>=1") | ("P4.P4[0]>=1" & "Speed468.Speed_Left_Wheel_468>=1") | ("P4.P4[0]>=1" & "Speed469.Speed_Left_Wheel_469>=1") | ("P4.P4[0]>=1" & "Speed470.Speed_Left_Wheel_470>=1") | ("P4.P4[0]>=1" & "Speed471.Speed_Left_Wheel_471>=1") | ("P4.P4[0]>=1" & "Speed472.Speed_Left_Wheel_472>=1") | ("P4.P4[0]>=1" & "Speed473.Speed_Left_Wheel_473>=1") | ("P4.P4[0]>=1" & "Speed474.Speed_Left_Wheel_474>=1") | ("P4.P4[0]>=1" & "Speed475.Speed_Left_Wheel_475>=1") | ("P4.P4[0]>=1" & "Speed476.Speed_Left_Wheel_476>=1") | ("P4.P4[0]>=1" & "Speed477.Speed_Left_Wheel_477>=1") | ("P4.P4[0]>=1" & "Speed478.Speed_Left_Wheel_478>=1") | ("P4.P4[0]>=1" & "Speed479.Speed_Left_Wheel_479>=1") | ("P4.P4[0]>=1" & "Speed480.Speed_Left_Wheel_480>=1") | ("P4.P4[0]>=1" & "Speed481.Speed_Left_Wheel_481>=1") | ("P4.P4[0]>=1" & "Speed482.Speed_Left_Wheel_482>=1") | ("P4.P4[0]>=1" & "Speed483.Speed_Left_Wheel_483>=1") | ("P4.P4[0]>=1" & "Speed484.Speed_Left_Wheel_484>=1") | ("P4.P4[0]>=1" & "Speed485.Speed_Left_Wheel_485>=1") | ("P4.P4[0]>=1" & "Speed486.Speed_Left_Wheel_486>=1") | ("P4.P4[0]>=1" & "Speed487.Speed_Left_Wheel_487>=1") | ("P4.P4[0]>=1" & "Speed488.Speed_Left_Wheel_488>=1") | ("P4.P4[0]>=1" & "Speed489.Speed_Left_Wheel_489>=1") | ("P4.P4[0]>=1" & "Speed490.Speed_Left_Wheel_490>=1") | ("P4.P4[0]>=1" & "Speed491.Speed_Left_Wheel_491>=1") | ("P4.P4[0]>=1" & "Speed492.Speed_Left_Wheel_492>=1") | ("P4.P4[0]>=1" & "Speed493.Speed_Left_Wheel_493>=1") | ("P4.P4[0]>=1" & "Speed494.Speed_Left_Wheel_494>=1") | ("P4.P4[0]>=1" & "Speed495.Speed_Left_Wheel_495>=1") | ("P4.P4[0]>=1" & "Speed496.Speed_Left_Wheel_496>=1") | ("P4.P4[0]>=1" & "Speed497.Speed_Left_Wheel_497>=1") | ("P4.P4[0]>=1" & "Speed498.Speed_Left_Wheel_498>=1") | ("P4.P4[0]>=1" & "Speed499.Speed_Left_Wheel_499>=1") | ("P4.P4[0]>=1" & "Speed999.Speed_Left_Wheel_999>=1"))
Exit code :134
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 8008 rows 4017 cols
invariant : 1'Signal0:Plane_On_Ground_Signal_no_0 + 1'Signal1:Plane_On_Ground_Signal_no_1 + 1'stp1:stp1[0] + 1'P5:P5[0] + 1'P4:P4[0] + 1'P3:P3[0] + 1'P2:P2[0] + 1'Weight0:Weight_Left_Wheel_0 + 1'Weight1:Weight_Left_Wheel_1= 1
invariant : -1'Signal0:Plane_On_Ground_Signal_no_0 + -1'Signal1:Plane_On_Ground_Signal_no_1 + 1'P6:P6[0]= 0
invariant : 1'Signal0:Plane_On_Ground_Signal_no_0 + 1'Signal1:Plane_On_Ground_Signal_no_1 + 1'P5:P5[0] + 1'P4:P4[0] + 1'P3:P3[0] + 1'P2:P2[0] + 1'P1:P1[0]= 1

BK_TIME_CONFINEMENT_REACHED

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 02, 2017 5:18:48 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 5:18:48 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 02, 2017 5:18:49 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1478 ms
Jun 02, 2017 5:18:49 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 20 places.
Jun 02, 2017 5:18:49 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 02, 2017 5:18:49 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :Speed->SpeedPossibleVal,Speed_Left_Wheel,Speed_Right_Wheel,
Signal->Plane_On_Ground_Signal_no,
Dot->stp5,stp4,stp3,stp2,stp1,P5,P4,P3,P2,P6,P1,
Weight->WeightPossibleVal,Weight_Right_Wheel,Weight_Left_Wheel,
Altitude->AltitudePossibleVal,TheAltitude,

Jun 02, 2017 5:18:49 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 15 transitions.
Jun 02, 2017 5:18:49 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 02, 2017 5:18:51 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Jun 02, 2017 5:18:51 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Jun 02, 2017 5:18:52 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 4004 instantiations of transitions. Total transitions/syncs built is 8020
Jun 02, 2017 5:18:52 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 7019 variables) in GAL type AirplaneLD_COL_1000
Jun 02, 2017 5:18:52 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3002 constant array cells/variables (out of 7019 variables) in type AirplaneLD_COL_1000
Jun 02, 2017 5:18:52 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: SpeedPossibleVal[0-999], AltitudePossibleVal[0-1999], WeightPossibleVal[0-1],
Jun 02, 2017 5:18:53 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 11012 expressions due to constant valuations.
Jun 02, 2017 5:18:53 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 2063 ms
Jun 02, 2017 5:19:00 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays Weight_Right_Wheel, Weight_Left_Wheel, TheAltitude, Speed_Left_Wheel, Speed_Right_Wheel, Plane_On_Ground_Signal_no to variables to allow decomposition.
Jun 02, 2017 5:19:03 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 4514 redundant transitions.
Jun 02, 2017 5:19:03 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 86 ms
Jun 02, 2017 5:19:03 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 24 ms
Jun 02, 2017 5:19:05 AM fr.lip6.move.gal.itstools.Runner runTool
INFO: Standard error output from running tool CommandLine [args=[/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLFireability.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLFireability.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/execution]
terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc

Jun 02, 2017 5:19:20 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 3 place invariants in 8662 ms

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="S_AirplaneLD-COL-1000"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/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/S_AirplaneLD-COL-1000.tgz
mv S_AirplaneLD-COL-1000 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is S_AirplaneLD-COL-1000, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r090-csrt-149441076300033"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.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 '' LTLFireability.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 ;