fond
Model Checking Contest 2018
8th edition, Bratislava, Slovakia, June 26, 2018
Execution of r035-ebro-152646314900047
Last Updated
June 26, 2018

About the Execution of M4M.struct for BART-COL-050

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1553.230 194630.00 203656.00 386.10 ??TT?TTT?TFTF?TF normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.......................
/home/mcc/execution
total 372K
-rw-r--r-- 1 mcc users 3.0K May 15 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K May 15 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 15 18:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 15 18:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K May 15 18:49 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K May 15 18:49 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.2K May 15 18:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 9.1K May 15 18:54 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 15 18:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.9K May 15 18:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K May 15 18:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 15 18:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 103 May 15 18:54 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 341 May 15 18:54 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 2.5K May 15 18:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 15 18:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 15 18:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 15 18:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 May 15 18:49 equiv_pt
-rw-r--r-- 1 mcc users 4 May 15 18:49 instance
-rw-r--r-- 1 mcc users 5 May 15 18:49 iscolored
-rw-r--r-- 1 mcc users 213K May 15 18:49 model.pnml
=====================================================================
Generated by BenchKit 2-3637
Executing tool mcc4mcc-structural
Input is BART-COL-050, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r035-ebro-152646314900047
=====================================================================


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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1527064836143


BK_STOP 1527065030773

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

Prefix is 75f5f979.
Reading known information in /usr/share/mcc4mcc/75f5f979-known.json.
Reading learned information in /usr/share/mcc4mcc/75f5f979-learned.json.
Reading value translations in /usr/share/mcc4mcc/75f5f979-values.json.
Using directory /home/mcc/execution for input, as it contains a model.pnml file.
Using BART-COL-050 as instance name.
Using BART as model name.
Using algorithm or tool bmdt.
Model characteristics are: {'Examination': 'ReachabilityCardinality', 'Place/Transition': True, 'Colored': True, 'Relative-Time': 1, 'Relative-Memory': 1, 'Ordinary': True, 'Simple Free Choice': False, 'Extended Free Choice': False, 'State Machine': False, 'Marked Graph': False, 'Connected': True, 'Strongly Connected': True, 'Source Place': False, 'Sink Place': False, 'Source Transition': False, 'Sink Transition': False, 'Loop Free': False, 'Conservative': True, 'Sub-Conservative': True, 'Nested Units': False, 'Safe': True, 'Deadlock': False, 'Reversible': None, 'Quasi Live': None, 'Live': None}.
Known tools are: [{'Time': 579395, 'Memory': 15885.82, 'Tool': 'lola'}].
Learned tools are: [{'Tool': 'itstools'}].
ReachabilityCardinality itstools BART-COL-050...
May 23, 2018 8:40:45 AM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-z3path, /usr/bin/z3, -yices2path, /usr/bin/yices, -ltsminpath, /usr/bin, -smt, -its, -pnfolder, /mcc-data, -examination, ReachabilityCardinality]
May 23, 2018 8:40:45 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /mcc-data/model.pnml
May 23, 2018 8:40:45 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
08:41:26.326 [main] ERROR PNML validation - The rng grammar file can't be accessed : www.pnml.org
08:41:26.331 [main] ERROR import - Grammar file errors have been raised, the validation can't be done, process will continue without Grammar validation
May 23, 2018 8:41:27 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 41519 ms
May 23, 2018 8:41:27 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 4 places.
May 23, 2018 8:41:27 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
May 23, 2018 8:41:27 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :speedXdist->StopTable,
distXspeedXdist->NewDistTable,
traincontext->TrainState,
distance->DistStation,

