fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Execution%20of%20r208su-blw3-146445822300115
Last Updated
June 30, 2016

About the Execution of Tapaal(PAR) for AirplaneLD-PT-0100

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
3626.510 3600000.00 3858500.00 2155.20 ???????????????T normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-2979
Executing tool tapaalPAR
Input is AirplaneLD-PT-0100, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r208su-blw3-146445822300115
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1464590099391


*****************************************
TAPAAL onthefly-PAR performing ReachabilityCardinality search
*****************************************

verifypn -o mc -c 4 -n model.pnml ReachabilityCardinality.xml
AirplaneLD-COL-0100-ReachabilityCardinality-0: EF ( ((((("Plane_On_Ground_Signal_no_T" + "Plane_On_Ground_Signal_no_F") <= ("SpeedPossibleVal_1" + "SpeedPossibleVal_2" + "SpeedPossibleVal_3" + "SpeedPossibleVal_4" + "SpeedPossibleVal_5" + "SpeedPossibleVal_6" + "SpeedPossibleVal_7" + "SpeedPossibleVal_8" + "SpeedPossibleVal_9" + "SpeedPossibleVal_10" + "SpeedPossibleVal_11" + "SpeedPossibleVal_12" + "SpeedPossibleVal_13" + "SpeedPossibleVal_14" + "SpeedPossibleVal_15" + "SpeedPossibleVal_16" + "SpeedPossibleVal_17" + "SpeedPossibleVal_18" + "SpeedPossibleVal_19" + "SpeedPossibleVal_20" + "SpeedPossibleVal_21" + "SpeedPossibleVal_22" + "SpeedPossibleVal_23" + "SpeedPossibleVal_24" + "SpeedPossibleVal_25" + "SpeedPossibleVal_26" + "SpeedPossibleVal_27" + "SpeedPossibleVal_28" + "SpeedPossibleVal_29" + "SpeedPossibleVal_30" + "SpeedPossibleVal_31" + "SpeedPossibleVal_32" + "SpeedPossibleVal_33" + "SpeedPossibleVal_34" + "SpeedPossibleVal_35" + "SpeedPossibleVal_36" + "SpeedPossibleVal_37" + "SpeedPossibleVal_38" + "SpeedPossibleVal_39" + "SpeedPossibleVal_40" + "SpeedPossibleVal_41" + "SpeedPossibleVal_42" + "SpeedPossibleVal_43" + "SpeedPossibleVal_44" + "SpeedPossibleVal_45" + "SpeedPossibleVal_46" + "SpeedPossibleVal_47" + "SpeedPossibleVal_48" + "SpeedPossibleVal_49" + "SpeedPossibleVal_50" + "SpeedPossibleVal_51" + "SpeedPossibleVal_52" + "SpeedPossibleVal_53" + "SpeedPossibleVal_54" + "SpeedPossibleVal_55" + "SpeedPossibleVal_56" + "SpeedPossibleVal_57" + "SpeedPossibleVal_58" + "SpeedPossibleVal_59" + "SpeedPossibleVal_60" + "SpeedPossibleVal_61" + "SpeedPossibleVal_62" + "SpeedPossibleVal_63" + "SpeedPossibleVal_64" + "SpeedPossibleVal_65" + "SpeedPossibleVal_66" + "SpeedPossibleVal_67" + "SpeedPossibleVal_68" + "SpeedPossibleVal_69" + "SpeedPossibleVal_70" + "SpeedPossibleVal_71" + "SpeedPossibleVal_72" + "SpeedPossibleVal_73" + "SpeedPossibleVal_74" + "SpeedPossibleVal_75" + "SpeedPossibleVal_76" + "SpeedPossibleVal_77" + "SpeedPossibleVal_78" + "SpeedPossibleVal_79" + "SpeedPossibleVal_80" + "SpeedPossibleVal_81" + "SpeedPossibleVal_82" + "SpeedPossibleVal_83" + "SpeedPossibleVal_84" + "SpeedPossibleVal_85" + "SpeedPossibleVal_86" + "SpeedPossibleVal_87" + "SpeedPossibleVal_88" + "SpeedPossibleVal_89" + "SpeedPossibleVal_90" + "SpeedPossibleVal_91" + "SpeedPossibleVal_92" + "SpeedPossibleVal_93" + "SpeedPossibleVal_94" + "SpeedPossibleVal_95" + "SpeedPossibleVal_96" + "SpeedPossibleVal_97" + "SpeedPossibleVal_98" + "SpeedPossibleVal_99" + "SpeedPossibleVal_100")) or (3 <= "P1")) and not((("AltitudePossibleVal_1" + "AltitudePossibleVal_2" + "AltitudePossibleVal_3" + "AltitudePossibleVal_4" + "AltitudePossibleVal_5" + "AltitudePossibleVal_6" + "AltitudePossibleVal_7" + "AltitudePossibleVal_8" + "AltitudePossibleVal_9" + "AltitudePossibleVal_10" + "AltitudePossibleVal_11" + "AltitudePossibleVal_12" + "AltitudePossibleVal_13" + "AltitudePossibleVal_14" + "AltitudePossibleVal_15" + "AltitudePossibleVal_16" + "AltitudePossibleVal_17" + "AltitudePossibleVal_18" + "AltitudePossibleVal_19" + "AltitudePossibleVal_20" + "AltitudePossibleVal_21" + "AltitudePossibleVal_22" + "AltitudePossibleVal_23" + "AltitudePossibleVal_24" + "AltitudePossibleVal_25" + "AltitudePossibleVal_26" + "AltitudePossibleVal_27" + "AltitudePossibleVal_28" + "AltitudePossibleVal_29" + "AltitudePossibleVal_30" + "AltitudePossibleVal_31" + "AltitudePossibleVal_32" + "AltitudePossibleVal_33" + "AltitudePossibleVal_34" + "AltitudePossibleVal_35" + "AltitudePossibleVal_36" + "AltitudePossibleVal_37" + "AltitudePossibleVal_38" + "AltitudePossibleVal_39" + "AltitudePossibleVal_40" + "AltitudePossibleVal_41" + "AltitudePossibleVal_42" + "AltitudePossibleVal_43" + "AltitudePossibleVal_44" + "AltitudePossibleVal_45" + "AltitudePossibleVal_46" + "AltitudePossibleVal_47" + "AltitudePossibleVal_48" + "AltitudePossibleVal_49" + "AltitudePossibleVal_50" + "AltitudePossibleVal_51" + "AltitudePossibleVal_52" + "AltitudePossibleVal_53" + "AltitudePossibleVal_54" + "AltitudePossibleVal_55" + "AltitudePossibleVal_56" + "AltitudePossibleVal_57" + "AltitudePossibleVal_58" + "AltitudePossibleVal_59" + "AltitudePossibleVal_60" + "AltitudePossibleVal_61" + "AltitudePossibleVal_62" + "AltitudePossibleVal_63" + "AltitudePossibleVal_64" + "AltitudePossibleVal_65" + "AltitudePossibleVal_66" + "AltitudePossibleVal_67" + "AltitudePossibleVal_68" + "AltitudePossibleVal_69" + "AltitudePossibleVal_70" + "AltitudePossibleVal_71" + "AltitudePossibleVal_72" + "AltitudePossibleVal_73" + "AltitudePossibleVal_74" + "AltitudePossibleVal_75" + "AltitudePossibleVal_76" + "AltitudePossibleVal_77" + "AltitudePossibleVal_78" + "AltitudePossibleVal_79" + "AltitudePossibleVal_80" + "AltitudePossibleVal_81" + "AltitudePossibleVal_82" + "AltitudePossibleVal_83" + "AltitudePossibleVal_84" + "AltitudePossibleVal_85" + "AltitudePossibleVal_86" + "AltitudePossibleVal_87" + "AltitudePossibleVal_88" + "AltitudePossibleVal_89" + "AltitudePossibleVal_90" + "AltitudePossibleVal_91" + "AltitudePossibleVal_92" + "AltitudePossibleVal_93" + "AltitudePossibleVal_94" + "AltitudePossibleVal_95" + "AltitudePossibleVal_96" + "AltitudePossibleVal_97" + "AltitudePossibleVal_98" + "AltitudePossibleVal_99" + "AltitudePossibleVal_100" + "AltitudePossibleVal_101" + "AltitudePossibleVal_102" + "AltitudePossibleVal_103" + "AltitudePossibleVal_104" + "AltitudePossibleVal_105" + "AltitudePossibleVal_106" + "AltitudePossibleVal_107" + "AltitudePossibleVal_108" + "AltitudePossibleVal_109" + "AltitudePossibleVal_110" + "AltitudePossibleVal_111" + "AltitudePossibleVal_112" + "AltitudePossibleVal_113" + "AltitudePossibleVal_114" + "AltitudePossibleVal_115" + "AltitudePossibleVal_116" + "AltitudePossibleVal_117" + "AltitudePossibleVal_118" + "AltitudePossibleVal_119" + "AltitudePossibleVal_120" + "AltitudePossibleVal_121" + "AltitudePossibleVal_122" + "AltitudePossibleVal_123" + "AltitudePossibleVal_124" + "AltitudePossibleVal_125" + "AltitudePossibleVal_126" + "AltitudePossibleVal_127" + "AltitudePossibleVal_128" + "AltitudePossibleVal_129" + "AltitudePossibleVal_130" + "AltitudePossibleVal_131" + "AltitudePossibleVal_132" + "AltitudePossibleVal_133" + "AltitudePossibleVal_134" + "AltitudePossibleVal_135" + "AltitudePossibleVal_136" + "AltitudePossibleVal_137" + "AltitudePossibleVal_138" + "AltitudePossibleVal_139" + "AltitudePossibleVal_140" + "AltitudePossibleVal_141" + "AltitudePossibleVal_142" + "AltitudePossibleVal_143" + "AltitudePossibleVal_144" + "AltitudePossibleVal_145" + "AltitudePossibleVal_146" + "AltitudePossibleVal_147" + "AltitudePossibleVal_148" + "AltitudePossibleVal_149" + "AltitudePossibleVal_150" + "AltitudePossibleVal_151" + "AltitudePossibleVal_152" + "AltitudePossibleVal_153" + "AltitudePossibleVal_154" + "AltitudePossibleVal_155" + "AltitudePossibleVal_156" + "AltitudePossibleVal_157" + "AltitudePossibleVal_158" + "AltitudePossibleVal_159" + "AltitudePossibleVal_160" + "AltitudePossibleVal_161" + "AltitudePossibleVal_162" + "AltitudePossibleVal_163" + "AltitudePossibleVal_164" + "AltitudePossibleVal_165" + "AltitudePossibleVal_166" + "AltitudePossibleVal_167" + "AltitudePossibleVal_168" + "AltitudePossibleVal_169" + "AltitudePossibleVal_170" + "AltitudePossibleVal_171" + "AltitudePossibleVal_172" + "AltitudePossibleVal_173" + "AltitudePossibleVal_174" + "AltitudePossibleVal_175" + "AltitudePossibleVal_176" + "AltitudePossibleVal_177" + "AltitudePossibleVal_178" + "AltitudePossibleVal_179" + "AltitudePossibleVal_180" + "AltitudePossibleVal_181" + "AltitudePossibleVal_182" + "AltitudePossibleVal_183" + "AltitudePossibleVal_184" + "AltitudePossibleVal_185" + "AltitudePossibleVal_186" + "AltitudePossibleVal_187" + "AltitudePossibleVal_188" + "AltitudePossibleVal_189" + "AltitudePossibleVal_190" + "AltitudePossibleVal_191" + "AltitudePossibleVal_192" + "AltitudePossibleVal_193" + "AltitudePossibleVal_194" + "AltitudePossibleVal_195" + "AltitudePossibleVal_196" + "AltitudePossibleVal_197" + "AltitudePossibleVal_198" + "AltitudePossibleVal_199" + "AltitudePossibleVal_200") <= "P4"))) and (3 <= ("Plane_On_Ground_Signal_no_T" + "Plane_On_Ground_Signal_no_F"))) )

query: EF ( ((((("Plane_On_Ground_Signal_no_T" + "Plane_On_Ground_Signal_no_F") <= ("SpeedPossibleVal_1" + "SpeedPossibleVal_2" + "SpeedPossibleVal_3" + "SpeedPossibleVal_4" + "SpeedPossibleVal_5" + "SpeedPossibleVal_6" + "SpeedPossibleVal_7" + "SpeedPossibleVal_8" + "SpeedPossibleVal_9" + "SpeedPossibleVal_10" + "SpeedPossibleVal_11" + "SpeedPossibleVal_12" + "SpeedPossibleVal_13" + "SpeedPossibleVal_14" + "SpeedPossibleVal_15" + "SpeedPossibleVal_16" + "SpeedPossibleVal_17" + "SpeedPossibleVal_18" + "SpeedPossibleVal_19" + "SpeedPossibleVal_20" + "SpeedPossibleVal_21" + "SpeedPossibleVal_22" + "SpeedPossibleVal_23" + "SpeedPossibleVal_24" + "SpeedPossibleVal_25" + "SpeedPossibleVal_26" + "SpeedPossibleVal_27" + "SpeedPossibleVal_28" + "SpeedPossibleVal_29" + "SpeedPossibleVal_30" + "SpeedPossibleVal_31" + "SpeedPossibleVal_32" + "SpeedPossibleVal_33" + "SpeedPossibleVal_34" + "SpeedPossibleVal_35" + "SpeedPossibleVal_36" + "SpeedPossibleVal_37" + "SpeedPossibleVal_38" + "SpeedPossibleVal_39" + "SpeedPossibleVal_40" + "SpeedPossibleVal_41" + "SpeedPossibleVal_42" + "SpeedPossibleVal_43" + "SpeedPossibleVal_44" + "SpeedPossibleVal_45" + "SpeedPossibleVal_46" + "SpeedPossibleVal_47" + "SpeedPossibleVal_48" + "SpeedPossibleVal_49" + "SpeedPossibleVal_50" + "SpeedPossibleVal_51" + "SpeedPossibleVal_52" + "SpeedPossibleVal_53" + "SpeedPossibleVal_54" + "SpeedPossibleVal_55" + "SpeedPossibleVal_56" + "SpeedPossibleVal_57" + "SpeedPossibleVal_58" + "SpeedPossibleVal_59" + "SpeedPossibleVal_60" + "SpeedPossibleVal_61" + "SpeedPossibleVal_62" + "SpeedPossibleVal_63" + "SpeedPossibleVal_64" + "SpeedPossibleVal_65" + "SpeedPossibleVal_66" + "SpeedPossibleVal_67" + "SpeedPossibleVal_68" + "SpeedPossibleVal_69" + "SpeedPossibleVal_70" + "SpeedPossibleVal_71" + "SpeedPossibleVal_72" + "SpeedPossibleVal_73" + "SpeedPossibleVal_74" + "SpeedPossibleVal_75" + "SpeedPossibleVal_76" + "SpeedPossibleVal_77" + "SpeedPossibleVal_78" + "SpeedPossibleVal_79" + "SpeedPossibleVal_80" + "SpeedPossibleVal_81" + "SpeedPossibleVal_82" + "SpeedPossibleVal_83" + "SpeedPossibleVal_84" + "SpeedPossibleVal_85" + "SpeedPossibleVal_86" + "SpeedPossibleVal_87" + "SpeedPossibleVal_88" + "SpeedPossibleVal_89" + "SpeedPossibleVal_90" + "SpeedPossibleVal_91" + "SpeedPossibleVal_92" + "SpeedPossibleVal_93" + "SpeedPossibleVal_94" + "SpeedPossibleVal_95" + "SpeedPossibleVal_96" + "SpeedPossibleVal_97" + "SpeedPossibleVal_98" + "SpeedPossibleVal_99" + "SpeedPossibleVal_100")) or (3 <= "P1")) and not((("AltitudePossibleVal_1" + "AltitudePossibleVal_2" + "AltitudePossibleVal_3" + "AltitudePossibleVal_4" + "AltitudePossibleVal_5" + "AltitudePossibleVal_6" + "AltitudePossibleVal_7" + "AltitudePossibleVal_8" + "AltitudePossibleVal_9" + "AltitudePossibleVal_10" + "AltitudePossibleVal_11" + "AltitudePossibleVal_12" + "AltitudePossibleVal_13" + "AltitudePossibleVal_14" + "AltitudePossibleVal_15" + "AltitudePossibleVal_16" + "AltitudePossibleVal_17" + "AltitudePossibleVal_18" + "AltitudePossibleVal_19" + "AltitudePossibleVal_20" + "AltitudePossibleVal_21" + "AltitudePossibleVal_22" + "AltitudePossibleVal_23" + "AltitudePossibleVal_24" + "AltitudePossibleVal_25" + "AltitudePossibleVal_26" + "AltitudePossibleVal_27" + "AltitudePossibleVal_28" + "AltitudePossibleVal_29" + "AltitudePossibleVal_30" + "AltitudePossibleVal_31" + "AltitudePossibleVal_32" + "AltitudePossibleVal_33" + "AltitudePossibleVal_34" + "AltitudePossibleVal_35" + "AltitudePossibleVal_36" + "AltitudePossibleVal_37" + "AltitudePossibleVal_38" + "AltitudePossibleVal_39" + "AltitudePossibleVal_40" + "AltitudePossibleVal_41" + "AltitudePossibleVal_42" + "AltitudePossibleVal_43" + "AltitudePossibleVal_44" + "AltitudePossibleVal_45" + "AltitudePossibleVal_46" + "AltitudePossibleVal_47" + "AltitudePossibleVal_48" + "AltitudePossibleVal_49" + "AltitudePossibleVal_50" + "AltitudePossibleVal_51" + "AltitudePossibleVal_52" + "AltitudePossibleVal_53" + "AltitudePossibleVal_54" + "AltitudePossibleVal_55" + "AltitudePossibleVal_56" + "AltitudePossibleVal_57" + "AltitudePossibleVal_58" + "AltitudePossibleVal_59" + "AltitudePossibleVal_60" + "AltitudePossibleVal_61" + "AltitudePossibleVal_62" + "AltitudePossibleVal_63" + "AltitudePossibleVal_64" + "AltitudePossibleVal_65" + "AltitudePossibleVal_66" + "AltitudePossibleVal_67" + "AltitudePossibleVal_68" + "AltitudePossibleVal_69" + "AltitudePossibleVal_70" + "AltitudePossibleVal_71" + "AltitudePossibleVal_72" + "AltitudePossibleVal_73" + "AltitudePossibleVal_74" + "AltitudePossibleVal_75" + "AltitudePossibleVal_76" + "AltitudePossibleVal_77" + "AltitudePossibleVal_78" + "AltitudePossibleVal_79" + "AltitudePossibleVal_80" + "AltitudePossibleVal_81" + "AltitudePossibleVal_82" + "AltitudePossibleVal_83" + "AltitudePossibleVal_84" + "AltitudePossibleVal_85" + "AltitudePossibleVal_86" + "AltitudePossibleVal_87" + "AltitudePossibleVal_88" + "AltitudePossibleVal_89" + "AltitudePossibleVal_90" + "AltitudePossibleVal_91" + "AltitudePossibleVal_92" + "AltitudePossibleVal_93" + "AltitudePossibleVal_94" + "AltitudePossibleVal_95" + "AltitudePossibleVal_96" + "AltitudePossibleVal_97" + "AltitudePossibleVal_98" + "AltitudePossibleVal_99" + "AltitudePossibleVal_100" + "AltitudePossibleVal_101" + "AltitudePossibleVal_102" + "AltitudePossibleVal_103" + "AltitudePossibleVal_104" + "AltitudePossibleVal_105" + "AltitudePossibleVal_106" + "AltitudePossibleVal_107" + "AltitudePossibleVal_108" + "AltitudePossibleVal_109" + "AltitudePossibleVal_110" + "AltitudePossibleVal_111" + "AltitudePossibleVal_112" + "AltitudePossibleVal_113" + "AltitudePossibleVal_114" + "AltitudePossibleVal_115" + "AltitudePossibleVal_116" + "AltitudePossibleVal_117" + "AltitudePossibleVal_118" + "AltitudePossibleVal_119" + "AltitudePossibleVal_120" + "AltitudePossibleVal_121" + "AltitudePossibleVal_122" + "AltitudePossibleVal_123" + "AltitudePossibleVal_124" + "AltitudePossibleVal_125" + "AltitudePossibleVal_126" + "AltitudePossibleVal_127" + "AltitudePossibleVal_128" + "AltitudePossibleVal_129" + "AltitudePossibleVal_130" + "AltitudePossibleVal_131" + "AltitudePossibleVal_132" + "AltitudePossibleVal_133" + "AltitudePossibleVal_134" + "AltitudePossibleVal_135" + "AltitudePossibleVal_136" + "AltitudePossibleVal_137" + "AltitudePossibleVal_138" + "AltitudePossibleVal_139" + "AltitudePossibleVal_140" + "AltitudePossibleVal_141" + "AltitudePossibleVal_142" + "AltitudePossibleVal_143" + "AltitudePossibleVal_144" + "AltitudePossibleVal_145" + "AltitudePossibleVal_146" + "AltitudePossibleVal_147" + "AltitudePossibleVal_148" + "AltitudePossibleVal_149" + "AltitudePossibleVal_150" + "AltitudePossibleVal_151" + "AltitudePossibleVal_152" + "AltitudePossibleVal_153" + "AltitudePossibleVal_154" + "AltitudePossibleVal_155" + "AltitudePossibleVal_156" + "AltitudePossibleVal_157" + "AltitudePossibleVal_158" + "AltitudePossibleVal_159" + "AltitudePossibleVal_160" + "AltitudePossibleVal_161" + "AltitudePossibleVal_162" + "AltitudePossibleVal_163" + "AltitudePossibleVal_164" + "AltitudePossibleVal_165" + "AltitudePossibleVal_166" + "AltitudePossibleVal_167" + "AltitudePossibleVal_168" + "AltitudePossibleVal_169" + "AltitudePossibleVal_170" + "AltitudePossibleVal_171" + "AltitudePossibleVal_172" + "AltitudePossibleVal_173" + "AltitudePossibleVal_174" + "AltitudePossibleVal_175" + "AltitudePossibleVal_176" + "AltitudePossibleVal_177" + "AltitudePossibleVal_178" + "AltitudePossibleVal_179" + "AltitudePossibleVal_180" + "AltitudePossibleVal_181" + "AltitudePossibleVal_182" + "AltitudePossibleVal_183" + "AltitudePossibleVal_184" + "AltitudePossibleVal_185" + "AltitudePossibleVal_186" + "AltitudePossibleVal_187" + "AltitudePossibleVal_188" + "AltitudePossibleVal_189" + "AltitudePossibleVal_190" + "AltitudePossibleVal_191" + "AltitudePossibleVal_192" + "AltitudePossibleVal_193" + "AltitudePossibleVal_194" + "AltitudePossibleVal_195" + "AltitudePossibleVal_196" + "AltitudePossibleVal_197" + "AltitudePossibleVal_198" + "AltitudePossibleVal_199" + "AltitudePossibleVal_200") <= "P4"))) and (3 <= ("Plane_On_Ground_Signal_no_T" + "Plane_On_Ground_Signal_no_F"))) )
AirplaneLD-COL-0100-ReachabilityCardinality-1: EF ( ((((("Weight_Left_Wheel_on" + "Weight_Left_Wheel_off") <= "stp1") and (1 <= ("Weight_Left_Wheel_on" + "Weight_Left_Wheel_off"))) and (3 <= "P4")) or (3 <= ("Speed_Left_Wheel_1" + "Speed_Left_Wheel_2" + "Speed_Left_Wheel_3" + "Speed_Left_Wheel_4" + "Speed_Left_Wheel_5" + "Speed_Left_Wheel_6" + "Speed_Left_Wheel_7" + "Speed_Left_Wheel_8" + "Speed_Left_Wheel_9" + "Speed_Left_Wheel_10" + "Speed_Left_Wheel_11" + "Speed_Left_Wheel_12" + "Speed_Left_Wheel_13" + "Speed_Left_Wheel_14" + "Speed_Left_Wheel_15" + "Speed_Left_Wheel_16" + "Speed_Left_Wheel_17" + "Speed_Left_Wheel_18" + "Speed_Left_Wheel_19" + "Speed_Left_Wheel_20" + "Speed_Left_Wheel_21" + "Speed_Left_Wheel_22" + "Speed_Left_Wheel_23" + "Speed_Left_Wheel_24" + "Speed_Left_Wheel_25" + "Speed_Left_Wheel_26" + "Speed_Left_Wheel_27" + "Speed_Left_Wheel_28" + "Speed_Left_Wheel_29" + "Speed_Left_Wheel_30" + "Speed_Left_Wheel_31" + "Speed_Left_Wheel_32" + "Speed_Left_Wheel_33" + "Speed_Left_Wheel_34" + "Speed_Left_Wheel_35" + "Speed_Left_Wheel_36" + "Speed_Left_Wheel_37" + "Speed_Left_Wheel_38" + "Speed_Left_Wheel_39" + "Speed_Left_Wheel_40" + "Speed_Left_Wheel_41" + "Speed_Left_Wheel_42" + "Speed_Left_Wheel_43" + "Speed_Left_Wheel_44" + "Speed_Left_Wheel_45" + "Speed_Left_Wheel_46" + "Speed_Left_Wheel_47" + "Speed_Left_Wheel_48" + "Speed_Left_Wheel_49" + "Speed_Left_Wheel_50" + "Speed_Left_Wheel_51" + "Speed_Left_Wheel_52" + "Speed_Left_Wheel_53" + "Speed_Left_Wheel_54" + "Speed_Left_Wheel_55" + "Speed_Left_Wheel_56" + "Speed_Left_Wheel_57" + "Speed_Left_Wheel_58" + "Speed_Left_Wheel_59" + "Speed_Left_Wheel_60" + "Speed_Left_Wheel_61" + "Speed_Left_Wheel_62" + "Speed_Left_Wheel_63" + "Speed_Left_Wheel_64" + "Speed_Left_Wheel_65" + "Speed_Left_Wheel_66" + "Speed_Left_Wheel_67" + "Speed_Left_Wheel_68" + "Speed_Left_Wheel_69" + "Speed_Left_Wheel_70" + "Speed_Left_Wheel_71" + "Speed_Left_Wheel_72" + "Speed_Left_Wheel_73" + "Speed_Left_Wheel_74" + "Speed_Left_Wheel_75" + "Speed_Left_Wheel_76" + "Speed_Left_Wheel_77" + "Speed_Left_Wheel_78" + "Speed_Left_Wheel_79" + "Speed_Left_Wheel_80" + "Speed_Left_Wheel_81" + "Speed_Left_Wheel_82" + "Speed_Left_Wheel_83" + "Speed_Left_Wheel_84" + "Speed_Left_Wheel_85" + "Speed_Left_Wheel_86" + "Speed_Left_Wheel_87" + "Speed_Left_Wheel_88" + "Speed_Left_Wheel_89" + "Speed_Left_Wheel_90" + "Speed_Left_Wheel_91" + "Speed_Left_Wheel_92" + "Speed_Left_Wheel_93" + "Speed_Left_Wheel_94" + "Speed_Left_Wheel_95" + "Speed_Left_Wheel_96" + "Speed_Left_Wheel_97" + "Speed_Left_Wheel_98" + "Speed_Left_Wheel_99" + "Speed_Left_Wheel_100"))) )

