Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r001-oct2-167813588400205.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-5348
Executing tool marcie
Input is AirplaneLD-COL-0200, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r001-oct2-167813588400205
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 7.8K Feb 26 11:31 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 11:31 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 26 11:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 11:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:30 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:30 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:30 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:30 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 11:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 122K Feb 26 11:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 11:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 11:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 67K Mar 5 18:22 model.pnml

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

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

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-00
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-01
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-02
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-03
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-04
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-05
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-06
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-07
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-08
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-09
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-10
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-11
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-12
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-13
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-14
FORMULA_NAME AirplaneLD-COL-0200-UpperBounds-15

=== Now, execution of the tool begins

BK_START 1678387892041

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=marcie
BK_EXAMINATION=UpperBounds
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=AirplaneLD-COL-0200
Not applying reductions.
Model is COL
UpperBounds COL
timeout --kill-after=10s --signal=SIGINT 1m for testing only

Marcie built on Linux at 2019-11-18.
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: /home/mcc/BenchKit/bin//../marcie/bin/marcie --net-file=model.pnml --mcc-file=UpperBounds.xml --memory=6 --mcc-mode

parse successfull
net created successfully

Unfolding complete |P|=1419|T|=1608|A|=6128
Time for unfolding: 0m 1.417sec

Net: AirplaneLD_COL_0200
(NrP: 1419 NrTr: 1608 NrArc: 6128)

parse formulas
formulas created successfully
place and transition orderings generation:0m 0.211sec

net check time: 0m 0.002sec

init dd package: 0m 3.036sec


RS generation: 0m18.057sec


-> reachability set: #nodes 23602 (2.4e+04) #states 275,494,823 (8)



starting MCC model checker
--------------------------

checking: place_bound(P6_dot)
normalized: place_bound(P6_dot)

-> the formula is 1

FORMULA AirplaneLD-COL-0200-UpperBounds-01 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.002sec

checking: place_bound(stp3_dot)
normalized: place_bound(stp3_dot)

-> the formula is 1

FORMULA AirplaneLD-COL-0200-UpperBounds-02 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.001sec

checking: place_bound(P4_dot)
normalized: place_bound(P4_dot)

-> the formula is 1

FORMULA AirplaneLD-COL-0200-UpperBounds-04 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.001sec

checking: place_bound(stp2_dot)
normalized: place_bound(stp2_dot)

-> the formula is 1

FORMULA AirplaneLD-COL-0200-UpperBounds-07 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.001sec

checking: place_bound(P1_dot)
normalized: place_bound(P1_dot)

-> the formula is 1

FORMULA AirplaneLD-COL-0200-UpperBounds-09 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.001sec

checking: place_bound(P2_dot)
normalized: place_bound(P2_dot)

-> the formula is 1

FORMULA AirplaneLD-COL-0200-UpperBounds-10 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.001sec

checking: place_bound(P3_dot)
normalized: place_bound(P3_dot)

-> the formula is 1

FORMULA AirplaneLD-COL-0200-UpperBounds-12 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.001sec

checking: place_bound(P5_dot)
normalized: place_bound(P5_dot)

-> the formula is 1

FORMULA AirplaneLD-COL-0200-UpperBounds-15 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.001sec

checking: place_bound(WeightPossibleVal_Weight0,WeightPossibleVal_Weight1)
normalized: place_bound(WeightPossibleVal_Weight0,WeightPossibleVal_Weight1)

-> the formula is 2

FORMULA AirplaneLD-COL-0200-UpperBounds-03 2 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.001sec

checking: place_bound(Weight_Left_Wheel_Weight0,Weight_Left_Wheel_Weight1)
normalized: place_bound(Weight_Left_Wheel_Weight0,Weight_Left_Wheel_Weight1)

-> the formula is 1

FORMULA AirplaneLD-COL-0200-UpperBounds-05 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.001sec

checking: place_bound(Plane_On_Ground_Signal_no_Signal0,Plane_On_Ground_Signal_no_Signal1)
normalized: place_bound(Plane_On_Ground_Signal_no_Signal0,Plane_On_Ground_Signal_no_Signal1)

-> the formula is 1

FORMULA AirplaneLD-COL-0200-UpperBounds-08 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.001sec

checking: place_bound(Weight_Right_Wheel_Weight0,Weight_Right_Wheel_Weight1)
normalized: place_bound(Weight_Right_Wheel_Weight0,Weight_Right_Wheel_Weight1)

-> the formula is 1

FORMULA AirplaneLD-COL-0200-UpperBounds-11 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.001sec

checking: place_bound(Speed_Left_Wheel_Speed1,Speed_Left_Wheel_Speed10,Speed_Left_Wheel_Speed100,Speed_Left_Wheel_Speed101,Speed_Left_Wheel_Speed102,Speed_Left_Wheel_Speed103,Speed_Left_Wheel_Speed104,Speed_Left_Wheel_Speed105,Speed_Left_Wheel_Speed106,Speed_Left_Wheel_Speed107,Speed_Left_Wheel_Speed108,Speed_Left_Wheel_Speed109,Speed_Left_Wheel_Speed11,Speed_Left_Wheel_Speed110,Speed_Left_Wheel_Speed111,Speed_Left_Wheel_Speed112,Speed_Left_Wheel_Speed113,Speed_Left_Wheel_Speed114,Speed_Left_Wheel_Speed115,Speed_Left_Wheel_Speed116,Speed_Left_Wheel_Speed117,Speed_Left_Wheel_Speed118,Speed_Left_Wheel_Speed119,Speed_Left_Wheel_Speed12,Speed_Left_Wheel_Speed120,Speed_Left_Wheel_Speed121,Speed_Left_Wheel_Speed122,Speed_Left_Wheel_Speed123,Speed_Left_Wheel_Speed124,Speed_Left_Wheel_Speed125,Speed_Left_Wheel_Speed126,Speed_Left_Wheel_Speed127,Speed_Left_Wheel_Speed128,Speed_Left_Wheel_Speed129,Speed_Left_Wheel_Speed13,Speed_Left_Wheel_Speed130,Speed_Left_Wheel_Speed131,Speed_Left_Wheel_Speed132,Speed_Left_Wheel_Speed133,Speed_Left_Wheel_Speed134,Speed_Left_Wheel_Speed135,Speed_Left_Wheel_Speed136,Speed_Left_Wheel_Speed137,Speed_Left_Wheel_Speed138,Speed_Left_Wheel_Speed139,Speed_Left_Wheel_Speed14,Speed_Left_Wheel_Speed140,Speed_Left_Wheel_Speed141,Speed_Left_Wheel_Speed142,Speed_Left_Wheel_Speed143,Speed_Left_Wheel_Speed144,Speed_Left_Wheel_Speed145,Speed_Left_Wheel_Speed146,Speed_Left_Wheel_Speed147,Speed_Left_Wheel_Speed148,Speed_Left_Wheel_Speed149,Speed_Left_Wheel_Speed15,Speed_Left_Wheel_Speed150,Speed_Left_Wheel_Speed151,Speed_Left_Wheel_Speed152,Speed_Left_Wheel_Speed153,Speed_Left_Wheel_Speed154,Speed_Left_Wheel_Speed155,Speed_Left_Wheel_Speed156,Speed_Left_Wheel_Speed157,Speed_Left_Wheel_Speed158,Speed_Left_Wheel_Speed159,Speed_Left_Wheel_Speed16,Speed_Left_Wheel_Speed160,Speed_Left_Wheel_Speed161,Speed_Left_Wheel_Speed162,Speed_Left_Wheel_Speed163,Speed_Left_Wheel_Speed164,Speed_Left_Wheel_Speed165,Speed_Left_Wheel_Speed166,Speed_Left_Wheel_Speed167,Speed_Left_Wheel_Speed168,Speed_Left_Wheel_Speed169,Speed_Left_Wheel_Speed17,Speed_Left_Wheel_Speed170,Speed_Left_Wheel_Speed171,Speed_Left_Wheel_Speed172,Speed_Left_Wheel_Speed173,Speed_Left_Wheel_Speed174,Speed_Left_Wheel_Speed175,Speed_Left_Wheel_Speed176,Speed_Left_Wheel_Speed177,Speed_Left_Wheel_Speed178,Speed_Left_Wheel_Speed179,Speed_Left_Wheel_Speed18,Speed_Left_Wheel_Speed180,Speed_Left_Wheel_Speed181,Speed_Left_Wheel_Speed182,Speed_Left_Wheel_Speed183,Speed_Left_Wheel_Speed184,Speed_Left_Wheel_Speed185,Speed_Left_Wheel_Speed186,Speed_Left_Wheel_Speed187,Speed_Left_Wheel_Speed188,Speed_Left_Wheel_Speed189,Speed_Left_Wheel_Speed19,Speed_Left_Wheel_Speed190,Speed_Left_Wheel_Speed191,Speed_Left_Wheel_Speed192,Speed_Left_Wheel_Speed193,Speed_Left_Wheel_Speed194,Speed_Left_Wheel_Speed195,Speed_Left_Wheel_Speed196,Speed_Left_Wheel_Speed197,Speed_Left_Wheel_Speed198,Speed_Left_Wheel_Speed199,Speed_Left_Wheel_Speed2,Speed_Left_Wheel_Speed20,Speed_Left_Wheel_Speed200,Speed_Left_Wheel_Speed21,Speed_Left_Wheel_Speed22,Speed_Left_Wheel_Speed23,Speed_Left_Wheel_Speed24,Speed_Left_Wheel_Speed25,Speed_Left_Wheel_Speed26,Speed_Left_Wheel_Speed27,Speed_Left_Wheel_Speed28,Speed_Left_Wheel_Speed29,Speed_Left_Wheel_Speed3,Speed_Left_Wheel_Speed30,Speed_Left_Wheel_Speed31,Speed_Left_Wheel_Speed32,Speed_Left_Wheel_Speed33,Speed_Left_Wheel_Speed34,Speed_Left_Wheel_Speed35,Speed_Left_Wheel_Speed36,Speed_Left_Wheel_Speed37,Speed_Left_Wheel_Speed38,Speed_Left_Wheel_Speed39,Speed_Left_Wheel_Speed4,Speed_Left_Wheel_Speed40,Speed_Left_Wheel_Speed41,Speed_Left_Wheel_Speed42,Speed_Left_Wheel_Speed43,Speed_Left_Wheel_Speed44,Speed_Left_Wheel_Speed45,Speed_Left_Wheel_Speed46,Speed_Left_Wheel_Speed47,Speed_Left_Wheel_Speed48,Speed_Left_Wheel_Speed49,Speed_Left_Wheel_Speed5,Speed_Left_Wheel_Speed50,Speed_Left_Wheel_Speed51,Speed_Left_Wheel_Speed52,Speed_Left_Wheel_Speed53,Speed_Left_Wheel_Speed54,Speed_Left_Wheel_Speed55,Speed_Left_Wheel_Speed56,Speed_Left_Wheel_Speed57,Speed_Left_Wheel_Speed58,Speed_Left_Wheel_Speed59,Speed_Left_Wheel_Speed6,Speed_Left_Wheel_Speed60,Speed_Left_Wheel_Speed61,Speed_Left_Wheel_Speed62,Speed_Left_Wheel_Speed63,Speed_Left_Wheel_Speed64,Speed_Left_Wheel_Speed65,Speed_Left_Wheel_Speed66,Speed_Left_Wheel_Speed67,Speed_Left_Wheel_Speed68,Speed_Left_Wheel_Speed69,Speed_Left_Wheel_Speed7,Speed_Left_Wheel_Speed70,Speed_Left_Wheel_Speed71,Speed_Left_Wheel_Speed72,Speed_Left_Wheel_Speed73,Speed_Left_Wheel_Speed74,Speed_Left_Wheel_Speed75,Speed_Left_Wheel_Speed76,Speed_Left_Wheel_Speed77,Speed_Left_Wheel_Speed78,Speed_Left_Wheel_Speed79,Speed_Left_Wheel_Speed8,Speed_Left_Wheel_Speed80,Speed_Left_Wheel_Speed81,Speed_Left_Wheel_Speed82,Speed_Left_Wheel_Speed83,Speed_Left_Wheel_Speed84,Speed_Left_Wheel_Speed85,Speed_Left_Wheel_Speed86,Speed_Left_Wheel_Speed87,Speed_Left_Wheel_Speed88,Speed_Left_Wheel_Speed89,Speed_Left_Wheel_Speed9,Speed_Left_Wheel_Speed90,Speed_Left_Wheel_Speed91,Speed_Left_Wheel_Speed92,Speed_Left_Wheel_Speed93,Speed_Left_Wheel_Speed94,Speed_Left_Wheel_Speed95,Speed_Left_Wheel_Speed96,Speed_Left_Wheel_Speed97,Speed_Left_Wheel_Speed98,Speed_Left_Wheel_Speed99)
normalized: place_bound(Speed_Left_Wheel_Speed1,Speed_Left_Wheel_Speed10,Speed_Left_Wheel_Speed100,Speed_Left_Wheel_Speed101,Speed_Left_Wheel_Speed102,Speed_Left_Wheel_Speed103,Speed_Left_Wheel_Speed104,Speed_Left_Wheel_Speed105,Speed_Left_Wheel_Speed106,Speed_Left_Wheel_Speed107,Speed_Left_Wheel_Speed108,Speed_Left_Wheel_Speed109,Speed_Left_Wheel_Speed11,Speed_Left_Wheel_Speed110,Speed_Left_Wheel_Speed111,Speed_Left_Wheel_Speed112,Speed_Left_Wheel_Speed113,Speed_Left_Wheel_Speed114,Speed_Left_Wheel_Speed115,Speed_Left_Wheel_Speed116,Speed_Left_Wheel_Speed117,Speed_Left_Wheel_Speed118,Speed_Left_Wheel_Speed119,Speed_Left_Wheel_Speed12,Speed_Left_Wheel_Speed120,Speed_Left_Wheel_Speed121,Speed_Left_Wheel_Speed122,Speed_Left_Wheel_Speed123,Speed_Left_Wheel_Speed124,Speed_Left_Wheel_Speed125,Speed_Left_Wheel_Speed126,Speed_Left_Wheel_Speed127,Speed_Left_Wheel_Speed128,Speed_Left_Wheel_Speed129,Speed_Left_Wheel_Speed13,Speed_Left_Wheel_Speed130,Speed_Left_Wheel_Speed131,Speed_Left_Wheel_Speed132,Speed_Left_Wheel_Speed133,Speed_Left_Wheel_Speed134,Speed_Left_Wheel_Speed135,Speed_Left_Wheel_Speed136,Speed_Left_Wheel_Speed137,Speed_Left_Wheel_Speed138,Speed_Left_Wheel_Speed139,Speed_Left_Wheel_Speed14,Speed_Left_Wheel_Speed140,Speed_Left_Wheel_Speed141,Speed_Left_Wheel_Speed142,Speed_Left_Wheel_Speed143,Speed_Left_Wheel_Speed144,Speed_Left_Wheel_Speed145,Speed_Left_Wheel_Speed146,Speed_Left_Wheel_Speed147,Speed_Left_Wheel_Speed148,Speed_Left_Wheel_Speed149,Speed_Left_Wheel_Speed15,Speed_Left_Wheel_Speed150,Speed_Left_Wheel_Speed151,Speed_Left_Wheel_Speed152,Speed_Left_Wheel_Speed153,Speed_Left_Wheel_Speed154,Speed_Left_Wheel_Speed155,Speed_Left_Wheel_Speed156,Speed_Left_Wheel_Speed157,Speed_Left_Wheel_Speed158,Speed_Left_Wheel_Speed159,Speed_Left_Wheel_Speed16,Speed_Left_Wheel_Speed160,Speed_Left_Wheel_Speed161,Speed_Left_Wheel_Speed162,Speed_Left_Wheel_Speed163,Speed_Left_Wheel_Speed164,Speed_Left_Wheel_Speed165,Speed_Left_Wheel_Speed166,Speed_Left_Wheel_Speed167,Speed_Left_Wheel_Speed168,Speed_Left_Wheel_Speed169,Speed_Left_Wheel_Speed17,Speed_Left_Wheel_Speed170,Speed_Left_Wheel_Speed171,Speed_Left_Wheel_Speed172,Speed_Left_Wheel_Speed173,Speed_Left_Wheel_Speed174,Speed_Left_Wheel_Speed175,Speed_Left_Wheel_Speed176,Speed_Left_Wheel_Speed177,Speed_Left_Wheel_Speed178,Speed_Left_Wheel_Speed179,Speed_Left_Wheel_Speed18,Speed_Left_Wheel_Speed180,Speed_Left_Wheel_Speed181,Speed_Left_Wheel_Speed182,Speed_Left_Wheel_Speed183,Speed_Left_Wheel_Speed184,Speed_Left_Wheel_Speed185,Speed_Left_Wheel_Speed186,Speed_Left_Wheel_Speed187,Speed_Left_Wheel_Speed188,Speed_Left_Wheel_Speed189,Speed_Left_Wheel_Speed19,Speed_Left_Wheel_Speed190,Speed_Left_Wheel_Speed191,Speed_Left_Wheel_Speed192,Speed_Left_Wheel_Speed193,Speed_Left_Wheel_Speed194,Speed_Left_Wheel_Speed195,Speed_Left_Wheel_Speed196,Speed_Left_Wheel_Speed197,Speed_Left_Wheel_Speed198,Speed_Left_Wheel_Speed199,Speed_Left_Wheel_Speed2,Speed_Left_Wheel_Speed20,Speed_Left_Wheel_Speed200,Speed_Left_Wheel_Speed21,Speed_Left_Wheel_Speed22,Speed_Left_Wheel_Speed23,Speed_Left_Wheel_Speed24,Speed_Left_Wheel_Speed25,Speed_Left_Wheel_Speed26,Speed_Left_Wheel_Speed27,Speed_Left_Wheel_Speed28,Speed_Left_Wheel_Speed29,Speed_Left_Wheel_Speed3,Speed_Left_Wheel_Speed30,Speed_Left_Wheel_Speed31,Speed_Left_Wheel_Speed32,Speed_Left_Wheel_Speed33,Speed_Left_Wheel_Speed34,Speed_Left_Wheel_Speed35,Speed_Left_Wheel_Speed36,Speed_Left_Wheel_Speed37,Speed_Left_Wheel_Speed38,Speed_Left_Wheel_Speed39,Speed_Left_Wheel_Speed4,Speed_Left_Wheel_Speed40,Speed_Left_Wheel_Speed41,Speed_Left_Wheel_Speed42,Speed_Left_Wheel_Speed43,Speed_Left_Wheel_Speed44,Speed_Left_Wheel_Speed45,Speed_Left_Wheel_Speed46,Speed_Left_Wheel_Speed47,Speed_Left_Wheel_Speed48,Speed_Left_Wheel_Speed49,Speed_Left_Wheel_Speed5,Speed_Left_Wheel_Speed50,Speed_Left_Wheel_Speed51,Speed_Left_Wheel_Speed52,Speed_Left_Wheel_Speed53,Speed_Left_Wheel_Speed54,Speed_Left_Wheel_Speed55,Speed_Left_Wheel_Speed56,Speed_Left_Wheel_Speed57,Speed_Left_Wheel_Speed58,Speed_Left_Wheel_Speed59,Speed_Left_Wheel_Speed6,Speed_Left_Wheel_Speed60,Speed_Left_Wheel_Speed61,Speed_Left_Wheel_Speed62,Speed_Left_Wheel_Speed63,Speed_Left_Wheel_Speed64,Speed_Left_Wheel_Speed65,Speed_Left_Wheel_Speed66,Speed_Left_Wheel_Speed67,Speed_Left_Wheel_Speed68,Speed_Left_Wheel_Speed69,Speed_Left_Wheel_Speed7,Speed_Left_Wheel_Speed70,Speed_Left_Wheel_Speed71,Speed_Left_Wheel_Speed72,Speed_Left_Wheel_Speed73,Speed_Left_Wheel_Speed74,Speed_Left_Wheel_Speed75,Speed_Left_Wheel_Speed76,Speed_Left_Wheel_Speed77,Speed_Left_Wheel_Speed78,Speed_Left_Wheel_Speed79,Speed_Left_Wheel_Speed8,Speed_Left_Wheel_Speed80,Speed_Left_Wheel_Speed81,Speed_Left_Wheel_Speed82,Speed_Left_Wheel_Speed83,Speed_Left_Wheel_Speed84,Speed_Left_Wheel_Speed85,Speed_Left_Wheel_Speed86,Speed_Left_Wheel_Speed87,Speed_Left_Wheel_Speed88,Speed_Left_Wheel_Speed89,Speed_Left_Wheel_Speed9,Speed_Left_Wheel_Speed90,Speed_Left_Wheel_Speed91,Speed_Left_Wheel_Speed92,Speed_Left_Wheel_Speed93,Speed_Left_Wheel_Speed94,Speed_Left_Wheel_Speed95,Speed_Left_Wheel_Speed96,Speed_Left_Wheel_Speed97,Speed_Left_Wheel_Speed98,Speed_Left_Wheel_Speed99)

