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.r184-csrt-155344537700136.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 itstools
Input is FamilyReunion-COL-L01200M0120C060P060G030, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r184-csrt-155344537700136
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 372K
-rw-r--r-- 1 mcc users 4.0K Mar 24 07:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 24 07:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Mar 24 06:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 24 06:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 2.9K Mar 24 06:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 24 06:50 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 24 06:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 9.8K Mar 24 06:48 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 24 00:18 NewModel
-rw-r--r-- 1 mcc users 3.7K Mar 24 06:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 24 06:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 132 Mar 24 06:27 ReachabilityDeadlock.txt
-rw-r--r-- 1 mcc users 370 Mar 24 06:27 ReachabilityDeadlock.xml
-rw-r--r-- 1 mcc users 3.4K Mar 24 06:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 24 06:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Mar 24 06:46 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Mar 24 06:46 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 00:18 equiv_pt
-rw-r--r-- 1 mcc users 24 Mar 24 00:18 instance
-rw-r--r-- 1 mcc users 5 Mar 24 00:18 iscolored
-rw-r--r-- 1 mcc users 211K Mar 24 00:18 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1553554370055

22:52:52.764 [main] ERROR PNML validation - The rng grammar file can't be accessed : www.pnml.org
22:52:52.767 [main] ERROR import - Grammar file errors have been raised, the validation can't be done, process will continue without Grammar validation
Its-tools:
An error has occurred. See the log file
/tmp/.eclipse/1553554370937.log.