query: EF ( ((((("Weight_Left_Wheel_on" + "Weight_Left_Wheel_off") <= "stp1") and (1 <= ("Weight_Left_Wheel_on" + "Weight_Left_Wheel_off"))) and (3 <= "P4")) or (3 <= ("Speed_Left_Wheel_1" + "Speed_Left_Wheel_2" + "Speed_Left_Wheel_3" + "Speed_Left_Wheel_4" + "Speed_Left_Wheel_5" + "Speed_Left_Wheel_6" + "Speed_Left_Wheel_7" + "Speed_Left_Wheel_8" + "Speed_Left_Wheel_9" + "Speed_Left_Wheel_10" + "Speed_Left_Wheel_11" + "Speed_Left_Wheel_12" + "Speed_Left_Wheel_13" + "Speed_Left_Wheel_14" + "Speed_Left_Wheel_15" + "Speed_Left_Wheel_16" + "Speed_Left_Wheel_17" + "Speed_Left_Wheel_18" + "Speed_Left_Wheel_19" + "Speed_Left_Wheel_20" + "Speed_Left_Wheel_21" + "Speed_Left_Wheel_22" + "Speed_Left_Wheel_23" + "Speed_Left_Wheel_24" + "Speed_Left_Wheel_25" + "Speed_Left_Wheel_26" + "Speed_Left_Wheel_27" + "Speed_Left_Wheel_28" + "Speed_Left_Wheel_29" + "Speed_Left_Wheel_30" + "Speed_Left_Wheel_31" + "Speed_Left_Wheel_32" + "Speed_Left_Wheel_33" + "Speed_Left_Wheel_34" + "Speed_Left_Wheel_35" + "Speed_Left_Wheel_36" + "Speed_Left_Wheel_37" + "Speed_Left_Wheel_38" + "Speed_Left_Wheel_39" + "Speed_Left_Wheel_40" + "Speed_Left_Wheel_41" + "Speed_Left_Wheel_42" + "Speed_Left_Wheel_43" + "Speed_Left_Wheel_44" + "Speed_Left_Wheel_45" + "Speed_Left_Wheel_46" + "Speed_Left_Wheel_47" + "Speed_Left_Wheel_48" + "Speed_Left_Wheel_49" + "Speed_Left_Wheel_50" + "Speed_Left_Wheel_51" + "Speed_Left_Wheel_52" + "Speed_Left_Wheel_53" + "Speed_Left_Wheel_54" + "Speed_Left_Wheel_55" + "Speed_Left_Wheel_56" + "Speed_Left_Wheel_57" + "Speed_Left_Wheel_58" + "Speed_Left_Wheel_59" + "Speed_Left_Wheel_60" + "Speed_Left_Wheel_61" + "Speed_Left_Wheel_62" + "Speed_Left_Wheel_63" + "Speed_Left_Wheel_64" + "Speed_Left_Wheel_65" + "Speed_Left_Wheel_66" + "Speed_Left_Wheel_67" + "Speed_Left_Wheel_68" + "Speed_Left_Wheel_69" + "Speed_Left_Wheel_70" + "Speed_Left_Wheel_71" + "Speed_Left_Wheel_72" + "Speed_Left_Wheel_73" + "Speed_Left_Wheel_74" + "Speed_Left_Wheel_75" + "Speed_Left_Wheel_76" + "Speed_Left_Wheel_77" + "Speed_Left_Wheel_78" + "Speed_Left_Wheel_79" + "Speed_Left_Wheel_80" + "Speed_Left_Wheel_81" + "Speed_Left_Wheel_82" + "Speed_Left_Wheel_83" + "Speed_Left_Wheel_84" + "Speed_Left_Wheel_85" + "Speed_Left_Wheel_86" + "Speed_Left_Wheel_87" + "Speed_Left_Wheel_88" + "Speed_Left_Wheel_89" + "Speed_Left_Wheel_90" + "Speed_Left_Wheel_91" + "Speed_Left_Wheel_92" + "Speed_Left_Wheel_93" + "Speed_Left_Wheel_94" + "Speed_Left_Wheel_95" + "Speed_Left_Wheel_96" + "Speed_Left_Wheel_97" + "Speed_Left_Wheel_98" + "Speed_Left_Wheel_99" + "Speed_Left_Wheel_100"))) )
AirplaneLD-COL-0100-ReachabilityCardinality-2: not EF not ( ((("stp3" <= ("Plane_On_Ground_Signal_no_T" + "Plane_On_Ground_Signal_no_F")) and not((3 <= "stp1"))) or (not((("AltitudePossibleVal_1" + "AltitudePossibleVal_2" + "AltitudePossibleVal_3" + "AltitudePossibleVal_4" + "AltitudePossibleVal_5" + "AltitudePossibleVal_6" + "AltitudePossibleVal_7" + "AltitudePossibleVal_8" + "AltitudePossibleVal_9" + "AltitudePossibleVal_10" + "AltitudePossibleVal_11" + "AltitudePossibleVal_12" + "AltitudePossibleVal_13" + "AltitudePossibleVal_14" + "AltitudePossibleVal_15" + "AltitudePossibleVal_16" + "AltitudePossibleVal_17" + "AltitudePossibleVal_18" + "AltitudePossibleVal_19" + "AltitudePossibleVal_20" + "AltitudePossibleVal_21" + "AltitudePossibleVal_22" + "AltitudePossibleVal_23" + "AltitudePossibleVal_24" + "AltitudePossibleVal_25" + "AltitudePossibleVal_26" + "AltitudePossibleVal_27" + "AltitudePossibleVal_28" + "AltitudePossibleVal_29" + "AltitudePossibleVal_30" + "AltitudePossibleVal_31" + "AltitudePossibleVal_32" + "AltitudePossibleVal_33" + "AltitudePossibleVal_34" + "AltitudePossibleVal_35" + "AltitudePossibleVal_36" + "AltitudePossibleVal_37" + "AltitudePossibleVal_38" + "AltitudePossibleVal_39" + "AltitudePossibleVal_40" + "AltitudePossibleVal_41" + "AltitudePossibleVal_42" + "AltitudePossibleVal_43" + "AltitudePossibleVal_44" + "AltitudePossibleVal_45" + "AltitudePossibleVal_46" + "AltitudePossibleVal_47" + "AltitudePossibleVal_48" + "AltitudePossibleVal_49" + "AltitudePossibleVal_50" + "AltitudePossibleVal_51" + "AltitudePossibleVal_52" + "AltitudePossibleVal_53" + "AltitudePossibleVal_54" + "AltitudePossibleVal_55" + "AltitudePossibleVal_56" + "AltitudePossibleVal_57" + "AltitudePossibleVal_58" + "AltitudePossibleVal_59" + "AltitudePossibleVal_60" + "AltitudePossibleVal_61" + "AltitudePossibleVal_62" + "AltitudePossibleVal_63" + "AltitudePossibleVal_64" + "AltitudePossibleVal_65" + "AltitudePossibleVal_66" + "AltitudePossibleVal_67" + "AltitudePossibleVal_68" + "AltitudePossibleVal_69" + "AltitudePossibleVal_70" + "AltitudePossibleVal_71" + "AltitudePossibleVal_72" + "AltitudePossibleVal_73" + "AltitudePossibleVal_74" + "AltitudePossibleVal_75" + "AltitudePossibleVal_76" + "AltitudePossibleVal_77" + "AltitudePossibleVal_78" + "AltitudePossibleVal_79" + "AltitudePossibleVal_80" + "AltitudePossibleVal_81" + "AltitudePossibleVal_82" + "AltitudePossibleVal_83" + "AltitudePossibleVal_84" + "AltitudePossibleVal_85" + "AltitudePossibleVal_86" + "AltitudePossibleVal_87" + "AltitudePossibleVal_88" + "AltitudePossibleVal_89" + "AltitudePossibleVal_90" + "AltitudePossibleVal_91" + "AltitudePossibleVal_92" + "AltitudePossibleVal_93" + "AltitudePossibleVal_94" + "AltitudePossibleVal_95" + "AltitudePossibleVal_96" + "AltitudePossibleVal_97" + "AltitudePossibleVal_98" + "AltitudePossibleVal_99" + "AltitudePossibleVal_100" + "AltitudePossibleVal_101" + "AltitudePossibleVal_102" + "AltitudePossibleVal_103" + "AltitudePossibleVal_104" + "AltitudePossibleVal_105" + "AltitudePossibleVal_106" + "AltitudePossibleVal_107" + "AltitudePossibleVal_108" + "AltitudePossibleVal_109" + "AltitudePossibleVal_110" + "AltitudePossibleVal_111" + "AltitudePossibleVal_112" + "AltitudePossibleVal_113" + "AltitudePossibleVal_114" + "AltitudePossibleVal_115" + "AltitudePossibleVal_116" + "AltitudePossibleVal_117" + "AltitudePossibleVal_118" + "AltitudePossibleVal_119" + "AltitudePossibleVal_120" + "AltitudePossibleVal_121" + "AltitudePossibleVal_122" + "AltitudePossibleVal_123" + "AltitudePossibleVal_124" + "AltitudePossibleVal_125" + "AltitudePossibleVal_126" + "AltitudePossibleVal_127" + "AltitudePossibleVal_128" + "AltitudePossibleVal_129" + "AltitudePossibleVal_130" + "AltitudePossibleVal_131" + "AltitudePossibleVal_132" + "AltitudePossibleVal_133" + "AltitudePossibleVal_134" + "AltitudePossibleVal_135" + "AltitudePossibleVal_136" + "AltitudePossibleVal_137" + "AltitudePossibleVal_138" + "AltitudePossibleVal_139" + "AltitudePossibleVal_140" + "AltitudePossibleVal_141" + "AltitudePossibleVal_142" + "AltitudePossibleVal_143" + "AltitudePossibleVal_144" + "AltitudePossibleVal_145" + "AltitudePossibleVal_146" + "AltitudePossibleVal_147" + "AltitudePossibleVal_148" + "AltitudePossibleVal_149" + "AltitudePossibleVal_150" + "AltitudePossibleVal_151" + "AltitudePossibleVal_152" + "AltitudePossibleVal_153" + "AltitudePossibleVal_154" + "AltitudePossibleVal_155" + "AltitudePossibleVal_156" + "AltitudePossibleVal_157" + "AltitudePossibleVal_158" + "AltitudePossibleVal_159" + "AltitudePossibleVal_160" + "AltitudePossibleVal_161" + "AltitudePossibleVal_162" + "AltitudePossibleVal_163" + "AltitudePossibleVal_164" + "AltitudePossibleVal_165" + "AltitudePossibleVal_166" + "AltitudePossibleVal_167" + "AltitudePossibleVal_168" + "AltitudePossibleVal_169" + "AltitudePossibleVal_170" + "AltitudePossibleVal_171" + "AltitudePossibleVal_172" + "AltitudePossibleVal_173" + "AltitudePossibleVal_174" + "AltitudePossibleVal_175" + "AltitudePossibleVal_176" + "AltitudePossibleVal_177" + "AltitudePossibleVal_178" + "AltitudePossibleVal_179" + "AltitudePossibleVal_180" + "AltitudePossibleVal_181" + "AltitudePossibleVal_182" + "AltitudePossibleVal_183" + "AltitudePossibleVal_184" + "AltitudePossibleVal_185" + "AltitudePossibleVal_186" + "AltitudePossibleVal_187" + "AltitudePossibleVal_188" + "AltitudePossibleVal_189" + "AltitudePossibleVal_190" + "AltitudePossibleVal_191" + "AltitudePossibleVal_192" + "AltitudePossibleVal_193" + "AltitudePossibleVal_194" + "AltitudePossibleVal_195" + "AltitudePossibleVal_196" + "AltitudePossibleVal_197" + "AltitudePossibleVal_198" + "AltitudePossibleVal_199" + "AltitudePossibleVal_200") <= ("WeightPossibleVal_on" + "WeightPossibleVal_off"))) or ((3 <= "stp4") and ("stp4" <= ("Weight_Right_Wheel_on" + "Weight_Right_Wheel_off"))))) )

query: EF not ( ((("stp3" <= ("Plane_On_Ground_Signal_no_T" + "Plane_On_Ground_Signal_no_F")) and not((3 <= "stp1"))) or (not((("AltitudePossibleVal_1" + "AltitudePossibleVal_2" + "AltitudePossibleVal_3" + "AltitudePossibleVal_4" + "AltitudePossibleVal_5" + "AltitudePossibleVal_6" + "AltitudePossibleVal_7" + "AltitudePossibleVal_8" + "AltitudePossibleVal_9" + "AltitudePossibleVal_10" + "AltitudePossibleVal_11" + "AltitudePossibleVal_12" + "AltitudePossibleVal_13" + "AltitudePossibleVal_14" + "AltitudePossibleVal_15" + "AltitudePossibleVal_16" + "AltitudePossibleVal_17" + "AltitudePossibleVal_18" + "AltitudePossibleVal_19" + "AltitudePossibleVal_20" + "AltitudePossibleVal_21" + "AltitudePossibleVal_22" + "AltitudePossibleVal_23" + "AltitudePossibleVal_24" + "AltitudePossibleVal_25" + "AltitudePossibleVal_26" + "AltitudePossibleVal_27" + "AltitudePossibleVal_28" + "AltitudePossibleVal_29" + "AltitudePossibleVal_30" + "AltitudePossibleVal_31" + "AltitudePossibleVal_32" + "AltitudePossibleVal_33" + "AltitudePossibleVal_34" + "AltitudePossibleVal_35" + "AltitudePossibleVal_36" + "AltitudePossibleVal_37" + "AltitudePossibleVal_38" + "AltitudePossibleVal_39" + "AltitudePossibleVal_40" + "AltitudePossibleVal_41" + "AltitudePossibleVal_42" + "AltitudePossibleVal_43" + "AltitudePossibleVal_44" + "AltitudePossibleVal_45" + "AltitudePossibleVal_46" + "AltitudePossibleVal_47" + "AltitudePossibleVal_48" + "AltitudePossibleVal_49" + "AltitudePossibleVal_50" + "AltitudePossibleVal_51" + "AltitudePossibleVal_52" + "AltitudePossibleVal_53" + "AltitudePossibleVal_54" + "AltitudePossibleVal_55" + "AltitudePossibleVal_56" + "AltitudePossibleVal_57" + "AltitudePossibleVal_58" + "AltitudePossibleVal_59" + "AltitudePossibleVal_60" + "AltitudePossibleVal_61" + "AltitudePossibleVal_62" + "AltitudePossibleVal_63" + "AltitudePossibleVal_64" + "AltitudePossibleVal_65" + "AltitudePossibleVal_66" + "AltitudePossibleVal_67" + "AltitudePossibleVal_68" + "AltitudePossibleVal_69" + "AltitudePossibleVal_70" + "AltitudePossibleVal_71" + "AltitudePossibleVal_72" + "AltitudePossibleVal_73" + "AltitudePossibleVal_74" + "AltitudePossibleVal_75" + "AltitudePossibleVal_76" + "AltitudePossibleVal_77" + "AltitudePossibleVal_78" + "AltitudePossibleVal_79" + "AltitudePossibleVal_80" + "AltitudePossibleVal_81" + "AltitudePossibleVal_82" + "AltitudePossibleVal_83" + "AltitudePossibleVal_84" + "AltitudePossibleVal_85" + "AltitudePossibleVal_86" + "AltitudePossibleVal_87" + "AltitudePossibleVal_88" + "AltitudePossibleVal_89" + "AltitudePossibleVal_90" + "AltitudePossibleVal_91" + "AltitudePossibleVal_92" + "AltitudePossibleVal_93" + "AltitudePossibleVal_94" + "AltitudePossibleVal_95" + "AltitudePossibleVal_96" + "AltitudePossibleVal_97" + "AltitudePossibleVal_98" + "AltitudePossibleVal_99" + "AltitudePossibleVal_100" + "AltitudePossibleVal_101" + "AltitudePossibleVal_102" + "AltitudePossibleVal_103" + "AltitudePossibleVal_104" + "AltitudePossibleVal_105" + "AltitudePossibleVal_106" + "AltitudePossibleVal_107" + "AltitudePossibleVal_108" + "AltitudePossibleVal_109" + "AltitudePossibleVal_110" + "AltitudePossibleVal_111" + "AltitudePossibleVal_112" + "AltitudePossibleVal_113" + "AltitudePossibleVal_114" + "AltitudePossibleVal_115" + "AltitudePossibleVal_116" + "AltitudePossibleVal_117" + "AltitudePossibleVal_118" + "AltitudePossibleVal_119" + "AltitudePossibleVal_120" + "AltitudePossibleVal_121" + "AltitudePossibleVal_122" + "AltitudePossibleVal_123" + "AltitudePossibleVal_124" + "AltitudePossibleVal_125" + "AltitudePossibleVal_126" + "AltitudePossibleVal_127" + "AltitudePossibleVal_128" + "AltitudePossibleVal_129" + "AltitudePossibleVal_130" + "AltitudePossibleVal_131" + "AltitudePossibleVal_132" + "AltitudePossibleVal_133" + "AltitudePossibleVal_134" + "AltitudePossibleVal_135" + "AltitudePossibleVal_136" + "AltitudePossibleVal_137" + "AltitudePossibleVal_138" + "AltitudePossibleVal_139" + "AltitudePossibleVal_140" + "AltitudePossibleVal_141" + "AltitudePossibleVal_142" + "AltitudePossibleVal_143" + "AltitudePossibleVal_144" + "AltitudePossibleVal_145" + "AltitudePossibleVal_146" + "AltitudePossibleVal_147" + "AltitudePossibleVal_148" + "AltitudePossibleVal_149" + "AltitudePossibleVal_150" + "AltitudePossibleVal_151" + "AltitudePossibleVal_152" + "AltitudePossibleVal_153" + "AltitudePossibleVal_154" + "AltitudePossibleVal_155" + "AltitudePossibleVal_156" + "AltitudePossibleVal_157" + "AltitudePossibleVal_158" + "AltitudePossibleVal_159" + "AltitudePossibleVal_160" + "AltitudePossibleVal_161" + "AltitudePossibleVal_162" + "AltitudePossibleVal_163" + "AltitudePossibleVal_164" + "AltitudePossibleVal_165" + "AltitudePossibleVal_166" + "AltitudePossibleVal_167" + "AltitudePossibleVal_168" + "AltitudePossibleVal_169" + "AltitudePossibleVal_170" + "AltitudePossibleVal_171" + "AltitudePossibleVal_172" + "AltitudePossibleVal_173" + "AltitudePossibleVal_174" + "AltitudePossibleVal_175" + "AltitudePossibleVal_176" + "AltitudePossibleVal_177" + "AltitudePossibleVal_178" + "AltitudePossibleVal_179" + "AltitudePossibleVal_180" + "AltitudePossibleVal_181" + "AltitudePossibleVal_182" + "AltitudePossibleVal_183" + "AltitudePossibleVal_184" + "AltitudePossibleVal_185" + "AltitudePossibleVal_186" + "AltitudePossibleVal_187" + "AltitudePossibleVal_188" + "AltitudePossibleVal_189" + "AltitudePossibleVal_190" + "AltitudePossibleVal_191" + "AltitudePossibleVal_192" + "AltitudePossibleVal_193" + "AltitudePossibleVal_194" + "AltitudePossibleVal_195" + "AltitudePossibleVal_196" + "AltitudePossibleVal_197" + "AltitudePossibleVal_198" + "AltitudePossibleVal_199" + "AltitudePossibleVal_200") <= ("WeightPossibleVal_on" + "WeightPossibleVal_off"))) or ((3 <= "stp4") and ("stp4" <= ("Weight_Right_Wheel_on" + "Weight_Right_Wheel_off"))))) )
AirplaneLD-COL-0100-ReachabilityCardinality-3: EF ( (3 <= ("Weight_Left_Wheel_on" + "Weight_Left_Wheel_off")) )

query: EF ( (3 <= ("Weight_Left_Wheel_on" + "Weight_Left_Wheel_off")) )
AirplaneLD-COL-0100-ReachabilityCardinality-4: not EF not ( (not(((3 <= "P2") and (2 <= ("Plane_On_Ground_Signal_no_T" + "Plane_On_Ground_Signal_no_F")))) or ((("stp2" <= "P1") or (("Weight_Right_Wheel_on" + "Weight_Right_Wheel_off") <= "stp3")) or ((2 <= "stp4") or ("P3" <= ("SpeedPossibleVal_1" + "SpeedPossibleVal_2" + "SpeedPossibleVal_3" + "SpeedPossibleVal_4" + "SpeedPossibleVal_5" + "SpeedPossibleVal_6" + "SpeedPossibleVal_7" + "SpeedPossibleVal_8" + "SpeedPossibleVal_9" + "SpeedPossibleVal_10" + "SpeedPossibleVal_11" + "SpeedPossibleVal_12" + "SpeedPossibleVal_13" + "SpeedPossibleVal_14" + "SpeedPossibleVal_15" + "SpeedPossibleVal_16" + "SpeedPossibleVal_17" + "SpeedPossibleVal_18" + "SpeedPossibleVal_19" + "SpeedPossibleVal_20" + "SpeedPossibleVal_21" + "SpeedPossibleVal_22" + "SpeedPossibleVal_23" + "SpeedPossibleVal_24" + "SpeedPossibleVal_25" + "SpeedPossibleVal_26" + "SpeedPossibleVal_27" + "SpeedPossibleVal_28" + "SpeedPossibleVal_29" + "SpeedPossibleVal_30" + "SpeedPossibleVal_31" + "SpeedPossibleVal_32" + "SpeedPossibleVal_33" + "SpeedPossibleVal_34" + "SpeedPossibleVal_35" + "SpeedPossibleVal_36" + "SpeedPossibleVal_37" + "SpeedPossibleVal_38" + "SpeedPossibleVal_39" + "SpeedPossibleVal_40" + "SpeedPossibleVal_41" + "SpeedPossibleVal_42" + "SpeedPossibleVal_43" + "SpeedPossibleVal_44" + "SpeedPossibleVal_45" + "SpeedPossibleVal_46" + "SpeedPossibleVal_47" + "SpeedPossibleVal_48" + "SpeedPossibleVal_49" + "SpeedPossibleVal_50" + "SpeedPossibleVal_51" + "SpeedPossibleVal_52" + "SpeedPossibleVal_53" + "SpeedPossibleVal_54" + "SpeedPossibleVal_55" + "SpeedPossibleVal_56" + "SpeedPossibleVal_57" + "SpeedPossibleVal_58" + "SpeedPossibleVal_59" + "SpeedPossibleVal_60" + "SpeedPossibleVal_61" + "SpeedPossibleVal_62" + "SpeedPossibleVal_63" + "SpeedPossibleVal_64" + "SpeedPossibleVal_65" + "SpeedPossibleVal_66" + "SpeedPossibleVal_67" + "SpeedPossibleVal_68" + "SpeedPossibleVal_69" + "SpeedPossibleVal_70" + "SpeedPossibleVal_71" + "SpeedPossibleVal_72" + "SpeedPossibleVal_73" + "SpeedPossibleVal_74" + "SpeedPossibleVal_75" + "SpeedPossibleVal_76" + "SpeedPossibleVal_77" + "SpeedPossibleVal_78" + "SpeedPossibleVal_79" + "SpeedPossibleVal_80" + "SpeedPossibleVal_81" + "SpeedPossibleVal_82" + "SpeedPossibleVal_83" + "SpeedPossibleVal_84" + "SpeedPossibleVal_85" + "SpeedPossibleVal_86" + "SpeedPossibleVal_87" + "SpeedPossibleVal_88" + "SpeedPossibleVal_89" + "SpeedPossibleVal_90" + "SpeedPossibleVal_91" + "SpeedPossibleVal_92" + "SpeedPossibleVal_93" + "SpeedPossibleVal_94" + "SpeedPossibleVal_95" + "SpeedPossibleVal_96" + "SpeedPossibleVal_97" + "SpeedPossibleVal_98" + "SpeedPossibleVal_99" + "SpeedPossibleVal_100"))))) )