May 23, 2018 8:41:27 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 7 transitions.
May 23, 2018 8:41:27 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
May 23, 2018 8:41:27 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /mcc-data/model.pnml.img.gal : 41 ms
May 23, 2018 8:41:28 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 22673 variables) in GAL type BART_COL_050
May 23, 2018 8:41:28 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 10373 constant array cells/variables (out of 22673 variables) in type BART_COL_050
May 23, 2018 8:41:28 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: StopTable[0-245], DistStation[0-40], NewDistTable[0-10085],
May 23, 2018 8:41:39 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 3.6452327445E10 instantiations of transitions. Total transitions/syncs built is 16442
May 23, 2018 8:41:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 22673 variables) in GAL type BART_COL_050
May 23, 2018 8:41:41 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 11573 constant array cells/variables (out of 22673 variables) in type BART_COL_050
May 23, 2018 8:41:41 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: StopTable[0-245], TrainState[206-209,226-245,452-455,472-491,698-701,718-737,944-947,964-983,1190-1193,1210-1229,1436-1439,1456-1475,1682-1685,1702-1721,1928-1931,1948-1967,2174-2177,2194-2213,2420-2423,2440-2459,2666-2669,2686-2705,2912-2915,2932-2951,3158-3161,3178-3197,3404-3407,3424-3443,3650-3653,3670-3689,3896-3899,3916-3935,4142-4145,4162-4181,4388-4391,4408-4427,4634-4637,4654-4673,4880-4883,4900-4919,5126-5129,5146-5165,5372-5375,5392-5411,5618-5621,5638-5657,5864-5867,5884-5903,6110-6113,6130-6149,6356-6359,6376-6395,6602-6605,6622-6641,6848-6851,6868-6887,7094-7097,7114-7133,7340-7343,7360-7379,7586-7589,7606-7625,7832-7835,7852-7871,8078-8081,8098-8117,8324-8327,8344-8363,8570-8573,8590-8609,8816-8819,8836-8855,9062-9065,9082-9101,9308-9311,9328-9347,9554-9557,9574-9593,9800-9803,9820-9839,10046-10049,10066-10085,10292-10295,10312-10331,10538-10541,10558-10577,10784-10787,10804-10823,11030-11033,11050-11069,11276-11279,11296-11315,11522-11525,11542-11561,11768-11771,11788-11807,12014-12017,12034-12053,12260-12263,12280-12299], DistStation[0-40], NewDistTable[0-10085],
May 23, 2018 8:43:12 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :StopTable[]
May 23, 2018 8:43:12 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :DistStation[]
May 23, 2018 8:43:12 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :NewDistTable[]
May 23, 2018 8:43:12 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 165734 expressions due to constant valuations.
May 23, 2018 8:43:13 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 5 redundant transitions.
May 23, 2018 8:43:13 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 250 uncalled transitions from type BART_COL_050
May 23, 2018 8:43:13 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 105796 ms
FORMULA BART-COL-050-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-050-ReachabilityCardinality-14 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-050-ReachabilityCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-050-ReachabilityCardinality-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-050-ReachabilityCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-050-ReachabilityCardinality-09 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-050-ReachabilityCardinality-07 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-050-ReachabilityCardinality-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-050-ReachabilityCardinality-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-050-ReachabilityCardinality-03 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-050-ReachabilityCardinality-02 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Using solver Z3 to compute partial order matrices.
Built C files in :
/mcc-data
May 23, 2018 8:43:43 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1200 fixed domain variables (out of 12300 variables) in GAL type BART_COL_050_flat
May 23, 2018 8:43:43 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 1200 constant array cells/variables (out of 12300 variables) in type BART_COL_050_flat
May 23, 2018 8:43:43 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: TrainState_1955,TrainState_10047,TrainState_8572,TrainState_5888,TrainState_5618,TrainState_7609,TrainState_2456,TrainState_6884,TrainState_8113,TrainState_2695,TrainState_12051,TrainState_11522,TrainState_726,TrainState_3431,TrainState_3190,TrainState_6149,TrainState_3437,TrainState_2932,TrainState_3931,TrainState_1227,TrainState_8837,TrainState_4423,TrainState_12053,TrainState_9582,TrainState_11065,TrainState_2207,TrainState_5372,TrainState_8596,TrainState_11548,TrainState_6875,TrainState_9825,TrainState_8325,TrainState_4178,TrainState_4426,TrainState_10784,TrainState_7858,TrainState_6881,TrainState_11060,TrainState_5154,TrainState_9098,TrainState_6603,TrainState_7367,TrainState_7361,TrainState_11551,TrainState_1437,TrainState_3929,TrainState_3932,TrainState_2197,TrainState_1718,TrainState_4411,TrainState_3680,TrainState_8344,TrainState_4915,TrainState_4908,TrainState_7095,TrainState_1709,TrainState_10295,TrainState_9589,TrainState_12050,TrainState_9090,TrainState_7607,TrainState_9083,TrainState_968,TrainState_965,TrainState_9579,TrainState_8844,TrainState_11056,TrainState_8355,TrainState_5375,TrainState_3185,TrainState_2946,TrainState_6630,TrainState_5159,TrainState_2703,TrainState_4657,TrainState_11558,TrainState_4917,TrainState_8361,TrainState_5887,TrainState_6143,TrainState_8326,TrainState_7860,TrainState_2422,TrainState_489,TrainState_1466,TrainState_240,TrainState_10331,TrainState_1473,TrainState_4658,TrainState_8351,TrainState_10804,TrainState_11525,TrainState_10082,TrainState_9838,TrainState_4172,TrainState_6604,TrainState_10066,TrainState_10563,TrainState_242,TrainState_3670,TrainState_3196,TrainState_6382,TrainState_3182,TrainState_7586,TrainState_5128,TrainState_12261,TrainState_11067,TrainState_11301,TrainState_12293,TrainState_4142,TrainState_2198,TrainState_11057,TrainState_4660,TrainState_4909,TrainState_6629,TrainState_483,TrainState_11304,TrainState_5655,TrainState_11552,TrainState_8103,TrainState_235,TrainState_5886,TrainState_8099,TrainState_8855,TrainState_8571,TrainState_1965,TrainState_234,TrainState_7587,TrainState_7866,TrainState_2942,TrainState_10569,TrainState_6628,TrainState_6358,TrainState_12263,TrainState_9823,TrainState_3188,TrainState_3651,TrainState_5650,TrainState_12291,TrainState_9820,TrainState_2420,TrainState_1462,TrainState_10571,TrainState_4425,TrainState_10314,TrainState_7623,TrainState_5620,TrainState_7379,TrainState_1931,TrainState_8607,TrainState_8363,TrainState_1224,TrainState_10812,TrainState_9345,TrainState_4916,TrainState_8842,TrainState_7121,TrainState_479,TrainState_6380,TrainState_239,TrainState_1929,TrainState_6395,TrainState_7870,TrainState_9335,TrainState_11312,TrainState_2690,TrainState_5651,TrainState_490,TrainState_1682,TrainState_8853,TrainState_1475,TrainState_11069,TrainState_2705,TrainState_4414,TrainState_10570,TrainState_947,TrainState_11297,TrainState_4634,TrainState_11066,TrainState_5405,TrainState_5402,TrainState_5619,TrainState_1963,TrainState_9593,TrainState_11033,TrainState_5901,TrainState_6876,TrainState_8354,TrainState_11796,TrainState_977,TrainState_12296,TrainState_8107,TrainState_10560,TrainState_12298,TrainState_5885,TrainState_974,TrainState_12288,TrainState_11554,TrainState_7117,TrainState_6384,TrainState_12044,TrainState_5890,TrainState_718,TrainState_11309,TrainState_7608,TrainState_4181,TrainState_7871,TrainState_3407,TrainState_3404,TrainState_7613,TrainState_4919,TrainState_7615,TrainState_12283,TrainState_4914,TrainState_4171,TrainState_488,TrainState_9310,TrainState_7343,TrainState_2446,TrainState_5155,TrainState_7834,TrainState_1967,TrainState_4906,TrainState_10809,TrainState_1222,TrainState_4901,TrainState_11559,TrainState_3183,TrainState_10079,TrainState_3194,TrainState_12294,TrainState_8349,TrainState_3896,TrainState_3192,TrainState_5656,TrainState_4636,TrainState_1705,TrainState_7129,TrainState_727,TrainState_1436,TrainState_10558,TrainState_7619,TrainState_3442,TrainState_4905,TrainState_9578,TrainState_8598,TrainState_11307,TrainState_3675,TrainState_9346,TrainState_1211,TrainState_10561,TrainState_5895,TrainState_2459,TrainState_480,TrainState_12037,TrainState_2447,TrainState_2442,TrainState_6134,TrainState_12052,TrainState_12281,TrainState_9329,TrainState_4881,TrainState_6633,TrainState_10538,TrainState_3439,TrainState_4416,TrainState_4180,TrainState_1226,TrainState_9590,TrainState_4883,TrainState_7115,TrainState_3921,TrainState_728,TrainState_4673,TrainState_9095,TrainState_2450,TrainState_2914,TrainState_11308,TrainState_9328,TrainState_736,TrainState_2212,TrainState_11063,TrainState_2445,TrainState_11802,TrainState_237,TrainState_1228,TrainState_9344,TrainState_5653,TrainState_5150,TrainState_2951,TrainState_9592,TrainState_8605,TrainState_8101,TrainState_7119,TrainState_5406,TrainState_10320,TrainState_5373,TrainState_2701,TrainState_12035,TrainState_7096,TrainState_1930,TrainState_7622,TrainState_4911,TrainState_228,TrainState_3186,TrainState_1953,TrainState_5147,TrainState_11277,TrainState_3681,TrainState_7863,TrainState_11050,TrainState_1708,TrainState_1212,TrainState_1928,TrainState_12295,TrainState_206,TrainState_973,TrainState_473,TrainState_7867,TrainState_10081,TrainState_10327,TrainState_9577,TrainState_7616,TrainState_1707,TrainState_6357,TrainState_981,TrainState_3898,TrainState_8100,TrainState_9085,TrainState_1458,TrainState_11313,TrainState_8109,TrainState_5394,TrainState_1959,TrainState_208,TrainState_8108,TrainState_8841,TrainState_1193,TrainState_7617,TrainState_2689,TrainState_11556,TrainState_4904,TrainState_6381,TrainState_6605,TrainState_4427,TrainState_9821,TrainState_964,TrainState_8849,TrainState_245,TrainState_9802,TrainState_10819,TrainState_5891,TrainState_10048,TrainState_5642,TrainState_3650,TrainState_9801,TrainState_10807,TrainState_9587,TrainState_7854,TrainState_2174,TrainState_5161,TrainState_10787,TrainState_6130,TrainState_4174,TrainState_10808,TrainState_4635,TrainState_7123,TrainState_3427,TrainState_2915,TrainState_7131,TrainState_8817,TrainState_5148,TrainState_8573,TrainState_10559,TrainState_9576,TrainState_7363,TrainState_4145,TrainState_7612,TrainState_4418,TrainState_6392,TrainState_10810,TrainState_3676,TrainState_2933,TrainState_10820,TrainState_980,TrainState_6631,TrainState_10564,TrainState_1464,TrainState_8608,TrainState_5151,TrainState_10071,TrainState_2687,TrainState_1191,TrainState_5165,TrainState_8359,TrainState_12049,TrainState_6602,TrainState_9837,TrainState_12040,TrainState_4913,TrainState_3918,TrainState_7375,TrainState_4654,TrainState_6635,TrainState_3674,TrainState_700,TrainState_1710,TrainState_5408,TrainState_6133,TrainState_7366,TrainState_967,TrainState_231,TrainState_9064,TrainState_11302,TrainState_1221,TrainState_2702,TrainState_12036,TrainState_1461,TrainState_972,TrainState_9831,TrainState_4419,TrainState_8079,TrainState_5867,TrainState_6111,TrainState_11788,TrainState_11546,TrainState_7116,TrainState_7133,TrainState_2202,TrainState_9091,TrainState_6388,TrainState_1717,TrainState_10811,TrainState_8852,TrainState_5649,TrainState_1720,TrainState_4666,TrainState_4912,TrainState_6394,TrainState_6850,TrainState_6113,TrainState_10069,TrainState_7372,TrainState_5897,TrainState_6148,TrainState_1712,TrainState_2913,TrainState_4179,TrainState_6393,TrainState_9556,TrainState_3924,TrainState_4918,TrainState_8819,TrainState_5393,TrainState_8362,TrainState_5645,TrainState_10067,TrainState_4900,TrainState_7865,TrainState_11553,TrainState_5894,TrainState_12042,TrainState_10815,TrainState_8606,TrainState_5641,TrainState_944,TrainState_11804,TrainState_735,TrainState_4663,TrainState_7371,TrainState_1961,TrainState_11524,TrainState_6390,TrainState_472,TrainState_226,TrainState_9340,TrainState_9096,TrainState_1456,TrainState_1954,TrainState_8116,TrainState_482,TrainState_10817,TrainState_6386,TrainState_4390,TrainState_5374,TrainState_7855,TrainState_2443,TrainState_491,TrainState_9824,TrainState_3923,TrainState_4409,TrainState_8570,TrainState_6356,TrainState_4176,TrainState_2935,TrainState_3933,TrainState_10574,TrainState_4903,TrainState_11768,TrainState_5410,TrainState_10785,TrainState_5399,TrainState_2667,TrainState_3689,TrainState_3189,TrainState_4902,TrainState_2441,TrainState_7869,TrainState_10084,TrainState_10070,TrainState_1952,TrainState_3687,TrainState_10083,TrainState_7124,TrainState_11053,TrainState_9581,TrainState_2669,TrainState_3434,TrainState_1229,TrainState_1474,TrainState_4410,TrainState_454,TrainState_722,TrainState_9827,TrainState_10541,TrainState_7360,TrainState_5640,TrainState_3930,TrainState_11059,TrainState_3935,TrainState_3920,TrainState_9583,TrainState_731,TrainState_9101,TrainState_10562,TrainState_5648,TrainState_10814,TrainState_10328,TrainState_6136,TrainState_3160,TrainState_3187,TrainState_7610,TrainState_2686,TrainState_3685,TrainState_733,TrainState_11279,TrainState_3432,TrainState_5401,TrainState_8358,TrainState_10575,TrainState_11306,TrainState_2458,TrainState_5896,TrainState_2451,TrainState_5400,TrainState_12289,TrainState_4413,TrainState_6138,TrainState_1459,TrainState_6880,TrainState_6139,TrainState_2421,TrainState_8601,TrainState_9554,TrainState_10577,TrainState_8602,TrainState_6634,TrainState_6359,TrainState_11298,TrainState_11543,TrainState_2945,TrainState_8838,TrainState_8078,TrainState_8590,TrainState_982,TrainState_3428,TrainState_7621,TrainState_487,TrainState_9309,TrainState_8839,TrainState_3653,TrainState_4422,TrainState_5893,TrainState_243,TrainState_975,TrainState_6135,TrainState_8110,TrainState_12015,TrainState_1711,TrainState_9093,TrainState_207,TrainState_1220,TrainState_8353,TrainState_1706,TrainState_4389,TrainState_10046,TrainState_5900,TrainState_1215,TrainState_10330,TrainState_7376,TrainState_3443,TrainState_6627,TrainState_238,TrainState_698,TrainState_12047,TrainState_6636,TrainState_11061,TrainState_11064,TrainState_9339,TrainState_9800,TrainState_11550,TrainState_3178,TrainState_4672,TrainState_7342,TrainState_10293,TrainState_9580,TrainState_2940,TrainState_11799,TrainState_1216,TrainState_2699,TrainState_453,TrainState_10318,TrainState_701,TrainState_10049,TrainState_10292,TrainState_4144,TrainState_724,TrainState_5646,TrainState_5153,TrainState_9828,TrainState_7127,TrainState_7625,TrainState_4670,TrainState_6639,TrainState_9097,TrainState_4421,TrainState_2453,TrainState_5162,TrainState_7128,TrainState_5892,TrainState_4408,TrainState_9062,TrainState_8112,TrainState_5127,TrainState_7620,TrainState_10319,TrainState_2194,TrainState_11805,TrainState_11303,TrainState_721,TrainState_11523,TrainState_9586,TrainState_8104,TrainState_12260,TrainState_4169,TrainState_2950,TrainState_8081,TrainState_2936,TrainState_5409,TrainState_6848,TrainState_11054,TrainState_10073,TrainState_978,TrainState_3927,TrainState_1948,TrainState_970,TrainState_2947,TrainState_7614,TrainState_5903,TrainState_5884,TrainState_12041,TrainState_3197,TrainState_5654,TrainState_6883,TrainState_12282,TrainState_2204,TrainState_2176,TrainState_10077,TrainState_7589,TrainState_10317,TrainState_6877,TrainState_10816,TrainState_6637,TrainState_477,TrainState_1956,TrainState_4661,TrainState_11051,TrainState_730,TrainState_4175,TrainState_7862,TrainState_8843,TrainState_4420,TrainState_2175,TrainState_455,TrainState_227,TrainState_3435,TrainState_1962,TrainState_5158,TrainState_4173,TrainState_10074,TrainState_720,TrainState_9063,TrainState_10805,TrainState_2440,TrainState_4662,TrainState_2948,TrainState_1964,TrainState_1457,TrainState_6886,TrainState_5647,TrainState_474,TrainState_6622,TrainState_11792,TrainState_3686,TrainState_8357,TrainState_11545,TrainState_12016,TrainState_1966,TrainState_7835,TrainState_2196,TrainState_8098,TrainState_8356,TrainState_1716,TrainState_8593,TrainState_1715,TrainState_6624,TrainState_8845,TrainState_3436,TrainState_485,TrainState_2201,TrainState_11058,TrainState_9822,TrainState_232,TrainState_8346,TrainState_11305,TrainState_9833,TrainState_10540,TrainState_7611,TrainState_5395,TrainState_2688,TrainState_5621,TrainState_2199,TrainState_3922,TrainState_11555,TrainState_1472,TrainState_11055,TrainState_9338,TrainState_4424,TrainState_2691,TrainState_7340,TrainState_699,TrainState_4882,TrainState_244,TrainState_4388,TrainState_8851,TrainState_5866,TrainState_10075,TrainState_6112,TrainState_8360,TrainState_4667,TrainState_12014,TrainState_976,TrainState_1721,TrainState_12286,TrainState_2423,TrainState_1218,TrainState_5403,TrainState_737,TrainState_11789,TrainState_8327,TrainState_10806,TrainState_10329,TrainState_1684,TrainState_8846,TrainState_3179,TrainState_11315,TrainState_9584,TrainState_6140,TrainState_2213,TrainState_8604,TrainState_5157,TrainState_5657,TrainState_7859,TrainState_10072,TrainState_5644,TrainState_2205,TrainState_983,TrainState_3677,TrainState_4880,TrainState_4412,TrainState_12017,TrainState_9826,TrainState_3406,TrainState_11557,TrainState_6851,TrainState_3688,TrainState_5160,TrainState_11806,TrainState_3919,TrainState_3917,TrainState_6378,TrainState_4664,TrainState_3424,TrainState_9086,TrainState_7588,TrainState_4669,TrainState_1469,TrainState_11276,TrainState_5396,TrainState_1960,TrainState_4907,TrainState_1957,TrainState_11549,TrainState_1704,TrainState_10323,TrainState_1951,TrainState_10085,TrainState_8105,TrainState_8816,TrainState_11052,TrainState_966,TrainState_10573,TrainState_11807,TrainState_6141,TrainState_6878,TrainState_12048,TrainState_4143,TrainState_1460,TrainState_9555,TrainState_1471,TrainState_8347,TrainState_7094,TrainState_11800,TrainState_11062,TrainState_11561,TrainState_12034,TrainState_4417,TrainState_9099,TrainState_12039,TrainState_7365,TrainState_4164,TrainState_6376,TrainState_7364,TrainState_486,TrainState_5639,TrainState_1467,TrainState_241,TrainState_6871,TrainState_9575,TrainState_6389,TrainState_11278,TrainState_8603,TrainState_7125,TrainState_11798,TrainState_2206,TrainState_3181,TrainState_10316,TrainState_6391,TrainState_2455,TrainState_8594,TrainState_5152,TrainState_6377,TrainState_1217,TrainState_11296,TrainState_5864,TrainState_9332,TrainState_10568,TrainState_3405,TrainState_481,TrainState_7861,TrainState_9100,TrainState_3159,TrainState_7378,TrainState_5889,TrainState_2949,TrainState_9343,TrainState_10572,TrainState_10326,TrainState_11803,TrainState_2939,TrainState_4671,TrainState_7833,TrainState_2668,TrainState_11797,TrainState_6132,TrainState_7370,TrainState_6625,TrainState_1950,TrainState_8818,TrainState_1719,TrainState_6640,TrainState_2692,TrainState_6882,TrainState_6868,TrainState_12280,TrainState_6873,TrainState_230,TrainState_4177,TrainState_12297,TrainState_8350,TrainState_11032,TrainState_4637,TrainState_4415,TrainState_2697,TrainState_725,TrainState_5899,TrainState_8847,TrainState_9065,TrainState_9336,TrainState_8840,TrainState_7377,TrainState_5156,TrainState_11801,TrainState_9585,TrainState_9830,TrainState_5902,TrainState_2211,TrainState_1683,TrainState_476,TrainState_10567,TrainState_8848,TrainState_10315,TrainState_12290,TrainState_3440,TrainState_7368,TrainState_7852,TrainState_4166,TrainState_3433,TrainState_6641,TrainState_3161,TrainState_10821,TrainState_12292,TrainState_7122,TrainState_2938,TrainState_12046,TrainState_6147,TrainState_1702,TrainState_6131,TrainState_209,TrainState_1468,TrainState_11314,TrainState_719,TrainState_5865,TrainState_6137,TrainState_9092,TrainState_8080,TrainState_7618,TrainState_1465,TrainState_3426,TrainState_2943,TrainState_7132,TrainState_7097,TrainState_7130,TrainState_8591,TrainState_11560,TrainState_7374,TrainState_2208,TrainState_7369,TrainState_3897,TrainState_9084,TrainState_6385,TrainState_6632,TrainState_9308,TrainState_4910,TrainState_11068,TrainState_3682,TrainState_946,TrainState_729,TrainState_5149,TrainState_233,TrainState_6144,TrainState_12038,TrainState_7832,TrainState_10566,TrainState_4162,TrainState_9088,TrainState_11547,TrainState_979,TrainState_8592,TrainState_7857,TrainState_2693,TrainState_3195,TrainState_945,TrainState_5652,TrainState_9836,TrainState_12262,TrainState_7864,TrainState_11793,TrainState_10823,TrainState_9341,TrainState_8854,TrainState_1958,TrainState_1214,TrainState_3683,TrainState_11299,TrainState_7118,TrainState_6874,TrainState_4659,TrainState_2941,TrainState_11769,TrainState_3671,TrainState_10324,TrainState_3438,TrainState_9330,TrainState_2694,TrainState_10313,TrainState_1213,TrainState_475,TrainState_6879,TrainState_10078,TrainState_1192,TrainState_6638,TrainState_5643,TrainState_11770,TrainState_11791,TrainState_1210,
TrainState_6379,TrainState_7120,TrainState_6145,TrainState_11790,TrainState_8324,TrainState_6869,TrainState_8609,TrainState_9829,TrainState_9342,TrainState_10539,TrainState_3899,TrainState_3672,TrainState_12045,TrainState_3184,TrainState_5146,TrainState_3934,TrainState_11544,TrainState_8106,TrainState_7624,TrainState_2449,TrainState_969,TrainState_2195,TrainState_6623,TrainState_4668,TrainState_2454,TrainState_6383,TrainState_9331,TrainState_9835,TrainState_10325,TrainState_478,TrainState_452,TrainState_2696,TrainState_2698,TrainState_5126,TrainState_8595,TrainState_3916,TrainState_9334,TrainState_1685,TrainState_1703,TrainState_11031,TrainState_11311,TrainState_4391,TrainState_3673,TrainState_9311,TrainState_2444,TrainState_1223,TrainState_6885,TrainState_1463,TrainState_5129,TrainState_3180,TrainState_12299,TrainState_723,TrainState_9094,TrainState_11794,TrainState_1714,TrainState_9803,TrainState_9087,TrainState_3926,TrainState_10321,TrainState_229,TrainState_3684,TrainState_2666,TrainState_9337,TrainState_10576,TrainState_3191,TrainState_6387,TrainState_3679,TrainState_7856,TrainState_9333,TrainState_9082,TrainState_3193,TrainState_9557,TrainState_1470,TrainState_1219,TrainState_4170,TrainState_10312,TrainState_5404,TrainState_3158,TrainState_8850,TrainState_7606,TrainState_9347,TrainState_8597,TrainState_4655,TrainState_6146,TrainState_2177,TrainState_10813,TrainState_8345,TrainState_5898,TrainState_8114,TrainState_9832,TrainState_3925,TrainState_11771,TrainState_11310,TrainState_4656,TrainState_11030,TrainState_10786,TrainState_10076,TrainState_8115,TrainState_5164,TrainState_4168,TrainState_484,TrainState_3429,TrainState_7126,TrainState_10322,TrainState_8836,TrainState_5638,TrainState_5407,TrainState_3430,TrainState_2704,TrainState_8102,TrainState_2937,TrainState_7373,TrainState_6110,TrainState_12284,TrainState_10565,TrainState_6872,TrainState_10080,TrainState_9588,TrainState_5411,TrainState_9834,TrainState_10294,TrainState_1225,TrainState_2209,TrainState_2934,TrainState_4167,TrainState_9591,TrainState_11300,TrainState_9089,TrainState_4163,TrainState_11542,TrainState_6849,TrainState_1949,TrainState_3928,TrainState_10822,TrainState_12043,TrainState_2210,TrainState_3678,TrainState_1438,TrainState_6870,TrainState_971,TrainState_3652,TrainState_7341,TrainState_8352,TrainState_4165,TrainState_9574,TrainState_2200,TrainState_2700,TrainState_7868,TrainState_7853,TrainState_2912,TrainState_9839,TrainState_1439,TrainState_8111,TrainState_5392,TrainState_6887,TrainState_12287,TrainState_8348,TrainState_7362,TrainState_10068,TrainState_1713,TrainState_5163,TrainState_5397,TrainState_2457,TrainState_734,TrainState_236,TrainState_5398,TrainState_8117,TrainState_1190,TrainState_3441,TrainState_2944,TrainState_11795,TrainState_2448,TrainState_2203,TrainState_8599,TrainState_6626,TrainState_732,TrainState_6142,TrainState_4665,TrainState_12285,TrainState_2452,TrainState_10818,TrainState_8600,TrainState_3425,TrainState_7114,
May 23, 2018 8:43:44 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1200 fixed domain variables (out of 12300 variables) in GAL type BART_COL_050_flat
May 23, 2018 8:43:44 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 1200 constant array cells/variables (out of 12300 variables) in type BART_COL_050_flat
May 23, 2018 8:43:44 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: TrainState_3161,TrainState_2668,TrainState_5128,TrainState_8117,TrainState_2201,TrainState_3194,TrainState_5158,TrainState_978,TrainState_9342,TrainState_7617,TrainState_3919,TrainState_2686,TrainState_12261,TrainState_10073,TrainState_11790,TrainState_4421,TrainState_7611,TrainState_12263,TrainState_8105,TrainState_2446,TrainState_3181,TrainState_11310,TrainState_9580,TrainState_9826,TrainState_1957,TrainState_7374,TrainState_10079,TrainState_9338,TrainState_8847,TrainState_9828,TrainState_6380,TrainState_9085,TrainState_6135,TrainState_4411,TrainState_10570,TrainState_10538,TrainState_6132,TrainState_1470,TrainState_12281,TrainState_11793,TrainState_9556,TrainState_2195,TrainState_9329,TrainState_2942,TrainState_4664,TrainState_3196,TrainState_8597,TrainState_7125,TrainState_11801,TrainState_12052,TrainState_8841,TrainState_8344,TrainState_1190,TrainState_8598,TrainState_944,TrainState_11549,TrainState_12296,TrainState_5620,TrainState_1192,TrainState_10292,TrainState_3185,TrainState_5898,TrainState_6394,TrainState_3180,TrainState_728,TrainState_11551,TrainState_7120,TrainState_2458,TrainState_8848,TrainState_9592,TrainState_207,TrainState_11309,TrainState_11055,TrainState_7128,TrainState_4919,TrainState_4904,TrainState_2938,TrainState_7366,TrainState_6145,TrainState_1193,TrainState_2174,TrainState_3687,TrainState_3686,TrainState_970,TrainState_5893,TrainState_7094,TrainState_10313,TrainState_3431,TrainState_3191,TrainState_4660,TrainState_9099,TrainState_10068,TrainState_206,TrainState_6870,TrainState_10567,TrainState_7861,TrainState_11314,TrainState_7615,TrainState_736,TrainState_4414,TrainState_11057,TrainState_2456,TrainState_6881,TrainState_9555,TrainState_11308,TrainState_5410,TrainState_5406,TrainState_9554,TrainState_6604,TrainState_9824,TrainState_234,TrainState_9557,TrainState_5146,TrainState_8852,TrainState_6872,TrainState_11523,TrainState_8356,TrainState_10069,TrainState_9084,TrainState_1437,TrainState_237,TrainState_3683,TrainState_3158,TrainState_2950,TrainState_5129,TrainState_8853,TrainState_2943,TrainState_4917,TrainState_2212,TrainState_8596,TrainState_5640,TrainState_967,TrainState_241,TrainState_8570,TrainState_7862,TrainState_7340,TrainState_10569,TrainState_10047,TrainState_5618,TrainState_4391,TrainState_4145,TrainState_4175,TrainState_3679,TrainState_11033,TrainState_1212,TrainState_6147,TrainState_9098,TrainState_8345,TrainState_3920,TrainState_3427,TrainState_5165,TrainState_9340,TrainState_12053,TrainState_1710,TrainState_3933,TrainState_12043,TrainState_10815,TrainState_3923,TrainState_4144,TrainState_10323,TrainState_4420,TrainState_733,TrainState_5403,TrainState_3674,TrainState_12045,TrainState_2939,TrainState_2441,TrainState_4673,TrainState_9091,TrainState_6146,TrainState_5402,TrainState_3404,TrainState_2420,TrainState_5643,TrainState_2442,TrainState_6133,TrainState_5901,TrainState_9090,TrainState_8840,TrainState_1962,TrainState_946,TrainState_3440,TrainState_2452,TrainState_491,TrainState_6876,TrainState_9820,TrainState_3675,TrainState_6602,TrainState_4657,TrainState_7365,TrainState_8593,TrainState_9800,TrainState_10049,TrainState_10317,TrainState_4143,TrainState_5644,TrainState_2701,TrainState_8350,TrainState_9331,TrainState_6142,TrainState_2936,TrainState_3924,TrainState_6884,TrainState_7360,TrainState_11297,TrainState_1956,TrainState_6874,TrainState_1716,TrainState_11278,TrainState_1464,TrainState_4410,TrainState_8839,TrainState_5900,TrainState_7123,TrainState_3928,TrainState_10322,TrainState_2704,TrainState_11547,TrainState_1966,TrainState_8836,TrainState_3430,TrainState_11544,TrainState_11279,TrainState_5864,TrainState_1468,TrainState_5642,TrainState_8855,TrainState_8112,TrainState_732,TrainState_8573,TrainState_12286,TrainState_9330,TrainState_481,TrainState_2698,TrainState_9345,TrainState_5159,TrainState_1473,TrainState_10080,TrainState_9088,TrainState_10325,TrainState_8842,TrainState_2197,TrainState_9586,TrainState_5654,TrainState_12039,TrainState_725,TrainState_7606,TrainState_231,TrainState_1436,TrainState_10572,TrainState_5161,TrainState_9576,TrainState_2454,TrainState_4416,TrainState_6877,TrainState_4911,TrainState_5394,TrainState_8106,TrainState_1959,TrainState_5400,TrainState_5397,TrainState_6626,TrainState_3677,TrainState_6634,TrainState_6389,TrainState_3935,TrainState_10559,TrainState_975,TrainState_7609,TrainState_11552,TrainState_4172,TrainState_7117,TrainState_3428,TrainState_11798,TrainState_8103,TrainState_8595,TrainState_8605,TrainState_476,TrainState_5156,TrainState_11062,TrainState_9328,TrainState_1931,TrainState_5150,TrainState_233,TrainState_2447,TrainState_7866,TrainState_8816,TrainState_10329,TrainState_7853,TrainState_12262,TrainState_4422,TrainState_1214,TrainState_9835,TrainState_1719,TrainState_2913,TrainState_722,TrainState_945,TrainState_6387,TrainState_9837,TrainState_980,TrainState_1456,TrainState_11056,TrainState_6357,TrainState_10577,TrainState_4413,TrainState_9593,TrainState_11557,TrainState_6386,TrainState_2451,TrainState_9096,TrainState_12035,TrainState_9581,TrainState_454,TrainState_6144,TrainState_1951,TrainState_10075,TrainState_479,TrainState_10568,TrainState_6143,TrainState_10294,TrainState_1459,TrainState_12290,TrainState_2421,TrainState_8844,TrainState_5899,TrainState_10809,TrainState_2692,TrainState_3443,TrainState_730,TrainState_8100,TrainState_6868,TrainState_1685,TrainState_8353,TrainState_5867,TrainState_2203,TrainState_7096,TrainState_2937,TrainState_9097,TrainState_2695,TrainState_2175,TrainState_8358,TrainState_6637,TrainState_9577,TrainState_4655,TrainState_11301,TrainState_7095,TrainState_4918,TrainState_10084,TrainState_3436,TrainState_3932,TrainState_4883,TrainState_9583,TrainState_6111,TrainState_4900,TrainState_11805,TrainState_5126,TrainState_11558,TrainState_477,TrainState_8357,TrainState_2196,TrainState_971,TrainState_1955,TrainState_9063,TrainState_10822,TrainState_5398,TrainState_1227,TrainState_5395,TrainState_9578,TrainState_2199,TrainState_5646,TrainState_3438,TrainState_11031,TrainState_11799,TrainState_1967,TrainState_238,TrainState_11542,TrainState_9065,TrainState_10816,TrainState_2204,TrainState_2914,TrainState_7616,TrainState_4170,TrainState_2200,TrainState_6631,TrainState_4425,TrainState_5392,TrainState_6137,TrainState_3685,TrainState_12297,TrainState_9588,TrainState_1223,TrainState_12293,TrainState_9335,TrainState_9821,TrainState_11546,TrainState_8079,TrainState_8603,TrainState_1714,TrainState_5891,TrainState_7361,TrainState_6848,TrainState_3193,TrainState_5151,TrainState_4178,TrainState_10808,TrainState_9839,TrainState_11803,TrainState_1210,TrainState_208,TrainState_9590,TrainState_9829,TrainState_6379,TrainState_5652,TrainState_6887,TrainState_964,TrainState_8594,TrainState_9803,TrainState_4671,TrainState_10327,TrainState_8851,TrainState_4902,TrainState_5894,TrainState_7610,TrainState_10312,TrainState_10814,TrainState_4907,TrainState_11802,TrainState_5164,TrainState_8606,TrainState_5895,TrainState_11030,TrainState_8838,TrainState_968,TrainState_4179,TrainState_8571,TrainState_4163,TrainState_2947,TrainState_2912,TrainState_6381,TrainState_7121,TrainState_10539,TrainState_9802,TrainState_10566,TrainState_982,TrainState_487,TrainState_1960,TrainState_4908,TrainState_10046,TrainState_10817,TrainState_7132,TrainState_5157,TrainState_9094,TrainState_2933,TrainState_11769,TrainState_6605,TrainState_3159,TrainState_2198,TrainState_483,TrainState_9831,TrainState_242,TrainState_2453,TrainState_3424,TrainState_4881,TrainState_9087,TrainState_8113,TrainState_4661,TrainState_1713,TrainState_10806,TrainState_11065,TrainState_3927,TrainState_3653,TrainState_8817,TrainState_10081,TrainState_7856,TrainState_8326,TrainState_3425,TrainState_6625,TrainState_227,TrainState_10784,TrainState_6632,TrainState_7863,TrainState_8107,TrainState_6627,TrainState_4168,TrainState_11794,TrainState_11789,TrainState_8600,TrainState_4913,TrainState_10072,TrainState_5393,TrainState_9309,TrainState_5152,TrainState_3925,TrainState_9308,TrainState_12283,TrainState_1949,TrainState_6140,TrainState_9830,TrainState_226,TrainState_10071,TrainState_5888,TrainState_3929,TrainState_5408,TrainState_10295,TrainState_7855,TrainState_11051,TrainState_3437,TrainState_8080,TrainState_3673,TrainState_12047,TrainState_4914,TrainState_7614,TrainState_10066,TrainState_8355,TrainState_1954,TrainState_2207,TrainState_6875,TrainState_6395,TrainState_4427,TrainState_2202,TrainState_480,TrainState_4636,TrainState_2211,TrainState_12040,TrainState_4174,TrainState_2194,TrainState_5656,TrainState_2696,TrainState_7370,TrainState_3921,TrainState_8347,TrainState_12294,TrainState_7373,TrainState_10565,TrainState_6633,TrainState_5401,TrainState_7608,TrainState_5409,TrainState_8104,TrainState_5153,TrainState_11554,TrainState_9587,TrainState_4912,TrainState_11796,TrainState_979,TrainState_7621,TrainState_6110,TrainState_7379,TrainState_4173,TrainState_2945,TrainState_9575,TrainState_1458,TrainState_8354,TrainState_3650,TrainState_6849,TrainState_11797,TrainState_8081,TrainState_6628,TrainState_3429,TrainState_7118,TrainState_8360,TrainState_720,TrainState_1953,TrainState_2932,TrainState_5648,TrainState_4669,TrainState_229,TrainState_3183,TrainState_5154,TrainState_7607,TrainState_8078,TrainState_5619,TrainState_11063,TrainState_2459,TrainState_9823,TrainState_6136,TrainState_4181,TrainState_8572,TrainState_5865,TrainState_981,TrainState_5892,TrainState_8361,TrainState_7618,TrainState_7869,TrainState_6131,TrainState_10563,TrainState_474,TrainState_1709,TrainState_1705,TrainState_9589,TrainState_12014,TrainState_9591,TrainState_9083,TrainState_8590,TrainState_9836,TrainState_6134,TrainState_6885,TrainState_5162,TrainState_8327,TrainState_11771,TrainState_6623,TrainState_2946,TrainState_2210,TrainState_10083,TrainState_10576,TrainState_5649,TrainState_10330,TrainState_10316,TrainState_719,TrainState_4426,TrainState_10819,TrainState_8111,TrainState_240,TrainState_5866,TrainState_11311,TrainState_11052,TrainState_4901,TrainState_3407,TrainState_2935,TrainState_7858,TrainState_8324,TrainState_11770,TrainState_3922,TrainState_1462,TrainState_5404,TrainState_7363,TrainState_966,TrainState_5903,TrainState_735,TrainState_1222,TrainState_2949,TrainState_4666,TrainState_3916,TrainState_4905,TrainState_1707,TrainState_8346,TrainState_1715,TrainState_10326,TrainState_239,TrainState_727,TrainState_10085,TrainState_2941,TrainState_6378,TrainState_8849,TrainState_5639,TrainState_11550,TrainState_6638,TrainState_5657,TrainState_8108,TrainState_1211,TrainState_10558,TrainState_4916,TrainState_472,TrainState_1952,TrainState_6393,TrainState_4635,TrainState_5399,TrainState_10321,TrainState_7625,TrainState_9801,TrainState_12289,TrainState_6603,TrainState_4388,TrainState_7131,TrainState_5147,TrainState_1216,TrainState_5896,TrainState_10541,TrainState_230,TrainState_6390,TrainState_2689,TrainState_7126,TrainState_7613,TrainState_9832,TrainState_11276,TrainState_9585,TrainState_12050,TrainState_8608,TrainState_3918,TrainState_4634,TrainState_7371,TrainState_10820,TrainState_6639,TrainState_3651,TrainState_8362,TrainState_2700,TrainState_7612,TrainState_10821,TrainState_5372,TrainState_11315,TrainState_7587,TrainState_10331,TrainState_1465,TrainState_11522,TrainState_12017,TrainState_1218,TrainState_11069,TrainState_9341,TrainState_7115,TrainState_473,TrainState_2448,TrainState_9095,TrainState_11059,TrainState_10076,TrainState_2176,TrainState_2688,TrainState_1215,TrainState_2669,TrainState_12015,TrainState_700,TrainState_11053,TrainState_1703,TrainState_489,TrainState_10810,TrainState_8349,TrainState_1439,TrainState_11525,TrainState_12285,TrainState_5407,TrainState_3670,TrainState_5396,TrainState_11800,TrainState_731,TrainState_485,TrainState_10082,TrainState_6882,TrainState_4637,TrainState_3439,TrainState_228,TrainState_9086,TrainState_6871,TrainState_724,TrainState_9064,TrainState_9574,TrainState_9101,TrainState_7854,TrainState_2951,TrainState_1721,TrainState_6358,TrainState_6636,TrainState_6149,TrainState_1460,TrainState_3897,TrainState_6635,TrainState_4670,TrainState_11543,TrainState_6641,TrainState_8115,TrainState_1928,TrainState_4882,TrainState_977,TrainState_6385,TrainState_3652,TrainState_453,TrainState_1226,TrainState_2667,TrainState_11306,TrainState_6630,TrainState_1213,TrainState_12298,TrainState_3179,TrainState_698,TrainState_5411,TrainState_9311,TrainState_10067,TrainState_11561,TrainState_8099,TrainState_8609,TrainState_455,TrainState_3182,TrainState_475,TrainState_7833,TrainState_12051,TrainState_3680,TrainState_3899,TrainState_11067,TrainState_3406,TrainState_3433,TrainState_2705,TrainState_2423,TrainState_1466,TrainState_6376,TrainState_478,TrainState_7834,TrainState_7368,TrainState_7586,TrainState_12292,TrainState_452,TrainState_11804,TrainState_4663,TrainState_7867,TrainState_11066,TrainState_7376,TrainState_11298,TrainState_1472,TrainState_1965,TrainState_7864,TrainState_10804,TrainState_6384,TrainState_11555,TrainState_484,TrainState_12048,TrainState_9333,TrainState_983,TrainState_969,TrainState_8846,TrainState_11050,TrainState_6873,TrainState_490,TrainState_9339,TrainState_7852,TrainState_9092,TrainState_5902,TrainState_11060,TrainState_3189,TrainState_1718,TrainState_10561,TrainState_11788,TrainState_9336,TrainState_10293,TrainState_8604,TrainState_2940,TrainState_2703,TrainState_8837,TrainState_10807,TrainState_9062,TrainState_7870,TrainState_7832,TrainState_11054,TrainState_6382,TrainState_9093,TrainState_1457,TrainState_2445,TrainState_2691,TrainState_1717,TrainState_10562,TrainState_3917,TrainState_4389,TrainState_7623,TrainState_12284,TrainState_1702,TrainState_7589,TrainState_6879,TrainState_7624,TrainState_7342,TrainState_232,TrainState_4665,TrainState_11277,TrainState_9822,TrainState_1471,TrainState_8348,TrainState_3432,TrainState_10812,TrainState_8352,TrainState_5638,TrainState_12037,TrainState_5884,TrainState_8109,TrainState_9834,TrainState_11792,TrainState_11545,TrainState_4880,TrainState_1467,TrainState_3186,TrainState_7375,TrainState_10048,TrainState_6392,TrainState_2934,TrainState_9337,TrainState_729,TrainState_10818,TrainState_4412,TrainState_2693,TrainState_6880,TrainState_10571,TrainState_6112,TrainState_6883,TrainState_11807,TrainState_1720,TrainState_1224,TrainState_965,TrainState_4177,TrainState_3930,TrainState_7341,TrainState_4662,TrainState_1191,TrainState_8591,TrainState_3188,TrainState_701,TrainState_1463,TrainState_8359,TrainState_11524,TrainState_7116,TrainState_1712,TrainState_11304,TrainState_3178,TrainState_7119,TrainState_1704,TrainState_7857,TrainState_6640,TrainState_973,TrainState_4408,TrainState_12287,TrainState_12280,TrainState_235,TrainState_6391,TrainState_11061,TrainState_7122,TrainState_4656,TrainState_7364,TrainState_10077,TrainState_10324,TrainState_7133,TrainState_5149,TrainState_8843,TrainState_10540,TrainState_7343,TrainState_1683,TrainState_11300,TrainState_9827,TrainState_5890,TrainState_5651,TrainState_8592,TrainState_2694,TrainState_5885,TrainState_3192,TrainState_4171,TrainState_2450,TrainState_9833,TrainState_721,TrainState_8102,TrainState_7129,TrainState_974,TrainState_3926,TrainState_10823,TrainState_1228,TrainState_1461,TrainState_7097,TrainState_2699,TrainState_1221,TrainState_7835,TrainState_4915,TrainState_1438,TrainState_6148,TrainState_4423,TrainState_5655,TrainState_244,TrainState_10070,TrainState_3195,TrainState_2444,TrainState_9100,TrainState_11553,TrainState_8850,TrainState_2209,TrainState_1930,TrainState_9310,TrainState_8351,TrainState_5127,TrainState_243,TrainState_718,TrainState_8819,TrainState_10320,TrainState_8101,TrainState_11307,TrainState_11032,TrainState_9334,TrainState_6356,TrainState_3934,TrainState_2687,TrainState_3434,TrainState_1475,TrainState_9344,TrainState_5374,TrainState_1474,TrainState_3197,TrainState_8110,TrainState_9347,TrainState_5160,TrainState_699,TrainState_7859,TrainState_11302,TrainState_6629,TrainState_10564,TrainState_2666,TrainState_10574,TrainState_723,TrainState_2915,TrainState_9346,TrainState_10074,TrainState_5653,TrainState_11312,TrainState_3898,TrainState_11064,TrainState_5641,TrainState_3405,TrainState_9089,TrainState_5889,TrainState_10575,TrainState_3671,TrainState_12041,TrainState_4654,TrainState_7367,TrainState_4164,TrainState_1929,TrainState_3681,TrainState_12299,TrainState_12042,TrainState_4162,TrainState_2213,TrainState_10560,TrainState_2697,TrainState_5375,TrainState_1948,TrainState_7378,TrainState_9332,TrainState_6869,TrainS
tate_7362,TrainState_7127,TrainState_12282,TrainState_4668,TrainState_8607,TrainState_12049,TrainState_5647,TrainState_7130,TrainState_5897,TrainState_4409,TrainState_11058,TrainState_6886,TrainState_6624,TrainState_7871,TrainState_6130,TrainState_8098,TrainState_236,TrainState_11313,TrainState_7114,TrainState_3684,TrainState_3678,TrainState_7865,TrainState_1961,TrainState_7868,TrainState_4142,TrainState_3160,TrainState_1963,TrainState_9082,TrainState_10813,TrainState_4417,TrainState_4667,TrainState_4658,TrainState_8599,TrainState_6850,TrainState_7619,TrainState_3896,TrainState_4166,TrainState_972,TrainState_11806,TrainState_11548,TrainState_6878,TrainState_1219,TrainState_8601,TrainState_3682,TrainState_1950,TrainState_2449,TrainState_12291,TrainState_1964,TrainState_9838,TrainState_486,TrainState_5155,TrainState_6113,TrainState_1682,TrainState_1217,TrainState_4909,TrainState_5621,TrainState_7124,TrainState_8363,TrainState_947,TrainState_4418,TrainState_2206,TrainState_1469,TrainState_11296,TrainState_2443,TrainState_488,TrainState_3672,TrainState_3688,TrainState_4910,TrainState_1225,TrainState_1958,TrainState_10811,TrainState_11791,TrainState_6141,TrainState_726,TrainState_8845,TrainState_5163,TrainState_4672,TrainState_3676,TrainState_11559,TrainState_209,TrainState_4415,TrainState_1711,TrainState_11299,TrainState_6377,TrainState_12038,TrainState_9579,TrainState_5645,TrainState_2690,TrainState_1220,TrainState_976,TrainState_12034,TrainState_3426,TrainState_5405,TrainState_1229,TrainState_734,TrainState_5650,TrainState_2205,TrainState_2455,TrainState_7588,TrainState_8854,TrainState_12046,TrainState_4906,TrainState_6851,TrainState_6383,TrainState_3689,TrainState_8116,TrainState_6359,TrainState_245,TrainState_12260,TrainState_12288,TrainState_2702,TrainState_12044,TrainState_11305,TrainState_9343,TrainState_2944,TrainState_3435,TrainState_12295,TrainState_6139,TrainState_2440,TrainState_1708,TrainState_482,TrainState_8818,TrainState_4424,TrainState_11768,TrainState_8602,TrainState_10787,TrainState_3441,TrainState_11068,TrainState_5887,TrainState_6138,TrainState_7372,TrainState_2948,TrainState_12016,TrainState_10319,TrainState_9582,TrainState_9825,TrainState_7369,TrainState_4167,TrainState_5886,TrainState_8114,TrainState_10078,TrainState_10785,TrainState_3187,TrainState_5373,TrainState_10328,TrainState_3190,TrainState_4180,TrainState_3931,TrainState_3184,TrainState_10786,TrainState_9584,TrainState_5148,TrainState_6622,TrainState_11556,TrainState_3442,TrainState_1706,TrainState_10318,TrainState_4659,TrainState_11795,TrainState_8325,TrainState_7377,TrainState_10805,TrainState_10315,TrainState_2208,TrainState_6388,TrainState_7620,TrainState_10314,TrainState_7860,TrainState_4903,TrainState_4169,TrainState_2177,TrainState_1684,TrainState_2457,TrainState_7622,TrainState_4176,TrainState_11303,TrainState_2422,TrainState_12036,TrainState_4390,TrainState_11560,TrainState_10573,TrainState_4165,TrainState_4419,TrainState_737,
May 23, 2018 8:43:46 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1200 fixed domain variables (out of 12300 variables) in GAL type BART_COL_050_flat
May 23, 2018 8:43:46 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 1200 constant array cells/variables (out of 12300 variables) in type BART_COL_050_flat
May 23, 2018 8:43:46 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: TrainState_3161,TrainState_2668,TrainState_5128,TrainState_8117,TrainState_2201,TrainState_3194,TrainState_5158,TrainState_978,TrainState_9342,TrainState_7617,TrainState_3919,TrainState_2686,TrainState_12261,TrainState_10073,TrainState_11790,TrainState_4421,TrainState_7611,TrainState_12263,TrainState_8105,TrainState_2446,TrainState_3181,TrainState_11310,TrainState_9580,TrainState_9826,TrainState_1957,TrainState_7374,TrainState_10079,TrainState_9338,TrainState_8847,TrainState_9828,TrainState_6380,TrainState_9085,TrainState_6135,TrainState_4411,TrainState_10570,TrainState_10538,TrainState_6132,TrainState_1470,TrainState_12281,TrainState_11793,TrainState_9556,TrainState_2195,TrainState_9329,TrainState_2942,TrainState_4664,TrainState_3196,TrainState_8597,TrainState_7125,TrainState_11801,TrainState_12052,TrainState_8841,TrainState_8344,TrainState_1190,TrainState_8598,TrainState_944,TrainState_11549,TrainState_12296,TrainState_5620,TrainState_1192,TrainState_10292,TrainState_3185,TrainState_5898,TrainState_6394,TrainState_3180,TrainState_728,TrainState_11551,TrainState_7120,TrainState_2458,TrainState_8848,TrainState_9592,TrainState_207,TrainState_11309,TrainState_11055,TrainState_7128,TrainState_4919,TrainState_4904,TrainState_2938,TrainState_7366,TrainState_6145,TrainState_1193,TrainState_2174,TrainState_3687,TrainState_3686,TrainState_970,TrainState_5893,TrainState_7094,TrainState_10313,TrainState_3431,TrainState_3191,TrainState_4660,TrainState_9099,TrainState_10068,TrainState_206,TrainState_6870,TrainState_10567,TrainState_7861,TrainState_11314,TrainState_7615,TrainState_736,TrainState_4414,TrainState_11057,TrainState_2456,TrainState_6881,TrainState_9555,TrainState_11308,TrainState_5410,TrainState_5406,TrainState_9554,TrainState_6604,TrainState_9824,TrainState_234,TrainState_9557,TrainState_5146,TrainState_8852,TrainState_6872,TrainState_11523,TrainState_8356,TrainState_10069,TrainState_9084,TrainState_1437,TrainState_237,TrainState_3683,TrainState_3158,TrainState_2950,TrainState_5129,TrainState_8853,TrainState_2943,TrainState_4917,TrainState_2212,TrainState_8596,TrainState_5640,TrainState_967,TrainState_241,TrainState_8570,TrainState_7862,TrainState_7340,TrainState_10569,TrainState_10047,TrainState_5618,TrainState_4391,TrainState_4145,TrainState_4175,TrainState_3679,TrainState_11033,TrainState_1212,TrainState_6147,TrainState_9098,TrainState_8345,TrainState_3920,TrainState_3427,TrainState_5165,TrainState_9340,TrainState_12053,TrainState_1710,TrainState_3933,TrainState_12043,TrainState_10815,TrainState_3923,TrainState_4144,TrainState_10323,TrainState_4420,TrainState_733,TrainState_5403,TrainState_3674,TrainState_12045,TrainState_2939,TrainState_2441,TrainState_4673,TrainState_9091,TrainState_6146,TrainState_5402,TrainState_3404,TrainState_2420,TrainState_5643,TrainState_2442,TrainState_6133,TrainState_5901,TrainState_9090,TrainState_8840,TrainState_1962,TrainState_946,TrainState_3440,TrainState_2452,TrainState_491,TrainState_6876,TrainState_9820,TrainState_3675,TrainState_6602,TrainState_4657,TrainState_7365,TrainState_8593,TrainState_9800,TrainState_10049,TrainState_10317,TrainState_4143,TrainState_5644,TrainState_2701,TrainState_8350,TrainState_9331,TrainState_6142,TrainState_2936,TrainState_3924,TrainState_6884,TrainState_7360,TrainState_11297,TrainState_1956,TrainState_6874,TrainState_1716,TrainState_11278,TrainState_1464,TrainState_4410,TrainState_8839,TrainState_5900,TrainState_7123,TrainState_3928,TrainState_10322,TrainState_2704,TrainState_11547,TrainState_1966,TrainState_8836,TrainState_3430,TrainState_11544,TrainState_11279,TrainState_5864,TrainState_1468,TrainState_5642,TrainState_8855,TrainState_8112,TrainState_732,TrainState_8573,TrainState_12286,TrainState_9330,TrainState_481,TrainState_2698,TrainState_9345,TrainState_5159,TrainState_1473,TrainState_10080,TrainState_9088,TrainState_10325,TrainState_8842,TrainState_2197,TrainState_9586,TrainState_5654,TrainState_12039,TrainState_725,TrainState_7606,TrainState_231,TrainState_1436,TrainState_10572,TrainState_5161,TrainState_9576,TrainState_2454,TrainState_4416,TrainState_6877,TrainState_4911,TrainState_5394,TrainState_8106,TrainState_1959,TrainState_5400,TrainState_5397,TrainState_6626,TrainState_3677,TrainState_6634,TrainState_6389,TrainState_3935,TrainState_10559,TrainState_975,TrainState_7609,TrainState_11552,TrainState_4172,TrainState_7117,TrainState_3428,TrainState_11798,TrainState_8103,TrainState_8595,TrainState_8605,TrainState_476,TrainState_5156,TrainState_11062,TrainState_9328,TrainState_1931,TrainState_5150,TrainState_233,TrainState_2447,TrainState_7866,TrainState_8816,TrainState_10329,TrainState_7853,TrainState_12262,TrainState_4422,TrainState_1214,TrainState_9835,TrainState_1719,TrainState_2913,TrainState_722,TrainState_945,TrainState_6387,TrainState_9837,TrainState_980,TrainState_1456,TrainState_11056,TrainState_6357,TrainState_10577,TrainState_4413,TrainState_9593,TrainState_11557,TrainState_6386,TrainState_2451,TrainState_9096,TrainState_12035,TrainState_9581,TrainState_454,TrainState_6144,TrainState_1951,TrainState_10075,TrainState_479,TrainState_10568,TrainState_6143,TrainState_10294,TrainState_1459,TrainState_12290,TrainState_2421,TrainState_8844,TrainState_5899,TrainState_10809,TrainState_2692,TrainState_3443,TrainState_730,TrainState_8100,TrainState_6868,TrainState_1685,TrainState_8353,TrainState_5867,TrainState_2203,TrainState_7096,TrainState_2937,TrainState_9097,TrainState_2695,TrainState_2175,TrainState_8358,TrainState_6637,TrainState_9577,TrainState_4655,TrainState_11301,TrainState_7095,TrainState_4918,TrainState_10084,TrainState_3436,TrainState_3932,TrainState_4883,TrainState_9583,TrainState_6111,TrainState_4900,TrainState_11805,TrainState_5126,TrainState_11558,TrainState_477,TrainState_8357,TrainState_2196,TrainState_971,TrainState_1955,TrainState_9063,TrainState_10822,TrainState_5398,TrainState_1227,TrainState_5395,TrainState_9578,TrainState_2199,TrainState_5646,TrainState_3438,TrainState_11031,TrainState_11799,TrainState_1967,TrainState_238,TrainState_11542,TrainState_9065,TrainState_10816,TrainState_2204,TrainState_2914,TrainState_7616,TrainState_4170,TrainState_2200,TrainState_6631,TrainState_4425,TrainState_5392,TrainState_6137,TrainState_3685,TrainState_12297,TrainState_9588,TrainState_1223,TrainState_12293,TrainState_9335,TrainState_9821,TrainState_11546,TrainState_8079,TrainState_8603,TrainState_1714,TrainState_5891,TrainState_7361,TrainState_6848,TrainState_3193,TrainState_5151,TrainState_4178,TrainState_10808,TrainState_9839,TrainState_11803,TrainState_1210,TrainState_208,TrainState_9590,TrainState_9829,TrainState_6379,TrainState_5652,TrainState_6887,TrainState_964,TrainState_8594,TrainState_9803,TrainState_4671,TrainState_10327,TrainState_8851,TrainState_4902,TrainState_5894,TrainState_7610,TrainState_10312,TrainState_10814,TrainState_4907,TrainState_11802,TrainState_5164,TrainState_8606,TrainState_5895,TrainState_11030,TrainState_8838,TrainState_968,TrainState_4179,TrainState_8571,TrainState_4163,TrainState_2947,TrainState_2912,TrainState_6381,TrainState_7121,TrainState_10539,TrainState_9802,TrainState_10566,TrainState_982,TrainState_487,TrainState_1960,TrainState_4908,TrainState_10046,TrainState_10817,TrainState_7132,TrainState_5157,TrainState_9094,TrainState_2933,TrainState_11769,TrainState_6605,TrainState_3159,TrainState_2198,TrainState_483,TrainState_9831,TrainState_242,TrainState_2453,TrainState_3424,TrainState_4881,TrainState_9087,TrainState_8113,TrainState_4661,TrainState_1713,TrainState_10806,TrainState_11065,TrainState_3927,TrainState_3653,TrainState_8817,TrainState_10081,TrainState_7856,TrainState_8326,TrainState_3425,TrainState_6625,TrainState_227,TrainState_10784,TrainState_6632,TrainState_7863,TrainState_8107,TrainState_6627,TrainState_4168,TrainState_11794,TrainState_11789,TrainState_8600,TrainState_4913,TrainState_10072,TrainState_5393,TrainState_9309,TrainState_5152,TrainState_3925,TrainState_9308,TrainState_12283,TrainState_1949,TrainState_6140,TrainState_9830,TrainState_226,TrainState_10071,TrainState_5888,TrainState_3929,TrainState_5408,TrainState_10295,TrainState_7855,TrainState_11051,TrainState_3437,TrainState_8080,TrainState_3673,TrainState_12047,TrainState_4914,TrainState_7614,TrainState_10066,TrainState_8355,TrainState_1954,TrainState_2207,TrainState_6875,TrainState_6395,TrainState_4427,TrainState_2202,TrainState_480,TrainState_4636,TrainState_2211,TrainState_12040,TrainState_4174,TrainState_2194,TrainState_5656,TrainState_2696,TrainState_7370,TrainState_3921,TrainState_8347,TrainState_12294,TrainState_7373,TrainState_10565,TrainState_6633,TrainState_5401,TrainState_7608,TrainState_5409,TrainState_8104,TrainState_5153,TrainState_11554,TrainState_9587,TrainState_4912,TrainState_11796,TrainState_979,TrainState_7621,TrainState_6110,TrainState_7379,TrainState_4173,TrainState_2945,TrainState_9575,TrainState_1458,TrainState_8354,TrainState_3650,TrainState_6849,TrainState_11797,TrainState_8081,TrainState_6628,TrainState_3429,TrainState_7118,TrainState_8360,TrainState_720,TrainState_1953,TrainState_2932,TrainState_5648,TrainState_4669,TrainState_229,TrainState_3183,TrainState_5154,TrainState_7607,TrainState_8078,TrainState_5619,TrainState_11063,TrainState_2459,TrainState_9823,TrainState_6136,TrainState_4181,TrainState_8572,TrainState_5865,TrainState_981,TrainState_5892,TrainState_8361,TrainState_7618,TrainState_7869,TrainState_6131,TrainState_10563,TrainState_474,TrainState_1709,TrainState_1705,TrainState_9589,TrainState_12014,TrainState_9591,TrainState_9083,TrainState_8590,TrainState_9836,TrainState_6134,TrainState_6885,TrainState_5162,TrainState_8327,TrainState_11771,TrainState_6623,TrainState_2946,TrainState_2210,TrainState_10083,TrainState_10576,TrainState_5649,TrainState_10330,TrainState_10316,TrainState_719,TrainState_4426,TrainState_10819,TrainState_8111,TrainState_240,TrainState_5866,TrainState_11311,TrainState_11052,TrainState_4901,TrainState_3407,TrainState_2935,TrainState_7858,TrainState_8324,TrainState_11770,TrainState_3922,TrainState_1462,TrainState_5404,TrainState_7363,TrainState_966,TrainState_5903,TrainState_735,TrainState_1222,TrainState_2949,TrainState_4666,TrainState_3916,TrainState_4905,TrainState_1707,TrainState_8346,TrainState_1715,TrainState_10326,TrainState_239,TrainState_727,TrainState_10085,TrainState_2941,TrainState_6378,TrainState_8849,TrainState_5639,TrainState_11550,TrainState_6638,TrainState_5657,TrainState_8108,TrainState_1211,TrainState_10558,TrainState_4916,TrainState_472,TrainState_1952,TrainState_6393,TrainState_4635,TrainState_5399,TrainState_10321,TrainState_7625,TrainState_9801,TrainState_12289,TrainState_6603,TrainState_4388,TrainState_7131,TrainState_5147,TrainState_1216,TrainState_5896,TrainState_10541,TrainState_230,TrainState_6390,TrainState_2689,TrainState_7126,TrainState_7613,TrainState_9832,TrainState_11276,TrainState_9585,TrainState_12050,TrainState_8608,TrainState_3918,TrainState_4634,TrainState_7371,TrainState_10820,TrainState_6639,TrainState_3651,TrainState_8362,TrainState_2700,TrainState_7612,TrainState_10821,TrainState_5372,TrainState_11315,TrainState_7587,TrainState_10331,TrainState_1465,TrainState_11522,TrainState_12017,TrainState_1218,TrainState_11069,TrainState_9341,TrainState_7115,TrainState_473,TrainState_2448,TrainState_9095,TrainState_11059,TrainState_10076,TrainState_2176,TrainState_2688,TrainState_1215,TrainState_2669,TrainState_12015,TrainState_700,TrainState_11053,TrainState_1703,TrainState_489,TrainState_10810,TrainState_8349,TrainState_1439,TrainState_11525,TrainState_12285,TrainState_5407,TrainState_3670,TrainState_5396,TrainState_11800,TrainState_731,TrainState_485,TrainState_10082,TrainState_6882,TrainState_4637,TrainState_3439,TrainState_228,TrainState_9086,TrainState_6871,TrainState_724,TrainState_9064,TrainState_9574,TrainState_9101,TrainState_7854,TrainState_2951,TrainState_1721,TrainState_6358,TrainState_6636,TrainState_6149,TrainState_1460,TrainState_3897,TrainState_6635,TrainState_4670,TrainState_11543,TrainState_6641,TrainState_8115,TrainState_1928,TrainState_4882,TrainState_977,TrainState_6385,TrainState_3652,TrainState_453,TrainState_1226,TrainState_2667,TrainState_11306,TrainState_6630,TrainState_1213,TrainState_12298,TrainState_3179,TrainState_698,TrainState_5411,TrainState_9311,TrainState_10067,TrainState_11561,TrainState_8099,TrainState_8609,TrainState_455,TrainState_3182,TrainState_475,TrainState_7833,TrainState_12051,TrainState_3680,TrainState_3899,TrainState_11067,TrainState_3406,TrainState_3433,TrainState_2705,TrainState_2423,TrainState_1466,TrainState_6376,TrainState_478,TrainState_7834,TrainState_7368,TrainState_7586,TrainState_12292,TrainState_452,TrainState_11804,TrainState_4663,TrainState_7867,TrainState_11066,TrainState_7376,TrainState_11298,TrainState_1472,TrainState_1965,TrainState_7864,TrainState_10804,TrainState_6384,TrainState_11555,TrainState_484,TrainState_12048,TrainState_9333,TrainState_983,TrainState_969,TrainState_8846,TrainState_11050,TrainState_6873,TrainState_490,TrainState_9339,TrainState_7852,TrainState_9092,TrainState_5902,TrainState_11060,TrainState_3189,TrainState_1718,TrainState_10561,TrainState_11788,TrainState_9336,TrainState_10293,TrainState_8604,TrainState_2940,TrainState_2703,TrainState_8837,TrainState_10807,TrainState_9062,TrainState_7870,TrainState_7832,TrainState_11054,TrainState_6382,TrainState_9093,TrainState_1457,TrainState_2445,TrainState_2691,TrainState_1717,TrainState_10562,TrainState_3917,TrainState_4389,TrainState_7623,TrainState_12284,TrainState_1702,TrainState_7589,TrainState_6879,TrainState_7624,TrainState_7342,TrainState_232,TrainState_4665,TrainState_11277,TrainState_9822,TrainState_1471,TrainState_8348,TrainState_3432,TrainState_10812,TrainState_8352,TrainState_5638,TrainState_12037,TrainState_5884,TrainState_8109,TrainState_9834,TrainState_11792,TrainState_11545,TrainState_4880,TrainState_1467,TrainState_3186,TrainState_7375,TrainState_10048,TrainState_6392,TrainState_2934,TrainState_9337,TrainState_729,TrainState_10818,TrainState_4412,TrainState_2693,TrainState_6880,TrainState_10571,TrainState_6112,TrainState_6883,TrainState_11807,TrainState_1720,TrainState_1224,TrainState_965,TrainState_4177,TrainState_3930,TrainState_7341,TrainState_4662,TrainState_1191,TrainState_8591,TrainState_3188,TrainState_701,TrainState_1463,TrainState_8359,TrainState_11524,TrainState_7116,TrainState_1712,TrainState_11304,TrainState_3178,TrainState_7119,TrainState_1704,TrainState_7857,TrainState_6640,TrainState_973,TrainState_4408,TrainState_12287,TrainState_12280,TrainState_235,TrainState_6391,TrainState_11061,TrainState_7122,TrainState_4656,TrainState_7364,TrainState_10077,TrainState_10324,TrainState_7133,TrainState_5149,TrainState_8843,TrainState_10540,TrainState_7343,TrainState_1683,TrainState_11300,TrainState_9827,TrainState_5890,TrainState_5651,TrainState_8592,TrainState_2694,TrainState_5885,TrainState_3192,TrainState_4171,TrainState_2450,TrainState_9833,TrainState_721,TrainState_8102,TrainState_7129,TrainState_974,TrainState_3926,TrainState_10823,TrainState_1228,TrainState_1461,TrainState_7097,TrainState_2699,TrainState_1221,TrainState_7835,TrainState_4915,TrainState_1438,TrainState_6148,TrainState_4423,TrainState_5655,TrainState_244,TrainState_10070,TrainState_3195,TrainState_2444,TrainState_9100,TrainState_11553,TrainState_8850,TrainState_2209,TrainState_1930,TrainState_9310,TrainState_8351,TrainState_5127,TrainState_243,TrainState_718,TrainState_8819,TrainState_10320,TrainState_8101,TrainState_11307,TrainState_11032,TrainState_9334,TrainState_6356,TrainState_3934,TrainState_2687,TrainState_3434,TrainState_1475,TrainState_9344,TrainState_5374,TrainState_1474,TrainState_3197,TrainState_8110,TrainState_9347,TrainState_5160,TrainState_699,TrainState_7859,TrainState_11302,TrainState_6629,TrainState_10564,TrainState_2666,TrainState_10574,TrainState_723,TrainState_2915,TrainState_9346,TrainState_10074,TrainState_5653,TrainState_11312,TrainState_3898,TrainState_11064,TrainState_5641,TrainState_3405,TrainState_9089,TrainState_5889,TrainState_10575,TrainState_3671,TrainState_12041,TrainState_4654,TrainState_7367,TrainState_4164,TrainState_1929,TrainState_3681,TrainState_12299,TrainState_12042,TrainState_4162,TrainState_2213,TrainState_10560,TrainState_2697,TrainState_5375,TrainState_1948,TrainState_7378,TrainState_9332,TrainState_6869,TrainS
tate_7362,TrainState_7127,TrainState_12282,TrainState_4668,TrainState_8607,TrainState_12049,TrainState_5647,TrainState_7130,TrainState_5897,TrainState_4409,TrainState_11058,TrainState_6886,TrainState_6624,TrainState_7871,TrainState_6130,TrainState_8098,TrainState_236,TrainState_11313,TrainState_7114,TrainState_3684,TrainState_3678,TrainState_7865,TrainState_1961,TrainState_7868,TrainState_4142,TrainState_3160,TrainState_1963,TrainState_9082,TrainState_10813,TrainState_4417,TrainState_4667,TrainState_4658,TrainState_8599,TrainState_6850,TrainState_7619,TrainState_3896,TrainState_4166,TrainState_972,TrainState_11806,TrainState_11548,TrainState_6878,TrainState_1219,TrainState_8601,TrainState_3682,TrainState_1950,TrainState_2449,TrainState_12291,TrainState_1964,TrainState_9838,TrainState_486,TrainState_5155,TrainState_6113,TrainState_1682,TrainState_1217,TrainState_4909,TrainState_5621,TrainState_7124,TrainState_8363,TrainState_947,TrainState_4418,TrainState_2206,TrainState_1469,TrainState_11296,TrainState_2443,TrainState_488,TrainState_3672,TrainState_3688,TrainState_4910,TrainState_1225,TrainState_1958,TrainState_10811,TrainState_11791,TrainState_6141,TrainState_726,TrainState_8845,TrainState_5163,TrainState_4672,TrainState_3676,TrainState_11559,TrainState_209,TrainState_4415,TrainState_1711,TrainState_11299,TrainState_6377,TrainState_12038,TrainState_9579,TrainState_5645,TrainState_2690,TrainState_1220,TrainState_976,TrainState_12034,TrainState_3426,TrainState_5405,TrainState_1229,TrainState_734,TrainState_5650,TrainState_2205,TrainState_2455,TrainState_7588,TrainState_8854,TrainState_12046,TrainState_4906,TrainState_6851,TrainState_6383,TrainState_3689,TrainState_8116,TrainState_6359,TrainState_245,TrainState_12260,TrainState_12288,TrainState_2702,TrainState_12044,TrainState_11305,TrainState_9343,TrainState_2944,TrainState_3435,TrainState_12295,TrainState_6139,TrainState_2440,TrainState_1708,TrainState_482,TrainState_8818,TrainState_4424,TrainState_11768,TrainState_8602,TrainState_10787,TrainState_3441,TrainState_11068,TrainState_5887,TrainState_6138,TrainState_7372,TrainState_2948,TrainState_12016,TrainState_10319,TrainState_9582,TrainState_9825,TrainState_7369,TrainState_4167,TrainState_5886,TrainState_8114,TrainState_10078,TrainState_10785,TrainState_3187,TrainState_5373,TrainState_10328,TrainState_3190,TrainState_4180,TrainState_3931,TrainState_3184,TrainState_10786,TrainState_9584,TrainState_5148,TrainState_6622,TrainState_11556,TrainState_3442,TrainState_1706,TrainState_10318,TrainState_4659,TrainState_11795,TrainState_8325,TrainState_7377,TrainState_10805,TrainState_10315,TrainState_2208,TrainState_6388,TrainState_7620,TrainState_10314,TrainState_7860,TrainState_4903,TrainState_4169,TrainState_2177,TrainState_1684,TrainState_2457,TrainState_7622,TrainState_4176,TrainState_11303,TrainState_2422,TrainState_12036,TrainState_4390,TrainState_11560,TrainState_10573,TrainState_4165,TrainState_4419,TrainState_737,
May 23, 2018 8:43:46 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1200 fixed domain variables (out of 12300 variables) in GAL type BART_COL_050_flat
May 23, 2018 8:43:46 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 1200 constant array cells/variables (out of 12300 variables) in type BART_COL_050_flat
May 23, 2018 8:43:46 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: TrainState_1955,TrainState_10047,TrainState_8572,TrainState_5888,TrainState_5618,TrainState_7609,TrainState_2456,TrainState_6884,TrainState_8113,TrainState_2695,TrainState_12051,TrainState_11522,TrainState_726,TrainState_3431,TrainState_3190,TrainState_6149,TrainState_3437,TrainState_2932,TrainState_3931,TrainState_1227,TrainState_8837,TrainState_4423,TrainState_12053,TrainState_9582,TrainState_11065,TrainState_2207,TrainState_5372,TrainState_8596,TrainState_11548,TrainState_6875,TrainState_9825,TrainState_8325,TrainState_4178,TrainState_4426,TrainState_10784,TrainState_7858,TrainState_6881,TrainState_11060,TrainState_5154,TrainState_9098,TrainState_6603,TrainState_7367,TrainState_7361,TrainState_11551,TrainState_1437,TrainState_3929,TrainState_3932,TrainState_2197,TrainState_1718,TrainState_4411,TrainState_3680,TrainState_8344,TrainState_4915,TrainState_4908,TrainState_7095,TrainState_1709,TrainState_10295,TrainState_9589,TrainState_12050,TrainState_9090,TrainState_7607,TrainState_9083,TrainState_968,TrainState_965,TrainState_9579,TrainState_8844,TrainState_11056,TrainState_8355,TrainState_5375,TrainState_3185,TrainState_2946,TrainState_6630,TrainState_5159,TrainState_2703,TrainState_4657,TrainState_11558,TrainState_4917,TrainState_8361,TrainState_5887,TrainState_6143,TrainState_8326,TrainState_7860,TrainState_2422,TrainState_489,TrainState_1466,TrainState_240,TrainState_10331,TrainState_1473,TrainState_4658,TrainState_8351,TrainState_10804,TrainState_11525,TrainState_10082,TrainState_9838,TrainState_4172,TrainState_6604,TrainState_10066,TrainState_10563,TrainState_242,TrainState_3670,TrainState_3196,TrainState_6382,TrainState_3182,TrainState_7586,TrainState_5128,TrainState_12261,TrainState_11067,TrainState_11301,TrainState_12293,TrainState_4142,TrainState_2198,TrainState_11057,TrainState_4660,TrainState_4909,TrainState_6629,TrainState_483,TrainState_11304,TrainState_5655,TrainState_11552,TrainState_8103,TrainState_235,TrainState_5886,TrainState_8099,TrainState_8855,TrainState_8571,TrainState_1965,TrainState_234,TrainState_7587,TrainState_7866,TrainState_2942,TrainState_10569,TrainState_6628,TrainState_6358,TrainState_12263,TrainState_9823,TrainState_3188,TrainState_3651,TrainState_5650,TrainState_12291,TrainState_9820,TrainState_2420,TrainState_1462,TrainState_10571,TrainState_4425,TrainState_10314,TrainState_7623,TrainState_5620,TrainState_7379,TrainState_1931,TrainState_8607,TrainState_8363,TrainState_1224,TrainState_10812,TrainState_9345,TrainState_4916,TrainState_8842,TrainState_7121,TrainState_479,TrainState_6380,TrainState_239,TrainState_1929,TrainState_6395,TrainState_7870,TrainState_9335,TrainState_11312,TrainState_2690,TrainState_5651,TrainState_490,TrainState_1682,TrainState_8853,TrainState_1475,TrainState_11069,TrainState_2705,TrainState_4414,TrainState_10570,TrainState_947,TrainState_11297,TrainState_4634,TrainState_11066,TrainState_5405,TrainState_5402,TrainState_5619,TrainState_1963,TrainState_9593,TrainState_11033,TrainState_5901,TrainState_6876,TrainState_8354,TrainState_11796,TrainState_977,TrainState_12296,TrainState_8107,TrainState_10560,TrainState_12298,TrainState_5885,TrainState_974,TrainState_12288,TrainState_11554,TrainState_7117,TrainState_6384,TrainState_12044,TrainState_5890,TrainState_718,TrainState_11309,TrainState_7608,TrainState_4181,TrainState_7871,TrainState_3407,TrainState_3404,TrainState_7613,TrainState_4919,TrainState_7615,TrainState_12283,TrainState_4914,TrainState_4171,TrainState_488,TrainState_9310,TrainState_7343,TrainState_2446,TrainState_5155,TrainState_7834,TrainState_1967,TrainState_4906,TrainState_10809,TrainState_1222,TrainState_4901,TrainState_11559,TrainState_3183,TrainState_10079,TrainState_3194,TrainState_12294,TrainState_8349,TrainState_3896,TrainState_3192,TrainState_5656,TrainState_4636,TrainState_1705,TrainState_7129,TrainState_727,TrainState_1436,TrainState_10558,TrainState_7619,TrainState_3442,TrainState_4905,TrainState_9578,TrainState_8598,TrainState_11307,TrainState_3675,TrainState_9346,TrainState_1211,TrainState_10561,TrainState_5895,TrainState_2459,TrainState_480,TrainState_12037,TrainState_2447,TrainState_2442,TrainState_6134,TrainState_12052,TrainState_12281,TrainState_9329,TrainState_4881,TrainState_6633,TrainState_10538,TrainState_3439,TrainState_4416,TrainState_4180,TrainState_1226,TrainState_9590,TrainState_4883,TrainState_7115,TrainState_3921,TrainState_728,TrainState_4673,TrainState_9095,TrainState_2450,TrainState_2914,TrainState_11308,TrainState_9328,TrainState_736,TrainState_2212,TrainState_11063,TrainState_2445,TrainState_11802,TrainState_237,TrainState_1228,TrainState_9344,TrainState_5653,TrainState_5150,TrainState_2951,TrainState_9592,TrainState_8605,TrainState_8101,TrainState_7119,TrainState_5406,TrainState_10320,TrainState_5373,TrainState_2701,TrainState_12035,TrainState_7096,TrainState_1930,TrainState_7622,TrainState_4911,TrainState_228,TrainState_3186,TrainState_1953,TrainState_5147,TrainState_11277,TrainState_3681,TrainState_7863,TrainState_11050,TrainState_1708,TrainState_1212,TrainState_1928,TrainState_12295,TrainState_206,TrainState_973,TrainState_473,TrainState_7867,TrainState_10081,TrainState_10327,TrainState_9577,TrainState_7616,TrainState_1707,TrainState_6357,TrainState_981,TrainState_3898,TrainState_8100,TrainState_9085,TrainState_1458,TrainState_11313,TrainState_8109,TrainState_5394,TrainState_1959,TrainState_208,TrainState_8108,TrainState_8841,TrainState_1193,TrainState_7617,TrainState_2689,TrainState_11556,TrainState_4904,TrainState_6381,TrainState_6605,TrainState_4427,TrainState_9821,TrainState_964,TrainState_8849,TrainState_245,TrainState_9802,TrainState_10819,TrainState_5891,TrainState_10048,TrainState_5642,TrainState_3650,TrainState_9801,TrainState_10807,TrainState_9587,TrainState_7854,TrainState_2174,TrainState_5161,TrainState_10787,TrainState_6130,TrainState_4174,TrainState_10808,TrainState_4635,TrainState_7123,TrainState_3427,TrainState_2915,TrainState_7131,TrainState_8817,TrainState_5148,TrainState_8573,TrainState_10559,TrainState_9576,TrainState_7363,TrainState_4145,TrainState_7612,TrainState_4418,TrainState_6392,TrainState_10810,TrainState_3676,TrainState_2933,TrainState_10820,TrainState_980,TrainState_6631,TrainState_10564,TrainState_1464,TrainState_8608,TrainState_5151,TrainState_10071,TrainState_2687,TrainState_1191,TrainState_5165,TrainState_8359,TrainState_12049,TrainState_6602,TrainState_9837,TrainState_12040,TrainState_4913,TrainState_3918,TrainState_7375,TrainState_4654,TrainState_6635,TrainState_3674,TrainState_700,TrainState_1710,TrainState_5408,TrainState_6133,TrainState_7366,TrainState_967,TrainState_231,TrainState_9064,TrainState_11302,TrainState_1221,TrainState_2702,TrainState_12036,TrainState_1461,TrainState_972,TrainState_9831,TrainState_4419,TrainState_8079,TrainState_5867,TrainState_6111,TrainState_11788,TrainState_11546,TrainState_7116,TrainState_7133,TrainState_2202,TrainState_9091,TrainState_6388,TrainState_1717,TrainState_10811,TrainState_8852,TrainState_5649,TrainState_1720,TrainState_4666,TrainState_4912,TrainState_6394,TrainState_6850,TrainState_6113,TrainState_10069,TrainState_7372,TrainState_5897,TrainState_6148,TrainState_1712,TrainState_2913,TrainState_4179,TrainState_6393,TrainState_9556,TrainState_3924,TrainState_4918,TrainState_8819,TrainState_5393,TrainState_8362,TrainState_5645,TrainState_10067,TrainState_4900,TrainState_7865,TrainState_11553,TrainState_5894,TrainState_12042,TrainState_10815,TrainState_8606,TrainState_5641,TrainState_944,TrainState_11804,TrainState_735,TrainState_4663,TrainState_7371,TrainState_1961,TrainState_11524,TrainState_6390,TrainState_472,TrainState_226,TrainState_9340,TrainState_9096,TrainState_1456,TrainState_1954,TrainState_8116,TrainState_482,TrainState_10817,TrainState_6386,TrainState_4390,TrainState_5374,TrainState_7855,TrainState_2443,TrainState_491,TrainState_9824,TrainState_3923,TrainState_4409,TrainState_8570,TrainState_6356,TrainState_4176,TrainState_2935,TrainState_3933,TrainState_10574,TrainState_4903,TrainState_11768,TrainState_5410,TrainState_10785,TrainState_5399,TrainState_2667,TrainState_3689,TrainState_3189,TrainState_4902,TrainState_2441,TrainState_7869,TrainState_10084,TrainState_10070,TrainState_1952,TrainState_3687,TrainState_10083,TrainState_7124,TrainState_11053,TrainState_9581,TrainState_2669,TrainState_3434,TrainState_1229,TrainState_1474,TrainState_4410,TrainState_454,TrainState_722,TrainState_9827,TrainState_10541,TrainState_7360,TrainState_5640,TrainState_3930,TrainState_11059,TrainState_3935,TrainState_3920,TrainState_9583,TrainState_731,TrainState_9101,TrainState_10562,TrainState_5648,TrainState_10814,TrainState_10328,TrainState_6136,TrainState_3160,TrainState_3187,TrainState_7610,TrainState_2686,TrainState_3685,TrainState_733,TrainState_11279,TrainState_3432,TrainState_5401,TrainState_8358,TrainState_10575,TrainState_11306,TrainState_2458,TrainState_5896,TrainState_2451,TrainState_5400,TrainState_12289,TrainState_4413,TrainState_6138,TrainState_1459,TrainState_6880,TrainState_6139,TrainState_2421,TrainState_8601,TrainState_9554,TrainState_10577,TrainState_8602,TrainState_6634,TrainState_6359,TrainState_11298,TrainState_11543,TrainState_2945,TrainState_8838,TrainState_8078,TrainState_8590,TrainState_982,TrainState_3428,TrainState_7621,TrainState_487,TrainState_9309,TrainState_8839,TrainState_3653,TrainState_4422,TrainState_5893,TrainState_243,TrainState_975,TrainState_6135,TrainState_8110,TrainState_12015,TrainState_1711,TrainState_9093,TrainState_207,TrainState_1220,TrainState_8353,TrainState_1706,TrainState_4389,TrainState_10046,TrainState_5900,TrainState_1215,TrainState_10330,TrainState_7376,TrainState_3443,TrainState_6627,TrainState_238,TrainState_698,TrainState_12047,TrainState_6636,TrainState_11061,TrainState_11064,TrainState_9339,TrainState_9800,TrainState_11550,TrainState_3178,TrainState_4672,TrainState_7342,TrainState_10293,TrainState_9580,TrainState_2940,TrainState_11799,TrainState_1216,TrainState_2699,TrainState_453,TrainState_10318,TrainState_701,TrainState_10049,TrainState_10292,TrainState_4144,TrainState_724,TrainState_5646,TrainState_5153,TrainState_9828,TrainState_7127,TrainState_7625,TrainState_4670,TrainState_6639,TrainState_9097,TrainState_4421,TrainState_2453,TrainState_5162,TrainState_7128,TrainState_5892,TrainState_4408,TrainState_9062,TrainState_8112,TrainState_5127,TrainState_7620,TrainState_10319,TrainState_2194,TrainState_11805,TrainState_11303,TrainState_721,TrainState_11523,TrainState_9586,TrainState_8104,TrainState_12260,TrainState_4169,TrainState_2950,TrainState_8081,TrainState_2936,TrainState_5409,TrainState_6848,TrainState_11054,TrainState_10073,TrainState_978,TrainState_3927,TrainState_1948,TrainState_970,TrainState_2947,TrainState_7614,TrainState_5903,TrainState_5884,TrainState_12041,TrainState_3197,TrainState_5654,TrainState_6883,TrainState_12282,TrainState_2204,TrainState_2176,TrainState_10077,TrainState_7589,TrainState_10317,TrainState_6877,TrainState_10816,TrainState_6637,TrainState_477,TrainState_1956,TrainState_4661,TrainState_11051,TrainState_730,TrainState_4175,TrainState_7862,TrainState_8843,TrainState_4420,TrainState_2175,TrainState_455,TrainState_227,TrainState_3435,TrainState_1962,TrainState_5158,TrainState_4173,TrainState_10074,TrainState_720,TrainState_9063,TrainState_10805,TrainState_2440,TrainState_4662,TrainState_2948,TrainState_1964,TrainState_1457,TrainState_6886,TrainState_5647,TrainState_474,TrainState_6622,TrainState_11792,TrainState_3686,TrainState_8357,TrainState_11545,TrainState_12016,TrainState_1966,TrainState_7835,TrainState_2196,TrainState_8098,TrainState_8356,TrainState_1716,TrainState_8593,TrainState_1715,TrainState_6624,TrainState_8845,TrainState_3436,TrainState_485,TrainState_2201,TrainState_11058,TrainState_9822,TrainState_232,TrainState_8346,TrainState_11305,TrainState_9833,TrainState_10540,TrainState_7611,TrainState_5395,TrainState_2688,TrainState_5621,TrainState_2199,TrainState_3922,TrainState_11555,TrainState_1472,TrainState_11055,TrainState_9338,TrainState_4424,TrainState_2691,TrainState_7340,TrainState_699,TrainState_4882,TrainState_244,TrainState_4388,TrainState_8851,TrainState_5866,TrainState_10075,TrainState_6112,TrainState_8360,TrainState_4667,TrainState_12014,TrainState_976,TrainState_1721,TrainState_12286,TrainState_2423,TrainState_1218,TrainState_5403,TrainState_737,TrainState_11789,TrainState_8327,TrainState_10806,TrainState_10329,TrainState_1684,TrainState_8846,TrainState_3179,TrainState_11315,TrainState_9584,TrainState_6140,TrainState_2213,TrainState_8604,TrainState_5157,TrainState_5657,TrainState_7859,TrainState_10072,TrainState_5644,TrainState_2205,TrainState_983,TrainState_3677,TrainState_4880,TrainState_4412,TrainState_12017,TrainState_9826,TrainState_3406,TrainState_11557,TrainState_6851,TrainState_3688,TrainState_5160,TrainState_11806,TrainState_3919,TrainState_3917,TrainState_6378,TrainState_4664,TrainState_3424,TrainState_9086,TrainState_7588,TrainState_4669,TrainState_1469,TrainState_11276,TrainState_5396,TrainState_1960,TrainState_4907,TrainState_1957,TrainState_11549,TrainState_1704,TrainState_10323,TrainState_1951,TrainState_10085,TrainState_8105,TrainState_8816,TrainState_11052,TrainState_966,TrainState_10573,TrainState_11807,TrainState_6141,TrainState_6878,TrainState_12048,TrainState_4143,TrainState_1460,TrainState_9555,TrainState_1471,TrainState_8347,TrainState_7094,TrainState_11800,TrainState_11062,TrainState_11561,TrainState_12034,TrainState_4417,TrainState_9099,TrainState_12039,TrainState_7365,TrainState_4164,TrainState_6376,TrainState_7364,TrainState_486,TrainState_5639,TrainState_1467,TrainState_241,TrainState_6871,TrainState_9575,TrainState_6389,TrainState_11278,TrainState_8603,TrainState_7125,TrainState_11798,TrainState_2206,TrainState_3181,TrainState_10316,TrainState_6391,TrainState_2455,TrainState_8594,TrainState_5152,TrainState_6377,TrainState_1217,TrainState_11296,TrainState_5864,TrainState_9332,TrainState_10568,TrainState_3405,TrainState_481,TrainState_7861,TrainState_9100,TrainState_3159,TrainState_7378,TrainState_5889,TrainState_2949,TrainState_9343,TrainState_10572,TrainState_10326,TrainState_11803,TrainState_2939,TrainState_4671,TrainState_7833,TrainState_2668,TrainState_11797,TrainState_6132,TrainState_7370,TrainState_6625,TrainState_1950,TrainState_8818,TrainState_1719,TrainState_6640,TrainState_2692,TrainState_6882,TrainState_6868,TrainState_12280,TrainState_6873,TrainState_230,TrainState_4177,TrainState_12297,TrainState_8350,TrainState_11032,TrainState_4637,TrainState_4415,TrainState_2697,TrainState_725,TrainState_5899,TrainState_8847,TrainState_9065,TrainState_9336,TrainState_8840,TrainState_7377,TrainState_5156,TrainState_11801,TrainState_9585,TrainState_9830,TrainState_5902,TrainState_2211,TrainState_1683,TrainState_476,TrainState_10567,TrainState_8848,TrainState_10315,TrainState_12290,TrainState_3440,TrainState_7368,TrainState_7852,TrainState_4166,TrainState_3433,TrainState_6641,TrainState_3161,TrainState_10821,TrainState_12292,TrainState_7122,TrainState_2938,TrainState_12046,TrainState_6147,TrainState_1702,TrainState_6131,TrainState_209,TrainState_1468,TrainState_11314,TrainState_719,TrainState_5865,TrainState_6137,TrainState_9092,TrainState_8080,TrainState_7618,TrainState_1465,TrainState_3426,TrainState_2943,TrainState_7132,TrainState_7097,TrainState_7130,TrainState_8591,TrainState_11560,TrainState_7374,TrainState_2208,TrainState_7369,TrainState_3897,TrainState_9084,TrainState_6385,TrainState_6632,TrainState_9308,TrainState_4910,TrainState_11068,TrainState_3682,TrainState_946,TrainState_729,TrainState_5149,TrainState_233,TrainState_6144,TrainState_12038,TrainState_7832,TrainState_10566,TrainState_4162,TrainState_9088,TrainState_11547,TrainState_979,TrainState_8592,TrainState_7857,TrainState_2693,TrainState_3195,TrainState_945,TrainState_5652,TrainState_9836,TrainState_12262,TrainState_7864,TrainState_11793,TrainState_10823,TrainState_9341,TrainState_8854,TrainState_1958,TrainState_1214,TrainState_3683,TrainState_11299,TrainState_7118,TrainState_6874,TrainState_4659,TrainState_2941,TrainState_11769,TrainState_3671,TrainState_10324,TrainState_3438,TrainState_9330,TrainState_2694,TrainState_10313,TrainState_1213,TrainState_475,TrainState_6879,TrainState_10078,TrainState_1192,TrainState_6638,TrainState_5643,TrainState_11770,TrainState_11791,TrainState_1210,
TrainState_6379,TrainState_7120,TrainState_6145,TrainState_11790,TrainState_8324,TrainState_6869,TrainState_8609,TrainState_9829,TrainState_9342,TrainState_10539,TrainState_3899,TrainState_3672,TrainState_12045,TrainState_3184,TrainState_5146,TrainState_3934,TrainState_11544,TrainState_8106,TrainState_7624,TrainState_2449,TrainState_969,TrainState_2195,TrainState_6623,TrainState_4668,TrainState_2454,TrainState_6383,TrainState_9331,TrainState_9835,TrainState_10325,TrainState_478,TrainState_452,TrainState_2696,TrainState_2698,TrainState_5126,TrainState_8595,TrainState_3916,TrainState_9334,TrainState_1685,TrainState_1703,TrainState_11031,TrainState_11311,TrainState_4391,TrainState_3673,TrainState_9311,TrainState_2444,TrainState_1223,TrainState_6885,TrainState_1463,TrainState_5129,TrainState_3180,TrainState_12299,TrainState_723,TrainState_9094,TrainState_11794,TrainState_1714,TrainState_9803,TrainState_9087,TrainState_3926,TrainState_10321,TrainState_229,TrainState_3684,TrainState_2666,TrainState_9337,TrainState_10576,TrainState_3191,TrainState_6387,TrainState_3679,TrainState_7856,TrainState_9333,TrainState_9082,TrainState_3193,TrainState_9557,TrainState_1470,TrainState_1219,TrainState_4170,TrainState_10312,TrainState_5404,TrainState_3158,TrainState_8850,TrainState_7606,TrainState_9347,TrainState_8597,TrainState_4655,TrainState_6146,TrainState_2177,TrainState_10813,TrainState_8345,TrainState_5898,TrainState_8114,TrainState_9832,TrainState_3925,TrainState_11771,TrainState_11310,TrainState_4656,TrainState_11030,TrainState_10786,TrainState_10076,TrainState_8115,TrainState_5164,TrainState_4168,TrainState_484,TrainState_3429,TrainState_7126,TrainState_10322,TrainState_8836,TrainState_5638,TrainState_5407,TrainState_3430,TrainState_2704,TrainState_8102,TrainState_2937,TrainState_7373,TrainState_6110,TrainState_12284,TrainState_10565,TrainState_6872,TrainState_10080,TrainState_9588,TrainState_5411,TrainState_9834,TrainState_10294,TrainState_1225,TrainState_2209,TrainState_2934,TrainState_4167,TrainState_9591,TrainState_11300,TrainState_9089,TrainState_4163,TrainState_11542,TrainState_6849,TrainState_1949,TrainState_3928,TrainState_10822,TrainState_12043,TrainState_2210,TrainState_3678,TrainState_1438,TrainState_6870,TrainState_971,TrainState_3652,TrainState_7341,TrainState_8352,TrainState_4165,TrainState_9574,TrainState_2200,TrainState_2700,TrainState_7868,TrainState_7853,TrainState_2912,TrainState_9839,TrainState_1439,TrainState_8111,TrainState_5392,TrainState_6887,TrainState_12287,TrainState_8348,TrainState_7362,TrainState_10068,TrainState_1713,TrainState_5163,TrainState_5397,TrainState_2457,TrainState_734,TrainState_236,TrainState_5398,TrainState_8117,TrainState_1190,TrainState_3441,TrainState_2944,TrainState_11795,TrainState_2448,TrainState_2203,TrainState_8599,TrainState_6626,TrainState_732,TrainState_6142,TrainState_4665,TrainState_12285,TrainState_2452,TrainState_10818,TrainState_8600,TrainState_3425,TrainState_7114,
May 23, 2018 8:43:46 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1200 constant variables :TrainState_1955=0, TrainState_10047=0, TrainState_8572=0, TrainState_5888=0, TrainState_5618=0, TrainState_7609=0, TrainState_2456=0, TrainState_6884=0, TrainState_8113=0, TrainState_2695=0, TrainState_12051=0, TrainState_11522=0, TrainState_726=0, TrainState_3431=0, TrainState_3190=0, TrainState_6149=0, TrainState_3437=0, TrainState_2932=0, TrainState_3931=0, TrainState_1227=0, TrainState_8837=0, TrainState_4423=0, TrainState_12053=0, TrainState_9582=0, TrainState_11065=0, TrainState_2207=0, TrainState_5372=0, TrainState_8596=0, TrainState_11548=0, TrainState_6875=0, TrainState_9825=0, TrainState_8325=0, TrainState_4178=0, TrainState_4426=0, TrainState_10784=0, TrainState_7858=0, TrainState_6881=0, TrainState_11060=0, TrainState_5154=0, TrainState_9098=0, TrainState_6603=0, TrainState_7367=0, TrainState_7361=0, TrainState_11551=0, TrainState_1437=0, TrainState_3929=0, TrainState_3932=0, TrainState_2197=0, TrainState_1718=0, TrainState_4411=0, TrainState_3680=0, TrainState_8344=0, TrainState_4915=0, TrainState_4908=0, TrainState_7095=0, TrainState_1709=0, TrainState_10295=0, TrainState_9589=0, TrainState_12050=0, TrainState_9090=0, TrainState_7607=0, TrainState_9083=0, TrainState_968=0, TrainState_965=0, TrainState_9579=0, TrainState_8844=0, TrainState_11056=0, TrainState_8355=0, TrainState_5375=0, TrainState_3185=0, TrainState_2946=0, TrainState_6630=0, TrainState_5159=0, TrainState_2703=0, TrainState_4657=0, TrainState_11558=0, TrainState_4917=0, TrainState_8361=0, TrainState_5887=0, TrainState_6143=0, TrainState_8326=0, TrainState_7860=0, TrainState_2422=0, TrainState_489=0, TrainState_1466=0, TrainState_240=0, TrainState_10331=0, TrainState_1473=0, TrainState_4658=0, TrainState_8351=0, TrainState_10804=0, TrainState_11525=0, TrainState_10082=0, TrainState_9838=0, TrainState_4172=0, TrainState_6604=0, TrainState_10066=0, TrainState_10563=0, TrainState_242=0, TrainState_3670=0, TrainState_3196=0, TrainState_6382=0, TrainState_3182=0, TrainState_7586=0, TrainState_5128=0, TrainState_12261=0, TrainState_11067=0, TrainState_11301=0, TrainState_12293=0, TrainState_4142=0, TrainState_2198=0, TrainState_11057=0, TrainState_4660=0, TrainState_4909=0, TrainState_6629=0, TrainState_483=0, TrainState_11304=0, TrainState_5655=0, TrainState_11552=0, TrainState_8103=0, TrainState_235=0, TrainState_5886=0, TrainState_8099=0, TrainState_8855=0, TrainState_8571=0, TrainState_1965=0, TrainState_234=0, TrainState_7587=0, TrainState_7866=0, TrainState_2942=0, TrainState_10569=0, TrainState_6628=0, TrainState_6358=0, TrainState_12263=0, TrainState_9823=0, TrainState_3188=0, TrainState_3651=0, TrainState_5650=0, TrainState_12291=0, TrainState_9820=0, TrainState_2420=0, TrainState_1462=0, TrainState_10571=0, TrainState_4425=0, TrainState_10314=0, TrainState_7623=0, TrainState_5620=0, TrainState_7379=0, TrainState_1931=0, TrainState_8607=0, TrainState_8363=0, TrainState_1224=0, TrainState_10812=0, TrainState_9345=0, TrainState_4916=0, TrainState_8842=0, TrainState_7121=0, TrainState_479=0, TrainState_6380=0, TrainState_239=0, TrainState_1929=0, TrainState_6395=0, TrainState_7870=0, TrainState_9335=0, TrainState_11312=0, TrainState_2690=0, TrainState_5651=0, TrainState_490=0, TrainState_1682=0, TrainState_8853=0, TrainState_1475=0, TrainState_11069=0, TrainState_2705=0, TrainState_4414=0, TrainState_10570=0, TrainState_947=0, TrainState_11297=0, TrainState_4634=0, TrainState_11066=0, TrainState_5405=0, TrainState_5402=0, TrainState_5619=0, TrainState_1963=0, TrainState_9593=0, TrainState_11033=0, TrainState_5901=0, TrainState_6876=0, TrainState_8354=0, TrainState_11796=0, TrainState_977=0, TrainState_12296=0, TrainState_8107=0, TrainState_10560=0, TrainState_12298=0, TrainState_5885=0, TrainState_974=0, TrainState_12288=0, TrainState_11554=0, TrainState_7117=0, TrainState_6384=0, TrainState_12044=0, TrainState_5890=0, TrainState_718=0, TrainState_11309=0, TrainState_7608=0, TrainState_4181=0, TrainState_7871=0, TrainState_3407=0, TrainState_3404=0, TrainState_7613=0, TrainState_4919=0, TrainState_7615=0, TrainState_12283=0, TrainState_4914=0, TrainState_4171=0, TrainState_488=0, TrainState_9310=0, TrainState_7343=0, TrainState_2446=0, TrainState_5155=0, TrainState_7834=0, TrainState_1967=0, TrainState_4906=0, TrainState_10809=0, TrainState_1222=0, TrainState_4901=0, TrainState_11559=0, TrainState_3183=0, TrainState_10079=0, TrainState_3194=0, TrainState_12294=0, TrainState_8349=0, TrainState_3896=0, TrainState_3192=0, TrainState_5656=0, TrainState_4636=0, TrainState_1705=0, TrainState_7129=0, TrainState_727=0, TrainState_1436=0, TrainState_10558=0, TrainState_7619=0, TrainState_3442=0, TrainState_4905=0, TrainState_9578=0, TrainState_8598=0, TrainState_11307=0, TrainState_3675=0, TrainState_9346=0, TrainState_1211=0, TrainState_10561=0, TrainState_5895=0, TrainState_2459=0, TrainState_480=0, TrainState_12037=0, TrainState_2447=0, TrainState_2442=0, TrainState_6134=0, TrainState_12052=0, TrainState_12281=0, TrainState_9329=0, TrainState_4881=0, TrainState_6633=0, TrainState_10538=0, TrainState_3439=0, TrainState_4416=0, TrainState_4180=0, TrainState_1226=0, TrainState_9590=0, TrainState_4883=0, TrainState_7115=0, TrainState_3921=0, TrainState_728=0, TrainState_4673=0, TrainState_9095=0, TrainState_2450=0, TrainState_2914=0, TrainState_11308=0, TrainState_9328=0, TrainState_736=0, TrainState_2212=0, TrainState_11063=0, TrainState_2445=0, TrainState_11802=0, TrainState_237=0, TrainState_1228=0, TrainState_9344=0, TrainState_5653=0, TrainState_5150=0, TrainState_2951=0, TrainState_9592=0, TrainState_8605=0, TrainState_8101=0, TrainState_7119=0, TrainState_5406=0, TrainState_10320=0, TrainState_5373=0, TrainState_2701=0, TrainState_12035=0, TrainState_7096=0, TrainState_1930=0, TrainState_7622=0, TrainState_4911=0, TrainState_228=0, TrainState_3186=0, TrainState_1953=0, TrainState_5147=0, TrainState_11277=0, TrainState_3681=0, TrainState_7863=0, TrainState_11050=0, TrainState_1708=0, TrainState_1212=0, TrainState_1928=0, TrainState_12295=0, TrainState_206=0, TrainState_973=0, TrainState_473=0, TrainState_7867=0, TrainState_10081=0, TrainState_10327=0, TrainState_9577=0, TrainState_7616=0, TrainState_1707=0, TrainState_6357=0, TrainState_981=0, TrainState_3898=0, TrainState_8100=0, TrainState_9085=0, TrainState_1458=0, TrainState_11313=0, TrainState_8109=0, TrainState_5394=0, TrainState_1959=0, TrainState_208=0, TrainState_8108=0, TrainState_8841=0, TrainState_1193=0, TrainState_7617=0, TrainState_2689=0, TrainState_11556=0, TrainState_4904=0, TrainState_6381=0, TrainState_6605=0, TrainState_4427=0, TrainState_9821=0, TrainState_964=0, TrainState_8849=0, TrainState_245=0, TrainState_9802=0, TrainState_10819=0, TrainState_5891=0, TrainState_10048=0, TrainState_5642=0, TrainState_3650=0, TrainState_9801=0, TrainState_10807=0, TrainState_9587=0, TrainState_7854=0, TrainState_2174=0, TrainState_5161=0, TrainState_10787=0, TrainState_6130=0, TrainState_4174=0, TrainState_10808=0, TrainState_4635=0, TrainState_7123=0, TrainState_3427=0, TrainState_2915=0, TrainState_7131=0, TrainState_8817=0, TrainState_5148=0, TrainState_8573=0, TrainState_10559=0, TrainState_9576=0, TrainState_7363=0, TrainState_4145=0, TrainState_7612=0, TrainState_4418=0, TrainState_6392=0, TrainState_10810=0, TrainState_3676=0, TrainState_2933=0, TrainState_10820=0, TrainState_980=0, TrainState_6631=0, TrainState_10564=0, TrainState_1464=0, TrainState_8608=0, TrainState_5151=0, TrainState_10071=0, TrainState_2687=0, TrainState_1191=0, TrainState_5165=0, TrainState_8359=0, TrainState_12049=0, TrainState_6602=0, TrainState_9837=0, TrainState_12040=0, TrainState_4913=0, TrainState_3918=0, TrainState_7375=0, TrainState_4654=0, TrainState_6635=0, TrainState_3674=0, TrainState_700=0, TrainState_1710=0, TrainState_5408=0, TrainState_6133=0, TrainState_7366=0, TrainState_967=0, TrainState_231=0, TrainState_9064=0, TrainState_11302=0, TrainState_1221=0, TrainState_2702=0, TrainState_12036=0, TrainState_1461=0, TrainState_972=0, TrainState_9831=0, TrainState_4419=0, TrainState_8079=0, TrainState_5867=0, TrainState_6111=0, TrainState_11788=0, TrainState_11546=0, TrainState_7116=0, TrainState_7133=0, TrainState_2202=0, TrainState_9091=0, TrainState_6388=0, TrainState_1717=0, TrainState_10811=0, TrainState_8852=0, TrainState_5649=0, TrainState_1720=0, TrainState_4666=0, TrainState_4912=0, TrainState_6394=0, TrainState_6850=0, TrainState_6113=0, TrainState_10069=0, TrainState_7372=0, TrainState_5897=0, TrainState_6148=0, TrainState_1712=0, TrainState_2913=0, TrainState_4179=0, TrainState_6393=0, TrainState_9556=0, TrainState_3924=0, TrainState_4918=0, TrainState_8819=0, TrainState_5393=0, TrainState_8362=0, TrainState_5645=0, TrainState_10067=0, TrainState_4900=0, TrainState_7865=0, TrainState_11553=0, TrainState_5894=0, TrainState_12042=0, TrainState_10815=0, TrainState_8606=0, TrainState_5641=0, TrainState_944=0, TrainState_11804=0, TrainState_735=0, TrainState_4663=0, TrainState_7371=0, TrainState_1961=0, TrainState_11524=0, TrainState_6390=0, TrainState_472=0, TrainState_226=0, TrainState_9340=0, TrainState_9096=0, TrainState_1456=0, TrainState_1954=0, TrainState_8116=0, TrainState_482=0, TrainState_10817=0, TrainState_6386=0, TrainState_4390=0, TrainState_5374=0, TrainState_7855=0, TrainState_2443=0, TrainState_491=0, TrainState_9824=0, TrainState_3923=0, TrainState_4409=0, TrainState_8570=0, TrainState_6356=0, TrainState_4176=0, TrainState_2935=0, TrainState_3933=0, TrainState_10574=0, TrainState_4903=0, TrainState_11768=0, TrainState_5410=0, TrainState_10785=0, TrainState_5399=0, TrainState_2667=0, TrainState_3689=0, TrainState_3189=0, TrainState_4902=0, TrainState_2441=0, TrainState_7869=0, TrainState_10084=0, TrainState_10070=0, TrainState_1952=0, TrainState_3687=0, TrainState_10083=0, TrainState_7124=0, TrainState_11053=0, TrainState_9581=0, TrainState_2669=0, TrainState_3434=0, TrainState_1229=0, TrainState_1474=0, TrainState_4410=0, TrainState_454=0, TrainState_722=0, TrainState_9827=0, TrainState_10541=0, TrainState_7360=0, TrainState_5640=0, TrainState_3930=0, TrainState_11059=0, TrainState_3935=0, TrainState_3920=0, TrainState_9583=0, TrainState_731=0, TrainState_9101=0, TrainState_10562=0, TrainState_5648=0, TrainState_10814=0, TrainState_10328=0, TrainState_6136=0, TrainState_3160=0, TrainState_3187=0, TrainState_7610=0, TrainState_2686=0, TrainState_3685=0, TrainState_733=0, TrainState_11279=0, TrainState_3432=0, TrainState_5401=0, TrainState_8358=0, TrainState_10575=0, TrainState_11306=0, TrainState_2458=0, TrainState_5896=0, TrainState_2451=0, TrainState_5400=0, TrainState_12289=0, TrainState_4413=0, TrainState_6138=0, TrainState_1459=0, TrainState_6880=0, TrainState_6139=0, TrainState_2421=0, TrainState_8601=0, TrainState_9554=0, TrainState_10577=0, TrainState_8602=0, TrainState_6634=0, TrainState_6359=0, TrainState_11298=0, TrainState_11543=0, TrainState_2945=0, TrainState_8838=0, TrainState_8078=0, TrainState_8590=0, TrainState_982=0, TrainState_3428=0, TrainState_7621=0, TrainState_487=0, TrainState_9309=0, TrainState_8839=0, TrainState_3653=0, TrainState_4422=0, TrainState_5893=0, TrainState_243=0, TrainState_975=0, TrainState_6135=0, TrainState_8110=0, TrainState_12015=0, TrainState_1711=0, TrainState_9093=0, TrainState_207=0, TrainState_1220=0, TrainState_8353=0, TrainState_1706=0, TrainState_4389=0, TrainState_10046=0, TrainState_5900=0, TrainState_1215=0, TrainState_10330=0, TrainState_7376=0, TrainState_3443=0, TrainState_6627=0, TrainState_238=0, TrainState_698=0, TrainState_12047=0, TrainState_6636=0, TrainState_11061=0, TrainState_11064=0, TrainState_9339=0, TrainState_9800=0, TrainState_11550=0, TrainState_3178=0, TrainState_4672=0, TrainState_7342=0, TrainState_10293=0, TrainState_9580=0, TrainState_2940=0, TrainState_11799=0, TrainState_1216=0, TrainState_2699=0, TrainState_453=0, TrainState_10318=0, TrainState_701=0, TrainState_10049=0, TrainState_10292=0, TrainState_4144=0, TrainState_724=0, TrainState_5646=0, TrainState_5153=0, TrainState_9828=0, TrainState_7127=0, TrainState_7625=0, TrainState_4670=0, TrainState_6639=0, TrainState_9097=0, TrainState_4421=0, TrainState_2453=0, TrainState_5162=0, TrainState_7128=0, TrainState_5892=0, TrainState_4408=0, TrainState_9062=0, TrainState_8112=0, TrainState_5127=0, TrainState_7620=0, TrainState_10319=0, TrainState_2194=0, TrainState_11805=0, TrainState_11303=0, TrainState_721=0, TrainState_11523=0, TrainState_9586=0, TrainState_8104=0, TrainState_12260=0, TrainState_4169=0, TrainState_2950=0, TrainState_8081=0, TrainState_2936=0, TrainState_5409=0, TrainState_6848=0, TrainState_11054=0, TrainState_10073=0, TrainState_978=0, TrainState_3927=0, TrainState_1948=0, TrainState_970=0, TrainState_2947=0, TrainState_7614=0, TrainState_5903=0, TrainState_5884=0, TrainState_12041=0, TrainState_3197=0, TrainState_5654=0, TrainState_6883=0, TrainState_12282=0, TrainState_2204=0, TrainState_2176=0, TrainState_10077=0, TrainState_7589=0, TrainState_10317=0, TrainState_6877=0, TrainState_10816=0, TrainState_6637=0, TrainState_477=0, TrainState_1956=0, TrainState_4661=0, TrainState_11051=0, TrainState_730=0, TrainState_4175=0, TrainState_7862=0, TrainState_8843=0, TrainState_4420=0, TrainState_2175=0, TrainState_455=0, TrainState_227=0, TrainState_3435=0, TrainState_1962=0, TrainState_5158=0, TrainState_4173=0, TrainState_10074=0, TrainState_720=0, TrainState_9063=0, TrainState_10805=0, TrainState_2440=0, TrainState_4662=0, TrainState_2948=0, TrainState_1964=0, TrainState_1457=0, TrainState_6886=0, TrainState_5647=0, TrainState_474=0, TrainState_6622=0, TrainState_11792=0, TrainState_3686=0, TrainState_8357=0, TrainState_11545=0, TrainState_12016=0, TrainState_1966=0, TrainState_7835=0, TrainState_2196=0, TrainState_8098=0, TrainState_8356=0, TrainState_1716=0, TrainState_8593=0, TrainState_1715=0, TrainState_6624=0, TrainState_8845=0, TrainState_3436=0, TrainState_485=0, TrainState_2201=0, TrainState_11058=0, TrainState_9822=0, TrainState_232=0, TrainState_8346=0, TrainState_11305=0, TrainState_9833=0, TrainState_10540=0, TrainState_7611=0, TrainState_5395=0, TrainState_2688=0, TrainState_5621=0, TrainState_2199=0, TrainState_3922=0, TrainState_11555=0, TrainState_1472=0, TrainState_11055=0, TrainState_9338=0, TrainState_4424=0, TrainState_2691=0, TrainState_7340=0, TrainState_699=0, TrainState_4882=0, TrainState_244=0, TrainState_4388=0, TrainState_8851=0, TrainState_5866=0, TrainState_10075=0, TrainState_6112=0, TrainState_8360=0, TrainState_4667=0, TrainState_12014=0, TrainState_976=0, TrainState_1721=0, TrainState_12286=0, TrainState_2423=0, TrainState_1218=0, TrainState_5403=0, TrainState_737=0, TrainState_11789=0, TrainState_8327=0, TrainState_10806=0, TrainState_10329=0, TrainState_1684=0, TrainState_8846=0, TrainState_3179=0, TrainState_11315=0, TrainState_9584=0, TrainState_6140=0, TrainState_2213=0, TrainState_8604=0, TrainState_5157=0, TrainState_5657=0, TrainState_7859=0, TrainState_10072=0, TrainState_5644=0, TrainState_2205=0, TrainState_983=0, TrainState_3677=0, TrainState_4880=0, TrainState_4412=0, TrainState_12017=0, TrainState_9826=0, TrainState_3406=0, TrainState_11557=0, TrainState_6851=0, TrainState_3688=0, TrainState_5160=0, TrainState_11806=0, TrainState_3919=0, TrainState_3917=0, TrainState_6378=0, TrainState_4664=0, TrainState_3424=0, TrainState_9086=0, TrainState_7588=0, TrainState_4669=0, TrainState_1469=0, TrainState_11276=0, TrainState_5396=0, TrainState_1960=0, TrainState_4907=0, TrainState_1957=0, TrainState_11549=0, TrainState_1704=0, TrainState_10323=0, TrainState_1951=0, TrainState_10085=0, TrainState_8105=0, TrainState_8816=0, TrainState_11052=0, TrainState_966=0, TrainState_10573=0, TrainState_11807=0, TrainState_6141=0, TrainState_6878=0, TrainState_12048=0, TrainState_4143=0, TrainState_1460=0, TrainState_9555=0, TrainState_1471=0, TrainState_8347=0, TrainState_7094=0, TrainState_11800=0, TrainState_11062=0, TrainState_11561=0, TrainState_12034=0, TrainState_4417=0, TrainState_9099=0, TrainState_12039=0, TrainState_7365=0, TrainState_4164=0, TrainState_6376=0, TrainState_7364=0, TrainState_486=0, TrainState_5639=0, TrainState_1467=0, TrainState_241=0, TrainState_6871=0, TrainState_9575=0, TrainState_6389=0, TrainState_11278=0, TrainState_8603=0, TrainState_7125=0, TrainState_11798=0, TrainState_2206=0,
TrainState_3181=0, TrainState_10316=0, TrainState_6391=0, TrainState_2455=0, TrainState_8594=0, TrainState_5152=0, TrainState_6377=0, TrainState_1217=0, TrainState_11296=0, TrainState_5864=0, TrainState_9332=0, TrainState_10568=0, TrainState_3405=0, TrainState_481=0, TrainState_7861=0, TrainState_9100=0, TrainState_3159=0, TrainState_7378=0, TrainState_5889=0, TrainState_2949=0, TrainState_9343=0, TrainState_10572=0, TrainState_10326=0, TrainState_11803=0, TrainState_2939=0, TrainState_4671=0, TrainState_7833=0, TrainState_2668=0, TrainState_11797=0, TrainState_6132=0, TrainState_7370=0, TrainState_6625=0, TrainState_1950=0, TrainState_8818=0, TrainState_1719=0, TrainState_6640=0, TrainState_2692=0, TrainState_6882=0, TrainState_6868=0, TrainState_12280=0, TrainState_6873=0, TrainState_230=0, TrainState_4177=0, TrainState_12297=0, TrainState_8350=0, TrainState_11032=0, TrainState_4637=0, TrainState_4415=0, TrainState_2697=0, TrainState_725=0, TrainState_5899=0, TrainState_8847=0, TrainState_9065=0, TrainState_9336=0, TrainState_8840=0, TrainState_7377=0, TrainState_5156=0, TrainState_11801=0, TrainState_9585=0, TrainState_9830=0, TrainState_5902=0, TrainState_2211=0, TrainState_1683=0, TrainState_476=0, TrainState_10567=0, TrainState_8848=0, TrainState_10315=0, TrainState_12290=0, TrainState_3440=0, TrainState_7368=0, TrainState_7852=0, TrainState_4166=0, TrainState_3433=0, TrainState_6641=0, TrainState_3161=0, TrainState_10821=0, TrainState_12292=0, TrainState_7122=0, TrainState_2938=0, TrainState_12046=0, TrainState_6147=0, TrainState_1702=0, TrainState_6131=0, TrainState_209=0, TrainState_1468=0, TrainState_11314=0, TrainState_719=0, TrainState_5865=0, TrainState_6137=0, TrainState_9092=0, TrainState_8080=0, TrainState_7618=0, TrainState_1465=0, TrainState_3426=0, TrainState_2943=0, TrainState_7132=0, TrainState_7097=0, TrainState_7130=0, TrainState_8591=0, TrainState_11560=0, TrainState_7374=0, TrainState_2208=0, TrainState_7369=0, TrainState_3897=0, TrainState_9084=0, TrainState_6385=0, TrainState_6632=0, TrainState_9308=0, TrainState_4910=0, TrainState_11068=0, TrainState_3682=0, TrainState_946=0, TrainState_729=0, TrainState_5149=0, TrainState_233=0, TrainState_6144=0, TrainState_12038=0, TrainState_7832=0, TrainState_10566=0, TrainState_4162=0, TrainState_9088=0, TrainState_11547=0, TrainState_979=0, TrainState_8592=0, TrainState_7857=0, TrainState_2693=0, TrainState_3195=0, TrainState_945=0, TrainState_5652=0, TrainState_9836=0, TrainState_12262=0, TrainState_7864=0, TrainState_11793=0, TrainState_10823=0, TrainState_9341=0, TrainState_8854=0, TrainState_1958=0, TrainState_1214=0, TrainState_3683=0, TrainState_11299=0, TrainState_7118=0, TrainState_6874=0, TrainState_4659=0, TrainState_2941=0, TrainState_11769=0, TrainState_3671=0, TrainState_10324=0, TrainState_3438=0, TrainState_9330=0, TrainState_2694=0, TrainState_10313=0, TrainState_1213=0, TrainState_475=0, TrainState_6879=0, TrainState_10078=0, TrainState_1192=0, TrainState_6638=0, TrainState_5643=0, TrainState_11770=0, TrainState_11791=0, TrainState_1210=0, TrainState_6379=0, TrainState_7120=0, TrainState_6145=0, TrainState_11790=0, TrainState_8324=0, TrainState_6869=0, TrainState_8609=0, TrainState_9829=0, TrainState_9342=0, TrainState_10539=0, TrainState_3899=0, TrainState_3672=0, TrainState_12045=0, TrainState_3184=0, TrainState_5146=0, TrainState_3934=0, TrainState_11544=0, TrainState_8106=0, TrainState_7624=0, TrainState_2449=0, TrainState_969=0, TrainState_2195=0, TrainState_6623=0, TrainState_4668=0, TrainState_2454=0, TrainState_6383=0, TrainState_9331=0, TrainState_9835=0, TrainState_10325=0, TrainState_478=0, TrainState_452=0, TrainState_2696=0, TrainState_2698=0, TrainState_5126=0, TrainState_8595=0, TrainState_3916=0, TrainState_9334=0, TrainState_1685=0, TrainState_1703=0, TrainState_11031=0, TrainState_11311=0, TrainState_4391=0, TrainState_3673=0, TrainState_9311=0, TrainState_2444=0, TrainState_1223=0, TrainState_6885=0, TrainState_1463=0, TrainState_5129=0, TrainState_3180=0, TrainState_12299=0, TrainState_723=0, TrainState_9094=0, TrainState_11794=0, TrainState_1714=0, TrainState_9803=0, TrainState_9087=0, TrainState_3926=0, TrainState_10321=0, TrainState_229=0, TrainState_3684=0, TrainState_2666=0, TrainState_9337=0, TrainState_10576=0, TrainState_3191=0, TrainState_6387=0, TrainState_3679=0, TrainState_7856=0, TrainState_9333=0, TrainState_9082=0, TrainState_3193=0, TrainState_9557=0, TrainState_1470=0, TrainState_1219=0, TrainState_4170=0, TrainState_10312=0, TrainState_5404=0, TrainState_3158=0, TrainState_8850=0, TrainState_7606=0, TrainState_9347=0, TrainState_8597=0, TrainState_4655=0, TrainState_6146=0, TrainState_2177=0, TrainState_10813=0, TrainState_8345=0, TrainState_5898=0, TrainState_8114=0, TrainState_9832=0, TrainState_3925=0, TrainState_11771=0, TrainState_11310=0, TrainState_4656=0, TrainState_11030=0, TrainState_10786=0, TrainState_10076=0, TrainState_8115=0, TrainState_5164=0, TrainState_4168=0, TrainState_484=0, TrainState_3429=0, TrainState_7126=0, TrainState_10322=0, TrainState_8836=0, TrainState_5638=0, TrainState_5407=0, TrainState_3430=0, TrainState_2704=0, TrainState_8102=0, TrainState_2937=0, TrainState_7373=0, TrainState_6110=0, TrainState_12284=0, TrainState_10565=0, TrainState_6872=0, TrainState_10080=0, TrainState_9588=0, TrainState_5411=0, TrainState_9834=0, TrainState_10294=0, TrainState_1225=0, TrainState_2209=0, TrainState_2934=0, TrainState_4167=0, TrainState_9591=0, TrainState_11300=0, TrainState_9089=0, TrainState_4163=0, TrainState_11542=0, TrainState_6849=0, TrainState_1949=0, TrainState_3928=0, TrainState_10822=0, TrainState_12043=0, TrainState_2210=0, TrainState_3678=0, TrainState_1438=0, TrainState_6870=0, TrainState_971=0, TrainState_3652=0, TrainState_7341=0, TrainState_8352=0, TrainState_4165=0, TrainState_9574=0, TrainState_2200=0, TrainState_2700=0, TrainState_7868=0, TrainState_7853=0, TrainState_2912=0, TrainState_9839=0, TrainState_1439=0, TrainState_8111=0, TrainState_5392=0, TrainState_6887=0, TrainState_12287=0, TrainState_8348=0, TrainState_7362=0, TrainState_10068=0, TrainState_1713=0, TrainState_5163=0, TrainState_5397=0, TrainState_2457=0, TrainState_734=0, TrainState_236=0, TrainState_5398=0, TrainState_8117=0, TrainState_1190=0, TrainState_3441=0, TrainState_2944=0, TrainState_11795=0, TrainState_2448=0, TrainState_2203=0, TrainState_8599=0, TrainState_6626=0, TrainState_732=0, TrainState_6142=0, TrainState_4665=0, TrainState_12285=0, TrainState_2452=0, TrainState_10818=0, TrainState_8600=0, TrainState_3425=0, TrainState_7114=0
May 23, 2018 8:43:46 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was not deterministic with 14386 transitions. Expanding to a total of 16186 deterministic transitions.
May 23, 2018 8:43:46 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1200 constant variables :TrainState_3161=0, TrainState_2668=0, TrainState_5128=0, TrainState_8117=0, TrainState_2201=0, TrainState_3194=0, TrainState_5158=0, TrainState_978=0, TrainState_9342=0, TrainState_7617=0, TrainState_3919=0, TrainState_2686=0, TrainState_12261=0, TrainState_10073=0, TrainState_11790=0, TrainState_4421=0, TrainState_7611=0, TrainState_12263=0, TrainState_8105=0, TrainState_2446=0, TrainState_3181=0, TrainState_11310=0, TrainState_9580=0, TrainState_9826=0, TrainState_1957=0, TrainState_7374=0, TrainState_10079=0, TrainState_9338=0, TrainState_8847=0, TrainState_9828=0, TrainState_6380=0, TrainState_9085=0, TrainState_6135=0, TrainState_4411=0, TrainState_10570=0, TrainState_10538=0, TrainState_6132=0, TrainState_1470=0, TrainState_12281=0, TrainState_11793=0, TrainState_9556=0, TrainState_2195=0, TrainState_9329=0, TrainState_2942=0, TrainState_4664=0, TrainState_3196=0, TrainState_8597=0, TrainState_7125=0, TrainState_11801=0, TrainState_12052=0, TrainState_8841=0, TrainState_8344=0, TrainState_1190=0, TrainState_8598=0, TrainState_944=0, TrainState_11549=0, TrainState_12296=0, TrainState_5620=0, TrainState_1192=0, TrainState_10292=0, TrainState_3185=0, TrainState_5898=0, TrainState_6394=0, TrainState_3180=0, TrainState_728=0, TrainState_11551=0, TrainState_7120=0, TrainState_2458=0, TrainState_8848=0, TrainState_9592=0, TrainState_207=0, TrainState_11309=0, TrainState_11055=0, TrainState_7128=0, TrainState_4919=0, TrainState_4904=0, TrainState_2938=0, TrainState_7366=0, TrainState_6145=0, TrainState_1193=0, TrainState_2174=0, TrainState_3687=0, TrainState_3686=0, TrainState_970=0, TrainState_5893=0, TrainState_7094=0, TrainState_10313=0, TrainState_3431=0, TrainState_3191=0, TrainState_4660=0, TrainState_9099=0, TrainState_10068=0, TrainState_206=0, TrainState_6870=0, TrainState_10567=0, TrainState_7861=0, TrainState_11314=0, TrainState_7615=0, TrainState_736=0, TrainState_4414=0, TrainState_11057=0, TrainState_2456=0, TrainState_6881=0, TrainState_9555=0, TrainState_11308=0, TrainState_5410=0, TrainState_5406=0, TrainState_9554=0, TrainState_6604=0, TrainState_9824=0, TrainState_234=0, TrainState_9557=0, TrainState_5146=0, TrainState_8852=0, TrainState_6872=0, TrainState_11523=0, TrainState_8356=0, TrainState_10069=0, TrainState_9084=0, TrainState_1437=0, TrainState_237=0, TrainState_3683=0, TrainState_3158=0, TrainState_2950=0, TrainState_5129=0, TrainState_8853=0, TrainState_2943=0, TrainState_4917=0, TrainState_2212=0, TrainState_8596=0, TrainState_5640=0, TrainState_967=0, TrainState_241=0, TrainState_8570=0, TrainState_7862=0, TrainState_7340=0, TrainState_10569=0, TrainState_10047=0, TrainState_5618=0, TrainState_4391=0, TrainState_4145=0, TrainState_4175=0, TrainState_3679=0, TrainState_11033=0, TrainState_1212=0, TrainState_6147=0, TrainState_9098=0, TrainState_8345=0, TrainState_3920=0, TrainState_3427=0, TrainState_5165=0, TrainState_9340=0, TrainState_12053=0, TrainState_1710=0, TrainState_3933=0, TrainState_12043=0, TrainState_10815=0, TrainState_3923=0, TrainState_4144=0, TrainState_10323=0, TrainState_4420=0, TrainState_733=0, TrainState_5403=0, TrainState_3674=0, TrainState_12045=0, TrainState_2939=0, TrainState_2441=0, TrainState_4673=0, TrainState_9091=0, TrainState_6146=0, TrainState_5402=0, TrainState_3404=0, TrainState_2420=0, TrainState_5643=0, TrainState_2442=0, TrainState_6133=0, TrainState_5901=0, TrainState_9090=0, TrainState_8840=0, TrainState_1962=0, TrainState_946=0, TrainState_3440=0, TrainState_2452=0, TrainState_491=0, TrainState_6876=0, TrainState_9820=0, TrainState_3675=0, TrainState_6602=0, TrainState_4657=0, TrainState_7365=0, TrainState_8593=0, TrainState_9800=0, TrainState_10049=0, TrainState_10317=0, TrainState_4143=0, TrainState_5644=0, TrainState_2701=0, TrainState_8350=0, TrainState_9331=0, TrainState_6142=0, TrainState_2936=0, TrainState_3924=0, TrainState_6884=0, TrainState_7360=0, TrainState_11297=0, TrainState_1956=0, TrainState_6874=0, TrainState_1716=0, TrainState_11278=0, TrainState_1464=0, TrainState_4410=0, TrainState_8839=0, TrainState_5900=0, TrainState_7123=0, TrainState_3928=0, TrainState_10322=0, TrainState_2704=0, TrainState_11547=0, TrainState_1966=0, TrainState_8836=0, TrainState_3430=0, TrainState_11544=0, TrainState_11279=0, TrainState_5864=0, TrainState_1468=0, TrainState_5642=0, TrainState_8855=0, TrainState_8112=0, TrainState_732=0, TrainState_8573=0, TrainState_12286=0, TrainState_9330=0, TrainState_481=0, TrainState_2698=0, TrainState_9345=0, TrainState_5159=0, TrainState_1473=0, TrainState_10080=0, TrainState_9088=0, TrainState_10325=0, TrainState_8842=0, TrainState_2197=0, TrainState_9586=0, TrainState_5654=0, TrainState_12039=0, TrainState_725=0, TrainState_7606=0, TrainState_231=0, TrainState_1436=0, TrainState_10572=0, TrainState_5161=0, TrainState_9576=0, TrainState_2454=0, TrainState_4416=0, TrainState_6877=0, TrainState_4911=0, TrainState_5394=0, TrainState_8106=0, TrainState_1959=0, TrainState_5400=0, TrainState_5397=0, TrainState_6626=0, TrainState_3677=0, TrainState_6634=0, TrainState_6389=0, TrainState_3935=0, TrainState_10559=0, TrainState_975=0, TrainState_7609=0, TrainState_11552=0, TrainState_4172=0, TrainState_7117=0, TrainState_3428=0, TrainState_11798=0, TrainState_8103=0, TrainState_8595=0, TrainState_8605=0, TrainState_476=0, TrainState_5156=0, TrainState_11062=0, TrainState_9328=0, TrainState_1931=0, TrainState_5150=0, TrainState_233=0, TrainState_2447=0, TrainState_7866=0, TrainState_8816=0, TrainState_10329=0, TrainState_7853=0, TrainState_12262=0, TrainState_4422=0, TrainState_1214=0, TrainState_9835=0, TrainState_1719=0, TrainState_2913=0, TrainState_722=0, TrainState_945=0, TrainState_6387=0, TrainState_9837=0, TrainState_980=0, TrainState_1456=0, TrainState_11056=0, TrainState_6357=0, TrainState_10577=0, TrainState_4413=0, TrainState_9593=0, TrainState_11557=0, TrainState_6386=0, TrainState_2451=0, TrainState_9096=0, TrainState_12035=0, TrainState_9581=0, TrainState_454=0, TrainState_6144=0, TrainState_1951=0, TrainState_10075=0, TrainState_479=0, TrainState_10568=0, TrainState_6143=0, TrainState_10294=0, TrainState_1459=0, TrainState_12290=0, TrainState_2421=0, TrainState_8844=0, TrainState_5899=0, TrainState_10809=0, TrainState_2692=0, TrainState_3443=0, TrainState_730=0, TrainState_8100=0, TrainState_6868=0, TrainState_1685=0, TrainState_8353=0, TrainState_5867=0, TrainState_2203=0, TrainState_7096=0, TrainState_2937=0, TrainState_9097=0, TrainState_2695=0, TrainState_2175=0, TrainState_8358=0, TrainState_6637=0, TrainState_9577=0, TrainState_4655=0, TrainState_11301=0, TrainState_7095=0, TrainState_4918=0, TrainState_10084=0, TrainState_3436=0, TrainState_3932=0, TrainState_4883=0, TrainState_9583=0, TrainState_6111=0, TrainState_4900=0, TrainState_11805=0, TrainState_5126=0, TrainState_11558=0, TrainState_477=0, TrainState_8357=0, TrainState_2196=0, TrainState_971=0, TrainState_1955=0, TrainState_9063=0, TrainState_10822=0, TrainState_5398=0, TrainState_1227=0, TrainState_5395=0, TrainState_9578=0, TrainState_2199=0, TrainState_5646=0, TrainState_3438=0, TrainState_11031=0, TrainState_11799=0, TrainState_1967=0, TrainState_238=0, TrainState_11542=0, TrainState_9065=0, TrainState_10816=0, TrainState_2204=0, TrainState_2914=0, TrainState_7616=0, TrainState_4170=0, TrainState_2200=0, TrainState_6631=0, TrainState_4425=0, TrainState_5392=0, TrainState_6137=0, TrainState_3685=0, TrainState_12297=0, TrainState_9588=0, TrainState_1223=0, TrainState_12293=0, TrainState_9335=0, TrainState_9821=0, TrainState_11546=0, TrainState_8079=0, TrainState_8603=0, TrainState_1714=0, TrainState_5891=0, TrainState_7361=0, TrainState_6848=0, TrainState_3193=0, TrainState_5151=0, TrainState_4178=0, TrainState_10808=0, TrainState_9839=0, TrainState_11803=0, TrainState_1210=0, TrainState_208=0, TrainState_9590=0, TrainState_9829=0, TrainState_6379=0, TrainState_5652=0, TrainState_6887=0, TrainState_964=0, TrainState_8594=0, TrainState_9803=0, TrainState_4671=0, TrainState_10327=0, TrainState_8851=0, TrainState_4902=0, TrainState_5894=0, TrainState_7610=0, TrainState_10312=0, TrainState_10814=0, TrainState_4907=0, TrainState_11802=0, TrainState_5164=0, TrainState_8606=0, TrainState_5895=0, TrainState_11030=0, TrainState_8838=0, TrainState_968=0, TrainState_4179=0, TrainState_8571=0, TrainState_4163=0, TrainState_2947=0, TrainState_2912=0, TrainState_6381=0, TrainState_7121=0, TrainState_10539=0, TrainState_9802=0, TrainState_10566=0, TrainState_982=0, TrainState_487=0, TrainState_1960=0, TrainState_4908=0, TrainState_10046=0, TrainState_10817=0, TrainState_7132=0, TrainState_5157=0, TrainState_9094=0, TrainState_2933=0, TrainState_11769=0, TrainState_6605=0, TrainState_3159=0, TrainState_2198=0, TrainState_483=0, TrainState_9831=0, TrainState_242=0, TrainState_2453=0, TrainState_3424=0, TrainState_4881=0, TrainState_9087=0, TrainState_8113=0, TrainState_4661=0, TrainState_1713=0, TrainState_10806=0, TrainState_11065=0, TrainState_3927=0, TrainState_3653=0, TrainState_8817=0, TrainState_10081=0, TrainState_7856=0, TrainState_8326=0, TrainState_3425=0, TrainState_6625=0, TrainState_227=0, TrainState_10784=0, TrainState_6632=0, TrainState_7863=0, TrainState_8107=0, TrainState_6627=0, TrainState_4168=0, TrainState_11794=0, TrainState_11789=0, TrainState_8600=0, TrainState_4913=0, TrainState_10072=0, TrainState_5393=0, TrainState_9309=0, TrainState_5152=0, TrainState_3925=0, TrainState_9308=0, TrainState_12283=0, TrainState_1949=0, TrainState_6140=0, TrainState_9830=0, TrainState_226=0, TrainState_10071=0, TrainState_5888=0, TrainState_3929=0, TrainState_5408=0, TrainState_10295=0, TrainState_7855=0, TrainState_11051=0, TrainState_3437=0, TrainState_8080=0, TrainState_3673=0, TrainState_12047=0, TrainState_4914=0, TrainState_7614=0, TrainState_10066=0, TrainState_8355=0, TrainState_1954=0, TrainState_2207=0, TrainState_6875=0, TrainState_6395=0, TrainState_4427=0, TrainState_2202=0, TrainState_480=0, TrainState_4636=0, TrainState_2211=0, TrainState_12040=0, TrainState_4174=0, TrainState_2194=0, TrainState_5656=0, TrainState_2696=0, TrainState_7370=0, TrainState_3921=0, TrainState_8347=0, TrainState_12294=0, TrainState_7373=0, TrainState_10565=0, TrainState_6633=0, TrainState_5401=0, TrainState_7608=0, TrainState_5409=0, TrainState_8104=0, TrainState_5153=0, TrainState_11554=0, TrainState_9587=0, TrainState_4912=0, TrainState_11796=0, TrainState_979=0, TrainState_7621=0, TrainState_6110=0, TrainState_7379=0, TrainState_4173=0, TrainState_2945=0, TrainState_9575=0, TrainState_1458=0, TrainState_8354=0, TrainState_3650=0, TrainState_6849=0, TrainState_11797=0, TrainState_8081=0, TrainState_6628=0, TrainState_3429=0, TrainState_7118=0, TrainState_8360=0, TrainState_720=0, TrainState_1953=0, TrainState_2932=0, TrainState_5648=0, TrainState_4669=0, TrainState_229=0, TrainState_3183=0, TrainState_5154=0, TrainState_7607=0, TrainState_8078=0, TrainState_5619=0, TrainState_11063=0, TrainState_2459=0, TrainState_9823=0, TrainState_6136=0, TrainState_4181=0, TrainState_8572=0, TrainState_5865=0, TrainState_981=0, TrainState_5892=0, TrainState_8361=0, TrainState_7618=0, TrainState_7869=0, TrainState_6131=0, TrainState_10563=0, TrainState_474=0, TrainState_1709=0, TrainState_1705=0, TrainState_9589=0, TrainState_12014=0, TrainState_9591=0, TrainState_9083=0, TrainState_8590=0, TrainState_9836=0, TrainState_6134=0, TrainState_6885=0, TrainState_5162=0, TrainState_8327=0, TrainState_11771=0, TrainState_6623=0, TrainState_2946=0, TrainState_2210=0, TrainState_10083=0, TrainState_10576=0, TrainState_5649=0, TrainState_10330=0, TrainState_10316=0, TrainState_719=0, TrainState_4426=0, TrainState_10819=0, TrainState_8111=0, TrainState_240=0, TrainState_5866=0, TrainState_11311=0, TrainState_11052=0, TrainState_4901=0, TrainState_3407=0, TrainState_2935=0, TrainState_7858=0, TrainState_8324=0, TrainState_11770=0, TrainState_3922=0, TrainState_1462=0, TrainState_5404=0, TrainState_7363=0, TrainState_966=0, TrainState_5903=0, TrainState_735=0, TrainState_1222=0, TrainState_2949=0, TrainState_4666=0, TrainState_3916=0, TrainState_4905=0, TrainState_1707=0, TrainState_8346=0, TrainState_1715=0, TrainState_10326=0, TrainState_239=0, TrainState_727=0, TrainState_10085=0, TrainState_2941=0, TrainState_6378=0, TrainState_8849=0, TrainState_5639=0, TrainState_11550=0, TrainState_6638=0, TrainState_5657=0, TrainState_8108=0, TrainState_1211=0, TrainState_10558=0, TrainState_4916=0, TrainState_472=0, TrainState_1952=0, TrainState_6393=0, TrainState_4635=0, TrainState_5399=0, TrainState_10321=0, TrainState_7625=0, TrainState_9801=0, TrainState_12289=0, TrainState_6603=0, TrainState_4388=0, TrainState_7131=0, TrainState_5147=0, TrainState_1216=0, TrainState_5896=0, TrainState_10541=0, TrainState_230=0, TrainState_6390=0, TrainState_2689=0, TrainState_7126=0, TrainState_7613=0, TrainState_9832=0, TrainState_11276=0, TrainState_9585=0, TrainState_12050=0, TrainState_8608=0, TrainState_3918=0, TrainState_4634=0, TrainState_7371=0, TrainState_10820=0, TrainState_6639=0, TrainState_3651=0, TrainState_8362=0, TrainState_2700=0, TrainState_7612=0, TrainState_10821=0, TrainState_5372=0, TrainState_11315=0, TrainState_7587=0, TrainState_10331=0, TrainState_1465=0, TrainState_11522=0, TrainState_12017=0, TrainState_1218=0, TrainState_11069=0, TrainState_9341=0, TrainState_7115=0, TrainState_473=0, TrainState_2448=0, TrainState_9095=0, TrainState_11059=0, TrainState_10076=0, TrainState_2176=0, TrainState_2688=0, TrainState_1215=0, TrainState_2669=0, TrainState_12015=0, TrainState_700=0, TrainState_11053=0, TrainState_1703=0, TrainState_489=0, TrainState_10810=0, TrainState_8349=0, TrainState_1439=0, TrainState_11525=0, TrainState_12285=0, TrainState_5407=0, TrainState_3670=0, TrainState_5396=0, TrainState_11800=0, TrainState_731=0, TrainState_485=0, TrainState_10082=0, TrainState_6882=0, TrainState_4637=0, TrainState_3439=0, TrainState_228=0, TrainState_9086=0, TrainState_6871=0, TrainState_724=0, TrainState_9064=0, TrainState_9574=0, TrainState_9101=0, TrainState_7854=0, TrainState_2951=0, TrainState_1721=0, TrainState_6358=0, TrainState_6636=0, TrainState_6149=0, TrainState_1460=0, TrainState_3897=0, TrainState_6635=0, TrainState_4670=0, TrainState_11543=0, TrainState_6641=0, TrainState_8115=0, TrainState_1928=0, TrainState_4882=0, TrainState_977=0, TrainState_6385=0, TrainState_3652=0, TrainState_453=0, TrainState_1226=0, TrainState_2667=0, TrainState_11306=0, TrainState_6630=0, TrainState_1213=0, TrainState_12298=0, TrainState_3179=0, TrainState_698=0, TrainState_5411=0, TrainState_9311=0, TrainState_10067=0, TrainState_11561=0, TrainState_8099=0, TrainState_8609=0, TrainState_455=0, TrainState_3182=0, TrainState_475=0, TrainState_7833=0, TrainState_12051=0, TrainState_3680=0, TrainState_3899=0, TrainState_11067=0, TrainState_3406=0, TrainState_3433=0, TrainState_2705=0, TrainState_2423=0, TrainState_1466=0, TrainState_6376=0, TrainState_478=0, TrainState_7834=0, TrainState_7368=0, TrainState_7586=0, TrainState_12292=0, TrainState_452=0, TrainState_11804=0, TrainState_4663=0, TrainState_7867=0, TrainState_11066=0, TrainState_7376=0, TrainState_11298=0, TrainState_1472=0, TrainState_1965=0, TrainState_7864=0, TrainState_10804=0, TrainState_6384=0, TrainState_11555=0, TrainState_484=0, TrainState_12048=0, TrainState_9333=0, TrainState_983=0, TrainState_969=0, TrainState_8846=0, TrainState_11050=0, TrainState_6873=0, TrainState_490=0, TrainState_9339=0, TrainState_7852=0, TrainState_9092=0, TrainState_5902=0, TrainState_11060=0, TrainState_3189=0, TrainState_1718=0, TrainState_10561=0, TrainState_11788=0, TrainState_9336=0, TrainState_10293=0, TrainState_8604=0, TrainState_2940=0, TrainState_2703=0, TrainState_8837=0, TrainState_10807=0, TrainState_9062=0, TrainState_7870=0, TrainState_7832=0, TrainState_11054=0, TrainState_6382=0, TrainState_9093=0, TrainState_1457=0, TrainState_2445=0, TrainState_2691=0, TrainState_1717=0, TrainState_10562=0, TrainState_3917=0, TrainState_4389=0, TrainState_7623=0, TrainState_12284=0, TrainState_1702=0, TrainState_7589=0, TrainState_6879=0, TrainState_7624=0, TrainState_7342=0, TrainState_232=0, TrainState_4665=0, TrainState_11277=0, TrainState_9822=0, TrainState_1471=0, TrainState_8348=0, TrainState_3432=0, TrainState_10812=0, TrainState_8352=0, TrainState_5638=0, Train
State_12037=0, TrainState_5884=0, TrainState_8109=0, TrainState_9834=0, TrainState_11792=0, TrainState_11545=0, TrainState_4880=0, TrainState_1467=0, TrainState_3186=0, TrainState_7375=0, TrainState_10048=0, TrainState_6392=0, TrainState_2934=0, TrainState_9337=0, TrainState_729=0, TrainState_10818=0, TrainState_4412=0, TrainState_2693=0, TrainState_6880=0, TrainState_10571=0, TrainState_6112=0, TrainState_6883=0, TrainState_11807=0, TrainState_1720=0, TrainState_1224=0, TrainState_965=0, TrainState_4177=0, TrainState_3930=0, TrainState_7341=0, TrainState_4662=0, TrainState_1191=0, TrainState_8591=0, TrainState_3188=0, TrainState_701=0, TrainState_1463=0, TrainState_8359=0, TrainState_11524=0, TrainState_7116=0, TrainState_1712=0, TrainState_11304=0, TrainState_3178=0, TrainState_7119=0, TrainState_1704=0, TrainState_7857=0, TrainState_6640=0, TrainState_973=0, TrainState_4408=0, TrainState_12287=0, TrainState_12280=0, TrainState_235=0, TrainState_6391=0, TrainState_11061=0, TrainState_7122=0, TrainState_4656=0, TrainState_7364=0, TrainState_10077=0, TrainState_10324=0, TrainState_7133=0, TrainState_5149=0, TrainState_8843=0, TrainState_10540=0, TrainState_7343=0, TrainState_1683=0, TrainState_11300=0, TrainState_9827=0, TrainState_5890=0, TrainState_5651=0, TrainState_8592=0, TrainState_2694=0, TrainState_5885=0, TrainState_3192=0, TrainState_4171=0, TrainState_2450=0, TrainState_9833=0, TrainState_721=0, TrainState_8102=0, TrainState_7129=0, TrainState_974=0, TrainState_3926=0, TrainState_10823=0, TrainState_1228=0, TrainState_1461=0, TrainState_7097=0, TrainState_2699=0, TrainState_1221=0, TrainState_7835=0, TrainState_4915=0, TrainState_1438=0, TrainState_6148=0, TrainState_4423=0, TrainState_5655=0, TrainState_244=0, TrainState_10070=0, TrainState_3195=0, TrainState_2444=0, TrainState_9100=0, TrainState_11553=0, TrainState_8850=0, TrainState_2209=0, TrainState_1930=0, TrainState_9310=0, TrainState_8351=0, TrainState_5127=0, TrainState_243=0, TrainState_718=0, TrainState_8819=0, TrainState_10320=0, TrainState_8101=0, TrainState_11307=0, TrainState_11032=0, TrainState_9334=0, TrainState_6356=0, TrainState_3934=0, TrainState_2687=0, TrainState_3434=0, TrainState_1475=0, TrainState_9344=0, TrainState_5374=0, TrainState_1474=0, TrainState_3197=0, TrainState_8110=0, TrainState_9347=0, TrainState_5160=0, TrainState_699=0, TrainState_7859=0, TrainState_11302=0, TrainState_6629=0, TrainState_10564=0, TrainState_2666=0, TrainState_10574=0, TrainState_723=0, TrainState_2915=0, TrainState_9346=0, TrainState_10074=0, TrainState_5653=0, TrainState_11312=0, TrainState_3898=0, TrainState_11064=0, TrainState_5641=0, TrainState_3405=0, TrainState_9089=0, TrainState_5889=0, TrainState_10575=0, TrainState_3671=0, TrainState_12041=0, TrainState_4654=0, TrainState_7367=0, TrainState_4164=0, TrainState_1929=0, TrainState_3681=0, TrainState_12299=0, TrainState_12042=0, TrainState_4162=0, TrainState_2213=0, TrainState_10560=0, TrainState_2697=0, TrainState_5375=0, TrainState_1948=0, TrainState_7378=0, TrainState_9332=0, TrainState_6869=0, TrainState_7362=0, TrainState_7127=0, TrainState_12282=0, TrainState_4668=0, TrainState_8607=0, TrainState_12049=0, TrainState_5647=0, TrainState_7130=0, TrainState_5897=0, TrainState_4409=0, TrainState_11058=0, TrainState_6886=0, TrainState_6624=0, TrainState_7871=0, TrainState_6130=0, TrainState_8098=0, TrainState_236=0, TrainState_11313=0, TrainState_7114=0, TrainState_3684=0, TrainState_3678=0, TrainState_7865=0, TrainState_1961=0, TrainState_7868=0, TrainState_4142=0, TrainState_3160=0, TrainState_1963=0, TrainState_9082=0, TrainState_10813=0, TrainState_4417=0, TrainState_4667=0, TrainState_4658=0, TrainState_8599=0, TrainState_6850=0, TrainState_7619=0, TrainState_3896=0, TrainState_4166=0, TrainState_972=0, TrainState_11806=0, TrainState_11548=0, TrainState_6878=0, TrainState_1219=0, TrainState_8601=0, TrainState_3682=0, TrainState_1950=0, TrainState_2449=0, TrainState_12291=0, TrainState_1964=0, TrainState_9838=0, TrainState_486=0, TrainState_5155=0, TrainState_6113=0, TrainState_1682=0, TrainState_1217=0, TrainState_4909=0, TrainState_5621=0, TrainState_7124=0, TrainState_8363=0, TrainState_947=0, TrainState_4418=0, TrainState_2206=0, TrainState_1469=0, TrainState_11296=0, TrainState_2443=0, TrainState_488=0, TrainState_3672=0, TrainState_3688=0, TrainState_4910=0, TrainState_1225=0, TrainState_1958=0, TrainState_10811=0, TrainState_11791=0, TrainState_6141=0, TrainState_726=0, TrainState_8845=0, TrainState_5163=0, TrainState_4672=0, TrainState_3676=0, TrainState_11559=0, TrainState_209=0, TrainState_4415=0, TrainState_1711=0, TrainState_11299=0, TrainState_6377=0, TrainState_12038=0, TrainState_9579=0, TrainState_5645=0, TrainState_2690=0, TrainState_1220=0, TrainState_976=0, TrainState_12034=0, TrainState_3426=0, TrainState_5405=0, TrainState_1229=0, TrainState_734=0, TrainState_5650=0, TrainState_2205=0, TrainState_2455=0, TrainState_7588=0, TrainState_8854=0, TrainState_12046=0, TrainState_4906=0, TrainState_6851=0, TrainState_6383=0, TrainState_3689=0, TrainState_8116=0, TrainState_6359=0, TrainState_245=0, TrainState_12260=0, TrainState_12288=0, TrainState_2702=0, TrainState_12044=0, TrainState_11305=0, TrainState_9343=0, TrainState_2944=0, TrainState_3435=0, TrainState_12295=0, TrainState_6139=0, TrainState_2440=0, TrainState_1708=0, TrainState_482=0, TrainState_8818=0, TrainState_4424=0, TrainState_11768=0, TrainState_8602=0, TrainState_10787=0, TrainState_3441=0, TrainState_11068=0, TrainState_5887=0, TrainState_6138=0, TrainState_7372=0, TrainState_2948=0, TrainState_12016=0, TrainState_10319=0, TrainState_9582=0, TrainState_9825=0, TrainState_7369=0, TrainState_4167=0, TrainState_5886=0, TrainState_8114=0, TrainState_10078=0, TrainState_10785=0, TrainState_3187=0, TrainState_5373=0, TrainState_10328=0, TrainState_3190=0, TrainState_4180=0, TrainState_3931=0, TrainState_3184=0, TrainState_10786=0, TrainState_9584=0, TrainState_5148=0, TrainState_6622=0, TrainState_11556=0, TrainState_3442=0, TrainState_1706=0, TrainState_10318=0, TrainState_4659=0, TrainState_11795=0, TrainState_8325=0, TrainState_7377=0, TrainState_10805=0, TrainState_10315=0, TrainState_2208=0, TrainState_6388=0, TrainState_7620=0, TrainState_10314=0, TrainState_7860=0, TrainState_4903=0, TrainState_4169=0, TrainState_2177=0, TrainState_1684=0, TrainState_2457=0, TrainState_7622=0, TrainState_4176=0, TrainState_11303=0, TrainState_2422=0, TrainState_12036=0, TrainState_4390=0, TrainState_11560=0, TrainState_10573=0, TrainState_4165=0, TrainState_4419=0, TrainState_737=0
May 23, 2018 8:43:46 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Determinization took 173 ms.
May 23, 2018 8:43:47 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 3905 ms
May 23, 2018 8:43:47 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 3418 ms
May 23, 2018 8:43:47 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /mcc-data/ReachabilityCardinality.pnml.gal : 298 ms
!SESSION 2018-05-23 08:40:40.354 -----------------------------------------------
eclipse.buildId=4.7.2.M20171130-0510
java.version=1.8.0_162
java.vendor=Oracle Corporation
BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=en_US
Framework arguments: -application fr.lip6.move.gal.application.pnmcc -z3path /usr/bin/z3 -yices2path /usr/bin/yices -ltsminpath /usr/bin -smt -its -pnfolder /mcc-data -examination ReachabilityCardinality
Command-line arguments: -application fr.lip6.move.gal.application.pnmcc -data /usr/share/itscl/eclipse/workspace -os linux -ws gtk -arch x86_64 -consoleLog -z3path /usr/bin/z3 -yices2path /usr/bin/yices -ltsminpath /usr/bin -smt -its -pnfolder /mcc-data -examination ReachabilityCardinality

