About the Execution of ITS-Tools for NeoElection-COL-2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 370.730 | 4999.00 | 10332.00 | 103.70 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is NeoElection-COL-2, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-blw7-149440486400228
=====================================================================
--------------------
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 NeoElection-COL-2-CTLCardinality-0
FORMULA_NAME NeoElection-COL-2-CTLCardinality-1
FORMULA_NAME NeoElection-COL-2-CTLCardinality-10
FORMULA_NAME NeoElection-COL-2-CTLCardinality-11
FORMULA_NAME NeoElection-COL-2-CTLCardinality-12
FORMULA_NAME NeoElection-COL-2-CTLCardinality-13
FORMULA_NAME NeoElection-COL-2-CTLCardinality-14
FORMULA_NAME NeoElection-COL-2-CTLCardinality-15
FORMULA_NAME NeoElection-COL-2-CTLCardinality-2
FORMULA_NAME NeoElection-COL-2-CTLCardinality-3
FORMULA_NAME NeoElection-COL-2-CTLCardinality-4
FORMULA_NAME NeoElection-COL-2-CTLCardinality-5
FORMULA_NAME NeoElection-COL-2-CTLCardinality-6
FORMULA_NAME NeoElection-COL-2-CTLCardinality-7
FORMULA_NAME NeoElection-COL-2-CTLCardinality-8
FORMULA_NAME NeoElection-COL-2-CTLCardinality-9
=== Now, execution of the tool begins
BK_START 1496278587500
its-ctl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/CTLCardinality.pnml.gal -t CGAL -ctl /home/mcc/execution/CTLCardinality.ctl
No direction supplied, using forward translation only.
Parsed 0 CTL formulae.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,241,0.120499,6948,417,23,1550,933,577,941,36,844,0
Converting to forward existential form...Done !
Exit code :0
BK_STOP 1496278592499
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ CTLCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution CTLCardinality -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination CTLCardinality -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 12:56:28 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 12:56:28 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1380 ms
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 18 places.
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :M * POS->P-sendAnnPs__broadcasting,P-startNeg__broadcasting,
M * STAGE->P-stage,
M * M * MT * M->P-network,P-poll__networl,
M * POS * M->P-masterList,
M * BOOL * M->P-masterState,
M->P-crashed,dead,P-electedPrimary,P-electedSecondary,P-electionFailed,P-electionInit,P-poll__handlingMessage,P-poll__pollEnd,P-poll__waitingMessage,P-polling,
M * M * NEGSTEP->P-negotiation,
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 22 transitions.
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 125 instantiations of transitions. Total transitions/syncs built is 366
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Instantiator normalizeCalls
INFO: Calls to non existing labels (possibly due to false guards) leads to 6 abort statements.
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 4 fixed domain variables (out of 438 variables) in GAL type NeoElection_COL_2
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 261 constant array cells/variables (out of 438 variables) in type NeoElection_COL_2
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_crashed[0-2], P_poll__networl[0-3,6-21,24-39,42-57,60-75,78-93,96-111,114-129,132-147,150-161], P_masterList[0-17], dead[0-2], P_electionFailed[0-2], P_network[1-2,7-8,10-11,13-14,16-17,19-20,25-26,28-29,31-32,34-35,37-38,43-44,46-47,49-50,52-53,55-56,61-62,64-65,67-68,70-71,73-74,79-80,82-83,85-86,88-89,91-92,97-98,100-101,103-104,106-107,109-110,115-116,118-119,121-122,124-125,127-128,133-134,136-137,139-140,142-143,145-146,151-152,154-155,157-158,160-161],
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 36 expressions due to constant valuations.
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyFalseTransitions
INFO: Removed 32 false transitions.
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 241 constant array cells/variables (out of 411 variables) in type NeoElection_COL_2
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl[0-3,6-21,24-39,42-57,60-75,78-93,96-111,114-129,132-147,150-161], P_negotiation[0,3,6,9,12,18,24], P_network[1-2,7-8,10-11,13-14,16-17,19-20,25-26,28-29,31-32,34-35,37-38,43-44,46-47,49-50,52-53,55-56,61-62,64-65,67-68,70-71,73-74,79-80,82-83,85-86,88-89,91-92,97-98,100-101,103-104,106-107,109-110,115-116,118-119,121-122,124-125,127-128,133-134,136-137,139-140,142-143,145-146,151-152,154-155,157-158,160-161],
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 241 constant array cells/variables (out of 411 variables) in type NeoElection_COL_2
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl[0-3,6-21,24-39,42-57,60-75,78-93,96-111,114-129,132-147,150-161], P_negotiation[0,3,6,9,12,18,24], P_network[1-2,7-8,10-11,13-14,16-17,19-20,25-26,28-29,31-32,34-35,37-38,43-44,46-47,49-50,52-53,55-56,61-62,64-65,67-68,70-71,73-74,79-80,82-83,85-86,88-89,91-92,97-98,100-101,103-104,106-107,109-110,115-116,118-119,121-122,124-125,127-128,133-134,136-137,139-140,142-143,145-146,151-152,154-155,157-158,160-161],
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 3 uncalled transitions from type NeoElection_COL_2
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 449 ms
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays P_electedPrimary, P_electedSecondary, P_electionInit, P_masterState, P_negotiation, P_network, P_poll__handlingMessage, P_poll__networl, P_poll__pollEnd, P_poll__waitingMessage, P_polling, P_sendAnnPs__broadcasting, P_stage, P_startNeg__broadcasting to variables to allow decomposition.
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M0
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M0
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_0,
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_0
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M1
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M1
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_1,P_network_1,
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_1, P_network_1
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M2
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M2
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_2,P_network_2,
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_2, P_network_2
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M3
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M3
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_3,
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_3
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M6
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M6
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_6,
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_6
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M7
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M7
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_7,P_network_7,
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_7, P_network_7
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M8
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M8
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_8,P_poll__networl_8,
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_8, P_poll__networl_8
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M9
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M9
Jun 01, 2017 12:56:30 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_9,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_9
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M10
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M10
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_10,P_network_10,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_10, P_network_10
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M11
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M11
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_11,P_network_11,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_11, P_network_11
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M12
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M12
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_12,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_12
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M13
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M13
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_13,P_network_13,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_13, P_network_13
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M14
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M14
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_14,P_network_14,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_14, P_network_14
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M15
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M15
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_15,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_15
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M16
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M16
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_16,P_network_16,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_16, P_network_16
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M17
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M17
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_17,P_poll__networl_17,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_17, P_poll__networl_17
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M18
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M18
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_18,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_18
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M19
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M19
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_19,P_poll__networl_19,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_19, P_poll__networl_19
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M20
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M20
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_20,P_poll__networl_20,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_20, P_poll__networl_20
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M21
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M21
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_21,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_21
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M24
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M24
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_24,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_24
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M25
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M25
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_25,P_poll__networl_25,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_25, P_poll__networl_25
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M26
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M26
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_26,P_poll__networl_26,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_26, P_poll__networl_26
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M27
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M27
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_27,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_27
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M28
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M28
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_28,P_network_28,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_28, P_network_28
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M29
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M29
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_29,P_poll__networl_29,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_29, P_poll__networl_29
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M30
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M30
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_30,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_30
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M31
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M31
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_31,P_poll__networl_31,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_31, P_poll__networl_31
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M32
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M32
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_32,P_network_32,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_32, P_network_32
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M33
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M33
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_33,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_33
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M34
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M34
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_34,P_poll__networl_34,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_34, P_poll__networl_34
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M35
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M35
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_35,P_network_35,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_35, P_network_35
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M36
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M36
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_36,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_36
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M37
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M37
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_37,P_network_37,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_37, P_network_37
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M38
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M38
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_38,P_network_38,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_38, P_network_38
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M39
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M39
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_39,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_39
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M42
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M42
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_42,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_42
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M43
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M43
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_43,P_network_43,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_43, P_network_43
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M44
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M44
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_44,P_poll__networl_44,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_44, P_poll__networl_44
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M45
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M45
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_45,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_45
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M46
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M46
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_46,P_poll__networl_46,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_46, P_poll__networl_46
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M47
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M47
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_47,P_poll__networl_47,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_47, P_poll__networl_47
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M48
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M48
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_48,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_48
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M49
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M49
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_49,P_network_49,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_49, P_network_49
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M50
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M50
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_50,P_poll__networl_50,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_50, P_poll__networl_50
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M51
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M51
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_51,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_51
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M52
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M52
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_52,P_network_52,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_52, P_network_52
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M53
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M53
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_53,P_network_53,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_53, P_network_53
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M54
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M54
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_54,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_54
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M55
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M55
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_55,P_poll__networl_55,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_55, P_poll__networl_55
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M56
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M56
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_56,P_poll__networl_56,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_56, P_poll__networl_56
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M57
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M57
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_57,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_57
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M60
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M60
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_60,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_60
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M61
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M61
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_61,P_network_61,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_61, P_network_61
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M62
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M62
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_62,P_network_62,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_62, P_network_62
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M63
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M63
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_63,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_63
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M64
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M64
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_64,P_poll__networl_64,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_64, P_poll__networl_64
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M65
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M65
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_65,P_poll__networl_65,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_65, P_poll__networl_65
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M66
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M66
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_66,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_66
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M67
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M67
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_67,P_poll__networl_67,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_67, P_poll__networl_67
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M68
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M68
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_68,P_network_68,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_68, P_network_68
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M69
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M69
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_69,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_69
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M70
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M70
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_70,P_network_70,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_70, P_network_70
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M71
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M71
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_71,P_network_71,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_71, P_network_71
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M72
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M72
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_72,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_72
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M73
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M73
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_73,P_network_73,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_73, P_network_73
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M74
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M74
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_74,P_poll__networl_74,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_74, P_poll__networl_74
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M75
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M75
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_75,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_75
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M78
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M78
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_78,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_78
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M79
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M79
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_79,P_poll__networl_79,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_79, P_poll__networl_79
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M80
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M80
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_80,P_network_80,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_80, P_network_80
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M81
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M81
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_81,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_81
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M82
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M82
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_82,P_network_82,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_82, P_network_82
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M83
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M83
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_83,P_poll__networl_83,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_83, P_poll__networl_83
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M84
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M84
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_84,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_84
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M85
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M85
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_85,P_poll__networl_85,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_85, P_poll__networl_85
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M86
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M86
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_86,P_poll__networl_86,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_86, P_poll__networl_86
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M87
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M87
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_87,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_87
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M88
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M88
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_88,P_poll__networl_88,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_88, P_poll__networl_88
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M89
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M89
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_89,P_network_89,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_89, P_network_89
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M90
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M90
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_90,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_90
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M91
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M91
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_91,P_poll__networl_91,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_91, P_poll__networl_91
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M92
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M92
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_92,P_poll__networl_92,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_92, P_poll__networl_92
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M93
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M93
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_93,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_93
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M96
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M96
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_96,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_96
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M97
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M97
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_97,P_poll__networl_97,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_97, P_poll__networl_97
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M98
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M98
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_98,P_poll__networl_98,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_98, P_poll__networl_98
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M99
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M99
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_99,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_99
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M100
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M100
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_100,P_poll__networl_100,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_100, P_poll__networl_100
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M101
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M101
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_101,P_poll__networl_101,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_101, P_poll__networl_101
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M102
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M102
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_102,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_102
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M103
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M103
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_103,P_network_103,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_103, P_network_103
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M104
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M104
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_104,P_network_104,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_104, P_network_104
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M105
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M105
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_105,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_105
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M106
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M106
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_106,P_poll__networl_106,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_106, P_poll__networl_106
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M107
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M107
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_107,P_network_107,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_107, P_network_107
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M108
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M108
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_108,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_108
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M109
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M109
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_109,P_poll__networl_109,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_109, P_poll__networl_109
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M110
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M110
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_110,P_network_110,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_110, P_network_110
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M111
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M111
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_111,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_111
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M114
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M114
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_114,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_114
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M115
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M115
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_115,P_poll__networl_115,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_115, P_poll__networl_115
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M116
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M116
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_116,P_network_116,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_116, P_network_116
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M117
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M117
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_117,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_117
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M118
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M118
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_118,P_poll__networl_118,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_118, P_poll__networl_118
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M119
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M119
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_119,P_network_119,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_119, P_network_119
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M120
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M120
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_120,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_120
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M121
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M121
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_121,P_poll__networl_121,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_121, P_poll__networl_121
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M122
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M122
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_122,P_poll__networl_122,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_122, P_poll__networl_122
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M123
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M123
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_123,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_123
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M124
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M124
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_124,P_network_124,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_124, P_network_124
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M125
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M125
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_125,P_poll__networl_125,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_125, P_poll__networl_125
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M126
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M126
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_126,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_126
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M127
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M127
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_127,P_poll__networl_127,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_127, P_poll__networl_127
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M128
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M128
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_128,P_poll__networl_128,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_128, P_poll__networl_128
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M129
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M129
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_129,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_129
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M132
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M132
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_132,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_132
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M133
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M133
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_133,P_poll__networl_133,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_133, P_poll__networl_133
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M134
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M134
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_134,P_network_134,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_134, P_network_134
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M135
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M135
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_135,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_135
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M136
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M136
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_136,P_poll__networl_136,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_136, P_poll__networl_136
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M137
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M137
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_137,P_poll__networl_137,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_137, P_poll__networl_137
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M138
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M138
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_138,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_138
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M139
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M139
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_139,P_network_139,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_139, P_network_139
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M140
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M140
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_140,P_network_140,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_140, P_network_140
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M141
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M141
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_141,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_141
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M142
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M142
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_142,P_network_142,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_142, P_network_142
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M143
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M143
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_143,P_poll__networl_143,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_143, P_poll__networl_143
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M144
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M144
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_144,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_144
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M145
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M145
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_145,P_poll__networl_145,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_145, P_poll__networl_145
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M146
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M146
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_146,P_poll__networl_146,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_146, P_poll__networl_146
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M147
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M147
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_147,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_147
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M150
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M150
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_150,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_150
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M151
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M151
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_151,P_poll__networl_151,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_151, P_poll__networl_151
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M152
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M152
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_152,P_network_152,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_152, P_network_152
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M153
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M153
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_153,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_153
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M154
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M154
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_154,P_poll__networl_154,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_154, P_poll__networl_154
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M155
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M155
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_155,P_poll__networl_155,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_155, P_poll__networl_155
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M156
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M156
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_156,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_156
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M157
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M157
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_157,P_network_157,
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_157, P_network_157
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M158
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M158
Jun 01, 2017 12:56:31 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_158,P_network_158,
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_158, P_network_158
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M159
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M159
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_159,
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_159
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M160
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M160
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_160,P_poll__networl_160,
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_160, P_poll__networl_160
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M161
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M161
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_161,P_poll__networl_161,
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_161, P_poll__networl_161
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP0
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP0
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_0,
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_0
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP3
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP3
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_3,
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_3
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP6
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP6
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_6,
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_6
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP9
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP9
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_9,
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_9
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP12
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP12
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_12,
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_12
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP18
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP18
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_18,
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_18
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP24
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP24
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_24,
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_24
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Simplifier simplify
INFO: [fr.lip6.move.gal.impl.GALTypeDeclarationImpl@41a940a9 (name: TM_x_M_x_MT_x_M97), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4fda9fde (name: TM_x_M_x_MT_x_M85), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@34dc40d5 (name: TM_x_M_x_MT_x_M65), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@48ebcce5 (name: TM_x_M_x_MT_x_M115), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@66e6e5e9 (name: TM_x_M_x_MT_x_M104), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@145c6e4d (name: TM_x_M_x_MT_x_M74), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@53425450 (name: TM_x_M_x_MT_x_M137), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2762bd70 (name: TM_x_POS_x_M5), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4c24063c (name: TM_x_POS_x_M1), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4d71476c (name: TM_x_M_x_MT_x_M11), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@cfe7be3 (name: TM_x_M_x_MT_x_M43), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@68893394 (name: TM_x_M_x_MT_x_M92), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7c3b8b26 (name: TM_x_POS_x_M9), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@80f3111 (name: TM_x_M_x_MT_x_M160), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@11636d43 (name: TM_x_M_x_MT_x_M29), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@27015621 (name: TM_x_M_x_MT_x_M152), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@43076326 (name: TM_x_M_x_MT_x_M50), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5523f107 (name: TM_x_M_x_MT_x_M16), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@52813ba4 (name: TM_x_M_x_MT_x_M134), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4ae836cf (name: TM_x_M_x_MT_x_M17), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6ec5c4e2 (name: TM_x_M_x_MT_x_M34), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@45dce9f7 (name: TM_x_POS_x_M13), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@9da20f1 (name: TM_x_POS_x_M14), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2728e305 (name: TM_x_M_x_MT_x_M133), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1fc51af7 (name: TM_x_M_x_MT_x_M14), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2c914aa3 (name: TM_x_M_x_MT_x_M20), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5113ab26 (name: TM_x_POS_x_M10), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4e8036bb (name: TM_x_POS_x_M8), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6ccf06f1 (name: TM_x_M_x_MT_x_M8), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2420e962 (name: TM_x_M_x_MT_x_M13), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4b9b57d9 (name: TM_x_POS_x_M4), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2b39e77d (name: TM_x_M_x_MT_x_M52), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3a5e591b (name: TM_x_M_x_MT_x_M49), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2ea82cef (name: TM_x_M_x_NEGSTEP18), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@582b6362 (name: TM_x_M_x_MT_x_M61), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4a23be9 (name: TM_x_M_x_MT_x_M38), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2a6b6f4 (name: TM_x_M_x_MT_x_M28), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6984f7d1 (name: TM_x_M_x_MT_x_M2), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@26c75b91 (name: TM_x_M_x_MT_x_M128), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1427827f (name: TM_x_M_x_MT_x_M151), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3df2f4ab (name: TM_x_M_x_MT_x_M86), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@135ec43a (name: TM_x_M_x_MT_x_M46), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@21288943 (name: TM_x_M_x_MT_x_M91), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@33012e6f (name: TM_x_M_x_MT_x_M31), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@271bbb75 (name: TM_x_M_x_NEGSTEP6), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@33428132 (name: TM_x_POS_x_M0), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7c09037a (name: TM_x_M_x_MT_x_M142), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2bfe398b (name: TM_x_M_x_MT_x_M37), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4c0d7878 (name: TM_x_M_x_MT_x_M44), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7a4ea134 (name: TM_x_M_x_MT_x_M139), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@ebcf6c0 (name: TM_x_M_x_MT_x_M80), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@54e0b29c (name: TM_x_M_x_MT_x_M161), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@69497a36 (name: TM_x_M_x_MT_x_M83), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@504f2bcd (name: TM_x_M_x_MT_x_M55), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3c7e7ffd (name: TM_x_M_x_MT_x_M56), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@201c1d99 (name: TM_x_M_x_MT_x_M53), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@16124894 (name: TM_x_M_x_MT_x_M140), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6f8b1902 (name: TM_x_M_x_MT_x_M19), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@32d11a5c (name: TM_x_M_x_MT_x_M88), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6cf71064 (name: TM_x_POS_x_M3), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@64df3f4b (name: TM_x_M_x_MT_x_M107), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@32787dee (name: TM_x_POS_x_M17), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@57ab5033 (name: TM_x_M_x_MT_x_M106), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@10c9bd51 (name: TM_x_POS_x_M16), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4306709f (name: TM_x_M_x_MT_x_M109), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5145dddc (name: TM_x_M_x_NEGSTEP0), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7cfb255 (name: TM_x_M_x_MT_x_M154), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@56957f08 (name: TM_x_M_x_MT_x_M121), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@184b24d4 (name: TM_x_M_x_MT_x_M25), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@12ec5e73 (name: TM_x_M_x_MT_x_M73), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3f1eb1bc (name: TM_x_M_x_MT_x_M82), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5effc15d (name: TM_x_M_x_MT_x_M158), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4c29138a (name: TM_x_M_x_MT_x_M116), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@17abef0f (name: TM_x_M_x_MT_x_M7), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@40fd9358 (name: TM_x_M_x_MT_x_M71), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@35be9318 (name: TM_x_M_x_MT_x_M110), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2640f5ea (name: TM_x_M_x_MT_x_M124), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4f20ff8e (name: TM_x_M_x_MT_x_M145), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3adf3670 (name: TM_x_M_x_MT_x_M119), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@65208c91 (name: TM_x_M_x_MT_x_M10), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2a64e2d0 (name: TM_x_POS_x_M11), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1a262e93 (name: TM_x_M_x_MT_x_M143), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@b94c22d (name: TM_x_POS_x_M6), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5fb4870b (name: TM_x_POS_x_M7), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1c0455c4 (name: TM_x_M_x_NEGSTEP24), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3dd22110 (name: TM_x_POS_x_M2), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@70376c6 (name: TM_x_M_x_MT_x_M62), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4248608d (name: TM_x_M_x_MT_x_M64), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@50d02417 (name: TM_x_M_x_MT_x_M136), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@214fe287 (name: TM_x_M_x_MT_x_M155), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5aac9d67 (name: TM_x_M_x_NEGSTEP3), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@751636da (name: TM_x_M_x_MT_x_M127), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@27e25c2f (name: TM_x_M_x_MT_x_M100), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5b0fc8c2 (name: TM_x_M_x_MT_x_M122), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@423e35f0 (name: TM_x_M_x_MT_x_M98), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@542adcfa (name: TM_x_M_x_MT_x_M118), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@429ad94a (name: TM_x_M_x_NEGSTEP12), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@72117fc0 (name: TM_x_M_x_MT_x_M67), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@73c21b13 (name: TM_x_M_x_MT_x_M103), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@391cc6cf (name: TM_x_M_x_MT_x_M146), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@651e3cc9 (name: TM_x_POS_x_M12), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@56a7f57f (name: TM_x_M_x_MT_x_M101), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4a52178 (name: TM_x_POS_x_M15), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4ca37d40 (name: TM_x_M_x_MT_x_M68), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6e774194 (name: TM_x_M_x_MT_x_M79), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@60666985 (name: TM_x_M_x_MT_x_M157), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@43ac3b45 (name: TM_x_M_x_MT_x_M89), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@45accb5 (name: TM_x_M_x_MT_x_M125), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1934a7c1 (name: TM_x_M_x_MT_x_M35), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5b7e2a88 (name: TM_x_M_x_MT_x_M1), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@336b6e93 (name: TM_x_M_x_MT_x_M70), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@450b99f2 (name: TM_x_M_x_MT_x_M26), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@32e9c8 (name: TM_x_M_x_NEGSTEP9), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7593716d (name: TM_x_M_x_MT_x_M32), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@69fc5803 (name: TM_x_M_x_MT_x_M47)]
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 840 redundant transitions.
Jun 01, 2017 12:56:32 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/CTLCardinality.pnml.gal : 17 ms
Jun 01, 2017 12:56:32 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSCTLTools
INFO: Time to serialize properties into /home/mcc/execution/CTLCardinality.ctl : 1 ms
Jun 01, 2017 12:56:32 AM fr.lip6.move.gal.itstools.Runner runTool
INFO: Standard error output from running tool CommandLine [args=[/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ctl-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/CTLCardinality.pnml.gal, -t, CGAL, -ctl, /home/mcc/execution/CTLCardinality.ctl], workingDir=/home/mcc/execution]
built 350 ordering constraints for composite.
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="NeoElection-COL-2"
export BK_EXAMINATION="CTLCardinality"
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
tar xzf /home/mcc/BenchKit/INPUTS/NeoElection-COL-2.tgz
mv NeoElection-COL-2 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is NeoElection-COL-2, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r040-blw7-149440486400228"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 ;