query: EF not ( (not(((3 <= "P2") and (2 <= ("Plane_On_Ground_Signal_no_T" + "Plane_On_Ground_Signal_no_F")))) or ((("stp2" <= "P1") or (("Weight_Right_Wheel_on" + "Weight_Right_Wheel_off") <= "stp3")) or ((2 <= "stp4") or ("P3" <= ("SpeedPossibleVal_1" + "SpeedPossibleVal_2" + "SpeedPossibleVal_3" + "SpeedPossibleVal_4" + "SpeedPossibleVal_5" + "SpeedPossibleVal_6" + "SpeedPossibleVal_7" + "SpeedPossibleVal_8" + "SpeedPossibleVal_9" + "SpeedPossibleVal_10" + "SpeedPossibleVal_11" + "SpeedPossibleVal_12" + "SpeedPossibleVal_13" + "SpeedPossibleVal_14" + "SpeedPossibleVal_15" + "SpeedPossibleVal_16" + "SpeedPossibleVal_17" + "SpeedPossibleVal_18" + "SpeedPossibleVal_19" + "SpeedPossibleVal_20" + "SpeedPossibleVal_21" + "SpeedPossibleVal_22" + "SpeedPossibleVal_23" + "SpeedPossibleVal_24" + "SpeedPossibleVal_25" + "SpeedPossibleVal_26" + "SpeedPossibleVal_27" + "SpeedPossibleVal_28" + "SpeedPossibleVal_29" + "SpeedPossibleVal_30" + "SpeedPossibleVal_31" + "SpeedPossibleVal_32" + "SpeedPossibleVal_33" + "SpeedPossibleVal_34" + "SpeedPossibleVal_35" + "SpeedPossibleVal_36" + "SpeedPossibleVal_37" + "SpeedPossibleVal_38" + "SpeedPossibleVal_39" + "SpeedPossibleVal_40" + "SpeedPossibleVal_41" + "SpeedPossibleVal_42" + "SpeedPossibleVal_43" + "SpeedPossibleVal_44" + "SpeedPossibleVal_45" + "SpeedPossibleVal_46" + "SpeedPossibleVal_47" + "SpeedPossibleVal_48" + "SpeedPossibleVal_49" + "SpeedPossibleVal_50" + "SpeedPossibleVal_51" + "SpeedPossibleVal_52" + "SpeedPossibleVal_53" + "SpeedPossibleVal_54" + "SpeedPossibleVal_55" + "SpeedPossibleVal_56" + "SpeedPossibleVal_57" + "SpeedPossibleVal_58" + "SpeedPossibleVal_59" + "SpeedPossibleVal_60" + "SpeedPossibleVal_61" + "SpeedPossibleVal_62" + "SpeedPossibleVal_63" + "SpeedPossibleVal_64" + "SpeedPossibleVal_65" + "SpeedPossibleVal_66" + "SpeedPossibleVal_67" + "SpeedPossibleVal_68" + "SpeedPossibleVal_69" + "SpeedPossibleVal_70" + "SpeedPossibleVal_71" + "SpeedPossibleVal_72" + "SpeedPossibleVal_73" + "SpeedPossibleVal_74" + "SpeedPossibleVal_75" + "SpeedPossibleVal_76" + "SpeedPossibleVal_77" + "SpeedPossibleVal_78" + "SpeedPossibleVal_79" + "SpeedPossibleVal_80" + "SpeedPossibleVal_81" + "SpeedPossibleVal_82" + "SpeedPossibleVal_83" + "SpeedPossibleVal_84" + "SpeedPossibleVal_85" + "SpeedPossibleVal_86" + "SpeedPossibleVal_87" + "SpeedPossibleVal_88" + "SpeedPossibleVal_89" + "SpeedPossibleVal_90" + "SpeedPossibleVal_91" + "SpeedPossibleVal_92" + "SpeedPossibleVal_93" + "SpeedPossibleVal_94" + "SpeedPossibleVal_95" + "SpeedPossibleVal_96" + "SpeedPossibleVal_97" + "SpeedPossibleVal_98" + "SpeedPossibleVal_99" + "SpeedPossibleVal_100"))))) )
AirplaneLD-COL-0100-ReachabilityCardinality-5: not EF not ( not((((("WeightPossibleVal_on" + "WeightPossibleVal_off") <= ("Plane_On_Ground_Signal_no_T" + "Plane_On_Ground_Signal_no_F")) and (("AltitudePossibleVal_1" + "AltitudePossibleVal_2" + "AltitudePossibleVal_3" + "AltitudePossibleVal_4" + "AltitudePossibleVal_5" + "AltitudePossibleVal_6" + "AltitudePossibleVal_7" + "AltitudePossibleVal_8" + "AltitudePossibleVal_9" + "AltitudePossibleVal_10" + "AltitudePossibleVal_11" + "AltitudePossibleVal_12" + "AltitudePossibleVal_13" + "AltitudePossibleVal_14" + "AltitudePossibleVal_15" + "AltitudePossibleVal_16" + "AltitudePossibleVal_17" + "AltitudePossibleVal_18" + "AltitudePossibleVal_19" + "AltitudePossibleVal_20" + "AltitudePossibleVal_21" + "AltitudePossibleVal_22" + "AltitudePossibleVal_23" + "AltitudePossibleVal_24" + "AltitudePossibleVal_25" + "AltitudePossibleVal_26" + "AltitudePossibleVal_27" + "AltitudePossibleVal_28" + "AltitudePossibleVal_29" + "AltitudePossibleVal_30" + "AltitudePossibleVal_31" + "AltitudePossibleVal_32" + "AltitudePossibleVal_33" + "AltitudePossibleVal_34" + "AltitudePossibleVal_35" + "AltitudePossibleVal_36" + "AltitudePossibleVal_37" + "AltitudePossibleVal_38" + "AltitudePossibleVal_39" + "AltitudePossibleVal_40" + "AltitudePossibleVal_41" + "AltitudePossibleVal_42" + "AltitudePossibleVal_43" + "AltitudePossibleVal_44" + "AltitudePossibleVal_45" + "AltitudePossibleVal_46" + "AltitudePossibleVal_47" + "AltitudePossibleVal_48" + "AltitudePossibleVal_49" + "AltitudePossibleVal_50" + "AltitudePossibleVal_51" + "AltitudePossibleVal_52" + "AltitudePossibleVal_53" + "AltitudePossibleVal_54" + "AltitudePossibleVal_55" + "AltitudePossibleVal_56" + "AltitudePossibleVal_57" + "AltitudePossibleVal_58" + "AltitudePossibleVal_59" + "AltitudePossibleVal_60" + "AltitudePossibleVal_61" + "AltitudePossibleVal_62" + "AltitudePossibleVal_63" + "AltitudePossibleVal_64" + "AltitudePossibleVal_65" + "AltitudePossibleVal_66" + "AltitudePossibleVal_67" + "AltitudePossibleVal_68" + "AltitudePossibleVal_69" + "AltitudePossibleVal_70" + "AltitudePossibleVal_71" + "AltitudePossibleVal_72" + "AltitudePossibleVal_73" + "AltitudePossibleVal_74" + "AltitudePossibleVal_75" + "AltitudePossibleVal_76" + "AltitudePossibleVal_77" + "AltitudePossibleVal_78" + "AltitudePossibleVal_79" + "AltitudePossibleVal_80" + "AltitudePossibleVal_81" + "AltitudePossibleVal_82" + "AltitudePossibleVal_83" + "AltitudePossibleVal_84" + "AltitudePossibleVal_85" + "AltitudePossibleVal_86" + "AltitudePossibleVal_87" + "AltitudePossibleVal_88" + "AltitudePossibleVal_89" + "AltitudePossibleVal_90" + "AltitudePossibleVal_91" + "AltitudePossibleVal_92" + "AltitudePossibleVal_93" + "AltitudePossibleVal_94" + "AltitudePossibleVal_95" + "AltitudePossibleVal_96" + "AltitudePossibleVal_97" + "AltitudePossibleVal_98" + "AltitudePossibleVal_99" + "AltitudePossibleVal_100" + "AltitudePossibleVal_101" + "AltitudePossibleVal_102" + "AltitudePossibleVal_103" + "AltitudePossibleVal_104" + "AltitudePossibleVal_105" + "AltitudePossibleVal_106" + "AltitudePossibleVal_107" + "AltitudePossibleVal_108" + "AltitudePossibleVal_109" + "AltitudePossibleVal_110" + "AltitudePossibleVal_111" + "AltitudePossibleVal_112" + "AltitudePossibleVal_113" + "AltitudePossibleVal_114" + "AltitudePossibleVal_115" + "AltitudePossibleVal_116" + "AltitudePossibleVal_117" + "AltitudePossibleVal_118" + "AltitudePossibleVal_119" + "AltitudePossibleVal_120" + "AltitudePossibleVal_121" + "AltitudePossibleVal_122" + "AltitudePossibleVal_123" + "AltitudePossibleVal_124" + "AltitudePossibleVal_125" + "AltitudePossibleVal_126" + "AltitudePossibleVal_127" + "AltitudePossibleVal_128" + "AltitudePossibleVal_129" + "AltitudePossibleVal_130" + "AltitudePossibleVal_131" + "AltitudePossibleVal_132" + "AltitudePossibleVal_133" + "AltitudePossibleVal_134" + "AltitudePossibleVal_135" + "AltitudePossibleVal_136" + "AltitudePossibleVal_137" + "AltitudePossibleVal_138" + "AltitudePossibleVal_139" + "AltitudePossibleVal_140" + "AltitudePossibleVal_141" + "AltitudePossibleVal_142" + "AltitudePossibleVal_143" + "AltitudePossibleVal_144" + "AltitudePossibleVal_145" + "AltitudePossibleVal_146" + "AltitudePossibleVal_147" + "AltitudePossibleVal_148" + "AltitudePossibleVal_149" + "AltitudePossibleVal_150" + "AltitudePossibleVal_151" + "AltitudePossibleVal_152" + "AltitudePossibleVal_153" + "AltitudePossibleVal_154" + "AltitudePossibleVal_155" + "AltitudePossibleVal_156" + "AltitudePossibleVal_157" + "AltitudePossibleVal_158" + "AltitudePossibleVal_159" + "AltitudePossibleVal_160" + "AltitudePossibleVal_161" + "AltitudePossibleVal_162" + "AltitudePossibleVal_163" + "AltitudePossibleVal_164" + "AltitudePossibleVal_165" + "AltitudePossibleVal_166" + "AltitudePossibleVal_167" + "AltitudePossibleVal_168" + "AltitudePossibleVal_169" + "AltitudePossibleVal_170" + "AltitudePossibleVal_171" + "AltitudePossibleVal_172" + "AltitudePossibleVal_173" + "AltitudePossibleVal_174" + "AltitudePossibleVal_175" + "AltitudePossibleVal_176" + "AltitudePossibleVal_177" + "AltitudePossibleVal_178" + "AltitudePossibleVal_179" + "AltitudePossibleVal_180" + "AltitudePossibleVal_181" + "AltitudePossibleVal_182" + "AltitudePossibleVal_183" + "AltitudePossibleVal_184" + "AltitudePossibleVal_185" + "AltitudePossibleVal_186" + "AltitudePossibleVal_187" + "AltitudePossibleVal_188" + "AltitudePossibleVal_189" + "AltitudePossibleVal_190" + "AltitudePossibleVal_191" + "AltitudePossibleVal_192" + "AltitudePossibleVal_193" + "AltitudePossibleVal_194" + "AltitudePossibleVal_195" + "AltitudePossibleVal_196" + "AltitudePossibleVal_197" + "AltitudePossibleVal_198" + "AltitudePossibleVal_199" + "AltitudePossibleVal_200") <= ("SpeedPossibleVal_1" + "SpeedPossibleVal_2" + "SpeedPossibleVal_3" + "SpeedPossibleVal_4" + "SpeedPossibleVal_5" + "SpeedPossibleVal_6" + "SpeedPossibleVal_7" + "SpeedPossibleVal_8" + "SpeedPossibleVal_9" + "SpeedPossibleVal_10" + "SpeedPossibleVal_11" + "SpeedPossibleVal_12" + "SpeedPossibleVal_13" + "SpeedPossibleVal_14" + "SpeedPossibleVal_15" + "SpeedPossibleVal_16" + "SpeedPossibleVal_17" + "SpeedPossibleVal_18" + "SpeedPossibleVal_19" + "SpeedPossibleVal_20" + "SpeedPossibleVal_21" + "SpeedPossibleVal_22" + "SpeedPossibleVal_23" + "SpeedPossibleVal_24" + "SpeedPossibleVal_25" + "SpeedPossibleVal_26" + "SpeedPossibleVal_27" + "SpeedPossibleVal_28" + "SpeedPossibleVal_29" + "SpeedPossibleVal_30" + "SpeedPossibleVal_31" + "SpeedPossibleVal_32" + "SpeedPossibleVal_33" + "SpeedPossibleVal_34" + "SpeedPossibleVal_35" + "SpeedPossibleVal_36" + "SpeedPossibleVal_37" + "SpeedPossibleVal_38" + "SpeedPossibleVal_39" + "SpeedPossibleVal_40" + "SpeedPossibleVal_41" + "SpeedPossibleVal_42" + "SpeedPossibleVal_43" + "SpeedPossibleVal_44" + "SpeedPossibleVal_45" + "SpeedPossibleVal_46" + "SpeedPossibleVal_47" + "SpeedPossibleVal_48" + "SpeedPossibleVal_49" + "SpeedPossibleVal_50" + "SpeedPossibleVal_51" + "SpeedPossibleVal_52" + "SpeedPossibleVal_53" + "SpeedPossibleVal_54" + "SpeedPossibleVal_55" + "SpeedPossibleVal_56" + "SpeedPossibleVal_57" + "SpeedPossibleVal_58" + "SpeedPossibleVal_59" + "SpeedPossibleVal_60" + "SpeedPossibleVal_61" + "SpeedPossibleVal_62" + "SpeedPossibleVal_63" + "SpeedPossibleVal_64" + "SpeedPossibleVal_65" + "SpeedPossibleVal_66" + "SpeedPossibleVal_67" + "SpeedPossibleVal_68" + "SpeedPossibleVal_69" + "SpeedPossibleVal_70" + "SpeedPossibleVal_71" + "SpeedPossibleVal_72" + "SpeedPossibleVal_73" + "SpeedPossibleVal_74" + "SpeedPossibleVal_75" + "SpeedPossibleVal_76" + "SpeedPossibleVal_77" + "SpeedPossibleVal_78" + "SpeedPossibleVal_79" + "SpeedPossibleVal_80" + "SpeedPossibleVal_81" + "SpeedPossibleVal_82" + "SpeedPossibleVal_83" + "SpeedPossibleVal_84" + "SpeedPossibleVal_85" + "SpeedPossibleVal_86" + "SpeedPossibleVal_87" + "SpeedPossibleVal_88" + "SpeedPossibleVal_89" + "SpeedPossibleVal_90" + "SpeedPossibleVal_91" + "SpeedPossibleVal_92" + "SpeedPossibleVal_93" + "SpeedPossibleVal_94" + "SpeedPossibleVal_95" + "SpeedPossibleVal_96" + "SpeedPossibleVal_97" + "SpeedPossibleVal_98" + "SpeedPossibleVal_99" + "SpeedPossibleVal_100"))) and ((("Speed_Right_Wheel_1" + "Speed_Right_Wheel_2" + "Speed_Right_Wheel_3" + "Speed_Right_Wheel_4" + "Speed_Right_Wheel_5" + "Speed_Right_Wheel_6" + "Speed_Right_Wheel_7" + "Speed_Right_Wheel_8" + "Speed_Right_Wheel_9" + "Speed_Right_Wheel_10" + "Speed_Right_Wheel_11" + "Speed_Right_Wheel_12" + "Speed_Right_Wheel_13" + "Speed_Right_Wheel_14" + "Speed_Right_Wheel_15" + "Speed_Right_Wheel_16" + "Speed_Right_Wheel_17" + "Speed_Right_Wheel_18" + "Speed_Right_Wheel_19" + "Speed_Right_Wheel_20" + "Speed_Right_Wheel_21" + "Speed_Right_Wheel_22" + "Speed_Right_Wheel_23" + "Speed_Right_Wheel_24" + "Speed_Right_Wheel_25" + "Speed_Right_Wheel_26" + "Speed_Right_Wheel_27" + "Speed_Right_Wheel_28" + "Speed_Right_Wheel_29" + "Speed_Right_Wheel_30" + "Speed_Right_Wheel_31" + "Speed_Right_Wheel_32" + "Speed_Right_Wheel_33" + "Speed_Right_Wheel_34" + "Speed_Right_Wheel_35" + "Speed_Right_Wheel_36" + "Speed_Right_Wheel_37" + "Speed_Right_Wheel_38" + "Speed_Right_Wheel_39" + "Speed_Right_Wheel_40" + "Speed_Right_Wheel_41" + "Speed_Right_Wheel_42" + "Speed_Right_Wheel_43" + "Speed_Right_Wheel_44" + "Speed_Right_Wheel_45" + "Speed_Right_Wheel_46" + "Speed_Right_Wheel_47" + "Speed_Right_Wheel_48" + "Speed_Right_Wheel_49" + "Speed_Right_Wheel_50" + "Speed_Right_Wheel_51" + "Speed_Right_Wheel_52" + "Speed_Right_Wheel_53" + "Speed_Right_Wheel_54" + "Speed_Right_Wheel_55" + "Speed_Right_Wheel_56" + "Speed_Right_Wheel_57" + "Speed_Right_Wheel_58" + "Speed_Right_Wheel_59" + "Speed_Right_Wheel_60" + "Speed_Right_Wheel_61" + "Speed_Right_Wheel_62" + "Speed_Right_Wheel_63" + "Speed_Right_Wheel_64" + "Speed_Right_Wheel_65" + "Speed_Right_Wheel_66" + "Speed_Right_Wheel_67" + "Speed_Right_Wheel_68" + "Speed_Right_Wheel_69" + "Speed_Right_Wheel_70" + "Speed_Right_Wheel_71" + "Speed_Right_Wheel_72" + "Speed_Right_Wheel_73" + "Speed_Right_Wheel_74" + "Speed_Right_Wheel_75" + "Speed_Right_Wheel_76" + "Speed_Right_Wheel_77" + "Speed_Right_Wheel_78" + "Speed_Right_Wheel_79" + "Speed_Right_Wheel_80" + "Speed_Right_Wheel_81" + "Speed_Right_Wheel_82" + "Speed_Right_Wheel_83" + "Speed_Right_Wheel_84" + "Speed_Right_Wheel_85" + "Speed_Right_Wheel_86" + "Speed_Right_Wheel_87" + "Speed_Right_Wheel_88" + "Speed_Right_Wheel_89" + "Speed_Right_Wheel_90" + "Speed_Right_Wheel_91" + "Speed_Right_Wheel_92" + "Speed_Right_Wheel_93" + "Speed_Right_Wheel_94" + "Speed_Right_Wheel_95" + "Speed_Right_Wheel_96" + "Speed_Right_Wheel_97" + "Speed_Right_Wheel_98" + "Speed_Right_Wheel_99" + "Speed_Right_Wheel_100") <= ("Weight_Left_Wheel_on" + "Weight_Left_Wheel_off")) and ("stp5" <= "P2")))) )

query: EF not ( not((((("WeightPossibleVal_on" + "WeightPossibleVal_off") <= ("Plane_On_Ground_Signal_no_T" + "Plane_On_Ground_Signal_no_F")) and (("AltitudePossibleVal_1" + "AltitudePossibleVal_2" + "AltitudePossibleVal_3" + "AltitudePossibleVal_4" + "AltitudePossibleVal_5" + "AltitudePossibleVal_6" + "AltitudePossibleVal_7" + "AltitudePossibleVal_8" + "AltitudePossibleVal_9" + "AltitudePossibleVal_10" + "AltitudePossibleVal_11" + "AltitudePossibleVal_12" + "AltitudePossibleVal_13" + "AltitudePossibleVal_14" + "AltitudePossibleVal_15" + "AltitudePossibleVal_16" + "AltitudePossibleVal_17" + "AltitudePossibleVal_18" + "AltitudePossibleVal_19" + "AltitudePossibleVal_20" + "AltitudePossibleVal_21" + "AltitudePossibleVal_22" + "AltitudePossibleVal_23" + "AltitudePossibleVal_24" + "AltitudePossibleVal_25" + "AltitudePossibleVal_26" + "AltitudePossibleVal_27" + "AltitudePossibleVal_28" + "AltitudePossibleVal_29" + "AltitudePossibleVal_30" + "AltitudePossibleVal_31" + "AltitudePossibleVal_32" + "AltitudePossibleVal_33" + "AltitudePossibleVal_34" + "AltitudePossibleVal_35" + "AltitudePossibleVal_36" + "AltitudePossibleVal_37" + "AltitudePossibleVal_38" + "AltitudePossibleVal_39" + "AltitudePossibleVal_40" + "AltitudePossibleVal_41" + "AltitudePossibleVal_42" + "AltitudePossibleVal_43" + "AltitudePossibleVal_44" + "AltitudePossibleVal_45" + "AltitudePossibleVal_46" + "AltitudePossibleVal_47" + "AltitudePossibleVal_48" + "AltitudePossibleVal_49" + "AltitudePossibleVal_50" + "AltitudePossibleVal_51" + "AltitudePossibleVal_52" + "AltitudePossibleVal_53" + "AltitudePossibleVal_54" + "AltitudePossibleVal_55" + "AltitudePossibleVal_56" + "AltitudePossibleVal_57" + "AltitudePossibleVal_58" + "AltitudePossibleVal_59" + "AltitudePossibleVal_60" + "AltitudePossibleVal_61" + "AltitudePossibleVal_62" + "AltitudePossibleVal_63" + "AltitudePossibleVal_64" + "AltitudePossibleVal_65" + "AltitudePossibleVal_66" + "AltitudePossibleVal_67" + "AltitudePossibleVal_68" + "AltitudePossibleVal_69" + "AltitudePossibleVal_70" + "AltitudePossibleVal_71" + "AltitudePossibleVal_72" + "AltitudePossibleVal_73" + "AltitudePossibleVal_74" + "AltitudePossibleVal_75" + "AltitudePossibleVal_76" + "AltitudePossibleVal_77" + "AltitudePossibleVal_78" + "AltitudePossibleVal_79" + "AltitudePossibleVal_80" + "AltitudePossibleVal_81" + "AltitudePossibleVal_82" + "AltitudePossibleVal_83" + "AltitudePossibleVal_84" + "AltitudePossibleVal_85" + "AltitudePossibleVal_86" + "AltitudePossibleVal_87" + "AltitudePossibleVal_88" + "AltitudePossibleVal_89" + "AltitudePossibleVal_90" + "AltitudePossibleVal_91" + "AltitudePossibleVal_92" + "AltitudePossibleVal_93" + "AltitudePossibleVal_94" + "AltitudePossibleVal_95" + "AltitudePossibleVal_96" + "AltitudePossibleVal_97" + "AltitudePossibleVal_98" + "AltitudePossibleVal_99" + "AltitudePossibleVal_100" + "AltitudePossibleVal_101" + "AltitudePossibleVal_102" + "AltitudePossibleVal_103" + "AltitudePossibleVal_104" + "AltitudePossibleVal_105" + "AltitudePossibleVal_106" + "AltitudePossibleVal_107" + "AltitudePossibleVal_108" + "AltitudePossibleVal_109" + "AltitudePossibleVal_110" + "AltitudePossibleVal_111" + "AltitudePossibleVal_112" + "AltitudePossibleVal_113" + "AltitudePossibleVal_114" + "AltitudePossibleVal_115" + "AltitudePossibleVal_116" + "AltitudePossibleVal_117" + "AltitudePossibleVal_118" + "AltitudePossibleVal_119" + "AltitudePossibleVal_120" + "AltitudePossibleVal_121" + "AltitudePossibleVal_122" + "AltitudePossibleVal_123" + "AltitudePossibleVal_124" + "AltitudePossibleVal_125" + "AltitudePossibleVal_126" + "AltitudePossibleVal_127" + "AltitudePossibleVal_128" + "AltitudePossibleVal_129" + "AltitudePossibleVal_130" + "AltitudePossibleVal_131" + "AltitudePossibleVal_132" + "AltitudePossibleVal_133" + "AltitudePossibleVal_134" + "AltitudePossibleVal_135" + "AltitudePossibleVal_136" + "AltitudePossibleVal_137" + "AltitudePossibleVal_138" + "AltitudePossibleVal_139" + "AltitudePossibleVal_140" + "AltitudePossibleVal_141" + "AltitudePossibleVal_142" + "AltitudePossibleVal_143" + "AltitudePossibleVal_144" + "AltitudePossibleVal_145" + "AltitudePossibleVal_146" + "AltitudePossibleVal_147" + "AltitudePossibleVal_148" + "AltitudePossibleVal_149" + "AltitudePossibleVal_150" + "AltitudePossibleVal_151" + "AltitudePossibleVal_152" + "AltitudePossibleVal_153" + "AltitudePossibleVal_154" + "AltitudePossibleVal_155" + "AltitudePossibleVal_156" + "AltitudePossibleVal_157" + "AltitudePossibleVal_158" + "AltitudePossibleVal_159" + "AltitudePossibleVal_160" + "AltitudePossibleVal_161" + "AltitudePossibleVal_162" + "AltitudePossibleVal_163" + "AltitudePossibleVal_164" + "AltitudePossibleVal_165" + "AltitudePossibleVal_166" + "AltitudePossibleVal_167" + "AltitudePossibleVal_168" + "AltitudePossibleVal_169" + "AltitudePossibleVal_170" + "AltitudePossibleVal_171" + "AltitudePossibleVal_172" + "AltitudePossibleVal_173" + "AltitudePossibleVal_174" + "AltitudePossibleVal_175" + "AltitudePossibleVal_176" + "AltitudePossibleVal_177" + "AltitudePossibleVal_178" + "AltitudePossibleVal_179" + "AltitudePossibleVal_180" + "AltitudePossibleVal_181" + "AltitudePossibleVal_182" + "AltitudePossibleVal_183" + "AltitudePossibleVal_184" + "AltitudePossibleVal_185" + "AltitudePossibleVal_186" + "AltitudePossibleVal_187" + "AltitudePossibleVal_188" + "AltitudePossibleVal_189" + "AltitudePossibleVal_190" + "AltitudePossibleVal_191" + "AltitudePossibleVal_192" + "AltitudePossibleVal_193" + "AltitudePossibleVal_194" + "AltitudePossibleVal_195" + "AltitudePossibleVal_196" + "AltitudePossibleVal_197" + "AltitudePossibleVal_198" + "AltitudePossibleVal_199" + "AltitudePossibleVal_200") <= ("SpeedPossibleVal_1" + "SpeedPossibleVal_2" + "SpeedPossibleVal_3" + "SpeedPossibleVal_4" + "SpeedPossibleVal_5" + "SpeedPossibleVal_6" + "SpeedPossibleVal_7" + "SpeedPossibleVal_8" + "SpeedPossibleVal_9" + "SpeedPossibleVal_10" + "SpeedPossibleVal_11" + "SpeedPossibleVal_12" + "SpeedPossibleVal_13" + "SpeedPossibleVal_14" + "SpeedPossibleVal_15" + "SpeedPossibleVal_16" + "SpeedPossibleVal_17" + "SpeedPossibleVal_18" + "SpeedPossibleVal_19" + "SpeedPossibleVal_20" + "SpeedPossibleVal_21" + "SpeedPossibleVal_22" + "SpeedPossibleVal_23" + "SpeedPossibleVal_24" + "SpeedPossibleVal_25" + "SpeedPossibleVal_26" + "SpeedPossibleVal_27" + "SpeedPossibleVal_28" + "SpeedPossibleVal_29" + "SpeedPossibleVal_30" + "SpeedPossibleVal_31" + "SpeedPossibleVal_32" + "SpeedPossibleVal_33" + "SpeedPossibleVal_34" + "SpeedPossibleVal_35" + "SpeedPossibleVal_36" + "SpeedPossibleVal_37" + "SpeedPossibleVal_38" + "SpeedPossibleVal_39" + "SpeedPossibleVal_40" + "SpeedPossibleVal_41" + "SpeedPossibleVal_42" + "SpeedPossibleVal_43" + "SpeedPossibleVal_44" + "SpeedPossibleVal_45" + "SpeedPossibleVal_46" + "SpeedPossibleVal_47" + "SpeedPossibleVal_48" + "SpeedPossibleVal_49" + "SpeedPossibleVal_50" + "SpeedPossibleVal_51" + "SpeedPossibleVal_52" + "SpeedPossibleVal_53" + "SpeedPossibleVal_54" + "SpeedPossibleVal_55" + "SpeedPossibleVal_56" + "SpeedPossibleVal_57" + "SpeedPossibleVal_58" + "SpeedPossibleVal_59" + "SpeedPossibleVal_60" + "SpeedPossibleVal_61" + "SpeedPossibleVal_62" + "SpeedPossibleVal_63" + "SpeedPossibleVal_64" + "SpeedPossibleVal_65" + "SpeedPossibleVal_66" + "SpeedPossibleVal_67" + "SpeedPossibleVal_68" + "SpeedPossibleVal_69" + "SpeedPossibleVal_70" + "SpeedPossibleVal_71" + "SpeedPossibleVal_72" + "SpeedPossibleVal_73" + "SpeedPossibleVal_74" + "SpeedPossibleVal_75" + "SpeedPossibleVal_76" + "SpeedPossibleVal_77" + "SpeedPossibleVal_78" + "SpeedPossibleVal_79" + "SpeedPossibleVal_80" + "SpeedPossibleVal_81" + "SpeedPossibleVal_82" + "SpeedPossibleVal_83" + "SpeedPossibleVal_84" + "SpeedPossibleVal_85" + "SpeedPossibleVal_86" + "SpeedPossibleVal_87" + "SpeedPossibleVal_88" + "SpeedPossibleVal_89" + "SpeedPossibleVal_90" + "SpeedPossibleVal_91" + "SpeedPossibleVal_92" + "SpeedPossibleVal_93" + "SpeedPossibleVal_94" + "SpeedPossibleVal_95" + "SpeedPossibleVal_96" + "SpeedPossibleVal_97" + "SpeedPossibleVal_98" + "SpeedPossibleVal_99" + "SpeedPossibleVal_100"))) and ((("Speed_Right_Wheel_1" + "Speed_Right_Wheel_2" + "Speed_Right_Wheel_3" + "Speed_Right_Wheel_4" + "Speed_Right_Wheel_5" + "Speed_Right_Wheel_6" + "Speed_Right_Wheel_7" + "Speed_Right_Wheel_8" + "Speed_Right_Wheel_9" + "Speed_Right_Wheel_10" + "Speed_Right_Wheel_11" + "Speed_Right_Wheel_12" + "Speed_Right_Wheel_13" + "Speed_Right_Wheel_14" + "Speed_Right_Wheel_15" + "Speed_Right_Wheel_16" + "Speed_Right_Wheel_17" + "Speed_Right_Wheel_18" + "Speed_Right_Wheel_19" + "Speed_Right_Wheel_20" + "Speed_Right_Wheel_21" + "Speed_Right_Wheel_22" + "Speed_Right_Wheel_23" + "Speed_Right_Wheel_24" + "Speed_Right_Wheel_25" + "Speed_Right_Wheel_26" + "Speed_Right_Wheel_27" + "Speed_Right_Wheel_28" + "Speed_Right_Wheel_29" + "Speed_Right_Wheel_30" + "Speed_Right_Wheel_31" + "Speed_Right_Wheel_32" + "Speed_Right_Wheel_33" + "Speed_Right_Wheel_34" + "Speed_Right_Wheel_35" + "Speed_Right_Wheel_36" + "Speed_Right_Wheel_37" + "Speed_Right_Wheel_38" + "Speed_Right_Wheel_39" + "Speed_Right_Wheel_40" + "Speed_Right_Wheel_41" + "Speed_Right_Wheel_42" + "Speed_Right_Wheel_43" + "Speed_Right_Wheel_44" + "Speed_Right_Wheel_45" + "Speed_Right_Wheel_46" + "Speed_Right_Wheel_47" + "Speed_Right_Wheel_48" + "Speed_Right_Wheel_49" + "Speed_Right_Wheel_50" + "Speed_Right_Wheel_51" + "Speed_Right_Wheel_52" + "Speed_Right_Wheel_53" + "Speed_Right_Wheel_54" + "Speed_Right_Wheel_55" + "Speed_Right_Wheel_56" + "Speed_Right_Wheel_57" + "Speed_Right_Wheel_58" + "Speed_Right_Wheel_59" + "Speed_Right_Wheel_60" + "Speed_Right_Wheel_61" + "Speed_Right_Wheel_62" + "Speed_Right_Wheel_63" + "Speed_Right_Wheel_64" + "Speed_Right_Wheel_65" + "Speed_Right_Wheel_66" + "Speed_Right_Wheel_67" + "Speed_Right_Wheel_68" + "Speed_Right_Wheel_69" + "Speed_Right_Wheel_70" + "Speed_Right_Wheel_71" + "Speed_Right_Wheel_72" + "Speed_Right_Wheel_73" + "Speed_Right_Wheel_74" + "Speed_Right_Wheel_75" + "Speed_Right_Wheel_76" + "Speed_Right_Wheel_77" + "Speed_Right_Wheel_78" + "Speed_Right_Wheel_79" + "Speed_Right_Wheel_80" + "Speed_Right_Wheel_81" + "Speed_Right_Wheel_82" + "Speed_Right_Wheel_83" + "Speed_Right_Wheel_84" + "Speed_Right_Wheel_85" + "Speed_Right_Wheel_86" + "Speed_Right_Wheel_87" + "Speed_Right_Wheel_88" + "Speed_Right_Wheel_89" + "Speed_Right_Wheel_90" + "Speed_Right_Wheel_91" + "Speed_Right_Wheel_92" + "Speed_Right_Wheel_93" + "Speed_Right_Wheel_94" + "Speed_Right_Wheel_95" + "Speed_Right_Wheel_96" + "Speed_Right_Wheel_97" + "Speed_Right_Wheel_98" + "Speed_Right_Wheel_99" + "Speed_Right_Wheel_100") <= ("Weight_Left_Wheel_on" + "Weight_Left_Wheel_off")) and ("stp5" <= "P2")))) )
AirplaneLD-COL-0100-ReachabilityCardinality-6: EF ( (3 <= "stp1") )