-> the formula is 1

FORMULA AirplaneLD-COL-0200-UpperBounds-06 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.001sec

checking: place_bound(SpeedPossibleVal_Speed1,SpeedPossibleVal_Speed10,SpeedPossibleVal_Speed100,SpeedPossibleVal_Speed101,SpeedPossibleVal_Speed102,SpeedPossibleVal_Speed103,SpeedPossibleVal_Speed104,SpeedPossibleVal_Speed105,SpeedPossibleVal_Speed106,SpeedPossibleVal_Speed107,SpeedPossibleVal_Speed108,SpeedPossibleVal_Speed109,SpeedPossibleVal_Speed11,SpeedPossibleVal_Speed110,SpeedPossibleVal_Speed111,SpeedPossibleVal_Speed112,SpeedPossibleVal_Speed113,SpeedPossibleVal_Speed114,SpeedPossibleVal_Speed115,SpeedPossibleVal_Speed116,SpeedPossibleVal_Speed117,SpeedPossibleVal_Speed118,SpeedPossibleVal_Speed119,SpeedPossibleVal_Speed12,SpeedPossibleVal_Speed120,SpeedPossibleVal_Speed121,SpeedPossibleVal_Speed122,SpeedPossibleVal_Speed123,SpeedPossibleVal_Speed124,SpeedPossibleVal_Speed125,SpeedPossibleVal_Speed126,SpeedPossibleVal_Speed127,SpeedPossibleVal_Speed128,SpeedPossibleVal_Speed129,SpeedPossibleVal_Speed13,SpeedPossibleVal_Speed130,SpeedPossibleVal_Speed131,SpeedPossibleVal_Speed132,SpeedPossibleVal_Speed133,SpeedPossibleVal_Speed134,SpeedPossibleVal_Speed135,SpeedPossibleVal_Speed136,SpeedPossibleVal_Speed137,SpeedPossibleVal_Speed138,SpeedPossibleVal_Speed139,SpeedPossibleVal_Speed14,SpeedPossibleVal_Speed140,SpeedPossibleVal_Speed141,SpeedPossibleVal_Speed142,SpeedPossibleVal_Speed143,SpeedPossibleVal_Speed144,SpeedPossibleVal_Speed145,SpeedPossibleVal_Speed146,SpeedPossibleVal_Speed147,SpeedPossibleVal_Speed148,SpeedPossibleVal_Speed149,SpeedPossibleVal_Speed15,SpeedPossibleVal_Speed150,SpeedPossibleVal_Speed151,SpeedPossibleVal_Speed152,SpeedPossibleVal_Speed153,SpeedPossibleVal_Speed154,SpeedPossibleVal_Speed155,SpeedPossibleVal_Speed156,SpeedPossibleVal_Speed157,SpeedPossibleVal_Speed158,SpeedPossibleVal_Speed159,SpeedPossibleVal_Speed16,SpeedPossibleVal_Speed160,SpeedPossibleVal_Speed161,SpeedPossibleVal_Speed162,SpeedPossibleVal_Speed163,SpeedPossibleVal_Speed164,SpeedPossibleVal_Speed165,SpeedPossibleVal_Speed166,SpeedPossibleVal_Speed167,SpeedPossibleVal_Speed168,SpeedPossibleVal_Speed169,SpeedPossibleVal_Speed17,SpeedPossibleVal_Speed170,SpeedPossibleVal_Speed171,SpeedPossibleVal_Speed172,SpeedPossibleVal_Speed173,SpeedPossibleVal_Speed174,SpeedPossibleVal_Speed175,SpeedPossibleVal_Speed176,SpeedPossibleVal_Speed177,SpeedPossibleVal_Speed178,SpeedPossibleVal_Speed179,SpeedPossibleVal_Speed18,SpeedPossibleVal_Speed180,SpeedPossibleVal_Speed181,SpeedPossibleVal_Speed182,SpeedPossibleVal_Speed183,SpeedPossibleVal_Speed184,SpeedPossibleVal_Speed185,SpeedPossibleVal_Speed186,SpeedPossibleVal_Speed187,SpeedPossibleVal_Speed188,SpeedPossibleVal_Speed189,SpeedPossibleVal_Speed19,SpeedPossibleVal_Speed190,SpeedPossibleVal_Speed191,SpeedPossibleVal_Speed192,SpeedPossibleVal_Speed193,SpeedPossibleVal_Speed194,SpeedPossibleVal_Speed195,SpeedPossibleVal_Speed196,SpeedPossibleVal_Speed197,SpeedPossibleVal_Speed198,SpeedPossibleVal_Speed199,SpeedPossibleVal_Speed2,SpeedPossibleVal_Speed20,SpeedPossibleVal_Speed200,SpeedPossibleVal_Speed21,SpeedPossibleVal_Speed22,SpeedPossibleVal_Speed23,SpeedPossibleVal_Speed24,SpeedPossibleVal_Speed25,SpeedPossibleVal_Speed26,SpeedPossibleVal_Speed27,SpeedPossibleVal_Speed28,SpeedPossibleVal_Speed29,SpeedPossibleVal_Speed3,SpeedPossibleVal_Speed30,SpeedPossibleVal_Speed31,SpeedPossibleVal_Speed32,SpeedPossibleVal_Speed33,SpeedPossibleVal_Speed34,SpeedPossibleVal_Speed35,SpeedPossibleVal_Speed36,SpeedPossibleVal_Speed37,SpeedPossibleVal_Speed38,SpeedPossibleVal_Speed39,SpeedPossibleVal_Speed4,SpeedPossibleVal_Speed40,SpeedPossibleVal_Speed41,SpeedPossibleVal_Speed42,SpeedPossibleVal_Speed43,SpeedPossibleVal_Speed44,SpeedPossibleVal_Speed45,SpeedPossibleVal_Speed46,SpeedPossibleVal_Speed47,SpeedPossibleVal_Speed48,SpeedPossibleVal_Speed49,SpeedPossibleVal_Speed5,SpeedPossibleVal_Speed50,SpeedPossibleVal_Speed51,SpeedPossibleVal_Speed52,SpeedPossibleVal_Speed53,SpeedPossibleVal_Speed54,SpeedPossibleVal_Speed55,SpeedPossibleVal_Speed56,SpeedPossibleVal_Speed57,SpeedPossibleVal_Speed58,SpeedPossibleVal_Speed59,SpeedPossibleVal_Speed6,SpeedPossibleVal_Speed60,SpeedPossibleVal_Speed61,SpeedPossibleVal_Speed62,SpeedPossibleVal_Speed63,SpeedPossibleVal_Speed64,SpeedPossibleVal_Speed65,SpeedPossibleVal_Speed66,SpeedPossibleVal_Speed67,SpeedPossibleVal_Speed68,SpeedPossibleVal_Speed69,SpeedPossibleVal_Speed7,SpeedPossibleVal_Speed70,SpeedPossibleVal_Speed71,SpeedPossibleVal_Speed72,SpeedPossibleVal_Speed73,SpeedPossibleVal_Speed74,SpeedPossibleVal_Speed75,SpeedPossibleVal_Speed76,SpeedPossibleVal_Speed77,SpeedPossibleVal_Speed78,SpeedPossibleVal_Speed79,SpeedPossibleVal_Speed8,SpeedPossibleVal_Speed80,SpeedPossibleVal_Speed81,SpeedPossibleVal_Speed82,SpeedPossibleVal_Speed83,SpeedPossibleVal_Speed84,SpeedPossibleVal_Speed85,SpeedPossibleVal_Speed86,SpeedPossibleVal_Speed87,SpeedPossibleVal_Speed88,SpeedPossibleVal_Speed89,SpeedPossibleVal_Speed9,SpeedPossibleVal_Speed90,SpeedPossibleVal_Speed91,SpeedPossibleVal_Speed92,SpeedPossibleVal_Speed93,SpeedPossibleVal_Speed94,SpeedPossibleVal_Speed95,SpeedPossibleVal_Speed96,SpeedPossibleVal_Speed97,SpeedPossibleVal_Speed98,SpeedPossibleVal_Speed99)
normalized: place_bound(SpeedPossibleVal_Speed1,SpeedPossibleVal_Speed10,SpeedPossibleVal_Speed100,SpeedPossibleVal_Speed101,SpeedPossibleVal_Speed102,SpeedPossibleVal_Speed103,SpeedPossibleVal_Speed104,SpeedPossibleVal_Speed105,SpeedPossibleVal_Speed106,SpeedPossibleVal_Speed107,SpeedPossibleVal_Speed108,SpeedPossibleVal_Speed109,SpeedPossibleVal_Speed11,SpeedPossibleVal_Speed110,SpeedPossibleVal_Speed111,SpeedPossibleVal_Speed112,SpeedPossibleVal_Speed113,SpeedPossibleVal_Speed114,SpeedPossibleVal_Speed115,SpeedPossibleVal_Speed116,SpeedPossibleVal_Speed117,SpeedPossibleVal_Speed118,SpeedPossibleVal_Speed119,SpeedPossibleVal_Speed12,SpeedPossibleVal_Speed120,SpeedPossibleVal_Speed121,SpeedPossibleVal_Speed122,SpeedPossibleVal_Speed123,SpeedPossibleVal_Speed124,SpeedPossibleVal_Speed125,SpeedPossibleVal_Speed126,SpeedPossibleVal_Speed127,SpeedPossibleVal_Speed128,SpeedPossibleVal_Speed129,SpeedPossibleVal_Speed13,SpeedPossibleVal_Speed130,SpeedPossibleVal_Speed131,SpeedPossibleVal_Speed132,SpeedPossibleVal_Speed133,SpeedPossibleVal_Speed134,SpeedPossibleVal_Speed135,SpeedPossibleVal_Speed136,SpeedPossibleVal_Speed137,SpeedPossibleVal_Speed138,SpeedPossibleVal_Speed139,SpeedPossibleVal_Speed14,SpeedPossibleVal_Speed140,SpeedPossibleVal_Speed141,SpeedPossibleVal_Speed142,SpeedPossibleVal_Speed143,SpeedPossibleVal_Speed144,SpeedPossibleVal_Speed145,SpeedPossibleVal_Speed146,SpeedPossibleVal_Speed147,SpeedPossibleVal_Speed148,SpeedPossibleVal_Speed149,SpeedPossibleVal_Speed15,SpeedPossibleVal_Speed150,SpeedPossibleVal_Speed151,SpeedPossibleVal_Speed152,SpeedPossibleVal_Speed153,SpeedPossibleVal_Speed154,SpeedPossibleVal_Speed155,SpeedPossibleVal_Speed156,SpeedPossibleVal_Speed157,SpeedPossibleVal_Speed158,SpeedPossibleVal_Speed159,SpeedPossibleVal_Speed16,SpeedPossibleVal_Speed160,SpeedPossibleVal_Speed161,SpeedPossibleVal_Speed162,SpeedPossibleVal_Speed163,SpeedPossibleVal_Speed164,SpeedPossibleVal_Speed165,SpeedPossibleVal_Speed166,SpeedPossibleVal_Speed167,SpeedPossibleVal_Speed168,SpeedPossibleVal_Speed169,SpeedPossibleVal_Speed17,SpeedPossibleVal_Speed170,SpeedPossibleVal_Speed171,SpeedPossibleVal_Speed172,SpeedPossibleVal_Speed173,SpeedPossibleVal_Speed174,SpeedPossibleVal_Speed175,SpeedPossibleVal_Speed176,SpeedPossibleVal_Speed177,SpeedPossibleVal_Speed178,SpeedPossibleVal_Speed179,SpeedPossibleVal_Speed18,SpeedPossibleVal_Speed180,SpeedPossibleVal_Speed181,SpeedPossibleVal_Speed182,SpeedPossibleVal_Speed183,SpeedPossibleVal_Speed184,SpeedPossibleVal_Speed185,SpeedPossibleVal_Speed186,SpeedPossibleVal_Speed187,SpeedPossibleVal_Speed188,SpeedPossibleVal_Speed189,SpeedPossibleVal_Speed19,SpeedPossibleVal_Speed190,SpeedPossibleVal_Speed191,SpeedPossibleVal_Speed192,SpeedPossibleVal_Speed193,SpeedPossibleVal_Speed194,SpeedPossibleVal_Speed195,SpeedPossibleVal_Speed196,SpeedPossibleVal_Speed197,SpeedPossibleVal_Speed198,SpeedPossibleVal_Speed199,SpeedPossibleVal_Speed2,SpeedPossibleVal_Speed20,SpeedPossibleVal_Speed200,SpeedPossibleVal_Speed21,SpeedPossibleVal_Speed22,SpeedPossibleVal_Speed23,SpeedPossibleVal_Speed24,SpeedPossibleVal_Speed25,SpeedPossibleVal_Speed26,SpeedPossibleVal_Speed27,SpeedPossibleVal_Speed28,SpeedPossibleVal_Speed29,SpeedPossibleVal_Speed3,SpeedPossibleVal_Speed30,SpeedPossibleVal_Speed31,SpeedPossibleVal_Speed32,SpeedPossibleVal_Speed33,SpeedPossibleVal_Speed34,SpeedPossibleVal_Speed35,SpeedPossibleVal_Speed36,SpeedPossibleVal_Speed37,SpeedPossibleVal_Speed38,SpeedPossibleVal_Speed39,SpeedPossibleVal_Speed4,SpeedPossibleVal_Speed40,SpeedPossibleVal_Speed41,SpeedPossibleVal_Speed42,SpeedPossibleVal_Speed43,SpeedPossibleVal_Speed44,SpeedPossibleVal_Speed45,SpeedPossibleVal_Speed46,SpeedPossibleVal_Speed47,SpeedPossibleVal_Speed48,SpeedPossibleVal_Speed49,SpeedPossibleVal_Speed5,SpeedPossibleVal_Speed50,SpeedPossibleVal_Speed51,SpeedPossibleVal_Speed52,SpeedPossibleVal_Speed53,SpeedPossibleVal_Speed54,SpeedPossibleVal_Speed55,SpeedPossibleVal_Speed56,SpeedPossibleVal_Speed57,SpeedPossibleVal_Speed58,SpeedPossibleVal_Speed59,SpeedPossibleVal_Speed6,SpeedPossibleVal_Speed60,SpeedPossibleVal_Speed61,SpeedPossibleVal_Speed62,SpeedPossibleVal_Speed63,SpeedPossibleVal_Speed64,SpeedPossibleVal_Speed65,SpeedPossibleVal_Speed66,SpeedPossibleVal_Speed67,SpeedPossibleVal_Speed68,SpeedPossibleVal_Speed69,SpeedPossibleVal_Speed7,SpeedPossibleVal_Speed70,SpeedPossibleVal_Speed71,SpeedPossibleVal_Speed72,SpeedPossibleVal_Speed73,SpeedPossibleVal_Speed74,SpeedPossibleVal_Speed75,SpeedPossibleVal_Speed76,SpeedPossibleVal_Speed77,SpeedPossibleVal_Speed78,SpeedPossibleVal_Speed79,SpeedPossibleVal_Speed8,SpeedPossibleVal_Speed80,SpeedPossibleVal_Speed81,SpeedPossibleVal_Speed82,SpeedPossibleVal_Speed83,SpeedPossibleVal_Speed84,SpeedPossibleVal_Speed85,SpeedPossibleVal_Speed86,SpeedPossibleVal_Speed87,SpeedPossibleVal_Speed88,SpeedPossibleVal_Speed89,SpeedPossibleVal_Speed9,SpeedPossibleVal_Speed90,SpeedPossibleVal_Speed91,SpeedPossibleVal_Speed92,SpeedPossibleVal_Speed93,SpeedPossibleVal_Speed94,SpeedPossibleVal_Speed95,SpeedPossibleVal_Speed96,SpeedPossibleVal_Speed97,SpeedPossibleVal_Speed98,SpeedPossibleVal_Speed99)

