About the Execution of ITS-Tools.M for BART-COL-020
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1140.800 | 3600000.00 | 10480540.00 | 368.00 | TFF??T?FTFTTTTFT | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/local/x2003239/mcc2019-input.r189-csrt-155225080200278.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2019-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-3954
Executing tool itstoolsm
Input is BART-COL-020, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r189-csrt-155225080200278
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 360K
-rw-r--r-- 1 mcc users 3.7K Feb 9 07:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Feb 9 07:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Feb 5 04:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Feb 5 04:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 10 17:31 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 10 17:31 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 99 Feb 24 15:05 GlobalProperties.txt
-rw-r--r-- 1 mcc users 337 Feb 24 15:05 GlobalProperties.xml
-rw-r--r-- 1 mcc users 2.6K Feb 4 22:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 12K Feb 4 22:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Feb 4 22:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 8.5K Feb 4 22:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 2 01:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Feb 2 01:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Jan 29 12:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Jan 29 12:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 4 22:18 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 4 22:18 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Jan 29 09:34 equiv_pt
-rw-r--r-- 1 mcc users 4 Jan 29 09:34 instance
-rw-r--r-- 1 mcc users 5 Jan 29 09:34 iscolored
-rw-r--r-- 1 mcc users 195K Mar 10 17:31 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
The expected result is a vector of booleans
BOOL_VECTOR
here is the order used to build the result vector(from text file)
FORMULA_NAME BART-COL-020-ReachabilityCardinality-00
FORMULA_NAME BART-COL-020-ReachabilityCardinality-01
FORMULA_NAME BART-COL-020-ReachabilityCardinality-02
FORMULA_NAME BART-COL-020-ReachabilityCardinality-03
FORMULA_NAME BART-COL-020-ReachabilityCardinality-04
FORMULA_NAME BART-COL-020-ReachabilityCardinality-05
FORMULA_NAME BART-COL-020-ReachabilityCardinality-06
FORMULA_NAME BART-COL-020-ReachabilityCardinality-07
FORMULA_NAME BART-COL-020-ReachabilityCardinality-08
FORMULA_NAME BART-COL-020-ReachabilityCardinality-09
FORMULA_NAME BART-COL-020-ReachabilityCardinality-10
FORMULA_NAME BART-COL-020-ReachabilityCardinality-11
FORMULA_NAME BART-COL-020-ReachabilityCardinality-12
FORMULA_NAME BART-COL-020-ReachabilityCardinality-13
FORMULA_NAME BART-COL-020-ReachabilityCardinality-14
FORMULA_NAME BART-COL-020-ReachabilityCardinality-15
=== Now, execution of the tool begins
BK_START 1553596291589
10:31:33.920 [main] ERROR PNML validation - The rng grammar file can't be accessed : www.pnml.org
10:31:33.923 [main] ERROR import - Grammar file errors have been raised, the validation can't be done, process will continue without Grammar validation
Working with output stream class java.io.PrintStream
FORMULA BART-COL-020-ReachabilityCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-020-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-020-ReachabilityCardinality-13 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-020-ReachabilityCardinality-12 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-020-ReachabilityCardinality-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-020-ReachabilityCardinality-10 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-020-ReachabilityCardinality-09 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-020-ReachabilityCardinality-08 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-020-ReachabilityCardinality-07 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-020-ReachabilityCardinality-05 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-020-ReachabilityCardinality-02 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-020-ReachabilityCardinality-01 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA BART-COL-020-ReachabilityCardinality-00 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
Using solver Z3 to compute partial order matrices.
Built C files in :
/home/mcc/execution
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination ReachabilityCardinality -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss8m -Xms40m -Xmx8192m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6
Mar 26, 2019 10:31:33 AM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, ReachabilityCardinality, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt]
Mar 26, 2019 10:31:33 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 26, 2019 10:31:33 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Mar 26, 2019 10:31:34 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 962 ms
Mar 26, 2019 10:31:34 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 4 places.
Mar 26, 2019 10:31:34 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Mar 26, 2019 10:31:34 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :speedXdist->StopTable,
distXspeedXdist->NewDistTable,
traincontext->TrainState,
distance->DistStation,
Mar 26, 2019 10:31:34 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 7 transitions.
Mar 26, 2019 10:31:34 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Mar 26, 2019 10:31:34 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 21 ms
Mar 26, 2019 10:31:35 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 15293 variables) in GAL type BART_COL_020
Mar 26, 2019 10:31:35 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 10373 constant array cells/variables (out of 15293 variables) in type BART_COL_020
Mar 26, 2019 10:31:35 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: NewDistTable[0-10085], StopTable[0-245], DistStation[0-40],
Mar 26, 2019 10:34:23 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 1.458093122E10 instantiations of transitions. Total transitions/syncs built is 6486
Mar 26, 2019 10:34:23 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 15293 variables) in GAL type BART_COL_020
Mar 26, 2019 10:34:23 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 10853 constant array cells/variables (out of 15293 variables) in type BART_COL_020
Mar 26, 2019 10:34:23 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: NewDistTable[0-10085], StopTable[0-245], DistStation[0-40], 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],
Mar 26, 2019 10:35:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :NewDistTable[]
Mar 26, 2019 10:35:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :StopTable[]
Mar 26, 2019 10:35:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :DistStation[]
Mar 26, 2019 10:35:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 243208 expressions due to constant valuations.
Mar 26, 2019 10:35:39 AM fr.lip6.move.gal.instantiate.Instantiator dropEvents
INFO: Dropping 5 events :TrainDeccds2_0_1,TrainDeccds2_0_1,TrainDeccds2_0_1,TrainDeccds2_0_1,TrainDeccds2_0_1,
Mar 26, 2019 10:35:39 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 5 redundant transitions.
Mar 26, 2019 10:35:39 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BART-COL-020-ReachabilityCardinality-00 is trivially true : it is verified in initial state.
Mar 26, 2019 10:35:39 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property BART-COL-020-ReachabilityCardinality-02 is trivially false : it is not verified in initial state.
Mar 26, 2019 10:35:39 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BART-COL-020-ReachabilityCardinality-05 is trivially true : it is verified in initial state.
Mar 26, 2019 10:35:39 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property BART-COL-020-ReachabilityCardinality-07 is trivially false : it is not verified in initial state.
Mar 26, 2019 10:35:39 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BART-COL-020-ReachabilityCardinality-11 is trivially true : it is verified in initial state.
Mar 26, 2019 10:35:39 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BART-COL-020-ReachabilityCardinality-12 is trivially true : it is verified in initial state.
Mar 26, 2019 10:35:39 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property BART-COL-020-ReachabilityCardinality-15 is trivially true : it is verified in initial state.
Mar 26, 2019 10:35:40 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 245073 ms
Mar 26, 2019 10:35:42 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 480 fixed domain variables (out of 4920 variables) in GAL type BART_COL_020_flat
Mar 26, 2019 10:35:42 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 480 constant array cells/variables (out of 4920 variables) in type BART_COL_020_flat
Mar 26, 2019 10:35:42 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: TrainState_4389,TrainState_4417,TrainState_1462,TrainState_1954,TrainState_4422,TrainState_966,TrainState_2444,TrainState_2454,TrainState_2934,TrainState_4423,TrainState_1469,TrainState_1192,TrainState_735,TrainState_453,TrainState_4902,TrainState_1955,TrainState_1215,TrainState_1708,TrainState_3406,TrainState_4410,TrainState_1966,TrainState_3443,TrainState_4666,TrainState_4665,TrainState_4916,TrainState_4173,TrainState_4427,TrainState_1964,TrainState_968,TrainState_1931,TrainState_4913,TrainState_719,TrainState_481,TrainState_737,TrainState_4412,TrainState_4909,TrainState_700,TrainState_231,TrainState_1226,TrainState_2199,TrainState_3919,TrainState_4181,TrainState_480,TrainState_4411,TrainState_238,TrainState_4418,TrainState_3934,TrainState_1961,TrainState_2935,TrainState_230,TrainState_2937,TrainState_207,TrainState_4426,TrainState_2441,TrainState_3670,TrainState_734,TrainState_472,TrainState_1960,TrainState_944,TrainState_2453,TrainState_964,TrainState_1959,TrainState_1685,TrainState_4143,TrainState_2203,TrainState_4660,TrainState_4661,TrainState_4388,TrainState_1438,TrainState_4408,TrainState_2686,TrainState_3920,TrainState_4142,TrainState_722,TrainState_3424,TrainState_2458,TrainState_2913,TrainState_2445,TrainState_967,TrainState_2951,TrainState_971,TrainState_3924,TrainState_2420,TrainState_3897,TrainState_1212,TrainState_4165,TrainState_980,TrainState_3677,TrainState_3160,TrainState_4390,TrainState_970,TrainState_4918,TrainState_3686,TrainState_1225,TrainState_3194,TrainState_3192,TrainState_4163,TrainState_3433,TrainState_1956,TrainState_4668,TrainState_3193,TrainState_721,TrainState_1706,TrainState_2213,TrainState_3896,TrainState_452,TrainState_730,TrainState_4391,TrainState_1717,TrainState_4415,TrainState_3431,TrainState_2945,TrainState_2197,TrainState_479,TrainState_1682,TrainState_4912,TrainState_2692,TrainState_728,TrainState_1950,TrainState_947,TrainState_489,TrainState_2705,TrainState_2194,TrainState_2204,TrainState_1965,TrainState_3432,TrainState_1716,TrainState_2196,TrainState_3429,TrainState_1191,TrainState_2941,TrainState_4637,TrainState_725,TrainState_1683,TrainState_983,TrainState_4882,TrainState_4911,TrainState_239,TrainState_1214,TrainState_3673,TrainState_2697,TrainState_4880,TrainState_3195,TrainState_976,TrainState_3438,TrainState_2443,TrainState_2669,TrainState_1951,TrainState_4425,TrainState_1963,TrainState_1709,TrainState_491,TrainState_3434,TrainState_1703,TrainState_4178,TrainState_4658,TrainState_2451,TrainState_2207,TrainState_3933,TrainState_1470,TrainState_1930,TrainState_982,TrainState_1704,TrainState_1223,TrainState_727,TrainState_3188,TrainState_473,TrainState_2698,TrainState_486,TrainState_1229,TrainState_1463,TrainState_4672,TrainState_3186,TrainState_3672,TrainState_1458,TrainState_2456,TrainState_4145,TrainState_2422,TrainState_2694,TrainState_4634,TrainState_2939,TrainState_3405,TrainState_1721,TrainState_3190,TrainState_3183,TrainState_1222,TrainState_4168,TrainState_488,TrainState_227,TrainState_972,TrainState_4169,TrainState_3404,TrainState_4907,TrainState_2940,TrainState_3682,TrainState_1218,TrainState_1216,TrainState_3689,TrainState_3925,TrainState_3926,TrainState_981,TrainState_4162,TrainState_2440,TrainState_482,TrainState_718,TrainState_1712,TrainState_244,TrainState_3439,TrainState_1456,TrainState_1466,TrainState_979,TrainState_2949,TrainState_235,TrainState_3935,TrainState_3180,TrainState_1474,TrainState_2448,TrainState_2450,TrainState_1224,TrainState_1707,TrainState_3688,TrainState_3158,TrainState_3161,TrainState_1962,TrainState_4416,TrainState_1464,TrainState_4917,TrainState_1705,TrainState_2452,TrainState_1468,TrainState_3159,TrainState_4905,TrainState_2932,TrainState_3428,TrainState_3179,TrainState_485,TrainState_2455,TrainState_3675,TrainState_1457,TrainState_455,TrainState_3674,TrainState_975,TrainState_3650,TrainState_945,TrainState_4424,TrainState_206,TrainState_4671,TrainState_3187,TrainState_1213,TrainState_2198,TrainState_726,TrainState_4656,TrainState_1437,TrainState_3189,TrainState_1220,TrainState_978,TrainState_1928,TrainState_4659,TrainState_2201,TrainState_245,TrainState_4664,TrainState_2696,TrainState_478,TrainState_2202,TrainState_1227,TrainState_3653,TrainState_2942,TrainState_3651,TrainState_3185,TrainState_4906,TrainState_1715,TrainState_1949,TrainState_2912,TrainState_4881,TrainState_3652,TrainState_2200,TrainState_736,TrainState_2936,TrainState_4903,TrainState_2688,TrainState_3898,TrainState_4174,TrainState_3436,TrainState_4144,TrainState_232,TrainState_701,TrainState_477,TrainState_474,TrainState_2210,TrainState_237,TrainState_3899,TrainState_1720,TrainState_2703,TrainState_4636,TrainState_3683,TrainState_3442,TrainState_3181,TrainState_2442,TrainState_4667,TrainState_4919,TrainState_3178,TrainState_969,TrainState_1475,TrainState_3441,TrainState_2948,TrainState_3440,TrainState_2946,TrainState_2933,TrainState_2947,TrainState_2421,TrainState_3917,TrainState_1713,TrainState_4670,TrainState_3427,TrainState_2690,TrainState_731,TrainState_946,TrainState_2177,TrainState_4654,TrainState_1967,TrainState_1436,TrainState_3680,TrainState_729,TrainState_1221,TrainState_2209,TrainState_3931,TrainState_3679,TrainState_3918,TrainState_4669,TrainState_236,TrainState_4180,TrainState_2704,TrainState_1460,TrainState_3676,TrainState_1957,TrainState_3687,TrainState_2174,TrainState_2691,TrainState_2459,TrainState_2699,TrainState_3923,TrainState_1953,TrainState_4908,TrainState_1473,TrainState_3922,TrainState_1714,TrainState_2700,TrainState_209,TrainState_3685,TrainState_1228,TrainState_720,TrainState_2447,TrainState_2208,TrainState_2702,TrainState_475,TrainState_2205,TrainState_3425,TrainState_1461,TrainState_241,TrainState_974,TrainState_1711,TrainState_4657,TrainState_4421,TrainState_2666,TrainState_3921,TrainState_1190,TrainState_4663,TrainState_698,TrainState_1958,TrainState_229,TrainState_1684,TrainState_4655,TrainState_732,TrainState_2914,TrainState_723,TrainState_208,TrainState_3430,TrainState_4635,TrainState_2211,TrainState_3182,TrainState_2206,TrainState_3684,TrainState_490,TrainState_1472,TrainState_4901,TrainState_487,TrainState_4179,TrainState_3932,TrainState_3184,TrainState_2938,TrainState_2693,TrainState_3916,TrainState_3681,TrainState_4662,TrainState_1948,TrainState_2668,TrainState_1217,TrainState_4904,TrainState_242,TrainState_4175,TrainState_2446,TrainState_4910,TrainState_1210,TrainState_4167,TrainState_3435,TrainState_2695,TrainState_240,TrainState_3929,TrainState_4414,TrainState_3196,TrainState_3678,TrainState_3426,TrainState_4915,TrainState_4172,TrainState_973,TrainState_2687,TrainState_1459,TrainState_3927,TrainState_2449,TrainState_4176,TrainState_4166,TrainState_724,TrainState_2701,TrainState_3407,TrainState_2175,TrainState_1211,TrainState_4170,TrainState_1719,TrainState_1471,TrainState_4177,TrainState_1929,TrainState_4164,TrainState_1465,TrainState_2689,TrainState_3191,TrainState_1702,TrainState_483,TrainState_226,TrainState_4673,TrainState_3928,TrainState_1718,TrainState_1952,TrainState_454,TrainState_2943,TrainState_1193,TrainState_977,TrainState_3671,TrainState_2944,TrainState_1467,TrainState_476,TrainState_2950,TrainState_2915,TrainState_2457,TrainState_4171,TrainState_733,TrainState_4420,TrainState_3437,TrainState_4409,TrainState_2667,TrainState_484,TrainState_4914,TrainState_3197,TrainState_4419,TrainState_4883,TrainState_699,TrainState_4900,TrainState_4413,TrainState_1710,TrainState_965,TrainState_1439,TrainState_2176,TrainState_228,TrainState_1219,TrainState_233,TrainState_243,TrainState_2212,TrainState_2423,TrainState_3930,TrainState_234,TrainState_2195,
Mar 26, 2019 10:35:42 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 480 fixed domain variables (out of 4920 variables) in GAL type BART_COL_020_flat
Mar 26, 2019 10:35:42 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 480 constant array cells/variables (out of 4920 variables) in type BART_COL_020_flat
Mar 26, 2019 10:35:42 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: TrainState_3429,TrainState_4880,TrainState_2207,TrainState_4408,TrainState_2934,TrainState_1719,TrainState_3919,TrainState_3435,TrainState_4389,TrainState_974,TrainState_239,TrainState_4914,TrainState_2208,TrainState_979,TrainState_1456,TrainState_3921,TrainState_2941,TrainState_1931,TrainState_2946,TrainState_3681,TrainState_2176,TrainState_4900,TrainState_3406,TrainState_3405,TrainState_1709,TrainState_3193,TrainState_4663,TrainState_1225,TrainState_3679,TrainState_2458,TrainState_1963,TrainState_245,TrainState_4418,TrainState_735,TrainState_481,TrainState_4669,TrainState_2687,TrainState_478,TrainState_1706,TrainState_2698,TrainState_2942,TrainState_726,TrainState_3918,TrainState_3689,TrainState_2421,TrainState_4654,TrainState_4411,TrainState_3194,TrainState_2212,TrainState_719,TrainState_1717,TrainState_947,TrainState_4417,TrainState_724,TrainState_2669,TrainState_3185,TrainState_2213,TrainState_4919,TrainState_982,TrainState_699,TrainState_4143,TrainState_234,TrainState_4391,TrainState_3897,TrainState_3191,TrainState_489,TrainState_4175,TrainState_1210,TrainState_3434,TrainState_1224,TrainState_1707,TrainState_3440,TrainState_2450,TrainState_1469,TrainState_479,TrainState_3196,TrainState_723,TrainState_2700,TrainState_2915,TrainState_698,TrainState_244,TrainState_483,TrainState_1466,TrainState_1227,TrainState_1712,TrainState_1474,TrainState_2442,TrainState_4637,TrainState_2948,TrainState_480,TrainState_3896,TrainState_1226,TrainState_3187,TrainState_3439,TrainState_484,TrainState_1960,TrainState_2937,TrainState_3934,TrainState_4660,TrainState_3158,TrainState_475,TrainState_2945,TrainState_2445,TrainState_2951,TrainState_1720,TrainState_3673,TrainState_4144,TrainState_1961,TrainState_4916,TrainState_2694,TrainState_3670,TrainState_2203,TrainState_4427,TrainState_700,TrainState_944,TrainState_1218,TrainState_3650,TrainState_1962,TrainState_4635,TrainState_2443,TrainState_978,TrainState_1704,TrainState_2938,TrainState_4666,TrainState_976,TrainState_3930,TrainState_3931,TrainState_209,TrainState_3687,TrainState_1213,TrainState_1682,TrainState_968,TrainState_4162,TrainState_4171,TrainState_3932,TrainState_1464,TrainState_4661,TrainState_2940,TrainState_4665,TrainState_229,TrainState_1702,TrainState_946,TrainState_4909,TrainState_3684,TrainState_4918,TrainState_3924,TrainState_1959,TrainState_1460,TrainState_1705,TrainState_477,TrainState_2210,TrainState_3917,TrainState_4426,TrainState_4416,TrainState_1713,TrainState_4142,TrainState_206,TrainState_2198,TrainState_3928,TrainState_490,TrainState_965,TrainState_2689,TrainState_720,TrainState_3181,TrainState_3677,TrainState_734,TrainState_2950,TrainState_4167,TrainState_3899,TrainState_4164,TrainState_1461,TrainState_4420,TrainState_4673,TrainState_727,TrainState_4169,TrainState_3426,TrainState_1439,TrainState_1219,TrainState_4423,TrainState_238,TrainState_2206,TrainState_453,TrainState_3178,TrainState_4636,TrainState_232,TrainState_1967,TrainState_3179,TrainState_4424,TrainState_4388,TrainState_3159,TrainState_2449,TrainState_1703,TrainState_725,TrainState_208,TrainState_237,TrainState_4915,TrainState_2423,TrainState_2204,TrainState_3927,TrainState_1955,TrainState_4908,TrainState_452,TrainState_482,TrainState_4664,TrainState_3186,TrainState_3192,TrainState_3425,TrainState_2456,TrainState_4181,TrainState_242,TrainState_2447,TrainState_3926,TrainState_476,TrainState_4906,TrainState_4174,TrainState_1437,TrainState_4409,TrainState_1471,TrainState_1957,TrainState_2420,TrainState_1457,TrainState_2949,TrainState_1710,TrainState_4179,TrainState_1683,TrainState_722,TrainState_2202,TrainState_2932,TrainState_729,TrainState_228,TrainState_728,TrainState_2453,TrainState_2177,TrainState_970,TrainState_4882,TrainState_983,TrainState_731,TrainState_4671,TrainState_2667,TrainState_4412,TrainState_4165,TrainState_1716,TrainState_4413,TrainState_4902,TrainState_2914,TrainState_973,TrainState_2692,TrainState_718,TrainState_701,TrainState_2912,TrainState_2452,TrainState_721,TrainState_3404,TrainState_1212,TrainState_3675,TrainState_733,TrainState_4907,TrainState_2704,TrainState_4419,TrainState_2457,TrainState_1684,TrainState_1928,TrainState_3182,TrainState_2693,TrainState_1948,TrainState_3195,TrainState_3428,TrainState_2196,TrainState_1214,TrainState_1463,TrainState_3653,TrainState_2690,TrainState_2686,TrainState_2691,TrainState_4659,TrainState_3933,TrainState_2444,TrainState_4917,TrainState_235,TrainState_2666,TrainState_3442,TrainState_2197,TrainState_3923,TrainState_4145,TrainState_4658,TrainState_226,TrainState_1465,TrainState_2195,TrainState_1190,TrainState_2947,TrainState_2936,TrainState_2194,TrainState_1193,TrainState_3935,TrainState_2441,TrainState_4672,TrainState_945,TrainState_3916,TrainState_207,TrainState_2455,TrainState_4177,TrainState_2175,TrainState_474,TrainState_2459,TrainState_1952,TrainState_1953,TrainState_4911,TrainState_472,TrainState_1685,TrainState_730,TrainState_1467,TrainState_1708,TrainState_4901,TrainState_3430,TrainState_2454,TrainState_4415,TrainState_4421,TrainState_1468,TrainState_2211,TrainState_2696,TrainState_227,TrainState_2913,TrainState_4662,TrainState_1930,TrainState_2451,TrainState_3920,TrainState_455,TrainState_2448,TrainState_2440,TrainState_1949,TrainState_2944,TrainState_4881,TrainState_1929,TrainState_3436,TrainState_1721,TrainState_4667,TrainState_2701,TrainState_2695,TrainState_4905,TrainState_4176,TrainState_2446,TrainState_487,TrainState_1954,TrainState_1956,TrainState_3678,TrainState_1711,TrainState_3688,TrainState_3652,TrainState_2935,TrainState_4903,TrainState_3424,TrainState_1217,TrainState_1715,TrainState_1950,TrainState_485,TrainState_1459,TrainState_3680,TrainState_230,TrainState_1458,TrainState_969,TrainState_1222,TrainState_1229,TrainState_488,TrainState_233,TrainState_240,TrainState_3441,TrainState_3161,TrainState_2688,TrainState_3184,TrainState_1462,TrainState_4912,TrainState_3682,TrainState_4634,TrainState_2933,TrainState_3438,TrainState_3671,TrainState_4168,TrainState_3651,TrainState_3431,TrainState_4180,TrainState_732,TrainState_980,TrainState_1965,TrainState_1958,TrainState_3922,TrainState_4883,TrainState_3427,TrainState_4904,TrainState_3676,TrainState_3674,TrainState_1436,TrainState_3686,TrainState_967,TrainState_4656,TrainState_2943,TrainState_4913,TrainState_2174,TrainState_3190,TrainState_4668,TrainState_2699,TrainState_1220,TrainState_486,TrainState_236,TrainState_2697,TrainState_1215,TrainState_2422,TrainState_3925,TrainState_3683,TrainState_3183,TrainState_473,TrainState_1470,TrainState_2703,TrainState_1223,TrainState_4910,TrainState_4166,TrainState_1438,TrainState_2201,TrainState_4178,TrainState_3188,TrainState_981,TrainState_4422,TrainState_1472,TrainState_4173,TrainState_491,TrainState_2199,TrainState_1211,TrainState_241,TrainState_1964,TrainState_4170,TrainState_2705,TrainState_4163,TrainState_3433,TrainState_1228,TrainState_4670,TrainState_3197,TrainState_2200,TrainState_1714,TrainState_1221,TrainState_1718,TrainState_3189,TrainState_4390,TrainState_4657,TrainState_2668,TrainState_964,TrainState_972,TrainState_975,TrainState_736,TrainState_1192,TrainState_2205,TrainState_4414,TrainState_4425,TrainState_3929,TrainState_3443,TrainState_977,TrainState_3180,TrainState_1475,TrainState_2209,TrainState_1191,TrainState_3432,TrainState_3160,TrainState_4172,TrainState_243,TrainState_231,TrainState_1966,TrainState_454,TrainState_3898,TrainState_3685,TrainState_737,TrainState_971,TrainState_2702,TrainState_1473,TrainState_1216,TrainState_3437,TrainState_3407,TrainState_2939,TrainState_4410,TrainState_966,TrainState_3672,TrainState_4655,TrainState_1951,
Mar 26, 2019 10:35:42 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 480 fixed domain variables (out of 4920 variables) in GAL type BART_COL_020_flat
Mar 26, 2019 10:35:42 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 480 constant array cells/variables (out of 4920 variables) in type BART_COL_020_flat
Mar 26, 2019 10:35:42 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: TrainState_4389,TrainState_4417,TrainState_1462,TrainState_1954,TrainState_4422,TrainState_966,TrainState_2444,TrainState_2454,TrainState_2934,TrainState_4423,TrainState_1469,TrainState_1192,TrainState_735,TrainState_453,TrainState_4902,TrainState_1955,TrainState_1215,TrainState_1708,TrainState_3406,TrainState_4410,TrainState_1966,TrainState_3443,TrainState_4666,TrainState_4665,TrainState_4916,TrainState_4173,TrainState_4427,TrainState_1964,TrainState_968,TrainState_1931,TrainState_4913,TrainState_719,TrainState_481,TrainState_737,TrainState_4412,TrainState_4909,TrainState_700,TrainState_231,TrainState_1226,TrainState_2199,TrainState_3919,TrainState_4181,TrainState_480,TrainState_4411,TrainState_238,TrainState_4418,TrainState_3934,TrainState_1961,TrainState_2935,TrainState_230,TrainState_2937,TrainState_207,TrainState_4426,TrainState_2441,TrainState_3670,TrainState_734,TrainState_472,TrainState_1960,TrainState_944,TrainState_2453,TrainState_964,TrainState_1959,TrainState_1685,TrainState_4143,TrainState_2203,TrainState_4660,TrainState_4661,TrainState_4388,TrainState_1438,TrainState_4408,TrainState_2686,TrainState_3920,TrainState_4142,TrainState_722,TrainState_3424,TrainState_2458,TrainState_2913,TrainState_2445,TrainState_967,TrainState_2951,TrainState_971,TrainState_3924,TrainState_2420,TrainState_3897,TrainState_1212,TrainState_4165,TrainState_980,TrainState_3677,TrainState_3160,TrainState_4390,TrainState_970,TrainState_4918,TrainState_3686,TrainState_1225,TrainState_3194,TrainState_3192,TrainState_4163,TrainState_3433,TrainState_1956,TrainState_4668,TrainState_3193,TrainState_721,TrainState_1706,TrainState_2213,TrainState_3896,TrainState_452,TrainState_730,TrainState_4391,TrainState_1717,TrainState_4415,TrainState_3431,TrainState_2945,TrainState_2197,TrainState_479,TrainState_1682,TrainState_4912,TrainState_2692,TrainState_728,TrainState_1950,TrainState_947,TrainState_489,TrainState_2705,TrainState_2194,TrainState_2204,TrainState_1965,TrainState_3432,TrainState_1716,TrainState_2196,TrainState_3429,TrainState_1191,TrainState_2941,TrainState_4637,TrainState_725,TrainState_1683,TrainState_983,TrainState_4882,TrainState_4911,TrainState_239,TrainState_1214,TrainState_3673,TrainState_2697,TrainState_4880,TrainState_3195,TrainState_976,TrainState_3438,TrainState_2443,TrainState_2669,TrainState_1951,TrainState_4425,TrainState_1963,TrainState_1709,TrainState_491,TrainState_3434,TrainState_1703,TrainState_4178,TrainState_4658,TrainState_2451,TrainState_2207,TrainState_3933,TrainState_1470,TrainState_1930,TrainState_982,TrainState_1704,TrainState_1223,TrainState_727,TrainState_3188,TrainState_473,TrainState_2698,TrainState_486,TrainState_1229,TrainState_1463,TrainState_4672,TrainState_3186,TrainState_3672,TrainState_1458,TrainState_2456,TrainState_4145,TrainState_2422,TrainState_2694,TrainState_4634,TrainState_2939,TrainState_3405,TrainState_1721,TrainState_3190,TrainState_3183,TrainState_1222,TrainState_4168,TrainState_488,TrainState_227,TrainState_972,TrainState_4169,TrainState_3404,TrainState_4907,TrainState_2940,TrainState_3682,TrainState_1218,TrainState_1216,TrainState_3689,TrainState_3925,TrainState_3926,TrainState_981,TrainState_4162,TrainState_2440,TrainState_482,TrainState_718,TrainState_1712,TrainState_244,TrainState_3439,TrainState_1456,TrainState_1466,TrainState_979,TrainState_2949,TrainState_235,TrainState_3935,TrainState_3180,TrainState_1474,TrainState_2448,TrainState_2450,TrainState_1224,TrainState_1707,TrainState_3688,TrainState_3158,TrainState_3161,TrainState_1962,TrainState_4416,TrainState_1464,TrainState_4917,TrainState_1705,TrainState_2452,TrainState_1468,TrainState_3159,TrainState_4905,TrainState_2932,TrainState_3428,TrainState_3179,TrainState_485,TrainState_2455,TrainState_3675,TrainState_1457,TrainState_455,TrainState_3674,TrainState_975,TrainState_3650,TrainState_945,TrainState_4424,TrainState_206,TrainState_4671,TrainState_3187,TrainState_1213,TrainState_2198,TrainState_726,TrainState_4656,TrainState_1437,TrainState_3189,TrainState_1220,TrainState_978,TrainState_1928,TrainState_4659,TrainState_2201,TrainState_245,TrainState_4664,TrainState_2696,TrainState_478,TrainState_2202,TrainState_1227,TrainState_3653,TrainState_2942,TrainState_3651,TrainState_3185,TrainState_4906,TrainState_1715,TrainState_1949,TrainState_2912,TrainState_4881,TrainState_3652,TrainState_2200,TrainState_736,TrainState_2936,TrainState_4903,TrainState_2688,TrainState_3898,TrainState_4174,TrainState_3436,TrainState_4144,TrainState_232,TrainState_701,TrainState_477,TrainState_474,TrainState_2210,TrainState_237,TrainState_3899,TrainState_1720,TrainState_2703,TrainState_4636,TrainState_3683,TrainState_3442,TrainState_3181,TrainState_2442,TrainState_4667,TrainState_4919,TrainState_3178,TrainState_969,TrainState_1475,TrainState_3441,TrainState_2948,TrainState_3440,TrainState_2946,TrainState_2933,TrainState_2947,TrainState_2421,TrainState_3917,TrainState_1713,TrainState_4670,TrainState_3427,TrainState_2690,TrainState_731,TrainState_946,TrainState_2177,TrainState_4654,TrainState_1967,TrainState_1436,TrainState_3680,TrainState_729,TrainState_1221,TrainState_2209,TrainState_3931,TrainState_3679,TrainState_3918,TrainState_4669,TrainState_236,TrainState_4180,TrainState_2704,TrainState_1460,TrainState_3676,TrainState_1957,TrainState_3687,TrainState_2174,TrainState_2691,TrainState_2459,TrainState_2699,TrainState_3923,TrainState_1953,TrainState_4908,TrainState_1473,TrainState_3922,TrainState_1714,TrainState_2700,TrainState_209,TrainState_3685,TrainState_1228,TrainState_720,TrainState_2447,TrainState_2208,TrainState_2702,TrainState_475,TrainState_2205,TrainState_3425,TrainState_1461,TrainState_241,TrainState_974,TrainState_1711,TrainState_4657,TrainState_4421,TrainState_2666,TrainState_3921,TrainState_1190,TrainState_4663,TrainState_698,TrainState_1958,TrainState_229,TrainState_1684,TrainState_4655,TrainState_732,TrainState_2914,TrainState_723,TrainState_208,TrainState_3430,TrainState_4635,TrainState_2211,TrainState_3182,TrainState_2206,TrainState_3684,TrainState_490,TrainState_1472,TrainState_4901,TrainState_487,TrainState_4179,TrainState_3932,TrainState_3184,TrainState_2938,TrainState_2693,TrainState_3916,TrainState_3681,TrainState_4662,TrainState_1948,TrainState_2668,TrainState_1217,TrainState_4904,TrainState_242,TrainState_4175,TrainState_2446,TrainState_4910,TrainState_1210,TrainState_4167,TrainState_3435,TrainState_2695,TrainState_240,TrainState_3929,TrainState_4414,TrainState_3196,TrainState_3678,TrainState_3426,TrainState_4915,TrainState_4172,TrainState_973,TrainState_2687,TrainState_1459,TrainState_3927,TrainState_2449,TrainState_4176,TrainState_4166,TrainState_724,TrainState_2701,TrainState_3407,TrainState_2175,TrainState_1211,TrainState_4170,TrainState_1719,TrainState_1471,TrainState_4177,TrainState_1929,TrainState_4164,TrainState_1465,TrainState_2689,TrainState_3191,TrainState_1702,TrainState_483,TrainState_226,TrainState_4673,TrainState_3928,TrainState_1718,TrainState_1952,TrainState_454,TrainState_2943,TrainState_1193,TrainState_977,TrainState_3671,TrainState_2944,TrainState_1467,TrainState_476,TrainState_2950,TrainState_2915,TrainState_2457,TrainState_4171,TrainState_733,TrainState_4420,TrainState_3437,TrainState_4409,TrainState_2667,TrainState_484,TrainState_4914,TrainState_3197,TrainState_4419,TrainState_4883,TrainState_699,TrainState_4900,TrainState_4413,TrainState_1710,TrainState_965,TrainState_1439,TrainState_2176,TrainState_228,TrainState_1219,TrainState_233,TrainState_243,TrainState_2212,TrainState_2423,TrainState_3930,TrainState_234,TrainState_2195,
Mar 26, 2019 10:35:42 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 480 constant variables :TrainState_4389=0, TrainState_4417=0, TrainState_1462=0, TrainState_1954=0, TrainState_4422=0, TrainState_966=0, TrainState_2444=0, TrainState_2454=0, TrainState_2934=0, TrainState_4423=0, TrainState_1469=0, TrainState_1192=0, TrainState_735=0, TrainState_453=0, TrainState_4902=0, TrainState_1955=0, TrainState_1215=0, TrainState_1708=0, TrainState_3406=0, TrainState_4410=0, TrainState_1966=0, TrainState_3443=0, TrainState_4666=0, TrainState_4665=0, TrainState_4916=0, TrainState_4173=0, TrainState_4427=0, TrainState_1964=0, TrainState_968=0, TrainState_1931=0, TrainState_4913=0, TrainState_719=0, TrainState_481=0, TrainState_737=0, TrainState_4412=0, TrainState_4909=0, TrainState_700=0, TrainState_231=0, TrainState_1226=0, TrainState_2199=0, TrainState_3919=0, TrainState_4181=0, TrainState_480=0, TrainState_4411=0, TrainState_238=0, TrainState_4418=0, TrainState_3934=0, TrainState_1961=0, TrainState_2935=0, TrainState_230=0, TrainState_2937=0, TrainState_207=0, TrainState_4426=0, TrainState_2441=0, TrainState_3670=0, TrainState_734=0, TrainState_472=0, TrainState_1960=0, TrainState_944=0, TrainState_2453=0, TrainState_964=0, TrainState_1959=0, TrainState_1685=0, TrainState_4143=0, TrainState_2203=0, TrainState_4660=0, TrainState_4661=0, TrainState_4388=0, TrainState_1438=0, TrainState_4408=0, TrainState_2686=0, TrainState_3920=0, TrainState_4142=0, TrainState_722=0, TrainState_3424=0, TrainState_2458=0, TrainState_2913=0, TrainState_2445=0, TrainState_967=0, TrainState_2951=0, TrainState_971=0, TrainState_3924=0, TrainState_2420=0, TrainState_3897=0, TrainState_1212=0, TrainState_4165=0, TrainState_980=0, TrainState_3677=0, TrainState_3160=0, TrainState_4390=0, TrainState_970=0, TrainState_4918=0, TrainState_3686=0, TrainState_1225=0, TrainState_3194=0, TrainState_3192=0, TrainState_4163=0, TrainState_3433=0, TrainState_1956=0, TrainState_4668=0, TrainState_3193=0, TrainState_721=0, TrainState_1706=0, TrainState_2213=0, TrainState_3896=0, TrainState_452=0, TrainState_730=0, TrainState_4391=0, TrainState_1717=0, TrainState_4415=0, TrainState_3431=0, TrainState_2945=0, TrainState_2197=0, TrainState_479=0, TrainState_1682=0, TrainState_4912=0, TrainState_2692=0, TrainState_728=0, TrainState_1950=0, TrainState_947=0, TrainState_489=0, TrainState_2705=0, TrainState_2194=0, TrainState_2204=0, TrainState_1965=0, TrainState_3432=0, TrainState_1716=0, TrainState_2196=0, TrainState_3429=0, TrainState_1191=0, TrainState_2941=0, TrainState_4637=0, TrainState_725=0, TrainState_1683=0, TrainState_983=0, TrainState_4882=0, TrainState_4911=0, TrainState_239=0, TrainState_1214=0, TrainState_3673=0, TrainState_2697=0, TrainState_4880=0, TrainState_3195=0, TrainState_976=0, TrainState_3438=0, TrainState_2443=0, TrainState_2669=0, TrainState_1951=0, TrainState_4425=0, TrainState_1963=0, TrainState_1709=0, TrainState_491=0, TrainState_3434=0, TrainState_1703=0, TrainState_4178=0, TrainState_4658=0, TrainState_2451=0, TrainState_2207=0, TrainState_3933=0, TrainState_1470=0, TrainState_1930=0, TrainState_982=0, TrainState_1704=0, TrainState_1223=0, TrainState_727=0, TrainState_3188=0, TrainState_473=0, TrainState_2698=0, TrainState_486=0, TrainState_1229=0, TrainState_1463=0, TrainState_4672=0, TrainState_3186=0, TrainState_3672=0, TrainState_1458=0, TrainState_2456=0, TrainState_4145=0, TrainState_2422=0, TrainState_2694=0, TrainState_4634=0, TrainState_2939=0, TrainState_3405=0, TrainState_1721=0, TrainState_3190=0, TrainState_3183=0, TrainState_1222=0, TrainState_4168=0, TrainState_488=0, TrainState_227=0, TrainState_972=0, TrainState_4169=0, TrainState_3404=0, TrainState_4907=0, TrainState_2940=0, TrainState_3682=0, TrainState_1218=0, TrainState_1216=0, TrainState_3689=0, TrainState_3925=0, TrainState_3926=0, TrainState_981=0, TrainState_4162=0, TrainState_2440=0, TrainState_482=0, TrainState_718=0, TrainState_1712=0, TrainState_244=0, TrainState_3439=0, TrainState_1456=0, TrainState_1466=0, TrainState_979=0, TrainState_2949=0, TrainState_235=0, TrainState_3935=0, TrainState_3180=0, TrainState_1474=0, TrainState_2448=0, TrainState_2450=0, TrainState_1224=0, TrainState_1707=0, TrainState_3688=0, TrainState_3158=0, TrainState_3161=0, TrainState_1962=0, TrainState_4416=0, TrainState_1464=0, TrainState_4917=0, TrainState_1705=0, TrainState_2452=0, TrainState_1468=0, TrainState_3159=0, TrainState_4905=0, TrainState_2932=0, TrainState_3428=0, TrainState_3179=0, TrainState_485=0, TrainState_2455=0, TrainState_3675=0, TrainState_1457=0, TrainState_455=0, TrainState_3674=0, TrainState_975=0, TrainState_3650=0, TrainState_945=0, TrainState_4424=0, TrainState_206=0, TrainState_4671=0, TrainState_3187=0, TrainState_1213=0, TrainState_2198=0, TrainState_726=0, TrainState_4656=0, TrainState_1437=0, TrainState_3189=0, TrainState_1220=0, TrainState_978=0, TrainState_1928=0, TrainState_4659=0, TrainState_2201=0, TrainState_245=0, TrainState_4664=0, TrainState_2696=0, TrainState_478=0, TrainState_2202=0, TrainState_1227=0, TrainState_3653=0, TrainState_2942=0, TrainState_3651=0, TrainState_3185=0, TrainState_4906=0, TrainState_1715=0, TrainState_1949=0, TrainState_2912=0, TrainState_4881=0, TrainState_3652=0, TrainState_2200=0, TrainState_736=0, TrainState_2936=0, TrainState_4903=0, TrainState_2688=0, TrainState_3898=0, TrainState_4174=0, TrainState_3436=0, TrainState_4144=0, TrainState_232=0, TrainState_701=0, TrainState_477=0, TrainState_474=0, TrainState_2210=0, TrainState_237=0, TrainState_3899=0, TrainState_1720=0, TrainState_2703=0, TrainState_4636=0, TrainState_3683=0, TrainState_3442=0, TrainState_3181=0, TrainState_2442=0, TrainState_4667=0, TrainState_4919=0, TrainState_3178=0, TrainState_969=0, TrainState_1475=0, TrainState_3441=0, TrainState_2948=0, TrainState_3440=0, TrainState_2946=0, TrainState_2933=0, TrainState_2947=0, TrainState_2421=0, TrainState_3917=0, TrainState_1713=0, TrainState_4670=0, TrainState_3427=0, TrainState_2690=0, TrainState_731=0, TrainState_946=0, TrainState_2177=0, TrainState_4654=0, TrainState_1967=0, TrainState_1436=0, TrainState_3680=0, TrainState_729=0, TrainState_1221=0, TrainState_2209=0, TrainState_3931=0, TrainState_3679=0, TrainState_3918=0, TrainState_4669=0, TrainState_236=0, TrainState_4180=0, TrainState_2704=0, TrainState_1460=0, TrainState_3676=0, TrainState_1957=0, TrainState_3687=0, TrainState_2174=0, TrainState_2691=0, TrainState_2459=0, TrainState_2699=0, TrainState_3923=0, TrainState_1953=0, TrainState_4908=0, TrainState_1473=0, TrainState_3922=0, TrainState_1714=0, TrainState_2700=0, TrainState_209=0, TrainState_3685=0, TrainState_1228=0, TrainState_720=0, TrainState_2447=0, TrainState_2208=0, TrainState_2702=0, TrainState_475=0, TrainState_2205=0, TrainState_3425=0, TrainState_1461=0, TrainState_241=0, TrainState_974=0, TrainState_1711=0, TrainState_4657=0, TrainState_4421=0, TrainState_2666=0, TrainState_3921=0, TrainState_1190=0, TrainState_4663=0, TrainState_698=0, TrainState_1958=0, TrainState_229=0, TrainState_1684=0, TrainState_4655=0, TrainState_732=0, TrainState_2914=0, TrainState_723=0, TrainState_208=0, TrainState_3430=0, TrainState_4635=0, TrainState_2211=0, TrainState_3182=0, TrainState_2206=0, TrainState_3684=0, TrainState_490=0, TrainState_1472=0, TrainState_4901=0, TrainState_487=0, TrainState_4179=0, TrainState_3932=0, TrainState_3184=0, TrainState_2938=0, TrainState_2693=0, TrainState_3916=0, TrainState_3681=0, TrainState_4662=0, TrainState_1948=0, TrainState_2668=0, TrainState_1217=0, TrainState_4904=0, TrainState_242=0, TrainState_4175=0, TrainState_2446=0, TrainState_4910=0, TrainState_1210=0, TrainState_4167=0, TrainState_3435=0, TrainState_2695=0, TrainState_240=0, TrainState_3929=0, TrainState_4414=0, TrainState_3196=0, TrainState_3678=0, TrainState_3426=0, TrainState_4915=0, TrainState_4172=0, TrainState_973=0, TrainState_2687=0, TrainState_1459=0, TrainState_3927=0, TrainState_2449=0, TrainState_4176=0, TrainState_4166=0, TrainState_724=0, TrainState_2701=0, TrainState_3407=0, TrainState_2175=0, TrainState_1211=0, TrainState_4170=0, TrainState_1719=0, TrainState_1471=0, TrainState_4177=0, TrainState_1929=0, TrainState_4164=0, TrainState_1465=0, TrainState_2689=0, TrainState_3191=0, TrainState_1702=0, TrainState_483=0, TrainState_226=0, TrainState_4673=0, TrainState_3928=0, TrainState_1718=0, TrainState_1952=0, TrainState_454=0, TrainState_2943=0, TrainState_1193=0, TrainState_977=0, TrainState_3671=0, TrainState_2944=0, TrainState_1467=0, TrainState_476=0, TrainState_2950=0, TrainState_2915=0, TrainState_2457=0, TrainState_4171=0, TrainState_733=0, TrainState_4420=0, TrainState_3437=0, TrainState_4409=0, TrainState_2667=0, TrainState_484=0, TrainState_4914=0, TrainState_3197=0, TrainState_4419=0, TrainState_4883=0, TrainState_699=0, TrainState_4900=0, TrainState_4413=0, TrainState_1710=0, TrainState_965=0, TrainState_1439=0, TrainState_2176=0, TrainState_228=0, TrainState_1219=0, TrainState_233=0, TrainState_243=0, TrainState_2212=0, TrainState_2423=0, TrainState_3930=0, TrainState_234=0, TrainState_2195=0
Mar 26, 2019 10:35:43 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 480 fixed domain variables (out of 4920 variables) in GAL type BART_COL_020_flat
Mar 26, 2019 10:35:43 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 480 constant array cells/variables (out of 4920 variables) in type BART_COL_020_flat
Mar 26, 2019 10:35:43 AM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: TrainState_3429,TrainState_4880,TrainState_2207,TrainState_4408,TrainState_2934,TrainState_1719,TrainState_3919,TrainState_3435,TrainState_4389,TrainState_974,TrainState_239,TrainState_4914,TrainState_2208,TrainState_979,TrainState_1456,TrainState_3921,TrainState_2941,TrainState_1931,TrainState_2946,TrainState_3681,TrainState_2176,TrainState_4900,TrainState_3406,TrainState_3405,TrainState_1709,TrainState_3193,TrainState_4663,TrainState_1225,TrainState_3679,TrainState_2458,TrainState_1963,TrainState_245,TrainState_4418,TrainState_735,TrainState_481,TrainState_4669,TrainState_2687,TrainState_478,TrainState_1706,TrainState_2698,TrainState_2942,TrainState_726,TrainState_3918,TrainState_3689,TrainState_2421,TrainState_4654,TrainState_4411,TrainState_3194,TrainState_2212,TrainState_719,TrainState_1717,TrainState_947,TrainState_4417,TrainState_724,TrainState_2669,TrainState_3185,TrainState_2213,TrainState_4919,TrainState_982,TrainState_699,TrainState_4143,TrainState_234,TrainState_4391,TrainState_3897,TrainState_3191,TrainState_489,TrainState_4175,TrainState_1210,TrainState_3434,TrainState_1224,TrainState_1707,TrainState_3440,TrainState_2450,TrainState_1469,TrainState_479,TrainState_3196,TrainState_723,TrainState_2700,TrainState_2915,TrainState_698,TrainState_244,TrainState_483,TrainState_1466,TrainState_1227,TrainState_1712,TrainState_1474,TrainState_2442,TrainState_4637,TrainState_2948,TrainState_480,TrainState_3896,TrainState_1226,TrainState_3187,TrainState_3439,TrainState_484,TrainState_1960,TrainState_2937,TrainState_3934,TrainState_4660,TrainState_3158,TrainState_475,TrainState_2945,TrainState_2445,TrainState_2951,TrainState_1720,TrainState_3673,TrainState_4144,TrainState_1961,TrainState_4916,TrainState_2694,TrainState_3670,TrainState_2203,TrainState_4427,TrainState_700,TrainState_944,TrainState_1218,TrainState_3650,TrainState_1962,TrainState_4635,TrainState_2443,TrainState_978,TrainState_1704,TrainState_2938,TrainState_4666,TrainState_976,TrainState_3930,TrainState_3931,TrainState_209,TrainState_3687,TrainState_1213,TrainState_1682,TrainState_968,TrainState_4162,TrainState_4171,TrainState_3932,TrainState_1464,TrainState_4661,TrainState_2940,TrainState_4665,TrainState_229,TrainState_1702,TrainState_946,TrainState_4909,TrainState_3684,TrainState_4918,TrainState_3924,TrainState_1959,TrainState_1460,TrainState_1705,TrainState_477,TrainState_2210,TrainState_3917,TrainState_4426,TrainState_4416,TrainState_1713,TrainState_4142,TrainState_206,TrainState_2198,TrainState_3928,TrainState_490,TrainState_965,TrainState_2689,TrainState_720,TrainState_3181,TrainState_3677,TrainState_734,TrainState_2950,TrainState_4167,TrainState_3899,TrainState_4164,TrainState_1461,TrainState_4420,TrainState_4673,TrainState_727,TrainState_4169,TrainState_3426,TrainState_1439,TrainState_1219,TrainState_4423,TrainState_238,TrainState_2206,TrainState_453,TrainState_3178,TrainState_4636,TrainState_232,TrainState_1967,TrainState_3179,TrainState_4424,TrainState_4388,TrainState_3159,TrainState_2449,TrainState_1703,TrainState_725,TrainState_208,TrainState_237,TrainState_4915,TrainState_2423,TrainState_2204,TrainState_3927,TrainState_1955,TrainState_4908,TrainState_452,TrainState_482,TrainState_4664,TrainState_3186,TrainState_3192,TrainState_3425,TrainState_2456,TrainState_4181,TrainState_242,TrainState_2447,TrainState_3926,TrainState_476,TrainState_4906,TrainState_4174,TrainState_1437,TrainState_4409,TrainState_1471,TrainState_1957,TrainState_2420,TrainState_1457,TrainState_2949,TrainState_1710,TrainState_4179,TrainState_1683,TrainState_722,TrainState_2202,TrainState_2932,TrainState_729,TrainState_228,TrainState_728,TrainState_2453,TrainState_2177,TrainState_970,TrainState_4882,TrainState_983,TrainState_731,TrainState_4671,TrainState_2667,TrainState_4412,TrainState_4165,TrainState_1716,TrainState_4413,TrainState_4902,TrainState_2914,TrainState_973,TrainState_2692,TrainState_718,TrainState_701,TrainState_2912,TrainState_2452,TrainState_721,TrainState_3404,TrainState_1212,TrainState_3675,TrainState_733,TrainState_4907,TrainState_2704,TrainState_4419,TrainState_2457,TrainState_1684,TrainState_1928,TrainState_3182,TrainState_2693,TrainState_1948,TrainState_3195,TrainState_3428,TrainState_2196,TrainState_1214,TrainState_1463,TrainState_3653,TrainState_2690,TrainState_2686,TrainState_2691,TrainState_4659,TrainState_3933,TrainState_2444,TrainState_4917,TrainState_235,TrainState_2666,TrainState_3442,TrainState_2197,TrainState_3923,TrainState_4145,TrainState_4658,TrainState_226,TrainState_1465,TrainState_2195,TrainState_1190,TrainState_2947,TrainState_2936,TrainState_2194,TrainState_1193,TrainState_3935,TrainState_2441,TrainState_4672,TrainState_945,TrainState_3916,TrainState_207,TrainState_2455,TrainState_4177,TrainState_2175,TrainState_474,TrainState_2459,TrainState_1952,TrainState_1953,TrainState_4911,TrainState_472,TrainState_1685,TrainState_730,TrainState_1467,TrainState_1708,TrainState_4901,TrainState_3430,TrainState_2454,TrainState_4415,TrainState_4421,TrainState_1468,TrainState_2211,TrainState_2696,TrainState_227,TrainState_2913,TrainState_4662,TrainState_1930,TrainState_2451,TrainState_3920,TrainState_455,TrainState_2448,TrainState_2440,TrainState_1949,TrainState_2944,TrainState_4881,TrainState_1929,TrainState_3436,TrainState_1721,TrainState_4667,TrainState_2701,TrainState_2695,TrainState_4905,TrainState_4176,TrainState_2446,TrainState_487,TrainState_1954,TrainState_1956,TrainState_3678,TrainState_1711,TrainState_3688,TrainState_3652,TrainState_2935,TrainState_4903,TrainState_3424,TrainState_1217,TrainState_1715,TrainState_1950,TrainState_485,TrainState_1459,TrainState_3680,TrainState_230,TrainState_1458,TrainState_969,TrainState_1222,TrainState_1229,TrainState_488,TrainState_233,TrainState_240,TrainState_3441,TrainState_3161,TrainState_2688,TrainState_3184,TrainState_1462,TrainState_4912,TrainState_3682,TrainState_4634,TrainState_2933,TrainState_3438,TrainState_3671,TrainState_4168,TrainState_3651,TrainState_3431,TrainState_4180,TrainState_732,TrainState_980,TrainState_1965,TrainState_1958,TrainState_3922,TrainState_4883,TrainState_3427,TrainState_4904,TrainState_3676,TrainState_3674,TrainState_1436,TrainState_3686,TrainState_967,TrainState_4656,TrainState_2943,TrainState_4913,TrainState_2174,TrainState_3190,TrainState_4668,TrainState_2699,TrainState_1220,TrainState_486,TrainState_236,TrainState_2697,TrainState_1215,TrainState_2422,TrainState_3925,TrainState_3683,TrainState_3183,TrainState_473,TrainState_1470,TrainState_2703,TrainState_1223,TrainState_4910,TrainState_4166,TrainState_1438,TrainState_2201,TrainState_4178,TrainState_3188,TrainState_981,TrainState_4422,TrainState_1472,TrainState_4173,TrainState_491,TrainState_2199,TrainState_1211,TrainState_241,TrainState_1964,TrainState_4170,TrainState_2705,TrainState_4163,TrainState_3433,TrainState_1228,TrainState_4670,TrainState_3197,TrainState_2200,TrainState_1714,TrainState_1221,TrainState_1718,TrainState_3189,TrainState_4390,TrainState_4657,TrainState_2668,TrainState_964,TrainState_972,TrainState_975,TrainState_736,TrainState_1192,TrainState_2205,TrainState_4414,TrainState_4425,TrainState_3929,TrainState_3443,TrainState_977,TrainState_3180,TrainState_1475,TrainState_2209,TrainState_1191,TrainState_3432,TrainState_3160,TrainState_4172,TrainState_243,TrainState_231,TrainState_1966,TrainState_454,TrainState_3898,TrainState_3685,TrainState_737,TrainState_971,TrainState_2702,TrainState_1473,TrainState_1216,TrainState_3437,TrainState_3407,TrainState_2939,TrainState_4410,TrainState_966,TrainState_3672,TrainState_4655,TrainState_1951,
Mar 26, 2019 10:35:43 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 942 ms
Mar 26, 2019 10:35:43 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 480 constant variables :TrainState_3429=0, TrainState_4880=0, TrainState_2207=0, TrainState_4408=0, TrainState_2934=0, TrainState_1719=0, TrainState_3919=0, TrainState_3435=0, TrainState_4389=0, TrainState_974=0, TrainState_239=0, TrainState_4914=0, TrainState_2208=0, TrainState_979=0, TrainState_1456=0, TrainState_3921=0, TrainState_2941=0, TrainState_1931=0, TrainState_2946=0, TrainState_3681=0, TrainState_2176=0, TrainState_4900=0, TrainState_3406=0, TrainState_3405=0, TrainState_1709=0, TrainState_3193=0, TrainState_4663=0, TrainState_1225=0, TrainState_3679=0, TrainState_2458=0, TrainState_1963=0, TrainState_245=0, TrainState_4418=0, TrainState_735=0, TrainState_481=0, TrainState_4669=0, TrainState_2687=0, TrainState_478=0, TrainState_1706=0, TrainState_2698=0, TrainState_2942=0, TrainState_726=0, TrainState_3918=0, TrainState_3689=0, TrainState_2421=0, TrainState_4654=0, TrainState_4411=0, TrainState_3194=0, TrainState_2212=0, TrainState_719=0, TrainState_1717=0, TrainState_947=0, TrainState_4417=0, TrainState_724=0, TrainState_2669=0, TrainState_3185=0, TrainState_2213=0, TrainState_4919=0, TrainState_982=0, TrainState_699=0, TrainState_4143=0, TrainState_234=0, TrainState_4391=0, TrainState_3897=0, TrainState_3191=0, TrainState_489=0, TrainState_4175=0, TrainState_1210=0, TrainState_3434=0, TrainState_1224=0, TrainState_1707=0, TrainState_3440=0, TrainState_2450=0, TrainState_1469=0, TrainState_479=0, TrainState_3196=0, TrainState_723=0, TrainState_2700=0, TrainState_2915=0, TrainState_698=0, TrainState_244=0, TrainState_483=0, TrainState_1466=0, TrainState_1227=0, TrainState_1712=0, TrainState_1474=0, TrainState_2442=0, TrainState_4637=0, TrainState_2948=0, TrainState_480=0, TrainState_3896=0, TrainState_1226=0, TrainState_3187=0, TrainState_3439=0, TrainState_484=0, TrainState_1960=0, TrainState_2937=0, TrainState_3934=0, TrainState_4660=0, TrainState_3158=0, TrainState_475=0, TrainState_2945=0, TrainState_2445=0, TrainState_2951=0, TrainState_1720=0, TrainState_3673=0, TrainState_4144=0, TrainState_1961=0, TrainState_4916=0, TrainState_2694=0, TrainState_3670=0, TrainState_2203=0, TrainState_4427=0, TrainState_700=0, TrainState_944=0, TrainState_1218=0, TrainState_3650=0, TrainState_1962=0, TrainState_4635=0, TrainState_2443=0, TrainState_978=0, TrainState_1704=0, TrainState_2938=0, TrainState_4666=0, TrainState_976=0, TrainState_3930=0, TrainState_3931=0, TrainState_209=0, TrainState_3687=0, TrainState_1213=0, TrainState_1682=0, TrainState_968=0, TrainState_4162=0, TrainState_4171=0, TrainState_3932=0, TrainState_1464=0, TrainState_4661=0, TrainState_2940=0, TrainState_4665=0, TrainState_229=0, TrainState_1702=0, TrainState_946=0, TrainState_4909=0, TrainState_3684=0, TrainState_4918=0, TrainState_3924=0, TrainState_1959=0, TrainState_1460=0, TrainState_1705=0, TrainState_477=0, TrainState_2210=0, TrainState_3917=0, TrainState_4426=0, TrainState_4416=0, TrainState_1713=0, TrainState_4142=0, TrainState_206=0, TrainState_2198=0, TrainState_3928=0, TrainState_490=0, TrainState_965=0, TrainState_2689=0, TrainState_720=0, TrainState_3181=0, TrainState_3677=0, TrainState_734=0, TrainState_2950=0, TrainState_4167=0, TrainState_3899=0, TrainState_4164=0, TrainState_1461=0, TrainState_4420=0, TrainState_4673=0, TrainState_727=0, TrainState_4169=0, TrainState_3426=0, TrainState_1439=0, TrainState_1219=0, TrainState_4423=0, TrainState_238=0, TrainState_2206=0, TrainState_453=0, TrainState_3178=0, TrainState_4636=0, TrainState_232=0, TrainState_1967=0, TrainState_3179=0, TrainState_4424=0, TrainState_4388=0, TrainState_3159=0, TrainState_2449=0, TrainState_1703=0, TrainState_725=0, TrainState_208=0, TrainState_237=0, TrainState_4915=0, TrainState_2423=0, TrainState_2204=0, TrainState_3927=0, TrainState_1955=0, TrainState_4908=0, TrainState_452=0, TrainState_482=0, TrainState_4664=0, TrainState_3186=0, TrainState_3192=0, TrainState_3425=0, TrainState_2456=0, TrainState_4181=0, TrainState_242=0, TrainState_2447=0, TrainState_3926=0, TrainState_476=0, TrainState_4906=0, TrainState_4174=0, TrainState_1437=0, TrainState_4409=0, TrainState_1471=0, TrainState_1957=0, TrainState_2420=0, TrainState_1457=0, TrainState_2949=0, TrainState_1710=0, TrainState_4179=0, TrainState_1683=0, TrainState_722=0, TrainState_2202=0, TrainState_2932=0, TrainState_729=0, TrainState_228=0, TrainState_728=0, TrainState_2453=0, TrainState_2177=0, TrainState_970=0, TrainState_4882=0, TrainState_983=0, TrainState_731=0, TrainState_4671=0, TrainState_2667=0, TrainState_4412=0, TrainState_4165=0, TrainState_1716=0, TrainState_4413=0, TrainState_4902=0, TrainState_2914=0, TrainState_973=0, TrainState_2692=0, TrainState_718=0, TrainState_701=0, TrainState_2912=0, TrainState_2452=0, TrainState_721=0, TrainState_3404=0, TrainState_1212=0, TrainState_3675=0, TrainState_733=0, TrainState_4907=0, TrainState_2704=0, TrainState_4419=0, TrainState_2457=0, TrainState_1684=0, TrainState_1928=0, TrainState_3182=0, TrainState_2693=0, TrainState_1948=0, TrainState_3195=0, TrainState_3428=0, TrainState_2196=0, TrainState_1214=0, TrainState_1463=0, TrainState_3653=0, TrainState_2690=0, TrainState_2686=0, TrainState_2691=0, TrainState_4659=0, TrainState_3933=0, TrainState_2444=0, TrainState_4917=0, TrainState_235=0, TrainState_2666=0, TrainState_3442=0, TrainState_2197=0, TrainState_3923=0, TrainState_4145=0, TrainState_4658=0, TrainState_226=0, TrainState_1465=0, TrainState_2195=0, TrainState_1190=0, TrainState_2947=0, TrainState_2936=0, TrainState_2194=0, TrainState_1193=0, TrainState_3935=0, TrainState_2441=0, TrainState_4672=0, TrainState_945=0, TrainState_3916=0, TrainState_207=0, TrainState_2455=0, TrainState_4177=0, TrainState_2175=0, TrainState_474=0, TrainState_2459=0, TrainState_1952=0, TrainState_1953=0, TrainState_4911=0, TrainState_472=0, TrainState_1685=0, TrainState_730=0, TrainState_1467=0, TrainState_1708=0, TrainState_4901=0, TrainState_3430=0, TrainState_2454=0, TrainState_4415=0, TrainState_4421=0, TrainState_1468=0, TrainState_2211=0, TrainState_2696=0, TrainState_227=0, TrainState_2913=0, TrainState_4662=0, TrainState_1930=0, TrainState_2451=0, TrainState_3920=0, TrainState_455=0, TrainState_2448=0, TrainState_2440=0, TrainState_1949=0, TrainState_2944=0, TrainState_4881=0, TrainState_1929=0, TrainState_3436=0, TrainState_1721=0, TrainState_4667=0, TrainState_2701=0, TrainState_2695=0, TrainState_4905=0, TrainState_4176=0, TrainState_2446=0, TrainState_487=0, TrainState_1954=0, TrainState_1956=0, TrainState_3678=0, TrainState_1711=0, TrainState_3688=0, TrainState_3652=0, TrainState_2935=0, TrainState_4903=0, TrainState_3424=0, TrainState_1217=0, TrainState_1715=0, TrainState_1950=0, TrainState_485=0, TrainState_1459=0, TrainState_3680=0, TrainState_230=0, TrainState_1458=0, TrainState_969=0, TrainState_1222=0, TrainState_1229=0, TrainState_488=0, TrainState_233=0, TrainState_240=0, TrainState_3441=0, TrainState_3161=0, TrainState_2688=0, TrainState_3184=0, TrainState_1462=0, TrainState_4912=0, TrainState_3682=0, TrainState_4634=0, TrainState_2933=0, TrainState_3438=0, TrainState_3671=0, TrainState_4168=0, TrainState_3651=0, TrainState_3431=0, TrainState_4180=0, TrainState_732=0, TrainState_980=0, TrainState_1965=0, TrainState_1958=0, TrainState_3922=0, TrainState_4883=0, TrainState_3427=0, TrainState_4904=0, TrainState_3676=0, TrainState_3674=0, TrainState_1436=0, TrainState_3686=0, TrainState_967=0, TrainState_4656=0, TrainState_2943=0, TrainState_4913=0, TrainState_2174=0, TrainState_3190=0, TrainState_4668=0, TrainState_2699=0, TrainState_1220=0, TrainState_486=0, TrainState_236=0, TrainState_2697=0, TrainState_1215=0, TrainState_2422=0, TrainState_3925=0, TrainState_3683=0, TrainState_3183=0, TrainState_473=0, TrainState_1470=0, TrainState_2703=0, TrainState_1223=0, TrainState_4910=0, TrainState_4166=0, TrainState_1438=0, TrainState_2201=0, TrainState_4178=0, TrainState_3188=0, TrainState_981=0, TrainState_4422=0, TrainState_1472=0, TrainState_4173=0, TrainState_491=0, TrainState_2199=0, TrainState_1211=0, TrainState_241=0, TrainState_1964=0, TrainState_4170=0, TrainState_2705=0, TrainState_4163=0, TrainState_3433=0, TrainState_1228=0, TrainState_4670=0, TrainState_3197=0, TrainState_2200=0, TrainState_1714=0, TrainState_1221=0, TrainState_1718=0, TrainState_3189=0, TrainState_4390=0, TrainState_4657=0, TrainState_2668=0, TrainState_964=0, TrainState_972=0, TrainState_975=0, TrainState_736=0, TrainState_1192=0, TrainState_2205=0, TrainState_4414=0, TrainState_4425=0, TrainState_3929=0, TrainState_3443=0, TrainState_977=0, TrainState_3180=0, TrainState_1475=0, TrainState_2209=0, TrainState_1191=0, TrainState_3432=0, TrainState_3160=0, TrainState_4172=0, TrainState_243=0, TrainState_231=0, TrainState_1966=0, TrainState_454=0, TrainState_3898=0, TrainState_3685=0, TrainState_737=0, TrainState_971=0, TrainState_2702=0, TrainState_1473=0, TrainState_1216=0, TrainState_3437=0, TrainState_3407=0, TrainState_2939=0, TrainState_4410=0, TrainState_966=0, TrainState_3672=0, TrainState_4655=0, TrainState_1951=0
Mar 26, 2019 10:35:43 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1132 ms
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BART-COL-020"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstoolsm"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool itstoolsm"
echo " Input is BART-COL-020, 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 r189-csrt-155225080200278"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BART-COL-020.tgz
mv BART-COL-020 execution
cd execution
if [ "ReachabilityCardinality" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "ReachabilityCardinality" = "UpperBounds" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "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 '
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 ;