query: EF ( (3 <= "stp1") )
AirplaneLD-COL-0100-ReachabilityCardinality-7: EF ( (2 <= "P2") )

query: EF ( (2 <= "P2") )
AirplaneLD-COL-0100-ReachabilityCardinality-8: EF ( ((not((1 <= "stp5")) or ("stp3" <= ("Weight_Right_Wheel_on" + "Weight_Right_Wheel_off"))) and (not(("stp3" <= ("TheAltitude_1" + "TheAltitude_2" + "TheAltitude_3" + "TheAltitude_4" + "TheAltitude_5" + "TheAltitude_6" + "TheAltitude_7" + "TheAltitude_8" + "TheAltitude_9" + "TheAltitude_10" + "TheAltitude_11" + "TheAltitude_12" + "TheAltitude_13" + "TheAltitude_14" + "TheAltitude_15" + "TheAltitude_16" + "TheAltitude_17" + "TheAltitude_18" + "TheAltitude_19" + "TheAltitude_20" + "TheAltitude_21" + "TheAltitude_22" + "TheAltitude_23" + "TheAltitude_24" + "TheAltitude_25" + "TheAltitude_26" + "TheAltitude_27" + "TheAltitude_28" + "TheAltitude_29" + "TheAltitude_30" + "TheAltitude_31" + "TheAltitude_32" + "TheAltitude_33" + "TheAltitude_34" + "TheAltitude_35" + "TheAltitude_36" + "TheAltitude_37" + "TheAltitude_38" + "TheAltitude_39" + "TheAltitude_40" + "TheAltitude_41" + "TheAltitude_42" + "TheAltitude_43" + "TheAltitude_44" + "TheAltitude_45" + "TheAltitude_46" + "TheAltitude_47" + "TheAltitude_48" + "TheAltitude_49" + "TheAltitude_50" + "TheAltitude_51" + "TheAltitude_52" + "TheAltitude_53" + "TheAltitude_54" + "TheAltitude_55" + "TheAltitude_56" + "TheAltitude_57" + "TheAltitude_58" + "TheAltitude_59" + "TheAltitude_60" + "TheAltitude_61" + "TheAltitude_62" + "TheAltitude_63" + "TheAltitude_64" + "TheAltitude_65" + "TheAltitude_66" + "TheAltitude_67" + "TheAltitude_68" + "TheAltitude_69" + "TheAltitude_70" + "TheAltitude_71" + "TheAltitude_72" + "TheAltitude_73" + "TheAltitude_74" + "TheAltitude_75" + "TheAltitude_76" + "TheAltitude_77" + "TheAltitude_78" + "TheAltitude_79" + "TheAltitude_80" + "TheAltitude_81" + "TheAltitude_82" + "TheAltitude_83" + "TheAltitude_84" + "TheAltitude_85" + "TheAltitude_86" + "TheAltitude_87" + "TheAltitude_88" + "TheAltitude_89" + "TheAltitude_90" + "TheAltitude_91" + "TheAltitude_92" + "TheAltitude_93" + "TheAltitude_94" + "TheAltitude_95" + "TheAltitude_96" + "TheAltitude_97" + "TheAltitude_98" + "TheAltitude_99" + "TheAltitude_100" + "TheAltitude_101" + "TheAltitude_102" + "TheAltitude_103" + "TheAltitude_104" + "TheAltitude_105" + "TheAltitude_106" + "TheAltitude_107" + "TheAltitude_108" + "TheAltitude_109" + "TheAltitude_110" + "TheAltitude_111" + "TheAltitude_112" + "TheAltitude_113" + "TheAltitude_114" + "TheAltitude_115" + "TheAltitude_116" + "TheAltitude_117" + "TheAltitude_118" + "TheAltitude_119" + "TheAltitude_120" + "TheAltitude_121" + "TheAltitude_122" + "TheAltitude_123" + "TheAltitude_124" + "TheAltitude_125" + "TheAltitude_126" + "TheAltitude_127" + "TheAltitude_128" + "TheAltitude_129" + "TheAltitude_130" + "TheAltitude_131" + "TheAltitude_132" + "TheAltitude_133" + "TheAltitude_134" + "TheAltitude_135" + "TheAltitude_136" + "TheAltitude_137" + "TheAltitude_138" + "TheAltitude_139" + "TheAltitude_140" + "TheAltitude_141" + "TheAltitude_142" + "TheAltitude_143" + "TheAltitude_144" + "TheAltitude_145" + "TheAltitude_146" + "TheAltitude_147" + "TheAltitude_148" + "TheAltitude_149" + "TheAltitude_150" + "TheAltitude_151" + "TheAltitude_152" + "TheAltitude_153" + "TheAltitude_154" + "TheAltitude_155" + "TheAltitude_156" + "TheAltitude_157" + "TheAltitude_158" + "TheAltitude_159" + "TheAltitude_160" + "TheAltitude_161" + "TheAltitude_162" + "TheAltitude_163" + "TheAltitude_164" + "TheAltitude_165" + "TheAltitude_166" + "TheAltitude_167" + "TheAltitude_168" + "TheAltitude_169" + "TheAltitude_170" + "TheAltitude_171" + "TheAltitude_172" + "TheAltitude_173" + "TheAltitude_174" + "TheAltitude_175" + "TheAltitude_176" + "TheAltitude_177" + "TheAltitude_178" + "TheAltitude_179" + "TheAltitude_180" + "TheAltitude_181" + "TheAltitude_182" + "TheAltitude_183" + "TheAltitude_184" + "TheAltitude_185" + "TheAltitude_186" + "TheAltitude_187" + "TheAltitude_188" + "TheAltitude_189" + "TheAltitude_190" + "TheAltitude_191" + "TheAltitude_192" + "TheAltitude_193" + "TheAltitude_194" + "TheAltitude_195" + "TheAltitude_196" + "TheAltitude_197" + "TheAltitude_198" + "TheAltitude_199" + "TheAltitude_200"))) and ((1 <= ("TheAltitude_1" + "TheAltitude_2" + "TheAltitude_3" + "TheAltitude_4" + "TheAltitude_5" + "TheAltitude_6" + "TheAltitude_7" + "TheAltitude_8" + "TheAltitude_9" + "TheAltitude_10" + "TheAltitude_11" + "TheAltitude_12" + "TheAltitude_13" + "TheAltitude_14" + "TheAltitude_15" + "TheAltitude_16" + "TheAltitude_17" + "TheAltitude_18" + "TheAltitude_19" + "TheAltitude_20" + "TheAltitude_21" + "TheAltitude_22" + "TheAltitude_23" + "TheAltitude_24" + "TheAltitude_25" + "TheAltitude_26" + "TheAltitude_27" + "TheAltitude_28" + "TheAltitude_29" + "TheAltitude_30" + "TheAltitude_31" + "TheAltitude_32" + "TheAltitude_33" + "TheAltitude_34" + "TheAltitude_35" + "TheAltitude_36" + "TheAltitude_37" + "TheAltitude_38" + "TheAltitude_39" + "TheAltitude_40" + "TheAltitude_41" + "TheAltitude_42" + "TheAltitude_43" + "TheAltitude_44" + "TheAltitude_45" + "TheAltitude_46" + "TheAltitude_47" + "TheAltitude_48" + "TheAltitude_49" + "TheAltitude_50" + "TheAltitude_51" + "TheAltitude_52" + "TheAltitude_53" + "TheAltitude_54" + "TheAltitude_55" + "TheAltitude_56" + "TheAltitude_57" + "TheAltitude_58" + "TheAltitude_59" + "TheAltitude_60" + "TheAltitude_61" + "TheAltitude_62" + "TheAltitude_63" + "TheAltitude_64" + "TheAltitude_65" + "TheAltitude_66" + "TheAltitude_67" + "TheAltitude_68" + "TheAltitude_69" + "TheAltitude_70" + "TheAltitude_71" + "TheAltitude_72" + "TheAltitude_73" + "TheAltitude_74" + "TheAltitude_75" + "TheAltitude_76" + "TheAltitude_77" + "TheAltitude_78" + "TheAltitude_79" + "TheAltitude_80" + "TheAltitude_81" + "TheAltitude_82" + "TheAltitude_83" + "TheAltitude_84" + "TheAltitude_85" + "TheAltitude_86" + "TheAltitude_87" + "TheAltitude_88" + "TheAltitude_89" + "TheAltitude_90" + "TheAltitude_91" + "TheAltitude_92" + "TheAltitude_93" + "TheAltitude_94" + "TheAltitude_95" + "TheAltitude_96" + "TheAltitude_97" + "TheAltitude_98" + "TheAltitude_99" + "TheAltitude_100" + "TheAltitude_101" + "TheAltitude_102" + "TheAltitude_103" + "TheAltitude_104" + "TheAltitude_105" + "TheAltitude_106" + "TheAltitude_107" + "TheAltitude_108" + "TheAltitude_109" + "TheAltitude_110" + "TheAltitude_111" + "TheAltitude_112" + "TheAltitude_113" + "TheAltitude_114" + "TheAltitude_115" + "TheAltitude_116" + "TheAltitude_117" + "TheAltitude_118" + "TheAltitude_119" + "TheAltitude_120" + "TheAltitude_121" + "TheAltitude_122" + "TheAltitude_123" + "TheAltitude_124" + "TheAltitude_125" + "TheAltitude_126" + "TheAltitude_127" + "TheAltitude_128" + "TheAltitude_129" + "TheAltitude_130" + "TheAltitude_131" + "TheAltitude_132" + "TheAltitude_133" + "TheAltitude_134" + "TheAltitude_135" + "TheAltitude_136" + "TheAltitude_137" + "TheAltitude_138" + "TheAltitude_139" + "TheAltitude_140" + "TheAltitude_141" + "TheAltitude_142" + "TheAltitude_143" + "TheAltitude_144" + "TheAltitude_145" + "TheAltitude_146" + "TheAltitude_147" + "TheAltitude_148" + "TheAltitude_149" + "TheAltitude_150" + "TheAltitude_151" + "TheAltitude_152" + "TheAltitude_153" + "TheAltitude_154" + "TheAltitude_155" + "TheAltitude_156" + "TheAltitude_157" + "TheAltitude_158" + "TheAltitude_159" + "TheAltitude_160" + "TheAltitude_161" + "TheAltitude_162" + "TheAltitude_163" + "TheAltitude_164" + "TheAltitude_165" + "TheAltitude_166" + "TheAltitude_167" + "TheAltitude_168" + "TheAltitude_169" + "TheAltitude_170" + "TheAltitude_171" + "TheAltitude_172" + "TheAltitude_173" + "TheAltitude_174" + "TheAltitude_175" + "TheAltitude_176" + "TheAltitude_177" + "TheAltitude_178" + "TheAltitude_179" + "TheAltitude_180" + "TheAltitude_181" + "TheAltitude_182" + "TheAltitude_183" + "TheAltitude_184" + "TheAltitude_185" + "TheAltitude_186" + "TheAltitude_187" + "TheAltitude_188" + "TheAltitude_189" + "TheAltitude_190" + "TheAltitude_191" + "TheAltitude_192" + "TheAltitude_193" + "TheAltitude_194" + "TheAltitude_195" + "TheAltitude_196" + "TheAltitude_197" + "TheAltitude_198" + "TheAltitude_199" + "TheAltitude_200")) and ("stp1" <= "P6")))) )

query: EF ( ((not((1 <= "stp5")) or ("stp3" <= ("Weight_Right_Wheel_on" + "Weight_Right_Wheel_off"))) and (not(("stp3" <= ("TheAltitude_1" + "TheAltitude_2" + "TheAltitude_3" + "TheAltitude_4" + "TheAltitude_5" + "TheAltitude_6" + "TheAltitude_7" + "TheAltitude_8" + "TheAltitude_9" + "TheAltitude_10" + "TheAltitude_11" + "TheAltitude_12" + "TheAltitude_13" + "TheAltitude_14" + "TheAltitude_15" + "TheAltitude_16" + "TheAltitude_17" + "TheAltitude_18" + "TheAltitude_19" + "TheAltitude_20" + "TheAltitude_21" + "TheAltitude_22" + "TheAltitude_23" + "TheAltitude_24" + "TheAltitude_25" + "TheAltitude_26" + "TheAltitude_27" + "TheAltitude_28" + "TheAltitude_29" + "TheAltitude_30" + "TheAltitude_31" + "TheAltitude_32" + "TheAltitude_33" + "TheAltitude_34" + "TheAltitude_35" + "TheAltitude_36" + "TheAltitude_37" + "TheAltitude_38" + "TheAltitude_39" + "TheAltitude_40" + "TheAltitude_41" + "TheAltitude_42" + "TheAltitude_43" + "TheAltitude_44" + "TheAltitude_45" + "TheAltitude_46" + "TheAltitude_47" + "TheAltitude_48" + "TheAltitude_49" + "TheAltitude_50" + "TheAltitude_51" + "TheAltitude_52" + "TheAltitude_53" + "TheAltitude_54" + "TheAltitude_55" + "TheAltitude_56" + "TheAltitude_57" + "TheAltitude_58" + "TheAltitude_59" + "TheAltitude_60" + "TheAltitude_61" + "TheAltitude_62" + "TheAltitude_63" + "TheAltitude_64" + "TheAltitude_65" + "TheAltitude_66" + "TheAltitude_67" + "TheAltitude_68" + "TheAltitude_69" + "TheAltitude_70" + "TheAltitude_71" + "TheAltitude_72" + "TheAltitude_73" + "TheAltitude_74" + "TheAltitude_75" + "TheAltitude_76" + "TheAltitude_77" + "TheAltitude_78" + "TheAltitude_79" + "TheAltitude_80" + "TheAltitude_81" + "TheAltitude_82" + "TheAltitude_83" + "TheAltitude_84" + "TheAltitude_85" + "TheAltitude_86" + "TheAltitude_87" + "TheAltitude_88" + "TheAltitude_89" + "TheAltitude_90" + "TheAltitude_91" + "TheAltitude_92" + "TheAltitude_93" + "TheAltitude_94" + "TheAltitude_95" + "TheAltitude_96" + "TheAltitude_97" + "TheAltitude_98" + "TheAltitude_99" + "TheAltitude_100" + "TheAltitude_101" + "TheAltitude_102" + "TheAltitude_103" + "TheAltitude_104" + "TheAltitude_105" + "TheAltitude_106" + "TheAltitude_107" + "TheAltitude_108" + "TheAltitude_109" + "TheAltitude_110" + "TheAltitude_111" + "TheAltitude_112" + "TheAltitude_113" + "TheAltitude_114" + "TheAltitude_115" + "TheAltitude_116" + "TheAltitude_117" + "TheAltitude_118" + "TheAltitude_119" + "TheAltitude_120" + "TheAltitude_121" + "TheAltitude_122" + "TheAltitude_123" + "TheAltitude_124" + "TheAltitude_125" + "TheAltitude_126" + "TheAltitude_127" + "TheAltitude_128" + "TheAltitude_129" + "TheAltitude_130" + "TheAltitude_131" + "TheAltitude_132" + "TheAltitude_133" + "TheAltitude_134" + "TheAltitude_135" + "TheAltitude_136" + "TheAltitude_137" + "TheAltitude_138" + "TheAltitude_139" + "TheAltitude_140" + "TheAltitude_141" + "TheAltitude_142" + "TheAltitude_143" + "TheAltitude_144" + "TheAltitude_145" + "TheAltitude_146" + "TheAltitude_147" + "TheAltitude_148" + "TheAltitude_149" + "TheAltitude_150" + "TheAltitude_151" + "TheAltitude_152" + "TheAltitude_153" + "TheAltitude_154" + "TheAltitude_155" + "TheAltitude_156" + "TheAltitude_157" + "TheAltitude_158" + "TheAltitude_159" + "TheAltitude_160" + "TheAltitude_161" + "TheAltitude_162" + "TheAltitude_163" + "TheAltitude_164" + "TheAltitude_165" + "TheAltitude_166" + "TheAltitude_167" + "TheAltitude_168" + "TheAltitude_169" + "TheAltitude_170" + "TheAltitude_171" + "TheAltitude_172" + "TheAltitude_173" + "TheAltitude_174" + "TheAltitude_175" + "TheAltitude_176" + "TheAltitude_177" + "TheAltitude_178" + "TheAltitude_179" + "TheAltitude_180" + "TheAltitude_181" + "TheAltitude_182" + "TheAltitude_183" + "TheAltitude_184" + "TheAltitude_185" + "TheAltitude_186" + "TheAltitude_187" + "TheAltitude_188" + "TheAltitude_189" + "TheAltitude_190" + "TheAltitude_191" + "TheAltitude_192" + "TheAltitude_193" + "TheAltitude_194" + "TheAltitude_195" + "TheAltitude_196" + "TheAltitude_197" + "TheAltitude_198" + "TheAltitude_199" + "TheAltitude_200"))) and ((1 <= ("TheAltitude_1" + "TheAltitude_2" + "TheAltitude_3" + "TheAltitude_4" + "TheAltitude_5" + "TheAltitude_6" + "TheAltitude_7" + "TheAltitude_8" + "TheAltitude_9" + "TheAltitude_10" + "TheAltitude_11" + "TheAltitude_12" + "TheAltitude_13" + "TheAltitude_14" + "TheAltitude_15" + "TheAltitude_16" + "TheAltitude_17" + "TheAltitude_18" + "TheAltitude_19" + "TheAltitude_20" + "TheAltitude_21" + "TheAltitude_22" + "TheAltitude_23" + "TheAltitude_24" + "TheAltitude_25" + "TheAltitude_26" + "TheAltitude_27" + "TheAltitude_28" + "TheAltitude_29" + "TheAltitude_30" + "TheAltitude_31" + "TheAltitude_32" + "TheAltitude_33" + "TheAltitude_34" + "TheAltitude_35" + "TheAltitude_36" + "TheAltitude_37" + "TheAltitude_38" + "TheAltitude_39" + "TheAltitude_40" + "TheAltitude_41" + "TheAltitude_42" + "TheAltitude_43" + "TheAltitude_44" + "TheAltitude_45" + "TheAltitude_46" + "TheAltitude_47" + "TheAltitude_48" + "TheAltitude_49" + "TheAltitude_50" + "TheAltitude_51" + "TheAltitude_52" + "TheAltitude_53" + "TheAltitude_54" + "TheAltitude_55" + "TheAltitude_56" + "TheAltitude_57" + "TheAltitude_58" + "TheAltitude_59" + "TheAltitude_60" + "TheAltitude_61" + "TheAltitude_62" + "TheAltitude_63" + "TheAltitude_64" + "TheAltitude_65" + "TheAltitude_66" + "TheAltitude_67" + "TheAltitude_68" + "TheAltitude_69" + "TheAltitude_70" + "TheAltitude_71" + "TheAltitude_72" + "TheAltitude_73" + "TheAltitude_74" + "TheAltitude_75" + "TheAltitude_76" + "TheAltitude_77" + "TheAltitude_78" + "TheAltitude_79" + "TheAltitude_80" + "TheAltitude_81" + "TheAltitude_82" + "TheAltitude_83" + "TheAltitude_84" + "TheAltitude_85" + "TheAltitude_86" + "TheAltitude_87" + "TheAltitude_88" + "TheAltitude_89" + "TheAltitude_90" + "TheAltitude_91" + "TheAltitude_92" + "TheAltitude_93" + "TheAltitude_94" + "TheAltitude_95" + "TheAltitude_96" + "TheAltitude_97" + "TheAltitude_98" + "TheAltitude_99" + "TheAltitude_100" + "TheAltitude_101" + "TheAltitude_102" + "TheAltitude_103" + "TheAltitude_104" + "TheAltitude_105" + "TheAltitude_106" + "TheAltitude_107" + "TheAltitude_108" + "TheAltitude_109" + "TheAltitude_110" + "TheAltitude_111" + "TheAltitude_112" + "TheAltitude_113" + "TheAltitude_114" + "TheAltitude_115" + "TheAltitude_116" + "TheAltitude_117" + "TheAltitude_118" + "TheAltitude_119" + "TheAltitude_120" + "TheAltitude_121" + "TheAltitude_122" + "TheAltitude_123" + "TheAltitude_124" + "TheAltitude_125" + "TheAltitude_126" + "TheAltitude_127" + "TheAltitude_128" + "TheAltitude_129" + "TheAltitude_130" + "TheAltitude_131" + "TheAltitude_132" + "TheAltitude_133" + "TheAltitude_134" + "TheAltitude_135" + "TheAltitude_136" + "TheAltitude_137" + "TheAltitude_138" + "TheAltitude_139" + "TheAltitude_140" + "TheAltitude_141" + "TheAltitude_142" + "TheAltitude_143" + "TheAltitude_144" + "TheAltitude_145" + "TheAltitude_146" + "TheAltitude_147" + "TheAltitude_148" + "TheAltitude_149" + "TheAltitude_150" + "TheAltitude_151" + "TheAltitude_152" + "TheAltitude_153" + "TheAltitude_154" + "TheAltitude_155" + "TheAltitude_156" + "TheAltitude_157" + "TheAltitude_158" + "TheAltitude_159" + "TheAltitude_160" + "TheAltitude_161" + "TheAltitude_162" + "TheAltitude_163" + "TheAltitude_164" + "TheAltitude_165" + "TheAltitude_166" + "TheAltitude_167" + "TheAltitude_168" + "TheAltitude_169" + "TheAltitude_170" + "TheAltitude_171" + "TheAltitude_172" + "TheAltitude_173" + "TheAltitude_174" + "TheAltitude_175" + "TheAltitude_176" + "TheAltitude_177" + "TheAltitude_178" + "TheAltitude_179" + "TheAltitude_180" + "TheAltitude_181" + "TheAltitude_182" + "TheAltitude_183" + "TheAltitude_184" + "TheAltitude_185" + "TheAltitude_186" + "TheAltitude_187" + "TheAltitude_188" + "TheAltitude_189" + "TheAltitude_190" + "TheAltitude_191" + "TheAltitude_192" + "TheAltitude_193" + "TheAltitude_194" + "TheAltitude_195" + "TheAltitude_196" + "TheAltitude_197" + "TheAltitude_198" + "TheAltitude_199" + "TheAltitude_200")) and ("stp1" <= "P6")))) )
AirplaneLD-COL-0100-ReachabilityCardinality-9: EF ( (((("stp1" <= "P2") or (("TheAltitude_1" + "TheAltitude_2" + "TheAltitude_3" + "TheAltitude_4" + "TheAltitude_5" + "TheAltitude_6" + "TheAltitude_7" + "TheAltitude_8" + "TheAltitude_9" + "TheAltitude_10" + "TheAltitude_11" + "TheAltitude_12" + "TheAltitude_13" + "TheAltitude_14" + "TheAltitude_15" + "TheAltitude_16" + "TheAltitude_17" + "TheAltitude_18" + "TheAltitude_19" + "TheAltitude_20" + "TheAltitude_21" + "TheAltitude_22" + "TheAltitude_23" + "TheAltitude_24" + "TheAltitude_25" + "TheAltitude_26" + "TheAltitude_27" + "TheAltitude_28" + "TheAltitude_29" + "TheAltitude_30" + "TheAltitude_31" + "TheAltitude_32" + "TheAltitude_33" + "TheAltitude_34" + "TheAltitude_35" + "TheAltitude_36" + "TheAltitude_37" + "TheAltitude_38" + "TheAltitude_39" + "TheAltitude_40" + "TheAltitude_41" + "TheAltitude_42" + "TheAltitude_43" + "TheAltitude_44" + "TheAltitude_45" + "TheAltitude_46" + "TheAltitude_47" + "TheAltitude_48" + "TheAltitude_49" + "TheAltitude_50" + "TheAltitude_51" + "TheAltitude_52" + "TheAltitude_53" + "TheAltitude_54" + "TheAltitude_55" + "TheAltitude_56" + "TheAltitude_57" + "TheAltitude_58" + "TheAltitude_59" + "TheAltitude_60" + "TheAltitude_61" + "TheAltitude_62" + "TheAltitude_63" + "TheAltitude_64" + "TheAltitude_65" + "TheAltitude_66" + "TheAltitude_67" + "TheAltitude_68" + "TheAltitude_69" + "TheAltitude_70" + "TheAltitude_71" + "TheAltitude_72" + "TheAltitude_73" + "TheAltitude_74" + "TheAltitude_75" + "TheAltitude_76" + "TheAltitude_77" + "TheAltitude_78" + "TheAltitude_79" + "TheAltitude_80" + "TheAltitude_81" + "TheAltitude_82" + "TheAltitude_83" + "TheAltitude_84" + "TheAltitude_85" + "TheAltitude_86" + "TheAltitude_87" + "TheAltitude_88" + "TheAltitude_89" + "TheAltitude_90" + "TheAltitude_91" + "TheAltitude_92" + "TheAltitude_93" + "TheAltitude_94" + "TheAltitude_95" + "TheAltitude_96" + "TheAltitude_97" + "TheAltitude_98" + "TheAltitude_99" + "TheAltitude_100" + "TheAltitude_101" + "TheAltitude_102" + "TheAltitude_103" + "TheAltitude_104" + "TheAltitude_105" + "TheAltitude_106" + "TheAltitude_107" + "TheAltitude_108" + "TheAltitude_109" + "TheAltitude_110" + "TheAltitude_111" + "TheAltitude_112" + "TheAltitude_113" + "TheAltitude_114" + "TheAltitude_115" + "TheAltitude_116" + "TheAltitude_117" + "TheAltitude_118" + "TheAltitude_119" + "TheAltitude_120" + "TheAltitude_121" + "TheAltitude_122" + "TheAltitude_123" + "TheAltitude_124" + "TheAltitude_125" + "TheAltitude_126" + "TheAltitude_127" + "TheAltitude_128" + "TheAltitude_129" + "TheAltitude_130" + "TheAltitude_131" + "TheAltitude_132" + "TheAltitude_133" + "TheAltitude_134" + "TheAltitude_135" + "TheAltitude_136" + "TheAltitude_137" + "TheAltitude_138" + "TheAltitude_139" + "TheAltitude_140" + "TheAltitude_141" + "TheAltitude_142" + "TheAltitude_143" + "TheAltitude_144" + "TheAltitude_145" + "TheAltitude_146" + "TheAltitude_147" + "TheAltitude_148" + "TheAltitude_149" + "TheAltitude_150" + "TheAltitude_151" + "TheAltitude_152" + "TheAltitude_153" + "TheAltitude_154" + "TheAltitude_155" + "TheAltitude_156" + "TheAltitude_157" + "TheAltitude_158" + "TheAltitude_159" + "TheAltitude_160" + "TheAltitude_161" + "TheAltitude_162" + "TheAltitude_163" + "TheAltitude_164" + "TheAltitude_165" + "TheAltitude_166" + "TheAltitude_167" + "TheAltitude_168" + "TheAltitude_169" + "TheAltitude_170" + "TheAltitude_171" + "TheAltitude_172" + "TheAltitude_173" + "TheAltitude_174" + "TheAltitude_175" + "TheAltitude_176" + "TheAltitude_177" + "TheAltitude_178" + "TheAltitude_179" + "TheAltitude_180" + "TheAltitude_181" + "TheAltitude_182" + "TheAltitude_183" + "TheAltitude_184" + "TheAltitude_185" + "TheAltitude_186" + "TheAltitude_187" + "TheAltitude_188" + "TheAltitude_189" + "TheAltitude_190" + "TheAltitude_191" + "TheAltitude_192" + "TheAltitude_193" + "TheAltitude_194" + "TheAltitude_195" + "TheAltitude_196" + "TheAltitude_197" + "TheAltitude_198" + "TheAltitude_199" + "TheAltitude_200") <= ("Speed_Right_Wheel_1" + "Speed_Right_Wheel_2" + "Speed_Right_Wheel_3" + "Speed_Right_Wheel_4" + "Speed_Right_Wheel_5" + "Speed_Right_Wheel_6" + "Speed_Right_Wheel_7" + "Speed_Right_Wheel_8" + "Speed_Right_Wheel_9" + "Speed_Right_Wheel_10" + "Speed_Right_Wheel_11" + "Speed_Right_Wheel_12" + "Speed_Right_Wheel_13" + "Speed_Right_Wheel_14" + "Speed_Right_Wheel_15" + "Speed_Right_Wheel_16" + "Speed_Right_Wheel_17" + "Speed_Right_Wheel_18" + "Speed_Right_Wheel_19" + "Speed_Right_Wheel_20" + "Speed_Right_Wheel_21" + "Speed_Right_Wheel_22" + "Speed_Right_Wheel_23" + "Speed_Right_Wheel_24" + "Speed_Right_Wheel_25" + "Speed_Right_Wheel_26" + "Speed_Right_Wheel_27" + "Speed_Right_Wheel_28" + "Speed_Right_Wheel_29" + "Speed_Right_Wheel_30" + "Speed_Right_Wheel_31" + "Speed_Right_Wheel_32" + "Speed_Right_Wheel_33" + "Speed_Right_Wheel_34" + "Speed_Right_Wheel_35" + "Speed_Right_Wheel_36" + "Speed_Right_Wheel_37" + "Speed_Right_Wheel_38" + "Speed_Right_Wheel_39" + "Speed_Right_Wheel_40" + "Speed_Right_Wheel_41" + "Speed_Right_Wheel_42" + "Speed_Right_Wheel_43" + "Speed_Right_Wheel_44" + "Speed_Right_Wheel_45" + "Speed_Right_Wheel_46" + "Speed_Right_Wheel_47" + "Speed_Right_Wheel_48" + "Speed_Right_Wheel_49" + "Speed_Right_Wheel_50" + "Speed_Right_Wheel_51" + "Speed_Right_Wheel_52" + "Speed_Right_Wheel_53" + "Speed_Right_Wheel_54" + "Speed_Right_Wheel_55" + "Speed_Right_Wheel_56" + "Speed_Right_Wheel_57" + "Speed_Right_Wheel_58" + "Speed_Right_Wheel_59" + "Speed_Right_Wheel_60" + "Speed_Right_Wheel_61" + "Speed_Right_Wheel_62" + "Speed_Right_Wheel_63" + "Speed_Right_Wheel_64" + "Speed_Right_Wheel_65" + "Speed_Right_Wheel_66" + "Speed_Right_Wheel_67" + "Speed_Right_Wheel_68" + "Speed_Right_Wheel_69" + "Speed_Right_Wheel_70" + "Speed_Right_Wheel_71" + "Speed_Right_Wheel_72" + "Speed_Right_Wheel_73" + "Speed_Right_Wheel_74" + "Speed_Right_Wheel_75" + "Speed_Right_Wheel_76" + "Speed_Right_Wheel_77" + "Speed_Right_Wheel_78" + "Speed_Right_Wheel_79" + "Speed_Right_Wheel_80" + "Speed_Right_Wheel_81" + "Speed_Right_Wheel_82" + "Speed_Right_Wheel_83" + "Speed_Right_Wheel_84" + "Speed_Right_Wheel_85" + "Speed_Right_Wheel_86" + "Speed_Right_Wheel_87" + "Speed_Right_Wheel_88" + "Speed_Right_Wheel_89" + "Speed_Right_Wheel_90" + "Speed_Right_Wheel_91" + "Speed_Right_Wheel_92" + "Speed_Right_Wheel_93" + "Speed_Right_Wheel_94" + "Speed_Right_Wheel_95" + "Speed_Right_Wheel_96" + "Speed_Right_Wheel_97" + "Speed_Right_Wheel_98" + "Speed_Right_Wheel_99" + "Speed_Right_Wheel_100"))) and ((2 <= "stp5") and ("P5" <= "stp2"))) or not((("P6" <= ("TheAltitude_1" + "TheAltitude_2" + "TheAltitude_3" + "TheAltitude_4" + "TheAltitude_5" + "TheAltitude_6" + "TheAltitude_7" + "TheAltitude_8" + "TheAltitude_9" + "TheAltitude_10" + "TheAltitude_11" + "TheAltitude_12" + "TheAltitude_13" + "TheAltitude_14" + "TheAltitude_15" + "TheAltitude_16" + "TheAltitude_17" + "TheAltitude_18" + "TheAltitude_19" + "TheAltitude_20" + "TheAltitude_21" + "TheAltitude_22" + "TheAltitude_23" + "TheAltitude_24" + "TheAltitude_25" + "TheAltitude_26" + "TheAltitude_27" + "TheAltitude_28" + "TheAltitude_29" + "TheAltitude_30" + "TheAltitude_31" + "TheAltitude_32" + "TheAltitude_33" + "TheAltitude_34" + "TheAltitude_35" + "TheAltitude_36" + "TheAltitude_37" + "TheAltitude_38" + "TheAltitude_39" + "TheAltitude_40" + "TheAltitude_41" + "TheAltitude_42" + "TheAltitude_43" + "TheAltitude_44" + "TheAltitude_45" + "TheAltitude_46" + "TheAltitude_47" + "TheAltitude_48" + "TheAltitude_49" + "TheAltitude_50" + "TheAltitude_51" + "TheAltitude_52" + "TheAltitude_53" + "TheAltitude_54" + "TheAltitude_55" + "TheAltitude_56" + "TheAltitude_57" + "TheAltitude_58" + "TheAltitude_59" + "TheAltitude_60" + "TheAltitude_61" + "TheAltitude_62" + "TheAltitude_63" + "TheAltitude_64" + "TheAltitude_65" + "TheAltitude_66" + "TheAltitude_67" + "TheAltitude_68" + "TheAltitude_69" + "TheAltitude_70" + "TheAltitude_71" + "TheAltitude_72" + "TheAltitude_73" + "TheAltitude_74" + "TheAltitude_75" + "TheAltitude_76" + "TheAltitude_77" + "TheAltitude_78" + "TheAltitude_79" + "TheAltitude_80" + "TheAltitude_81" + "TheAltitude_82" + "TheAltitude_83" + "TheAltitude_84" + "TheAltitude_85" + "TheAltitude_86" + "TheAltitude_87" + "TheAltitude_88" + "TheAltitude_89" + "TheAltitude_90" + "TheAltitude_91" + "TheAltitude_92" + "TheAltitude_93" + "TheAltitude_94" + "TheAltitude_95" + "TheAltitude_96" + "TheAltitude_97" + "TheAltitude_98" + "TheAltitude_99" + "TheAltitude_100" + "TheAltitude_101" + "TheAltitude_102" + "TheAltitude_103" + "TheAltitude_104" + "TheAltitude_105" + "TheAltitude_106" + "TheAltitude_107" + "TheAltitude_108" + "TheAltitude_109" + "TheAltitude_110" + "TheAltitude_111" + "TheAltitude_112" + "TheAltitude_113" + "TheAltitude_114" + "TheAltitude_115" + "TheAltitude_116" + "TheAltitude_117" + "TheAltitude_118" + "TheAltitude_119" + "TheAltitude_120" + "TheAltitude_121" + "TheAltitude_122" + "TheAltitude_123" + "TheAltitude_124" + "TheAltitude_125" + "TheAltitude_126" + "TheAltitude_127" + "TheAltitude_128" + "TheAltitude_129" + "TheAltitude_130" + "TheAltitude_131" + "TheAltitude_132" + "TheAltitude_133" + "TheAltitude_134" + "TheAltitude_135" + "TheAltitude_136" + "TheAltitude_137" + "TheAltitude_138" + "TheAltitude_139" + "TheAltitude_140" + "TheAltitude_141" + "TheAltitude_142" + "TheAltitude_143" + "TheAltitude_144" + "TheAltitude_145" + "TheAltitude_146" + "TheAltitude_147" + "TheAltitude_148" + "TheAltitude_149" + "TheAltitude_150" + "TheAltitude_151" + "TheAltitude_152" + "TheAltitude_153" + "TheAltitude_154" + "TheAltitude_155" + "TheAltitude_156" + "TheAltitude_157" + "TheAltitude_158" + "TheAltitude_159" + "TheAltitude_160" + "TheAltitude_161" + "TheAltitude_162" + "TheAltitude_163" + "TheAltitude_164" + "TheAltitude_165" + "TheAltitude_166" + "TheAltitude_167" + "TheAltitude_168" + "TheAltitude_169" + "TheAltitude_170" + "TheAltitude_171" + "TheAltitude_172" + "TheAltitude_173" + "TheAltitude_174" + "TheAltitude_175" + "TheAltitude_176" + "TheAltitude_177" + "TheAltitude_178" + "TheAltitude_179" + "TheAltitude_180" + "TheAltitude_181" + "TheAltitude_182" + "TheAltitude_183" + "TheAltitude_184" + "TheAltitude_185" + "TheAltitude_186" + "TheAltitude_187" + "TheAltitude_188" + "TheAltitude_189" + "TheAltitude_190" + "TheAltitude_191" + "TheAltitude_192" + "TheAltitude_193" + "TheAltitude_194" + "TheAltitude_195" + "TheAltitude_196" + "TheAltitude_197" + "TheAltitude_198" + "TheAltitude_199" + "TheAltitude_200")) or (1 <= "stp2")))) )