-> the formula is 200

FORMULA AirplaneLD-COL-0200-UpperBounds-13 200 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.001sec

checking: place_bound(AltitudePossibleVal_Altitude1,AltitudePossibleVal_Altitude10,AltitudePossibleVal_Altitude100,AltitudePossibleVal_Altitude101,AltitudePossibleVal_Altitude102,AltitudePossibleVal_Altitude103,AltitudePossibleVal_Altitude104,AltitudePossibleVal_Altitude105,AltitudePossibleVal_Altitude106,AltitudePossibleVal_Altitude107,AltitudePossibleVal_Altitude108,AltitudePossibleVal_Altitude109,AltitudePossibleVal_Altitude11,AltitudePossibleVal_Altitude110,AltitudePossibleVal_Altitude111,AltitudePossibleVal_Altitude112,AltitudePossibleVal_Altitude113,AltitudePossibleVal_Altitude114,AltitudePossibleVal_Altitude115,AltitudePossibleVal_Altitude116,AltitudePossibleVal_Altitude117,AltitudePossibleVal_Altitude118,AltitudePossibleVal_Altitude119,AltitudePossibleVal_Altitude12,AltitudePossibleVal_Altitude120,AltitudePossibleVal_Altitude121,AltitudePossibleVal_Altitude122,AltitudePossibleVal_Altitude123,AltitudePossibleVal_Altitude124,AltitudePossibleVal_Altitude125,AltitudePossibleVal_Altitude126,AltitudePossibleVal_Altitude127,AltitudePossibleVal_Altitude128,AltitudePossibleVal_Altitude129,AltitudePossibleVal_Altitude13,AltitudePossibleVal_Altitude130,AltitudePossibleVal_Altitude131,AltitudePossibleVal_Altitude132,AltitudePossibleVal_Altitude133,AltitudePossibleVal_Altitude134,AltitudePossibleVal_Altitude135,AltitudePossibleVal_Altitude136,AltitudePossibleVal_Altitude137,AltitudePossibleVal_Altitude138,AltitudePossibleVal_Altitude139,AltitudePossibleVal_Altitude14,AltitudePossibleVal_Altitude140,AltitudePossibleVal_Altitude141,AltitudePossibleVal_Altitude142,AltitudePossibleVal_Altitude143,AltitudePossibleVal_Altitude144,AltitudePossibleVal_Altitude145,AltitudePossibleVal_Altitude146,AltitudePossibleVal_Altitude147,AltitudePossibleVal_Altitude148,AltitudePossibleVal_Altitude149,AltitudePossibleVal_Altitude15,AltitudePossibleVal_Altitude150,AltitudePossibleVal_Altitude151,AltitudePossibleVal_Altitude152,AltitudePossibleVal_Altitude153,AltitudePossibleVal_Altitude154,AltitudePossibleVal_Altitude155,AltitudePossibleVal_Altitude156,AltitudePossibleVal_Altitude157,AltitudePossibleVal_Altitude158,AltitudePossibleVal_Altitude159,AltitudePossibleVal_Altitude16,AltitudePossibleVal_Altitude160,AltitudePossibleVal_Altitude161,AltitudePossibleVal_Altitude162,AltitudePossibleVal_Altitude163,AltitudePossibleVal_Altitude164,AltitudePossibleVal_Altitude165,AltitudePossibleVal_Altitude166,AltitudePossibleVal_Altitude167,AltitudePossibleVal_Altitude168,AltitudePossibleVal_Altitude169,AltitudePossibleVal_Altitude17,AltitudePossibleVal_Altitude170,AltitudePossibleVal_Altitude171,AltitudePossibleVal_Altitude172,AltitudePossibleVal_Altitude173,AltitudePossibleVal_Altitude174,AltitudePossibleVal_Altitude175,AltitudePossibleVal_Altitude176,AltitudePossibleVal_Altitude177,AltitudePossibleVal_Altitude178,AltitudePossibleVal_Altitude179,AltitudePossibleVal_Altitude18,AltitudePossibleVal_Altitude180,AltitudePossibleVal_Altitude181,AltitudePossibleVal_Altitude182,AltitudePossibleVal_Altitude183,AltitudePossibleVal_Altitude184,AltitudePossibleVal_Altitude185,AltitudePossibleVal_Altitude186,AltitudePossibleVal_Altitude187,AltitudePossibleVal_Altitude188,AltitudePossibleVal_Altitude189,AltitudePossibleVal_Altitude19,AltitudePossibleVal_Altitude190,AltitudePossibleVal_Altitude191,AltitudePossibleVal_Altitude192,AltitudePossibleVal_Altitude193,AltitudePossibleVal_Altitude194,AltitudePossibleVal_Altitude195,AltitudePossibleVal_Altitude196,AltitudePossibleVal_Altitude197,AltitudePossibleVal_Altitude198,AltitudePossibleVal_Altitude199,AltitudePossibleVal_Altitude2,AltitudePossibleVal_Altitude20,AltitudePossibleVal_Altitude200,AltitudePossibleVal_Altitude201,AltitudePossibleVal_Altitude202,AltitudePossibleVal_Altitude203,AltitudePossibleVal_Altitude204,AltitudePossibleVal_Altitude205,AltitudePossibleVal_Altitude206,AltitudePossibleVal_Altitude207,AltitudePossibleVal_Altitude208,AltitudePossibleVal_Altitude209,AltitudePossibleVal_Altitude21,AltitudePossibleVal_Altitude210,AltitudePossibleVal_Altitude211,AltitudePossibleVal_Altitude212,AltitudePossibleVal_Altitude213,AltitudePossibleVal_Altitude214,AltitudePossibleVal_Altitude215,AltitudePossibleVal_Altitude216,AltitudePossibleVal_Altitude217,AltitudePossibleVal_Altitude218,AltitudePossibleVal_Altitude219,AltitudePossibleVal_Altitude22,AltitudePossibleVal_Altitude220,AltitudePossibleVal_Altitude221,AltitudePossibleVal_Altitude222,AltitudePossibleVal_Altitude223,AltitudePossibleVal_Altitude224,AltitudePossibleVal_Altitude225,AltitudePossibleVal_Altitude226,AltitudePossibleVal_Altitude227,AltitudePossibleVal_Altitude228,AltitudePossibleVal_Altitude229,AltitudePossibleVal_Altitude23,AltitudePossibleVal_Altitude230,AltitudePossibleVal_Altitude231,AltitudePossibleVal_Altitude232,AltitudePossibleVal_Altitude233,AltitudePossibleVal_Altitude234,AltitudePossibleVal_Altitude235,AltitudePossibleVal_Altitude236,AltitudePossibleVal_Altitude237,AltitudePossibleVal_Altitude238,AltitudePossibleVal_Altitude239,AltitudePossibleVal_Altitude24,AltitudePossibleVal_Altitude240,AltitudePossibleVal_Altitude241,AltitudePossibleVal_Altitude242,AltitudePossibleVal_Altitude243,AltitudePossibleVal_Altitude244,AltitudePossibleVal_Altitude245,AltitudePossibleVal_Altitude246,AltitudePossibleVal_Altitude247,AltitudePossibleVal_Altitude248,AltitudePossibleVal_Altitude249,AltitudePossibleVal_Altitude25,AltitudePossibleVal_Altitude250,AltitudePossibleVal_Altitude251,AltitudePossibleVal_Altitude252,AltitudePossibleVal_Altitude253,AltitudePossibleVal_Altitude254,AltitudePossibleVal_Altitude255,AltitudePossibleVal_Altitude256,AltitudePossibleVal_Altitude257,AltitudePossibleVal_Altitude258,AltitudePossibleVal_Altitude259,AltitudePossibleVal_Altitude26,AltitudePossibleVal_Altitude260,AltitudePossibleVal_Altitude261,AltitudePossibleVal_Altitude262,AltitudePossibleVal_Altitude263,AltitudePossibleVal_Altitude264,AltitudePossibleVal_Altitude265,AltitudePossibleVal_Altitude266,AltitudePossibleVal_Altitude267,AltitudePossibleVal_Altitude268,AltitudePossibleVal_Altitude269,AltitudePossibleVal_Altitude27,AltitudePossibleVal_Altitude270,AltitudePossibleVal_Altitude271,AltitudePossibleVal_Altitude272,AltitudePossibleVal_Altitude273,AltitudePossibleVal_Altitude274,AltitudePossibleVal_Altitude275,AltitudePossibleVal_Altitude276,AltitudePossibleVal_Altitude277,AltitudePossibleVal_Altitude278,AltitudePossibleVal_Altitude279,AltitudePossibleVal_Altitude28,AltitudePossibleVal_Altitude280,AltitudePossibleVal_Altitude281,AltitudePossibleVal_Altitude282,AltitudePossibleVal_Altitude283,AltitudePossibleVal_Altitude284,AltitudePossibleVal_Altitude285,AltitudePossibleVal_Altitude286,AltitudePossibleVal_Altitude287,AltitudePossibleVal_Altitude288,AltitudePossibleVal_Altitude289,AltitudePossibleVal_Altitude29,AltitudePossibleVal_Altitude290,AltitudePossibleVal_Altitude291,AltitudePossibleVal_Altitude292,AltitudePossibleVal_Altitude293,AltitudePossibleVal_Altitude294,AltitudePossibleVal_Altitude295,AltitudePossibleVal_Altitude296,AltitudePossibleVal_Altitude297,AltitudePossibleVal_Altitude298,AltitudePossibleVal_Altitude299,AltitudePossibleVal_Altitude3,AltitudePossibleVal_Altitude30,AltitudePossibleVal_Altitude300,AltitudePossibleVal_Altitude301,AltitudePossibleVal_Altitude302,AltitudePossibleVal_Altitude303,AltitudePossibleVal_Altitude304,AltitudePossibleVal_Altitude305,AltitudePossibleVal_Altitude306,AltitudePossibleVal_Altitude307,AltitudePossibleVal_Altitude308,AltitudePossibleVal_Altitude309,AltitudePossibleVal_Altitude31,AltitudePossibleVal_Altitude310,AltitudePossibleVal_Altitude311,AltitudePossibleVal_Altitude312,AltitudePossibleVal_Altitude313,AltitudePossibleVal_Altitude314,AltitudePossibleVal_Altitude315,AltitudePossibleVal_Altitude316,AltitudePossibleVal_Altitude317,AltitudePossibleVal_Altitude318,AltitudePossibleVal_Altitude319,AltitudePossibleVal_Altitude32,AltitudePossibleVal_Altitude320,AltitudePossibleVal_Altitude321,AltitudePossibleVal_Altitude322,AltitudePossibleVal_Altitude323,AltitudePossibleVal_Altitude324,AltitudePossibleVal_Altitude325,AltitudePossibleVal_Altitude326,AltitudePossibleVal_Altitude327,AltitudePossibleVal_Altitude328,AltitudePossibleVal_Altitude329,AltitudePossibleVal_Altitude33,AltitudePossibleVal_Altitude330,AltitudePossibleVal_Altitude331,AltitudePossibleVal_Altitude332,AltitudePossibleVal_Altitude333,AltitudePossibleVal_Altitude334,AltitudePossibleVal_Altitude335,AltitudePossibleVal_Altitude336,AltitudePossibleVal_Altitude337,AltitudePossibleVal_Altitude338,AltitudePossibleVal_Altitude339,AltitudePossibleVal_Altitude34,AltitudePossibleVal_Altitude340,AltitudePossibleVal_Altitude341,AltitudePossibleVal_Altitude342,AltitudePossibleVal_Altitude343,AltitudePossibleVal_Altitude344,AltitudePossibleVal_Altitude345,AltitudePossibleVal_Altitude346,AltitudePossibleVal_Altitude347,AltitudePossibleVal_Altitude348,AltitudePossibleVal_Altitude349,AltitudePossibleVal_Altitude35,AltitudePossibleVal_Altitude350,AltitudePossibleVal_Altitude351,AltitudePossibleVal_Altitude352,AltitudePossibleVal_Altitude353,AltitudePossibleVal_Altitude354,AltitudePossibleVal_Altitude355,AltitudePossibleVal_Altitude356,AltitudePossibleVal_Altitude357,AltitudePossibleVal_Altitude358,AltitudePossibleVal_Altitude359,AltitudePossibleVal_Altitude36,AltitudePossibleVal_Altitude360,AltitudePossibleVal_Altitude361,AltitudePossibleVal_Altitude362,AltitudePossibleVal_Altitude363,AltitudePossibleVal_Altitude364,AltitudePossibleVal_Altitude365,AltitudePossibleVal_Altitude366,AltitudePossibleVal_Altitude367,AltitudePossibleVal_Altitude368,AltitudePossibleVal_Altitude369,AltitudePossibleVal_Altitude37,AltitudePossibleVal_Altitude370,AltitudePossibleVal_Altitude371,AltitudePossibleVal_Altitude372,AltitudePossibleVal_Altitude373,AltitudePossibleVal_Altitude374,AltitudePossibleVal_Altitude375,AltitudePossibleVal_Altitude376,AltitudePossibleVal_Altitude377,AltitudePossibleVal_Altitude378,AltitudePossibleVal_Altitude379,AltitudePossibleVal_Altitude38,AltitudePossibleVal_Altitude380,AltitudePossibleVal_Altitude381,AltitudePossibleVal_Altitude382,AltitudePossibleVal_Altitude383,AltitudePossibleVal_Altitude384,AltitudePossibleVal_Altitude385,AltitudePossibleVal_Altitude386,AltitudePossibleVal_Altitude387,AltitudePossibleVal_Altitude388,AltitudePossibleVal_Altitude389,AltitudePossibleVal_Altitude39,AltitudePossibleVal_Altitude390,AltitudePossibleVal_Altitude391,AltitudePossibleVal_Altitude392,AltitudePossibleVal_Altitude393,AltitudePossibleVal_Altitude394,AltitudePossibleVal_Altitude395,AltitudePossibleVal_Altitude396,AltitudePossibleVal_Altitude397,AltitudePossibleVal_Altitude398,AltitudePossibleVal_Altitude399,AltitudePossibleVal_Altitude4,AltitudePossibleVal_Altitude40,AltitudePossibleVal_Altitude400,AltitudePossibleVal_Altitude41,AltitudePossibleVal_Altitude42,AltitudePossibleVal_Altitude43,AltitudePossibleVal_Altitude44,AltitudePossibleVal_Altitude45,AltitudePossibleVal_Altitude46,AltitudePossibleVal_Altitude47,AltitudePossibleVal_Altitude48,AltitudePossibleVal_Altitude49,AltitudePossibleVal_Altitude5,AltitudePossibleVal_Altitude50,AltitudePossibleVal_Altitude51,AltitudePossibleVal_Altitude52,AltitudePossibleVal_Altitude53,AltitudePossibleVal_Altitude54,AltitudePossibleVal_Altitude55,AltitudePossibleVal_Altitude56,AltitudePossibleVal_Altitude57,AltitudePossibleVal_Altitude58,AltitudePossibleVal_Altitude59,AltitudePossibleVal_Altitude6,AltitudePossibleVal_Altitude60,AltitudePossibleVal_Altitude61,AltitudePossibleVal_Altitude62,AltitudePossibleVal_Altitude63,AltitudePossibleVal_Altitude64,AltitudePossibleVal_Altitude65,AltitudePossibleVal_Altitude66,AltitudePossibleVal_Altitude67,AltitudePossibleVal_Altitude68,AltitudePossibleVal_Altitude69,AltitudePossibleVal_Altitude7,AltitudePossibleVal_Altitude70,AltitudePossibleVal_Altitude71,AltitudePossibleVal_Altitude72,AltitudePossibleVal_Altitude73,AltitudePossibleVal_Altitude74,AltitudePossibleVal_Altitude75,AltitudePossibleVal_Altitude76,AltitudePossibleVal_Altitude77,AltitudePossibleVal_Altitude78,AltitudePossibleVal_Altitude79,AltitudePossibleVal_Altitude8,AltitudePossibleVal_Altitude80,AltitudePossibleVal_Altitude81,AltitudePossibleVal_Altitude82,AltitudePossibleVal_Altitude83,AltitudePossibleVal_Altitude84,AltitudePossibleVal_Altitude85,AltitudePossibleVal_Altitude86,AltitudePossibleVal_Altitude87,AltitudePossibleVal_Altitude88,AltitudePossibleVal_Altitude89,AltitudePossibleVal_Altitude9,AltitudePossibleVal_Altitude90,AltitudePossibleVal_Altitude91,AltitudePossibleVal_Altitude92,AltitudePossibleVal_Altitude93,AltitudePossibleVal_Altitude94,AltitudePossibleVal_Altitude95,AltitudePossibleVal_Altitude96,AltitudePossibleVal_Altitude97,AltitudePossibleVal_Altitude98,AltitudePossibleVal_Altitude99)
normalized: place_bound(AltitudePossibleVal_Altitude1,AltitudePossibleVal_Altitude10,AltitudePossibleVal_Altitude100,AltitudePossibleVal_Altitude101,AltitudePossibleVal_Altitude102,AltitudePossibleVal_Altitude103,AltitudePossibleVal_Altitude104,AltitudePossibleVal_Altitude105,AltitudePossibleVal_Altitude106,AltitudePossibleVal_Altitude107,AltitudePossibleVal_Altitude108,AltitudePossibleVal_Altitude109,AltitudePossibleVal_Altitude11,AltitudePossibleVal_Altitude110,AltitudePossibleVal_Altitude111,AltitudePossibleVal_Altitude112,AltitudePossibleVal_Altitude113,AltitudePossibleVal_Altitude114,AltitudePossibleVal_Altitude115,AltitudePossibleVal_Altitude116,AltitudePossibleVal_Altitude117,AltitudePossibleVal_Altitude118,AltitudePossibleVal_Altitude119,AltitudePossibleVal_Altitude12,AltitudePossibleVal_Altitude120,AltitudePossibleVal_Altitude121,AltitudePossibleVal_Altitude122,AltitudePossibleVal_Altitude123,AltitudePossibleVal_Altitude124,AltitudePossibleVal_Altitude125,AltitudePossibleVal_Altitude126,AltitudePossibleVal_Altitude127,AltitudePossibleVal_Altitude128,AltitudePossibleVal_Altitude129,AltitudePossibleVal_Altitude13,AltitudePossibleVal_Altitude130,AltitudePossibleVal_Altitude131,AltitudePossibleVal_Altitude132,AltitudePossibleVal_Altitude133,AltitudePossibleVal_Altitude134,AltitudePossibleVal_Altitude135,AltitudePossibleVal_Altitude136,AltitudePossibleVal_Altitude137,AltitudePossibleVal_Altitude138,AltitudePossibleVal_Altitude139,AltitudePossibleVal_Altitude14,AltitudePossibleVal_Altitude140,AltitudePossibleVal_Altitude141,AltitudePossibleVal_Altitude142,AltitudePossibleVal_Altitude143,AltitudePossibleVal_Altitude144,AltitudePossibleVal_Altitude145,AltitudePossibleVal_Altitude146,AltitudePossibleVal_Altitude147,AltitudePossibleVal_Altitude148,AltitudePossibleVal_Altitude149,AltitudePossibleVal_Altitude15,AltitudePossibleVal_Altitude150,AltitudePossibleVal_Altitude151,AltitudePossibleVal_Altitude152,AltitudePossibleVal_Altitude153,AltitudePossibleVal_Altitude154,AltitudePossibleVal_Altitude155,AltitudePossibleVal_Altitude156,AltitudePossibleVal_Altitude157,AltitudePossibleVal_Altitude158,AltitudePossibleVal_Altitude159,AltitudePossibleVal_Altitude16,AltitudePossibleVal_Altitude160,AltitudePossibleVal_Altitude161,AltitudePossibleVal_Altitude162,AltitudePossibleVal_Altitude163,AltitudePossibleVal_Altitude164,AltitudePossibleVal_Altitude165,AltitudePossibleVal_Altitude166,AltitudePossibleVal_Altitude167,AltitudePossibleVal_Altitude168,AltitudePossibleVal_Altitude169,AltitudePossibleVal_Altitude17,AltitudePossibleVal_Altitude170,AltitudePossibleVal_Altitude171,AltitudePossibleVal_Altitude172,AltitudePossibleVal_Altitude173,AltitudePossibleVal_Altitude174,AltitudePossibleVal_Altitude175,AltitudePossibleVal_Altitude176,AltitudePossibleVal_Altitude177,AltitudePossibleVal_Altitude178,AltitudePossibleVal_Altitude179,AltitudePossibleVal_Altitude18,AltitudePossibleVal_Altitude180,AltitudePossibleVal_Altitude181,AltitudePossibleVal_Altitude182,AltitudePossibleVal_Altitude183,AltitudePossibleVal_Altitude184,AltitudePossibleVal_Altitude185,AltitudePossibleVal_Altitude186,AltitudePossibleVal_Altitude187,AltitudePossibleVal_Altitude188,AltitudePossibleVal_Altitude189,AltitudePossibleVal_Altitude19,AltitudePossibleVal_Altitude190,AltitudePossibleVal_Altitude191,AltitudePossibleVal_Altitude192,AltitudePossibleVal_Altitude193,AltitudePossibleVal_Altitude194,AltitudePossibleVal_Altitude195,AltitudePossibleVal_Altitude196,AltitudePossibleVal_Altitude197,AltitudePossibleVal_Altitude198,AltitudePossibleVal_Altitude199,AltitudePossibleVal_Altitude2,AltitudePossibleVal_Altitude20,AltitudePossibleVal_Altitude200,AltitudePossibleVal_Altitude201,AltitudePossibleVal_Altitude202,AltitudePossibleVal_Altitude203,AltitudePossibleVal_Altitude204,AltitudePossibleVal_Altitude205,AltitudePossibleVal_Altitude206,AltitudePossibleVal_Altitude207,AltitudePossibleVal_Altitude208,AltitudePossibleVal_Altitude209,AltitudePossibleVal_Altitude21,AltitudePossibleVal_Altitude210,AltitudePossibleVal_Altitude211,AltitudePossibleVal_Altitude212,AltitudePossibleVal_Altitude213,AltitudePossibleVal_Altitude214,AltitudePossibleVal_Altitude215,AltitudePossibleVal_Altitude216,AltitudePossibleVal_Altitude217,AltitudePossibleVal_Altitude218,AltitudePossibleVal_Altitude219,AltitudePossibleVal_Altitude22,AltitudePossibleVal_Altitude220,AltitudePossibleVal_Altitude221,AltitudePossibleVal_Altitude222,AltitudePossibleVal_Altitude223,AltitudePossibleVal_Altitude224,AltitudePossibleVal_Altitude225,AltitudePossibleVal_Altitude226,AltitudePossibleVal_Altitude227,AltitudePossibleVal_Altitude228,AltitudePossibleVal_Altitude229,AltitudePossibleVal_Altitude23,AltitudePossibleVal_Altitude230,AltitudePossibleVal_Altitude231,AltitudePossibleVal_Altitude232,AltitudePossibleVal_Altitude233,AltitudePossibleVal_Altitude234,AltitudePossibleVal_Altitude235,AltitudePossibleVal_Altitude236,AltitudePossibleVal_Altitude237,AltitudePossibleVal_Altitude238,AltitudePossibleVal_Altitude239,AltitudePossibleVal_Altitude24,AltitudePossibleVal_Altitude240,AltitudePossibleVal_Altitude241,AltitudePossibleVal_Altitude242,AltitudePossibleVal_Altitude243,AltitudePossibleVal_Altitude244,AltitudePossibleVal_Altitude245,AltitudePossibleVal_Altitude246,AltitudePossibleVal_Altitude247,AltitudePossibleVal_Altitude248,AltitudePossibleVal_Altitude249,AltitudePossibleVal_Altitude25,AltitudePossibleVal_Altitude250,AltitudePossibleVal_Altitude251,AltitudePossibleVal_Altitude252,AltitudePossibleVal_Altitude253,AltitudePossibleVal_Altitude254,AltitudePossibleVal_Altitude255,AltitudePossibleVal_Altitude256,AltitudePossibleVal_Altitude257,AltitudePossibleVal_Altitude258,AltitudePossibleVal_Altitude259,AltitudePossibleVal_Altitude26,AltitudePossibleVal_Altitude260,AltitudePossibleVal_Altitude261,AltitudePossibleVal_Altitude262,AltitudePossibleVal_Altitude263,AltitudePossibleVal_Altitude264,AltitudePossibleVal_Altitude265,AltitudePossibleVal_Altitude266,AltitudePossibleVal_Altitude267,AltitudePossibleVal_Altitude268,AltitudePossibleVal_Altitude269,AltitudePossibleVal_Altitude27,AltitudePossibleVal_Altitude270,AltitudePossibleVal_Altitude271,AltitudePossibleVal_Altitude272,AltitudePossibleVal_Altitude273,AltitudePossibleVal_Altitude274,AltitudePossibleVal_Altitude275,AltitudePossibleVal_Altitude276,AltitudePossibleVal_Altitude277,AltitudePossibleVal_Altitude278,AltitudePossibleVal_Altitude279,AltitudePossibleVal_Altitude28,AltitudePossibleVal_Altitude280,AltitudePossibleVal_Altitude281,AltitudePossibleVal_Altitude282,AltitudePossibleVal_Altitude283,AltitudePossibleVal_Altitude284,AltitudePossibleVal_Altitude285,AltitudePossibleVal_Altitude286,AltitudePossibleVal_Altitude287,AltitudePossibleVal_Altitude288,AltitudePossibleVal_Altitude289,AltitudePossibleVal_Altitude29,AltitudePossibleVal_Altitude290,AltitudePossibleVal_Altitude291,AltitudePossibleVal_Altitude292,AltitudePossibleVal_Altitude293,AltitudePossibleVal_Altitude294,AltitudePossibleVal_Altitude295,AltitudePossibleVal_Altitude296,AltitudePossibleVal_Altitude297,AltitudePossibleVal_Altitude298,AltitudePossibleVal_Altitude299,AltitudePossibleVal_Altitude3,AltitudePossibleVal_Altitude30,AltitudePossibleVal_Altitude300,AltitudePossibleVal_Altitude301,AltitudePossibleVal_Altitude302,AltitudePossibleVal_Altitude303,AltitudePossibleVal_Altitude304,AltitudePossibleVal_Altitude305,AltitudePossibleVal_Altitude306,AltitudePossibleVal_Altitude307,AltitudePossibleVal_Altitude308,AltitudePossibleVal_Altitude309,AltitudePossibleVal_Altitude31,AltitudePossibleVal_Altitude310,AltitudePossibleVal_Altitude311,AltitudePossibleVal_Altitude312,AltitudePossibleVal_Altitude313,AltitudePossibleVal_Altitude314,AltitudePossibleVal_Altitude315,AltitudePossibleVal_Altitude316,AltitudePossibleVal_Altitude317,AltitudePossibleVal_Altitude318,AltitudePossibleVal_Altitude319,AltitudePossibleVal_Altitude32,AltitudePossibleVal_Altitude320,AltitudePossibleVal_Altitude321,AltitudePossibleVal_Altitude322,AltitudePossibleVal_Altitude323,AltitudePossibleVal_Altitude324,AltitudePossibleVal_Altitude325,AltitudePossibleVal_Altitude326,AltitudePossibleVal_Altitude327,AltitudePossibleVal_Altitude328,AltitudePossibleVal_Altitude329,AltitudePossibleVal_Altitude33,AltitudePossibleVal_Altitude330,AltitudePossibleVal_Altitude331,AltitudePossibleVal_Altitude332,AltitudePossibleVal_Altitude333,AltitudePossibleVal_Altitude334,AltitudePossibleVal_Altitude335,AltitudePossibleVal_Altitude336,AltitudePossibleVal_Altitude337,AltitudePossibleVal_Altitude338,AltitudePossibleVal_Altitude339,AltitudePossibleVal_Altitude34,AltitudePossibleVal_Altitude340,AltitudePossibleVal_Altitude341,AltitudePossibleVal_Altitude342,AltitudePossibleVal_Altitude343,AltitudePossibleVal_Altitude344,AltitudePossibleVal_Altitude345,AltitudePossibleVal_Altitude346,AltitudePossibleVal_Altitude347,AltitudePossibleVal_Altitude348,AltitudePossibleVal_Altitude349,AltitudePossibleVal_Altitude35,AltitudePossibleVal_Altitude350,AltitudePossibleVal_Altitude351,AltitudePossibleVal_Altitude352,AltitudePossibleVal_Altitude353,AltitudePossibleVal_Altitude354,AltitudePossibleVal_Altitude355,AltitudePossibleVal_Altitude356,AltitudePossibleVal_Altitude357,AltitudePossibleVal_Altitude358,AltitudePossibleVal_Altitude359,AltitudePossibleVal_Altitude36,AltitudePossibleVal_Altitude360,AltitudePossibleVal_Altitude361,AltitudePossibleVal_Altitude362,AltitudePossibleVal_Altitude363,AltitudePossibleVal_Altitude364,AltitudePossibleVal_Altitude365,AltitudePossibleVal_Altitude366,AltitudePossibleVal_Altitude367,AltitudePossibleVal_Altitude368,AltitudePossibleVal_Altitude369,AltitudePossibleVal_Altitude37,AltitudePossibleVal_Altitude370,AltitudePossibleVal_Altitude371,AltitudePossibleVal_Altitude372,AltitudePossibleVal_Altitude373,AltitudePossibleVal_Altitude374,AltitudePossibleVal_Altitude375,AltitudePossibleVal_Altitude376,AltitudePossibleVal_Altitude377,AltitudePossibleVal_Altitude378,AltitudePossibleVal_Altitude379,AltitudePossibleVal_Altitude38,AltitudePossibleVal_Altitude380,AltitudePossibleVal_Altitude381,AltitudePossibleVal_Altitude382,AltitudePossibleVal_Altitude383,AltitudePossibleVal_Altitude384,AltitudePossibleVal_Altitude385,AltitudePossibleVal_Altitude386,AltitudePossibleVal_Altitude387,AltitudePossibleVal_Altitude388,AltitudePossibleVal_Altitude389,AltitudePossibleVal_Altitude39,AltitudePossibleVal_Altitude390,AltitudePossibleVal_Altitude391,AltitudePossibleVal_Altitude392,AltitudePossibleVal_Altitude393,AltitudePossibleVal_Altitude394,AltitudePossibleVal_Altitude395,AltitudePossibleVal_Altitude396,AltitudePossibleVal_Altitude397,AltitudePossibleVal_Altitude398,AltitudePossibleVal_Altitude399,AltitudePossibleVal_Altitude4,AltitudePossibleVal_Altitude40,AltitudePossibleVal_Altitude400,AltitudePossibleVal_Altitude41,AltitudePossibleVal_Altitude42,AltitudePossibleVal_Altitude43,AltitudePossibleVal_Altitude44,AltitudePossibleVal_Altitude45,AltitudePossibleVal_Altitude46,AltitudePossibleVal_Altitude47,AltitudePossibleVal_Altitude48,AltitudePossibleVal_Altitude49,AltitudePossibleVal_Altitude5,AltitudePossibleVal_Altitude50,AltitudePossibleVal_Altitude51,AltitudePossibleVal_Altitude52,AltitudePossibleVal_Altitude53,AltitudePossibleVal_Altitude54,AltitudePossibleVal_Altitude55,AltitudePossibleVal_Altitude56,AltitudePossibleVal_Altitude57,AltitudePossibleVal_Altitude58,AltitudePossibleVal_Altitude59,AltitudePossibleVal_Altitude6,AltitudePossibleVal_Altitude60,AltitudePossibleVal_Altitude61,AltitudePossibleVal_Altitude62,AltitudePossibleVal_Altitude63,AltitudePossibleVal_Altitude64,AltitudePossibleVal_Altitude65,AltitudePossibleVal_Altitude66,AltitudePossibleVal_Altitude67,AltitudePossibleVal_Altitude68,AltitudePossibleVal_Altitude69,AltitudePossibleVal_Altitude7,AltitudePossibleVal_Altitude70,AltitudePossibleVal_Altitude71,AltitudePossibleVal_Altitude72,AltitudePossibleVal_Altitude73,AltitudePossibleVal_Altitude74,AltitudePossibleVal_Altitude75,AltitudePossibleVal_Altitude76,AltitudePossibleVal_Altitude77,AltitudePossibleVal_Altitude78,AltitudePossibleVal_Altitude79,AltitudePossibleVal_Altitude8,AltitudePossibleVal_Altitude80,AltitudePossibleVal_Altitude81,AltitudePossibleVal_Altitude82,AltitudePossibleVal_Altitude83,AltitudePossibleVal_Altitude84,AltitudePossibleVal_Altitude85,AltitudePossibleVal_Altitude86,AltitudePossibleVal_Altitude87,AltitudePossibleVal_Altitude88,AltitudePossibleVal_Altitude89,AltitudePossibleVal_Altitude9,AltitudePossibleVal_Altitude90,AltitudePossibleVal_Altitude91,AltitudePossibleVal_Altitude92,AltitudePossibleVal_Altitude93,AltitudePossibleVal_Altitude94,AltitudePossibleVal_Altitude95,AltitudePossibleVal_Altitude96,AltitudePossibleVal_Altitude97,AltitudePossibleVal_Altitude98,AltitudePossibleVal_Altitude99)