!ENTRY org.eclipse.osgi 4 0 2018-05-23 08:43:47.820
!MESSAGE Application error
!STACK 1
java.lang.StackOverflowError
at java.io.BufferedWriter.write(BufferedWriter.java:226)
at java.io.PrintWriter.write(PrintWriter.java:456)
at java.io.PrintWriter.write(PrintWriter.java:473)
at java.io.PrintWriter.print(PrintWriter.java:603)
at fr.lip6.move.serialization.IndentedPrintWriter.print(IndentedPrintWriter.java:35)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:308)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:69)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:309)
at fr.lip6.move.serialization.BasicGalSerializer.caseBinaryIntExpression(BasicGalSerializer.java:1)
at fr.lip6.move.gal.util.GalSwitch.doSwitch(GalSwitch.java:498)
at org.eclipse.emf.ecore.util.Switch.doSwitch(Switch.java:53)
May 23, 2018 8:43:49 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Input system was not deterministic with 14386 transitions. Expanding to a total of 16186 deterministic transitions.
May 23, 2018 8:43:49 AM fr.lip6.move.gal.semantics.DeterministicNextBuilder getDeterministicNext
INFO: Determinization took 73 ms.
An error has occurred. See the log file
/usr/share/itscl/configuration/1527064840845.log.
CANNOT COMPUTE

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="BART-COL-050"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="mcc4mcc-structural"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/BART-COL-050.tgz
mv BART-COL-050 execution
cd execution
pwd
ls -lh

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3637"
echo " Executing tool mcc4mcc-structural"
echo " Input is BART-COL-050, examination is ReachabilityCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r035-ebro-152646314900047"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "ReachabilityCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' ReachabilityCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;