query: EF ( (((("stp1" <= "P2") or (("TheAltitude_1" + "TheAltitude_2" + "TheAltitude_3" + "TheAltitude_4" + "TheAltitude_5" + "TheAltitude_6" + "TheAltitude_7" + "TheAltitude_8" + "TheAltitude_9" + "TheAltitude_10" + "TheAltitude_11" + "TheAltitude_12" + "TheAltitude_13" + "TheAltitude_14" + "TheAltitude_15" + "TheAltitude_16" + "TheAltitude_17" + "TheAltitude_18" + "TheAltitude_19" + "TheAltitude_20" + "TheAltitude_21" + "TheAltitude_22" + "TheAltitude_23" + "TheAltitude_24" + "TheAltitude_25" + "TheAltitude_26" + "TheAltitude_27" + "TheAltitude_28" + "TheAltitude_29" + "TheAltitude_30" + "TheAltitude_31" + "TheAltitude_32" + "TheAltitude_33" + "TheAltitude_34" + "TheAltitude_35" + "TheAltitude_36" + "TheAltitude_37" + "TheAltitude_38" + "TheAltitude_39" + "TheAltitude_40" + "TheAltitude_41" + "TheAltitude_42" + "TheAltitude_43" + "TheAltitude_44" + "TheAltitude_45" + "TheAltitude_46" + "TheAltitude_47" + "TheAltitude_48" + "TheAltitude_49" + "TheAltitude_50" + "TheAltitude_51" + "TheAltitude_52" + "TheAltitude_53" + "TheAltitude_54" + "TheAltitude_55" + "TheAltitude_56" + "TheAltitude_57" + "TheAltitude_58" + "TheAltitude_59" + "TheAltitude_60" + "TheAltitude_61" + "TheAltitude_62" + "TheAltitude_63" + "TheAltitude_64" + "TheAltitude_65" + "TheAltitude_66" + "TheAltitude_67" + "TheAltitude_68" + "TheAltitude_69" + "TheAltitude_70" + "TheAltitude_71" + "TheAltitude_72" + "TheAltitude_73" + "TheAltitude_74" + "TheAltitude_75" + "TheAltitude_76" + "TheAltitude_77" + "TheAltitude_78" + "TheAltitude_79" + "TheAltitude_80" + "TheAltitude_81" + "TheAltitude_82" + "TheAltitude_83" + "TheAltitude_84" + "TheAltitude_85" + "TheAltitude_86" + "TheAltitude_87" + "TheAltitude_88" + "TheAltitude_89" + "TheAltitude_90" + "TheAltitude_91" + "TheAltitude_92" + "TheAltitude_93" + "TheAltitude_94" + "TheAltitude_95" + "TheAltitude_96" + "TheAltitude_97" + "TheAltitude_98" + "TheAltitude_99" + "TheAltitude_100" + "TheAltitude_101" + "TheAltitude_102" + "TheAltitude_103" + "TheAltitude_104" + "TheAltitude_105" + "TheAltitude_106" + "TheAltitude_107" + "TheAltitude_108" + "TheAltitude_109" + "TheAltitude_110" + "TheAltitude_111" + "TheAltitude_112" + "TheAltitude_113" + "TheAltitude_114" + "TheAltitude_115" + "TheAltitude_116" + "TheAltitude_117" + "TheAltitude_118" + "TheAltitude_119" + "TheAltitude_120" + "TheAltitude_121" + "TheAltitude_122" + "TheAltitude_123" + "TheAltitude_124" + "TheAltitude_125" + "TheAltitude_126" + "TheAltitude_127" + "TheAltitude_128" + "TheAltitude_129" + "TheAltitude_130" + "TheAltitude_131" + "TheAltitude_132" + "TheAltitude_133" + "TheAltitude_134" + "TheAltitude_135" + "TheAltitude_136" + "TheAltitude_137" + "TheAltitude_138" + "TheAltitude_139" + "TheAltitude_140" + "TheAltitude_141" + "TheAltitude_142" + "TheAltitude_143" + "TheAltitude_144" + "TheAltitude_145" + "TheAltitude_146" + "TheAltitude_147" + "TheAltitude_148" + "TheAltitude_149" + "TheAltitude_150" + "TheAltitude_151" + "TheAltitude_152" + "TheAltitude_153" + "TheAltitude_154" + "TheAltitude_155" + "TheAltitude_156" + "TheAltitude_157" + "TheAltitude_158" + "TheAltitude_159" + "TheAltitude_160" + "TheAltitude_161" + "TheAltitude_162" + "TheAltitude_163" + "TheAltitude_164" + "TheAltitude_165" + "TheAltitude_166" + "TheAltitude_167" + "TheAltitude_168" + "TheAltitude_169" + "TheAltitude_170" + "TheAltitude_171" + "TheAltitude_172" + "TheAltitude_173" + "TheAltitude_174" + "TheAltitude_175" + "TheAltitude_176" + "TheAltitude_177" + "TheAltitude_178" + "TheAltitude_179" + "TheAltitude_180" + "TheAltitude_181" + "TheAltitude_182" + "TheAltitude_183" + "TheAltitude_184" + "TheAltitude_185" + "TheAltitude_186" + "TheAltitude_187" + "TheAltitude_188" + "TheAltitude_189" + "TheAltitude_190" + "TheAltitude_191" + "TheAltitude_192" + "TheAltitude_193" + "TheAltitude_194" + "TheAltitude_195" + "TheAltitude_196" + "TheAltitude_197" + "TheAltitude_198" + "TheAltitude_199" + "TheAltitude_200") <= ("Speed_Right_Wheel_1" + "Speed_Right_Wheel_2" + "Speed_Right_Wheel_3" + "Speed_Right_Wheel_4" + "Speed_Right_Wheel_5" + "Speed_Right_Wheel_6" + "Speed_Right_Wheel_7" + "Speed_Right_Wheel_8" + "Speed_Right_Wheel_9" + "Speed_Right_Wheel_10" + "Speed_Right_Wheel_11" + "Speed_Right_Wheel_12" + "Speed_Right_Wheel_13" + "Speed_Right_Wheel_14" + "Speed_Right_Wheel_15" + "Speed_Right_Wheel_16" + "Speed_Right_Wheel_17" + "Speed_Right_Wheel_18" + "Speed_Right_Wheel_19" + "Speed_Right_Wheel_20" + "Speed_Right_Wheel_21" + "Speed_Right_Wheel_22" + "Speed_Right_Wheel_23" + "Speed_Right_Wheel_24" + "Speed_Right_Wheel_25" + "Speed_Right_Wheel_26" + "Speed_Right_Wheel_27" + "Speed_Right_Wheel_28" + "Speed_Right_Wheel_29" + "Speed_Right_Wheel_30" + "Speed_Right_Wheel_31" + "Speed_Right_Wheel_32" + "Speed_Right_Wheel_33" + "Speed_Right_Wheel_34" + "Speed_Right_Wheel_35" + "Speed_Right_Wheel_36" + "Speed_Right_Wheel_37" + "Speed_Right_Wheel_38" + "Speed_Right_Wheel_39" + "Speed_Right_Wheel_40" + "Speed_Right_Wheel_41" + "Speed_Right_Wheel_42" + "Speed_Right_Wheel_43" + "Speed_Right_Wheel_44" + "Speed_Right_Wheel_45" + "Speed_Right_Wheel_46" + "Speed_Right_Wheel_47" + "Speed_Right_Wheel_48" + "Speed_Right_Wheel_49" + "Speed_Right_Wheel_50" + "Speed_Right_Wheel_51" + "Speed_Right_Wheel_52" + "Speed_Right_Wheel_53" + "Speed_Right_Wheel_54" + "Speed_Right_Wheel_55" + "Speed_Right_Wheel_56" + "Speed_Right_Wheel_57" + "Speed_Right_Wheel_58" + "Speed_Right_Wheel_59" + "Speed_Right_Wheel_60" + "Speed_Right_Wheel_61" + "Speed_Right_Wheel_62" + "Speed_Right_Wheel_63" + "Speed_Right_Wheel_64" + "Speed_Right_Wheel_65" + "Speed_Right_Wheel_66" + "Speed_Right_Wheel_67" + "Speed_Right_Wheel_68" + "Speed_Right_Wheel_69" + "Speed_Right_Wheel_70" + "Speed_Right_Wheel_71" + "Speed_Right_Wheel_72" + "Speed_Right_Wheel_73" + "Speed_Right_Wheel_74" + "Speed_Right_Wheel_75" + "Speed_Right_Wheel_76" + "Speed_Right_Wheel_77" + "Speed_Right_Wheel_78" + "Speed_Right_Wheel_79" + "Speed_Right_Wheel_80" + "Speed_Right_Wheel_81" + "Speed_Right_Wheel_82" + "Speed_Right_Wheel_83" + "Speed_Right_Wheel_84" + "Speed_Right_Wheel_85" + "Speed_Right_Wheel_86" + "Speed_Right_Wheel_87" + "Speed_Right_Wheel_88" + "Speed_Right_Wheel_89" + "Speed_Right_Wheel_90" + "Speed_Right_Wheel_91" + "Speed_Right_Wheel_92" + "Speed_Right_Wheel_93" + "Speed_Right_Wheel_94" + "Speed_Right_Wheel_95" + "Speed_Right_Wheel_96" + "Speed_Right_Wheel_97" + "Speed_Right_Wheel_98" + "Speed_Right_Wheel_99" + "Speed_Right_Wheel_100"))) and ((2 <= "stp5") and ("P5" <= "stp2"))) or not((("P6" <= ("TheAltitude_1" + "TheAltitude_2" + "TheAltitude_3" + "TheAltitude_4" + "TheAltitude_5" + "TheAltitude_6" + "TheAltitude_7" + "TheAltitude_8" + "TheAltitude_9" + "TheAltitude_10" + "TheAltitude_11" + "TheAltitude_12" + "TheAltitude_13" + "TheAltitude_14" + "TheAltitude_15" + "TheAltitude_16" + "TheAltitude_17" + "TheAltitude_18" + "TheAltitude_19" + "TheAltitude_20" + "TheAltitude_21" + "TheAltitude_22" + "TheAltitude_23" + "TheAltitude_24" + "TheAltitude_25" + "TheAltitude_26" + "TheAltitude_27" + "TheAltitude_28" + "TheAltitude_29" + "TheAltitude_30" + "TheAltitude_31" + "TheAltitude_32" + "TheAltitude_33" + "TheAltitude_34" + "TheAltitude_35" + "TheAltitude_36" + "TheAltitude_37" + "TheAltitude_38" + "TheAltitude_39" + "TheAltitude_40" + "TheAltitude_41" + "TheAltitude_42" + "TheAltitude_43" + "TheAltitude_44" + "TheAltitude_45" + "TheAltitude_46" + "TheAltitude_47" + "TheAltitude_48" + "TheAltitude_49" + "TheAltitude_50" + "TheAltitude_51" + "TheAltitude_52" + "TheAltitude_53" + "TheAltitude_54" + "TheAltitude_55" + "TheAltitude_56" + "TheAltitude_57" + "TheAltitude_58" + "TheAltitude_59" + "TheAltitude_60" + "TheAltitude_61" + "TheAltitude_62" + "TheAltitude_63" + "TheAltitude_64" + "TheAltitude_65" + "TheAltitude_66" + "TheAltitude_67" + "TheAltitude_68" + "TheAltitude_69" + "TheAltitude_70" + "TheAltitude_71" + "TheAltitude_72" + "TheAltitude_73" + "TheAltitude_74" + "TheAltitude_75" + "TheAltitude_76" + "TheAltitude_77" + "TheAltitude_78" + "TheAltitude_79" + "TheAltitude_80" + "TheAltitude_81" + "TheAltitude_82" + "TheAltitude_83" + "TheAltitude_84" + "TheAltitude_85" + "TheAltitude_86" + "TheAltitude_87" + "TheAltitude_88" + "TheAltitude_89" + "TheAltitude_90" + "TheAltitude_91" + "TheAltitude_92" + "TheAltitude_93" + "TheAltitude_94" + "TheAltitude_95" + "TheAltitude_96" + "TheAltitude_97" + "TheAltitude_98" + "TheAltitude_99" + "TheAltitude_100" + "TheAltitude_101" + "TheAltitude_102" + "TheAltitude_103" + "TheAltitude_104" + "TheAltitude_105" + "TheAltitude_106" + "TheAltitude_107" + "TheAltitude_108" + "TheAltitude_109" + "TheAltitude_110" + "TheAltitude_111" + "TheAltitude_112" + "TheAltitude_113" + "TheAltitude_114" + "TheAltitude_115" + "TheAltitude_116" + "TheAltitude_117" + "TheAltitude_118" + "TheAltitude_119" + "TheAltitude_120" + "TheAltitude_121" + "TheAltitude_122" + "TheAltitude_123" + "TheAltitude_124" + "TheAltitude_125" + "TheAltitude_126" + "TheAltitude_127" + "TheAltitude_128" + "TheAltitude_129" + "TheAltitude_130" + "TheAltitude_131" + "TheAltitude_132" + "TheAltitude_133" + "TheAltitude_134" + "TheAltitude_135" + "TheAltitude_136" + "TheAltitude_137" + "TheAltitude_138" + "TheAltitude_139" + "TheAltitude_140" + "TheAltitude_141" + "TheAltitude_142" + "TheAltitude_143" + "TheAltitude_144" + "TheAltitude_145" + "TheAltitude_146" + "TheAltitude_147" + "TheAltitude_148" + "TheAltitude_149" + "TheAltitude_150" + "TheAltitude_151" + "TheAltitude_152" + "TheAltitude_153" + "TheAltitude_154" + "TheAltitude_155" + "TheAltitude_156" + "TheAltitude_157" + "TheAltitude_158" + "TheAltitude_159" + "TheAltitude_160" + "TheAltitude_161" + "TheAltitude_162" + "TheAltitude_163" + "TheAltitude_164" + "TheAltitude_165" + "TheAltitude_166" + "TheAltitude_167" + "TheAltitude_168" + "TheAltitude_169" + "TheAltitude_170" + "TheAltitude_171" + "TheAltitude_172" + "TheAltitude_173" + "TheAltitude_174" + "TheAltitude_175" + "TheAltitude_176" + "TheAltitude_177" + "TheAltitude_178" + "TheAltitude_179" + "TheAltitude_180" + "TheAltitude_181" + "TheAltitude_182" + "TheAltitude_183" + "TheAltitude_184" + "TheAltitude_185" + "TheAltitude_186" + "TheAltitude_187" + "TheAltitude_188" + "TheAltitude_189" + "TheAltitude_190" + "TheAltitude_191" + "TheAltitude_192" + "TheAltitude_193" + "TheAltitude_194" + "TheAltitude_195" + "TheAltitude_196" + "TheAltitude_197" + "TheAltitude_198" + "TheAltitude_199" + "TheAltitude_200")) or (1 <= "stp2")))) )
FORMULA AirplaneLD-COL-0100-ReachabilityCardinality-9 TRUE TECHNIQUES PARALLEL_PROCESSING EXPLICIT STRUCTURAL_REDUCTION

Query is satisfied.

AirplaneLD-COL-0100-ReachabilityCardinality-10: EF ( ((((3 <= "P3") and (("WeightPossibleVal_on" + "WeightPossibleVal_off") <= "P4")) or (3 <= "P1")) and (3 <= "P1")) )

query: EF ( ((((3 <= "P3") and (("WeightPossibleVal_on" + "WeightPossibleVal_off") <= "P4")) or (3 <= "P1")) and (3 <= "P1")) )
AirplaneLD-COL-0100-ReachabilityCardinality-11: not EF not ( (2 <= ("SpeedPossibleVal_1" + "SpeedPossibleVal_2" + "SpeedPossibleVal_3" + "SpeedPossibleVal_4" + "SpeedPossibleVal_5" + "SpeedPossibleVal_6" + "SpeedPossibleVal_7" + "SpeedPossibleVal_8" + "SpeedPossibleVal_9" + "SpeedPossibleVal_10" + "SpeedPossibleVal_11" + "SpeedPossibleVal_12" + "SpeedPossibleVal_13" + "SpeedPossibleVal_14" + "SpeedPossibleVal_15" + "SpeedPossibleVal_16" + "SpeedPossibleVal_17" + "SpeedPossibleVal_18" + "SpeedPossibleVal_19" + "SpeedPossibleVal_20" + "SpeedPossibleVal_21" + "SpeedPossibleVal_22" + "SpeedPossibleVal_23" + "SpeedPossibleVal_24" + "SpeedPossibleVal_25" + "SpeedPossibleVal_26" + "SpeedPossibleVal_27" + "SpeedPossibleVal_28" + "SpeedPossibleVal_29" + "SpeedPossibleVal_30" + "SpeedPossibleVal_31" + "SpeedPossibleVal_32" + "SpeedPossibleVal_33" + "SpeedPossibleVal_34" + "SpeedPossibleVal_35" + "SpeedPossibleVal_36" + "SpeedPossibleVal_37" + "SpeedPossibleVal_38" + "SpeedPossibleVal_39" + "SpeedPossibleVal_40" + "SpeedPossibleVal_41" + "SpeedPossibleVal_42" + "SpeedPossibleVal_43" + "SpeedPossibleVal_44" + "SpeedPossibleVal_45" + "SpeedPossibleVal_46" + "SpeedPossibleVal_47" + "SpeedPossibleVal_48" + "SpeedPossibleVal_49" + "SpeedPossibleVal_50" + "SpeedPossibleVal_51" + "SpeedPossibleVal_52" + "SpeedPossibleVal_53" + "SpeedPossibleVal_54" + "SpeedPossibleVal_55" + "SpeedPossibleVal_56" + "SpeedPossibleVal_57" + "SpeedPossibleVal_58" + "SpeedPossibleVal_59" + "SpeedPossibleVal_60" + "SpeedPossibleVal_61" + "SpeedPossibleVal_62" + "SpeedPossibleVal_63" + "SpeedPossibleVal_64" + "SpeedPossibleVal_65" + "SpeedPossibleVal_66" + "SpeedPossibleVal_67" + "SpeedPossibleVal_68" + "SpeedPossibleVal_69" + "SpeedPossibleVal_70" + "SpeedPossibleVal_71" + "SpeedPossibleVal_72" + "SpeedPossibleVal_73" + "SpeedPossibleVal_74" + "SpeedPossibleVal_75" + "SpeedPossibleVal_76" + "SpeedPossibleVal_77" + "SpeedPossibleVal_78" + "SpeedPossibleVal_79" + "SpeedPossibleVal_80" + "SpeedPossibleVal_81" + "SpeedPossibleVal_82" + "SpeedPossibleVal_83" + "SpeedPossibleVal_84" + "SpeedPossibleVal_85" + "SpeedPossibleVal_86" + "SpeedPossibleVal_87" + "SpeedPossibleVal_88" + "SpeedPossibleVal_89" + "SpeedPossibleVal_90" + "SpeedPossibleVal_91" + "SpeedPossibleVal_92" + "SpeedPossibleVal_93" + "SpeedPossibleVal_94" + "SpeedPossibleVal_95" + "SpeedPossibleVal_96" + "SpeedPossibleVal_97" + "SpeedPossibleVal_98" + "SpeedPossibleVal_99" + "SpeedPossibleVal_100")) )