-> the formula is 400

FORMULA AirplaneLD-COL-0200-UpperBounds-00 400 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.001sec

checking: place_bound(TheAltitude_Altitude1,TheAltitude_Altitude10,TheAltitude_Altitude100,TheAltitude_Altitude101,TheAltitude_Altitude102,TheAltitude_Altitude103,TheAltitude_Altitude104,TheAltitude_Altitude105,TheAltitude_Altitude106,TheAltitude_Altitude107,TheAltitude_Altitude108,TheAltitude_Altitude109,TheAltitude_Altitude11,TheAltitude_Altitude110,TheAltitude_Altitude111,TheAltitude_Altitude112,TheAltitude_Altitude113,TheAltitude_Altitude114,TheAltitude_Altitude115,TheAltitude_Altitude116,TheAltitude_Altitude117,TheAltitude_Altitude118,TheAltitude_Altitude119,TheAltitude_Altitude12,TheAltitude_Altitude120,TheAltitude_Altitude121,TheAltitude_Altitude122,TheAltitude_Altitude123,TheAltitude_Altitude124,TheAltitude_Altitude125,TheAltitude_Altitude126,TheAltitude_Altitude127,TheAltitude_Altitude128,TheAltitude_Altitude129,TheAltitude_Altitude13,TheAltitude_Altitude130,TheAltitude_Altitude131,TheAltitude_Altitude132,TheAltitude_Altitude133,TheAltitude_Altitude134,TheAltitude_Altitude135,TheAltitude_Altitude136,TheAltitude_Altitude137,TheAltitude_Altitude138,TheAltitude_Altitude139,TheAltitude_Altitude14,TheAltitude_Altitude140,TheAltitude_Altitude141,TheAltitude_Altitude142,TheAltitude_Altitude143,TheAltitude_Altitude144,TheAltitude_Altitude145,TheAltitude_Altitude146,TheAltitude_Altitude147,TheAltitude_Altitude148,TheAltitude_Altitude149,TheAltitude_Altitude15,TheAltitude_Altitude150,TheAltitude_Altitude151,TheAltitude_Altitude152,TheAltitude_Altitude153,TheAltitude_Altitude154,TheAltitude_Altitude155,TheAltitude_Altitude156,TheAltitude_Altitude157,TheAltitude_Altitude158,TheAltitude_Altitude159,TheAltitude_Altitude16,TheAltitude_Altitude160,TheAltitude_Altitude161,TheAltitude_Altitude162,TheAltitude_Altitude163,TheAltitude_Altitude164,TheAltitude_Altitude165,TheAltitude_Altitude166,TheAltitude_Altitude167,TheAltitude_Altitude168,TheAltitude_Altitude169,TheAltitude_Altitude17,TheAltitude_Altitude170,TheAltitude_Altitude171,TheAltitude_Altitude172,TheAltitude_Altitude173,TheAltitude_Altitude174,TheAltitude_Altitude175,TheAltitude_Altitude176,TheAltitude_Altitude177,TheAltitude_Altitude178,TheAltitude_Altitude179,TheAltitude_Altitude18,TheAltitude_Altitude180,TheAltitude_Altitude181,TheAltitude_Altitude182,TheAltitude_Altitude183,TheAltitude_Altitude184,TheAltitude_Altitude185,TheAltitude_Altitude186,TheAltitude_Altitude187,TheAltitude_Altitude188,TheAltitude_Altitude189,TheAltitude_Altitude19,TheAltitude_Altitude190,TheAltitude_Altitude191,TheAltitude_Altitude192,TheAltitude_Altitude193,TheAltitude_Altitude194,TheAltitude_Altitude195,TheAltitude_Altitude196,TheAltitude_Altitude197,TheAltitude_Altitude198,TheAltitude_Altitude199,TheAltitude_Altitude2,TheAltitude_Altitude20,TheAltitude_Altitude200,TheAltitude_Altitude201,TheAltitude_Altitude202,TheAltitude_Altitude203,TheAltitude_Altitude204,TheAltitude_Altitude205,TheAltitude_Altitude206,TheAltitude_Altitude207,TheAltitude_Altitude208,TheAltitude_Altitude209,TheAltitude_Altitude21,TheAltitude_Altitude210,TheAltitude_Altitude211,TheAltitude_Altitude212,TheAltitude_Altitude213,TheAltitude_Altitude214,TheAltitude_Altitude215,TheAltitude_Altitude216,TheAltitude_Altitude217,TheAltitude_Altitude218,TheAltitude_Altitude219,TheAltitude_Altitude22,TheAltitude_Altitude220,TheAltitude_Altitude221,TheAltitude_Altitude222,TheAltitude_Altitude223,TheAltitude_Altitude224,TheAltitude_Altitude225,TheAltitude_Altitude226,TheAltitude_Altitude227,TheAltitude_Altitude228,TheAltitude_Altitude229,TheAltitude_Altitude23,TheAltitude_Altitude230,TheAltitude_Altitude231,TheAltitude_Altitude232,TheAltitude_Altitude233,TheAltitude_Altitude234,TheAltitude_Altitude235,TheAltitude_Altitude236,TheAltitude_Altitude237,TheAltitude_Altitude238,TheAltitude_Altitude239,TheAltitude_Altitude24,TheAltitude_Altitude240,TheAltitude_Altitude241,TheAltitude_Altitude242,TheAltitude_Altitude243,TheAltitude_Altitude244,TheAltitude_Altitude245,TheAltitude_Altitude246,TheAltitude_Altitude247,TheAltitude_Altitude248,TheAltitude_Altitude249,TheAltitude_Altitude25,TheAltitude_Altitude250,TheAltitude_Altitude251,TheAltitude_Altitude252,TheAltitude_Altitude253,TheAltitude_Altitude254,TheAltitude_Altitude255,TheAltitude_Altitude256,TheAltitude_Altitude257,TheAltitude_Altitude258,TheAltitude_Altitude259,TheAltitude_Altitude26,TheAltitude_Altitude260,TheAltitude_Altitude261,TheAltitude_Altitude262,TheAltitude_Altitude263,TheAltitude_Altitude264,TheAltitude_Altitude265,TheAltitude_Altitude266,TheAltitude_Altitude267,TheAltitude_Altitude268,TheAltitude_Altitude269,TheAltitude_Altitude27,TheAltitude_Altitude270,TheAltitude_Altitude271,TheAltitude_Altitude272,TheAltitude_Altitude273,TheAltitude_Altitude274,TheAltitude_Altitude275,TheAltitude_Altitude276,TheAltitude_Altitude277,TheAltitude_Altitude278,TheAltitude_Altitude279,TheAltitude_Altitude28,TheAltitude_Altitude280,TheAltitude_Altitude281,TheAltitude_Altitude282,TheAltitude_Altitude283,TheAltitude_Altitude284,TheAltitude_Altitude285,TheAltitude_Altitude286,TheAltitude_Altitude287,TheAltitude_Altitude288,TheAltitude_Altitude289,TheAltitude_Altitude29,TheAltitude_Altitude290,TheAltitude_Altitude291,TheAltitude_Altitude292,TheAltitude_Altitude293,TheAltitude_Altitude294,TheAltitude_Altitude295,TheAltitude_Altitude296,TheAltitude_Altitude297,TheAltitude_Altitude298,TheAltitude_Altitude299,TheAltitude_Altitude3,TheAltitude_Altitude30,TheAltitude_Altitude300,TheAltitude_Altitude301,TheAltitude_Altitude302,TheAltitude_Altitude303,TheAltitude_Altitude304,TheAltitude_Altitude305,TheAltitude_Altitude306,TheAltitude_Altitude307,TheAltitude_Altitude308,TheAltitude_Altitude309,TheAltitude_Altitude31,TheAltitude_Altitude310,TheAltitude_Altitude311,TheAltitude_Altitude312,TheAltitude_Altitude313,TheAltitude_Altitude314,TheAltitude_Altitude315,TheAltitude_Altitude316,TheAltitude_Altitude317,TheAltitude_Altitude318,TheAltitude_Altitude319,TheAltitude_Altitude32,TheAltitude_Altitude320,TheAltitude_Altitude321,TheAltitude_Altitude322,TheAltitude_Altitude323,TheAltitude_Altitude324,TheAltitude_Altitude325,TheAltitude_Altitude326,TheAltitude_Altitude327,TheAltitude_Altitude328,TheAltitude_Altitude329,TheAltitude_Altitude33,TheAltitude_Altitude330,TheAltitude_Altitude331,TheAltitude_Altitude332,TheAltitude_Altitude333,TheAltitude_Altitude334,TheAltitude_Altitude335,TheAltitude_Altitude336,TheAltitude_Altitude337,TheAltitude_Altitude338,TheAltitude_Altitude339,TheAltitude_Altitude34,TheAltitude_Altitude340,TheAltitude_Altitude341,TheAltitude_Altitude342,TheAltitude_Altitude343,TheAltitude_Altitude344,TheAltitude_Altitude345,TheAltitude_Altitude346,TheAltitude_Altitude347,TheAltitude_Altitude348,TheAltitude_Altitude349,TheAltitude_Altitude35,TheAltitude_Altitude350,TheAltitude_Altitude351,TheAltitude_Altitude352,TheAltitude_Altitude353,TheAltitude_Altitude354,TheAltitude_Altitude355,TheAltitude_Altitude356,TheAltitude_Altitude357,TheAltitude_Altitude358,TheAltitude_Altitude359,TheAltitude_Altitude36,TheAltitude_Altitude360,TheAltitude_Altitude361,TheAltitude_Altitude362,TheAltitude_Altitude363,TheAltitude_Altitude364,TheAltitude_Altitude365,TheAltitude_Altitude366,TheAltitude_Altitude367,TheAltitude_Altitude368,TheAltitude_Altitude369,TheAltitude_Altitude37,TheAltitude_Altitude370,TheAltitude_Altitude371,TheAltitude_Altitude372,TheAltitude_Altitude373,TheAltitude_Altitude374,TheAltitude_Altitude375,TheAltitude_Altitude376,TheAltitude_Altitude377,TheAltitude_Altitude378,TheAltitude_Altitude379,TheAltitude_Altitude38,TheAltitude_Altitude380,TheAltitude_Altitude381,TheAltitude_Altitude382,TheAltitude_Altitude383,TheAltitude_Altitude384,TheAltitude_Altitude385,TheAltitude_Altitude386,TheAltitude_Altitude387,TheAltitude_Altitude388,TheAltitude_Altitude389,TheAltitude_Altitude39,TheAltitude_Altitude390,TheAltitude_Altitude391,TheAltitude_Altitude392,TheAltitude_Altitude393,TheAltitude_Altitude394,TheAltitude_Altitude395,TheAltitude_Altitude396,TheAltitude_Altitude397,TheAltitude_Altitude398,TheAltitude_Altitude399,TheAltitude_Altitude4,TheAltitude_Altitude40,TheAltitude_Altitude400,TheAltitude_Altitude41,TheAltitude_Altitude42,TheAltitude_Altitude43,TheAltitude_Altitude44,TheAltitude_Altitude45,TheAltitude_Altitude46,TheAltitude_Altitude47,TheAltitude_Altitude48,TheAltitude_Altitude49,TheAltitude_Altitude5,TheAltitude_Altitude50,TheAltitude_Altitude51,TheAltitude_Altitude52,TheAltitude_Altitude53,TheAltitude_Altitude54,TheAltitude_Altitude55,TheAltitude_Altitude56,TheAltitude_Altitude57,TheAltitude_Altitude58,TheAltitude_Altitude59,TheAltitude_Altitude6,TheAltitude_Altitude60,TheAltitude_Altitude61,TheAltitude_Altitude62,TheAltitude_Altitude63,TheAltitude_Altitude64,TheAltitude_Altitude65,TheAltitude_Altitude66,TheAltitude_Altitude67,TheAltitude_Altitude68,TheAltitude_Altitude69,TheAltitude_Altitude7,TheAltitude_Altitude70,TheAltitude_Altitude71,TheAltitude_Altitude72,TheAltitude_Altitude73,TheAltitude_Altitude74,TheAltitude_Altitude75,TheAltitude_Altitude76,TheAltitude_Altitude77,TheAltitude_Altitude78,TheAltitude_Altitude79,TheAltitude_Altitude8,TheAltitude_Altitude80,TheAltitude_Altitude81,TheAltitude_Altitude82,TheAltitude_Altitude83,TheAltitude_Altitude84,TheAltitude_Altitude85,TheAltitude_Altitude86,TheAltitude_Altitude87,TheAltitude_Altitude88,TheAltitude_Altitude89,TheAltitude_Altitude9,TheAltitude_Altitude90,TheAltitude_Altitude91,TheAltitude_Altitude92,TheAltitude_Altitude93,TheAltitude_Altitude94,TheAltitude_Altitude95,TheAltitude_Altitude96,TheAltitude_Altitude97,TheAltitude_Altitude98,TheAltitude_Altitude99)
normalized: place_bound(TheAltitude_Altitude1,TheAltitude_Altitude10,TheAltitude_Altitude100,TheAltitude_Altitude101,TheAltitude_Altitude102,TheAltitude_Altitude103,TheAltitude_Altitude104,TheAltitude_Altitude105,TheAltitude_Altitude106,TheAltitude_Altitude107,TheAltitude_Altitude108,TheAltitude_Altitude109,TheAltitude_Altitude11,TheAltitude_Altitude110,TheAltitude_Altitude111,TheAltitude_Altitude112,TheAltitude_Altitude113,TheAltitude_Altitude114,TheAltitude_Altitude115,TheAltitude_Altitude116,TheAltitude_Altitude117,TheAltitude_Altitude118,TheAltitude_Altitude119,TheAltitude_Altitude12,TheAltitude_Altitude120,TheAltitude_Altitude121,TheAltitude_Altitude122,TheAltitude_Altitude123,TheAltitude_Altitude124,TheAltitude_Altitude125,TheAltitude_Altitude126,TheAltitude_Altitude127,TheAltitude_Altitude128,TheAltitude_Altitude129,TheAltitude_Altitude13,TheAltitude_Altitude130,TheAltitude_Altitude131,TheAltitude_Altitude132,TheAltitude_Altitude133,TheAltitude_Altitude134,TheAltitude_Altitude135,TheAltitude_Altitude136,TheAltitude_Altitude137,TheAltitude_Altitude138,TheAltitude_Altitude139,TheAltitude_Altitude14,TheAltitude_Altitude140,TheAltitude_Altitude141,TheAltitude_Altitude142,TheAltitude_Altitude143,TheAltitude_Altitude144,TheAltitude_Altitude145,TheAltitude_Altitude146,TheAltitude_Altitude147,TheAltitude_Altitude148,TheAltitude_Altitude149,TheAltitude_Altitude15,TheAltitude_Altitude150,TheAltitude_Altitude151,TheAltitude_Altitude152,TheAltitude_Altitude153,TheAltitude_Altitude154,TheAltitude_Altitude155,TheAltitude_Altitude156,TheAltitude_Altitude157,TheAltitude_Altitude158,TheAltitude_Altitude159,TheAltitude_Altitude16,TheAltitude_Altitude160,TheAltitude_Altitude161,TheAltitude_Altitude162,TheAltitude_Altitude163,TheAltitude_Altitude164,TheAltitude_Altitude165,TheAltitude_Altitude166,TheAltitude_Altitude167,TheAltitude_Altitude168,TheAltitude_Altitude169,TheAltitude_Altitude17,TheAltitude_Altitude170,TheAltitude_Altitude171,TheAltitude_Altitude172,TheAltitude_Altitude173,TheAltitude_Altitude174,TheAltitude_Altitude175,TheAltitude_Altitude176,TheAltitude_Altitude177,TheAltitude_Altitude178,TheAltitude_Altitude179,TheAltitude_Altitude18,TheAltitude_Altitude180,TheAltitude_Altitude181,TheAltitude_Altitude182,TheAltitude_Altitude183,TheAltitude_Altitude184,TheAltitude_Altitude185,TheAltitude_Altitude186,TheAltitude_Altitude187,TheAltitude_Altitude188,TheAltitude_Altitude189,TheAltitude_Altitude19,TheAltitude_Altitude190,TheAltitude_Altitude191,TheAltitude_Altitude192,TheAltitude_Altitude193,TheAltitude_Altitude194,TheAltitude_Altitude195,TheAltitude_Altitude196,TheAltitude_Altitude197,TheAltitude_Altitude198,TheAltitude_Altitude199,TheAltitude_Altitude2,TheAltitude_Altitude20,TheAltitude_Altitude200,TheAltitude_Altitude201,TheAltitude_Altitude202,TheAltitude_Altitude203,TheAltitude_Altitude204,TheAltitude_Altitude205,TheAltitude_Altitude206,TheAltitude_Altitude207,TheAltitude_Altitude208,TheAltitude_Altitude209,TheAltitude_Altitude21,TheAltitude_Altitude210,TheAltitude_Altitude211,TheAltitude_Altitude212,TheAltitude_Altitude213,TheAltitude_Altitude214,TheAltitude_Altitude215,TheAltitude_Altitude216,TheAltitude_Altitude217,TheAltitude_Altitude218,TheAltitude_Altitude219,TheAltitude_Altitude22,TheAltitude_Altitude220,TheAltitude_Altitude221,TheAltitude_Altitude222,TheAltitude_Altitude223,TheAltitude_Altitude224,TheAltitude_Altitude225,TheAltitude_Altitude226,TheAltitude_Altitude227,TheAltitude_Altitude228,TheAltitude_Altitude229,TheAltitude_Altitude23,TheAltitude_Altitude230,TheAltitude_Altitude231,TheAltitude_Altitude232,TheAltitude_Altitude233,TheAltitude_Altitude234,TheAltitude_Altitude235,TheAltitude_Altitude236,TheAltitude_Altitude237,TheAltitude_Altitude238,TheAltitude_Altitude239,TheAltitude_Altitude24,TheAltitude_Altitude240,TheAltitude_Altitude241,TheAltitude_Altitude242,TheAltitude_Altitude243,TheAltitude_Altitude244,TheAltitude_Altitude245,TheAltitude_Altitude246,TheAltitude_Altitude247,TheAltitude_Altitude248,TheAltitude_Altitude249,TheAltitude_Altitude25,TheAltitude_Altitude250,TheAltitude_Altitude251,TheAltitude_Altitude252,TheAltitude_Altitude253,TheAltitude_Altitude254,TheAltitude_Altitude255,TheAltitude_Altitude256,TheAltitude_Altitude257,TheAltitude_Altitude258,TheAltitude_Altitude259,TheAltitude_Altitude26,TheAltitude_Altitude260,TheAltitude_Altitude261,TheAltitude_Altitude262,TheAltitude_Altitude263,TheAltitude_Altitude264,TheAltitude_Altitude265,TheAltitude_Altitude266,TheAltitude_Altitude267,TheAltitude_Altitude268,TheAltitude_Altitude269,TheAltitude_Altitude27,TheAltitude_Altitude270,TheAltitude_Altitude271,TheAltitude_Altitude272,TheAltitude_Altitude273,TheAltitude_Altitude274,TheAltitude_Altitude275,TheAltitude_Altitude276,TheAltitude_Altitude277,TheAltitude_Altitude278,TheAltitude_Altitude279,TheAltitude_Altitude28,TheAltitude_Altitude280,TheAltitude_Altitude281,TheAltitude_Altitude282,TheAltitude_Altitude283,TheAltitude_Altitude284,TheAltitude_Altitude285,TheAltitude_Altitude286,TheAltitude_Altitude287,TheAltitude_Altitude288,TheAltitude_Altitude289,TheAltitude_Altitude29,TheAltitude_Altitude290,TheAltitude_Altitude291,TheAltitude_Altitude292,TheAltitude_Altitude293,TheAltitude_Altitude294,TheAltitude_Altitude295,TheAltitude_Altitude296,TheAltitude_Altitude297,TheAltitude_Altitude298,TheAltitude_Altitude299,TheAltitude_Altitude3,TheAltitude_Altitude30,TheAltitude_Altitude300,TheAltitude_Altitude301,TheAltitude_Altitude302,TheAltitude_Altitude303,TheAltitude_Altitude304,TheAltitude_Altitude305,TheAltitude_Altitude306,TheAltitude_Altitude307,TheAltitude_Altitude308,TheAltitude_Altitude309,TheAltitude_Altitude31,TheAltitude_Altitude310,TheAltitude_Altitude311,TheAltitude_Altitude312,TheAltitude_Altitude313,TheAltitude_Altitude314,TheAltitude_Altitude315,TheAltitude_Altitude316,TheAltitude_Altitude317,TheAltitude_Altitude318,TheAltitude_Altitude319,TheAltitude_Altitude32,TheAltitude_Altitude320,TheAltitude_Altitude321,TheAltitude_Altitude322,TheAltitude_Altitude323,TheAltitude_Altitude324,TheAltitude_Altitude325,TheAltitude_Altitude326,TheAltitude_Altitude327,TheAltitude_Altitude328,TheAltitude_Altitude329,TheAltitude_Altitude33,TheAltitude_Altitude330,TheAltitude_Altitude331,TheAltitude_Altitude332,TheAltitude_Altitude333,TheAltitude_Altitude334,TheAltitude_Altitude335,TheAltitude_Altitude336,TheAltitude_Altitude337,TheAltitude_Altitude338,TheAltitude_Altitude339,TheAltitude_Altitude34,TheAltitude_Altitude340,TheAltitude_Altitude341,TheAltitude_Altitude342,TheAltitude_Altitude343,TheAltitude_Altitude344,TheAltitude_Altitude345,TheAltitude_Altitude346,TheAltitude_Altitude347,TheAltitude_Altitude348,TheAltitude_Altitude349,TheAltitude_Altitude35,TheAltitude_Altitude350,TheAltitude_Altitude351,TheAltitude_Altitude352,TheAltitude_Altitude353,TheAltitude_Altitude354,TheAltitude_Altitude355,TheAltitude_Altitude356,TheAltitude_Altitude357,TheAltitude_Altitude358,TheAltitude_Altitude359,TheAltitude_Altitude36,TheAltitude_Altitude360,TheAltitude_Altitude361,TheAltitude_Altitude362,TheAltitude_Altitude363,TheAltitude_Altitude364,TheAltitude_Altitude365,TheAltitude_Altitude366,TheAltitude_Altitude367,TheAltitude_Altitude368,TheAltitude_Altitude369,TheAltitude_Altitude37,TheAltitude_Altitude370,TheAltitude_Altitude371,TheAltitude_Altitude372,TheAltitude_Altitude373,TheAltitude_Altitude374,TheAltitude_Altitude375,TheAltitude_Altitude376,TheAltitude_Altitude377,TheAltitude_Altitude378,TheAltitude_Altitude379,TheAltitude_Altitude38,TheAltitude_Altitude380,TheAltitude_Altitude381,TheAltitude_Altitude382,TheAltitude_Altitude383,TheAltitude_Altitude384,TheAltitude_Altitude385,TheAltitude_Altitude386,TheAltitude_Altitude387,TheAltitude_Altitude388,TheAltitude_Altitude389,TheAltitude_Altitude39,TheAltitude_Altitude390,TheAltitude_Altitude391,TheAltitude_Altitude392,TheAltitude_Altitude393,TheAltitude_Altitude394,TheAltitude_Altitude395,TheAltitude_Altitude396,TheAltitude_Altitude397,TheAltitude_Altitude398,TheAltitude_Altitude399,TheAltitude_Altitude4,TheAltitude_Altitude40,TheAltitude_Altitude400,TheAltitude_Altitude41,TheAltitude_Altitude42,TheAltitude_Altitude43,TheAltitude_Altitude44,TheAltitude_Altitude45,TheAltitude_Altitude46,TheAltitude_Altitude47,TheAltitude_Altitude48,TheAltitude_Altitude49,TheAltitude_Altitude5,TheAltitude_Altitude50,TheAltitude_Altitude51,TheAltitude_Altitude52,TheAltitude_Altitude53,TheAltitude_Altitude54,TheAltitude_Altitude55,TheAltitude_Altitude56,TheAltitude_Altitude57,TheAltitude_Altitude58,TheAltitude_Altitude59,TheAltitude_Altitude6,TheAltitude_Altitude60,TheAltitude_Altitude61,TheAltitude_Altitude62,TheAltitude_Altitude63,TheAltitude_Altitude64,TheAltitude_Altitude65,TheAltitude_Altitude66,TheAltitude_Altitude67,TheAltitude_Altitude68,TheAltitude_Altitude69,TheAltitude_Altitude7,TheAltitude_Altitude70,TheAltitude_Altitude71,TheAltitude_Altitude72,TheAltitude_Altitude73,TheAltitude_Altitude74,TheAltitude_Altitude75,TheAltitude_Altitude76,TheAltitude_Altitude77,TheAltitude_Altitude78,TheAltitude_Altitude79,TheAltitude_Altitude8,TheAltitude_Altitude80,TheAltitude_Altitude81,TheAltitude_Altitude82,TheAltitude_Altitude83,TheAltitude_Altitude84,TheAltitude_Altitude85,TheAltitude_Altitude86,TheAltitude_Altitude87,TheAltitude_Altitude88,TheAltitude_Altitude89,TheAltitude_Altitude9,TheAltitude_Altitude90,TheAltitude_Altitude91,TheAltitude_Altitude92,TheAltitude_Altitude93,TheAltitude_Altitude94,TheAltitude_Altitude95,TheAltitude_Altitude96,TheAltitude_Altitude97,TheAltitude_Altitude98,TheAltitude_Altitude99)