BK_STOP 1553556783160

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ StateSpace = StateSpace ]]
+ [[ -f modelMain.xml ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution StateSpace -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -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 StateSpace -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -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 25, 2019 10:52:52 PM fr.lip6.move.gal.application.Application start
INFO: Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -smt]
Mar 25, 2019 10:52:52 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Mar 25, 2019 10:52:52 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Mar 25, 2019 10:52:53 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1168 ms
Mar 25, 2019 10:52:55 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 104 places.
Mar 25, 2019 10:53:09 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Mar 25, 2019 10:53:09 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :LxM->m1,ml0,l2,m2,lm1,l3,m3,ml1,l4,lm2,m4,m5,l5,ml2,l6,lm3,m6,m7,ml3,l7,m9,m10,ml4,
Response->r0,
CINFORMI->c2,c4,c7,c0,c1,
LegalResident->lm0,l12,l0,l30,l31,lc1,l1,l32,lc2,l33,lc3,l34,cg0,l35,lg0,l36,l8,l9,lm4,l38,l10,l11,l13,l16,l14,lc0,l15,l17,l18,lp0,l19,lp1,l20,l21,l22,l24,l25,l23,l28,l26,l27,l29,
LxP->p1,p3,p2,p5,p4,p6,p9,pl0,pl1,
LxC->c3,cl2,c5,c6,cl0,cl1,
GovernmentCommission->g0,g2,g4,
LxR->gl1,l37,l39,l40,
MICSystem->m0,m8,m11,
PublicAdminOffice->p0,p7,p8,p10,p11,
LxG->g1,gl0,g3,

Mar 25, 2019 10:53:13 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 66 transitions.
Mar 25, 2019 10:53:13 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Mar 25, 2019 10:53:17 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.img.gal : 1969 ms
Mar 25, 2019 10:53:17 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Mar 25, 2019 10:53:21 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 5 fixed domain variables (out of 4614109 variables) in GAL type FamilyReunion_COL_L01200M0120C060P060G030
Mar 25, 2019 10:53:21 PM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 306 constant array cells/variables (out of 4614109 variables) in type FamilyReunion_COL_L01200M0120C060P060G030
Mar 25, 2019 10:53:21 PM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: c2[0-60], r0[0-1], c0[0-60], p0[0-60], m0[0-120],
Mar 25, 2019 10:56:40 PM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 1.0 instantiations of transitions. Total transitions/syncs built is 4389193
Mar 25, 2019 10:58:09 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 5 fixed domain variables (out of 4614109 variables) in GAL type FamilyReunion_COL_L01200M0120C060P060G030
Mar 25, 2019 10:58:09 PM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 306 constant array cells/variables (out of 4614109 variables) in type FamilyReunion_COL_L01200M0120C060P060G030
Mar 25, 2019 10:58:09 PM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: c2[0-60], r0[0-1], c0[0-60], p0[0-60], m0[0-120],
Mar 25, 2019 10:58:22 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :c2[]
Mar 25, 2019 10:58:22 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :r0[]
Mar 25, 2019 10:58:22 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :c0[]
Mar 25, 2019 10:58:22 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :p0[]
Mar 25, 2019 10:58:22 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed constant array :m0[]
Mar 25, 2019 10:59:21 PM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 1201 uncalled transitions from type FamilyReunion_COL_L01200M0120C060P060G030
Mar 25, 2019 10:59:55 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 398490 ms
Mar 25, 2019 11:21:57 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1201 fixed domain variables (out of 4613803 variables) in GAL type FamilyReunion_COL_L01200M0120C060P060G030_flat
Mar 25, 2019 11:21:57 PM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 1201 constant array cells/variables (out of 4613803 variables) in type FamilyReunion_COL_L01200M0120C060P060G030_flat
Mar 25, 2019 11:21:57 PM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: l40_999,l40_49,l40_57,l40_81,l40_173,l40_825,l40_203,l40_499,l40_1055,l40_421,l40_305,l40_1085,l40_199,l40_181,l40_1169,l40_881,l40_27,l40_1439,l40_1069,l40_1777,l40_1557,l40_1283,l40_1343,l40_851,l40_1437,l40_1411,l40_675,l40_2133,l40_1017,l40_233,l40_727,l40_2137,l40_2005,l40_1455,l40_1389,l40_1877,l40_493,l40_1255,l40_735,l40_1719,l40_1773,l40_425,l40_1301,l40_1897,l40_1383,l40_991,l40_361,l40_1615,l40_1227,l40_1165,l40_1447,l40_2023,l40_1395,l40_1653,l40_1345,l40_1489,l40_73,l40_693,l40_2369,l40_2037,l40_1329,l40_1145,l40_1911,l40_2217,l40_45,l40_2181,l40_1347,l40_799,l40_2215,l40_1833,l40_2173,l40_1987,l40_731,l40_147,l40_1511,l40_1863,l40_141,l40_1639,l40_95,l40_119,l40_1875,l40_503,l40_2105,l40_611,l40_1667,l40_1559,l40_311,l40_467,l40_37,l40_2061,l40_905,l40_2389,l40_1451,l40_1763,l40_13,l40_1163,l40_2039,l40_1825,l40_2143,l40_1541,l40_2081,l40_955,l40_1525,l40_899,l40_763,l40_157,l40_205,l40_353,l40_277,l40_871,l40_2177,l40_535,l40_2295,l40_781,l40_2033,l40_649,l40_239,l40_1421,l40_2175,l40_63,l40_2095,l40_545,l40_1051,l40_351,l40_1861,l40_1929,l40_167,l40_487,l40_893,l40_855,l40_1043,l40_1241,l40_325,l40_2057,l40_279,l40_1669,l40_1605,l40_971,l40_1597,l40_2331,l40_2119,l40_637,l40_1823,l40_2361,l40_385,l40_2279,l40_817,l40_581,l40_2141,l40_1243,l40_1471,l40_705,l40_327,l40_53,l40_2253,l40_1731,l40_211,l40_1907,l40_987,l40_1759,l40_1005,l40_91,l40_2135,l40_1855,l40_1449,l40_381,l40_1853,l40_663,l40_1181,l40_1665,l40_529,l40_625,l40_1121,l40_2127,l40_489,l40_785,l40_367,l40_1937,l40_1317,l40_2333,l40_473,l40_1905,l40_1457,l40_1291,l40_5,l40_835,l40_1595,l40_1027,l40_2243,l40_1203,l40_2259,l40_1231,l40_661,l40_1305,l40_1299,l40_77,l40_2125,l40_1417,l40_1399,l40_123,l40_221,l40_2269,l40_1821,l40_1355,l40_2319,l40_1157,l40_1999,l40_107,l40_1075,l40_1263,l40_749,l40_1775,l40_509,l40_1397,l40_1975,l40_1831,l40_1799,l40_159,l40_513,l40_793,l40_1443,l40_1709,l40_979,l40_795,l40_1967,l40_2049,l40_341,l40_1627,l40_1575,l40_2083,l40_1707,l40_1153,l40_1989,l40_619,l40_2261,l40_671,l40_185,l40_1625,l40_531,l40_1815,l40_71,l40_883,l40_125,l40_231,l40_577,l40_65,l40_51,l40_1593,l40_1365,l40_2011,l40_283,l40_1261,l40_389,l40_1715,l40_639,l40_759,l40_433,l40_1323,l40_1379,l40_633,l40_533,l40_2385,l40_2085,l40_2273,l40_783,l40_23,l40_2379,l40_2075,l40_1735,l40_1923,l40_1845,l40_2381,l40_1483,l40_415,l40_387,l40_755,l40_1703,l40_1189,l40_1601,l40_1641,l40_963,l40_2213,l40_363,l40_455,l40_2307,l40_779,l40_2239,l40_2339,l40_183,l40_195,l40_1349,l40_1603,l40_939,l40_133,l40_41,l40_863,l40_1289,l40_673,l40_1245,l40_1233,l40_1521,l40_1657,l40_2179,l40_621,l40_1927,l40_895,l40_647,l40_1809,l40_2223,l40_679,l40_1297,l40_1949,l40_177,l40_409,l40_11,l40_463,l40_2101,l40_1311,l40_1523,l40_665,l40_275,l40_667,l40_1691,l40_1901,l40_151,l40_1661,l40_347,l40_521,l40_59,l40_393,l40_295,l40_1375,l40_751,l40_2325,l40_617,l40_591,l40_875,l40_2017,l40_1783,l40_681,l40_1727,l40_857,l40_2305,l40_267,l40_1033,l40_1413,l40_2373,l40_1829,l40_595,l40_1147,l40_687,l40_1725,l40_2043,l40_1335,l40_1433,l40_2315,l40_1565,l40_845,l40_1903,l40_1461,l40_345,l40_563,l40_2351,l40_2063,l40_1547,l40_2191,l40_149,l40_2079,l40_1599,l40_1119,l40_1237,l40_1647,l40_697,l40_131,l40_2401,l40_2055,l40_1105,l40_823,l40_797,l40_1771,l40_1225,l40_1753,l40_2031,l40_1635,l40_2131,l40_967,l40_1811,l40_1685,l40_719,l40_1649,l40_2019,l40_1143,l40_1111,l40_377,l40_379,l40_263,l40_1501,l40_2139,l40_2201,l40_1573,l40_17,l40_2189,l40_2111,l40_1617,l40_571,l40_215,l40_1251,l40_701,l40_1099,l40_229,l40_1313,l40_1127,l40_1101,l40_1569,l40_197,l40_2151,l40_1387,l40_1197,l40_919,l40_1485,l40_1981,l40_319,l40_1971,l40_191,l40_2297,l40_1537,l40_375,l40_573,l40_1061,l40_447,l40_547,l40_1097,l40_2067,l40_1003,l40_1623,l40_1713,l40_1543,l40_567,l40_457,l40_1699,l40_2267,l40_1683,l40_501,l40_801,l40_427,l40_2089,l40_775,l40_333,l40_287,l40_2129,l40_171,l40_587,l40_99,l40_1079,l40_121,l40_153,l40_973,l40_355,l40_1695,l40_1419,l40_1173,l40_337,l40_301,l40_331,l40_669,l40_1961,l40_959,l40_2097,l40_1613,l40_1997,l40_1899,l40_1217,l40_1515,l40_1381,l40_747,l40_1275,l40_1951,l40_1183,l40_911,l40_1963,l40_227,l40_1919,l40_653,l40_189,l40_559,l40_137,l40_1021,l40_237,l40_1139,l40_1035,l40_627,l40_1795,l40_2045,l40_479,l40_2327,l40_525,l40_1941,l40_1745,l40_1187,l40_543,l40_1693,l40_1909,l40_169,l40_111,l40_1827,l40_1675,l40_303,l40_933,l40_2371,l40_2365,l40_1571,l40_869,l40_2093,l40_357,l40_635,l40_853,l40_2221,l40_2171,l40_623,l40_1817,l40_1991,l40_225,l40_1721,l40_1137,l40_827,l40_815,l40_423,l40_539,l40_1019,l40_1921,l40_2157,l40_993,l40_629,l40_401,l40_2163,l40_1071,l40_651,l40_25,l40_1697,l40_569,l40_1805,l40_1737,l40_1789,l40_201,l40_1849,l40_1011,l40_29,l40_1023,l40_2159,l40_1337,l40_2281,l40_1739,l40_1423,l40_2025,l40_739,l40_897,l40_1191,l40_21,l40_813,l40_585,l40_403,l40_691,l40_451,l40_7,l40_787,l40_9,l40_2115,l40_1529,l40_115,l40_85,l40_1477,l40_953,l40_2263,l40_1935,l40_927,l40_145,l40_969,l40_1747,l40_2029,l40_251,l40_1037,l40_1175,l40_1293,l40_397,l40_729,l40_1103,l40_511,l40_1341,l40_1247,l40_1505,l40_1467,l40_2347,l40_841,l40_1385,l40_1321,l40_773,l40_1491,l40_285,l40_519,l40_989,l40_597,l40_2235,l40_949,l40_2013,l40_745,l40_1041,l40_383,l40_3,l40_1073,l40_2277,l40_1309,l40_789,l40_975,l40_1249,l40_1761,l40_609,l40_405,l40_217,l40_1427,l40_2069,l40_359,l40_1047,l40_127,l40_1567,l40_83,l40_925,l40_1841,l40_2103,l40_1859,l40_1445,l40_1587,l40_39,l40_1435,l40_777,l40_929,l40_527,l40_923,l40_2071,l40_155,l40_1377,l40_1025,l40_1029,l40_249,l40_945,l40_1015,l40_765,l40_2337,l40_373,l40_413,l40_2183,l40_645,l40_1687,l40_2053,l40_657,l40_2015,l40_2301,l40_187,l40_1645,l40_523,l40_903,l40_1371,l40_1555,l40_1659,l40_2205,l40_1493,l40_2383,l40_1141,l40_839,l40_1405,l40_15,l40_2113,l40_2123,l40_1553,l40_1171,l40_1007,l40_961,l40_1213,l40_541,l40_1193,l40_1895,l40_2251,l40_517,l40_1327,l40_317,l40_549,l40_1785,l40_1453,l40_1993,l40_1651,l40_2355,l40_1369,l40_1271,l40_1793,l40_819,l40_1933,l40_1579,l40_2289,l40_163,l40_583,l40_873,l40_329,l40_243,l40_859,l40_1915,l40_1287,l40_1109,l40_2001,l40_2077,l40_315,l40_2185,l40_2387,l40_1741,l40_1585,l40_2195,l40_1889,l40_79,l40_1957,l40_1955,l40_1717,l40_1883,l40_143,l40_1503,l40_709,l40_1115,l40_689,l40_1757,l40_1009,l40_983,l40_139,l40_2147,l40_1749,l40_477,l40_891,l40_1059,l40_1373,l40_917,l40_1539,l40_557,l40_1881,l40_1201,l40_1509,l40_1057,l40_1755,l40_2169,l40_1551,l40_461,l40_1663,l40_1209,l40_2313,l40_1581,l40_105,l40_1561,l40_1779,l40_2009,l40_2367,l40_829,l40_2311,l40_515,l40_43,l40_1673,l40_1013,l40_1607,l40_1701,l40_737,l40_1363,l40_1045,l40_1869,l40_1081,l40_1995,l40_1307,l40_877,l40_2265,l40_1401,l40_2153,l40_2199,l40_407,l40_1893,l40_941,l40_1807,l40_1211,l40_821,l40_631,l40_843,l40_1177,l40_1965,l40_1199,l40_1787,l40_1149,l40_753,l40_1589,l40_339,l40_767,l40_837,l40_1545,l40_995,l40_1407,l40_2291,l40_1985,l40_2255,l40_1409,l40_1945,l40_1891,l40_2309,l40_2059,l40_1295,l40_605,l40_261,l40_1053,l40_253,l40_1357,l40_1273,l40_2329,l40_193,l40_2377,l40_1475,l40_1087,l40_803,l40_2197,l40_101,l40_599,l40_551,l40_2229,l40_1609,l40_117,l40_1733,l40_805,l40_849,l40_2227,l40_1207,l40_2161,l40_1865,l40_2209,l40_1223,l40_901,l40_2321,l40_1931,l40_307,l40_2285,l40_1065,l40_259,l40_1067,l40_1497,l40_1611,l40_2271,l40_453,l40_1549,l40_1279,l40_265,l40_1801,l40_2193,l40_1781,l40_695,l40_791,l40_1361,l40_497,l40_2149,l40_2357,l40_247,l40_2219,l40_761,l40_437,l40_289,l40_2399,l40_1117,l40_1973,l40_1767,l40_165,l40_2165,l40_603,l40_1077,l40_2003,l40_1393,l40_1681,l40_135,l40_913,l40_2167,l40_1333,l40_1803,l40_1129,l40_2335,l40_743,l40_321,l40_579,l40_33,l40_505,l40_2343,l40_293,l40_1633,l40_349,l40_2393,l40_1977,l40_555,l40_1563,l40_613,l40_1267,l40_2047,l40_1743,l40_1351,l40_1577,l40_1867,l40_439,l40_771,l40_937,l40_1239,l40_109,l40_1969,l40_1983,l40_935,l40_865,l40_2073,l40_1391,l40_1619,l40_1265,l40_1487,l40_1269,l40_997,l40_1219,l40_1857,l40_2349,l40_483,l40_1131,l40_1469,l40_1947,l40_707,l40_981,l40_323,l40_2395,l40_1159,l40_711,l40_1,l40_1463,l40_1939,l40_607,l40_417,l40_1133,l40_553,l40_1819,l40_175,l40_811,l40_809,l40_1837,l40_1001,l40_89,l40_97,l40_2341,l40_75,l40_1185,l40_1473,l40_19,l40_717,l40_1359,l40_565,l40_2117,l40_87,l40_757,l40_1367,l40_35,l40_721,l40_1125,l40_677,l40_495,l40_1751,l40_365,l40_1031,l40_297,l40_1331,l40_2051,l40_1689,l40_947,l40_2099,l40_1979,l40_867,l40_1093,l40_443,l40_241,l40_2065,l40_909,l40_1621,l40_449,l40_2207,l40_343,l40_1339,l40_1637,l40_485,l40_1879,l40_1519,l40_683,l40_1151,l40_435,l40_445,l40_1631,l40_1871,l40_1873,l40_1531,l40_2375,l40_1431,l40_1167,l40_1835,l40_2091,l40_641,l40_257,l40_1135,l40_2027,l40_67,l40_313,l40_2155,l40_1277,l40_471,l40_1765,l40_2225,l40_1235,l40_2237,l40_459,l40_207,l40_887,l40_725,l40_915,l40_1629,l40_2293,l40_703,l40_1315,l40_1063,l40_1913,l40_951,l40_419,l40_1465,l40_369,l40_69,l40_2287,l40_575,l40_1925,l40_985,l40_1847,l40_2397,l40_2121,l40_2021,l40_1221,l40_129,l40_2087,l40_943,l40_1325,l40_723,l40_1039,l40_1517,l40_833,l40_1705,l40_1917,l40_1723,l40_2323,l40_2283,l40_1195,l40_2249,l40_61,l40_1285,l40_481,l40_1095,l40_309,l40_1257,l40_371,l40_235,l40_1415,l40_537,l40_2241,l40_1281,l40_1513,l40_1887,l40_2109,l40_507,l40_1425,l40_1155,l40_1499,l40_1655,l40_977,l40_429,l40_659,l40_1679,l40_889,l40_1677,l40_1303,l40_1507,l40_1049,l40_2317,l40_1791,l40_1959,l40_491,l40_103,l40_271,l40_2359,l40_179,l40_741,l40_1533,l40_2391,l40_1495,l40_1769,l40_2233,l40_715,l40_209,l40_1839,l40_769,l40_2353,l40_1441,l40_2299,l40_161,l40_113,l40_2275,l40_685,l40_1711,l40_1729,l40_475,l40_2035,l40_931,l40_2303,l40_273,l40_831,l40_1259,l40_1481,l40_411,l40_655,l40_245,l40_1353,l40_2007,l40_399,l40_1083,l40_1527,l40_1429,l40_281,l40_561,l40_1107,l40_1179,l40_219,l40_957,l40_1215,l40_465,l40_213,l40_1123,l40_699,l40_1253,l40_93,l40_2187,l40_2245,l40_1161,l40_1953,l40_1113,l40_1229,l40_2107,l40_593,l40_391,l40_47,l40_1089,l40_269,l40_1943,l40_733,l40_2247,l40_861,l40_2345,l40_299,l40_1403,l40_2145,l40_1205,l40_1591,l40_2231,l40_847,l40_1535,l40_395,l40_469,l40_1479,l40_1843,l40_1885,l40_1813,l40_223,l40_291,l40_1583,l40_55,l40_1671,l40_589,l40_1851,l40_885,l40_1319,l40_807,l40_907,l40_31,l40_643,l40_441,l40_1643,l40_255,l40_2257,l40_921,l40_431,l40_1459,l40_601,l40_965,l40_2363,l40_1091,l40_1797,l40_615,l40_335,l40_2211,l40_713,l40_2041,l40_2203,l40_879,
Mar 25, 2019 11:29:31 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1201 fixed domain variables (out of 4613803 variables) in GAL type FamilyReunion_COL_L01200M0120C060P060G030_flat
Mar 25, 2019 11:29:32 PM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: Found a total of 1201 constant array cells/variables (out of 4613803 variables) in type FamilyReunion_COL_L01200M0120C060P060G030_flat
Mar 25, 2019 11:29:32 PM fr.lip6.move.gal.instantiate.Simplifier printConstantVars
INFO: l40_999,l40_49,l40_57,l40_81,l40_173,l40_825,l40_203,l40_499,l40_1055,l40_421,l40_305,l40_1085,l40_199,l40_181,l40_1169,l40_881,l40_27,l40_1439,l40_1069,l40_1777,l40_1557,l40_1283,l40_1343,l40_851,l40_1437,l40_1411,l40_675,l40_2133,l40_1017,l40_233,l40_727,l40_2137,l40_2005,l40_1455,l40_1389,l40_1877,l40_493,l40_1255,l40_735,l40_1719,l40_1773,l40_425,l40_1301,l40_1897,l40_1383,l40_991,l40_361,l40_1615,l40_1227,l40_1165,l40_1447,l40_2023,l40_1395,l40_1653,l40_1345,l40_1489,l40_73,l40_693,l40_2369,l40_2037,l40_1329,l40_1145,l40_1911,l40_2217,l40_45,l40_2181,l40_1347,l40_799,l40_2215,l40_1833,l40_2173,l40_1987,l40_731,l40_147,l40_1511,l40_1863,l40_141,l40_1639,l40_95,l40_119,l40_1875,l40_503,l40_2105,l40_611,l40_1667,l40_1559,l40_311,l40_467,l40_37,l40_2061,l40_905,l40_2389,l40_1451,l40_1763,l40_13,l40_1163,l40_2039,l40_1825,l40_2143,l40_1541,l40_2081,l40_955,l40_1525,l40_899,l40_763,l40_157,l40_205,l40_353,l40_277,l40_871,l40_2177,l40_535,l40_2295,l40_781,l40_2033,l40_649,l40_239,l40_1421,l40_2175,l40_63,l40_2095,l40_545,l40_1051,l40_351,l40_1861,l40_1929,l40_167,l40_487,l40_893,l40_855,l40_1043,l40_1241,l40_325,l40_2057,l40_279,l40_1669,l40_1605,l40_971,l40_1597,l40_2331,l40_2119,l40_637,l40_1823,l40_2361,l40_385,l40_2279,l40_817,l40_581,l40_2141,l40_1243,l40_1471,l40_705,l40_327,l40_53,l40_2253,l40_1731,l40_211,l40_1907,l40_987,l40_1759,l40_1005,l40_91,l40_2135,l40_1855,l40_1449,l40_381,l40_1853,l40_663,l40_1181,l40_1665,l40_529,l40_625,l40_1121,l40_2127,l40_489,l40_785,l40_367,l40_1937,l40_1317,l40_2333,l40_473,l40_1905,l40_1457,l40_1291,l40_5,l40_835,l40_1595,l40_1027,l40_2243,l40_1203,l40_2259,l40_1231,l40_661,l40_1305,l40_1299,l40_77,l40_2125,l40_1417,l40_1399,l40_123,l40_221,l40_2269,l40_1821,l40_1355,l40_2319,l40_1157,l40_1999,l40_107,l40_1075,l40_1263,l40_749,l40_1775,l40_509,l40_1397,l40_1975,l40_1831,l40_1799,l40_159,l40_513,l40_793,l40_1443,l40_1709,l40_979,l40_795,l40_1967,l40_2049,l40_341,l40_1627,l40_1575,l40_2083,l40_1707,l40_1153,l40_1989,l40_619,l40_2261,l40_671,l40_185,l40_1625,l40_531,l40_1815,l40_71,l40_883,l40_125,l40_231,l40_577,l40_65,l40_51,l40_1593,l40_1365,l40_2011,l40_283,l40_1261,l40_389,l40_1715,l40_639,l40_759,l40_433,l40_1323,l40_1379,l40_633,l40_533,l40_2385,l40_2085,l40_2273,l40_783,l40_23,l40_2379,l40_2075,l40_1735,l40_1923,l40_1845,l40_2381,l40_1483,l40_415,l40_387,l40_755,l40_1703,l40_1189,l40_1601,l40_1641,l40_963,l40_2213,l40_363,l40_455,l40_2307,l40_779,l40_2239,l40_2339,l40_183,l40_195,l40_1349,l40_1603,l40_939,l40_133,l40_41,l40_863,l40_1289,l40_673,l40_1245,l40_1233,l40_1521,l40_1657,l40_2179,l40_621,l40_1927,l40_895,l40_647,l40_1809,l40_2223,l40_679,l40_1297,l40_1949,l40_177,l40_409,l40_11,l40_463,l40_2101,l40_1311,l40_1523,l40_665,l40_275,l40_667,l40_1691,l40_1901,l40_151,l40_1661,l40_347,l40_521,l40_59,l40_393,l40_295,l40_1375,l40_751,l40_2325,l40_617,l40_591,l40_875,l40_2017,l40_1783,l40_681,l40_1727,l40_857,l40_2305,l40_267,l40_1033,l40_1413,l40_2373,l40_1829,l40_595,l40_1147,l40_687,l40_1725,l40_2043,l40_1335,l40_1433,l40_2315,l40_1565,l40_845,l40_1903,l40_1461,l40_345,l40_563,l40_2351,l40_2063,l40_1547,l40_2191,l40_149,l40_2079,l40_1599,l40_1119,l40_1237,l40_1647,l40_697,l40_131,l40_2401,l40_2055,l40_1105,l40_823,l40_797,l40_1771,l40_1225,l40_1753,l40_2031,l40_1635,l40_2131,l40_967,l40_1811,l40_1685,l40_719,l40_1649,l40_2019,l40_1143,l40_1111,l40_377,l40_379,l40_263,l40_1501,l40_2139,l40_2201,l40_1573,l40_17,l40_2189,l40_2111,l40_1617,l40_571,l40_215,l40_1251,l40_701,l40_1099,l40_229,l40_1313,l40_1127,l40_1101,l40_1569,l40_197,l40_2151,l40_1387,l40_1197,l40_919,l40_1485,l40_1981,l40_319,l40_1971,l40_191,l40_2297,l40_1537,l40_375,l40_573,l40_1061,l40_447,l40_547,l40_1097,l40_2067,l40_1003,l40_1623,l40_1713,l40_1543,l40_567,l40_457,l40_1699,l40_2267,l40_1683,l40_501,l40_801,l40_427,l40_2089,l40_775,l40_333,l40_287,l40_2129,l40_171,l40_587,l40_99,l40_1079,l40_121,l40_153,l40_973,l40_355,l40_1695,l40_1419,l40_1173,l40_337,l40_301,l40_331,l40_669,l40_1961,l40_959,l40_2097,l40_1613,l40_1997,l40_1899,l40_1217,l40_1515,l40_1381,l40_747,l40_1275,l40_1951,l40_1183,l40_911,l40_1963,l40_227,l40_1919,l40_653,l40_189,l40_559,l40_137,l40_1021,l40_237,l40_1139,l40_1035,l40_627,l40_1795,l40_2045,l40_479,l40_2327,l40_525,l40_1941,l40_1745,l40_1187,l40_543,l40_1693,l40_1909,l40_169,l40_111,l40_1827,l40_1675,l40_303,l40_933,l40_2371,l40_2365,l40_1571,l40_869,l40_2093,l40_357,l40_635,l40_853,l40_2221,l40_2171,l40_623,l40_1817,l40_1991,l40_225,l40_1721,l40_1137,l40_827,l40_815,l40_423,l40_539,l40_1019,l40_1921,l40_2157,l40_993,l40_629,l40_401,l40_2163,l40_1071,l40_651,l40_25,l40_1697,l40_569,l40_1805,l40_1737,l40_1789,l40_201,l40_1849,l40_1011,l40_29,l40_1023,l40_2159,l40_1337,l40_2281,l40_1739,l40_1423,l40_2025,l40_739,l40_897,l40_1191,l40_21,l40_813,l40_585,l40_403,l40_691,l40_451,l40_7,l40_787,l40_9,l40_2115,l40_1529,l40_115,l40_85,l40_1477,l40_953,l40_2263,l40_1935,l40_927,l40_145,l40_969,l40_1747,l40_2029,l40_251,l40_1037,l40_1175,l40_1293,l40_397,l40_729,l40_1103,l40_511,l40_1341,l40_1247,l40_1505,l40_1467,l40_2347,l40_841,l40_1385,l40_1321,l40_773,l40_1491,l40_285,l40_519,l40_989,l40_597,l40_2235,l40_949,l40_2013,l40_745,l40_1041,l40_383,l40_3,l40_1073,l40_2277,l40_1309,l40_789,l40_975,l40_1249,l40_1761,l40_609,l40_405,l40_217,l40_1427,l40_2069,l40_359,l40_1047,l40_127,l40_1567,l40_83,l40_925,l40_1841,l40_2103,l40_1859,l40_1445,l40_1587,l40_39,l40_1435,l40_777,l40_929,l40_527,l40_923,l40_2071,l40_155,l40_1377,l40_1025,l40_1029,l40_249,l40_945,l40_1015,l40_765,l40_2337,l40_373,l40_413,l40_2183,l40_645,l40_1687,l40_2053,l40_657,l40_2015,l40_2301,l40_187,l40_1645,l40_523,l40_903,l40_1371,l40_1555,l40_1659,l40_2205,l40_1493,l40_2383,l40_1141,l40_839,l40_1405,l40_15,l40_2113,l40_2123,l40_1553,l40_1171,l40_1007,l40_961,l40_1213,l40_541,l40_1193,l40_1895,l40_2251,l40_517,l40_1327,l40_317,l40_549,l40_1785,l40_1453,l40_1993,l40_1651,l40_2355,l40_1369,l40_1271,l40_1793,l40_819,l40_1933,l40_1579,l40_2289,l40_163,l40_583,l40_873,l40_329,l40_243,l40_859,l40_1915,l40_1287,l40_1109,l40_2001,l40_2077,l40_315,l40_2185,l40_2387,l40_1741,l40_1585,l40_2195,l40_1889,l40_79,l40_1957,l40_1955,l40_1717,l40_1883,l40_143,l40_1503,l40_709,l40_1115,l40_689,l40_1757,l40_1009,l40_983,l40_139,l40_2147,l40_1749,l40_477,l40_891,l40_1059,l40_1373,l40_917,l40_1539,l40_557,l40_1881,l40_1201,l40_1509,l40_1057,l40_1755,l40_2169,l40_1551,l40_461,l40_1663,l40_1209,l40_2313,l40_1581,l40_105,l40_1561,l40_1779,l40_2009,l40_2367,l40_829,l40_2311,l40_515,l40_43,l40_1673,l40_1013,l40_1607,l40_1701,l40_737,l40_1363,l40_1045,l40_1869,l40_1081,l40_1995,l40_1307,l40_877,l40_2265,l40_1401,l40_2153,l40_2199,l40_407,l40_1893,l40_941,l40_1807,l40_1211,l40_821,l40_631,l40_843,l40_1177,l40_1965,l40_1199,l40_1787,l40_1149,l40_753,l40_1589,l40_339,l40_767,l40_837,l40_1545,l40_995,l40_1407,l40_2291,l40_1985,l40_2255,l40_1409,l40_1945,l40_1891,l40_2309,l40_2059,l40_1295,l40_605,l40_261,l40_1053,l40_253,l40_1357,l40_1273,l40_2329,l40_193,l40_2377,l40_1475,l40_1087,l40_803,l40_2197,l40_101,l40_599,l40_551,l40_2229,l40_1609,l40_117,l40_1733,l40_805,l40_849,l40_2227,l40_1207,l40_2161,l40_1865,l40_2209,l40_1223,l40_901,l40_2321,l40_1931,l40_307,l40_2285,l40_1065,l40_259,l40_1067,l40_1497,l40_1611,l40_2271,l40_453,l40_1549,l40_1279,l40_265,l40_1801,l40_2193,l40_1781,l40_695,l40_791,l40_1361,l40_497,l40_2149,l40_2357,l40_247,l40_2219,l40_761,l40_437,l40_289,l40_2399,l40_1117,l40_1973,l40_1767,l40_165,l40_2165,l40_603,l40_1077,l40_2003,l40_1393,l40_1681,l40_135,l40_913,l40_2167,l40_1333,l40_1803,l40_1129,l40_2335,l40_743,l40_321,l40_579,l40_33,l40_505,l40_2343,l40_293,l40_1633,l40_349,l40_2393,l40_1977,l40_555,l40_1563,l40_613,l40_1267,l40_2047,l40_1743,l40_1351,l40_1577,l40_1867,l40_439,l40_771,l40_937,l40_1239,l40_109,l40_1969,l40_1983,l40_935,l40_865,l40_2073,l40_1391,l40_1619,l40_1265,l40_1487,l40_1269,l40_997,l40_1219,l40_1857,l40_2349,l40_483,l40_1131,l40_1469,l40_1947,l40_707,l40_981,l40_323,l40_2395,l40_1159,l40_711,l40_1,l40_1463,l40_1939,l40_607,l40_417,l40_1133,l40_553,l40_1819,l40_175,l40_811,l40_809,l40_1837,l40_1001,l40_89,l40_97,l40_2341,l40_75,l40_1185,l40_1473,l40_19,l40_717,l40_1359,l40_565,l40_2117,l40_87,l40_757,l40_1367,l40_35,l40_721,l40_1125,l40_677,l40_495,l40_1751,l40_365,l40_1031,l40_297,l40_1331,l40_2051,l40_1689,l40_947,l40_2099,l40_1979,l40_867,l40_1093,l40_443,l40_241,l40_2065,l40_909,l40_1621,l40_449,l40_2207,l40_343,l40_1339,l40_1637,l40_485,l40_1879,l40_1519,l40_683,l40_1151,l40_435,l40_445,l40_1631,l40_1871,l40_1873,l40_1531,l40_2375,l40_1431,l40_1167,l40_1835,l40_2091,l40_641,l40_257,l40_1135,l40_2027,l40_67,l40_313,l40_2155,l40_1277,l40_471,l40_1765,l40_2225,l40_1235,l40_2237,l40_459,l40_207,l40_887,l40_725,l40_915,l40_1629,l40_2293,l40_703,l40_1315,l40_1063,l40_1913,l40_951,l40_419,l40_1465,l40_369,l40_69,l40_2287,l40_575,l40_1925,l40_985,l40_1847,l40_2397,l40_2121,l40_2021,l40_1221,l40_129,l40_2087,l40_943,l40_1325,l40_723,l40_1039,l40_1517,l40_833,l40_1705,l40_1917,l40_1723,l40_2323,l40_2283,l40_1195,l40_2249,l40_61,l40_1285,l40_481,l40_1095,l40_309,l40_1257,l40_371,l40_235,l40_1415,l40_537,l40_2241,l40_1281,l40_1513,l40_1887,l40_2109,l40_507,l40_1425,l40_1155,l40_1499,l40_1655,l40_977,l40_429,l40_659,l40_1679,l40_889,l40_1677,l40_1303,l40_1507,l40_1049,l40_2317,l40_1791,l40_1959,l40_491,l40_103,l40_271,l40_2359,l40_179,l40_741,l40_1533,l40_2391,l40_1495,l40_1769,l40_2233,l40_715,l40_209,l40_1839,l40_769,l40_2353,l40_1441,l40_2299,l40_161,l40_113,l40_2275,l40_685,l40_1711,l40_1729,l40_475,l40_2035,l40_931,l40_2303,l40_273,l40_831,l40_1259,l40_1481,l40_411,l40_655,l40_245,l40_1353,l40_2007,l40_399,l40_1083,l40_1527,l40_1429,l40_281,l40_561,l40_1107,l40_1179,l40_219,l40_957,l40_1215,l40_465,l40_213,l40_1123,l40_699,l40_1253,l40_93,l40_2187,l40_2245,l40_1161,l40_1953,l40_1113,l40_1229,l40_2107,l40_593,l40_391,l40_47,l40_1089,l40_269,l40_1943,l40_733,l40_2247,l40_861,l40_2345,l40_299,l40_1403,l40_2145,l40_1205,l40_1591,l40_2231,l40_847,l40_1535,l40_395,l40_469,l40_1479,l40_1843,l40_1885,l40_1813,l40_223,l40_291,l40_1583,l40_55,l40_1671,l40_589,l40_1851,l40_885,l40_1319,l40_807,l40_907,l40_31,l40_643,l40_441,l40_1643,l40_255,l40_2257,l40_921,l40_431,l40_1459,l40_601,l40_965,l40_2363,l40_1091,l40_1797,l40_615,l40_335,l40_2211,l40_713,l40_2041,l40_2203,l40_879,
Mar 25, 2019 11:29:49 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1201 constant variables :l40_999=0, l40_49=0, l40_57=0, l40_81=0, l40_173=0, l40_825=0, l40_203=0, l40_499=0, l40_1055=0, l40_421=0, l40_305=0, l40_1085=0, l40_199=0, l40_181=0, l40_1169=0, l40_881=0, l40_27=0, l40_1439=0, l40_1069=0, l40_1777=0, l40_1557=0, l40_1283=0, l40_1343=0, l40_851=0, l40_1437=0, l40_1411=0, l40_675=0, l40_2133=0, l40_1017=0, l40_233=0, l40_727=0, l40_2137=0, l40_2005=0, l40_1455=0, l40_1389=0, l40_1877=0, l40_493=0, l40_1255=0, l40_735=0, l40_1719=0, l40_1773=0, l40_425=0, l40_1301=0, l40_1897=0, l40_1383=0, l40_991=0, l40_361=0, l40_1615=0, l40_1227=0, l40_1165=0, l40_1447=0, l40_2023=0, l40_1395=0, l40_1653=0, l40_1345=0, l40_1489=0, l40_73=0, l40_693=0, l40_2369=0, l40_2037=0, l40_1329=0, l40_1145=0, l40_1911=0, l40_2217=0, l40_45=0, l40_2181=0, l40_1347=0, l40_799=0, l40_2215=0, l40_1833=0, l40_2173=0, l40_1987=0, l40_731=0, l40_147=0, l40_1511=0, l40_1863=0, l40_141=0, l40_1639=0, l40_95=0, l40_119=0, l40_1875=0, l40_503=0, l40_2105=0, l40_611=0, l40_1667=0, l40_1559=0, l40_311=0, l40_467=0, l40_37=0, l40_2061=0, l40_905=0, l40_2389=0, l40_1451=0, l40_1763=0, l40_13=0, l40_1163=0, l40_2039=0, l40_1825=0, l40_2143=0, l40_1541=0, l40_2081=0, l40_955=0, l40_1525=0, l40_899=0, l40_763=0, l40_157=0, l40_205=0, l40_353=0, l40_277=0, l40_871=0, l40_2177=0, l40_535=0, l40_2295=0, l40_781=0, l40_2033=0, l40_649=0, l40_239=0, l40_1421=0, l40_2175=0, l40_63=0, l40_2095=0, l40_545=0, l40_1051=0, l40_351=0, l40_1861=0, l40_1929=0, l40_167=0, l40_487=0, l40_893=0, l40_855=0, l40_1043=0, l40_1241=0, l40_325=0, l40_2057=0, l40_279=0, l40_1669=0, l40_1605=0, l40_971=0, l40_1597=0, l40_2331=0, l40_2119=0, l40_637=0, l40_1823=0, l40_2361=0, l40_385=0, l40_2279=0, l40_817=0, l40_581=0, l40_2141=0, l40_1243=0, l40_1471=0, l40_705=0, l40_327=0, l40_53=0, l40_2253=0, l40_1731=0, l40_211=0, l40_1907=0, l40_987=0, l40_1759=0, l40_1005=0, l40_91=0, l40_2135=0, l40_1855=0, l40_1449=0, l40_381=0, l40_1853=0, l40_663=0, l40_1181=0, l40_1665=0, l40_529=0, l40_625=0, l40_1121=0, l40_2127=0, l40_489=0, l40_785=0, l40_367=0, l40_1937=0, l40_1317=0, l40_2333=0, l40_473=0, l40_1905=0, l40_1457=0, l40_1291=0, l40_5=0, l40_835=0, l40_1595=0, l40_1027=0, l40_2243=0, l40_1203=0, l40_2259=0, l40_1231=0, l40_661=0, l40_1305=0, l40_1299=0, l40_77=0, l40_2125=0, l40_1417=0, l40_1399=0, l40_123=0, l40_221=0, l40_2269=0, l40_1821=0, l40_1355=0, l40_2319=0, l40_1157=0, l40_1999=0, l40_107=0, l40_1075=0, l40_1263=0, l40_749=0, l40_1775=0, l40_509=0, l40_1397=0, l40_1975=0, l40_1831=0, l40_1799=0, l40_159=0, l40_513=0, l40_793=0, l40_1443=0, l40_1709=0, l40_979=0, l40_795=0, l40_1967=0, l40_2049=0, l40_341=0, l40_1627=0, l40_1575=0, l40_2083=0, l40_1707=0, l40_1153=0, l40_1989=0, l40_619=0, l40_2261=0, l40_671=0, l40_185=0, l40_1625=0, l40_531=0, l40_1815=0, l40_71=0, l40_883=0, l40_125=0, l40_231=0, l40_577=0, l40_65=0, l40_51=0, l40_1593=0, l40_1365=0, l40_2011=0, l40_283=0, l40_1261=0, l40_389=0, l40_1715=0, l40_639=0, l40_759=0, l40_433=0, l40_1323=0, l40_1379=0, l40_633=0, l40_533=0, l40_2385=0, l40_2085=0, l40_2273=0, l40_783=0, l40_23=0, l40_2379=0, l40_2075=0, l40_1735=0, l40_1923=0, l40_1845=0, l40_2381=0, l40_1483=0, l40_415=0, l40_387=0, l40_755=0, l40_1703=0, l40_1189=0, l40_1601=0, l40_1641=0, l40_963=0, l40_2213=0, l40_363=0, l40_455=0, l40_2307=0, l40_779=0, l40_2239=0, l40_2339=0, l40_183=0, l40_195=0, l40_1349=0, l40_1603=0, l40_939=0, l40_133=0, l40_41=0, l40_863=0, l40_1289=0, l40_673=0, l40_1245=0, l40_1233=0, l40_1521=0, l40_1657=0, l40_2179=0, l40_621=0, l40_1927=0, l40_895=0, l40_647=0, l40_1809=0, l40_2223=0, l40_679=0, l40_1297=0, l40_1949=0, l40_177=0, l40_409=0, l40_11=0, l40_463=0, l40_2101=0, l40_1311=0, l40_1523=0, l40_665=0, l40_275=0, l40_667=0, l40_1691=0, l40_1901=0, l40_151=0, l40_1661=0, l40_347=0, l40_521=0, l40_59=0, l40_393=0, l40_295=0, l40_1375=0, l40_751=0, l40_2325=0, l40_617=0, l40_591=0, l40_875=0, l40_2017=0, l40_1783=0, l40_681=0, l40_1727=0, l40_857=0, l40_2305=0, l40_267=0, l40_1033=0, l40_1413=0, l40_2373=0, l40_1829=0, l40_595=0, l40_1147=0, l40_687=0, l40_1725=0, l40_2043=0, l40_1335=0, l40_1433=0, l40_2315=0, l40_1565=0, l40_845=0, l40_1903=0, l40_1461=0, l40_345=0, l40_563=0, l40_2351=0, l40_2063=0, l40_1547=0, l40_2191=0, l40_149=0, l40_2079=0, l40_1599=0, l40_1119=0, l40_1237=0, l40_1647=0, l40_697=0, l40_131=0, l40_2401=0, l40_2055=0, l40_1105=0, l40_823=0, l40_797=0, l40_1771=0, l40_1225=0, l40_1753=0, l40_2031=0, l40_1635=0, l40_2131=0, l40_967=0, l40_1811=0, l40_1685=0, l40_719=0, l40_1649=0, l40_2019=0, l40_1143=0, l40_1111=0, l40_377=0, l40_379=0, l40_263=0, l40_1501=0, l40_2139=0, l40_2201=0, l40_1573=0, l40_17=0, l40_2189=0, l40_2111=0, l40_1617=0, l40_571=0, l40_215=0, l40_1251=0, l40_701=0, l40_1099=0, l40_229=0, l40_1313=0, l40_1127=0, l40_1101=0, l40_1569=0, l40_197=0, l40_2151=0, l40_1387=0, l40_1197=0, l40_919=0, l40_1485=0, l40_1981=0, l40_319=0, l40_1971=0, l40_191=0, l40_2297=0, l40_1537=0, l40_375=0, l40_573=0, l40_1061=0, l40_447=0, l40_547=0, l40_1097=0, l40_2067=0, l40_1003=0, l40_1623=0, l40_1713=0, l40_1543=0, l40_567=0, l40_457=0, l40_1699=0, l40_2267=0, l40_1683=0, l40_501=0, l40_801=0, l40_427=0, l40_2089=0, l40_775=0, l40_333=0, l40_287=0, l40_2129=0, l40_171=0, l40_587=0, l40_99=0, l40_1079=0, l40_121=0, l40_153=0, l40_973=0, l40_355=0, l40_1695=0, l40_1419=0, l40_1173=0, l40_337=0, l40_301=0, l40_331=0, l40_669=0, l40_1961=0, l40_959=0, l40_2097=0, l40_1613=0, l40_1997=0, l40_1899=0, l40_1217=0, l40_1515=0, l40_1381=0, l40_747=0, l40_1275=0, l40_1951=0, l40_1183=0, l40_911=0, l40_1963=0, l40_227=0, l40_1919=0, l40_653=0, l40_189=0, l40_559=0, l40_137=0, l40_1021=0, l40_237=0, l40_1139=0, l40_1035=0, l40_627=0, l40_1795=0, l40_2045=0, l40_479=0, l40_2327=0, l40_525=0, l40_1941=0, l40_1745=0, l40_1187=0, l40_543=0, l40_1693=0, l40_1909=0, l40_169=0, l40_111=0, l40_1827=0, l40_1675=0, l40_303=0, l40_933=0, l40_2371=0, l40_2365=0, l40_1571=0, l40_869=0, l40_2093=0, l40_357=0, l40_635=0, l40_853=0, l40_2221=0, l40_2171=0, l40_623=0, l40_1817=0, l40_1991=0, l40_225=0, l40_1721=0, l40_1137=0, l40_827=0, l40_815=0, l40_423=0, l40_539=0, l40_1019=0, l40_1921=0, l40_2157=0, l40_993=0, l40_629=0, l40_401=0, l40_2163=0, l40_1071=0, l40_651=0, l40_25=0, l40_1697=0, l40_569=0, l40_1805=0, l40_1737=0, l40_1789=0, l40_201=0, l40_1849=0, l40_1011=0, l40_29=0, l40_1023=0, l40_2159=0, l40_1337=0, l40_2281=0, l40_1739=0, l40_1423=0, l40_2025=0, l40_739=0, l40_897=0, l40_1191=0, l40_21=0, l40_813=0, l40_585=0, l40_403=0, l40_691=0, l40_451=0, l40_7=0, l40_787=0, l40_9=0, l40_2115=0, l40_1529=0, l40_115=0, l40_85=0, l40_1477=0, l40_953=0, l40_2263=0, l40_1935=0, l40_927=0, l40_145=0, l40_969=0, l40_1747=0, l40_2029=0, l40_251=0, l40_1037=0, l40_1175=0, l40_1293=0, l40_397=0, l40_729=0, l40_1103=0, l40_511=0, l40_1341=0, l40_1247=0, l40_1505=0, l40_1467=0, l40_2347=0, l40_841=0, l40_1385=0, l40_1321=0, l40_773=0, l40_1491=0, l40_285=0, l40_519=0, l40_989=0, l40_597=0, l40_2235=0, l40_949=0, l40_2013=0, l40_745=0, l40_1041=0, l40_383=0, l40_3=0, l40_1073=0, l40_2277=0, l40_1309=0, l40_789=0, l40_975=0, l40_1249=0, l40_1761=0, l40_609=0, l40_405=0, l40_217=0, l40_1427=0, l40_2069=0, l40_359=0, l40_1047=0, l40_127=0, l40_1567=0, l40_83=0, l40_925=0, l40_1841=0, l40_2103=0, l40_1859=0, l40_1445=0, l40_1587=0, l40_39=0, l40_1435=0, l40_777=0, l40_929=0, l40_527=0, l40_923=0, l40_2071=0, l40_155=0, l40_1377=0, l40_1025=0, l40_1029=0, l40_249=0, l40_945=0, l40_1015=0, l40_765=0, l40_2337=0, l40_373=0, l40_413=0, l40_2183=0, l40_645=0, l40_1687=0, l40_2053=0, l40_657=0, l40_2015=0, l40_2301=0, l40_187=0, l40_1645=0, l40_523=0, l40_903=0, l40_1371=0, l40_1555=0, l40_1659=0, l40_2205=0, l40_1493=0, l40_2383=0, l40_1141=0, l40_839=0, l40_1405=0, l40_15=0, l40_2113=0, l40_2123=0, l40_1553=0, l40_1171=0, l40_1007=0, l40_961=0, l40_1213=0, l40_541=0, l40_1193=0, l40_1895=0, l40_2251=0, l40_517=0, l40_1327=0, l40_317=0, l40_549=0, l40_1785=0, l40_1453=0, l40_1993=0, l40_1651=0, l40_2355=0, l40_1369=0, l40_1271=0, l40_1793=0, l40_819=0, l40_1933=0, l40_1579=0, l40_2289=0, l40_163=0, l40_583=0, l40_873=0, l40_329=0, l40_243=0, l40_859=0, l40_1915=0, l40_1287=0, l40_1109=0, l40_2001=0, l40_2077=0, l40_315=0, l40_2185=0, l40_2387=0, l40_1741=0, l40_1585=0, l40_2195=0, l40_1889=0, l40_79=0, l40_1957=0, l40_1955=0, l40_1717=0, l40_1883=0, l40_143=0, l40_1503=0, l40_709=0, l40_1115=0, l40_689=0, l40_1757=0, l40_1009=0, l40_983=0, l40_139=0, l40_2147=0, l40_1749=0, l40_477=0, l40_891=0, l40_1059=0, l40_1373=0, l40_917=0, l40_1539=0, l40_557=0, l40_1881=0, l40_1201=0, l40_1509=0, l40_1057=0, l40_1755=0, l40_2169=0, l40_1551=0, l40_461=0, l40_1663=0, l40_1209=0, l40_2313=0, l40_1581=0, l40_105=0, l40_1561=0, l40_1779=0, l40_2009=0, l40_2367=0, l40_829=0, l40_2311=0, l40_515=0, l40_43=0, l40_1673=0, l40_1013=0, l40_1607=0, l40_1701=0, l40_737=0, l40_1363=0, l40_1045=0, l40_1869=0, l40_1081=0, l40_1995=0, l40_1307=0, l40_877=0, l40_2265=0, l40_1401=0, l40_2153=0, l40_2199=0, l40_407=0, l40_1893=0, l40_941=0, l40_1807=0, l40_1211=0, l40_821=0, l40_631=0, l40_843=0, l40_1177=0, l40_1965=0, l40_1199=0, l40_1787=0, l40_1149=0, l40_753=0, l40_1589=0, l40_339=0, l40_767=0, l40_837=0, l40_1545=0, l40_995=0, l40_1407=0, l40_2291=0, l40_1985=0, l40_2255=0, l40_1409=0, l40_1945=0, l40_1891=0, l40_2309=0, l40_2059=0, l40_1295=0, l40_605=0, l40_261=0, l40_1053=0, l40_253=0, l40_1357=0, l40_1273=0, l40_2329=0, l40_193=0, l40_2377=0, l40_1475=0, l40_1087=0, l40_803=0, l40_2197=0, l40_101=0, l40_599=0, l40_551=0, l40_2229=0, l40_1609=0, l40_117=0, l40_1733=0, l40_805=0, l40_849=0, l40_2227=0, l40_1207=0, l40_2161=0, l40_1865=0, l40_2209=0, l40_1223=0, l40_901=0, l40_2321=0, l40_1931=0, l40_307=0, l40_2285=0, l40_1065=0, l40_259=0, l40_1067=0, l40_1497=0, l40_1611=0, l40_2271=0, l40_453=0, l40_1549=0, l40_1279=0, l40_265=0, l40_1801=0, l40_2193=0, l40_1781=0, l40_695=0, l40_791=0, l40_1361=0, l40_497=0, l40_2149=0, l40_2357=0, l40_247=0, l40_2219=0, l40_761=0, l40_437=0, l40_289=0, l40_2399=0, l40_1117=0, l40_1973=0, l40_1767=0, l40_165=0, l40_2165=0, l40_603=0, l40_1077=0, l40_2003=0, l40_1393=0, l40_1681=0, l40_135=0, l40_913=0, l40_2167=0, l40_1333=0, l40_1803=0, l40_1129=0, l40_2335=0, l40_743=0, l40_321=0, l40_579=0, l40_33=0, l40_505=0, l40_2343=0, l40_293=0, l40_1633=0, l40_349=0, l40_2393=0, l40_1977=0, l40_555=0, l40_1563=0, l40_613=0, l40_1267=0, l40_2047=0, l40_1743=0, l40_1351=0, l40_1577=0, l40_1867=0, l40_439=0, l40_771=0, l40_937=0, l40_1239=0, l40_109=0, l40_1969=0, l40_1983=0, l40_935=0, l40_865=0, l40_2073=0, l40_1391=0, l40_1619=0, l40_1265=0, l40_1487=0, l40_1269=0, l40_997=0, l40_1219=0, l40_1857=0, l40_2349=0, l40_483=0, l40_1131=0, l40_1469=0, l40_1947=0, l40_707=0, l40_981=0, l40_323=0, l40_2395=0, l40_1159=0, l40_711=0, l40_1=0, l40_1463=0, l40_1939=0, l40_607=0, l40_417=0, l40_1133=0, l40_553=0, l40_1819=0, l40_175=0, l40_811=0, l40_809=0, l40_1837=0, l40_1001=0, l40_89=0, l40_97=0, l40_2341=0, l40_75=0, l40_1185=0, l40_1473=0, l40_19=0, l40_717=0, l40_1359=0, l40_565=0, l40_2117=0, l40_87=0, l40_757=0, l40_1367=0, l40_35=0, l40_721=0, l40_1125=0, l40_677=0, l40_495=0, l40_1751=0, l40_365=0, l40_1031=0, l40_297=0, l40_1331=0, l40_2051=0, l40_1689=0, l40_947=0, l40_2099=0, l40_1979=0, l40_867=0, l40_1093=0, l40_443=0, l40_241=0, l40_2065=0, l40_909=0, l40_1621=0, l40_449=0, l40_2207=0, l40_343=0, l40_1339=0, l40_1637=0, l40_485=0, l40_1879=0, l40_1519=0, l40_683=0, l40_1151=0, l40_435=0, l40_445=0, l40_1631=0, l40_1871=0, l40_1873=0, l40_1531=0, l40_2375=0, l40_1431=0, l40_1167=0, l40_1835=0, l40_2091=0, l40_641=0, l40_257=0, l40_1135=0, l40_2027=0, l40_67=0, l40_313=0, l40_2155=0, l40_1277=0, l40_471=0, l40_1765=0, l40_2225=0, l40_1235=0, l40_2237=0, l40_459=0, l40_207=0, l40_887=0, l40_725=0, l40_915=0, l40_1629=0, l40_2293=0, l40_703=0, l40_1315=0, l40_1063=0, l40_1913=0, l40_951=0, l40_419=0, l40_1465=0, l40_369=0, l40_69=0, l40_2287=0, l40_575=0, l40_1925=0, l40_985=0, l40_1847=0, l40_2397=0, l40_2121=0, l40_2021=0, l40_1221=0, l40_129=0, l40_2087=0, l40_943=0, l40_1325=0, l40_723=0, l40_1039=0, l40_1517=0, l40_833=0, l40_1705=0, l40_1917=0, l40_1723=0, l40_2323=0, l40_2283=0, l40_1195=0, l40_2249=0, l40_61=0, l40_1285=0, l40_481=0, l40_1095=0, l40_309=0, l40_1257=0, l40_371=0, l40_235=0, l40_1415=0, l40_537=0, l40_2241=0, l40_1281=0, l40_1513=0, l40_1887=0, l40_2109=0, l40_507=0, l40_1425=0, l40_1155=0, l40_1499=0, l40_1655=0, l40_977=0, l40_429=0, l40_659=0, l40_1679=0, l40_889=0, l40_1677=0, l40_1303=0, l40_1507=0, l40_1049=0, l40_2317=0, l40_1791=0, l40_1959=0, l40_491=0, l40_103=0, l40_271=0, l40_2359=0, l40_179=0, l40_741=0, l40_1533=0, l40_2391=0, l40_1495=0, l40_1769=0, l40_2233=0, l40_715=0, l40_209=0, l40_1839=0, l40_769=0, l40_2353=0, l40_1441=0, l40_2299=0, l40_161=0, l40_113=0, l40_2275=0, l40_685=0, l40_1711=0, l40_1729=0, l40_475=0, l40_2035=0, l40_931=0, l40_2303=0, l40_273=0, l40_831=0, l40_1259=0, l40_1481=0, l40_411=0, l40_655=0, l40_245=0, l40_1353=0, l40_2007=0, l40_399=0, l40_1083=0, l40_1527=0, l40_1429=0, l40_281=0, l40_561=0, l40_1107=0, l40_1179=0, l40_219=0, l40_957=0, l40_1215=0, l40_465=0, l40_213=0, l40_1123=0, l40_699=0, l40_1253=0, l40_93=0, l40_2187=0, l40_2245=0, l40_1161=0, l40_1953=0, l40_1113=0, l40_1229=0, l40_2107=0, l40_593=0, l40_391=0, l40_47=0, l40_1089=0, l40_269=0, l40_1943=0, l40_733=0, l40_2247=0, l40_861=0, l40_2345=0, l40_299=0, l40_1403=0, l40_2145=0, l40_1205=0, l40_1591=0, l40_2231=0, l40_847=0, l40_1535=0, l40_395=0, l40_469=0, l40_1479=0, l40_1843=0, l40_1885=0, l40_1813=0, l40_223=0, l40_291=0, l40_1583=0, l40_55=0, l40_1671=0, l40_589=0, l40_1851=0, l40_885=0, l40_1319=0, l40_807=0, l40_907=0, l40_31=0, l40_643=0, l40_441=0, l40_1643=0, l40_255=0, l40_2257=0, l40_921=0, l40_431=0, l40_1459=0, l40_601=0, l40_965=0, l40_2363=0, l40_1091=0, l40_1797=0, l40_615=0, l40_335=0, l40_2211=0, l40_713=0, l40_2041=0, l40_2203=0, l40_879=0
Mar 25, 2019 11:31:34 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 692242 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="FamilyReunion-COL-L01200M0120C060P060G030"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-3954"
echo " Executing tool itstools"
echo " Input is FamilyReunion-COL-L01200M0120C060P060G030, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r184-csrt-155344537700136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/FamilyReunion-COL-L01200M0120C060P060G030.tgz
mv FamilyReunion-COL-L01200M0120C060P060G030 execution
cd execution
if [ "StateSpace" = "GlobalProperties" ] ; then
rm -f GenericPropertiesVerdict.xml
fi
if [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.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 ;