query: EF not ( (2 <= ("SpeedPossibleVal_1" + "SpeedPossibleVal_2" + "SpeedPossibleVal_3" + "SpeedPossibleVal_4" + "SpeedPossibleVal_5" + "SpeedPossibleVal_6" + "SpeedPossibleVal_7" + "SpeedPossibleVal_8" + "SpeedPossibleVal_9" + "SpeedPossibleVal_10" + "SpeedPossibleVal_11" + "SpeedPossibleVal_12" + "SpeedPossibleVal_13" + "SpeedPossibleVal_14" + "SpeedPossibleVal_15" + "SpeedPossibleVal_16" + "SpeedPossibleVal_17" + "SpeedPossibleVal_18" + "SpeedPossibleVal_19" + "SpeedPossibleVal_20" + "SpeedPossibleVal_21" + "SpeedPossibleVal_22" + "SpeedPossibleVal_23" + "SpeedPossibleVal_24" + "SpeedPossibleVal_25" + "SpeedPossibleVal_26" + "SpeedPossibleVal_27" + "SpeedPossibleVal_28" + "SpeedPossibleVal_29" + "SpeedPossibleVal_30" + "SpeedPossibleVal_31" + "SpeedPossibleVal_32" + "SpeedPossibleVal_33" + "SpeedPossibleVal_34" + "SpeedPossibleVal_35" + "SpeedPossibleVal_36" + "SpeedPossibleVal_37" + "SpeedPossibleVal_38" + "SpeedPossibleVal_39" + "SpeedPossibleVal_40" + "SpeedPossibleVal_41" + "SpeedPossibleVal_42" + "SpeedPossibleVal_43" + "SpeedPossibleVal_44" + "SpeedPossibleVal_45" + "SpeedPossibleVal_46" + "SpeedPossibleVal_47" + "SpeedPossibleVal_48" + "SpeedPossibleVal_49" + "SpeedPossibleVal_50" + "SpeedPossibleVal_51" + "SpeedPossibleVal_52" + "SpeedPossibleVal_53" + "SpeedPossibleVal_54" + "SpeedPossibleVal_55" + "SpeedPossibleVal_56" + "SpeedPossibleVal_57" + "SpeedPossibleVal_58" + "SpeedPossibleVal_59" + "SpeedPossibleVal_60" + "SpeedPossibleVal_61" + "SpeedPossibleVal_62" + "SpeedPossibleVal_63" + "SpeedPossibleVal_64" + "SpeedPossibleVal_65" + "SpeedPossibleVal_66" + "SpeedPossibleVal_67" + "SpeedPossibleVal_68" + "SpeedPossibleVal_69" + "SpeedPossibleVal_70" + "SpeedPossibleVal_71" + "SpeedPossibleVal_72" + "SpeedPossibleVal_73" + "SpeedPossibleVal_74" + "SpeedPossibleVal_75" + "SpeedPossibleVal_76" + "SpeedPossibleVal_77" + "SpeedPossibleVal_78" + "SpeedPossibleVal_79" + "SpeedPossibleVal_80" + "SpeedPossibleVal_81" + "SpeedPossibleVal_82" + "SpeedPossibleVal_83" + "SpeedPossibleVal_84" + "SpeedPossibleVal_85" + "SpeedPossibleVal_86" + "SpeedPossibleVal_87" + "SpeedPossibleVal_88" + "SpeedPossibleVal_89" + "SpeedPossibleVal_90" + "SpeedPossibleVal_91" + "SpeedPossibleVal_92" + "SpeedPossibleVal_93" + "SpeedPossibleVal_94" + "SpeedPossibleVal_95" + "SpeedPossibleVal_96" + "SpeedPossibleVal_97" + "SpeedPossibleVal_98" + "SpeedPossibleVal_99" + "SpeedPossibleVal_100")) )
AirplaneLD-COL-0100-ReachabilityCardinality-12: EF ( ((((3 <= ("Speed_Left_Wheel_1" + "Speed_Left_Wheel_2" + "Speed_Left_Wheel_3" + "Speed_Left_Wheel_4" + "Speed_Left_Wheel_5" + "Speed_Left_Wheel_6" + "Speed_Left_Wheel_7" + "Speed_Left_Wheel_8" + "Speed_Left_Wheel_9" + "Speed_Left_Wheel_10" + "Speed_Left_Wheel_11" + "Speed_Left_Wheel_12" + "Speed_Left_Wheel_13" + "Speed_Left_Wheel_14" + "Speed_Left_Wheel_15" + "Speed_Left_Wheel_16" + "Speed_Left_Wheel_17" + "Speed_Left_Wheel_18" + "Speed_Left_Wheel_19" + "Speed_Left_Wheel_20" + "Speed_Left_Wheel_21" + "Speed_Left_Wheel_22" + "Speed_Left_Wheel_23" + "Speed_Left_Wheel_24" + "Speed_Left_Wheel_25" + "Speed_Left_Wheel_26" + "Speed_Left_Wheel_27" + "Speed_Left_Wheel_28" + "Speed_Left_Wheel_29" + "Speed_Left_Wheel_30" + "Speed_Left_Wheel_31" + "Speed_Left_Wheel_32" + "Speed_Left_Wheel_33" + "Speed_Left_Wheel_34" + "Speed_Left_Wheel_35" + "Speed_Left_Wheel_36" + "Speed_Left_Wheel_37" + "Speed_Left_Wheel_38" + "Speed_Left_Wheel_39" + "Speed_Left_Wheel_40" + "Speed_Left_Wheel_41" + "Speed_Left_Wheel_42" + "Speed_Left_Wheel_43" + "Speed_Left_Wheel_44" + "Speed_Left_Wheel_45" + "Speed_Left_Wheel_46" + "Speed_Left_Wheel_47" + "Speed_Left_Wheel_48" + "Speed_Left_Wheel_49" + "Speed_Left_Wheel_50" + "Speed_Left_Wheel_51" + "Speed_Left_Wheel_52" + "Speed_Left_Wheel_53" + "Speed_Left_Wheel_54" + "Speed_Left_Wheel_55" + "Speed_Left_Wheel_56" + "Speed_Left_Wheel_57" + "Speed_Left_Wheel_58" + "Speed_Left_Wheel_59" + "Speed_Left_Wheel_60" + "Speed_Left_Wheel_61" + "Speed_Left_Wheel_62" + "Speed_Left_Wheel_63" + "Speed_Left_Wheel_64" + "Speed_Left_Wheel_65" + "Speed_Left_Wheel_66" + "Speed_Left_Wheel_67" + "Speed_Left_Wheel_68" + "Speed_Left_Wheel_69" + "Speed_Left_Wheel_70" + "Speed_Left_Wheel_71" + "Speed_Left_Wheel_72" + "Speed_Left_Wheel_73" + "Speed_Left_Wheel_74" + "Speed_Left_Wheel_75" + "Speed_Left_Wheel_76" + "Speed_Left_Wheel_77" + "Speed_Left_Wheel_78" + "Speed_Left_Wheel_79" + "Speed_Left_Wheel_80" + "Speed_Left_Wheel_81" + "Speed_Left_Wheel_82" + "Speed_Left_Wheel_83" + "Speed_Left_Wheel_84" + "Speed_Left_Wheel_85" + "Speed_Left_Wheel_86" + "Speed_Left_Wheel_87" + "Speed_Left_Wheel_88" + "Speed_Left_Wheel_89" + "Speed_Left_Wheel_90" + "Speed_Left_Wheel_91" + "Speed_Left_Wheel_92" + "Speed_Left_Wheel_93" + "Speed_Left_Wheel_94" + "Speed_Left_Wheel_95" + "Speed_Left_Wheel_96" + "Speed_Left_Wheel_97" + "Speed_Left_Wheel_98" + "Speed_Left_Wheel_99" + "Speed_Left_Wheel_100")) and (1 <= ("Weight_Left_Wheel_on" + "Weight_Left_Wheel_off"))) or ((3 <= "stp5") and (2 <= ("AltitudePossibleVal_1" + "AltitudePossibleVal_2" + "AltitudePossibleVal_3" + "AltitudePossibleVal_4" + "AltitudePossibleVal_5" + "AltitudePossibleVal_6" + "AltitudePossibleVal_7" + "AltitudePossibleVal_8" + "AltitudePossibleVal_9" + "AltitudePossibleVal_10" + "AltitudePossibleVal_11" + "AltitudePossibleVal_12" + "AltitudePossibleVal_13" + "AltitudePossibleVal_14" + "AltitudePossibleVal_15" + "AltitudePossibleVal_16" + "AltitudePossibleVal_17" + "AltitudePossibleVal_18" + "AltitudePossibleVal_19" + "AltitudePossibleVal_20" + "AltitudePossibleVal_21" + "AltitudePossibleVal_22" + "AltitudePossibleVal_23" + "AltitudePossibleVal_24" + "AltitudePossibleVal_25" + "AltitudePossibleVal_26" + "AltitudePossibleVal_27" + "AltitudePossibleVal_28" + "AltitudePossibleVal_29" + "AltitudePossibleVal_30" + "AltitudePossibleVal_31" + "AltitudePossibleVal_32" + "AltitudePossibleVal_33" + "AltitudePossibleVal_34" + "AltitudePossibleVal_35" + "AltitudePossibleVal_36" + "AltitudePossibleVal_37" + "AltitudePossibleVal_38" + "AltitudePossibleVal_39" + "AltitudePossibleVal_40" + "AltitudePossibleVal_41" + "AltitudePossibleVal_42" + "AltitudePossibleVal_43" + "AltitudePossibleVal_44" + "AltitudePossibleVal_45" + "AltitudePossibleVal_46" + "AltitudePossibleVal_47" + "AltitudePossibleVal_48" + "AltitudePossibleVal_49" + "AltitudePossibleVal_50" + "AltitudePossibleVal_51" + "AltitudePossibleVal_52" + "AltitudePossibleVal_53" + "AltitudePossibleVal_54" + "AltitudePossibleVal_55" + "AltitudePossibleVal_56" + "AltitudePossibleVal_57" + "AltitudePossibleVal_58" + "AltitudePossibleVal_59" + "AltitudePossibleVal_60" + "AltitudePossibleVal_61" + "AltitudePossibleVal_62" + "AltitudePossibleVal_63" + "AltitudePossibleVal_64" + "AltitudePossibleVal_65" + "AltitudePossibleVal_66" + "AltitudePossibleVal_67" + "AltitudePossibleVal_68" + "AltitudePossibleVal_69" + "AltitudePossibleVal_70" + "AltitudePossibleVal_71" + "AltitudePossibleVal_72" + "AltitudePossibleVal_73" + "AltitudePossibleVal_74" + "AltitudePossibleVal_75" + "AltitudePossibleVal_76" + "AltitudePossibleVal_77" + "AltitudePossibleVal_78" + "AltitudePossibleVal_79" + "AltitudePossibleVal_80" + "AltitudePossibleVal_81" + "AltitudePossibleVal_82" + "AltitudePossibleVal_83" + "AltitudePossibleVal_84" + "AltitudePossibleVal_85" + "AltitudePossibleVal_86" + "AltitudePossibleVal_87" + "AltitudePossibleVal_88" + "AltitudePossibleVal_89" + "AltitudePossibleVal_90" + "AltitudePossibleVal_91" + "AltitudePossibleVal_92" + "AltitudePossibleVal_93" + "AltitudePossibleVal_94" + "AltitudePossibleVal_95" + "AltitudePossibleVal_96" + "AltitudePossibleVal_97" + "AltitudePossibleVal_98" + "AltitudePossibleVal_99" + "AltitudePossibleVal_100" + "AltitudePossibleVal_101" + "AltitudePossibleVal_102" + "AltitudePossibleVal_103" + "AltitudePossibleVal_104" + "AltitudePossibleVal_105" + "AltitudePossibleVal_106" + "AltitudePossibleVal_107" + "AltitudePossibleVal_108" + "AltitudePossibleVal_109" + "AltitudePossibleVal_110" + "AltitudePossibleVal_111" + "AltitudePossibleVal_112" + "AltitudePossibleVal_113" + "AltitudePossibleVal_114" + "AltitudePossibleVal_115" + "AltitudePossibleVal_116" + "AltitudePossibleVal_117" + "AltitudePossibleVal_118" + "AltitudePossibleVal_119" + "AltitudePossibleVal_120" + "AltitudePossibleVal_121" + "AltitudePossibleVal_122" + "AltitudePossibleVal_123" + "AltitudePossibleVal_124" + "AltitudePossibleVal_125" + "AltitudePossibleVal_126" + "AltitudePossibleVal_127" + "AltitudePossibleVal_128" + "AltitudePossibleVal_129" + "AltitudePossibleVal_130" + "AltitudePossibleVal_131" + "AltitudePossibleVal_132" + "AltitudePossibleVal_133" + "AltitudePossibleVal_134" + "AltitudePossibleVal_135" + "AltitudePossibleVal_136" + "AltitudePossibleVal_137" + "AltitudePossibleVal_138" + "AltitudePossibleVal_139" + "AltitudePossibleVal_140" + "AltitudePossibleVal_141" + "AltitudePossibleVal_142" + "AltitudePossibleVal_143" + "AltitudePossibleVal_144" + "AltitudePossibleVal_145" + "AltitudePossibleVal_146" + "AltitudePossibleVal_147" + "AltitudePossibleVal_148" + "AltitudePossibleVal_149" + "AltitudePossibleVal_150" + "AltitudePossibleVal_151" + "AltitudePossibleVal_152" + "AltitudePossibleVal_153" + "AltitudePossibleVal_154" + "AltitudePossibleVal_155" + "AltitudePossibleVal_156" + "AltitudePossibleVal_157" + "AltitudePossibleVal_158" + "AltitudePossibleVal_159" + "AltitudePossibleVal_160" + "AltitudePossibleVal_161" + "AltitudePossibleVal_162" + "AltitudePossibleVal_163" + "AltitudePossibleVal_164" + "AltitudePossibleVal_165" + "AltitudePossibleVal_166" + "AltitudePossibleVal_167" + "AltitudePossibleVal_168" + "AltitudePossibleVal_169" + "AltitudePossibleVal_170" + "AltitudePossibleVal_171" + "AltitudePossibleVal_172" + "AltitudePossibleVal_173" + "AltitudePossibleVal_174" + "AltitudePossibleVal_175" + "AltitudePossibleVal_176" + "AltitudePossibleVal_177" + "AltitudePossibleVal_178" + "AltitudePossibleVal_179" + "AltitudePossibleVal_180" + "AltitudePossibleVal_181" + "AltitudePossibleVal_182" + "AltitudePossibleVal_183" + "AltitudePossibleVal_184" + "AltitudePossibleVal_185" + "AltitudePossibleVal_186" + "AltitudePossibleVal_187" + "AltitudePossibleVal_188" + "AltitudePossibleVal_189" + "AltitudePossibleVal_190" + "AltitudePossibleVal_191" + "AltitudePossibleVal_192" + "AltitudePossibleVal_193" + "AltitudePossibleVal_194" + "AltitudePossibleVal_195" + "AltitudePossibleVal_196" + "AltitudePossibleVal_197" + "AltitudePossibleVal_198" + "AltitudePossibleVal_199" + "AltitudePossibleVal_200")))) and not(("P5" <= ("TheAltitude_1" + "TheAltitude_2" + "TheAltitude_3" + "TheAltitude_4" + "TheAltitude_5" + "TheAltitude_6" + "TheAltitude_7" + "TheAltitude_8" + "TheAltitude_9" + "TheAltitude_10" + "TheAltitude_11" + "TheAltitude_12" + "TheAltitude_13" + "TheAltitude_14" + "TheAltitude_15" + "TheAltitude_16" + "TheAltitude_17" + "TheAltitude_18" + "TheAltitude_19" + "TheAltitude_20" + "TheAltitude_21" + "TheAltitude_22" + "TheAltitude_23" + "TheAltitude_24" + "TheAltitude_25" + "TheAltitude_26" + "TheAltitude_27" + "TheAltitude_28" + "TheAltitude_29" + "TheAltitude_30" + "TheAltitude_31" + "TheAltitude_32" + "TheAltitude_33" + "TheAltitude_34" + "TheAltitude_35" + "TheAltitude_36" + "TheAltitude_37" + "TheAltitude_38" + "TheAltitude_39" + "TheAltitude_40" + "TheAltitude_41" + "TheAltitude_42" + "TheAltitude_43" + "TheAltitude_44" + "TheAltitude_45" + "TheAltitude_46" + "TheAltitude_47" + "TheAltitude_48" + "TheAltitude_49" + "TheAltitude_50" + "TheAltitude_51" + "TheAltitude_52" + "TheAltitude_53" + "TheAltitude_54" + "TheAltitude_55" + "TheAltitude_56" + "TheAltitude_57" + "TheAltitude_58" + "TheAltitude_59" + "TheAltitude_60" + "TheAltitude_61" + "TheAltitude_62" + "TheAltitude_63" + "TheAltitude_64" + "TheAltitude_65" + "TheAltitude_66" + "TheAltitude_67" + "TheAltitude_68" + "TheAltitude_69" + "TheAltitude_70" + "TheAltitude_71" + "TheAltitude_72" + "TheAltitude_73" + "TheAltitude_74" + "TheAltitude_75" + "TheAltitude_76" + "TheAltitude_77" + "TheAltitude_78" + "TheAltitude_79" + "TheAltitude_80" + "TheAltitude_81" + "TheAltitude_82" + "TheAltitude_83" + "TheAltitude_84" + "TheAltitude_85" + "TheAltitude_86" + "TheAltitude_87" + "TheAltitude_88" + "TheAltitude_89" + "TheAltitude_90" + "TheAltitude_91" + "TheAltitude_92" + "TheAltitude_93" + "TheAltitude_94" + "TheAltitude_95" + "TheAltitude_96" + "TheAltitude_97" + "TheAltitude_98" + "TheAltitude_99" + "TheAltitude_100" + "TheAltitude_101" + "TheAltitude_102" + "TheAltitude_103" + "TheAltitude_104" + "TheAltitude_105" + "TheAltitude_106" + "TheAltitude_107" + "TheAltitude_108" + "TheAltitude_109" + "TheAltitude_110" + "TheAltitude_111" + "TheAltitude_112" + "TheAltitude_113" + "TheAltitude_114" + "TheAltitude_115" + "TheAltitude_116" + "TheAltitude_117" + "TheAltitude_118" + "TheAltitude_119" + "TheAltitude_120" + "TheAltitude_121" + "TheAltitude_122" + "TheAltitude_123" + "TheAltitude_124" + "TheAltitude_125" + "TheAltitude_126" + "TheAltitude_127" + "TheAltitude_128" + "TheAltitude_129" + "TheAltitude_130" + "TheAltitude_131" + "TheAltitude_132" + "TheAltitude_133" + "TheAltitude_134" + "TheAltitude_135" + "TheAltitude_136" + "TheAltitude_137" + "TheAltitude_138" + "TheAltitude_139" + "TheAltitude_140" + "TheAltitude_141" + "TheAltitude_142" + "TheAltitude_143" + "TheAltitude_144" + "TheAltitude_145" + "TheAltitude_146" + "TheAltitude_147" + "TheAltitude_148" + "TheAltitude_149" + "TheAltitude_150" + "TheAltitude_151" + "TheAltitude_152" + "TheAltitude_153" + "TheAltitude_154" + "TheAltitude_155" + "TheAltitude_156" + "TheAltitude_157" + "TheAltitude_158" + "TheAltitude_159" + "TheAltitude_160" + "TheAltitude_161" + "TheAltitude_162" + "TheAltitude_163" + "TheAltitude_164" + "TheAltitude_165" + "TheAltitude_166" + "TheAltitude_167" + "TheAltitude_168" + "TheAltitude_169" + "TheAltitude_170" + "TheAltitude_171" + "TheAltitude_172" + "TheAltitude_173" + "TheAltitude_174" + "TheAltitude_175" + "TheAltitude_176" + "TheAltitude_177" + "TheAltitude_178" + "TheAltitude_179" + "TheAltitude_180" + "TheAltitude_181" + "TheAltitude_182" + "TheAltitude_183" + "TheAltitude_184" + "TheAltitude_185" + "TheAltitude_186" + "TheAltitude_187" + "TheAltitude_188" + "TheAltitude_189" + "TheAltitude_190" + "TheAltitude_191" + "TheAltitude_192" + "TheAltitude_193" + "TheAltitude_194" + "TheAltitude_195" + "TheAltitude_196" + "TheAltitude_197" + "TheAltitude_198" + "TheAltitude_199" + "TheAltitude_200")))) )

query: EF ( ((((3 <= ("Speed_Left_Wheel_1" + "Speed_Left_Wheel_2" + "Speed_Left_Wheel_3" + "Speed_Left_Wheel_4" + "Speed_Left_Wheel_5" + "Speed_Left_Wheel_6" + "Speed_Left_Wheel_7" + "Speed_Left_Wheel_8" + "Speed_Left_Wheel_9" + "Speed_Left_Wheel_10" + "Speed_Left_Wheel_11" + "Speed_Left_Wheel_12" + "Speed_Left_Wheel_13" + "Speed_Left_Wheel_14" + "Speed_Left_Wheel_15" + "Speed_Left_Wheel_16" + "Speed_Left_Wheel_17" + "Speed_Left_Wheel_18" + "Speed_Left_Wheel_19" + "Speed_Left_Wheel_20" + "Speed_Left_Wheel_21" + "Speed_Left_Wheel_22" + "Speed_Left_Wheel_23" + "Speed_Left_Wheel_24" + "Speed_Left_Wheel_25" + "Speed_Left_Wheel_26" + "Speed_Left_Wheel_27" + "Speed_Left_Wheel_28" + "Speed_Left_Wheel_29" + "Speed_Left_Wheel_30" + "Speed_Left_Wheel_31" + "Speed_Left_Wheel_32" + "Speed_Left_Wheel_33" + "Speed_Left_Wheel_34" + "Speed_Left_Wheel_35" + "Speed_Left_Wheel_36" + "Speed_Left_Wheel_37" + "Speed_Left_Wheel_38" + "Speed_Left_Wheel_39" + "Speed_Left_Wheel_40" + "Speed_Left_Wheel_41" + "Speed_Left_Wheel_42" + "Speed_Left_Wheel_43" + "Speed_Left_Wheel_44" + "Speed_Left_Wheel_45" + "Speed_Left_Wheel_46" + "Speed_Left_Wheel_47" + "Speed_Left_Wheel_48" + "Speed_Left_Wheel_49" + "Speed_Left_Wheel_50" + "Speed_Left_Wheel_51" + "Speed_Left_Wheel_52" + "Speed_Left_Wheel_53" + "Speed_Left_Wheel_54" + "Speed_Left_Wheel_55" + "Speed_Left_Wheel_56" + "Speed_Left_Wheel_57" + "Speed_Left_Wheel_58" + "Speed_Left_Wheel_59" + "Speed_Left_Wheel_60" + "Speed_Left_Wheel_61" + "Speed_Left_Wheel_62" + "Speed_Left_Wheel_63" + "Speed_Left_Wheel_64" + "Speed_Left_Wheel_65" + "Speed_Left_Wheel_66" + "Speed_Left_Wheel_67" + "Speed_Left_Wheel_68" + "Speed_Left_Wheel_69" + "Speed_Left_Wheel_70" + "Speed_Left_Wheel_71" + "Speed_Left_Wheel_72" + "Speed_Left_Wheel_73" + "Speed_Left_Wheel_74" + "Speed_Left_Wheel_75" + "Speed_Left_Wheel_76" + "Speed_Left_Wheel_77" + "Speed_Left_Wheel_78" + "Speed_Left_Wheel_79" + "Speed_Left_Wheel_80" + "Speed_Left_Wheel_81" + "Speed_Left_Wheel_82" + "Speed_Left_Wheel_83" + "Speed_Left_Wheel_84" + "Speed_Left_Wheel_85" + "Speed_Left_Wheel_86" + "Speed_Left_Wheel_87" + "Speed_Left_Wheel_88" + "Speed_Left_Wheel_89" + "Speed_Left_Wheel_90" + "Speed_Left_Wheel_91" + "Speed_Left_Wheel_92" + "Speed_Left_Wheel_93" + "Speed_Left_Wheel_94" + "Speed_Left_Wheel_95" + "Speed_Left_Wheel_96" + "Speed_Left_Wheel_97" + "Speed_Left_Wheel_98" + "Speed_Left_Wheel_99" + "Speed_Left_Wheel_100")) and (1 <= ("Weight_Left_Wheel_on" + "Weight_Left_Wheel_off"))) or ((3 <= "stp5") and (2 <= ("AltitudePossibleVal_1" + "AltitudePossibleVal_2" + "AltitudePossibleVal_3" + "AltitudePossibleVal_4" + "AltitudePossibleVal_5" + "AltitudePossibleVal_6" + "AltitudePossibleVal_7" + "AltitudePossibleVal_8" + "AltitudePossibleVal_9" + "AltitudePossibleVal_10" + "AltitudePossibleVal_11" + "AltitudePossibleVal_12" + "AltitudePossibleVal_13" + "AltitudePossibleVal_14" + "AltitudePossibleVal_15" + "AltitudePossibleVal_16" + "AltitudePossibleVal_17" + "AltitudePossibleVal_18" + "AltitudePossibleVal_19" + "AltitudePossibleVal_20" + "AltitudePossibleVal_21" + "AltitudePossibleVal_22" + "AltitudePossibleVal_23" + "AltitudePossibleVal_24" + "AltitudePossibleVal_25" + "AltitudePossibleVal_26" + "AltitudePossibleVal_27" + "AltitudePossibleVal_28" + "AltitudePossibleVal_29" + "AltitudePossibleVal_30" + "AltitudePossibleVal_31" + "AltitudePossibleVal_32" + "AltitudePossibleVal_33" + "AltitudePossibleVal_34" + "AltitudePossibleVal_35" + "AltitudePossibleVal_36" + "AltitudePossibleVal_37" + "AltitudePossibleVal_38" + "AltitudePossibleVal_39" + "AltitudePossibleVal_40" + "AltitudePossibleVal_41" + "AltitudePossibleVal_42" + "AltitudePossibleVal_43" + "AltitudePossibleVal_44" + "AltitudePossibleVal_45" + "AltitudePossibleVal_46" + "AltitudePossibleVal_47" + "AltitudePossibleVal_48" + "AltitudePossibleVal_49" + "AltitudePossibleVal_50" + "AltitudePossibleVal_51" + "AltitudePossibleVal_52" + "AltitudePossibleVal_53" + "AltitudePossibleVal_54" + "AltitudePossibleVal_55" + "AltitudePossibleVal_56" + "AltitudePossibleVal_57" + "AltitudePossibleVal_58" + "AltitudePossibleVal_59" + "AltitudePossibleVal_60" + "AltitudePossibleVal_61" + "AltitudePossibleVal_62" + "AltitudePossibleVal_63" + "AltitudePossibleVal_64" + "AltitudePossibleVal_65" + "AltitudePossibleVal_66" + "AltitudePossibleVal_67" + "AltitudePossibleVal_68" + "AltitudePossibleVal_69" + "AltitudePossibleVal_70" + "AltitudePossibleVal_71" + "AltitudePossibleVal_72" + "AltitudePossibleVal_73" + "AltitudePossibleVal_74" + "AltitudePossibleVal_75" + "AltitudePossibleVal_76" + "AltitudePossibleVal_77" + "AltitudePossibleVal_78" + "AltitudePossibleVal_79" + "AltitudePossibleVal_80" + "AltitudePossibleVal_81" + "AltitudePossibleVal_82" + "AltitudePossibleVal_83" + "AltitudePossibleVal_84" + "AltitudePossibleVal_85" + "AltitudePossibleVal_86" + "AltitudePossibleVal_87" + "AltitudePossibleVal_88" + "AltitudePossibleVal_89" + "AltitudePossibleVal_90" + "AltitudePossibleVal_91" + "AltitudePossibleVal_92" + "AltitudePossibleVal_93" + "AltitudePossibleVal_94" + "AltitudePossibleVal_95" + "AltitudePossibleVal_96" + "AltitudePossibleVal_97" + "AltitudePossibleVal_98" + "AltitudePossibleVal_99" + "AltitudePossibleVal_100" + "AltitudePossibleVal_101" + "AltitudePossibleVal_102" + "AltitudePossibleVal_103" + "AltitudePossibleVal_104" + "AltitudePossibleVal_105" + "AltitudePossibleVal_106" + "AltitudePossibleVal_107" + "AltitudePossibleVal_108" + "AltitudePossibleVal_109" + "AltitudePossibleVal_110" + "AltitudePossibleVal_111" + "AltitudePossibleVal_112" + "AltitudePossibleVal_113" + "AltitudePossibleVal_114" + "AltitudePossibleVal_115" + "AltitudePossibleVal_116" + "AltitudePossibleVal_117" + "AltitudePossibleVal_118" + "AltitudePossibleVal_119" + "AltitudePossibleVal_120" + "AltitudePossibleVal_121" + "AltitudePossibleVal_122" + "AltitudePossibleVal_123" + "AltitudePossibleVal_124" + "AltitudePossibleVal_125" + "AltitudePossibleVal_126" + "AltitudePossibleVal_127" + "AltitudePossibleVal_128" + "AltitudePossibleVal_129" + "AltitudePossibleVal_130" + "AltitudePossibleVal_131" + "AltitudePossibleVal_132" + "AltitudePossibleVal_133" + "AltitudePossibleVal_134" + "AltitudePossibleVal_135" + "AltitudePossibleVal_136" + "AltitudePossibleVal_137" + "AltitudePossibleVal_138" + "AltitudePossibleVal_139" + "AltitudePossibleVal_140" + "AltitudePossibleVal_141" + "AltitudePossibleVal_142" + "AltitudePossibleVal_143" + "AltitudePossibleVal_144" + "AltitudePossibleVal_145" + "AltitudePossibleVal_146" + "AltitudePossibleVal_147" + "AltitudePossibleVal_148" + "AltitudePossibleVal_149" + "AltitudePossibleVal_150" + "AltitudePossibleVal_151" + "AltitudePossibleVal_152" + "AltitudePossibleVal_153" + "AltitudePossibleVal_154" + "AltitudePossibleVal_155" + "AltitudePossibleVal_156" + "AltitudePossibleVal_157" + "AltitudePossibleVal_158" + "AltitudePossibleVal_159" + "AltitudePossibleVal_160" + "AltitudePossibleVal_161" + "AltitudePossibleVal_162" + "AltitudePossibleVal_163" + "AltitudePossibleVal_164" + "AltitudePossibleVal_165" + "AltitudePossibleVal_166" + "AltitudePossibleVal_167" + "AltitudePossibleVal_168" + "AltitudePossibleVal_169" + "AltitudePossibleVal_170" + "AltitudePossibleVal_171" + "AltitudePossibleVal_172" + "AltitudePossibleVal_173" + "AltitudePossibleVal_174" + "AltitudePossibleVal_175" + "AltitudePossibleVal_176" + "AltitudePossibleVal_177" + "AltitudePossibleVal_178" + "AltitudePossibleVal_179" + "AltitudePossibleVal_180" + "AltitudePossibleVal_181" + "AltitudePossibleVal_182" + "AltitudePossibleVal_183" + "AltitudePossibleVal_184" + "AltitudePossibleVal_185" + "AltitudePossibleVal_186" + "AltitudePossibleVal_187" + "AltitudePossibleVal_188" + "AltitudePossibleVal_189" + "AltitudePossibleVal_190" + "AltitudePossibleVal_191" + "AltitudePossibleVal_192" + "AltitudePossibleVal_193" + "AltitudePossibleVal_194" + "AltitudePossibleVal_195" + "AltitudePossibleVal_196" + "AltitudePossibleVal_197" + "AltitudePossibleVal_198" + "AltitudePossibleVal_199" + "AltitudePossibleVal_200")))) and not(("P5" <= ("TheAltitude_1" + "TheAltitude_2" + "TheAltitude_3" + "TheAltitude_4" + "TheAltitude_5" + "TheAltitude_6" + "TheAltitude_7" + "TheAltitude_8" + "TheAltitude_9" + "TheAltitude_10" + "TheAltitude_11" + "TheAltitude_12" + "TheAltitude_13" + "TheAltitude_14" + "TheAltitude_15" + "TheAltitude_16" + "TheAltitude_17" + "TheAltitude_18" + "TheAltitude_19" + "TheAltitude_20" + "TheAltitude_21" + "TheAltitude_22" + "TheAltitude_23" + "TheAltitude_24" + "TheAltitude_25" + "TheAltitude_26" + "TheAltitude_27" + "TheAltitude_28" + "TheAltitude_29" + "TheAltitude_30" + "TheAltitude_31" + "TheAltitude_32" + "TheAltitude_33" + "TheAltitude_34" + "TheAltitude_35" + "TheAltitude_36" + "TheAltitude_37" + "TheAltitude_38" + "TheAltitude_39" + "TheAltitude_40" + "TheAltitude_41" + "TheAltitude_42" + "TheAltitude_43" + "TheAltitude_44" + "TheAltitude_45" + "TheAltitude_46" + "TheAltitude_47" + "TheAltitude_48" + "TheAltitude_49" + "TheAltitude_50" + "TheAltitude_51" + "TheAltitude_52" + "TheAltitude_53" + "TheAltitude_54" + "TheAltitude_55" + "TheAltitude_56" + "TheAltitude_57" + "TheAltitude_58" + "TheAltitude_59" + "TheAltitude_60" + "TheAltitude_61" + "TheAltitude_62" + "TheAltitude_63" + "TheAltitude_64" + "TheAltitude_65" + "TheAltitude_66" + "TheAltitude_67" + "TheAltitude_68" + "TheAltitude_69" + "TheAltitude_70" + "TheAltitude_71" + "TheAltitude_72" + "TheAltitude_73" + "TheAltitude_74" + "TheAltitude_75" + "TheAltitude_76" + "TheAltitude_77" + "TheAltitude_78" + "TheAltitude_79" + "TheAltitude_80" + "TheAltitude_81" + "TheAltitude_82" + "TheAltitude_83" + "TheAltitude_84" + "TheAltitude_85" + "TheAltitude_86" + "TheAltitude_87" + "TheAltitude_88" + "TheAltitude_89" + "TheAltitude_90" + "TheAltitude_91" + "TheAltitude_92" + "TheAltitude_93" + "TheAltitude_94" + "TheAltitude_95" + "TheAltitude_96" + "TheAltitude_97" + "TheAltitude_98" + "TheAltitude_99" + "TheAltitude_100" + "TheAltitude_101" + "TheAltitude_102" + "TheAltitude_103" + "TheAltitude_104" + "TheAltitude_105" + "TheAltitude_106" + "TheAltitude_107" + "TheAltitude_108" + "TheAltitude_109" + "TheAltitude_110" + "TheAltitude_111" + "TheAltitude_112" + "TheAltitude_113" + "TheAltitude_114" + "TheAltitude_115" + "TheAltitude_116" + "TheAltitude_117" + "TheAltitude_118" + "TheAltitude_119" + "TheAltitude_120" + "TheAltitude_121" + "TheAltitude_122" + "TheAltitude_123" + "TheAltitude_124" + "TheAltitude_125" + "TheAltitude_126" + "TheAltitude_127" + "TheAltitude_128" + "TheAltitude_129" + "TheAltitude_130" + "TheAltitude_131" + "TheAltitude_132" + "TheAltitude_133" + "TheAltitude_134" + "TheAltitude_135" + "TheAltitude_136" + "TheAltitude_137" + "TheAltitude_138" + "TheAltitude_139" + "TheAltitude_140" + "TheAltitude_141" + "TheAltitude_142" + "TheAltitude_143" + "TheAltitude_144" + "TheAltitude_145" + "TheAltitude_146" + "TheAltitude_147" + "TheAltitude_148" + "TheAltitude_149" + "TheAltitude_150" + "TheAltitude_151" + "TheAltitude_152" + "TheAltitude_153" + "TheAltitude_154" + "TheAltitude_155" + "TheAltitude_156" + "TheAltitude_157" + "TheAltitude_158" + "TheAltitude_159" + "TheAltitude_160" + "TheAltitude_161" + "TheAltitude_162" + "TheAltitude_163" + "TheAltitude_164" + "TheAltitude_165" + "TheAltitude_166" + "TheAltitude_167" + "TheAltitude_168" + "TheAltitude_169" + "TheAltitude_170" + "TheAltitude_171" + "TheAltitude_172" + "TheAltitude_173" + "TheAltitude_174" + "TheAltitude_175" + "TheAltitude_176" + "TheAltitude_177" + "TheAltitude_178" + "TheAltitude_179" + "TheAltitude_180" + "TheAltitude_181" + "TheAltitude_182" + "TheAltitude_183" + "TheAltitude_184" + "TheAltitude_185" + "TheAltitude_186" + "TheAltitude_187" + "TheAltitude_188" + "TheAltitude_189" + "TheAltitude_190" + "TheAltitude_191" + "TheAltitude_192" + "TheAltitude_193" + "TheAltitude_194" + "TheAltitude_195" + "TheAltitude_196" + "TheAltitude_197" + "TheAltitude_198" + "TheAltitude_199" + "TheAltitude_200")))) )
AirplaneLD-COL-0100-ReachabilityCardinality-13: EF ( not(("stp3" <= "stp3")) )