-> the formula is 1

FORMULA AirplaneLD-COL-0200-UpperBounds-14 1 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS UNFOLDING_TO_PT

MC time: 0m 0.001sec

totally nodes used: 1364260 (1.4e+06)
number of garbage collections: 0
fire ops cache: hits/miss/sum: 11446746 88694772 100141518
used/not used/entry size/cache size: 49368387 17740477 16 1024MB
basic ops cache: hits/miss/sum: 9392 1024986 1034378
used/not used/entry size/cache size: 2685683 14091533 12 192MB
unary ops cache: hits/miss/sum: 0 0 0
used/not used/entry size/cache size: 0 16777216 8 128MB
abstract ops cache: hits/miss/sum: 0 0 0
used/not used/entry size/cache size: 0 16777216 12 192MB
state nr cache: hits/miss/sum: 11269 23602 34871
used/not used/entry size/cache size: 23584 8365024 32 256MB
max state cache: hits/miss/sum: 90152 188816 278968
used/not used/entry size/cache size: 23584 8365024 32 256MB
uniqueHash elements/entry size/size: 67108864 4 256MB
0 65832370
1 1191928
2 81444
3 3106
4 16
5 0
6 0
7 0
8 0
9 0
>= 10 0

Total processing time: 0m25.428sec


BK_STOP 1678387917524

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

