About the Execution of ITS-Tools for AirplaneLD-PT-0200
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15746.090 | 92273.00 | 132194.00 | 1052.20 | TTTFFFTTTTTFFTFF | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2020-input.r006-smll-158897515800277.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is AirplaneLD-PT-0200, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r006-smll-158897515800277
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.1M
-rw-r--r-- 1 mcc users 75K Mar 24 10:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 186K Mar 24 10:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 44K Mar 24 09:25 CTLFireability.txt
-rw-r--r-- 1 mcc users 193K Mar 24 09:25 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 120K Apr 8 14:40 LTLCardinality.txt
-rw-r--r-- 1 mcc users 330K Apr 29 06:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 42K Apr 8 14:40 LTLFireability.txt
-rw-r--r-- 1 mcc users 188K Apr 29 06:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 25K Mar 24 07:57 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 67K Mar 24 07:57 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 28K Mar 24 06:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 115K Mar 24 06:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 17K Mar 24 08:44 UpperBounds.txt
-rw-r--r-- 1 mcc users 31K Mar 24 08:44 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.6M Mar 24 05:37 model.pnml
--------------------
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-PT-0200-00
FORMULA_NAME AirplaneLD-PT-0200-01
FORMULA_NAME AirplaneLD-PT-0200-02
FORMULA_NAME AirplaneLD-PT-0200-03
FORMULA_NAME AirplaneLD-PT-0200-04
FORMULA_NAME AirplaneLD-PT-0200-05
FORMULA_NAME AirplaneLD-PT-0200-06
FORMULA_NAME AirplaneLD-PT-0200-07
FORMULA_NAME AirplaneLD-PT-0200-08
FORMULA_NAME AirplaneLD-PT-0200-09
FORMULA_NAME AirplaneLD-PT-0200-10
FORMULA_NAME AirplaneLD-PT-0200-11
FORMULA_NAME AirplaneLD-PT-0200-12
FORMULA_NAME AirplaneLD-PT-0200-13
FORMULA_NAME AirplaneLD-PT-0200-14
FORMULA_NAME AirplaneLD-PT-0200-15
=== Now, execution of the tool begins
BK_START 1589458524018
[2020-05-14 12:15:27] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, LTLCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2020-05-14 12:15:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-14 12:15:27] [INFO ] Load time of PNML (sax parser for PT used): 363 ms
[2020-05-14 12:15:27] [INFO ] Transformed 1419 places.
[2020-05-14 12:15:27] [INFO ] Transformed 1608 transitions.
[2020-05-14 12:15:27] [INFO ] Found NUPN structural information;
[2020-05-14 12:15:27] [INFO ] Parsed PT model containing 1419 places and 1608 transitions in 467 ms.
Reduce places removed 602 places and 0 transitions.
Parsed 16 properties from file /home/mcc/execution/LTLCardinality.xml in 125 ms.
Working with output stream class java.io.PrintStream
Incomplete random walk after 100000 steps, including 12607 resets, run finished after 3941 ms. (steps per millisecond=25 ) properties seen :[1, 1, 1, 0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1]
// Phase 1: matrix 1608 rows 817 cols
[2020-05-14 12:15:31] [INFO ] Computed 3 place invariants in 157 ms
[2020-05-14 12:15:32] [INFO ] [Real]Absence check using 2 positive place invariants in 45 ms returned sat
[2020-05-14 12:15:32] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 23 ms returned sat
[2020-05-14 12:15:32] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 12:15:36] [INFO ] [Real]Absence check using state equation in 3788 ms returned sat
[2020-05-14 12:15:36] [INFO ] Solution in real domain found non-integer solution.
[2020-05-14 12:15:36] [INFO ] [Nat]Absence check using 2 positive place invariants in 23 ms returned unsat
[2020-05-14 12:15:36] [INFO ] [Real]Absence check using 2 positive place invariants in 30 ms returned sat
[2020-05-14 12:15:36] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 24 ms returned sat
[2020-05-14 12:15:36] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 12:15:40] [INFO ] [Real]Absence check using state equation in 3515 ms returned sat
[2020-05-14 12:15:40] [INFO ] Solution in real domain found non-integer solution.
[2020-05-14 12:15:40] [INFO ] [Nat]Absence check using 2 positive place invariants in 22 ms returned unsat
[2020-05-14 12:15:41] [INFO ] [Real]Absence check using 2 positive place invariants in 31 ms returned sat
[2020-05-14 12:15:41] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 24 ms returned sat
[2020-05-14 12:15:41] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 12:15:44] [INFO ] [Real]Absence check using state equation in 3813 ms returned unsat
[2020-05-14 12:15:45] [INFO ] [Real]Absence check using 2 positive place invariants in 30 ms returned sat
[2020-05-14 12:15:45] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 23 ms returned sat
[2020-05-14 12:15:45] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 12:15:48] [INFO ] [Real]Absence check using state equation in 3733 ms returned unsat
[2020-05-14 12:15:49] [INFO ] [Real]Absence check using 2 positive place invariants in 29 ms returned sat
[2020-05-14 12:15:49] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 21 ms returned sat
[2020-05-14 12:15:49] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 12:15:52] [INFO ] [Real]Absence check using state equation in 3554 ms returned sat
[2020-05-14 12:15:52] [INFO ] Solution in real domain found non-integer solution.
[2020-05-14 12:15:53] [INFO ] [Nat]Absence check using 2 positive place invariants in 16 ms returned unsat
[2020-05-14 12:15:53] [INFO ] [Real]Absence check using 2 positive place invariants in 32 ms returned sat
[2020-05-14 12:15:53] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 26 ms returned sat
[2020-05-14 12:15:53] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 12:15:57] [INFO ] [Real]Absence check using state equation in 3772 ms returned unsat
[2020-05-14 12:15:57] [INFO ] [Real]Absence check using 2 positive place invariants in 20 ms returned unsat
[2020-05-14 12:15:57] [INFO ] [Real]Absence check using 2 positive place invariants in 20 ms returned unsat
[2020-05-14 12:15:57] [INFO ] [Real]Absence check using 2 positive place invariants in 19 ms returned sat
[2020-05-14 12:15:57] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 14 ms returned sat
[2020-05-14 12:15:57] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 12:16:00] [INFO ] [Real]Absence check using state equation in 3041 ms returned sat
[2020-05-14 12:16:00] [INFO ] Solution in real domain found non-integer solution.
[2020-05-14 12:16:01] [INFO ] [Nat]Absence check using 2 positive place invariants in 19 ms returned unsat
[2020-05-14 12:16:01] [INFO ] [Real]Absence check using 2 positive place invariants in 28 ms returned sat
[2020-05-14 12:16:01] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 22 ms returned sat
[2020-05-14 12:16:01] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 12:16:05] [INFO ] [Real]Absence check using state equation in 3604 ms returned sat
[2020-05-14 12:16:05] [INFO ] Solution in real domain found non-integer solution.
[2020-05-14 12:16:05] [INFO ] [Nat]Absence check using 2 positive place invariants in 17 ms returned unsat
[2020-05-14 12:16:05] [INFO ] [Real]Absence check using 2 positive place invariants in 18 ms returned sat
[2020-05-14 12:16:05] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 14 ms returned sat
[2020-05-14 12:16:05] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 12:16:09] [INFO ] [Real]Absence check using state equation in 3683 ms returned sat
[2020-05-14 12:16:09] [INFO ] Solution in real domain found non-integer solution.
[2020-05-14 12:16:09] [INFO ] [Nat]Absence check using 2 positive place invariants in 13 ms returned unsat
[2020-05-14 12:16:09] [INFO ] [Real]Absence check using 2 positive place invariants in 30 ms returned sat
[2020-05-14 12:16:09] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 23 ms returned sat
[2020-05-14 12:16:09] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 12:16:13] [INFO ] [Real]Absence check using state equation in 3407 ms returned sat
[2020-05-14 12:16:13] [INFO ] Solution in real domain found non-integer solution.
[2020-05-14 12:16:13] [INFO ] [Nat]Absence check using 2 positive place invariants in 13 ms returned unsat
[2020-05-14 12:16:13] [INFO ] [Real]Absence check using 2 positive place invariants in 20 ms returned sat
[2020-05-14 12:16:13] [INFO ] [Real]Absence check using 2 positive and 1 generalized place invariants in 21 ms returned sat
[2020-05-14 12:16:13] [INFO ] [Real]Adding state equation constraints to refine reachable states.
[2020-05-14 12:16:16] [INFO ] [Real]Absence check using state equation in 2783 ms returned sat
[2020-05-14 12:16:16] [INFO ] Solution in real domain found non-integer solution.
[2020-05-14 12:16:16] [INFO ] [Nat]Absence check using 2 positive place invariants in 14 ms returned unsat
Successfully simplified 13 atomic propositions for a total of 17 simplifications.
[2020-05-14 12:16:17] [INFO ] Initial state reduction rules for CTL removed 8 formulas.
[2020-05-14 12:16:17] [INFO ] Flatten gal took : 205 ms
FORMULA AirplaneLD-PT-0200-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-PT-0200-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-PT-0200-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-PT-0200-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-PT-0200-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-PT-0200-05 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-PT-0200-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA AirplaneLD-PT-0200-01 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2020-05-14 12:16:17] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
[2020-05-14 12:16:17] [INFO ] Flatten gal took : 120 ms
[2020-05-14 12:16:17] [INFO ] Initial state reduction rules for CTL removed 1 formulas.
FORMULA AirplaneLD-PT-0200-04 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
[2020-05-14 12:16:17] [INFO ] Applying decomposition
[2020-05-14 12:16:17] [INFO ] Input system was already deterministic with 1608 transitions.
[2020-05-14 12:16:17] [INFO ] Too many transitions (1608) to apply POR reductions. Disabling POR matrices.
[2020-05-14 12:16:17] [INFO ] Flatten gal took : 181 ms
[2020-05-14 12:16:18] [INFO ] Built C files in 579ms conformant to PINS in folder :/home/mcc/execution
Running compilation step : CommandLine [args=[gcc, -c, -I/home/mcc/BenchKit//lts_install_dir//include, -I., -std=c99, -fPIC, -O2, model.c], workingDir=/home/mcc/execution]
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/convert-linux64, -i, /tmp/graph12421860949188956213.txt, -o, /tmp/graph12421860949188956213.bin, -w, /tmp/graph12421860949188956213.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/louvain-linux64, /tmp/graph12421860949188956213.bin, -l, -1, -v, -w, /tmp/graph12421860949188956213.weights, -q, 0, -e, 0.001], workingDir=null]
[2020-05-14 12:16:18] [INFO ] Decomposing Gal with order
[2020-05-14 12:16:18] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-05-14 12:16:19] [INFO ] Removed a total of 794 redundant transitions.
[2020-05-14 12:16:19] [INFO ] Flatten gal took : 826 ms
[2020-05-14 12:16:19] [INFO ] Fuse similar labels procedure discarded/fused a total of 800 labels/synchronizations in 79 ms.
[2020-05-14 12:16:20] [INFO ] Time to serialize gal into /home/mcc/execution/LTLCardinality.pnml.gal : 23 ms
[2020-05-14 12:16:20] [INFO ] Time to serialize properties into /home/mcc/execution/LTLCardinality.ltl : 5 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/execution/LTLCardinality.pnml.gal, -t, CGAL, -LTL, /home/mcc/execution/LTLCardinality.ltl, -c, -stutter-deadlock, --gen-order, FOLLOW], workingDir=/home/mcc/execution]
its-ltl command run as :
/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLCardinality.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLCardinality.ltl -c -stutter-deadlock --gen-order FOLLOW
Read 7 LTL properties
Checking formula 0 : !((!(G(X(F((X("(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.TheAltitude_1+gu0.TheAltitude_2)+gu0.TheAltitude_3)+gu0.TheAltitude_4)+gu0.TheAltitude_5)+gu0.TheAltitude_6)+gu0.TheAltitude_7)+gu0.TheAltitude_8)+gu0.TheAltitude_9)+gu0.TheAltitude_10)+gu0.TheAltitude_11)+gu0.TheAltitude_12)+gu0.TheAltitude_13)+gu0.TheAltitude_14)+gu0.TheAltitude_15)+gu0.TheAltitude_16)+gu0.TheAltitude_17)+gu0.TheAltitude_18)+gu0.TheAltitude_19)+gu0.TheAltitude_20)+gu0.TheAltitude_21)+gu0.TheAltitude_22)+gu0.TheAltitude_23)+gu0.TheAltitude_24)+gu0.TheAltitude_25)+gu0.TheAltitude_26)+gu0.TheAltitude_27)+gu0.TheAltitude_28)+gu0.TheAltitude_29)+gu0.TheAltitude_30)+gu0.TheAltitude_31)+gu0.TheAltitude_32)+gu0.TheAltitude_33)+gu0.TheAltitude_34)+gu0.TheAltitude_35)+gu0.TheAltitude_36)+gu0.TheAltitude_37)+gu0.TheAltitude_38)+gu0.TheAltitude_39)+gu0.TheAltitude_40)+gu0.TheAltitude_41)+gu0.TheAltitude_42)+gu0.TheAltitude_43)+gu0.TheAltitude_44)+gu0.TheAltitude_45)+gu0.TheAltitude_46)+gu0.TheAltitude_47)+gu0.TheAltitude_48)+gu0.TheAltitude_49)+gu0.TheAltitude_50)+gu0.TheAltitude_51)+gu0.TheAltitude_52)+gu0.TheAltitude_53)+gu0.TheAltitude_54)+gu0.TheAltitude_55)+gu0.TheAltitude_56)+gu0.TheAltitude_57)+gu0.TheAltitude_58)+gu0.TheAltitude_59)+gu0.TheAltitude_60)+gu0.TheAltitude_61)+gu0.TheAltitude_62)+gu0.TheAltitude_63)+gu0.TheAltitude_64)+gu0.TheAltitude_65)+gu0.TheAltitude_66)+gu0.TheAltitude_67)+gu0.TheAltitude_68)+gu0.TheAltitude_69)+gu0.TheAltitude_70)+gu0.TheAltitude_71)+gu0.TheAltitude_72)+gu0.TheAltitude_73)+gu0.TheAltitude_74)+gu0.TheAltitude_75)+gu0.TheAltitude_76)+gu0.TheAltitude_77)+gu0.TheAltitude_78)+gu0.TheAltitude_79)+gu0.TheAltitude_80)+gu0.TheAltitude_81)+gu0.TheAltitude_82)+gu0.TheAltitude_83)+gu0.TheAltitude_84)+gu0.TheAltitude_85)+gu0.TheAltitude_86)+gu0.TheAltitude_87)+gu0.TheAltitude_88)+gu0.TheAltitude_89)+gu0.TheAltitude_90)+gu0.TheAltitude_91)+gu0.TheAltitude_92)+gu0.TheAltitude_93)+gu0.TheAltitude_94)+gu0.TheAltitude_95)+gu0.TheAltitude_96)+gu0.TheAltitude_97)+gu0.TheAltitude_98)+gu0.TheAltitude_99)+gu0.TheAltitude_100)+gu0.TheAltitude_101)+gu0.TheAltitude_102)+gu0.TheAltitude_103)+gu0.TheAltitude_104)+gu0.TheAltitude_105)+gu0.TheAltitude_106)+gu0.TheAltitude_107)+gu0.TheAltitude_108)+gu0.TheAltitude_109)+gu0.TheAltitude_110)+gu0.TheAltitude_111)+gu0.TheAltitude_112)+gu0.TheAltitude_113)+gu0.TheAltitude_114)+gu0.TheAltitude_115)+gu0.TheAltitude_116)+gu0.TheAltitude_117)+gu0.TheAltitude_118)+gu0.TheAltitude_119)+gu0.TheAltitude_120)+gu0.TheAltitude_121)+gu0.TheAltitude_122)+gu0.TheAltitude_123)+gu0.TheAltitude_124)+gu0.TheAltitude_125)+gu0.TheAltitude_126)+gu0.TheAltitude_127)+gu0.TheAltitude_128)+gu0.TheAltitude_129)+gu0.TheAltitude_130)+gu0.TheAltitude_131)+gu0.TheAltitude_132)+gu0.TheAltitude_133)+gu0.TheAltitude_134)+gu0.TheAltitude_135)+gu0.TheAltitude_136)+gu0.TheAltitude_137)+gu0.TheAltitude_138)+gu0.TheAltitude_139)+gu0.TheAltitude_140)+gu0.TheAltitude_141)+gu0.TheAltitude_142)+gu0.TheAltitude_143)+gu0.TheAltitude_144)+gu0.TheAltitude_145)+gu0.TheAltitude_146)+gu0.TheAltitude_147)+gu0.TheAltitude_148)+gu0.TheAltitude_149)+gu0.TheAltitude_150)+gu0.TheAltitude_151)+gu0.TheAltitude_152)+gu0.TheAltitude_153)+gu0.TheAltitude_154)+gu0.TheAltitude_155)+gu0.TheAltitude_156)+gu0.TheAltitude_157)+gu0.TheAltitude_158)+gu0.TheAltitude_159)+gu0.TheAltitude_160)+gu0.TheAltitude_161)+gu0.TheAltitude_162)+gu0.TheAltitude_163)+gu0.TheAltitude_164)+gu0.TheAltitude_165)+gu0.TheAltitude_166)+gu0.TheAltitude_167)+gu0.TheAltitude_168)+gu0.TheAltitude_169)+gu0.TheAltitude_170)+gu0.TheAltitude_171)+gu0.TheAltitude_172)+gu0.TheAltitude_173)+gu0.TheAltitude_174)+gu0.TheAltitude_175)+gu0.TheAltitude_176)+gu0.TheAltitude_177)+gu0.TheAltitude_178)+gu0.TheAltitude_179)+gu0.TheAltitude_180)+gu0.TheAltitude_181)+gu0.TheAltitude_182)+gu0.TheAltitude_183)+gu0.TheAltitude_184)+gu0.TheAltitude_185)+gu0.TheAltitude_186)+gu0.TheAltitude_187)+gu0.TheAltitude_188)+gu0.TheAltitude_189)+gu0.TheAltitude_190)+gu0.TheAltitude_191)+gu0.TheAltitude_192)+gu0.TheAltitude_193)+gu0.TheAltitude_194)+gu0.TheAltitude_195)+gu0.TheAltitude_196)+gu0.TheAltitude_197)+gu0.TheAltitude_198)+gu0.TheAltitude_199)+gu0.TheAltitude_200)+gu0.TheAltitude_201)+gu0.TheAltitude_202)+gu0.TheAltitude_203)+gu0.TheAltitude_204)+gu0.TheAltitude_205)+gu0.TheAltitude_206)+gu0.TheAltitude_207)+gu0.TheAltitude_208)+gu0.TheAltitude_209)+gu0.TheAltitude_210)+gu0.TheAltitude_211)+gu0.TheAltitude_212)+gu0.TheAltitude_213)+gu0.TheAltitude_214)+gu0.TheAltitude_215)+gu0.TheAltitude_216)+gu0.TheAltitude_217)+gu0.TheAltitude_218)+gu0.TheAltitude_219)+gu0.TheAltitude_220)+gu0.TheAltitude_221)+gu0.TheAltitude_222)+gu0.TheAltitude_223)+gu0.TheAltitude_224)+gu0.TheAltitude_225)+gu0.TheAltitude_226)+gu0.TheAltitude_227)+gu0.TheAltitude_228)+gu0.TheAltitude_229)+gu0.TheAltitude_230)+gu0.TheAltitude_231)+gu0.TheAltitude_232)+gu0.TheAltitude_233)+gu0.TheAltitude_234)+gu0.TheAltitude_235)+gu0.TheAltitude_236)+gu0.TheAltitude_237)+gu0.TheAltitude_238)+gu0.TheAltitude_239)+gu0.TheAltitude_240)+gu0.TheAltitude_241)+gu0.TheAltitude_242)+gu0.TheAltitude_243)+gu0.TheAltitude_244)+gu0.TheAltitude_245)+gu0.TheAltitude_246)+gu0.TheAltitude_247)+gu0.TheAltitude_248)+gu0.TheAltitude_249)+gu0.TheAltitude_250)+gu0.TheAltitude_251)+gu0.TheAltitude_252)+gu0.TheAltitude_253)+gu0.TheAltitude_254)+gu0.TheAltitude_255)+gu0.TheAltitude_256)+gu0.TheAltitude_257)+gu0.TheAltitude_258)+gu0.TheAltitude_259)+gu0.TheAltitude_260)+gu0.TheAltitude_261)+gu0.TheAltitude_262)+gu0.TheAltitude_263)+gu0.TheAltitude_264)+gu0.TheAltitude_265)+gu0.TheAltitude_266)+gu0.TheAltitude_267)+gu0.TheAltitude_268)+gu0.TheAltitude_269)+gu0.TheAltitude_270)+gu0.TheAltitude_271)+gu0.TheAltitude_272)+gu0.TheAltitude_273)+gu0.TheAltitude_274)+gu0.TheAltitude_275)+gu0.TheAltitude_276)+gu0.TheAltitude_277)+gu0.TheAltitude_278)+gu0.TheAltitude_279)+gu0.TheAltitude_280)+gu0.TheAltitude_281)+gu0.TheAltitude_282)+gu0.TheAltitude_283)+gu0.TheAltitude_284)+gu0.TheAltitude_285)+gu0.TheAltitude_286)+gu0.TheAltitude_287)+gu0.TheAltitude_288)+gu0.TheAltitude_289)+gu0.TheAltitude_290)+gu0.TheAltitude_291)+gu0.TheAltitude_292)+gu0.TheAltitude_293)+gu0.TheAltitude_294)+gu0.TheAltitude_295)+gu0.TheAltitude_296)+gu0.TheAltitude_297)+gu0.TheAltitude_298)+gu0.TheAltitude_299)+gu0.TheAltitude_300)+gu0.TheAltitude_301)+gu0.TheAltitude_302)+gu0.TheAltitude_303)+gu0.TheAltitude_304)+gu0.TheAltitude_305)+gu0.TheAltitude_306)+gu0.TheAltitude_307)+gu0.TheAltitude_308)+gu0.TheAltitude_309)+gu0.TheAltitude_310)+gu0.TheAltitude_311)+gu0.TheAltitude_312)+gu0.TheAltitude_313)+gu0.TheAltitude_314)+gu0.TheAltitude_315)+gu0.TheAltitude_316)+gu0.TheAltitude_317)+gu0.TheAltitude_318)+gu0.TheAltitude_319)+gu0.TheAltitude_320)+gu0.TheAltitude_321)+gu0.TheAltitude_322)+gu0.TheAltitude_323)+gu0.TheAltitude_324)+gu0.TheAltitude_325)+gu0.TheAltitude_326)+gu0.TheAltitude_327)+gu0.TheAltitude_328)+gu0.TheAltitude_329)+gu0.TheAltitude_330)+gu0.TheAltitude_331)+gu0.TheAltitude_332)+gu0.TheAltitude_333)+gu0.TheAltitude_334)+gu0.TheAltitude_335)+gu0.TheAltitude_336)+gu0.TheAltitude_337)+gu0.TheAltitude_338)+gu0.TheAltitude_339)+gu0.TheAltitude_340)+gu0.TheAltitude_341)+gu0.TheAltitude_342)+gu0.TheAltitude_343)+gu0.TheAltitude_344)+gu0.TheAltitude_345)+gu0.TheAltitude_346)+gu0.TheAltitude_347)+gu0.TheAltitude_348)+gu0.TheAltitude_349)+gu0.TheAltitude_350)+gu0.TheAltitude_351)+gu0.TheAltitude_352)+gu0.TheAltitude_353)+gu0.TheAltitude_354)+gu0.TheAltitude_355)+gu0.TheAltitude_356)+gu0.TheAltitude_357)+gu0.TheAltitude_358)+gu0.TheAltitude_359)+gu0.TheAltitude_360)+gu0.TheAltitude_361)+gu0.TheAltitude_362)+gu0.TheAltitude_363)+gu0.TheAltitude_364)+gu0.TheAltitude_365)+gu0.TheAltitude_366)+gu0.TheAltitude_367)+gu0.TheAltitude_368)+gu0.TheAltitude_369)+gu0.TheAltitude_370)+gu0.TheAltitude_371)+gu0.TheAltitude_372)+gu0.TheAltitude_373)+gu0.TheAltitude_374)+gu0.TheAltitude_375)+gu0.TheAltitude_376)+gu0.TheAltitude_377)+gu0.TheAltitude_378)+gu0.TheAltitude_379)+gu0.TheAltitude_380)+gu0.TheAltitude_381)+gu0.TheAltitude_382)+gu0.TheAltitude_383)+gu0.TheAltitude_384)+gu0.TheAltitude_385)+gu0.TheAltitude_386)+gu0.TheAltitude_387)+gu0.TheAltitude_388)+gu0.TheAltitude_389)+gu0.TheAltitude_390)+gu0.TheAltitude_391)+gu0.TheAltitude_392)+gu0.TheAltitude_393)+gu0.TheAltitude_394)+gu0.TheAltitude_395)+gu0.TheAltitude_396)+gu0.TheAltitude_397)+gu0.TheAltitude_398)+gu0.TheAltitude_399)+gu0.TheAltitude_400)>=1)&&(gu2.stp1>(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu2.Speed_Right_Wheel_1+gu2.Speed_Right_Wheel_2)+gu2.Speed_Right_Wheel_3)+gu2.Speed_Right_Wheel_4)+gu2.Speed_Right_Wheel_5)+gu2.Speed_Right_Wheel_6)+gu2.Speed_Right_Wheel_7)+gu2.Speed_Right_Wheel_8)+gu2.Speed_Right_Wheel_9)+gu2.Speed_Right_Wheel_10)+gu2.Speed_Right_Wheel_11)+gu2.Speed_Right_Wheel_12)+gu2.Speed_Right_Wheel_13)+gu2.Speed_Right_Wheel_14)+gu2.Speed_Right_Wheel_15)+gu2.Speed_Right_Wheel_16)+gu2.Speed_Right_Wheel_17)+gu2.Speed_Right_Wheel_18)+gu2.Speed_Right_Wheel_19)+gu2.Speed_Right_Wheel_20)+gu2.Speed_Right_Wheel_21)+gu2.Speed_Right_Wheel_22)+gu2.Speed_Right_Wheel_23)+gu2.Speed_Right_Wheel_24)+gu2.Speed_Right_Wheel_25)+gu2.Speed_Right_Wheel_26)+gu2.Speed_Right_Wheel_27)+gu2.Speed_Right_Wheel_28)+gu2.Speed_Right_Wheel_29)+gu2.Speed_Right_Wheel_30)+gu2.Speed_Right_Wheel_31)+gu2.Speed_Right_Wheel_32)+gu2.Speed_Right_Wheel_33)+gu2.Speed_Right_Wheel_34)+gu2.Speed_Right_Wheel_35)+gu2.Speed_Right_Wheel_36)+gu2.Speed_Right_Wheel_37)+gu2.Speed_Right_Wheel_38)+gu2.Speed_Right_Wheel_39)+gu2.Speed_Right_Wheel_40)+gu2.Speed_Right_Wheel_41)+gu2.Speed_Right_Wheel_42)+gu2.Speed_Right_Wheel_43)+gu2.Speed_Right_Wheel_44)+gu2.Speed_Right_Wheel_45)+gu2.Speed_Right_Wheel_46)+gu2.Speed_Right_Wheel_47)+gu2.Speed_Right_Wheel_48)+gu2.Speed_Right_Wheel_49)+gu2.Speed_Right_Wheel_50)+gu2.Speed_Right_Wheel_51)+gu2.Speed_Right_Wheel_52)+gu2.Speed_Right_Wheel_53)+gu2.Speed_Right_Wheel_54)+gu2.Speed_Right_Wheel_55)+gu2.Speed_Right_Wheel_56)+gu2.Speed_Right_Wheel_57)+gu2.Speed_Right_Wheel_58)+gu2.Speed_Right_Wheel_59)+gu2.Speed_Right_Wheel_60)+gu2.Speed_Right_Wheel_61)+gu2.Speed_Right_Wheel_62)+gu2.Speed_Right_Wheel_63)+gu2.Speed_Right_Wheel_64)+gu2.Speed_Right_Wheel_65)+gu2.Speed_Right_Wheel_66)+gu2.Speed_Right_Wheel_67)+gu2.Speed_Right_Wheel_68)+gu2.Speed_Right_Wheel_69)+gu2.Speed_Right_Wheel_70)+gu2.Speed_Right_Wheel_71)+gu2.Speed_Right_Wheel_72)+gu2.Speed_Right_Wheel_73)+gu2.Speed_Right_Wheel_74)+gu2.Speed_Right_Wheel_75)+gu2.Speed_Right_Wheel_76)+gu2.Speed_Right_Wheel_77)+gu2.Speed_Right_Wheel_78)+gu2.Speed_Right_Wheel_79)+gu2.Speed_Right_Wheel_80)+gu2.Speed_Right_Wheel_81)+gu2.Speed_Right_Wheel_82)+gu2.Speed_Right_Wheel_83)+gu2.Speed_Right_Wheel_84)+gu2.Speed_Right_Wheel_85)+gu2.Speed_Right_Wheel_86)+gu2.Speed_Right_Wheel_87)+gu2.Speed_Right_Wheel_88)+gu2.Speed_Right_Wheel_89)+gu2.Speed_Right_Wheel_90)+gu2.Speed_Right_Wheel_91)+gu2.Speed_Right_Wheel_92)+gu2.Speed_Right_Wheel_93)+gu2.Speed_Right_Wheel_94)+gu2.Speed_Right_Wheel_95)+gu2.Speed_Right_Wheel_96)+gu2.Speed_Right_Wheel_97)+gu2.Speed_Right_Wheel_98)+gu2.Speed_Right_Wheel_99)+gu2.Speed_Right_Wheel_100)+gu2.Speed_Right_Wheel_101)+gu2.Speed_Right_Wheel_102)+gu2.Speed_Right_Wheel_103)+gu2.Speed_Right_Wheel_104)+gu2.Speed_Right_Wheel_105)+gu2.Speed_Right_Wheel_106)+gu2.Speed_Right_Wheel_107)+gu2.Speed_Right_Wheel_108)+gu2.Speed_Right_Wheel_109)+gu2.Speed_Right_Wheel_110)+gu2.Speed_Right_Wheel_111)+gu2.Speed_Right_Wheel_112)+gu2.Speed_Right_Wheel_113)+gu2.Speed_Right_Wheel_114)+gu2.Speed_Right_Wheel_115)+gu2.Speed_Right_Wheel_116)+gu2.Speed_Right_Wheel_117)+gu2.Speed_Right_Wheel_118)+gu2.Speed_Right_Wheel_119)+gu2.Speed_Right_Wheel_120)+gu2.Speed_Right_Wheel_121)+gu2.Speed_Right_Wheel_122)+gu2.Speed_Right_Wheel_123)+gu2.Speed_Right_Wheel_124)+gu2.Speed_Right_Wheel_125)+gu2.Speed_Right_Wheel_126)+gu2.Speed_Right_Wheel_127)+gu2.Speed_Right_Wheel_128)+gu2.Speed_Right_Wheel_129)+gu2.Speed_Right_Wheel_130)+gu2.Speed_Right_Wheel_131)+gu2.Speed_Right_Wheel_132)+gu2.Speed_Right_Wheel_133)+gu2.Speed_Right_Wheel_134)+gu2.Speed_Right_Wheel_135)+gu2.Speed_Right_Wheel_136)+gu2.Speed_Right_Wheel_137)+gu2.Speed_Right_Wheel_138)+gu2.Speed_Right_Wheel_139)+gu2.Speed_Right_Wheel_140)+gu2.Speed_Right_Wheel_141)+gu2.Speed_Right_Wheel_142)+gu2.Speed_Right_Wheel_143)+gu2.Speed_Right_Wheel_144)+gu2.Speed_Right_Wheel_145)+gu2.Speed_Right_Wheel_146)+gu2.Speed_Right_Wheel_147)+gu2.Speed_Right_Wheel_148)+gu2.Speed_Right_Wheel_149)+gu2.Speed_Right_Wheel_150)+gu2.Speed_Right_Wheel_151)+gu2.Speed_Right_Wheel_152)+gu2.Speed_Right_Wheel_153)+gu2.Speed_Right_Wheel_154)+gu2.Speed_Right_Wheel_155)+gu2.Speed_Right_Wheel_156)+gu2.Speed_Right_Wheel_157)+gu2.Speed_Right_Wheel_158)+gu2.Speed_Right_Wheel_159)+gu2.Speed_Right_Wheel_160)+gu2.Speed_Right_Wheel_161)+gu2.Speed_Right_Wheel_162)+gu2.Speed_Right_Wheel_163)+gu2.Speed_Right_Wheel_164)+gu2.Speed_Right_Wheel_165)+gu2.Speed_Right_Wheel_166)+gu2.Speed_Right_Wheel_167)+gu2.Speed_Right_Wheel_168)+gu2.Speed_Right_Wheel_169)+gu2.Speed_Right_Wheel_170)+gu2.Speed_Right_Wheel_171)+gu2.Speed_Right_Wheel_172)+gu2.Speed_Right_Wheel_173)+gu2.Speed_Right_Wheel_174)+gu2.Speed_Right_Wheel_175)+gu2.Speed_Right_Wheel_176)+gu2.Speed_Right_Wheel_177)+gu2.Speed_Right_Wheel_178)+gu2.Speed_Right_Wheel_179)+gu2.Speed_Right_Wheel_180)+gu2.Speed_Right_Wheel_181)+gu2.Speed_Right_Wheel_182)+gu2.Speed_Right_Wheel_183)+gu2.Speed_Right_Wheel_184)+gu2.Speed_Right_Wheel_185)+gu2.Speed_Right_Wheel_186)+gu2.Speed_Right_Wheel_187)+gu2.Speed_Right_Wheel_188)+gu2.Speed_Right_Wheel_189)+gu2.Speed_Right_Wheel_190)+gu2.Speed_Right_Wheel_191)+gu2.Speed_Right_Wheel_192)+gu2.Speed_Right_Wheel_193)+gu2.Speed_Right_Wheel_194)+gu2.Speed_Right_Wheel_195)+gu2.Speed_Right_Wheel_196)+gu2.Speed_Right_Wheel_197)+gu2.Speed_Right_Wheel_198)+gu2.Speed_Right_Wheel_199)+gu2.Speed_Right_Wheel_200)))"))&&((G("((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.TheAltitude_1+gu0.TheAltitude_2)+gu0.TheAltitude_3)+gu0.TheAltitude_4)+gu0.TheAltitude_5)+gu0.TheAltitude_6)+gu0.TheAltitude_7)+gu0.TheAltitude_8)+gu0.TheAltitude_9)+gu0.TheAltitude_10)+gu0.TheAltitude_11)+gu0.TheAltitude_12)+gu0.TheAltitude_13)+gu0.TheAltitude_14)+gu0.TheAltitude_15)+gu0.TheAltitude_16)+gu0.TheAltitude_17)+gu0.TheAltitude_18)+gu0.TheAltitude_19)+gu0.TheAltitude_20)+gu0.TheAltitude_21)+gu0.TheAltitude_22)+gu0.TheAltitude_23)+gu0.TheAltitude_24)+gu0.TheAltitude_25)+gu0.TheAltitude_26)+gu0.TheAltitude_27)+gu0.TheAltitude_28)+gu0.TheAltitude_29)+gu0.TheAltitude_30)+gu0.TheAltitude_31)+gu0.TheAltitude_32)+gu0.TheAltitude_33)+gu0.TheAltitude_34)+gu0.TheAltitude_35)+gu0.TheAltitude_36)+gu0.TheAltitude_37)+gu0.TheAltitude_38)+gu0.TheAltitude_39)+gu0.TheAltitude_40)+gu0.TheAltitude_41)+gu0.TheAltitude_42)+gu0.TheAltitude_43)+gu0.TheAltitude_44)+gu0.TheAltitude_45)+gu0.TheAltitude_46)+gu0.TheAltitude_47)+gu0.TheAltitude_48)+gu0.TheAltitude_49)+gu0.TheAltitude_50)+gu0.TheAltitude_51)+gu0.TheAltitude_52)+gu0.TheAltitude_53)+gu0.TheAltitude_54)+gu0.TheAltitude_55)+gu0.TheAltitude_56)+gu0.TheAltitude_57)+gu0.TheAltitude_58)+gu0.TheAltitude_59)+gu0.TheAltitude_60)+gu0.TheAltitude_61)+gu0.TheAltitude_62)+gu0.TheAltitude_63)+gu0.TheAltitude_64)+gu0.TheAltitude_65)+gu0.TheAltitude_66)+gu0.TheAltitude_67)+gu0.TheAltitude_68)+gu0.TheAltitude_69)+gu0.TheAltitude_70)+gu0.TheAltitude_71)+gu0.TheAltitude_72)+gu0.TheAltitude_73)+gu0.TheAltitude_74)+gu0.TheAltitude_75)+gu0.TheAltitude_76)+gu0.TheAltitude_77)+gu0.TheAltitude_78)+gu0.TheAltitude_79)+gu0.TheAltitude_80)+gu0.TheAltitude_81)+gu0.TheAltitude_82)+gu0.TheAltitude_83)+gu0.TheAltitude_84)+gu0.TheAltitude_85)+gu0.TheAltitude_86)+gu0.TheAltitude_87)+gu0.TheAltitude_88)+gu0.TheAltitude_89)+gu0.TheAltitude_90)+gu0.TheAltitude_91)+gu0.TheAltitude_92)+gu0.TheAltitude_93)+gu0.TheAltitude_94)+gu0.TheAltitude_95)+gu0.TheAltitude_96)+gu0.TheAltitude_97)+gu0.TheAltitude_98)+gu0.TheAltitude_99)+gu0.TheAltitude_100)+gu0.TheAltitude_101)+gu0.TheAltitude_102)+gu0.TheAltitude_103)+gu0.TheAltitude_104)+gu0.TheAltitude_105)+gu0.TheAltitude_106)+gu0.TheAltitude_107)+gu0.TheAltitude_108)+gu0.TheAltitude_109)+gu0.TheAltitude_110)+gu0.TheAltitude_111)+gu0.TheAltitude_112)+gu0.TheAltitude_113)+gu0.TheAltitude_114)+gu0.TheAltitude_115)+gu0.TheAltitude_116)+gu0.TheAltitude_117)+gu0.TheAltitude_118)+gu0.TheAltitude_119)+gu0.TheAltitude_120)+gu0.TheAltitude_121)+gu0.TheAltitude_122)+gu0.TheAltitude_123)+gu0.TheAltitude_124)+gu0.TheAltitude_125)+gu0.TheAltitude_126)+gu0.TheAltitude_127)+gu0.TheAltitude_128)+gu0.TheAltitude_129)+gu0.TheAltitude_130)+gu0.TheAltitude_131)+gu0.TheAltitude_132)+gu0.TheAltitude_133)+gu0.TheAltitude_134)+gu0.TheAltitude_135)+gu0.TheAltitude_136)+gu0.TheAltitude_137)+gu0.TheAltitude_138)+gu0.TheAltitude_139)+gu0.TheAltitude_140)+gu0.TheAltitude_141)+gu0.TheAltitude_142)+gu0.TheAltitude_143)+gu0.TheAltitude_144)+gu0.TheAltitude_145)+gu0.TheAltitude_146)+gu0.TheAltitude_147)+gu0.TheAltitude_148)+gu0.TheAltitude_149)+gu0.TheAltitude_150)+gu0.TheAltitude_151)+gu0.TheAltitude_152)+gu0.TheAltitude_153)+gu0.TheAltitude_154)+gu0.TheAltitude_155)+gu0.TheAltitude_156)+gu0.TheAltitude_157)+gu0.TheAltitude_158)+gu0.TheAltitude_159)+gu0.TheAltitude_160)+gu0.TheAltitude_161)+gu0.TheAltitude_162)+gu0.TheAltitude_163)+gu0.TheAltitude_164)+gu0.TheAltitude_165)+gu0.TheAltitude_166)+gu0.TheAltitude_167)+gu0.TheAltitude_168)+gu0.TheAltitude_169)+gu0.TheAltitude_170)+gu0.TheAltitude_171)+gu0.TheAltitude_172)+gu0.TheAltitude_173)+gu0.TheAltitude_174)+gu0.TheAltitude_175)+gu0.TheAltitude_176)+gu0.TheAltitude_177)+gu0.TheAltitude_178)+gu0.TheAltitude_179)+gu0.TheAltitude_180)+gu0.TheAltitude_181)+gu0.TheAltitude_182)+gu0.TheAltitude_183)+gu0.TheAltitude_184)+gu0.TheAltitude_185)+gu0.TheAltitude_186)+gu0.TheAltitude_187)+gu0.TheAltitude_188)+gu0.TheAltitude_189)+gu0.TheAltitude_190)+gu0.TheAltitude_191)+gu0.TheAltitude_192)+gu0.TheAltitude_193)+gu0.TheAltitude_194)+gu0.TheAltitude_195)+gu0.TheAltitude_196)+gu0.TheAltitude_197)+gu0.TheAltitude_198)+gu0.TheAltitude_199)+gu0.TheAltitude_200)+gu0.TheAltitude_201)+gu0.TheAltitude_202)+gu0.TheAltitude_203)+gu0.TheAltitude_204)+gu0.TheAltitude_205)+gu0.TheAltitude_206)+gu0.TheAltitude_207)+gu0.TheAltitude_208)+gu0.TheAltitude_209)+gu0.TheAltitude_210)+gu0.TheAltitude_211)+gu0.TheAltitude_212)+gu0.TheAltitude_213)+gu0.TheAltitude_214)+gu0.TheAltitude_215)+gu0.TheAltitude_216)+gu0.TheAltitude_217)+gu0.TheAltitude_218)+gu0.TheAltitude_219)+gu0.TheAltitude_220)+gu0.TheAltitude_221)+gu0.TheAltitude_222)+gu0.TheAltitude_223)+gu0.TheAltitude_224)+gu0.TheAltitude_225)+gu0.TheAltitude_226)+gu0.TheAltitude_227)+gu0.TheAltitude_228)+gu0.TheAltitude_229)+gu0.TheAltitude_230)+gu0.TheAltitude_231)+gu0.TheAltitude_232)+gu0.TheAltitude_233)+gu0.TheAltitude_234)+gu0.TheAltitude_235)+gu0.TheAltitude_236)+gu0.TheAltitude_237)+gu0.TheAltitude_238)+gu0.TheAltitude_239)+gu0.TheAltitude_240)+gu0.TheAltitude_241)+gu0.TheAltitude_242)+gu0.TheAltitude_243)+gu0.TheAltitude_244)+gu0.TheAltitude_245)+gu0.TheAltitude_246)+gu0.TheAltitude_247)+gu0.TheAltitude_248)+gu0.TheAltitude_249)+gu0.TheAltitude_250)+gu0.TheAltitude_251)+gu0.TheAltitude_252)+gu0.TheAltitude_253)+gu0.TheAltitude_254)+gu0.TheAltitude_255)+gu0.TheAltitude_256)+gu0.TheAltitude_257)+gu0.TheAltitude_258)+gu0.TheAltitude_259)+gu0.TheAltitude_260)+gu0.TheAltitude_261)+gu0.TheAltitude_262)+gu0.TheAltitude_263)+gu0.TheAltitude_264)+gu0.TheAltitude_265)+gu0.TheAltitude_266)+gu0.TheAltitude_267)+gu0.TheAltitude_268)+gu0.TheAltitude_269)+gu0.TheAltitude_270)+gu0.TheAltitude_271)+gu0.TheAltitude_272)+gu0.TheAltitude_273)+gu0.TheAltitude_274)+gu0.TheAltitude_275)+gu0.TheAltitude_276)+gu0.TheAltitude_277)+gu0.TheAltitude_278)+gu0.TheAltitude_279)+gu0.TheAltitude_280)+gu0.TheAltitude_281)+gu0.TheAltitude_282)+gu0.TheAltitude_283)+gu0.TheAltitude_284)+gu0.TheAltitude_285)+gu0.TheAltitude_286)+gu0.TheAltitude_287)+gu0.TheAltitude_288)+gu0.TheAltitude_289)+gu0.TheAltitude_290)+gu0.TheAltitude_291)+gu0.TheAltitude_292)+gu0.TheAltitude_293)+gu0.TheAltitude_294)+gu0.TheAltitude_295)+gu0.TheAltitude_296)+gu0.TheAltitude_297)+gu0.TheAltitude_298)+gu0.TheAltitude_299)+gu0.TheAltitude_300)+gu0.TheAltitude_301)+gu0.TheAltitude_302)+gu0.TheAltitude_303)+gu0.TheAltitude_304)+gu0.TheAltitude_305)+gu0.TheAltitude_306)+gu0.TheAltitude_307)+gu0.TheAltitude_308)+gu0.TheAltitude_309)+gu0.TheAltitude_310)+gu0.TheAltitude_311)+gu0.TheAltitude_312)+gu0.TheAltitude_313)+gu0.TheAltitude_314)+gu0.TheAltitude_315)+gu0.TheAltitude_316)+gu0.TheAltitude_317)+gu0.TheAltitude_318)+gu0.TheAltitude_319)+gu0.TheAltitude_320)+gu0.TheAltitude_321)+gu0.TheAltitude_322)+gu0.TheAltitude_323)+gu0.TheAltitude_324)+gu0.TheAltitude_325)+gu0.TheAltitude_326)+gu0.TheAltitude_327)+gu0.TheAltitude_328)+gu0.TheAltitude_329)+gu0.TheAltitude_330)+gu0.TheAltitude_331)+gu0.TheAltitude_332)+gu0.TheAltitude_333)+gu0.TheAltitude_334)+gu0.TheAltitude_335)+gu0.TheAltitude_336)+gu0.TheAltitude_337)+gu0.TheAltitude_338)+gu0.TheAltitude_339)+gu0.TheAltitude_340)+gu0.TheAltitude_341)+gu0.TheAltitude_342)+gu0.TheAltitude_343)+gu0.TheAltitude_344)+gu0.TheAltitude_345)+gu0.TheAltitude_346)+gu0.TheAltitude_347)+gu0.TheAltitude_348)+gu0.TheAltitude_349)+gu0.TheAltitude_350)+gu0.TheAltitude_351)+gu0.TheAltitude_352)+gu0.TheAltitude_353)+gu0.TheAltitude_354)+gu0.TheAltitude_355)+gu0.TheAltitude_356)+gu0.TheAltitude_357)+gu0.TheAltitude_358)+gu0.TheAltitude_359)+gu0.TheAltitude_360)+gu0.TheAltitude_361)+gu0.TheAltitude_362)+gu0.TheAltitude_363)+gu0.TheAltitude_364)+gu0.TheAltitude_365)+gu0.TheAltitude_366)+gu0.TheAltitude_367)+gu0.TheAltitude_368)+gu0.TheAltitude_369)+gu0.TheAltitude_370)+gu0.TheAltitude_371)+gu0.TheAltitude_372)+gu0.TheAltitude_373)+gu0.TheAltitude_374)+gu0.TheAltitude_375)+gu0.TheAltitude_376)+gu0.TheAltitude_377)+gu0.TheAltitude_378)+gu0.TheAltitude_379)+gu0.TheAltitude_380)+gu0.TheAltitude_381)+gu0.TheAltitude_382)+gu0.TheAltitude_383)+gu0.TheAltitude_384)+gu0.TheAltitude_385)+gu0.TheAltitude_386)+gu0.TheAltitude_387)+gu0.TheAltitude_388)+gu0.TheAltitude_389)+gu0.TheAltitude_390)+gu0.TheAltitude_391)+gu0.TheAltitude_392)+gu0.TheAltitude_393)+gu0.TheAltitude_394)+gu0.TheAltitude_395)+gu0.TheAltitude_396)+gu0.TheAltitude_397)+gu0.TheAltitude_398)+gu0.TheAltitude_399)+gu0.TheAltitude_400)>=1)"))||(G("(gu2.stp1<=(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu2.Speed_Right_Wheel_1+gu2.Speed_Right_Wheel_2)+gu2.Speed_Right_Wheel_3)+gu2.Speed_Right_Wheel_4)+gu2.Speed_Right_Wheel_5)+gu2.Speed_Right_Wheel_6)+gu2.Speed_Right_Wheel_7)+gu2.Speed_Right_Wheel_8)+gu2.Speed_Right_Wheel_9)+gu2.Speed_Right_Wheel_10)+gu2.Speed_Right_Wheel_11)+gu2.Speed_Right_Wheel_12)+gu2.Speed_Right_Wheel_13)+gu2.Speed_Right_Wheel_14)+gu2.Speed_Right_Wheel_15)+gu2.Speed_Right_Wheel_16)+gu2.Speed_Right_Wheel_17)+gu2.Speed_Right_Wheel_18)+gu2.Speed_Right_Wheel_19)+gu2.Speed_Right_Wheel_20)+gu2.Speed_Right_Wheel_21)+gu2.Speed_Right_Wheel_22)+gu2.Speed_Right_Wheel_23)+gu2.Speed_Right_Wheel_24)+gu2.Speed_Right_Wheel_25)+gu2.Speed_Right_Wheel_26)+gu2.Speed_Right_Wheel_27)+gu2.Speed_Right_Wheel_28)+gu2.Speed_Right_Wheel_29)+gu2.Speed_Right_Wheel_30)+gu2.Speed_Right_Wheel_31)+gu2.Speed_Right_Wheel_32)+gu2.Speed_Right_Wheel_33)+gu2.Speed_Right_Wheel_34)+gu2.Speed_Right_Wheel_35)+gu2.Speed_Right_Wheel_36)+gu2.Speed_Right_Wheel_37)+gu2.Speed_Right_Wheel_38)+gu2.Speed_Right_Wheel_39)+gu2.Speed_Right_Wheel_40)+gu2.Speed_Right_Wheel_41)+gu2.Speed_Right_Wheel_42)+gu2.Speed_Right_Wheel_43)+gu2.Speed_Right_Wheel_44)+gu2.Speed_Right_Wheel_45)+gu2.Speed_Right_Wheel_46)+gu2.Speed_Right_Wheel_47)+gu2.Speed_Right_Wheel_48)+gu2.Speed_Right_Wheel_49)+gu2.Speed_Right_Wheel_50)+gu2.Speed_Right_Wheel_51)+gu2.Speed_Right_Wheel_52)+gu2.Speed_Right_Wheel_53)+gu2.Speed_Right_Wheel_54)+gu2.Speed_Right_Wheel_55)+gu2.Speed_Right_Wheel_56)+gu2.Speed_Right_Wheel_57)+gu2.Speed_Right_Wheel_58)+gu2.Speed_Right_Wheel_59)+gu2.Speed_Right_Wheel_60)+gu2.Speed_Right_Wheel_61)+gu2.Speed_Right_Wheel_62)+gu2.Speed_Right_Wheel_63)+gu2.Speed_Right_Wheel_64)+gu2.Speed_Right_Wheel_65)+gu2.Speed_Right_Wheel_66)+gu2.Speed_Right_Wheel_67)+gu2.Speed_Right_Wheel_68)+gu2.Speed_Right_Wheel_69)+gu2.Speed_Right_Wheel_70)+gu2.Speed_Right_Wheel_71)+gu2.Speed_Right_Wheel_72)+gu2.Speed_Right_Wheel_73)+gu2.Speed_Right_Wheel_74)+gu2.Speed_Right_Wheel_75)+gu2.Speed_Right_Wheel_76)+gu2.Speed_Right_Wheel_77)+gu2.Speed_Right_Wheel_78)+gu2.Speed_Right_Wheel_79)+gu2.Speed_Right_Wheel_80)+gu2.Speed_Right_Wheel_81)+gu2.Speed_Right_Wheel_82)+gu2.Speed_Right_Wheel_83)+gu2.Speed_Right_Wheel_84)+gu2.Speed_Right_Wheel_85)+gu2.Speed_Right_Wheel_86)+gu2.Speed_Right_Wheel_87)+gu2.Speed_Right_Wheel_88)+gu2.Speed_Right_Wheel_89)+gu2.Speed_Right_Wheel_90)+gu2.Speed_Right_Wheel_91)+gu2.Speed_Right_Wheel_92)+gu2.Speed_Right_Wheel_93)+gu2.Speed_Right_Wheel_94)+gu2.Speed_Right_Wheel_95)+gu2.Speed_Right_Wheel_96)+gu2.Speed_Right_Wheel_97)+gu2.Speed_Right_Wheel_98)+gu2.Speed_Right_Wheel_99)+gu2.Speed_Right_Wheel_100)+gu2.Speed_Right_Wheel_101)+gu2.Speed_Right_Wheel_102)+gu2.Speed_Right_Wheel_103)+gu2.Speed_Right_Wheel_104)+gu2.Speed_Right_Wheel_105)+gu2.Speed_Right_Wheel_106)+gu2.Speed_Right_Wheel_107)+gu2.Speed_Right_Wheel_108)+gu2.Speed_Right_Wheel_109)+gu2.Speed_Right_Wheel_110)+gu2.Speed_Right_Wheel_111)+gu2.Speed_Right_Wheel_112)+gu2.Speed_Right_Wheel_113)+gu2.Speed_Right_Wheel_114)+gu2.Speed_Right_Wheel_115)+gu2.Speed_Right_Wheel_116)+gu2.Speed_Right_Wheel_117)+gu2.Speed_Right_Wheel_118)+gu2.Speed_Right_Wheel_119)+gu2.Speed_Right_Wheel_120)+gu2.Speed_Right_Wheel_121)+gu2.Speed_Right_Wheel_122)+gu2.Speed_Right_Wheel_123)+gu2.Speed_Right_Wheel_124)+gu2.Speed_Right_Wheel_125)+gu2.Speed_Right_Wheel_126)+gu2.Speed_Right_Wheel_127)+gu2.Speed_Right_Wheel_128)+gu2.Speed_Right_Wheel_129)+gu2.Speed_Right_Wheel_130)+gu2.Speed_Right_Wheel_131)+gu2.Speed_Right_Wheel_132)+gu2.Speed_Right_Wheel_133)+gu2.Speed_Right_Wheel_134)+gu2.Speed_Right_Wheel_135)+gu2.Speed_Right_Wheel_136)+gu2.Speed_Right_Wheel_137)+gu2.Speed_Right_Wheel_138)+gu2.Speed_Right_Wheel_139)+gu2.Speed_Right_Wheel_140)+gu2.Speed_Right_Wheel_141)+gu2.Speed_Right_Wheel_142)+gu2.Speed_Right_Wheel_143)+gu2.Speed_Right_Wheel_144)+gu2.Speed_Right_Wheel_145)+gu2.Speed_Right_Wheel_146)+gu2.Speed_Right_Wheel_147)+gu2.Speed_Right_Wheel_148)+gu2.Speed_Right_Wheel_149)+gu2.Speed_Right_Wheel_150)+gu2.Speed_Right_Wheel_151)+gu2.Speed_Right_Wheel_152)+gu2.Speed_Right_Wheel_153)+gu2.Speed_Right_Wheel_154)+gu2.Speed_Right_Wheel_155)+gu2.Speed_Right_Wheel_156)+gu2.Speed_Right_Wheel_157)+gu2.Speed_Right_Wheel_158)+gu2.Speed_Right_Wheel_159)+gu2.Speed_Right_Wheel_160)+gu2.Speed_Right_Wheel_161)+gu2.Speed_Right_Wheel_162)+gu2.Speed_Right_Wheel_163)+gu2.Speed_Right_Wheel_164)+gu2.Speed_Right_Wheel_165)+gu2.Speed_Right_Wheel_166)+gu2.Speed_Right_Wheel_167)+gu2.Speed_Right_Wheel_168)+gu2.Speed_Right_Wheel_169)+gu2.Speed_Right_Wheel_170)+gu2.Speed_Right_Wheel_171)+gu2.Speed_Right_Wheel_172)+gu2.Speed_Right_Wheel_173)+gu2.Speed_Right_Wheel_174)+gu2.Speed_Right_Wheel_175)+gu2.Speed_Right_Wheel_176)+gu2.Speed_Right_Wheel_177)+gu2.Speed_Right_Wheel_178)+gu2.Speed_Right_Wheel_179)+gu2.Speed_Right_Wheel_180)+gu2.Speed_Right_Wheel_181)+gu2.Speed_Right_Wheel_182)+gu2.Speed_Right_Wheel_183)+gu2.Speed_Right_Wheel_184)+gu2.Speed_Right_Wheel_185)+gu2.Speed_Right_Wheel_186)+gu2.Speed_Right_Wheel_187)+gu2.Speed_Right_Wheel_188)+gu2.Speed_Right_Wheel_189)+gu2.Speed_Right_Wheel_190)+gu2.Speed_Right_Wheel_191)+gu2.Speed_Right_Wheel_192)+gu2.Speed_Right_Wheel_193)+gu2.Speed_Right_Wheel_194)+gu2.Speed_Right_Wheel_195)+gu2.Speed_Right_Wheel_196)+gu2.Speed_Right_Wheel_197)+gu2.Speed_Right_Wheel_198)+gu2.Speed_Right_Wheel_199)+gu2.Speed_Right_Wheel_200))")))))))))
Formula 0 simplified : GXF(X"(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.TheAltitude_1+gu0.TheAltitude_2)+gu0.TheAltitude_3)+gu0.TheAltitude_4)+gu0.TheAltitude_5)+gu0.TheAltitude_6)+gu0.TheAltitude_7)+gu0.TheAltitude_8)+gu0.TheAltitude_9)+gu0.TheAltitude_10)+gu0.TheAltitude_11)+gu0.TheAltitude_12)+gu0.TheAltitude_13)+gu0.TheAltitude_14)+gu0.TheAltitude_15)+gu0.TheAltitude_16)+gu0.TheAltitude_17)+gu0.TheAltitude_18)+gu0.TheAltitude_19)+gu0.TheAltitude_20)+gu0.TheAltitude_21)+gu0.TheAltitude_22)+gu0.TheAltitude_23)+gu0.TheAltitude_24)+gu0.TheAltitude_25)+gu0.TheAltitude_26)+gu0.TheAltitude_27)+gu0.TheAltitude_28)+gu0.TheAltitude_29)+gu0.TheAltitude_30)+gu0.TheAltitude_31)+gu0.TheAltitude_32)+gu0.TheAltitude_33)+gu0.TheAltitude_34)+gu0.TheAltitude_35)+gu0.TheAltitude_36)+gu0.TheAltitude_37)+gu0.TheAltitude_38)+gu0.TheAltitude_39)+gu0.TheAltitude_40)+gu0.TheAltitude_41)+gu0.TheAltitude_42)+gu0.TheAltitude_43)+gu0.TheAltitude_44)+gu0.TheAltitude_45)+gu0.TheAltitude_46)+gu0.TheAltitude_47)+gu0.TheAltitude_48)+gu0.TheAltitude_49)+gu0.TheAltitude_50)+gu0.TheAltitude_51)+gu0.TheAltitude_52)+gu0.TheAltitude_53)+gu0.TheAltitude_54)+gu0.TheAltitude_55)+gu0.TheAltitude_56)+gu0.TheAltitude_57)+gu0.TheAltitude_58)+gu0.TheAltitude_59)+gu0.TheAltitude_60)+gu0.TheAltitude_61)+gu0.TheAltitude_62)+gu0.TheAltitude_63)+gu0.TheAltitude_64)+gu0.TheAltitude_65)+gu0.TheAltitude_66)+gu0.TheAltitude_67)+gu0.TheAltitude_68)+gu0.TheAltitude_69)+gu0.TheAltitude_70)+gu0.TheAltitude_71)+gu0.TheAltitude_72)+gu0.TheAltitude_73)+gu0.TheAltitude_74)+gu0.TheAltitude_75)+gu0.TheAltitude_76)+gu0.TheAltitude_77)+gu0.TheAltitude_78)+gu0.TheAltitude_79)+gu0.TheAltitude_80)+gu0.TheAltitude_81)+gu0.TheAltitude_82)+gu0.TheAltitude_83)+gu0.TheAltitude_84)+gu0.TheAltitude_85)+gu0.TheAltitude_86)+gu0.TheAltitude_87)+gu0.TheAltitude_88)+gu0.TheAltitude_89)+gu0.TheAltitude_90)+gu0.TheAltitude_91)+gu0.TheAltitude_92)+gu0.TheAltitude_93)+gu0.TheAltitude_94)+gu0.TheAltitude_95)+gu0.TheAltitude_96)+gu0.TheAltitude_97)+gu0.TheAltitude_98)+gu0.TheAltitude_99)+gu0.TheAltitude_100)+gu0.TheAltitude_101)+gu0.TheAltitude_102)+gu0.TheAltitude_103)+gu0.TheAltitude_104)+gu0.TheAltitude_105)+gu0.TheAltitude_106)+gu0.TheAltitude_107)+gu0.TheAltitude_108)+gu0.TheAltitude_109)+gu0.TheAltitude_110)+gu0.TheAltitude_111)+gu0.TheAltitude_112)+gu0.TheAltitude_113)+gu0.TheAltitude_114)+gu0.TheAltitude_115)+gu0.TheAltitude_116)+gu0.TheAltitude_117)+gu0.TheAltitude_118)+gu0.TheAltitude_119)+gu0.TheAltitude_120)+gu0.TheAltitude_121)+gu0.TheAltitude_122)+gu0.TheAltitude_123)+gu0.TheAltitude_124)+gu0.TheAltitude_125)+gu0.TheAltitude_126)+gu0.TheAltitude_127)+gu0.TheAltitude_128)+gu0.TheAltitude_129)+gu0.TheAltitude_130)+gu0.TheAltitude_131)+gu0.TheAltitude_132)+gu0.TheAltitude_133)+gu0.TheAltitude_134)+gu0.TheAltitude_135)+gu0.TheAltitude_136)+gu0.TheAltitude_137)+gu0.TheAltitude_138)+gu0.TheAltitude_139)+gu0.TheAltitude_140)+gu0.TheAltitude_141)+gu0.TheAltitude_142)+gu0.TheAltitude_143)+gu0.TheAltitude_144)+gu0.TheAltitude_145)+gu0.TheAltitude_146)+gu0.TheAltitude_147)+gu0.TheAltitude_148)+gu0.TheAltitude_149)+gu0.TheAltitude_150)+gu0.TheAltitude_151)+gu0.TheAltitude_152)+gu0.TheAltitude_153)+gu0.TheAltitude_154)+gu0.TheAltitude_155)+gu0.TheAltitude_156)+gu0.TheAltitude_157)+gu0.TheAltitude_158)+gu0.TheAltitude_159)+gu0.TheAltitude_160)+gu0.TheAltitude_161)+gu0.TheAltitude_162)+gu0.TheAltitude_163)+gu0.TheAltitude_164)+gu0.TheAltitude_165)+gu0.TheAltitude_166)+gu0.TheAltitude_167)+gu0.TheAltitude_168)+gu0.TheAltitude_169)+gu0.TheAltitude_170)+gu0.TheAltitude_171)+gu0.TheAltitude_172)+gu0.TheAltitude_173)+gu0.TheAltitude_174)+gu0.TheAltitude_175)+gu0.TheAltitude_176)+gu0.TheAltitude_177)+gu0.TheAltitude_178)+gu0.TheAltitude_179)+gu0.TheAltitude_180)+gu0.TheAltitude_181)+gu0.TheAltitude_182)+gu0.TheAltitude_183)+gu0.TheAltitude_184)+gu0.TheAltitude_185)+gu0.TheAltitude_186)+gu0.TheAltitude_187)+gu0.TheAltitude_188)+gu0.TheAltitude_189)+gu0.TheAltitude_190)+gu0.TheAltitude_191)+gu0.TheAltitude_192)+gu0.TheAltitude_193)+gu0.TheAltitude_194)+gu0.TheAltitude_195)+gu0.TheAltitude_196)+gu0.TheAltitude_197)+gu0.TheAltitude_198)+gu0.TheAltitude_199)+gu0.TheAltitude_200)+gu0.TheAltitude_201)+gu0.TheAltitude_202)+gu0.TheAltitude_203)+gu0.TheAltitude_204)+gu0.TheAltitude_205)+gu0.TheAltitude_206)+gu0.TheAltitude_207)+gu0.TheAltitude_208)+gu0.TheAltitude_209)+gu0.TheAltitude_210)+gu0.TheAltitude_211)+gu0.TheAltitude_212)+gu0.TheAltitude_213)+gu0.TheAltitude_214)+gu0.TheAltitude_215)+gu0.TheAltitude_216)+gu0.TheAltitude_217)+gu0.TheAltitude_218)+gu0.TheAltitude_219)+gu0.TheAltitude_220)+gu0.TheAltitude_221)+gu0.TheAltitude_222)+gu0.TheAltitude_223)+gu0.TheAltitude_224)+gu0.TheAltitude_225)+gu0.TheAltitude_226)+gu0.TheAltitude_227)+gu0.TheAltitude_228)+gu0.TheAltitude_229)+gu0.TheAltitude_230)+gu0.TheAltitude_231)+gu0.TheAltitude_232)+gu0.TheAltitude_233)+gu0.TheAltitude_234)+gu0.TheAltitude_235)+gu0.TheAltitude_236)+gu0.TheAltitude_237)+gu0.TheAltitude_238)+gu0.TheAltitude_239)+gu0.TheAltitude_240)+gu0.TheAltitude_241)+gu0.TheAltitude_242)+gu0.TheAltitude_243)+gu0.TheAltitude_244)+gu0.TheAltitude_245)+gu0.TheAltitude_246)+gu0.TheAltitude_247)+gu0.TheAltitude_248)+gu0.TheAltitude_249)+gu0.TheAltitude_250)+gu0.TheAltitude_251)+gu0.TheAltitude_252)+gu0.TheAltitude_253)+gu0.TheAltitude_254)+gu0.TheAltitude_255)+gu0.TheAltitude_256)+gu0.TheAltitude_257)+gu0.TheAltitude_258)+gu0.TheAltitude_259)+gu0.TheAltitude_260)+gu0.TheAltitude_261)+gu0.TheAltitude_262)+gu0.TheAltitude_263)+gu0.TheAltitude_264)+gu0.TheAltitude_265)+gu0.TheAltitude_266)+gu0.TheAltitude_267)+gu0.TheAltitude_268)+gu0.TheAltitude_269)+gu0.TheAltitude_270)+gu0.TheAltitude_271)+gu0.TheAltitude_272)+gu0.TheAltitude_273)+gu0.TheAltitude_274)+gu0.TheAltitude_275)+gu0.TheAltitude_276)+gu0.TheAltitude_277)+gu0.TheAltitude_278)+gu0.TheAltitude_279)+gu0.TheAltitude_280)+gu0.TheAltitude_281)+gu0.TheAltitude_282)+gu0.TheAltitude_283)+gu0.TheAltitude_284)+gu0.TheAltitude_285)+gu0.TheAltitude_286)+gu0.TheAltitude_287)+gu0.TheAltitude_288)+gu0.TheAltitude_289)+gu0.TheAltitude_290)+gu0.TheAltitude_291)+gu0.TheAltitude_292)+gu0.TheAltitude_293)+gu0.TheAltitude_294)+gu0.TheAltitude_295)+gu0.TheAltitude_296)+gu0.TheAltitude_297)+gu0.TheAltitude_298)+gu0.TheAltitude_299)+gu0.TheAltitude_300)+gu0.TheAltitude_301)+gu0.TheAltitude_302)+gu0.TheAltitude_303)+gu0.TheAltitude_304)+gu0.TheAltitude_305)+gu0.TheAltitude_306)+gu0.TheAltitude_307)+gu0.TheAltitude_308)+gu0.TheAltitude_309)+gu0.TheAltitude_310)+gu0.TheAltitude_311)+gu0.TheAltitude_312)+gu0.TheAltitude_313)+gu0.TheAltitude_314)+gu0.TheAltitude_315)+gu0.TheAltitude_316)+gu0.TheAltitude_317)+gu0.TheAltitude_318)+gu0.TheAltitude_319)+gu0.TheAltitude_320)+gu0.TheAltitude_321)+gu0.TheAltitude_322)+gu0.TheAltitude_323)+gu0.TheAltitude_324)+gu0.TheAltitude_325)+gu0.TheAltitude_326)+gu0.TheAltitude_327)+gu0.TheAltitude_328)+gu0.TheAltitude_329)+gu0.TheAltitude_330)+gu0.TheAltitude_331)+gu0.TheAltitude_332)+gu0.TheAltitude_333)+gu0.TheAltitude_334)+gu0.TheAltitude_335)+gu0.TheAltitude_336)+gu0.TheAltitude_337)+gu0.TheAltitude_338)+gu0.TheAltitude_339)+gu0.TheAltitude_340)+gu0.TheAltitude_341)+gu0.TheAltitude_342)+gu0.TheAltitude_343)+gu0.TheAltitude_344)+gu0.TheAltitude_345)+gu0.TheAltitude_346)+gu0.TheAltitude_347)+gu0.TheAltitude_348)+gu0.TheAltitude_349)+gu0.TheAltitude_350)+gu0.TheAltitude_351)+gu0.TheAltitude_352)+gu0.TheAltitude_353)+gu0.TheAltitude_354)+gu0.TheAltitude_355)+gu0.TheAltitude_356)+gu0.TheAltitude_357)+gu0.TheAltitude_358)+gu0.TheAltitude_359)+gu0.TheAltitude_360)+gu0.TheAltitude_361)+gu0.TheAltitude_362)+gu0.TheAltitude_363)+gu0.TheAltitude_364)+gu0.TheAltitude_365)+gu0.TheAltitude_366)+gu0.TheAltitude_367)+gu0.TheAltitude_368)+gu0.TheAltitude_369)+gu0.TheAltitude_370)+gu0.TheAltitude_371)+gu0.TheAltitude_372)+gu0.TheAltitude_373)+gu0.TheAltitude_374)+gu0.TheAltitude_375)+gu0.TheAltitude_376)+gu0.TheAltitude_377)+gu0.TheAltitude_378)+gu0.TheAltitude_379)+gu0.TheAltitude_380)+gu0.TheAltitude_381)+gu0.TheAltitude_382)+gu0.TheAltitude_383)+gu0.TheAltitude_384)+gu0.TheAltitude_385)+gu0.TheAltitude_386)+gu0.TheAltitude_387)+gu0.TheAltitude_388)+gu0.TheAltitude_389)+gu0.TheAltitude_390)+gu0.TheAltitude_391)+gu0.TheAltitude_392)+gu0.TheAltitude_393)+gu0.TheAltitude_394)+gu0.TheAltitude_395)+gu0.TheAltitude_396)+gu0.TheAltitude_397)+gu0.TheAltitude_398)+gu0.TheAltitude_399)+gu0.TheAltitude_400)>=1)&&(gu2.stp1>(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu2.Speed_Right_Wheel_1+gu2.Speed_Right_Wheel_2)+gu2.Speed_Right_Wheel_3)+gu2.Speed_Right_Wheel_4)+gu2.Speed_Right_Wheel_5)+gu2.Speed_Right_Wheel_6)+gu2.Speed_Right_Wheel_7)+gu2.Speed_Right_Wheel_8)+gu2.Speed_Right_Wheel_9)+gu2.Speed_Right_Wheel_10)+gu2.Speed_Right_Wheel_11)+gu2.Speed_Right_Wheel_12)+gu2.Speed_Right_Wheel_13)+gu2.Speed_Right_Wheel_14)+gu2.Speed_Right_Wheel_15)+gu2.Speed_Right_Wheel_16)+gu2.Speed_Right_Wheel_17)+gu2.Speed_Right_Wheel_18)+gu2.Speed_Right_Wheel_19)+gu2.Speed_Right_Wheel_20)+gu2.Speed_Right_Wheel_21)+gu2.Speed_Right_Wheel_22)+gu2.Speed_Right_Wheel_23)+gu2.Speed_Right_Wheel_24)+gu2.Speed_Right_Wheel_25)+gu2.Speed_Right_Wheel_26)+gu2.Speed_Right_Wheel_27)+gu2.Speed_Right_Wheel_28)+gu2.Speed_Right_Wheel_29)+gu2.Speed_Right_Wheel_30)+gu2.Speed_Right_Wheel_31)+gu2.Speed_Right_Wheel_32)+gu2.Speed_Right_Wheel_33)+gu2.Speed_Right_Wheel_34)+gu2.Speed_Right_Wheel_35)+gu2.Speed_Right_Wheel_36)+gu2.Speed_Right_Wheel_37)+gu2.Speed_Right_Wheel_38)+gu2.Speed_Right_Wheel_39)+gu2.Speed_Right_Wheel_40)+gu2.Speed_Right_Wheel_41)+gu2.Speed_Right_Wheel_42)+gu2.Speed_Right_Wheel_43)+gu2.Speed_Right_Wheel_44)+gu2.Speed_Right_Wheel_45)+gu2.Speed_Right_Wheel_46)+gu2.Speed_Right_Wheel_47)+gu2.Speed_Right_Wheel_48)+gu2.Speed_Right_Wheel_49)+gu2.Speed_Right_Wheel_50)+gu2.Speed_Right_Wheel_51)+gu2.Speed_Right_Wheel_52)+gu2.Speed_Right_Wheel_53)+gu2.Speed_Right_Wheel_54)+gu2.Speed_Right_Wheel_55)+gu2.Speed_Right_Wheel_56)+gu2.Speed_Right_Wheel_57)+gu2.Speed_Right_Wheel_58)+gu2.Speed_Right_Wheel_59)+gu2.Speed_Right_Wheel_60)+gu2.Speed_Right_Wheel_61)+gu2.Speed_Right_Wheel_62)+gu2.Speed_Right_Wheel_63)+gu2.Speed_Right_Wheel_64)+gu2.Speed_Right_Wheel_65)+gu2.Speed_Right_Wheel_66)+gu2.Speed_Right_Wheel_67)+gu2.Speed_Right_Wheel_68)+gu2.Speed_Right_Wheel_69)+gu2.Speed_Right_Wheel_70)+gu2.Speed_Right_Wheel_71)+gu2.Speed_Right_Wheel_72)+gu2.Speed_Right_Wheel_73)+gu2.Speed_Right_Wheel_74)+gu2.Speed_Right_Wheel_75)+gu2.Speed_Right_Wheel_76)+gu2.Speed_Right_Wheel_77)+gu2.Speed_Right_Wheel_78)+gu2.Speed_Right_Wheel_79)+gu2.Speed_Right_Wheel_80)+gu2.Speed_Right_Wheel_81)+gu2.Speed_Right_Wheel_82)+gu2.Speed_Right_Wheel_83)+gu2.Speed_Right_Wheel_84)+gu2.Speed_Right_Wheel_85)+gu2.Speed_Right_Wheel_86)+gu2.Speed_Right_Wheel_87)+gu2.Speed_Right_Wheel_88)+gu2.Speed_Right_Wheel_89)+gu2.Speed_Right_Wheel_90)+gu2.Speed_Right_Wheel_91)+gu2.Speed_Right_Wheel_92)+gu2.Speed_Right_Wheel_93)+gu2.Speed_Right_Wheel_94)+gu2.Speed_Right_Wheel_95)+gu2.Speed_Right_Wheel_96)+gu2.Speed_Right_Wheel_97)+gu2.Speed_Right_Wheel_98)+gu2.Speed_Right_Wheel_99)+gu2.Speed_Right_Wheel_100)+gu2.Speed_Right_Wheel_101)+gu2.Speed_Right_Wheel_102)+gu2.Speed_Right_Wheel_103)+gu2.Speed_Right_Wheel_104)+gu2.Speed_Right_Wheel_105)+gu2.Speed_Right_Wheel_106)+gu2.Speed_Right_Wheel_107)+gu2.Speed_Right_Wheel_108)+gu2.Speed_Right_Wheel_109)+gu2.Speed_Right_Wheel_110)+gu2.Speed_Right_Wheel_111)+gu2.Speed_Right_Wheel_112)+gu2.Speed_Right_Wheel_113)+gu2.Speed_Right_Wheel_114)+gu2.Speed_Right_Wheel_115)+gu2.Speed_Right_Wheel_116)+gu2.Speed_Right_Wheel_117)+gu2.Speed_Right_Wheel_118)+gu2.Speed_Right_Wheel_119)+gu2.Speed_Right_Wheel_120)+gu2.Speed_Right_Wheel_121)+gu2.Speed_Right_Wheel_122)+gu2.Speed_Right_Wheel_123)+gu2.Speed_Right_Wheel_124)+gu2.Speed_Right_Wheel_125)+gu2.Speed_Right_Wheel_126)+gu2.Speed_Right_Wheel_127)+gu2.Speed_Right_Wheel_128)+gu2.Speed_Right_Wheel_129)+gu2.Speed_Right_Wheel_130)+gu2.Speed_Right_Wheel_131)+gu2.Speed_Right_Wheel_132)+gu2.Speed_Right_Wheel_133)+gu2.Speed_Right_Wheel_134)+gu2.Speed_Right_Wheel_135)+gu2.Speed_Right_Wheel_136)+gu2.Speed_Right_Wheel_137)+gu2.Speed_Right_Wheel_138)+gu2.Speed_Right_Wheel_139)+gu2.Speed_Right_Wheel_140)+gu2.Speed_Right_Wheel_141)+gu2.Speed_Right_Wheel_142)+gu2.Speed_Right_Wheel_143)+gu2.Speed_Right_Wheel_144)+gu2.Speed_Right_Wheel_145)+gu2.Speed_Right_Wheel_146)+gu2.Speed_Right_Wheel_147)+gu2.Speed_Right_Wheel_148)+gu2.Speed_Right_Wheel_149)+gu2.Speed_Right_Wheel_150)+gu2.Speed_Right_Wheel_151)+gu2.Speed_Right_Wheel_152)+gu2.Speed_Right_Wheel_153)+gu2.Speed_Right_Wheel_154)+gu2.Speed_Right_Wheel_155)+gu2.Speed_Right_Wheel_156)+gu2.Speed_Right_Wheel_157)+gu2.Speed_Right_Wheel_158)+gu2.Speed_Right_Wheel_159)+gu2.Speed_Right_Wheel_160)+gu2.Speed_Right_Wheel_161)+gu2.Speed_Right_Wheel_162)+gu2.Speed_Right_Wheel_163)+gu2.Speed_Right_Wheel_164)+gu2.Speed_Right_Wheel_165)+gu2.Speed_Right_Wheel_166)+gu2.Speed_Right_Wheel_167)+gu2.Speed_Right_Wheel_168)+gu2.Speed_Right_Wheel_169)+gu2.Speed_Right_Wheel_170)+gu2.Speed_Right_Wheel_171)+gu2.Speed_Right_Wheel_172)+gu2.Speed_Right_Wheel_173)+gu2.Speed_Right_Wheel_174)+gu2.Speed_Right_Wheel_175)+gu2.Speed_Right_Wheel_176)+gu2.Speed_Right_Wheel_177)+gu2.Speed_Right_Wheel_178)+gu2.Speed_Right_Wheel_179)+gu2.Speed_Right_Wheel_180)+gu2.Speed_Right_Wheel_181)+gu2.Speed_Right_Wheel_182)+gu2.Speed_Right_Wheel_183)+gu2.Speed_Right_Wheel_184)+gu2.Speed_Right_Wheel_185)+gu2.Speed_Right_Wheel_186)+gu2.Speed_Right_Wheel_187)+gu2.Speed_Right_Wheel_188)+gu2.Speed_Right_Wheel_189)+gu2.Speed_Right_Wheel_190)+gu2.Speed_Right_Wheel_191)+gu2.Speed_Right_Wheel_192)+gu2.Speed_Right_Wheel_193)+gu2.Speed_Right_Wheel_194)+gu2.Speed_Right_Wheel_195)+gu2.Speed_Right_Wheel_196)+gu2.Speed_Right_Wheel_197)+gu2.Speed_Right_Wheel_198)+gu2.Speed_Right_Wheel_199)+gu2.Speed_Right_Wheel_200)))" & (G"((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu0.TheAltitude_1+gu0.TheAltitude_2)+gu0.TheAltitude_3)+gu0.TheAltitude_4)+gu0.TheAltitude_5)+gu0.TheAltitude_6)+gu0.TheAltitude_7)+gu0.TheAltitude_8)+gu0.TheAltitude_9)+gu0.TheAltitude_10)+gu0.TheAltitude_11)+gu0.TheAltitude_12)+gu0.TheAltitude_13)+gu0.TheAltitude_14)+gu0.TheAltitude_15)+gu0.TheAltitude_16)+gu0.TheAltitude_17)+gu0.TheAltitude_18)+gu0.TheAltitude_19)+gu0.TheAltitude_20)+gu0.TheAltitude_21)+gu0.TheAltitude_22)+gu0.TheAltitude_23)+gu0.TheAltitude_24)+gu0.TheAltitude_25)+gu0.TheAltitude_26)+gu0.TheAltitude_27)+gu0.TheAltitude_28)+gu0.TheAltitude_29)+gu0.TheAltitude_30)+gu0.TheAltitude_31)+gu0.TheAltitude_32)+gu0.TheAltitude_33)+gu0.TheAltitude_34)+gu0.TheAltitude_35)+gu0.TheAltitude_36)+gu0.TheAltitude_37)+gu0.TheAltitude_38)+gu0.TheAltitude_39)+gu0.TheAltitude_40)+gu0.TheAltitude_41)+gu0.TheAltitude_42)+gu0.TheAltitude_43)+gu0.TheAltitude_44)+gu0.TheAltitude_45)+gu0.TheAltitude_46)+gu0.TheAltitude_47)+gu0.TheAltitude_48)+gu0.TheAltitude_49)+gu0.TheAltitude_50)+gu0.TheAltitude_51)+gu0.TheAltitude_52)+gu0.TheAltitude_53)+gu0.TheAltitude_54)+gu0.TheAltitude_55)+gu0.TheAltitude_56)+gu0.TheAltitude_57)+gu0.TheAltitude_58)+gu0.TheAltitude_59)+gu0.TheAltitude_60)+gu0.TheAltitude_61)+gu0.TheAltitude_62)+gu0.TheAltitude_63)+gu0.TheAltitude_64)+gu0.TheAltitude_65)+gu0.TheAltitude_66)+gu0.TheAltitude_67)+gu0.TheAltitude_68)+gu0.TheAltitude_69)+gu0.TheAltitude_70)+gu0.TheAltitude_71)+gu0.TheAltitude_72)+gu0.TheAltitude_73)+gu0.TheAltitude_74)+gu0.TheAltitude_75)+gu0.TheAltitude_76)+gu0.TheAltitude_77)+gu0.TheAltitude_78)+gu0.TheAltitude_79)+gu0.TheAltitude_80)+gu0.TheAltitude_81)+gu0.TheAltitude_82)+gu0.TheAltitude_83)+gu0.TheAltitude_84)+gu0.TheAltitude_85)+gu0.TheAltitude_86)+gu0.TheAltitude_87)+gu0.TheAltitude_88)+gu0.TheAltitude_89)+gu0.TheAltitude_90)+gu0.TheAltitude_91)+gu0.TheAltitude_92)+gu0.TheAltitude_93)+gu0.TheAltitude_94)+gu0.TheAltitude_95)+gu0.TheAltitude_96)+gu0.TheAltitude_97)+gu0.TheAltitude_98)+gu0.TheAltitude_99)+gu0.TheAltitude_100)+gu0.TheAltitude_101)+gu0.TheAltitude_102)+gu0.TheAltitude_103)+gu0.TheAltitude_104)+gu0.TheAltitude_105)+gu0.TheAltitude_106)+gu0.TheAltitude_107)+gu0.TheAltitude_108)+gu0.TheAltitude_109)+gu0.TheAltitude_110)+gu0.TheAltitude_111)+gu0.TheAltitude_112)+gu0.TheAltitude_113)+gu0.TheAltitude_114)+gu0.TheAltitude_115)+gu0.TheAltitude_116)+gu0.TheAltitude_117)+gu0.TheAltitude_118)+gu0.TheAltitude_119)+gu0.TheAltitude_120)+gu0.TheAltitude_121)+gu0.TheAltitude_122)+gu0.TheAltitude_123)+gu0.TheAltitude_124)+gu0.TheAltitude_125)+gu0.TheAltitude_126)+gu0.TheAltitude_127)+gu0.TheAltitude_128)+gu0.TheAltitude_129)+gu0.TheAltitude_130)+gu0.TheAltitude_131)+gu0.TheAltitude_132)+gu0.TheAltitude_133)+gu0.TheAltitude_134)+gu0.TheAltitude_135)+gu0.TheAltitude_136)+gu0.TheAltitude_137)+gu0.TheAltitude_138)+gu0.TheAltitude_139)+gu0.TheAltitude_140)+gu0.TheAltitude_141)+gu0.TheAltitude_142)+gu0.TheAltitude_143)+gu0.TheAltitude_144)+gu0.TheAltitude_145)+gu0.TheAltitude_146)+gu0.TheAltitude_147)+gu0.TheAltitude_148)+gu0.TheAltitude_149)+gu0.TheAltitude_150)+gu0.TheAltitude_151)+gu0.TheAltitude_152)+gu0.TheAltitude_153)+gu0.TheAltitude_154)+gu0.TheAltitude_155)+gu0.TheAltitude_156)+gu0.TheAltitude_157)+gu0.TheAltitude_158)+gu0.TheAltitude_159)+gu0.TheAltitude_160)+gu0.TheAltitude_161)+gu0.TheAltitude_162)+gu0.TheAltitude_163)+gu0.TheAltitude_164)+gu0.TheAltitude_165)+gu0.TheAltitude_166)+gu0.TheAltitude_167)+gu0.TheAltitude_168)+gu0.TheAltitude_169)+gu0.TheAltitude_170)+gu0.TheAltitude_171)+gu0.TheAltitude_172)+gu0.TheAltitude_173)+gu0.TheAltitude_174)+gu0.TheAltitude_175)+gu0.TheAltitude_176)+gu0.TheAltitude_177)+gu0.TheAltitude_178)+gu0.TheAltitude_179)+gu0.TheAltitude_180)+gu0.TheAltitude_181)+gu0.TheAltitude_182)+gu0.TheAltitude_183)+gu0.TheAltitude_184)+gu0.TheAltitude_185)+gu0.TheAltitude_186)+gu0.TheAltitude_187)+gu0.TheAltitude_188)+gu0.TheAltitude_189)+gu0.TheAltitude_190)+gu0.TheAltitude_191)+gu0.TheAltitude_192)+gu0.TheAltitude_193)+gu0.TheAltitude_194)+gu0.TheAltitude_195)+gu0.TheAltitude_196)+gu0.TheAltitude_197)+gu0.TheAltitude_198)+gu0.TheAltitude_199)+gu0.TheAltitude_200)+gu0.TheAltitude_201)+gu0.TheAltitude_202)+gu0.TheAltitude_203)+gu0.TheAltitude_204)+gu0.TheAltitude_205)+gu0.TheAltitude_206)+gu0.TheAltitude_207)+gu0.TheAltitude_208)+gu0.TheAltitude_209)+gu0.TheAltitude_210)+gu0.TheAltitude_211)+gu0.TheAltitude_212)+gu0.TheAltitude_213)+gu0.TheAltitude_214)+gu0.TheAltitude_215)+gu0.TheAltitude_216)+gu0.TheAltitude_217)+gu0.TheAltitude_218)+gu0.TheAltitude_219)+gu0.TheAltitude_220)+gu0.TheAltitude_221)+gu0.TheAltitude_222)+gu0.TheAltitude_223)+gu0.TheAltitude_224)+gu0.TheAltitude_225)+gu0.TheAltitude_226)+gu0.TheAltitude_227)+gu0.TheAltitude_228)+gu0.TheAltitude_229)+gu0.TheAltitude_230)+gu0.TheAltitude_231)+gu0.TheAltitude_232)+gu0.TheAltitude_233)+gu0.TheAltitude_234)+gu0.TheAltitude_235)+gu0.TheAltitude_236)+gu0.TheAltitude_237)+gu0.TheAltitude_238)+gu0.TheAltitude_239)+gu0.TheAltitude_240)+gu0.TheAltitude_241)+gu0.TheAltitude_242)+gu0.TheAltitude_243)+gu0.TheAltitude_244)+gu0.TheAltitude_245)+gu0.TheAltitude_246)+gu0.TheAltitude_247)+gu0.TheAltitude_248)+gu0.TheAltitude_249)+gu0.TheAltitude_250)+gu0.TheAltitude_251)+gu0.TheAltitude_252)+gu0.TheAltitude_253)+gu0.TheAltitude_254)+gu0.TheAltitude_255)+gu0.TheAltitude_256)+gu0.TheAltitude_257)+gu0.TheAltitude_258)+gu0.TheAltitude_259)+gu0.TheAltitude_260)+gu0.TheAltitude_261)+gu0.TheAltitude_262)+gu0.TheAltitude_263)+gu0.TheAltitude_264)+gu0.TheAltitude_265)+gu0.TheAltitude_266)+gu0.TheAltitude_267)+gu0.TheAltitude_268)+gu0.TheAltitude_269)+gu0.TheAltitude_270)+gu0.TheAltitude_271)+gu0.TheAltitude_272)+gu0.TheAltitude_273)+gu0.TheAltitude_274)+gu0.TheAltitude_275)+gu0.TheAltitude_276)+gu0.TheAltitude_277)+gu0.TheAltitude_278)+gu0.TheAltitude_279)+gu0.TheAltitude_280)+gu0.TheAltitude_281)+gu0.TheAltitude_282)+gu0.TheAltitude_283)+gu0.TheAltitude_284)+gu0.TheAltitude_285)+gu0.TheAltitude_286)+gu0.TheAltitude_287)+gu0.TheAltitude_288)+gu0.TheAltitude_289)+gu0.TheAltitude_290)+gu0.TheAltitude_291)+gu0.TheAltitude_292)+gu0.TheAltitude_293)+gu0.TheAltitude_294)+gu0.TheAltitude_295)+gu0.TheAltitude_296)+gu0.TheAltitude_297)+gu0.TheAltitude_298)+gu0.TheAltitude_299)+gu0.TheAltitude_300)+gu0.TheAltitude_301)+gu0.TheAltitude_302)+gu0.TheAltitude_303)+gu0.TheAltitude_304)+gu0.TheAltitude_305)+gu0.TheAltitude_306)+gu0.TheAltitude_307)+gu0.TheAltitude_308)+gu0.TheAltitude_309)+gu0.TheAltitude_310)+gu0.TheAltitude_311)+gu0.TheAltitude_312)+gu0.TheAltitude_313)+gu0.TheAltitude_314)+gu0.TheAltitude_315)+gu0.TheAltitude_316)+gu0.TheAltitude_317)+gu0.TheAltitude_318)+gu0.TheAltitude_319)+gu0.TheAltitude_320)+gu0.TheAltitude_321)+gu0.TheAltitude_322)+gu0.TheAltitude_323)+gu0.TheAltitude_324)+gu0.TheAltitude_325)+gu0.TheAltitude_326)+gu0.TheAltitude_327)+gu0.TheAltitude_328)+gu0.TheAltitude_329)+gu0.TheAltitude_330)+gu0.TheAltitude_331)+gu0.TheAltitude_332)+gu0.TheAltitude_333)+gu0.TheAltitude_334)+gu0.TheAltitude_335)+gu0.TheAltitude_336)+gu0.TheAltitude_337)+gu0.TheAltitude_338)+gu0.TheAltitude_339)+gu0.TheAltitude_340)+gu0.TheAltitude_341)+gu0.TheAltitude_342)+gu0.TheAltitude_343)+gu0.TheAltitude_344)+gu0.TheAltitude_345)+gu0.TheAltitude_346)+gu0.TheAltitude_347)+gu0.TheAltitude_348)+gu0.TheAltitude_349)+gu0.TheAltitude_350)+gu0.TheAltitude_351)+gu0.TheAltitude_352)+gu0.TheAltitude_353)+gu0.TheAltitude_354)+gu0.TheAltitude_355)+gu0.TheAltitude_356)+gu0.TheAltitude_357)+gu0.TheAltitude_358)+gu0.TheAltitude_359)+gu0.TheAltitude_360)+gu0.TheAltitude_361)+gu0.TheAltitude_362)+gu0.TheAltitude_363)+gu0.TheAltitude_364)+gu0.TheAltitude_365)+gu0.TheAltitude_366)+gu0.TheAltitude_367)+gu0.TheAltitude_368)+gu0.TheAltitude_369)+gu0.TheAltitude_370)+gu0.TheAltitude_371)+gu0.TheAltitude_372)+gu0.TheAltitude_373)+gu0.TheAltitude_374)+gu0.TheAltitude_375)+gu0.TheAltitude_376)+gu0.TheAltitude_377)+gu0.TheAltitude_378)+gu0.TheAltitude_379)+gu0.TheAltitude_380)+gu0.TheAltitude_381)+gu0.TheAltitude_382)+gu0.TheAltitude_383)+gu0.TheAltitude_384)+gu0.TheAltitude_385)+gu0.TheAltitude_386)+gu0.TheAltitude_387)+gu0.TheAltitude_388)+gu0.TheAltitude_389)+gu0.TheAltitude_390)+gu0.TheAltitude_391)+gu0.TheAltitude_392)+gu0.TheAltitude_393)+gu0.TheAltitude_394)+gu0.TheAltitude_395)+gu0.TheAltitude_396)+gu0.TheAltitude_397)+gu0.TheAltitude_398)+gu0.TheAltitude_399)+gu0.TheAltitude_400)>=1)" | G"(gu2.stp1<=(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((gu2.Speed_Right_Wheel_1+gu2.Speed_Right_Wheel_2)+gu2.Speed_Right_Wheel_3)+gu2.Speed_Right_Wheel_4)+gu2.Speed_Right_Wheel_5)+gu2.Speed_Right_Wheel_6)+gu2.Speed_Right_Wheel_7)+gu2.Speed_Right_Wheel_8)+gu2.Speed_Right_Wheel_9)+gu2.Speed_Right_Wheel_10)+gu2.Speed_Right_Wheel_11)+gu2.Speed_Right_Wheel_12)+gu2.Speed_Right_Wheel_13)+gu2.Speed_Right_Wheel_14)+gu2.Speed_Right_Wheel_15)+gu2.Speed_Right_Wheel_16)+gu2.Speed_Right_Wheel_17)+gu2.Speed_Right_Wheel_18)+gu2.Speed_Right_Wheel_19)+gu2.Speed_Right_Wheel_20)+gu2.Speed_Right_Wheel_21)+gu2.Speed_Right_Wheel_22)+gu2.Speed_Right_Wheel_23)+gu2.Speed_Right_Wheel_24)+gu2.Speed_Right_Wheel_25)+gu2.Speed_Right_Wheel_26)+gu2.Speed_Right_Wheel_27)+gu2.Speed_Right_Wheel_28)+gu2.Speed_Right_Wheel_29)+gu2.Speed_Right_Wheel_30)+gu2.Speed_Right_Wheel_31)+gu2.Speed_Right_Wheel_32)+gu2.Speed_Right_Wheel_33)+gu2.Speed_Right_Wheel_34)+gu2.Speed_Right_Wheel_35)+gu2.Speed_Right_Wheel_36)+gu2.Speed_Right_Wheel_37)+gu2.Speed_Right_Wheel_38)+gu2.Speed_Right_Wheel_39)+gu2.Speed_Right_Wheel_40)+gu2.Speed_Right_Wheel_41)+gu2.Speed_Right_Wheel_42)+gu2.Speed_Right_Wheel_43)+gu2.Speed_Right_Wheel_44)+gu2.Speed_Right_Wheel_45)+gu2.Speed_Right_Wheel_46)+gu2.Speed_Right_Wheel_47)+gu2.Speed_Right_Wheel_48)+gu2.Speed_Right_Wheel_49)+gu2.Speed_Right_Wheel_50)+gu2.Speed_Right_Wheel_51)+gu2.Speed_Right_Wheel_52)+gu2.Speed_Right_Wheel_53)+gu2.Speed_Right_Wheel_54)+gu2.Speed_Right_Wheel_55)+gu2.Speed_Right_Wheel_56)+gu2.Speed_Right_Wheel_57)+gu2.Speed_Right_Wheel_58)+gu2.Speed_Right_Wheel_59)+gu2.Speed_Right_Wheel_60)+gu2.Speed_Right_Wheel_61)+gu2.Speed_Right_Wheel_62)+gu2.Speed_Right_Wheel_63)+gu2.Speed_Right_Wheel_64)+gu2.Speed_Right_Wheel_65)+gu2.Speed_Right_Wheel_66)+gu2.Speed_Right_Wheel_67)+gu2.Speed_Right_Wheel_68)+gu2.Speed_Right_Wheel_69)+gu2.Speed_Right_Wheel_70)+gu2.Speed_Right_Wheel_71)+gu2.Speed_Right_Wheel_72)+gu2.Speed_Right_Wheel_73)+gu2.Speed_Right_Wheel_74)+gu2.Speed_Right_Wheel_75)+gu2.Speed_Right_Wheel_76)+gu2.Speed_Right_Wheel_77)+gu2.Speed_Right_Wheel_78)+gu2.Speed_Right_Wheel_79)+gu2.Speed_Right_Wheel_80)+gu2.Speed_Right_Wheel_81)+gu2.Speed_Right_Wheel_82)+gu2.Speed_Right_Wheel_83)+gu2.Speed_Right_Wheel_84)+gu2.Speed_Right_Wheel_85)+gu2.Speed_Right_Wheel_86)+gu2.Speed_Right_Wheel_87)+gu2.Speed_Right_Wheel_88)+gu2.Speed_Right_Wheel_89)+gu2.Speed_Right_Wheel_90)+gu2.Speed_Right_Wheel_91)+gu2.Speed_Right_Wheel_92)+gu2.Speed_Right_Wheel_93)+gu2.Speed_Right_Wheel_94)+gu2.Speed_Right_Wheel_95)+gu2.Speed_Right_Wheel_96)+gu2.Speed_Right_Wheel_97)+gu2.Speed_Right_Wheel_98)+gu2.Speed_Right_Wheel_99)+gu2.Speed_Right_Wheel_100)+gu2.Speed_Right_Wheel_101)+gu2.Speed_Right_Wheel_102)+gu2.Speed_Right_Wheel_103)+gu2.Speed_Right_Wheel_104)+gu2.Speed_Right_Wheel_105)+gu2.Speed_Right_Wheel_106)+gu2.Speed_Right_Wheel_107)+gu2.Speed_Right_Wheel_108)+gu2.Speed_Right_Wheel_109)+gu2.Speed_Right_Wheel_110)+gu2.Speed_Right_Wheel_111)+gu2.Speed_Right_Wheel_112)+gu2.Speed_Right_Wheel_113)+gu2.Speed_Right_Wheel_114)+gu2.Speed_Right_Wheel_115)+gu2.Speed_Right_Wheel_116)+gu2.Speed_Right_Wheel_117)+gu2.Speed_Right_Wheel_118)+gu2.Speed_Right_Wheel_119)+gu2.Speed_Right_Wheel_120)+gu2.Speed_Right_Wheel_121)+gu2.Speed_Right_Wheel_122)+gu2.Speed_Right_Wheel_123)+gu2.Speed_Right_Wheel_124)+gu2.Speed_Right_Wheel_125)+gu2.Speed_Right_Wheel_126)+gu2.Speed_Right_Wheel_127)+gu2.Speed_Right_Wheel_128)+gu2.Speed_Right_Wheel_129)+gu2.Speed_Right_Wheel_130)+gu2.Speed_Right_Wheel_131)+gu2.Speed_Right_Wheel_132)+gu2.Speed_Right_Wheel_133)+gu2.Speed_Right_Wheel_134)+gu2.Speed_Right_Wheel_135)+gu2.Speed_Right_Wheel_136)+gu2.Speed_Right_Wheel_137)+gu2.Speed_Right_Wheel_138)+gu2.Speed_Right_Wheel_139)+gu2.Speed_Right_Wheel_140)+gu2.Speed_Right_Wheel_141)+gu2.Speed_Right_Wheel_142)+gu2.Speed_Right_Wheel_143)+gu2.Speed_Right_Wheel_144)+gu2.Speed_Right_Wheel_145)+gu2.Speed_Right_Wheel_146)+gu2.Speed_Right_Wheel_147)+gu2.Speed_Right_Wheel_148)+gu2.Speed_Right_Wheel_149)+gu2.Speed_Right_Wheel_150)+gu2.Speed_Right_Wheel_151)+gu2.Speed_Right_Wheel_152)+gu2.Speed_Right_Wheel_153)+gu2.Speed_Right_Wheel_154)+gu2.Speed_Right_Wheel_155)+gu2.Speed_Right_Wheel_156)+gu2.Speed_Right_Wheel_157)+gu2.Speed_Right_Wheel_158)+gu2.Speed_Right_Wheel_159)+gu2.Speed_Right_Wheel_160)+gu2.Speed_Right_Wheel_161)+gu2.Speed_Right_Wheel_162)+gu2.Speed_Right_Wheel_163)+gu2.Speed_Right_Wheel_164)+gu2.Speed_Right_Wheel_165)+gu2.Speed_Right_Wheel_166)+gu2.Speed_Right_Wheel_167)+gu2.Speed_Right_Wheel_168)+gu2.Speed_Right_Wheel_169)+gu2.Speed_Right_Wheel_170)+gu2.Speed_Right_Wheel_171)+gu2.Speed_Right_Wheel_172)+gu2.Speed_Right_Wheel_173)+gu2.Speed_Right_Wheel_174)+gu2.Speed_Right_Wheel_175)+gu2.Speed_Right_Wheel_176)+gu2.Speed_Right_Wheel_177)+gu2.Speed_Right_Wheel_178)+gu2.Speed_Right_Wheel_179)+gu2.Speed_Right_Wheel_180)+gu2.Speed_Right_Wheel_181)+gu2.Speed_Right_Wheel_182)+gu2.Speed_Right_Wheel_183)+gu2.Speed_Right_Wheel_184)+gu2.Speed_Right_Wheel_185)+gu2.Speed_Right_Wheel_186)+gu2.Speed_Right_Wheel_187)+gu2.Speed_Right_Wheel_188)+gu2.Speed_Right_Wheel_189)+gu2.Speed_Right_Wheel_190)+gu2.Speed_Right_Wheel_191)+gu2.Speed_Right_Wheel_192)+gu2.Speed_Right_Wheel_193)+gu2.Speed_Right_Wheel_194)+gu2.Speed_Right_Wheel_195)+gu2.Speed_Right_Wheel_196)+gu2.Speed_Right_Wheel_197)+gu2.Speed_Right_Wheel_198)+gu2.Speed_Right_Wheel_199)+gu2.Speed_Right_Wheel_200))"))
Reverse transition relation is NOT exact ! Due to transitions gi1.t4_1_162, gi1.t2_1_on, t1_1_on, t3_1_134, t5_1_101, Intersection with reachable at each step enabled. (destroyed/reverse/intersect/total) :0/809/5/814
Computing Next relation with stutter on 4.80402e+07 deadlock states
45 unique states visited
0 strongly connected components in search stack
61 transitions explored
12 items max in DFS search stack
2031 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,20.4745,350720,1,0,910,2.09443e+06,1670,101,24528,431688,1923
no accepting run found
Formula 0 is TRUE no accepting run found.
FORMULA AirplaneLD-PT-0200-00 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 1 : !(((("((((gi1.gu1.P6==1)||(gu2.stp5==0))||(gi1.gu1.P4==1))||(gi1.gu1.P6==1))")U("(gi1.gu1.P6==1)"))||(F("(gi1.gu1.P6==1)"))))
Formula 1 simplified : !(("((((gi1.gu1.P6==1)||(gu2.stp5==0))||(gi1.gu1.P4==1))||(gi1.gu1.P6==1))" U "(gi1.gu1.P6==1)") | F"(gi1.gu1.P6==1)")
Computing Next relation with stutter on 4.80402e+07 deadlock states
1 unique states visited
0 strongly connected components in search stack
0 transitions explored
1 items max in DFS search stack
149 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,21.958,401532,1,0,945,2.62619e+06,1679,131,24530,549605,2024
no accepting run found
Formula 1 is TRUE no accepting run found.
FORMULA AirplaneLD-PT-0200-02 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 2 : !((F(G("((gi1.gu3.Weight_Right_Wheel_off==0)||(gi1.gu1.P6==1))"))))
Formula 2 simplified : !FG"((gi1.gu3.Weight_Right_Wheel_off==0)||(gi1.gu1.P6==1))"
Computing Next relation with stutter on 4.80402e+07 deadlock states
Compilation finished in 24985 ms.
Running link step : CommandLine [args=[gcc, -shared, -o, gal.so, model.o], workingDir=/home/mcc/execution]
Link finished in 70 ms.
Running LTSmin : CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, <>([]((LTLAP5==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc: error while loading shared libraries: libltdl.so.7: cannot open shared object file: No such file or directory
WARNING : LTS min runner thread failed on error :java.lang.RuntimeException: Unexpected exception when executing ltsmin :CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, <>([]((LTLAP5==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
127
java.lang.RuntimeException: Unexpected exception when executing ltsmin :CommandLine [args=[/home/mcc/BenchKit//lts_install_dir//bin/pins2lts-mc, ./gal.so, --threads=8, -p, --pins-guards, --when, --ltl, <>([]((LTLAP5==true))), --buchi-type=spotba], workingDir=/home/mcc/execution]
127
at fr.lip6.move.gal.application.LTSminRunner.checkProperty(LTSminRunner.java:170)
at fr.lip6.move.gal.application.LTSminRunner.access$10(LTSminRunner.java:124)
at fr.lip6.move.gal.application.LTSminRunner$1.run(LTSminRunner.java:93)
at java.base/java.lang.Thread.run(Thread.java:834)
1 unique states visited
0 strongly connected components in search stack
0 transitions explored
1 items max in DFS search stack
366 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,25.6243,481576,1,0,992,3.49667e+06,1692,183,24534,738854,2180
no accepting run found
Formula 2 is TRUE no accepting run found.
FORMULA AirplaneLD-PT-0200-10 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 3 : !((X(("((gu2.stp5==0)||(gi1.gu1.P5==1))")U((F(G("((gi1.gu1.P1==0)||(gi1.gu3.stp2==1))")))&&("((gi1.gu1.P1==0)||(gi1.gu3.stp2==1))")))))
Formula 3 simplified : !X("((gu2.stp5==0)||(gi1.gu1.P5==1))" U ("((gi1.gu1.P1==0)||(gi1.gu3.stp2==1))" & FG"((gi1.gu1.P1==0)||(gi1.gu3.stp2==1))"))
Computing Next relation with stutter on 4.80402e+07 deadlock states
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
211 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,27.7284,538652,1,0,1023,4.1221e+06,1707,215,24551,878812,2257
an accepting run exists (use option '-e' to print it)
Formula 3 is FALSE accepting run found.
FORMULA AirplaneLD-PT-0200-11 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 4 : !((G((X(!(F("(((gi1.gu1.P1!=1)&&(gi1.gu3.stp2!=0))&&(gi1.gu1.P3!=1))"))))||("(gi1.gu1.P1==1)"))))
Formula 4 simplified : !G("(gi1.gu1.P1==1)" | X!F"(((gi1.gu1.P1!=1)&&(gi1.gu3.stp2!=0))&&(gi1.gu1.P3!=1))")
Computing Next relation with stutter on 4.80402e+07 deadlock states
18 unique states visited
8 strongly connected components in search stack
21 transitions explored
11 items max in DFS search stack
195 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,29.6738,593876,1,0,1090,4.65352e+06,1719,307,24561,1.09138e+06,2498
an accepting run exists (use option '-e' to print it)
Formula 4 is FALSE accepting run found.
FORMULA AirplaneLD-PT-0200-12 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 5 : !((F(!(G(X(F("((gi1.gu1.P3==0)||(gi1.gu1.P6==1))")))))))
Formula 5 simplified : !F!GXF"((gi1.gu1.P3==0)||(gi1.gu1.P6==1))"
Computing Next relation with stutter on 4.80402e+07 deadlock states
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
126 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,30.9427,633072,1,0,1125,5.03765e+06,1732,358,24565,1.2157e+06,2662
an accepting run exists (use option '-e' to print it)
Formula 5 is FALSE accepting run found.
FORMULA AirplaneLD-PT-0200-14 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 6 : !((G("((gi1.gu1.Plane_On_Ground_Signal_no_T==0)||(gu0.stp3==1))")))
Formula 6 simplified : !G"((gi1.gu1.Plane_On_Ground_Signal_no_T==0)||(gu0.stp3==1))"
Computing Next relation with stutter on 4.80402e+07 deadlock states
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
47 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,31.4106,643896,1,0,1140,5.14109e+06,1738,378,24571,1.25152e+06,2738
an accepting run exists (use option '-e' to print it)
Formula 6 is FALSE accepting run found.
FORMULA AirplaneLD-PT-0200-15 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
BK_STOP 1589458616291
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination LTLCardinality -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AirplaneLD-PT-0200"
export BK_EXAMINATION="LTLCardinality"
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
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool itstools"
echo " Input is AirplaneLD-PT-0200, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r006-smll-158897515800277"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-PT-0200.tgz
mv AirplaneLD-PT-0200 execution
cd execution
if [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "UpperBounds" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] || [ "LTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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
elif [ "LTLCardinality" = "ReachabilityDeadlock" ] || [ "LTLCardinality" = "QuasiLiveness" ] || [ "LTLCardinality" = "StableMarking" ] || [ "LTLCardinality" = "Liveness" ] || [ "LTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME LTLCardinality"
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 ;