query: EF ( not(("stp3" <= "stp3")) )
AirplaneLD-COL-0100-ReachabilityCardinality-14: EF ( (not((("stp2" <= ("AltitudePossibleVal_1" + "AltitudePossibleVal_2" + "AltitudePossibleVal_3" + "AltitudePossibleVal_4" + "AltitudePossibleVal_5" + "AltitudePossibleVal_6" + "AltitudePossibleVal_7" + "AltitudePossibleVal_8" + "AltitudePossibleVal_9" + "AltitudePossibleVal_10" + "AltitudePossibleVal_11" + "AltitudePossibleVal_12" + "AltitudePossibleVal_13" + "AltitudePossibleVal_14" + "AltitudePossibleVal_15" + "AltitudePossibleVal_16" + "AltitudePossibleVal_17" + "AltitudePossibleVal_18" + "AltitudePossibleVal_19" + "AltitudePossibleVal_20" + "AltitudePossibleVal_21" + "AltitudePossibleVal_22" + "AltitudePossibleVal_23" + "AltitudePossibleVal_24" + "AltitudePossibleVal_25" + "AltitudePossibleVal_26" + "AltitudePossibleVal_27" + "AltitudePossibleVal_28" + "AltitudePossibleVal_29" + "AltitudePossibleVal_30" + "AltitudePossibleVal_31" + "AltitudePossibleVal_32" + "AltitudePossibleVal_33" + "AltitudePossibleVal_34" + "AltitudePossibleVal_35" + "AltitudePossibleVal_36" + "AltitudePossibleVal_37" + "AltitudePossibleVal_38" + "AltitudePossibleVal_39" + "AltitudePossibleVal_40" + "AltitudePossibleVal_41" + "AltitudePossibleVal_42" + "AltitudePossibleVal_43" + "AltitudePossibleVal_44" + "AltitudePossibleVal_45" + "AltitudePossibleVal_46" + "AltitudePossibleVal_47" + "AltitudePossibleVal_48" + "AltitudePossibleVal_49" + "AltitudePossibleVal_50" + "AltitudePossibleVal_51" + "AltitudePossibleVal_52" + "AltitudePossibleVal_53" + "AltitudePossibleVal_54" + "AltitudePossibleVal_55" + "AltitudePossibleVal_56" + "AltitudePossibleVal_57" + "AltitudePossibleVal_58" + "AltitudePossibleVal_59" + "AltitudePossibleVal_60" + "AltitudePossibleVal_61" + "AltitudePossibleVal_62" + "AltitudePossibleVal_63" + "AltitudePossibleVal_64" + "AltitudePossibleVal_65" + "AltitudePossibleVal_66" + "AltitudePossibleVal_67" + "AltitudePossibleVal_68" + "AltitudePossibleVal_69" + "AltitudePossibleVal_70" + "AltitudePossibleVal_71" + "AltitudePossibleVal_72" + "AltitudePossibleVal_73" + "AltitudePossibleVal_74" + "AltitudePossibleVal_75" + "AltitudePossibleVal_76" + "AltitudePossibleVal_77" + "AltitudePossibleVal_78" + "AltitudePossibleVal_79" + "AltitudePossibleVal_80" + "AltitudePossibleVal_81" + "AltitudePossibleVal_82" + "AltitudePossibleVal_83" + "AltitudePossibleVal_84" + "AltitudePossibleVal_85" + "AltitudePossibleVal_86" + "AltitudePossibleVal_87" + "AltitudePossibleVal_88" + "AltitudePossibleVal_89" + "AltitudePossibleVal_90" + "AltitudePossibleVal_91" + "AltitudePossibleVal_92" + "AltitudePossibleVal_93" + "AltitudePossibleVal_94" + "AltitudePossibleVal_95" + "AltitudePossibleVal_96" + "AltitudePossibleVal_97" + "AltitudePossibleVal_98" + "AltitudePossibleVal_99" + "AltitudePossibleVal_100" + "AltitudePossibleVal_101" + "AltitudePossibleVal_102" + "AltitudePossibleVal_103" + "AltitudePossibleVal_104" + "AltitudePossibleVal_105" + "AltitudePossibleVal_106" + "AltitudePossibleVal_107" + "AltitudePossibleVal_108" + "AltitudePossibleVal_109" + "AltitudePossibleVal_110" + "AltitudePossibleVal_111" + "AltitudePossibleVal_112" + "AltitudePossibleVal_113" + "AltitudePossibleVal_114" + "AltitudePossibleVal_115" + "AltitudePossibleVal_116" + "AltitudePossibleVal_117" + "AltitudePossibleVal_118" + "AltitudePossibleVal_119" + "AltitudePossibleVal_120" + "AltitudePossibleVal_121" + "AltitudePossibleVal_122" + "AltitudePossibleVal_123" + "AltitudePossibleVal_124" + "AltitudePossibleVal_125" + "AltitudePossibleVal_126" + "AltitudePossibleVal_127" + "AltitudePossibleVal_128" + "AltitudePossibleVal_129" + "AltitudePossibleVal_130" + "AltitudePossibleVal_131" + "AltitudePossibleVal_132" + "AltitudePossibleVal_133" + "AltitudePossibleVal_134" + "AltitudePossibleVal_135" + "AltitudePossibleVal_136" + "AltitudePossibleVal_137" + "AltitudePossibleVal_138" + "AltitudePossibleVal_139" + "AltitudePossibleVal_140" + "AltitudePossibleVal_141" + "AltitudePossibleVal_142" + "AltitudePossibleVal_143" + "AltitudePossibleVal_144" + "AltitudePossibleVal_145" + "AltitudePossibleVal_146" + "AltitudePossibleVal_147" + "AltitudePossibleVal_148" + "AltitudePossibleVal_149" + "AltitudePossibleVal_150" + "AltitudePossibleVal_151" + "AltitudePossibleVal_152" + "AltitudePossibleVal_153" + "AltitudePossibleVal_154" + "AltitudePossibleVal_155" + "AltitudePossibleVal_156" + "AltitudePossibleVal_157" + "AltitudePossibleVal_158" + "AltitudePossibleVal_159" + "AltitudePossibleVal_160" + "AltitudePossibleVal_161" + "AltitudePossibleVal_162" + "AltitudePossibleVal_163" + "AltitudePossibleVal_164" + "AltitudePossibleVal_165" + "AltitudePossibleVal_166" + "AltitudePossibleVal_167" + "AltitudePossibleVal_168" + "AltitudePossibleVal_169" + "AltitudePossibleVal_170" + "AltitudePossibleVal_171" + "AltitudePossibleVal_172" + "AltitudePossibleVal_173" + "AltitudePossibleVal_174" + "AltitudePossibleVal_175" + "AltitudePossibleVal_176" + "AltitudePossibleVal_177" + "AltitudePossibleVal_178" + "AltitudePossibleVal_179" + "AltitudePossibleVal_180" + "AltitudePossibleVal_181" + "AltitudePossibleVal_182" + "AltitudePossibleVal_183" + "AltitudePossibleVal_184" + "AltitudePossibleVal_185" + "AltitudePossibleVal_186" + "AltitudePossibleVal_187" + "AltitudePossibleVal_188" + "AltitudePossibleVal_189" + "AltitudePossibleVal_190" + "AltitudePossibleVal_191" + "AltitudePossibleVal_192" + "AltitudePossibleVal_193" + "AltitudePossibleVal_194" + "AltitudePossibleVal_195" + "AltitudePossibleVal_196" + "AltitudePossibleVal_197" + "AltitudePossibleVal_198" + "AltitudePossibleVal_199" + "AltitudePossibleVal_200")) or (("AltitudePossibleVal_1" + "AltitudePossibleVal_2" + "AltitudePossibleVal_3" + "AltitudePossibleVal_4" + "AltitudePossibleVal_5" + "AltitudePossibleVal_6" + "AltitudePossibleVal_7" + "AltitudePossibleVal_8" + "AltitudePossibleVal_9" + "AltitudePossibleVal_10" + "AltitudePossibleVal_11" + "AltitudePossibleVal_12" + "AltitudePossibleVal_13" + "AltitudePossibleVal_14" + "AltitudePossibleVal_15" + "AltitudePossibleVal_16" + "AltitudePossibleVal_17" + "AltitudePossibleVal_18" + "AltitudePossibleVal_19" + "AltitudePossibleVal_20" + "AltitudePossibleVal_21" + "AltitudePossibleVal_22" + "AltitudePossibleVal_23" + "AltitudePossibleVal_24" + "AltitudePossibleVal_25" + "AltitudePossibleVal_26" + "AltitudePossibleVal_27" + "AltitudePossibleVal_28" + "AltitudePossibleVal_29" + "AltitudePossibleVal_30" + "AltitudePossibleVal_31" + "AltitudePossibleVal_32" + "AltitudePossibleVal_33" + "AltitudePossibleVal_34" + "AltitudePossibleVal_35" + "AltitudePossibleVal_36" + "AltitudePossibleVal_37" + "AltitudePossibleVal_38" + "AltitudePossibleVal_39" + "AltitudePossibleVal_40" + "AltitudePossibleVal_41" + "AltitudePossibleVal_42" + "AltitudePossibleVal_43" + "AltitudePossibleVal_44" + "AltitudePossibleVal_45" + "AltitudePossibleVal_46" + "AltitudePossibleVal_47" + "AltitudePossibleVal_48" + "AltitudePossibleVal_49" + "AltitudePossibleVal_50" + "AltitudePossibleVal_51" + "AltitudePossibleVal_52" + "AltitudePossibleVal_53" + "AltitudePossibleVal_54" + "AltitudePossibleVal_55" + "AltitudePossibleVal_56" + "AltitudePossibleVal_57" + "AltitudePossibleVal_58" + "AltitudePossibleVal_59" + "AltitudePossibleVal_60" + "AltitudePossibleVal_61" + "AltitudePossibleVal_62" + "AltitudePossibleVal_63" + "AltitudePossibleVal_64" + "AltitudePossibleVal_65" + "AltitudePossibleVal_66" + "AltitudePossibleVal_67" + "AltitudePossibleVal_68" + "AltitudePossibleVal_69" + "AltitudePossibleVal_70" + "AltitudePossibleVal_71" + "AltitudePossibleVal_72" + "AltitudePossibleVal_73" + "AltitudePossibleVal_74" + "AltitudePossibleVal_75" + "AltitudePossibleVal_76" + "AltitudePossibleVal_77" + "AltitudePossibleVal_78" + "AltitudePossibleVal_79" + "AltitudePossibleVal_80" + "AltitudePossibleVal_81" + "AltitudePossibleVal_82" + "AltitudePossibleVal_83" + "AltitudePossibleVal_84" + "AltitudePossibleVal_85" + "AltitudePossibleVal_86" + "AltitudePossibleVal_87" + "AltitudePossibleVal_88" + "AltitudePossibleVal_89" + "AltitudePossibleVal_90" + "AltitudePossibleVal_91" + "AltitudePossibleVal_92" + "AltitudePossibleVal_93" + "AltitudePossibleVal_94" + "AltitudePossibleVal_95" + "AltitudePossibleVal_96" + "AltitudePossibleVal_97" + "AltitudePossibleVal_98" + "AltitudePossibleVal_99" + "AltitudePossibleVal_100" + "AltitudePossibleVal_101" + "AltitudePossibleVal_102" + "AltitudePossibleVal_103" + "AltitudePossibleVal_104" + "AltitudePossibleVal_105" + "AltitudePossibleVal_106" + "AltitudePossibleVal_107" + "AltitudePossibleVal_108" + "AltitudePossibleVal_109" + "AltitudePossibleVal_110" + "AltitudePossibleVal_111" + "AltitudePossibleVal_112" + "AltitudePossibleVal_113" + "AltitudePossibleVal_114" + "AltitudePossibleVal_115" + "AltitudePossibleVal_116" + "AltitudePossibleVal_117" + "AltitudePossibleVal_118" + "AltitudePossibleVal_119" + "AltitudePossibleVal_120" + "AltitudePossibleVal_121" + "AltitudePossibleVal_122" + "AltitudePossibleVal_123" + "AltitudePossibleVal_124" + "AltitudePossibleVal_125" + "AltitudePossibleVal_126" + "AltitudePossibleVal_127" + "AltitudePossibleVal_128" + "AltitudePossibleVal_129" + "AltitudePossibleVal_130" + "AltitudePossibleVal_131" + "AltitudePossibleVal_132" + "AltitudePossibleVal_133" + "AltitudePossibleVal_134" + "AltitudePossibleVal_135" + "AltitudePossibleVal_136" + "AltitudePossibleVal_137" + "AltitudePossibleVal_138" + "AltitudePossibleVal_139" + "AltitudePossibleVal_140" + "AltitudePossibleVal_141" + "AltitudePossibleVal_142" + "AltitudePossibleVal_143" + "AltitudePossibleVal_144" + "AltitudePossibleVal_145" + "AltitudePossibleVal_146" + "AltitudePossibleVal_147" + "AltitudePossibleVal_148" + "AltitudePossibleVal_149" + "AltitudePossibleVal_150" + "AltitudePossibleVal_151" + "AltitudePossibleVal_152" + "AltitudePossibleVal_153" + "AltitudePossibleVal_154" + "AltitudePossibleVal_155" + "AltitudePossibleVal_156" + "AltitudePossibleVal_157" + "AltitudePossibleVal_158" + "AltitudePossibleVal_159" + "AltitudePossibleVal_160" + "AltitudePossibleVal_161" + "AltitudePossibleVal_162" + "AltitudePossibleVal_163" + "AltitudePossibleVal_164" + "AltitudePossibleVal_165" + "AltitudePossibleVal_166" + "AltitudePossibleVal_167" + "AltitudePossibleVal_168" + "AltitudePossibleVal_169" + "AltitudePossibleVal_170" + "AltitudePossibleVal_171" + "AltitudePossibleVal_172" + "AltitudePossibleVal_173" + "AltitudePossibleVal_174" + "AltitudePossibleVal_175" + "AltitudePossibleVal_176" + "AltitudePossibleVal_177" + "AltitudePossibleVal_178" + "AltitudePossibleVal_179" + "AltitudePossibleVal_180" + "AltitudePossibleVal_181" + "AltitudePossibleVal_182" + "AltitudePossibleVal_183" + "AltitudePossibleVal_184" + "AltitudePossibleVal_185" + "AltitudePossibleVal_186" + "AltitudePossibleVal_187" + "AltitudePossibleVal_188" + "AltitudePossibleVal_189" + "AltitudePossibleVal_190" + "AltitudePossibleVal_191" + "AltitudePossibleVal_192" + "AltitudePossibleVal_193" + "AltitudePossibleVal_194" + "AltitudePossibleVal_195" + "AltitudePossibleVal_196" + "AltitudePossibleVal_197" + "AltitudePossibleVal_198" + "AltitudePossibleVal_199" + "AltitudePossibleVal_200") <= ("SpeedPossibleVal_1" + "SpeedPossibleVal_2" + "SpeedPossibleVal_3" + "SpeedPossibleVal_4" + "SpeedPossibleVal_5" + "SpeedPossibleVal_6" + "SpeedPossibleVal_7" + "SpeedPossibleVal_8" + "SpeedPossibleVal_9" + "SpeedPossibleVal_10" + "SpeedPossibleVal_11" + "SpeedPossibleVal_12" + "SpeedPossibleVal_13" + "SpeedPossibleVal_14" + "SpeedPossibleVal_15" + "SpeedPossibleVal_16" + "SpeedPossibleVal_17" + "SpeedPossibleVal_18" + "SpeedPossibleVal_19" + "SpeedPossibleVal_20" + "SpeedPossibleVal_21" + "SpeedPossibleVal_22" + "SpeedPossibleVal_23" + "SpeedPossibleVal_24" + "SpeedPossibleVal_25" + "SpeedPossibleVal_26" + "SpeedPossibleVal_27" + "SpeedPossibleVal_28" + "SpeedPossibleVal_29" + "SpeedPossibleVal_30" + "SpeedPossibleVal_31" + "SpeedPossibleVal_32" + "SpeedPossibleVal_33" + "SpeedPossibleVal_34" + "SpeedPossibleVal_35" + "SpeedPossibleVal_36" + "SpeedPossibleVal_37" + "SpeedPossibleVal_38" + "SpeedPossibleVal_39" + "SpeedPossibleVal_40" + "SpeedPossibleVal_41" + "SpeedPossibleVal_42" + "SpeedPossibleVal_43" + "SpeedPossibleVal_44" + "SpeedPossibleVal_45" + "SpeedPossibleVal_46" + "SpeedPossibleVal_47" + "SpeedPossibleVal_48" + "SpeedPossibleVal_49" + "SpeedPossibleVal_50" + "SpeedPossibleVal_51" + "SpeedPossibleVal_52" + "SpeedPossibleVal_53" + "SpeedPossibleVal_54" + "SpeedPossibleVal_55" + "SpeedPossibleVal_56" + "SpeedPossibleVal_57" + "SpeedPossibleVal_58" + "SpeedPossibleVal_59" + "SpeedPossibleVal_60" + "SpeedPossibleVal_61" + "SpeedPossibleVal_62" + "SpeedPossibleVal_63" + "SpeedPossibleVal_64" + "SpeedPossibleVal_65" + "SpeedPossibleVal_66" + "SpeedPossibleVal_67" + "SpeedPossibleVal_68" + "SpeedPossibleVal_69" + "SpeedPossibleVal_70" + "SpeedPossibleVal_71" + "SpeedPossibleVal_72" + "SpeedPossibleVal_73" + "SpeedPossibleVal_74" + "SpeedPossibleVal_75" + "SpeedPossibleVal_76" + "SpeedPossibleVal_77" + "SpeedPossibleVal_78" + "SpeedPossibleVal_79" + "SpeedPossibleVal_80" + "SpeedPossibleVal_81" + "SpeedPossibleVal_82" + "SpeedPossibleVal_83" + "SpeedPossibleVal_84" + "SpeedPossibleVal_85" + "SpeedPossibleVal_86" + "SpeedPossibleVal_87" + "SpeedPossibleVal_88" + "SpeedPossibleVal_89" + "SpeedPossibleVal_90" + "SpeedPossibleVal_91" + "SpeedPossibleVal_92" + "SpeedPossibleVal_93" + "SpeedPossibleVal_94" + "SpeedPossibleVal_95" + "SpeedPossibleVal_96" + "SpeedPossibleVal_97" + "SpeedPossibleVal_98" + "SpeedPossibleVal_99" + "SpeedPossibleVal_100")))) or (3 <= "stp5")) )