check for maximal unmarked siphon
ok
check for constant places
AltitudePossibleVal_Altitude1
AltitudePossibleVal_Altitude2
AltitudePossibleVal_Altitude3
AltitudePossibleVal_Altitude4
AltitudePossibleVal_Altitude5
AltitudePossibleVal_Altitude6
AltitudePossibleVal_Altitude7
AltitudePossibleVal_Altitude8
AltitudePossibleVal_Altitude9
AltitudePossibleVal_Altitude10
AltitudePossibleVal_Altitude11
AltitudePossibleVal_Altitude12
AltitudePossibleVal_Altitude13
AltitudePossibleVal_Altitude14
AltitudePossibleVal_Altitude15
AltitudePossibleVal_Altitude16
AltitudePossibleVal_Altitude17
AltitudePossibleVal_Altitude18
AltitudePossibleVal_Altitude19
AltitudePossibleVal_Altitude20
AltitudePossibleVal_Altitude21
AltitudePossibleVal_Altitude22
AltitudePossibleVal_Altitude23
AltitudePossibleVal_Altitude24
AltitudePossibleVal_Altitude25
AltitudePossibleVal_Altitude26
AltitudePossibleVal_Altitude27
AltitudePossibleVal_Altitude28
AltitudePossibleVal_Altitude29
AltitudePossibleVal_Altitude30
AltitudePossibleVal_Altitude31
AltitudePossibleVal_Altitude32
AltitudePossibleVal_Altitude33
AltitudePossibleVal_Altitude34
AltitudePossibleVal_Altitude35
AltitudePossibleVal_Altitude36
AltitudePossibleVal_Altitude37
AltitudePossibleVal_Altitude38
AltitudePossibleVal_Altitude39
AltitudePossibleVal_Altitude40
AltitudePossibleVal_Altitude41
AltitudePossibleVal_Altitude42
AltitudePossibleVal_Altitude43
AltitudePossibleVal_Altitude44
AltitudePossibleVal_Altitude45
AltitudePossibleVal_Altitude46
AltitudePossibleVal_Altitude47
AltitudePossibleVal_Altitude48
AltitudePossibleVal_Altitude49
AltitudePossibleVal_Altitude50
AltitudePossibleVal_Altitude51
AltitudePossibleVal_Altitude52
AltitudePossibleVal_Altitude53
AltitudePossibleVal_Altitude54
AltitudePossibleVal_Altitude55
AltitudePossibleVal_Altitude56
AltitudePossibleVal_Altitude57
AltitudePossibleVal_Altitude58
AltitudePossibleVal_Altitude59
AltitudePossibleVal_Altitude60
AltitudePossibleVal_Altitude61
AltitudePossibleVal_Altitude62
AltitudePossibleVal_Altitude63
AltitudePossibleVal_Altitude64
AltitudePossibleVal_Altitude65
AltitudePossibleVal_Altitude66
AltitudePossibleVal_Altitude67
AltitudePossibleVal_Altitude68
AltitudePossibleVal_Altitude69
AltitudePossibleVal_Altitude70
AltitudePossibleVal_Altitude71
AltitudePossibleVal_Altitude72
AltitudePossibleVal_Altitude73
AltitudePossibleVal_Altitude74
AltitudePossibleVal_Altitude75
AltitudePossibleVal_Altitude76
AltitudePossibleVal_Altitude77
AltitudePossibleVal_Altitude78
AltitudePossibleVal_Altitude79
AltitudePossibleVal_Altitude80
AltitudePossibleVal_Altitude81
AltitudePossibleVal_Altitude82
AltitudePossibleVal_Altitude83
AltitudePossibleVal_Altitude84
AltitudePossibleVal_Altitude85
AltitudePossibleVal_Altitude86
AltitudePossibleVal_Altitude87
AltitudePossibleVal_Altitude88
AltitudePossibleVal_Altitude89
AltitudePossibleVal_Altitude90
AltitudePossibleVal_Altitude91
AltitudePossibleVal_Altitude92
AltitudePossibleVal_Altitude93
AltitudePossibleVal_Altitude94
AltitudePossibleVal_Altitude95
AltitudePossibleVal_Altitude96
AltitudePossibleVal_Altitude97
AltitudePossibleVal_Altitude98
AltitudePossibleVal_Altitude99
AltitudePossibleVal_Altitude100
AltitudePossibleVal_Altitude101
AltitudePossibleVal_Altitude102
AltitudePossibleVal_Altitude103
AltitudePossibleVal_Altitude104
AltitudePossibleVal_Altitude105
AltitudePossibleVal_Altitude106
AltitudePossibleVal_Altitude107
AltitudePossibleVal_Altitude108
AltitudePossibleVal_Altitude109
AltitudePossibleVal_Altitude110
AltitudePossibleVal_Altitude111
AltitudePossibleVal_Altitude112
AltitudePossibleVal_Altitude113
AltitudePossibleVal_Altitude114
AltitudePossibleVal_Altitude115
AltitudePossibleVal_Altitude116
AltitudePossibleVal_Altitude117
AltitudePossibleVal_Altitude118
AltitudePossibleVal_Altitude119
AltitudePossibleVal_Altitude120
AltitudePossibleVal_Altitude121
AltitudePossibleVal_Altitude122
AltitudePossibleVal_Altitude123
AltitudePossibleVal_Altitude124
AltitudePossibleVal_Altitude125
AltitudePossibleVal_Altitude126
AltitudePossibleVal_Altitude127
AltitudePossibleVal_Altitude128
AltitudePossibleVal_Altitude129
AltitudePossibleVal_Altitude130
AltitudePossibleVal_Altitude131
AltitudePossibleVal_Altitude132
AltitudePossibleVal_Altitude133
AltitudePossibleVal_Altitude134
AltitudePossibleVal_Altitude135
AltitudePossibleVal_Altitude136
AltitudePossibleVal_Altitude137
AltitudePossibleVal_Altitude138
AltitudePossibleVal_Altitude139
AltitudePossibleVal_Altitude140
AltitudePossibleVal_Altitude141
AltitudePossibleVal_Altitude142
AltitudePossibleVal_Altitude143
AltitudePossibleVal_Altitude144
AltitudePossibleVal_Altitude145
AltitudePossibleVal_Altitude146
AltitudePossibleVal_Altitude147
AltitudePossibleVal_Altitude148
AltitudePossibleVal_Altitude149
AltitudePossibleVal_Altitude150
AltitudePossibleVal_Altitude151
AltitudePossibleVal_Altitude152
AltitudePossibleVal_Altitude153
AltitudePossibleVal_Altitude154
AltitudePossibleVal_Altitude155
AltitudePossibleVal_Altitude156
AltitudePossibleVal_Altitude157
AltitudePossibleVal_Altitude158
AltitudePossibleVal_Altitude159
AltitudePossibleVal_Altitude160
AltitudePossibleVal_Altitude161
AltitudePossibleVal_Altitude162
AltitudePossibleVal_Altitude163
AltitudePossibleVal_Altitude164
AltitudePossibleVal_Altitude165
AltitudePossibleVal_Altitude166
AltitudePossibleVal_Altitude167
AltitudePossibleVal_Altitude168
AltitudePossibleVal_Altitude169
AltitudePossibleVal_Altitude170
AltitudePossibleVal_Altitude171
AltitudePossibleVal_Altitude172
AltitudePossibleVal_Altitude173
AltitudePossibleVal_Altitude174
AltitudePossibleVal_Altitude175
AltitudePossibleVal_Altitude176
AltitudePossibleVal_Altitude177
AltitudePossibleVal_Altitude178
AltitudePossibleVal_Altitude179
AltitudePossibleVal_Altitude180
AltitudePossibleVal_Altitude181
AltitudePossibleVal_Altitude182
AltitudePossibleVal_Altitude183
AltitudePossibleVal_Altitude184
AltitudePossibleVal_Altitude185
AltitudePossibleVal_Altitude186
AltitudePossibleVal_Altitude187
AltitudePossibleVal_Altitude188
AltitudePossibleVal_Altitude189
AltitudePossibleVal_Altitude190
AltitudePossibleVal_Altitude191
AltitudePossibleVal_Altitude192
AltitudePossibleVal_Altitude193
AltitudePossibleVal_Altitude194
AltitudePossibleVal_Altitude195
AltitudePossibleVal_Altitude196
AltitudePossibleVal_Altitude197
AltitudePossibleVal_Altitude198
AltitudePossibleVal_Altitude199
AltitudePossibleVal_Altitude200
AltitudePossibleVal_Altitude201
AltitudePossibleVal_Altitude202
AltitudePossibleVal_Altitude203
AltitudePossibleVal_Altitude204
AltitudePossibleVal_Altitude205
AltitudePossibleVal_Altitude206
AltitudePossibleVal_Altitude207
AltitudePossibleVal_Altitude208
AltitudePossibleVal_Altitude209
AltitudePossibleVal_Altitude210
AltitudePossibleVal_Altitude211
AltitudePossibleVal_Altitude212
AltitudePossibleVal_Altitude213
AltitudePossibleVal_Altitude214
AltitudePossibleVal_Altitude215
AltitudePossibleVal_Altitude216
AltitudePossibleVal_Altitude217
AltitudePossibleVal_Altitude218
AltitudePossibleVal_Altitude219
AltitudePossibleVal_Altitude220
AltitudePossibleVal_Altitude221
AltitudePossibleVal_Altitude222
AltitudePossibleVal_Altitude223
AltitudePossibleVal_Altitude224
AltitudePossibleVal_Altitude225
AltitudePossibleVal_Altitude226
AltitudePossibleVal_Altitude227
AltitudePossibleVal_Altitude228
AltitudePossibleVal_Altitude229
AltitudePossibleVal_Altitude230
AltitudePossibleVal_Altitude231
AltitudePossibleVal_Altitude232
AltitudePossibleVal_Altitude233
AltitudePossibleVal_Altitude234
AltitudePossibleVal_Altitude235
AltitudePossibleVal_Altitude236
AltitudePossibleVal_Altitude237
AltitudePossibleVal_Altitude238
AltitudePossibleVal_Altitude239
AltitudePossibleVal_Altitude240
AltitudePossibleVal_Altitude241
AltitudePossibleVal_Altitude242
AltitudePossibleVal_Altitude243
AltitudePossibleVal_Altitude244
AltitudePossibleVal_Altitude245
AltitudePossibleVal_Altitude246
AltitudePossibleVal_Altitude247
AltitudePossibleVal_Altitude248
AltitudePossibleVal_Altitude249
AltitudePossibleVal_Altitude250
AltitudePossibleVal_Altitude251
AltitudePossibleVal_Altitude252
AltitudePossibleVal_Altitude253
AltitudePossibleVal_Altitude254
AltitudePossibleVal_Altitude255
AltitudePossibleVal_Altitude256
AltitudePossibleVal_Altitude257
AltitudePossibleVal_Altitude258
AltitudePossibleVal_Altitude259
AltitudePossibleVal_Altitude260
AltitudePossibleVal_Altitude261
AltitudePossibleVal_Altitude262
AltitudePossibleVal_Altitude263
AltitudePossibleVal_Altitude264
AltitudePossibleVal_Altitude265
AltitudePossibleVal_Altitude266
AltitudePossibleVal_Altitude267
AltitudePossibleVal_Altitude268
AltitudePossibleVal_Altitude269
AltitudePossibleVal_Altitude270
AltitudePossibleVal_Altitude271
AltitudePossibleVal_Altitude272
AltitudePossibleVal_Altitude273
AltitudePossibleVal_Altitude274
AltitudePossibleVal_Altitude275
AltitudePossibleVal_Altitude276
AltitudePossibleVal_Altitude277
AltitudePossibleVal_Altitude278
AltitudePossibleVal_Altitude279
AltitudePossibleVal_Altitude280
AltitudePossibleVal_Altitude281
AltitudePossibleVal_Altitude282
AltitudePossibleVal_Altitude283
AltitudePossibleVal_Altitude284
AltitudePossibleVal_Altitude285
AltitudePossibleVal_Altitude286
AltitudePossibleVal_Altitude287
AltitudePossibleVal_Altitude288
AltitudePossibleVal_Altitude289
AltitudePossibleVal_Altitude290
AltitudePossibleVal_Altitude291
AltitudePossibleVal_Altitude292
AltitudePossibleVal_Altitude293
AltitudePossibleVal_Altitude294
AltitudePossibleVal_Altitude295
AltitudePossibleVal_Altitude296
AltitudePossibleVal_Altitude297
AltitudePossibleVal_Altitude298
AltitudePossibleVal_Altitude299
AltitudePossibleVal_Altitude300
AltitudePossibleVal_Altitude301
AltitudePossibleVal_Altitude302
AltitudePossibleVal_Altitude303
AltitudePossibleVal_Altitude304
AltitudePossibleVal_Altitude305
AltitudePossibleVal_Altitude306
AltitudePossibleVal_Altitude307
AltitudePossibleVal_Altitude308
AltitudePossibleVal_Altitude309
AltitudePossibleVal_Altitude310
AltitudePossibleVal_Altitude311
AltitudePossibleVal_Altitude312
AltitudePossibleVal_Altitude313
AltitudePossibleVal_Altitude314
AltitudePossibleVal_Altitude315
AltitudePossibleVal_Altitude316
AltitudePossibleVal_Altitude317
AltitudePossibleVal_Altitude318
AltitudePossibleVal_Altitude319
AltitudePossibleVal_Altitude320
AltitudePossibleVal_Altitude321
AltitudePossibleVal_Altitude322
AltitudePossibleVal_Altitude323
AltitudePossibleVal_Altitude324
AltitudePossibleVal_Altitude325
AltitudePossibleVal_Altitude326
AltitudePossibleVal_Altitude327
AltitudePossibleVal_Altitude328
AltitudePossibleVal_Altitude329
AltitudePossibleVal_Altitude330
AltitudePossibleVal_Altitude331
AltitudePossibleVal_Altitude332
AltitudePossibleVal_Altitude333
AltitudePossibleVal_Altitude334
AltitudePossibleVal_Altitude335
AltitudePossibleVal_Altitude336
AltitudePossibleVal_Altitude337
AltitudePossibleVal_Altitude338
AltitudePossibleVal_Altitude339
AltitudePossibleVal_Altitude340
AltitudePossibleVal_Altitude341
AltitudePossibleVal_Altitude342
AltitudePossibleVal_Altitude343
AltitudePossibleVal_Altitude344
AltitudePossibleVal_Altitude345
AltitudePossibleVal_Altitude346
AltitudePossibleVal_Altitude347
AltitudePossibleVal_Altitude348
AltitudePossibleVal_Altitude349
AltitudePossibleVal_Altitude350
AltitudePossibleVal_Altitude351
AltitudePossibleVal_Altitude352
AltitudePossibleVal_Altitude353
AltitudePossibleVal_Altitude354
AltitudePossibleVal_Altitude355
AltitudePossibleVal_Altitude356
AltitudePossibleVal_Altitude357
AltitudePossibleVal_Altitude358
AltitudePossibleVal_Altitude359
AltitudePossibleVal_Altitude360
AltitudePossibleVal_Altitude361
AltitudePossibleVal_Altitude362
AltitudePossibleVal_Altitude363
AltitudePossibleVal_Altitude364
AltitudePossibleVal_Altitude365
AltitudePossibleVal_Altitude366
AltitudePossibleVal_Altitude367
AltitudePossibleVal_Altitude368
AltitudePossibleVal_Altitude369
AltitudePossibleVal_Altitude370
AltitudePossibleVal_Altitude371
AltitudePossibleVal_Altitude372
AltitudePossibleVal_Altitude373
AltitudePossibleVal_Altitude374
AltitudePossibleVal_Altitude375
AltitudePossibleVal_Altitude376
AltitudePossibleVal_Altitude377
AltitudePossibleVal_Altitude378
AltitudePossibleVal_Altitude379
AltitudePossibleVal_Altitude380
AltitudePossibleVal_Altitude381
AltitudePossibleVal_Altitude382
AltitudePossibleVal_Altitude383
AltitudePossibleVal_Altitude384
AltitudePossibleVal_Altitude385
AltitudePossibleVal_Altitude386
AltitudePossibleVal_Altitude387
AltitudePossibleVal_Altitude388
AltitudePossibleVal_Altitude389
AltitudePossibleVal_Altitude390
AltitudePossibleVal_Altitude391
AltitudePossibleVal_Altitude392
AltitudePossibleVal_Altitude393
AltitudePossibleVal_Altitude394
AltitudePossibleVal_Altitude395
AltitudePossibleVal_Altitude396
AltitudePossibleVal_Altitude397
AltitudePossibleVal_Altitude398
AltitudePossibleVal_Altitude399
AltitudePossibleVal_Altitude400
SpeedPossibleVal_Speed1
SpeedPossibleVal_Speed2
SpeedPossibleVal_Speed3
SpeedPossibleVal_Speed4
SpeedPossibleVal_Speed5
SpeedPossibleVal_Speed6
SpeedPossibleVal_Speed7
SpeedPossibleVal_Speed8
SpeedPossibleVal_Speed9
SpeedPossibleVal_Speed10
SpeedPossibleVal_Speed11
SpeedPossibleVal_Speed12
SpeedPossibleVal_Speed13
SpeedPossibleVal_Speed14
SpeedPossibleVal_Speed15
SpeedPossibleVal_Speed16
SpeedPossibleVal_Speed17
SpeedPossibleVal_Speed18
SpeedPossibleVal_Speed19
SpeedPossibleVal_Speed20
SpeedPossibleVal_Speed21
SpeedPossibleVal_Speed22
SpeedPossibleVal_Speed23
SpeedPossibleVal_Speed24
SpeedPossibleVal_Speed25
SpeedPossibleVal_Speed26
SpeedPossibleVal_Speed27
SpeedPossibleVal_Speed28
SpeedPossibleVal_Speed29
SpeedPossibleVal_Speed30
SpeedPossibleVal_Speed31
SpeedPossibleVal_Speed32
SpeedPossibleVal_Speed33
SpeedPossibleVal_Speed34
SpeedPossibleVal_Speed35
SpeedPossibleVal_Speed36
SpeedPossibleVal_Speed37
SpeedPossibleVal_Speed38
SpeedPossibleVal_Speed39
SpeedPossibleVal_Speed40
SpeedPossibleVal_Speed41
SpeedPossibleVal_Speed42
SpeedPossibleVal_Speed43
SpeedPossibleVal_Speed44
SpeedPossibleVal_Speed45
SpeedPossibleVal_Speed46
SpeedPossibleVal_Speed47
SpeedPossibleVal_Speed48
SpeedPossibleVal_Speed49
SpeedPossibleVal_Speed50
SpeedPossibleVal_Speed51
SpeedPossibleVal_Speed52
SpeedPossibleVal_Speed53
SpeedPossibleVal_Speed54
SpeedPossibleVal_Speed55
SpeedPossibleVal_Speed56
SpeedPossibleVal_Speed57
SpeedPossibleVal_Speed58
SpeedPossibleVal_Speed59
SpeedPossibleVal_Speed60
SpeedPossibleVal_Speed61
SpeedPossibleVal_Speed62
SpeedPossibleVal_Speed63
SpeedPossibleVal_Speed64
SpeedPossibleVal_Speed65
SpeedPossibleVal_Speed66
SpeedPossibleVal_Speed67
SpeedPossibleVal_Speed68
SpeedPossibleVal_Speed69
SpeedPossibleVal_Speed70
SpeedPossibleVal_Speed71
SpeedPossibleVal_Speed72
SpeedPossibleVal_Speed73
SpeedPossibleVal_Speed74
SpeedPossibleVal_Speed75
SpeedPossibleVal_Speed76
SpeedPossibleVal_Speed77
SpeedPossibleVal_Speed78
SpeedPossibleVal_Speed79
SpeedPossibleVal_Speed80
SpeedPossibleVal_Speed81
SpeedPossibleVal_Speed82
SpeedPossibleVal_Speed83
SpeedPossibleVal_Speed84
SpeedPossibleVal_Speed85
SpeedPossibleVal_Speed86
SpeedPossibleVal_Speed87
SpeedPossibleVal_Speed88
SpeedPossibleVal_Speed89
SpeedPossibleVal_Speed90
SpeedPossibleVal_Speed91
SpeedPossibleVal_Speed92
SpeedPossibleVal_Speed93
SpeedPossibleVal_Speed94
SpeedPossibleVal_Speed95
SpeedPossibleVal_Speed96
SpeedPossibleVal_Speed97
SpeedPossibleVal_Speed98
SpeedPossibleVal_Speed99
SpeedPossibleVal_Speed100
SpeedPossibleVal_Speed101
SpeedPossibleVal_Speed102
SpeedPossibleVal_Speed103
SpeedPossibleVal_Speed104
SpeedPossibleVal_Speed105
SpeedPossibleVal_Speed106
SpeedPossibleVal_Speed107
SpeedPossibleVal_Speed108
SpeedPossibleVal_Speed109
SpeedPossibleVal_Speed110
SpeedPossibleVal_Speed111
SpeedPossibleVal_Speed112
SpeedPossibleVal_Speed113
SpeedPossibleVal_Speed114
SpeedPossibleVal_Speed115
SpeedPossibleVal_Speed116
SpeedPossibleVal_Speed117
SpeedPossibleVal_Speed118
SpeedPossibleVal_Speed119
SpeedPossibleVal_Speed120
SpeedPossibleVal_Speed121
SpeedPossibleVal_Speed122
SpeedPossibleVal_Speed123
SpeedPossibleVal_Speed124
SpeedPossibleVal_Speed125
SpeedPossibleVal_Speed126
SpeedPossibleVal_Speed127
SpeedPossibleVal_Speed128
SpeedPossibleVal_Speed129
SpeedPossibleVal_Speed130
SpeedPossibleVal_Speed131
SpeedPossibleVal_Speed132
SpeedPossibleVal_Speed133
SpeedPossibleVal_Speed134
SpeedPossibleVal_Speed135
SpeedPossibleVal_Speed136
SpeedPossibleVal_Speed137
SpeedPossibleVal_Speed138
SpeedPossibleVal_Speed139
SpeedPossibleVal_Speed140
SpeedPossibleVal_Speed141
SpeedPossibleVal_Speed142
SpeedPossibleVal_Speed143
SpeedPossibleVal_Speed144
SpeedPossibleVal_Speed145
SpeedPossibleVal_Speed146
SpeedPossibleVal_Speed147
SpeedPossibleVal_Speed148
SpeedPossibleVal_Speed149
SpeedPossibleVal_Speed150
SpeedPossibleVal_Speed151
SpeedPossibleVal_Speed152
SpeedPossibleVal_Speed153
SpeedPossibleVal_Speed154
SpeedPossibleVal_Speed155
SpeedPossibleVal_Speed156
SpeedPossibleVal_Speed157
SpeedPossibleVal_Speed158
SpeedPossibleVal_Speed159
SpeedPossibleVal_Speed160
SpeedPossibleVal_Speed161
SpeedPossibleVal_Speed162
SpeedPossibleVal_Speed163
SpeedPossibleVal_Speed164
SpeedPossibleVal_Speed165
SpeedPossibleVal_Speed166
SpeedPossibleVal_Speed167
SpeedPossibleVal_Speed168
SpeedPossibleVal_Speed169
SpeedPossibleVal_Speed170
SpeedPossibleVal_Speed171
SpeedPossibleVal_Speed172
SpeedPossibleVal_Speed173
SpeedPossibleVal_Speed174
SpeedPossibleVal_Speed175
SpeedPossibleVal_Speed176
SpeedPossibleVal_Speed177
SpeedPossibleVal_Speed178
SpeedPossibleVal_Speed179
SpeedPossibleVal_Speed180
SpeedPossibleVal_Speed181
SpeedPossibleVal_Speed182
SpeedPossibleVal_Speed183
SpeedPossibleVal_Speed184
SpeedPossibleVal_Speed185
SpeedPossibleVal_Speed186
SpeedPossibleVal_Speed187
SpeedPossibleVal_Speed188
SpeedPossibleVal_Speed189
SpeedPossibleVal_Speed190
SpeedPossibleVal_Speed191
SpeedPossibleVal_Speed192
SpeedPossibleVal_Speed193
SpeedPossibleVal_Speed194
SpeedPossibleVal_Speed195
SpeedPossibleVal_Speed196
SpeedPossibleVal_Speed197
SpeedPossibleVal_Speed198
SpeedPossibleVal_Speed199
SpeedPossibleVal_Speed200
WeightPossibleVal_Weight0
WeightPossibleVal_Weight1
found 602 constant places
check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m 0.004sec

11223 12283
iterations count:251259 (156), effective:814 (0)

initing FirstDep: 0m 0.004sec

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-COL-0200"
export BK_EXAMINATION="UpperBounds"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool marcie"
echo " Input is AirplaneLD-COL-0200, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r001-oct2-167813588400205"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/AirplaneLD-COL-0200.tgz
mv AirplaneLD-COL-0200 execution
cd execution
if [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "UpperBounds" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] || [ "UpperBounds" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' UpperBounds.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "UpperBounds" = "ReachabilityDeadlock" ] || [ "UpperBounds" = "QuasiLiveness" ] || [ "UpperBounds" = "StableMarking" ] || [ "UpperBounds" = "Liveness" ] || [ "UpperBounds" = "OneSafe" ] ; then
echo "FORMULA_NAME UpperBounds"
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 ;