query: EF ( (not((("stp2" <= ("AltitudePossibleVal_1" + "AltitudePossibleVal_2" + "AltitudePossibleVal_3" + "AltitudePossibleVal_4" + "AltitudePossibleVal_5" + "AltitudePossibleVal_6" + "AltitudePossibleVal_7" + "AltitudePossibleVal_8" + "AltitudePossibleVal_9" + "AltitudePossibleVal_10" + "AltitudePossibleVal_11" + "AltitudePossibleVal_12" + "AltitudePossibleVal_13" + "AltitudePossibleVal_14" + "AltitudePossibleVal_15" + "AltitudePossibleVal_16" + "AltitudePossibleVal_17" + "AltitudePossibleVal_18" + "AltitudePossibleVal_19" + "AltitudePossibleVal_20" + "AltitudePossibleVal_21" + "AltitudePossibleVal_22" + "AltitudePossibleVal_23" + "AltitudePossibleVal_24" + "AltitudePossibleVal_25" + "AltitudePossibleVal_26" + "AltitudePossibleVal_27" + "AltitudePossibleVal_28" + "AltitudePossibleVal_29" + "AltitudePossibleVal_30" + "AltitudePossibleVal_31" + "AltitudePossibleVal_32" + "AltitudePossibleVal_33" + "AltitudePossibleVal_34" + "AltitudePossibleVal_35" + "AltitudePossibleVal_36" + "AltitudePossibleVal_37" + "AltitudePossibleVal_38" + "AltitudePossibleVal_39" + "AltitudePossibleVal_40" + "AltitudePossibleVal_41" + "AltitudePossibleVal_42" + "AltitudePossibleVal_43" + "AltitudePossibleVal_44" + "AltitudePossibleVal_45" + "AltitudePossibleVal_46" + "AltitudePossibleVal_47" + "AltitudePossibleVal_48" + "AltitudePossibleVal_49" + "AltitudePossibleVal_50" + "AltitudePossibleVal_51" + "AltitudePossibleVal_52" + "AltitudePossibleVal_53" + "AltitudePossibleVal_54" + "AltitudePossibleVal_55" + "AltitudePossibleVal_56" + "AltitudePossibleVal_57" + "AltitudePossibleVal_58" + "AltitudePossibleVal_59" + "AltitudePossibleVal_60" + "AltitudePossibleVal_61" + "AltitudePossibleVal_62" + "AltitudePossibleVal_63" + "AltitudePossibleVal_64" + "AltitudePossibleVal_65" + "AltitudePossibleVal_66" + "AltitudePossibleVal_67" + "AltitudePossibleVal_68" + "AltitudePossibleVal_69" + "AltitudePossibleVal_70" + "AltitudePossibleVal_71" + "AltitudePossibleVal_72" + "AltitudePossibleVal_73" + "AltitudePossibleVal_74" + "AltitudePossibleVal_75" + "AltitudePossibleVal_76" + "AltitudePossibleVal_77" + "AltitudePossibleVal_78" + "AltitudePossibleVal_79" + "AltitudePossibleVal_80" + "AltitudePossibleVal_81" + "AltitudePossibleVal_82" + "AltitudePossibleVal_83" + "AltitudePossibleVal_84" + "AltitudePossibleVal_85" + "AltitudePossibleVal_86" + "AltitudePossibleVal_87" + "AltitudePossibleVal_88" + "AltitudePossibleVal_89" + "AltitudePossibleVal_90" + "AltitudePossibleVal_91" + "AltitudePossibleVal_92" + "AltitudePossibleVal_93" + "AltitudePossibleVal_94" + "AltitudePossibleVal_95" + "AltitudePossibleVal_96" + "AltitudePossibleVal_97" + "AltitudePossibleVal_98" + "AltitudePossibleVal_99" + "AltitudePossibleVal_100" + "AltitudePossibleVal_101" + "AltitudePossibleVal_102" + "AltitudePossibleVal_103" + "AltitudePossibleVal_104" + "AltitudePossibleVal_105" + "AltitudePossibleVal_106" + "AltitudePossibleVal_107" + "AltitudePossibleVal_108" + "AltitudePossibleVal_109" + "AltitudePossibleVal_110" + "AltitudePossibleVal_111" + "AltitudePossibleVal_112" + "AltitudePossibleVal_113" + "AltitudePossibleVal_114" + "AltitudePossibleVal_115" + "AltitudePossibleVal_116" + "AltitudePossibleVal_117" + "AltitudePossibleVal_118" + "AltitudePossibleVal_119" + "AltitudePossibleVal_120" + "AltitudePossibleVal_121" + "AltitudePossibleVal_122" + "AltitudePossibleVal_123" + "AltitudePossibleVal_124" + "AltitudePossibleVal_125" + "AltitudePossibleVal_126" + "AltitudePossibleVal_127" + "AltitudePossibleVal_128" + "AltitudePossibleVal_129" + "AltitudePossibleVal_130" + "AltitudePossibleVal_131" + "AltitudePossibleVal_132" + "AltitudePossibleVal_133" + "AltitudePossibleVal_134" + "AltitudePossibleVal_135" + "AltitudePossibleVal_136" + "AltitudePossibleVal_137" + "AltitudePossibleVal_138" + "AltitudePossibleVal_139" + "AltitudePossibleVal_140" + "AltitudePossibleVal_141" + "AltitudePossibleVal_142" + "AltitudePossibleVal_143" + "AltitudePossibleVal_144" + "AltitudePossibleVal_145" + "AltitudePossibleVal_146" + "AltitudePossibleVal_147" + "AltitudePossibleVal_148" + "AltitudePossibleVal_149" + "AltitudePossibleVal_150" + "AltitudePossibleVal_151" + "AltitudePossibleVal_152" + "AltitudePossibleVal_153" + "AltitudePossibleVal_154" + "AltitudePossibleVal_155" + "AltitudePossibleVal_156" + "AltitudePossibleVal_157" + "AltitudePossibleVal_158" + "AltitudePossibleVal_159" + "AltitudePossibleVal_160" + "AltitudePossibleVal_161" + "AltitudePossibleVal_162" + "AltitudePossibleVal_163" + "AltitudePossibleVal_164" + "AltitudePossibleVal_165" + "AltitudePossibleVal_166" + "AltitudePossibleVal_167" + "AltitudePossibleVal_168" + "AltitudePossibleVal_169" + "AltitudePossibleVal_170" + "AltitudePossibleVal_171" + "AltitudePossibleVal_172" + "AltitudePossibleVal_173" + "AltitudePossibleVal_174" + "AltitudePossibleVal_175" + "AltitudePossibleVal_176" + "AltitudePossibleVal_177" + "AltitudePossibleVal_178" + "AltitudePossibleVal_179" + "AltitudePossibleVal_180" + "AltitudePossibleVal_181" + "AltitudePossibleVal_182" + "AltitudePossibleVal_183" + "AltitudePossibleVal_184" + "AltitudePossibleVal_185" + "AltitudePossibleVal_186" + "AltitudePossibleVal_187" + "AltitudePossibleVal_188" + "AltitudePossibleVal_189" + "AltitudePossibleVal_190" + "AltitudePossibleVal_191" + "AltitudePossibleVal_192" + "AltitudePossibleVal_193" + "AltitudePossibleVal_194" + "AltitudePossibleVal_195" + "AltitudePossibleVal_196" + "AltitudePossibleVal_197" + "AltitudePossibleVal_198" + "AltitudePossibleVal_199" + "AltitudePossibleVal_200")) or (("AltitudePossibleVal_1" + "AltitudePossibleVal_2" + "AltitudePossibleVal_3" + "AltitudePossibleVal_4" + "AltitudePossibleVal_5" + "AltitudePossibleVal_6" + "AltitudePossibleVal_7" + "AltitudePossibleVal_8" + "AltitudePossibleVal_9" + "AltitudePossibleVal_10" + "AltitudePossibleVal_11" + "AltitudePossibleVal_12" + "AltitudePossibleVal_13" + "AltitudePossibleVal_14" + "AltitudePossibleVal_15" + "AltitudePossibleVal_16" + "AltitudePossibleVal_17" + "AltitudePossibleVal_18" + "AltitudePossibleVal_19" + "AltitudePossibleVal_20" + "AltitudePossibleVal_21" + "AltitudePossibleVal_22" + "AltitudePossibleVal_23" + "AltitudePossibleVal_24" + "AltitudePossibleVal_25" + "AltitudePossibleVal_26" + "AltitudePossibleVal_27" + "AltitudePossibleVal_28" + "AltitudePossibleVal_29" + "AltitudePossibleVal_30" + "AltitudePossibleVal_31" + "AltitudePossibleVal_32" + "AltitudePossibleVal_33" + "AltitudePossibleVal_34" + "AltitudePossibleVal_35" + "AltitudePossibleVal_36" + "AltitudePossibleVal_37" + "AltitudePossibleVal_38" + "AltitudePossibleVal_39" + "AltitudePossibleVal_40" + "AltitudePossibleVal_41" + "AltitudePossibleVal_42" + "AltitudePossibleVal_43" + "AltitudePossibleVal_44" + "AltitudePossibleVal_45" + "AltitudePossibleVal_46" + "AltitudePossibleVal_47" + "AltitudePossibleVal_48" + "AltitudePossibleVal_49" + "AltitudePossibleVal_50" + "AltitudePossibleVal_51" + "AltitudePossibleVal_52" + "AltitudePossibleVal_53" + "AltitudePossibleVal_54" + "AltitudePossibleVal_55" + "AltitudePossibleVal_56" + "AltitudePossibleVal_57" + "AltitudePossibleVal_58" + "AltitudePossibleVal_59" + "AltitudePossibleVal_60" + "AltitudePossibleVal_61" + "AltitudePossibleVal_62" + "AltitudePossibleVal_63" + "AltitudePossibleVal_64" + "AltitudePossibleVal_65" + "AltitudePossibleVal_66" + "AltitudePossibleVal_67" + "AltitudePossibleVal_68" + "AltitudePossibleVal_69" + "AltitudePossibleVal_70" + "AltitudePossibleVal_71" + "AltitudePossibleVal_72" + "AltitudePossibleVal_73" + "AltitudePossibleVal_74" + "AltitudePossibleVal_75" + "AltitudePossibleVal_76" + "AltitudePossibleVal_77" + "AltitudePossibleVal_78" + "AltitudePossibleVal_79" + "AltitudePossibleVal_80" + "AltitudePossibleVal_81" + "AltitudePossibleVal_82" + "AltitudePossibleVal_83" + "AltitudePossibleVal_84" + "AltitudePossibleVal_85" + "AltitudePossibleVal_86" + "AltitudePossibleVal_87" + "AltitudePossibleVal_88" + "AltitudePossibleVal_89" + "AltitudePossibleVal_90" + "AltitudePossibleVal_91" + "AltitudePossibleVal_92" + "AltitudePossibleVal_93" + "AltitudePossibleVal_94" + "AltitudePossibleVal_95" + "AltitudePossibleVal_96" + "AltitudePossibleVal_97" + "AltitudePossibleVal_98" + "AltitudePossibleVal_99" + "AltitudePossibleVal_100" + "AltitudePossibleVal_101" + "AltitudePossibleVal_102" + "AltitudePossibleVal_103" + "AltitudePossibleVal_104" + "AltitudePossibleVal_105" + "AltitudePossibleVal_106" + "AltitudePossibleVal_107" + "AltitudePossibleVal_108" + "AltitudePossibleVal_109" + "AltitudePossibleVal_110" + "AltitudePossibleVal_111" + "AltitudePossibleVal_112" + "AltitudePossibleVal_113" + "AltitudePossibleVal_114" + "AltitudePossibleVal_115" + "AltitudePossibleVal_116" + "AltitudePossibleVal_117" + "AltitudePossibleVal_118" + "AltitudePossibleVal_119" + "AltitudePossibleVal_120" + "AltitudePossibleVal_121" + "AltitudePossibleVal_122" + "AltitudePossibleVal_123" + "AltitudePossibleVal_124" + "AltitudePossibleVal_125" + "AltitudePossibleVal_126" + "AltitudePossibleVal_127" + "AltitudePossibleVal_128" + "AltitudePossibleVal_129" + "AltitudePossibleVal_130" + "AltitudePossibleVal_131" + "AltitudePossibleVal_132" + "AltitudePossibleVal_133" + "AltitudePossibleVal_134" + "AltitudePossibleVal_135" + "AltitudePossibleVal_136" + "AltitudePossibleVal_137" + "AltitudePossibleVal_138" + "AltitudePossibleVal_139" + "AltitudePossibleVal_140" + "AltitudePossibleVal_141" + "AltitudePossibleVal_142" + "AltitudePossibleVal_143" + "AltitudePossibleVal_144" + "AltitudePossibleVal_145" + "AltitudePossibleVal_146" + "AltitudePossibleVal_147" + "AltitudePossibleVal_148" + "AltitudePossibleVal_149" + "AltitudePossibleVal_150" + "AltitudePossibleVal_151" + "AltitudePossibleVal_152" + "AltitudePossibleVal_153" + "AltitudePossibleVal_154" + "AltitudePossibleVal_155" + "AltitudePossibleVal_156" + "AltitudePossibleVal_157" + "AltitudePossibleVal_158" + "AltitudePossibleVal_159" + "AltitudePossibleVal_160" + "AltitudePossibleVal_161" + "AltitudePossibleVal_162" + "AltitudePossibleVal_163" + "AltitudePossibleVal_164" + "AltitudePossibleVal_165" + "AltitudePossibleVal_166" + "AltitudePossibleVal_167" + "AltitudePossibleVal_168" + "AltitudePossibleVal_169" + "AltitudePossibleVal_170" + "AltitudePossibleVal_171" + "AltitudePossibleVal_172" + "AltitudePossibleVal_173" + "AltitudePossibleVal_174" + "AltitudePossibleVal_175" + "AltitudePossibleVal_176" + "AltitudePossibleVal_177" + "AltitudePossibleVal_178" + "AltitudePossibleVal_179" + "AltitudePossibleVal_180" + "AltitudePossibleVal_181" + "AltitudePossibleVal_182" + "AltitudePossibleVal_183" + "AltitudePossibleVal_184" + "AltitudePossibleVal_185" + "AltitudePossibleVal_186" + "AltitudePossibleVal_187" + "AltitudePossibleVal_188" + "AltitudePossibleVal_189" + "AltitudePossibleVal_190" + "AltitudePossibleVal_191" + "AltitudePossibleVal_192" + "AltitudePossibleVal_193" + "AltitudePossibleVal_194" + "AltitudePossibleVal_195" + "AltitudePossibleVal_196" + "AltitudePossibleVal_197" + "AltitudePossibleVal_198" + "AltitudePossibleVal_199" + "AltitudePossibleVal_200") <= ("SpeedPossibleVal_1" + "SpeedPossibleVal_2" + "SpeedPossibleVal_3" + "SpeedPossibleVal_4" + "SpeedPossibleVal_5" + "SpeedPossibleVal_6" + "SpeedPossibleVal_7" + "SpeedPossibleVal_8" + "SpeedPossibleVal_9" + "SpeedPossibleVal_10" + "SpeedPossibleVal_11" + "SpeedPossibleVal_12" + "SpeedPossibleVal_13" + "SpeedPossibleVal_14" + "SpeedPossibleVal_15" + "SpeedPossibleVal_16" + "SpeedPossibleVal_17" + "SpeedPossibleVal_18" + "SpeedPossibleVal_19" + "SpeedPossibleVal_20" + "SpeedPossibleVal_21" + "SpeedPossibleVal_22" + "SpeedPossibleVal_23" + "SpeedPossibleVal_24" + "SpeedPossibleVal_25" + "SpeedPossibleVal_26" + "SpeedPossibleVal_27" + "SpeedPossibleVal_28" + "SpeedPossibleVal_29" + "SpeedPossibleVal_30" + "SpeedPossibleVal_31" + "SpeedPossibleVal_32" + "SpeedPossibleVal_33" + "SpeedPossibleVal_34" + "SpeedPossibleVal_35" + "SpeedPossibleVal_36" + "SpeedPossibleVal_37" + "SpeedPossibleVal_38" + "SpeedPossibleVal_39" + "SpeedPossibleVal_40" + "SpeedPossibleVal_41" + "SpeedPossibleVal_42" + "SpeedPossibleVal_43" + "SpeedPossibleVal_44" + "SpeedPossibleVal_45" + "SpeedPossibleVal_46" + "SpeedPossibleVal_47" + "SpeedPossibleVal_48" + "SpeedPossibleVal_49" + "SpeedPossibleVal_50" + "SpeedPossibleVal_51" + "SpeedPossibleVal_52" + "SpeedPossibleVal_53" + "SpeedPossibleVal_54" + "SpeedPossibleVal_55" + "SpeedPossibleVal_56" + "SpeedPossibleVal_57" + "SpeedPossibleVal_58" + "SpeedPossibleVal_59" + "SpeedPossibleVal_60" + "SpeedPossibleVal_61" + "SpeedPossibleVal_62" + "SpeedPossibleVal_63" + "SpeedPossibleVal_64" + "SpeedPossibleVal_65" + "SpeedPossibleVal_66" + "SpeedPossibleVal_67" + "SpeedPossibleVal_68" + "SpeedPossibleVal_69" + "SpeedPossibleVal_70" + "SpeedPossibleVal_71" + "SpeedPossibleVal_72" + "SpeedPossibleVal_73" + "SpeedPossibleVal_74" + "SpeedPossibleVal_75" + "SpeedPossibleVal_76" + "SpeedPossibleVal_77" + "SpeedPossibleVal_78" + "SpeedPossibleVal_79" + "SpeedPossibleVal_80" + "SpeedPossibleVal_81" + "SpeedPossibleVal_82" + "SpeedPossibleVal_83" + "SpeedPossibleVal_84" + "SpeedPossibleVal_85" + "SpeedPossibleVal_86" + "SpeedPossibleVal_87" + "SpeedPossibleVal_88" + "SpeedPossibleVal_89" + "SpeedPossibleVal_90" + "SpeedPossibleVal_91" + "SpeedPossibleVal_92" + "SpeedPossibleVal_93" + "SpeedPossibleVal_94" + "SpeedPossibleVal_95" + "SpeedPossibleVal_96" + "SpeedPossibleVal_97" + "SpeedPossibleVal_98" + "SpeedPossibleVal_99" + "SpeedPossibleVal_100")))) or (3 <= "stp5")) )
AirplaneLD-COL-0100-ReachabilityCardinality-15: not EF not ( not(not((("P6" <= "P5") or ("P6" <= ("Plane_On_Ground_Signal_no_T" + "Plane_On_Ground_Signal_no_F"))))) )

query: EF not ( not(not((("P6" <= "P5") or ("P6" <= ("Plane_On_Ground_Signal_no_T" + "Plane_On_Ground_Signal_no_F"))))) )
AirplaneLD-COL-0100-ReachabilityCardinality-0: EF ( ((((("Plane_On_Ground_Signal_no_T" + "Plane_On_Ground_Signal_no_F") <= ("SpeedPossibleVal_1" + "SpeedPossibleVal_2" + "SpeedPossibleVal_3" + "SpeedPossibleVal_4" + "SpeedPossibleVal_5" + "SpeedPossibleVal_6" + "SpeedPossibleVal_7" + "SpeedPossibleVal_8" + "SpeedPossibleVal_9" + "SpeedPossibleVal_10" + "SpeedPossibleVal_11" + "SpeedPossibleVal_12" + "SpeedPossibleVal_13" + "SpeedPossibleVal_14" + "SpeedPossibleVal_15" + "SpeedPossibleVal_16" + "SpeedPossibleVal_17" + "SpeedPossibleVal_18" + "SpeedPossibleVal_19" + "SpeedPossibleVal_20" + "SpeedPossibleVal_21" + "SpeedPossibleVal_22" + "SpeedPossibleVal_23" + "SpeedPossibleVal_24" + "SpeedPossibleVal_25" + "SpeedPossibleVal_26" + "SpeedPossibleVal_27" + "SpeedPossibleVal_28" + "SpeedPossibleVal_29" + "SpeedPossibleVal_30" + "SpeedPossibleVal_31" + "SpeedPossibleVal_32" + "SpeedPossibleVal_33" + "SpeedPossibleVal_34" + "SpeedPossibleVal_35" + "SpeedPossibleVal_36" + "SpeedPossibleVal_37" + "SpeedPossibleVal_38" + "SpeedPossibleVal_39" + "SpeedPossibleVal_40" + "SpeedPossibleVal_41" + "SpeedPossibleVal_42" + "SpeedPossibleVal_43" + "SpeedPossibleVal_44" + "SpeedPossibleVal_45" + "SpeedPossibleVal_46" + "SpeedPossibleVal_47" + "SpeedPossibleVal_48" + "SpeedPossibleVal_49" + "SpeedPossibleVal_50" + "SpeedPossibleVal_51" + "SpeedPossibleVal_52" + "SpeedPossibleVal_53" + "SpeedPossibleVal_54" + "SpeedPossibleVal_55" + "SpeedPossibleVal_56" + "SpeedPossibleVal_57" + "SpeedPossibleVal_58" + "SpeedPossibleVal_59" + "SpeedPossibleVal_60" + "SpeedPossibleVal_61" + "SpeedPossibleVal_62" + "SpeedPossibleVal_63" + "SpeedPossibleVal_64" + "SpeedPossibleVal_65" + "SpeedPossibleVal_66" + "SpeedPossibleVal_67" + "SpeedPossibleVal_68" + "SpeedPossibleVal_69" + "SpeedPossibleVal_70" + "SpeedPossibleVal_71" + "SpeedPossibleVal_72" + "SpeedPossibleVal_73" + "SpeedPossibleVal_74" + "SpeedPossibleVal_75" + "SpeedPossibleVal_76" + "SpeedPossibleVal_77" + "SpeedPossibleVal_78" + "SpeedPossibleVal_79" + "SpeedPossibleVal_80" + "SpeedPossibleVal_81" + "SpeedPossibleVal_82" + "SpeedPossibleVal_83" + "SpeedPossibleVal_84" + "SpeedPossibleVal_85" + "SpeedPossibleVal_86" + "SpeedPossibleVal_87" + "SpeedPossibleVal_88" + "SpeedPossibleVal_89" + "SpeedPossibleVal_90" + "SpeedPossibleVal_91" + "SpeedPossibleVal_92" + "SpeedPossibleVal_93" + "SpeedPossibleVal_94" + "SpeedPossibleVal_95" + "SpeedPossibleVal_96" + "SpeedPossibleVal_97" + "SpeedPossibleVal_98" + "SpeedPossibleVal_99" + "SpeedPossibleVal_100")) or (3 <= "P1")) and not((("AltitudePossibleVal_1" + "AltitudePossibleVal_2" + "AltitudePossibleVal_3" + "AltitudePossibleVal_4" + "AltitudePossibleVal_5" + "AltitudePossibleVal_6" + "AltitudePossibleVal_7" + "AltitudePossibleVal_8" + "AltitudePossibleVal_9" + "AltitudePossibleVal_10" + "AltitudePossibleVal_11" + "AltitudePossibleVal_12" + "AltitudePossibleVal_13" + "AltitudePossibleVal_14" + "AltitudePossibleVal_15" + "AltitudePossibleVal_16" + "AltitudePossibleVal_17" + "AltitudePossibleVal_18" + "AltitudePossibleVal_19" + "AltitudePossibleVal_20" + "AltitudePossibleVal_21" + "AltitudePossibleVal_22" + "AltitudePossibleVal_23" + "AltitudePossibleVal_24" + "AltitudePossibleVal_25" + "AltitudePossibleVal_26" + "AltitudePossibleVal_27" + "AltitudePossibleVal_28" + "AltitudePossibleVal_29" + "AltitudePossibleVal_30" + "AltitudePossibleVal_31" + "AltitudePossibleVal_32" + "AltitudePossibleVal_33" + "AltitudePossibleVal_34" + "AltitudePossibleVal_35" + "AltitudePossibleVal_36" + "AltitudePossibleVal_37" + "AltitudePossibleVal_38" + "AltitudePossibleVal_39" + "AltitudePossibleVal_40" + "AltitudePossibleVal_41" + "AltitudePossibleVal_42" + "AltitudePossibleVal_43" + "AltitudePossibleVal_44" + "AltitudePossibleVal_45" + "AltitudePossibleVal_46" + "AltitudePossibleVal_47" + "AltitudePossibleVal_48" + "AltitudePossibleVal_49" + "AltitudePossibleVal_50" + "AltitudePossibleVal_51" + "AltitudePossibleVal_52" + "AltitudePossibleVal_53" + "AltitudePossibleVal_54" + "AltitudePossibleVal_55" + "AltitudePossibleVal_56" + "AltitudePossibleVal_57" + "AltitudePossibleVal_58" + "AltitudePossibleVal_59" + "AltitudePossibleVal_60" + "AltitudePossibleVal_61" + "AltitudePossibleVal_62" + "AltitudePossibleVal_63" + "AltitudePossibleVal_64" + "AltitudePossibleVal_65" + "AltitudePossibleVal_66" + "AltitudePossibleVal_67" + "AltitudePossibleVal_68" + "AltitudePossibleVal_69" + "AltitudePossibleVal_70" + "AltitudePossibleVal_71" + "AltitudePossibleVal_72" + "AltitudePossibleVal_73" + "AltitudePossibleVal_74" + "AltitudePossibleVal_75" + "AltitudePossibleVal_76" + "AltitudePossibleVal_77" + "AltitudePossibleVal_78" + "AltitudePossibleVal_79" + "AltitudePossibleVal_80" + "AltitudePossibleVal_81" + "AltitudePossibleVal_82" + "AltitudePossibleVal_83" + "AltitudePossibleVal_84" + "AltitudePossibleVal_85" + "AltitudePossibleVal_86" + "AltitudePossibleVal_87" + "AltitudePossibleVal_88" + "AltitudePossibleVal_89" + "AltitudePossibleVal_90" + "AltitudePossibleVal_91" + "AltitudePossibleVal_92" + "AltitudePossibleVal_93" + "AltitudePossibleVal_94" + "AltitudePossibleVal_95" + "AltitudePossibleVal_96" + "AltitudePossibleVal_97" + "AltitudePossibleVal_98" + "AltitudePossibleVal_99" + "AltitudePossibleVal_100" + "AltitudePossibleVal_101" + "AltitudePossibleVal_102" + "AltitudePossibleVal_103" + "AltitudePossibleVal_104" + "AltitudePossibleVal_105" + "AltitudePossibleVal_106" + "AltitudePossibleVal_107" + "AltitudePossibleVal_108" + "AltitudePossibleVal_109" + "AltitudePossibleVal_110" + "AltitudePossibleVal_111" + "AltitudePossibleVal_112" + "AltitudePossibleVal_113" + "AltitudePossibleVal_114" + "AltitudePossibleVal_115" + "AltitudePossibleVal_116" + "AltitudePossibleVal_117" + "AltitudePossibleVal_118" + "AltitudePossibleVal_119" + "AltitudePossibleVal_120" + "AltitudePossibleVal_121" + "AltitudePossibleVal_122" + "AltitudePossibleVal_123" + "AltitudePossibleVal_124" + "AltitudePossibleVal_125" + "AltitudePossibleVal_126" + "AltitudePossibleVal_127" + "AltitudePossibleVal_128" + "AltitudePossibleVal_129" + "AltitudePossibleVal_130" + "AltitudePossibleVal_131" + "AltitudePossibleVal_132" + "AltitudePossibleVal_133" + "AltitudePossibleVal_134" + "AltitudePossibleVal_135" + "AltitudePossibleVal_136" + "AltitudePossibleVal_137" + "AltitudePossibleVal_138" + "AltitudePossibleVal_139" + "AltitudePossibleVal_140" + "AltitudePossibleVal_141" + "AltitudePossibleVal_142" + "AltitudePossibleVal_143" + "AltitudePossibleVal_144" + "AltitudePossibleVal_145" + "AltitudePossibleVal_146" + "AltitudePossibleVal_147" + "AltitudePossibleVal_148" + "AltitudePossibleVal_149" + "AltitudePossibleVal_150" + "AltitudePossibleVal_151" + "AltitudePossibleVal_152" + "AltitudePossibleVal_153" + "AltitudePossibleVal_154" + "AltitudePossibleVal_155" + "AltitudePossibleVal_156" + "AltitudePossibleVal_157" + "AltitudePossibleVal_158" + "AltitudePossibleVal_159" + "AltitudePossibleVal_160" + "AltitudePossibleVal_161" + "AltitudePossibleVal_162" + "AltitudePossibleVal_163" + "AltitudePossibleVal_164" + "AltitudePossibleVal_165" + "AltitudePossibleVal_166" + "AltitudePossibleVal_167" + "AltitudePossibleVal_168" + "AltitudePossibleVal_169" + "AltitudePossibleVal_170" + "AltitudePossibleVal_171" + "AltitudePossibleVal_172" + "AltitudePossibleVal_173" + "AltitudePossibleVal_174" + "AltitudePossibleVal_175" + "AltitudePossibleVal_176" + "AltitudePossibleVal_177" + "AltitudePossibleVal_178" + "AltitudePossibleVal_179" + "AltitudePossibleVal_180" + "AltitudePossibleVal_181" + "AltitudePossibleVal_182" + "AltitudePossibleVal_183" + "AltitudePossibleVal_184" + "AltitudePossibleVal_185" + "AltitudePossibleVal_186" + "AltitudePossibleVal_187" + "AltitudePossibleVal_188" + "AltitudePossibleVal_189" + "AltitudePossibleVal_190" + "AltitudePossibleVal_191" + "AltitudePossibleVal_192" + "AltitudePossibleVal_193" + "AltitudePossibleVal_194" + "AltitudePossibleVal_195" + "AltitudePossibleVal_196" + "AltitudePossibleVal_197" + "AltitudePossibleVal_198" + "AltitudePossibleVal_199" + "AltitudePossibleVal_200") <= "P4"))) and (3 <= ("Plane_On_Ground_Signal_no_T" + "Plane_On_Ground_Signal_no_F"))) )


BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AirplaneLD-PT-0100"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="tapaalPAR"
export BK_RESULT_DIR="/home/hulinhub/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-PT-0100.tgz
mv AirplaneLD-PT-0100 execution

# this is for BenchKit: explicit launching of the test

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