fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Execution of r181kn-smll-146444112300988
Last Updated
June 30, 2016

About the Execution of ITS-Tools for S_NeoElection-COL-2

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
399.240 8645.00 18894.00 298.80 FTFTF?FFF?T?FFFT normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
...............
=====================================================================
Generated by BenchKit 2-2979
Executing tool itstools
Input is S_NeoElection-COL-2, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181kn-smll-146444112300988
=====================================================================


--------------------
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-ReachabilityCardinality-0
FORMULA_NAME NeoElection-COL-2-ReachabilityCardinality-1
FORMULA_NAME NeoElection-COL-2-ReachabilityCardinality-10
FORMULA_NAME NeoElection-COL-2-ReachabilityCardinality-11
FORMULA_NAME NeoElection-COL-2-ReachabilityCardinality-12
FORMULA_NAME NeoElection-COL-2-ReachabilityCardinality-13
FORMULA_NAME NeoElection-COL-2-ReachabilityCardinality-14
FORMULA_NAME NeoElection-COL-2-ReachabilityCardinality-15
FORMULA_NAME NeoElection-COL-2-ReachabilityCardinality-2
FORMULA_NAME NeoElection-COL-2-ReachabilityCardinality-3
FORMULA_NAME NeoElection-COL-2-ReachabilityCardinality-4
FORMULA_NAME NeoElection-COL-2-ReachabilityCardinality-5
FORMULA_NAME NeoElection-COL-2-ReachabilityCardinality-6
FORMULA_NAME NeoElection-COL-2-ReachabilityCardinality-7
FORMULA_NAME NeoElection-COL-2-ReachabilityCardinality-8
FORMULA_NAME NeoElection-COL-2-ReachabilityCardinality-9

=== Now, execution of the tool begins

BK_START 1464687668025

FORMULA NeoElection-COL-2-ReachabilityCardinality-15 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-2-ReachabilityCardinality-14 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-2-ReachabilityCardinality-12 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-2-ReachabilityCardinality-11 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-2-ReachabilityCardinality-10 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-2-ReachabilityCardinality-9 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-2-ReachabilityCardinality-8 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-2-ReachabilityCardinality-7 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-2-ReachabilityCardinality-6 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-2-ReachabilityCardinality-4 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-2-ReachabilityCardinality-2 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-2-ReachabilityCardinality-1 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA NeoElection-COL-2-ReachabilityCardinality-0 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE

its-reach command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201605191313/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityCardinality.gal -t CGAL -reachable-file ReachabilityCardinality.prop --nowitness
Loading property file ReachabilityCardinality.prop.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
NeoElection\_COL\_2\_flat\_flat\_mod,241,0.131189,7560,414,23,1529,951,580,902,36,863,0
Total reachable state count : 241

Verifying 3 reachability properties.

BK_STOP 1464687676670

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityCardinality = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityCardinality -its
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -XX:MaxPermSize=512m -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.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 ReachabilityCardinality -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=512m; support was removed in 8.0
May 31, 2016 9:41:11 AM fr.lip6.move.gal.application.Application transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 31, 2016 9:41:11 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
May 31, 2016 9:41:13 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1531 ms
May 31, 2016 9:41:13 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 18 places.
May 31, 2016 9:41:13 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: read order :VarOrder [vars=[P_crashed[0], P_crashed[1], P_crashed[2], dead[0], dead[1], dead[2], P_electedPrimary[0], P_electedPrimary[1], P_electedPrimary[2], P_electedSecondary[0], P_electedSecondary[1], P_electedSecondary[2], P_electionFailed[0], P_electionFailed[1], P_electionFailed[2], P_electionInit[0], P_electionInit[1], P_electionInit[2], P_masterList[0], P_masterList[1], P_masterList[2], P_masterList[3], P_masterList[4], P_masterList[5], P_masterList[6], P_masterList[7], P_masterList[8], P_masterList[9], P_masterList[10], P_masterList[11], P_masterList[12], P_masterList[13], P_masterList[14], P_masterList[15], P_masterList[16], P_masterList[17], P_masterState[0], P_masterState[1], P_masterState[2], P_masterState[3], P_masterState[4], P_masterState[5], P_masterState[6], P_masterState[7], P_masterState[8], P_masterState[9], P_masterState[10], P_masterState[11], P_masterState[12], P_masterState[13], P_masterState[14], P_masterState[15], P_masterState[16], P_masterState[17], P_negotiation[0], P_negotiation[1], P_negotiation[2], P_negotiation[3], P_negotiation[4], P_negotiation[5], P_negotiation[6], P_negotiation[7], P_negotiation[8], P_negotiation[9], P_negotiation[10], P_negotiation[11], P_negotiation[12], P_negotiation[13], P_negotiation[14], P_negotiation[15], P_negotiation[16], P_negotiation[17], P_negotiation[18], P_negotiation[19], P_negotiation[20], P_negotiation[21], P_negotiation[22], P_negotiation[23], P_negotiation[24], P_negotiation[25], P_negotiation[26], P_network[0], P_network[1], P_network[2], P_network[3], P_network[4], P_network[5], P_network[6], P_network[7], P_network[8], P_network[9], P_network[10], P_network[11], P_network[12], P_network[13], P_network[14], P_network[15], P_network[16], P_network[17], P_network[18], P_network[19], P_network[20], P_network[21], P_network[22], P_network[23], P_network[24], P_network[25], P_network[26], P_network[27], P_network[28], P_network[29], P_network[30], P_network[31], P_network[32], P_network[33], P_network[34], P_network[35], P_network[36], P_network[37], P_network[38], P_network[39], P_network[40], P_network[41], P_network[42], P_network[43], P_network[44], P_network[45], P_network[46], P_network[47], P_network[48], P_network[49], P_network[50], P_network[51], P_network[52], P_network[53], P_network[54], P_network[55], P_network[56], P_network[57], P_network[58], P_network[59], P_network[60], P_network[61], P_network[62], P_network[63], P_network[64], P_network[65], P_network[66], P_network[67], P_network[68], P_network[69], P_network[70], P_network[71], P_network[72], P_network[73], P_network[74], P_network[75], P_network[76], P_network[77], P_network[78], P_network[79], P_network[80], P_network[81], P_network[82], P_network[83], P_network[84], P_network[85], P_network[86], P_network[87], P_network[88], P_network[89], P_network[90], P_network[91], P_network[92], P_network[93], P_network[94], P_network[95], P_network[96], P_network[97], P_network[98], P_network[99], P_network[100], P_network[101], P_network[102], P_network[103], P_network[104], P_network[105], P_network[106], P_network[107], P_network[108], P_network[109], P_network[110], P_network[111], P_network[112], P_network[113], P_network[114], P_network[115], P_network[116], P_network[117], P_network[118], P_network[119], P_network[120], P_network[121], P_network[122], P_network[123], P_network[124], P_network[125], P_network[126], P_network[127], P_network[128], P_network[129], P_network[130], P_network[131], P_network[132], P_network[133], P_network[134], P_network[135], P_network[136], P_network[137], P_network[138], P_network[139], P_network[140], P_network[141], P_network[142], P_network[143], P_network[144], P_network[145], P_network[146], P_network[147], P_network[148], P_network[149], P_network[150], P_network[151], P_network[152], P_network[153], P_network[154], P_network[155], P_network[156], P_network[157], P_network[158], P_network[159], P_network[160], P_network[161], P_poll__handlingMessage[0], P_poll__handlingMessage[1], P_poll__handlingMessage[2], P_poll__networl[0], P_poll__networl[1], P_poll__networl[2], P_poll__networl[3], P_poll__networl[4], P_poll__networl[5], P_poll__networl[6], P_poll__networl[7], P_poll__networl[8], P_poll__networl[9], P_poll__networl[10], P_poll__networl[11], P_poll__networl[12], P_poll__networl[13], P_poll__networl[14], P_poll__networl[15], P_poll__networl[16], P_poll__networl[17], P_poll__networl[18], P_poll__networl[19], P_poll__networl[20], P_poll__networl[21], P_poll__networl[22], P_poll__networl[23], P_poll__networl[24], P_poll__networl[25], P_poll__networl[26], P_poll__networl[27], P_poll__networl[28], P_poll__networl[29], P_poll__networl[30], P_poll__networl[31], P_poll__networl[32], P_poll__networl[33], P_poll__networl[34], P_poll__networl[35], P_poll__networl[36], P_poll__networl[37], P_poll__networl[38], P_poll__networl[39], P_poll__networl[40], P_poll__networl[41], P_poll__networl[42], P_poll__networl[43], P_poll__networl[44], P_poll__networl[45], P_poll__networl[46], P_poll__networl[47], P_poll__networl[48], P_poll__networl[49], P_poll__networl[50], P_poll__networl[51], P_poll__networl[52], P_poll__networl[53], P_poll__networl[54], P_poll__networl[55], P_poll__networl[56], P_poll__networl[57], P_poll__networl[58], P_poll__networl[59], P_poll__networl[60], P_poll__networl[61], P_poll__networl[62], P_poll__networl[63], P_poll__networl[64], P_poll__networl[65], P_poll__networl[66], P_poll__networl[67], P_poll__networl[68], P_poll__networl[69], P_poll__networl[70], P_poll__networl[71], P_poll__networl[72], P_poll__networl[73], P_poll__networl[74], P_poll__networl[75], P_poll__networl[76], P_poll__networl[77], P_poll__networl[78], P_poll__networl[79], P_poll__networl[80], P_poll__networl[81], P_poll__networl[82], P_poll__networl[83], P_poll__networl[84], P_poll__networl[85], P_poll__networl[86], P_poll__networl[87], P_poll__networl[88], P_poll__networl[89], P_poll__networl[90], P_poll__networl[91], P_poll__networl[92], P_poll__networl[93], P_poll__networl[94], P_poll__networl[95], P_poll__networl[96], P_poll__networl[97], P_poll__networl[98], P_poll__networl[99], P_poll__networl[100], P_poll__networl[101], P_poll__networl[102], P_poll__networl[103], P_poll__networl[104], P_poll__networl[105], P_poll__networl[106], P_poll__networl[107], P_poll__networl[108], P_poll__networl[109], P_poll__networl[110], P_poll__networl[111], P_poll__networl[112], P_poll__networl[113], P_poll__networl[114], P_poll__networl[115], P_poll__networl[116], P_poll__networl[117], P_poll__networl[118], P_poll__networl[119], P_poll__networl[120], P_poll__networl[121], P_poll__networl[122], P_poll__networl[123], P_poll__networl[124], P_poll__networl[125], P_poll__networl[126], P_poll__networl[127], P_poll__networl[128], P_poll__networl[129], P_poll__networl[130], P_poll__networl[131], P_poll__networl[132], P_poll__networl[133], P_poll__networl[134], P_poll__networl[135], P_poll__networl[136], P_poll__networl[137], P_poll__networl[138], P_poll__networl[139], P_poll__networl[140], P_poll__networl[141], P_poll__networl[142], P_poll__networl[143], P_poll__networl[144], P_poll__networl[145], P_poll__networl[146], P_poll__networl[147], P_poll__networl[148], P_poll__networl[149], P_poll__networl[150], P_poll__networl[151], P_poll__networl[152], P_poll__networl[153], P_poll__networl[154], P_poll__networl[155], P_poll__networl[156], P_poll__networl[157], P_poll__networl[158], P_poll__networl[159], P_poll__networl[160], P_poll__networl[161], P_poll__pollEnd[0], P_poll__pollEnd[1], P_poll__pollEnd[2], P_poll__waitingMessage[0], P_poll__waitingMessage[1], P_poll__waitingMessage[2], P_polling[0], P_polling[1], P_polling[2], P_sendAnnPs__broadcasting[0], P_sendAnnPs__broadcasting[1], P_sendAnnPs__broadcasting[2], P_sendAnnPs__broadcasting[3], P_sendAnnPs__broadcasting[4], P_sendAnnPs__broadcasting[5], P_stage[0], P_stage[1], P_stage[2], P_stage[3], P_stage[4], P_stage[5], P_stage[6], P_stage[7], P_stage[8], P_startNeg__broadcasting[0], P_startNeg__broadcasting[1], P_startNeg__broadcasting[2], P_startNeg__broadcasting[3], P_startNeg__broadcasting[4], P_startNeg__broadcasting[5]]]
May 31, 2016 9:41:13 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,

May 31, 2016 9:41:13 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 22 transitions.
May 31, 2016 9:41:13 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains : CompositeGalOrder [children=[VarOrder [vars=[P_sendAnnPs__broadcasting[0], P_startNeg__broadcasting[0]]], VarOrder [vars=[P_sendAnnPs__broadcasting[1], P_startNeg__broadcasting[1]]], VarOrder [vars=[P_sendAnnPs__broadcasting[2], P_startNeg__broadcasting[2]]], VarOrder [vars=[P_sendAnnPs__broadcasting[3], P_startNeg__broadcasting[3]]], VarOrder [vars=[P_sendAnnPs__broadcasting[4], P_startNeg__broadcasting[4]]], VarOrder [vars=[P_sendAnnPs__broadcasting[5], P_startNeg__broadcasting[5]]], VarOrder [vars=[P_stage[0]]], VarOrder [vars=[P_stage[1]]], VarOrder [vars=[P_stage[2]]], VarOrder [vars=[P_stage[3]]], VarOrder [vars=[P_stage[4]]], VarOrder [vars=[P_stage[5]]], VarOrder [vars=[P_stage[6]]], VarOrder [vars=[P_stage[7]]], VarOrder [vars=[P_stage[8]]], VarOrder [vars=[P_network[0], P_poll__networl[0]]], VarOrder [vars=[P_network[1], P_poll__networl[1]]], VarOrder [vars=[P_network[2], P_poll__networl[2]]], VarOrder [vars=[P_network[3], P_poll__networl[3]]], VarOrder [vars=[P_network[4], P_poll__networl[4]]], VarOrder [vars=[P_network[5], P_poll__networl[5]]], VarOrder [vars=[P_network[6], P_poll__networl[6]]], VarOrder [vars=[P_network[7], P_poll__networl[7]]], VarOrder [vars=[P_network[8], P_poll__networl[8]]], VarOrder [vars=[P_network[9], P_poll__networl[9]]], VarOrder [vars=[P_network[10], P_poll__networl[10]]], VarOrder [vars=[P_network[11], P_poll__networl[11]]], VarOrder [vars=[P_network[12], P_poll__networl[12]]], VarOrder [vars=[P_network[13], P_poll__networl[13]]], VarOrder [vars=[P_network[14], P_poll__networl[14]]], VarOrder [vars=[P_network[15], P_poll__networl[15]]], VarOrder [vars=[P_network[16], P_poll__networl[16]]], VarOrder [vars=[P_network[17], P_poll__networl[17]]], VarOrder [vars=[P_network[18], P_poll__networl[18]]], VarOrder [vars=[P_network[19], P_poll__networl[19]]], VarOrder [vars=[P_network[20], P_poll__networl[20]]], VarOrder [vars=[P_network[21], P_poll__networl[21]]], VarOrder [vars=[P_network[22], P_poll__networl[22]]], VarOrder [vars=[P_network[23], P_poll__networl[23]]], VarOrder [vars=[P_network[24], P_poll__networl[24]]], VarOrder [vars=[P_network[25], P_poll__networl[25]]], VarOrder [vars=[P_network[26], P_poll__networl[26]]], VarOrder [vars=[P_network[27], P_poll__networl[27]]], VarOrder [vars=[P_network[28], P_poll__networl[28]]], VarOrder [vars=[P_network[29], P_poll__networl[29]]], VarOrder [vars=[P_network[30], P_poll__networl[30]]], VarOrder [vars=[P_network[31], P_poll__networl[31]]], VarOrder [vars=[P_network[32], P_poll__networl[32]]], VarOrder [vars=[P_network[33], P_poll__networl[33]]], VarOrder [vars=[P_network[34], P_poll__networl[34]]], VarOrder [vars=[P_network[35], P_poll__networl[35]]], VarOrder [vars=[P_network[36], P_poll__networl[36]]], VarOrder [vars=[P_network[37], P_poll__networl[37]]], VarOrder [vars=[P_network[38], P_poll__networl[38]]], VarOrder [vars=[P_network[39], P_poll__networl[39]]], VarOrder [vars=[P_network[40], P_poll__networl[40]]], VarOrder [vars=[P_network[41], P_poll__networl[41]]], VarOrder [vars=[P_network[42], P_poll__networl[42]]], VarOrder [vars=[P_network[43], P_poll__networl[43]]], VarOrder [vars=[P_network[44], P_poll__networl[44]]], VarOrder [vars=[P_network[45], P_poll__networl[45]]], VarOrder [vars=[P_network[46], P_poll__networl[46]]], VarOrder [vars=[P_network[47], P_poll__networl[47]]], VarOrder [vars=[P_network[48], P_poll__networl[48]]], VarOrder [vars=[P_network[49], P_poll__networl[49]]], VarOrder [vars=[P_network[50], P_poll__networl[50]]], VarOrder [vars=[P_network[51], P_poll__networl[51]]], VarOrder [vars=[P_network[52], P_poll__networl[52]]], VarOrder [vars=[P_network[53], P_poll__networl[53]]], VarOrder [vars=[P_network[54], P_poll__networl[54]]], VarOrder [vars=[P_network[55], P_poll__networl[55]]], VarOrder [vars=[P_network[56], P_poll__networl[56]]], VarOrder [vars=[P_network[57], P_poll__networl[57]]], VarOrder [vars=[P_network[58], P_poll__networl[58]]], VarOrder [vars=[P_network[59], P_poll__networl[59]]], VarOrder [vars=[P_network[60], P_poll__networl[60]]], VarOrder [vars=[P_network[61], P_poll__networl[61]]], VarOrder [vars=[P_network[62], P_poll__networl[62]]], VarOrder [vars=[P_network[63], P_poll__networl[63]]], VarOrder [vars=[P_network[64], P_poll__networl[64]]], VarOrder [vars=[P_network[65], P_poll__networl[65]]], VarOrder [vars=[P_network[66], P_poll__networl[66]]], VarOrder [vars=[P_network[67], P_poll__networl[67]]], VarOrder [vars=[P_network[68], P_poll__networl[68]]], VarOrder [vars=[P_network[69], P_poll__networl[69]]], VarOrder [vars=[P_network[70], P_poll__networl[70]]], VarOrder [vars=[P_network[71], P_poll__networl[71]]], VarOrder [vars=[P_network[72], P_poll__networl[72]]], VarOrder [vars=[P_network[73], P_poll__networl[73]]], VarOrder [vars=[P_network[74], P_poll__networl[74]]], VarOrder [vars=[P_network[75], P_poll__networl[75]]], VarOrder [vars=[P_network[76], P_poll__networl[76]]], VarOrder [vars=[P_network[77], P_poll__networl[77]]], VarOrder [vars=[P_network[78], P_poll__networl[78]]], VarOrder [vars=[P_network[79], P_poll__networl[79]]], VarOrder [vars=[P_network[80], P_poll__networl[80]]], VarOrder [vars=[P_network[81], P_poll__networl[81]]], VarOrder [vars=[P_network[82], P_poll__networl[82]]], VarOrder [vars=[P_network[83], P_poll__networl[83]]], VarOrder [vars=[P_network[84], P_poll__networl[84]]], VarOrder [vars=[P_network[85], P_poll__networl[85]]], VarOrder [vars=[P_network[86], P_poll__networl[86]]], VarOrder [vars=[P_network[87], P_poll__networl[87]]], VarOrder [vars=[P_network[88], P_poll__networl[88]]], VarOrder [vars=[P_network[89], P_poll__networl[89]]], VarOrder [vars=[P_network[90], P_poll__networl[90]]], VarOrder [vars=[P_network[91], P_poll__networl[91]]], VarOrder [vars=[P_network[92], P_poll__networl[92]]], VarOrder [vars=[P_network[93], P_poll__networl[93]]], VarOrder [vars=[P_network[94], P_poll__networl[94]]], VarOrder [vars=[P_network[95], P_poll__networl[95]]], VarOrder [vars=[P_network[96], P_poll__networl[96]]], VarOrder [vars=[P_network[97], P_poll__networl[97]]], VarOrder [vars=[P_network[98], P_poll__networl[98]]], VarOrder [vars=[P_network[99], P_poll__networl[99]]], VarOrder [vars=[P_network[100], P_poll__networl[100]]], VarOrder [vars=[P_network[101], P_poll__networl[101]]], VarOrder [vars=[P_network[102], P_poll__networl[102]]], VarOrder [vars=[P_network[103], P_poll__networl[103]]], VarOrder [vars=[P_network[104], P_poll__networl[104]]], VarOrder [vars=[P_network[105], P_poll__networl[105]]], VarOrder [vars=[P_network[106], P_poll__networl[106]]], VarOrder [vars=[P_network[107], P_poll__networl[107]]], VarOrder [vars=[P_network[108], P_poll__networl[108]]], VarOrder [vars=[P_network[109], P_poll__networl[109]]], VarOrder [vars=[P_network[110], P_poll__networl[110]]], VarOrder [vars=[P_network[111], P_poll__networl[111]]], VarOrder [vars=[P_network[112], P_poll__networl[112]]], VarOrder [vars=[P_network[113], P_poll__networl[113]]], VarOrder [vars=[P_network[114], P_poll__networl[114]]], VarOrder [vars=[P_network[115], P_poll__networl[115]]], VarOrder [vars=[P_network[116], P_poll__networl[116]]], VarOrder [vars=[P_network[117], P_poll__networl[117]]], VarOrder [vars=[P_network[118], P_poll__networl[118]]], VarOrder [vars=[P_network[119], P_poll__networl[119]]], VarOrder [vars=[P_network[120], P_poll__networl[120]]], VarOrder [vars=[P_network[121], P_poll__networl[121]]], VarOrder [vars=[P_network[122], P_poll__networl[122]]], VarOrder [vars=[P_network[123], P_poll__networl[123]]], VarOrder [vars=[P_network[124], P_poll__networl[124]]], VarOrder [vars=[P_network[125], P_poll__networl[125]]], VarOrder [vars=[P_network[126], P_poll__networl[126]]], VarOrder [vars=[P_network[127], P_poll__networl[127]]], VarOrder [vars=[P_network[128], P_poll__networl[128]]], VarOrder [vars=[P_network[129], P_poll__networl[129]]], VarOrder [vars=[P_network[130], P_poll__networl[130]]], VarOrder [vars=[P_network[131], P_poll__networl[131]]], VarOrder [vars=[P_network[132], P_poll__networl[132]]], VarOrder [vars=[P_network[133], P_poll__networl[133]]], VarOrder [vars=[P_network[134], P_poll__networl[134]]], VarOrder [vars=[P_network[135], P_poll__networl[135]]], VarOrder [vars=[P_network[136], P_poll__networl[136]]], VarOrder [vars=[P_network[137], P_poll__networl[137]]], VarOrder [vars=[P_network[138], P_poll__networl[138]]], VarOrder [vars=[P_network[139], P_poll__networl[139]]], VarOrder [vars=[P_network[140], P_poll__networl[140]]], VarOrder [vars=[P_network[141], P_poll__networl[141]]], VarOrder [vars=[P_network[142], P_poll__networl[142]]], VarOrder [vars=[P_network[143], P_poll__networl[143]]], VarOrder [vars=[P_network[144], P_poll__networl[144]]], VarOrder [vars=[P_network[145], P_poll__networl[145]]], VarOrder [vars=[P_network[146], P_poll__networl[146]]], VarOrder [vars=[P_network[147], P_poll__networl[147]]], VarOrder [vars=[P_network[148], P_poll__networl[148]]], VarOrder [vars=[P_network[149], P_poll__networl[149]]], VarOrder [vars=[P_network[150], P_poll__networl[150]]], VarOrder [vars=[P_network[151], P_poll__networl[151]]], VarOrder [vars=[P_network[152], P_poll__networl[152]]], VarOrder [vars=[P_network[153], P_poll__networl[153]]], VarOrder [vars=[P_network[154], P_poll__networl[154]]], VarOrder [vars=[P_network[155], P_poll__networl[155]]], VarOrder [vars=[P_network[156], P_poll__networl[156]]], VarOrder [vars=[P_network[157], P_poll__networl[157]]], VarOrder [vars=[P_network[158], P_poll__networl[158]]], VarOrder [vars=[P_network[159], P_poll__networl[159]]], VarOrder [vars=[P_network[160], P_poll__networl[160]]], VarOrder [vars=[P_network[161], P_poll__networl[161]]], VarOrder [vars=[P_masterList[0]]], VarOrder [vars=[P_masterList[1]]], VarOrder [vars=[P_masterList[2]]], VarOrder [vars=[P_masterList[3]]], VarOrder [vars=[P_masterList[4]]], VarOrder [vars=[P_masterList[5]]], VarOrder [vars=[P_masterList[6]]], VarOrder [vars=[P_masterList[7]]], VarOrder [vars=[P_masterList[8]]], VarOrder [vars=[P_masterList[9]]], VarOrder [vars=[P_masterList[10]]], VarOrder [vars=[P_masterList[11]]], VarOrder [vars=[P_masterList[12]]], VarOrder [vars=[P_masterList[13]]], VarOrder [vars=[P_masterList[14]]], VarOrder [vars=[P_masterList[15]]], VarOrder [vars=[P_masterList[16]]], VarOrder [vars=[P_masterList[17]]], VarOrder [vars=[P_masterState[0]]], VarOrder [vars=[P_masterState[1]]], VarOrder [vars=[P_masterState[2]]], VarOrder [vars=[P_masterState[3]]], VarOrder [vars=[P_masterState[4]]], VarOrder [vars=[P_masterState[5]]], VarOrder [vars=[P_masterState[6]]], VarOrder [vars=[P_masterState[7]]], VarOrder [vars=[P_masterState[8]]], VarOrder [vars=[P_masterState[9]]], VarOrder [vars=[P_masterState[10]]], VarOrder [vars=[P_masterState[11]]], VarOrder [vars=[P_masterState[12]]], VarOrder [vars=[P_masterState[13]]], VarOrder [vars=[P_masterState[14]]], VarOrder [vars=[P_masterState[15]]], VarOrder [vars=[P_masterState[16]]], VarOrder [vars=[P_masterState[17]]], VarOrder [vars=[P_crashed[0], dead[0], P_electedPrimary[0], P_electedSecondary[0], P_electionFailed[0], P_electionInit[0], P_poll__handlingMessage[0], P_poll__pollEnd[0], P_poll__waitingMessage[0], P_polling[0]]], VarOrder [vars=[P_crashed[1], dead[1], P_electedPrimary[1], P_electedSecondary[1], P_electionFailed[1], P_electionInit[1], P_poll__handlingMessage[1], P_poll__pollEnd[1], P_poll__waitingMessage[1], P_polling[1]]], VarOrder [vars=[P_crashed[2], dead[2], P_electedPrimary[2], P_electedSecondary[2], P_electionFailed[2], P_electionInit[2], P_poll__handlingMessage[2], P_poll__pollEnd[2], P_poll__waitingMessage[2], P_polling[2]]], VarOrder [vars=[P_negotiation[0]]], VarOrder [vars=[P_negotiation[1]]], VarOrder [vars=[P_negotiation[2]]], VarOrder [vars=[P_negotiation[3]]], VarOrder [vars=[P_negotiation[4]]], VarOrder [vars=[P_negotiation[5]]], VarOrder [vars=[P_negotiation[6]]], VarOrder [vars=[P_negotiation[7]]], VarOrder [vars=[P_negotiation[8]]], VarOrder [vars=[P_negotiation[9]]], VarOrder [vars=[P_negotiation[10]]], VarOrder [vars=[P_negotiation[11]]], VarOrder [vars=[P_negotiation[12]]], VarOrder [vars=[P_negotiation[13]]], VarOrder [vars=[P_negotiation[14]]], VarOrder [vars=[P_negotiation[15]]], VarOrder [vars=[P_negotiation[16]]], VarOrder [vars=[P_negotiation[17]]], VarOrder [vars=[P_negotiation[18]]], VarOrder [vars=[P_negotiation[19]]], VarOrder [vars=[P_negotiation[20]]], VarOrder [vars=[P_negotiation[21]]], VarOrder [vars=[P_negotiation[22]]], VarOrder [vars=[P_negotiation[23]]], VarOrder [vars=[P_negotiation[24]]], VarOrder [vars=[P_negotiation[25]]], VarOrder [vars=[P_negotiation[26]]]]]
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $pm
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $pm
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $p
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $p
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $pm
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $p
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $pm
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $i
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $r
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $i
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $r
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 26 instantiations of transitions. Total transitions/syncs built is 366
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Instantiator normalizeCalls
INFO: Calls to non existing labels (possibly due to false guards) leads to 6 abort statements.
May 31, 2016 9:41:13 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
May 31, 2016 9:41:13 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
May 31, 2016 9:41:13 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_crashed[0],P_crashed[1],P_crashed[2],P_electionFailed[0],P_electionFailed[1],P_electionFailed[2],P_network[1],P_network[2],P_network[7],P_network[8],P_network[10],P_network[11],P_network[13],P_network[14],P_network[16],P_network[17],P_network[19],P_network[20],P_network[25],P_network[26],P_network[28],P_network[29],P_network[31],P_network[32],P_network[34],P_network[35],P_network[37],P_network[38],P_network[43],P_network[44],P_network[46],P_network[47],P_network[49],P_network[50],P_network[52],P_network[53],P_network[55],P_network[56],P_network[61],P_network[62],P_network[64],P_network[65],P_network[67],P_network[68],P_network[70],P_network[71],P_network[73],P_network[74],P_network[79],P_network[80],P_network[82],P_network[83],P_network[85],P_network[86],P_network[88],P_network[89],P_network[91],P_network[92],P_network[97],P_network[98],P_network[100],P_network[101],P_network[103],P_network[104],P_network[106],P_network[107],P_network[109],P_network[110],P_network[115],P_network[116],P_network[118],P_network[119],P_network[121],P_network[122],P_network[124],P_network[125],P_network[127],P_network[128],P_network[133],P_network[134],P_network[136],P_network[137],P_network[139],P_network[140],P_network[142],P_network[143],P_network[145],P_network[146],P_network[151],P_network[152],P_network[154],P_network[155],P_network[157],P_network[158],P_network[160],P_network[161],dead[0],dead[1],dead[2],P_masterList[0],P_masterList[1],P_masterList[2],P_masterList[3],P_masterList[4],P_masterList[5],P_masterList[6],P_masterList[7],P_masterList[8],P_masterList[9],P_masterList[10],P_masterList[11],P_masterList[12],P_masterList[13],P_masterList[14],P_masterList[15],P_masterList[16],P_masterList[17],P_poll__networl[0],P_poll__networl[1],P_poll__networl[2],P_poll__networl[3],P_poll__networl[6],P_poll__networl[7],P_poll__networl[8],P_poll__networl[9],P_poll__networl[10],P_poll__networl[11],P_poll__networl[12],P_poll__networl[13],P_poll__networl[14],P_poll__networl[15],P_poll__networl[16],P_poll__networl[17],P_poll__networl[18],P_poll__networl[19],P_poll__networl[20],P_poll__networl[21],P_poll__networl[24],P_poll__networl[25],P_poll__networl[26],P_poll__networl[27],P_poll__networl[28],P_poll__networl[29],P_poll__networl[30],P_poll__networl[31],P_poll__networl[32],P_poll__networl[33],P_poll__networl[34],P_poll__networl[35],P_poll__networl[36],P_poll__networl[37],P_poll__networl[38],P_poll__networl[39],P_poll__networl[42],P_poll__networl[43],P_poll__networl[44],P_poll__networl[45],P_poll__networl[46],P_poll__networl[47],P_poll__networl[48],P_poll__networl[49],P_poll__networl[50],P_poll__networl[51],P_poll__networl[52],P_poll__networl[53],P_poll__networl[54],P_poll__networl[55],P_poll__networl[56],P_poll__networl[57],P_poll__networl[60],P_poll__networl[61],P_poll__networl[62],P_poll__networl[63],P_poll__networl[64],P_poll__networl[65],P_poll__networl[66],P_poll__networl[67],P_poll__networl[68],P_poll__networl[69],P_poll__networl[70],P_poll__networl[71],P_poll__networl[72],P_poll__networl[73],P_poll__networl[74],P_poll__networl[75],P_poll__networl[78],P_poll__networl[79],P_poll__networl[80],P_poll__networl[81],P_poll__networl[82],P_poll__networl[83],P_poll__networl[84],P_poll__networl[85],P_poll__networl[86],P_poll__networl[87],P_poll__networl[88],P_poll__networl[89],P_poll__networl[90],P_poll__networl[91],P_poll__networl[92],P_poll__networl[93],P_poll__networl[96],P_poll__networl[97],P_poll__networl[98],P_poll__networl[99],P_poll__networl[100],P_poll__networl[101],P_poll__networl[102],P_poll__networl[103],P_poll__networl[104],P_poll__networl[105],P_poll__networl[106],P_poll__networl[107],P_poll__networl[108],P_poll__networl[109],P_poll__networl[110],P_poll__networl[111],P_poll__networl[114],P_poll__networl[115],P_poll__networl[116],P_poll__networl[117],P_poll__networl[118],P_poll__networl[119],P_poll__networl[120],P_poll__networl[121],P_poll__networl[122],P_poll__networl[123],P_poll__networl[124],P_poll__networl[125],P_poll__networl[126],P_poll__networl[127],P_poll__networl[128],P_poll__networl[129],P_poll__networl[132],P_poll__networl[133],P_poll__networl[134],P_poll__networl[135],P_poll__networl[136],P_poll__networl[137],P_poll__networl[138],P_poll__networl[139],P_poll__networl[140],P_poll__networl[141],P_poll__networl[142],P_poll__networl[143],P_poll__networl[144],P_poll__networl[145],P_poll__networl[146],P_poll__networl[147],P_poll__networl[150],P_poll__networl[151],P_poll__networl[152],P_poll__networl[153],P_poll__networl[154],P_poll__networl[155],P_poll__networl[156],P_poll__networl[157],P_poll__networl[158],P_poll__networl[159],P_poll__networl[160],P_poll__networl[161],
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 645 expressions due to constant valuations.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyFalseTransitions
INFO: Removed 32 false transitions.
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network[1],P_network[2],P_network[7],P_network[8],P_network[10],P_network[11],P_network[13],P_network[14],P_network[16],P_network[17],P_network[19],P_network[20],P_network[25],P_network[26],P_network[28],P_network[29],P_network[31],P_network[32],P_network[34],P_network[35],P_network[37],P_network[38],P_network[43],P_network[44],P_network[46],P_network[47],P_network[49],P_network[50],P_network[52],P_network[53],P_network[55],P_network[56],P_network[61],P_network[62],P_network[64],P_network[65],P_network[67],P_network[68],P_network[70],P_network[71],P_network[73],P_network[74],P_network[79],P_network[80],P_network[82],P_network[83],P_network[85],P_network[86],P_network[88],P_network[89],P_network[91],P_network[92],P_network[97],P_network[98],P_network[100],P_network[101],P_network[103],P_network[104],P_network[106],P_network[107],P_network[109],P_network[110],P_network[115],P_network[116],P_network[118],P_network[119],P_network[121],P_network[122],P_network[124],P_network[125],P_network[127],P_network[128],P_network[133],P_network[134],P_network[136],P_network[137],P_network[139],P_network[140],P_network[142],P_network[143],P_network[145],P_network[146],P_network[151],P_network[152],P_network[154],P_network[155],P_network[157],P_network[158],P_network[160],P_network[161],P_negotiation[0],P_negotiation[3],P_negotiation[6],P_negotiation[9],P_negotiation[12],P_negotiation[18],P_negotiation[24],P_poll__networl[0],P_poll__networl[1],P_poll__networl[2],P_poll__networl[3],P_poll__networl[6],P_poll__networl[7],P_poll__networl[8],P_poll__networl[9],P_poll__networl[10],P_poll__networl[11],P_poll__networl[12],P_poll__networl[13],P_poll__networl[14],P_poll__networl[15],P_poll__networl[16],P_poll__networl[17],P_poll__networl[18],P_poll__networl[19],P_poll__networl[20],P_poll__networl[21],P_poll__networl[24],P_poll__networl[25],P_poll__networl[26],P_poll__networl[27],P_poll__networl[28],P_poll__networl[29],P_poll__networl[30],P_poll__networl[31],P_poll__networl[32],P_poll__networl[33],P_poll__networl[34],P_poll__networl[35],P_poll__networl[36],P_poll__networl[37],P_poll__networl[38],P_poll__networl[39],P_poll__networl[42],P_poll__networl[43],P_poll__networl[44],P_poll__networl[45],P_poll__networl[46],P_poll__networl[47],P_poll__networl[48],P_poll__networl[49],P_poll__networl[50],P_poll__networl[51],P_poll__networl[52],P_poll__networl[53],P_poll__networl[54],P_poll__networl[55],P_poll__networl[56],P_poll__networl[57],P_poll__networl[60],P_poll__networl[61],P_poll__networl[62],P_poll__networl[63],P_poll__networl[64],P_poll__networl[65],P_poll__networl[66],P_poll__networl[67],P_poll__networl[68],P_poll__networl[69],P_poll__networl[70],P_poll__networl[71],P_poll__networl[72],P_poll__networl[73],P_poll__networl[74],P_poll__networl[75],P_poll__networl[78],P_poll__networl[79],P_poll__networl[80],P_poll__networl[81],P_poll__networl[82],P_poll__networl[83],P_poll__networl[84],P_poll__networl[85],P_poll__networl[86],P_poll__networl[87],P_poll__networl[88],P_poll__networl[89],P_poll__networl[90],P_poll__networl[91],P_poll__networl[92],P_poll__networl[93],P_poll__networl[96],P_poll__networl[97],P_poll__networl[98],P_poll__networl[99],P_poll__networl[100],P_poll__networl[101],P_poll__networl[102],P_poll__networl[103],P_poll__networl[104],P_poll__networl[105],P_poll__networl[106],P_poll__networl[107],P_poll__networl[108],P_poll__networl[109],P_poll__networl[110],P_poll__networl[111],P_poll__networl[114],P_poll__networl[115],P_poll__networl[116],P_poll__networl[117],P_poll__networl[118],P_poll__networl[119],P_poll__networl[120],P_poll__networl[121],P_poll__networl[122],P_poll__networl[123],P_poll__networl[124],P_poll__networl[125],P_poll__networl[126],P_poll__networl[127],P_poll__networl[128],P_poll__networl[129],P_poll__networl[132],P_poll__networl[133],P_poll__networl[134],P_poll__networl[135],P_poll__networl[136],P_poll__networl[137],P_poll__networl[138],P_poll__networl[139],P_poll__networl[140],P_poll__networl[141],P_poll__networl[142],P_poll__networl[143],P_poll__networl[144],P_poll__networl[145],P_poll__networl[146],P_poll__networl[147],P_poll__networl[150],P_poll__networl[151],P_poll__networl[152],P_poll__networl[153],P_poll__networl[154],P_poll__networl[155],P_poll__networl[156],P_poll__networl[157],P_poll__networl[158],P_poll__networl[159],P_poll__networl[160],P_poll__networl[161],
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 28 expressions due to constant valuations.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-0 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NeoElection-COL-2-ReachabilityCardinality-1 is trivially true : it is verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-2 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NeoElection-COL-2-ReachabilityCardinality-4 is trivially true : it is verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-6 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-7 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-8 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NeoElection-COL-2-ReachabilityCardinality-9 is trivially true : it is verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-10 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NeoElection-COL-2-ReachabilityCardinality-11 is trivially true : it is verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-12 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-14 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-15 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network[1],P_network[2],P_network[7],P_network[8],P_network[10],P_network[11],P_network[13],P_network[14],P_network[16],P_network[17],P_network[19],P_network[20],P_network[25],P_network[26],P_network[28],P_network[29],P_network[31],P_network[32],P_network[34],P_network[35],P_network[37],P_network[38],P_network[43],P_network[44],P_network[46],P_network[47],P_network[49],P_network[50],P_network[52],P_network[53],P_network[55],P_network[56],P_network[61],P_network[62],P_network[64],P_network[65],P_network[67],P_network[68],P_network[70],P_network[71],P_network[73],P_network[74],P_network[79],P_network[80],P_network[82],P_network[83],P_network[85],P_network[86],P_network[88],P_network[89],P_network[91],P_network[92],P_network[97],P_network[98],P_network[100],P_network[101],P_network[103],P_network[104],P_network[106],P_network[107],P_network[109],P_network[110],P_network[115],P_network[116],P_network[118],P_network[119],P_network[121],P_network[122],P_network[124],P_network[125],P_network[127],P_network[128],P_network[133],P_network[134],P_network[136],P_network[137],P_network[139],P_network[140],P_network[142],P_network[143],P_network[145],P_network[146],P_network[151],P_network[152],P_network[154],P_network[155],P_network[157],P_network[158],P_network[160],P_network[161],P_negotiation[0],P_negotiation[3],P_negotiation[6],P_negotiation[9],P_negotiation[12],P_negotiation[18],P_negotiation[24],P_poll__networl[0],P_poll__networl[1],P_poll__networl[2],P_poll__networl[3],P_poll__networl[6],P_poll__networl[7],P_poll__networl[8],P_poll__networl[9],P_poll__networl[10],P_poll__networl[11],P_poll__networl[12],P_poll__networl[13],P_poll__networl[14],P_poll__networl[15],P_poll__networl[16],P_poll__networl[17],P_poll__networl[18],P_poll__networl[19],P_poll__networl[20],P_poll__networl[21],P_poll__networl[24],P_poll__networl[25],P_poll__networl[26],P_poll__networl[27],P_poll__networl[28],P_poll__networl[29],P_poll__networl[30],P_poll__networl[31],P_poll__networl[32],P_poll__networl[33],P_poll__networl[34],P_poll__networl[35],P_poll__networl[36],P_poll__networl[37],P_poll__networl[38],P_poll__networl[39],P_poll__networl[42],P_poll__networl[43],P_poll__networl[44],P_poll__networl[45],P_poll__networl[46],P_poll__networl[47],P_poll__networl[48],P_poll__networl[49],P_poll__networl[50],P_poll__networl[51],P_poll__networl[52],P_poll__networl[53],P_poll__networl[54],P_poll__networl[55],P_poll__networl[56],P_poll__networl[57],P_poll__networl[60],P_poll__networl[61],P_poll__networl[62],P_poll__networl[63],P_poll__networl[64],P_poll__networl[65],P_poll__networl[66],P_poll__networl[67],P_poll__networl[68],P_poll__networl[69],P_poll__networl[70],P_poll__networl[71],P_poll__networl[72],P_poll__networl[73],P_poll__networl[74],P_poll__networl[75],P_poll__networl[78],P_poll__networl[79],P_poll__networl[80],P_poll__networl[81],P_poll__networl[82],P_poll__networl[83],P_poll__networl[84],P_poll__networl[85],P_poll__networl[86],P_poll__networl[87],P_poll__networl[88],P_poll__networl[89],P_poll__networl[90],P_poll__networl[91],P_poll__networl[92],P_poll__networl[93],P_poll__networl[96],P_poll__networl[97],P_poll__networl[98],P_poll__networl[99],P_poll__networl[100],P_poll__networl[101],P_poll__networl[102],P_poll__networl[103],P_poll__networl[104],P_poll__networl[105],P_poll__networl[106],P_poll__networl[107],P_poll__networl[108],P_poll__networl[109],P_poll__networl[110],P_poll__networl[111],P_poll__networl[114],P_poll__networl[115],P_poll__networl[116],P_poll__networl[117],P_poll__networl[118],P_poll__networl[119],P_poll__networl[120],P_poll__networl[121],P_poll__networl[122],P_poll__networl[123],P_poll__networl[124],P_poll__networl[125],P_poll__networl[126],P_poll__networl[127],P_poll__networl[128],P_poll__networl[129],P_poll__networl[132],P_poll__networl[133],P_poll__networl[134],P_poll__networl[135],P_poll__networl[136],P_poll__networl[137],P_poll__networl[138],P_poll__networl[139],P_poll__networl[140],P_poll__networl[141],P_poll__networl[142],P_poll__networl[143],P_poll__networl[144],P_poll__networl[145],P_poll__networl[146],P_poll__networl[147],P_poll__networl[150],P_poll__networl[151],P_poll__networl[152],P_poll__networl[153],P_poll__networl[154],P_poll__networl[155],P_poll__networl[156],P_poll__networl[157],P_poll__networl[158],P_poll__networl[159],P_poll__networl[160],P_poll__networl[161],
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-0 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NeoElection-COL-2-ReachabilityCardinality-1 is trivially true : it is verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-2 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NeoElection-COL-2-ReachabilityCardinality-4 is trivially true : it is verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-6 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-7 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-8 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NeoElection-COL-2-ReachabilityCardinality-9 is trivially true : it is verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-10 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NeoElection-COL-2-ReachabilityCardinality-11 is trivially true : it is verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-12 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-14 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property NeoElection-COL-2-ReachabilityCardinality-15 is trivially false : it is not verified in initial state.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 3 uncalled transitions from type NeoElection_COL_2
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 760 ms
May 31, 2016 9:41:14 AM fr.lip6.move.gal.application.Application applyOrder
INFO: Applying decomposition
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 31, 2016 9:41:14 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_flat
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network[1],P_network[2],P_network[7],P_network[8],P_network[10],P_network[11],P_network[13],P_network[14],P_network[16],P_network[17],P_network[19],P_network[20],P_network[25],P_network[26],P_network[28],P_network[29],P_network[31],P_network[32],P_network[34],P_network[35],P_network[37],P_network[38],P_network[43],P_network[44],P_network[46],P_network[47],P_network[49],P_network[50],P_network[52],P_network[53],P_network[55],P_network[56],P_network[61],P_network[62],P_network[64],P_network[65],P_network[67],P_network[68],P_network[70],P_network[71],P_network[73],P_network[74],P_network[79],P_network[80],P_network[82],P_network[83],P_network[85],P_network[86],P_network[88],P_network[89],P_network[91],P_network[92],P_network[97],P_network[98],P_network[100],P_network[101],P_network[103],P_network[104],P_network[106],P_network[107],P_network[109],P_network[110],P_network[115],P_network[116],P_network[118],P_network[119],P_network[121],P_network[122],P_network[124],P_network[125],P_network[127],P_network[128],P_network[133],P_network[134],P_network[136],P_network[137],P_network[139],P_network[140],P_network[142],P_network[143],P_network[145],P_network[146],P_network[151],P_network[152],P_network[154],P_network[155],P_network[157],P_network[158],P_network[160],P_network[161],P_negotiation[0],P_negotiation[3],P_negotiation[6],P_negotiation[9],P_negotiation[12],P_negotiation[18],P_negotiation[24],P_poll__networl[0],P_poll__networl[1],P_poll__networl[2],P_poll__networl[3],P_poll__networl[6],P_poll__networl[7],P_poll__networl[8],P_poll__networl[9],P_poll__networl[10],P_poll__networl[11],P_poll__networl[12],P_poll__networl[13],P_poll__networl[14],P_poll__networl[15],P_poll__networl[16],P_poll__networl[17],P_poll__networl[18],P_poll__networl[19],P_poll__networl[20],P_poll__networl[21],P_poll__networl[24],P_poll__networl[25],P_poll__networl[26],P_poll__networl[27],P_poll__networl[28],P_poll__networl[29],P_poll__networl[30],P_poll__networl[31],P_poll__networl[32],P_poll__networl[33],P_poll__networl[34],P_poll__networl[35],P_poll__networl[36],P_poll__networl[37],P_poll__networl[38],P_poll__networl[39],P_poll__networl[42],P_poll__networl[43],P_poll__networl[44],P_poll__networl[45],P_poll__networl[46],P_poll__networl[47],P_poll__networl[48],P_poll__networl[49],P_poll__networl[50],P_poll__networl[51],P_poll__networl[52],P_poll__networl[53],P_poll__networl[54],P_poll__networl[55],P_poll__networl[56],P_poll__networl[57],P_poll__networl[60],P_poll__networl[61],P_poll__networl[62],P_poll__networl[63],P_poll__networl[64],P_poll__networl[65],P_poll__networl[66],P_poll__networl[67],P_poll__networl[68],P_poll__networl[69],P_poll__networl[70],P_poll__networl[71],P_poll__networl[72],P_poll__networl[73],P_poll__networl[74],P_poll__networl[75],P_poll__networl[78],P_poll__networl[79],P_poll__networl[80],P_poll__networl[81],P_poll__networl[82],P_poll__networl[83],P_poll__networl[84],P_poll__networl[85],P_poll__networl[86],P_poll__networl[87],P_poll__networl[88],P_poll__networl[89],P_poll__networl[90],P_poll__networl[91],P_poll__networl[92],P_poll__networl[93],P_poll__networl[96],P_poll__networl[97],P_poll__networl[98],P_poll__networl[99],P_poll__networl[100],P_poll__networl[101],P_poll__networl[102],P_poll__networl[103],P_poll__networl[104],P_poll__networl[105],P_poll__networl[106],P_poll__networl[107],P_poll__networl[108],P_poll__networl[109],P_poll__networl[110],P_poll__networl[111],P_poll__networl[114],P_poll__networl[115],P_poll__networl[116],P_poll__networl[117],P_poll__networl[118],P_poll__networl[119],P_poll__networl[120],P_poll__networl[121],P_poll__networl[122],P_poll__networl[123],P_poll__networl[124],P_poll__networl[125],P_poll__networl[126],P_poll__networl[127],P_poll__networl[128],P_poll__networl[129],P_poll__networl[132],P_poll__networl[133],P_poll__networl[134],P_poll__networl[135],P_poll__networl[136],P_poll__networl[137],P_poll__networl[138],P_poll__networl[139],P_poll__networl[140],P_poll__networl[141],P_poll__networl[142],P_poll__networl[143],P_poll__networl[144],P_poll__networl[145],P_poll__networl[146],P_poll__networl[147],P_poll__networl[150],P_poll__networl[151],P_poll__networl[152],P_poll__networl[153],P_poll__networl[154],P_poll__networl[155],P_poll__networl[156],P_poll__networl[157],P_poll__networl[158],P_poll__networl[159],P_poll__networl[160],P_poll__networl[161],
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 150 ms
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Partition obtained :[P_sendAnnPs__broadcasting[0], P_startNeg__broadcasting[0], ],[P_sendAnnPs__broadcasting[1], P_startNeg__broadcasting[1], ],[P_sendAnnPs__broadcasting[2], P_startNeg__broadcasting[2], ],[P_sendAnnPs__broadcasting[3], P_startNeg__broadcasting[3], ],[P_sendAnnPs__broadcasting[4], P_startNeg__broadcasting[4], ],[P_sendAnnPs__broadcasting[5], P_startNeg__broadcasting[5], ],[P_stage[0], ],[P_stage[1], ],[P_stage[2], ],[P_stage[3], ],[P_stage[4], ],[P_stage[5], ],[P_stage[6], ],[P_stage[7], ],[P_stage[8], ],[P_network[0], P_poll__networl[0], ],[P_network[1], P_poll__networl[1], ],[P_network[2], P_poll__networl[2], ],[P_network[3], P_poll__networl[3], ],[P_network[4], P_poll__networl[4], ],[P_network[5], P_poll__networl[5], ],[P_network[6], P_poll__networl[6], ],[P_network[7], P_poll__networl[7], ],[P_network[8], P_poll__networl[8], ],[P_network[9], P_poll__networl[9], ],[P_network[10], P_poll__networl[10], ],[P_network[11], P_poll__networl[11], ],[P_network[12], P_poll__networl[12], ],[P_network[13], P_poll__networl[13], ],[P_network[14], P_poll__networl[14], ],[P_network[15], P_poll__networl[15], ],[P_network[16], P_poll__networl[16], ],[P_network[17], P_poll__networl[17], ],[P_network[18], P_poll__networl[18], ],[P_network[19], P_poll__networl[19], ],[P_network[20], P_poll__networl[20], ],[P_network[21], P_poll__networl[21], ],[P_network[22], P_poll__networl[22], ],[P_network[23], P_poll__networl[23], ],[P_network[24], P_poll__networl[24], ],[P_network[25], P_poll__networl[25], ],[P_network[26], P_poll__networl[26], ],[P_network[27], P_poll__networl[27], ],[P_network[28], P_poll__networl[28], ],[P_network[29], P_poll__networl[29], ],[P_network[30], P_poll__networl[30], ],[P_network[31], P_poll__networl[31], ],[P_network[32], P_poll__networl[32], ],[P_network[33], P_poll__networl[33], ],[P_network[34], P_poll__networl[34], ],[P_network[35], P_poll__networl[35], ],[P_network[36], P_poll__networl[36], ],[P_network[37], P_poll__networl[37], ],[P_network[38], P_poll__networl[38], ],[P_network[39], P_poll__networl[39], ],[P_network[40], P_poll__networl[40], ],[P_network[41], P_poll__networl[41], ],[P_network[42], P_poll__networl[42], ],[P_network[43], P_poll__networl[43], ],[P_network[44], P_poll__networl[44], ],[P_network[45], P_poll__networl[45], ],[P_network[46], P_poll__networl[46], ],[P_network[47], P_poll__networl[47], ],[P_network[48], P_poll__networl[48], ],[P_network[49], P_poll__networl[49], ],[P_network[50], P_poll__networl[50], ],[P_network[51], P_poll__networl[51], ],[P_network[52], P_poll__networl[52], ],[P_network[53], P_poll__networl[53], ],[P_network[54], P_poll__networl[54], ],[P_network[55], P_poll__networl[55], ],[P_network[56], P_poll__networl[56], ],[P_network[57], P_poll__networl[57], ],[P_network[58], P_poll__networl[58], ],[P_network[59], P_poll__networl[59], ],[P_network[60], P_poll__networl[60], ],[P_network[61], P_poll__networl[61], ],[P_network[62], P_poll__networl[62], ],[P_network[63], P_poll__networl[63], ],[P_network[64], P_poll__networl[64], ],[P_network[65], P_poll__networl[65], ],[P_network[66], P_poll__networl[66], ],[P_network[67], P_poll__networl[67], ],[P_network[68], P_poll__networl[68], ],[P_network[69], P_poll__networl[69], ],[P_network[70], P_poll__networl[70], ],[P_network[71], P_poll__networl[71], ],[P_network[72], P_poll__networl[72], ],[P_network[73], P_poll__networl[73], ],[P_network[74], P_poll__networl[74], ],[P_network[75], P_poll__networl[75], ],[P_network[76], P_poll__networl[76], ],[P_network[77], P_poll__networl[77], ],[P_network[78], P_poll__networl[78], ],[P_network[79], P_poll__networl[79], ],[P_network[80], P_poll__networl[80], ],[P_network[81], P_poll__networl[81], ],[P_network[82], P_poll__networl[82], ],[P_network[83], P_poll__networl[83], ],[P_network[84], P_poll__networl[84], ],[P_network[85], P_poll__networl[85], ],[P_network[86], P_poll__networl[86], ],[P_network[87], P_poll__networl[87], ],[P_network[88], P_poll__networl[88], ],[P_network[89], P_poll__networl[89], ],[P_network[90], P_poll__networl[90], ],[P_network[91], P_poll__networl[91], ],[P_network[92], P_poll__networl[92], ],[P_network[93], P_poll__networl[93], ],[P_network[94], P_poll__networl[94], ],[P_network[95], P_poll__networl[95], ],[P_network[96], P_poll__networl[96], ],[P_network[97], P_poll__networl[97], ],[P_network[98], P_poll__networl[98], ],[P_network[99], P_poll__networl[99], ],[P_network[100], P_poll__networl[100], ],[P_network[101], P_poll__networl[101], ],[P_network[102], P_poll__networl[102], ],[P_network[103], P_poll__networl[103], ],[P_network[104], P_poll__networl[104], ],[P_network[105], P_poll__networl[105], ],[P_network[106], P_poll__networl[106], ],[P_network[107], P_poll__networl[107], ],[P_network[108], P_poll__networl[108], ],[P_network[109], P_poll__networl[109], ],[P_network[110], P_poll__networl[110], ],[P_network[111], P_poll__networl[111], ],[P_network[112], P_poll__networl[112], ],[P_network[113], P_poll__networl[113], ],[P_network[114], P_poll__networl[114], ],[P_network[115], P_poll__networl[115], ],[P_network[116], P_poll__networl[116], ],[P_network[117], P_poll__networl[117], ],[P_network[118], P_poll__networl[118], ],[P_network[119], P_poll__networl[119], ],[P_network[120], P_poll__networl[120], ],[P_network[121], P_poll__networl[121], ],[P_network[122], P_poll__networl[122], ],[P_network[123], P_poll__networl[123], ],[P_network[124], P_poll__networl[124], ],[P_network[125], P_poll__networl[125], ],[P_network[126], P_poll__networl[126], ],[P_network[127], P_poll__networl[127], ],[P_network[128], P_poll__networl[128], ],[P_network[129], P_poll__networl[129], ],[P_network[130], P_poll__networl[130], ],[P_network[131], P_poll__networl[131], ],[P_network[132], P_poll__networl[132], ],[P_network[133], P_poll__networl[133], ],[P_network[134], P_poll__networl[134], ],[P_network[135], P_poll__networl[135], ],[P_network[136], P_poll__networl[136], ],[P_network[137], P_poll__networl[137], ],[P_network[138], P_poll__networl[138], ],[P_network[139], P_poll__networl[139], ],[P_network[140], P_poll__networl[140], ],[P_network[141], P_poll__networl[141], ],[P_network[142], P_poll__networl[142], ],[P_network[143], P_poll__networl[143], ],[P_network[144], P_poll__networl[144], ],[P_network[145], P_poll__networl[145], ],[P_network[146], P_poll__networl[146], ],[P_network[147], P_poll__networl[147], ],[P_network[148], P_poll__networl[148], ],[P_network[149], P_poll__networl[149], ],[P_network[150], P_poll__networl[150], ],[P_network[151], P_poll__networl[151], ],[P_network[152], P_poll__networl[152], ],[P_network[153], P_poll__networl[153], ],[P_network[154], P_poll__networl[154], ],[P_network[155], P_poll__networl[155], ],[P_network[156], P_poll__networl[156], ],[P_network[157], P_poll__networl[157], ],[P_network[158], P_poll__networl[158], ],[P_network[159], P_poll__networl[159], ],[P_network[160], P_poll__networl[160], ],[P_network[161], P_poll__networl[161], ],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[P_masterState[0], ],[P_masterState[1], ],[P_masterState[2], ],[P_masterState[3], ],[P_masterState[4], ],[P_masterState[5], ],[P_masterState[6], ],[P_masterState[7], ],[P_masterState[8], ],[P_masterState[9], ],[P_masterState[10], ],[P_masterState[11], ],[P_masterState[12], ],[P_masterState[13], ],[P_masterState[14], ],[P_masterState[15], ],[P_masterState[16], ],[P_masterState[17], ],[P_electedPrimary[0], P_electedSecondary[0], P_electionInit[0], P_poll__handlingMessage[0], P_poll__pollEnd[0], P_poll__waitingMessage[0], P_polling[0], ],[P_electedPrimary[1], P_electedSecondary[1], P_electionInit[1], P_poll__handlingMessage[1], P_poll__pollEnd[1], P_poll__waitingMessage[1], P_polling[1], ],[P_electedPrimary[2], P_electedSecondary[2], P_electionInit[2], P_poll__handlingMessage[2], P_poll__pollEnd[2], P_poll__waitingMessage[2], P_polling[2], ],[P_negotiation[0], ],[P_negotiation[1], ],[P_negotiation[2], ],[P_negotiation[3], ],[P_negotiation[4], ],[P_negotiation[5], ],[P_negotiation[6], ],[P_negotiation[7], ],[P_negotiation[8], ],[P_negotiation[9], ],[P_negotiation[10], ],[P_negotiation[11], ],[P_negotiation[12], ],[P_negotiation[13], ],[P_negotiation[14], ],[P_negotiation[15], ],[P_negotiation[16], ],[P_negotiation[17], ],[P_negotiation[18], ],[P_negotiation[19], ],[P_negotiation[20], ],[P_negotiation[21], ],[P_negotiation[22], ],[P_negotiation[23], ],[P_negotiation[24], ],[P_negotiation[25], ],[P_negotiation[26], ],

May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_electedPrimary to variables to allow decomposition.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_electedSecondary to variables to allow decomposition.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_electionInit to variables to allow decomposition.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_masterState to variables to allow decomposition.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_negotiation to variables to allow decomposition.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_network to variables to allow decomposition.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_poll__handlingMessage to variables to allow decomposition.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_poll__networl to variables to allow decomposition.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_poll__pollEnd to variables to allow decomposition.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_poll__waitingMessage to variables to allow decomposition.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_polling to variables to allow decomposition.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_sendAnnPs__broadcasting to variables to allow decomposition.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_stage to variables to allow decomposition.
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_startNeg__broadcasting to variables to allow decomposition.
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_0,
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_0
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_1,P_poll__networl_1,
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_1, P_poll__networl_1
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_2,P_network_2,
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_2, P_network_2
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_3,
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_3
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_6,
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_6
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_7,P_network_7,
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_7, P_network_7
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_8,P_poll__networl_8,
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_8, P_poll__networl_8
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_9,
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_9
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_10,P_network_10,
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_10, P_network_10
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_11,P_poll__networl_11,
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_11, P_poll__networl_11
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_12,
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_12
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_13,P_network_13,
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_13, P_network_13
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_14,P_poll__networl_14,
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_14, P_poll__networl_14
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_15,
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_15
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_16,P_poll__networl_16,
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_16, P_poll__networl_16
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_17,P_network_17,
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_17, P_network_17
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 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
May 31, 2016 9:41:14 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_18,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_18
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_19,P_network_19,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_19, P_network_19
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_20,P_network_20,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_20, P_network_20
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_21,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_21
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_24,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_24
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_25,P_network_25,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_25, P_network_25
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_26,P_network_26,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_26, P_network_26
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_27,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_27
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_28,P_poll__networl_28,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_28, P_poll__networl_28
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_29,P_poll__networl_29,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_29, P_poll__networl_29
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_30,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_30
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_31,P_network_31,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_31, P_network_31
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_32,P_poll__networl_32,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_32, P_poll__networl_32
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_33,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_33
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_34,P_poll__networl_34,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_34, P_poll__networl_34
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_35,P_network_35,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_35, P_network_35
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_36,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_36
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_37,P_network_37,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_37, P_network_37
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_38,P_poll__networl_38,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_38, P_poll__networl_38
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_39,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_39
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_42,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_42
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_43,P_network_43,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_43, P_network_43
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_44,P_network_44,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_44, P_network_44
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_45,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_45
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_46,P_network_46,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_46, P_network_46
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_47,P_network_47,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_47, P_network_47
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_48,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_48
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_49,P_network_49,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_49, P_network_49
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_50,P_poll__networl_50,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_50, P_poll__networl_50
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_51,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_51
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_52,P_network_52,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_52, P_network_52
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_53,P_poll__networl_53,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_53, P_poll__networl_53
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_54,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_54
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_55,P_network_55,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_55, P_network_55
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_56,P_poll__networl_56,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_56, P_poll__networl_56
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_57,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_57
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_60,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_60
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_61,P_poll__networl_61,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_61, P_poll__networl_61
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_62,P_network_62,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_62, P_network_62
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_63,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_63
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_64,P_poll__networl_64,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_64, P_poll__networl_64
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_65,P_network_65,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_65, P_network_65
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_66,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_66
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_67,P_poll__networl_67,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_67, P_poll__networl_67
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_68,P_poll__networl_68,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_68, P_poll__networl_68
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_69,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_69
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_70,P_poll__networl_70,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_70, P_poll__networl_70
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_71,P_poll__networl_71,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_71, P_poll__networl_71
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_72,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_72
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_73,P_network_73,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_73, P_network_73
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_74,P_poll__networl_74,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_74, P_poll__networl_74
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_75,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_75
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_78,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_78
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_79,P_poll__networl_79,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_79, P_poll__networl_79
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_80,P_network_80,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_80, P_network_80
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_81,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_81
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_82,P_network_82,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_82, P_network_82
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_83,P_network_83,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_83, P_network_83
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_84,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_84
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_85,P_poll__networl_85,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_85, P_poll__networl_85
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_86,P_poll__networl_86,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_86, P_poll__networl_86
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_87,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_87
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_88,P_poll__networl_88,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_88, P_poll__networl_88
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_89,P_network_89,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_89, P_network_89
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_90,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_90
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_91,P_poll__networl_91,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_91, P_poll__networl_91
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_92,P_network_92,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_92, P_network_92
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_93,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_93
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_96,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_96
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_97,P_poll__networl_97,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_97, P_poll__networl_97
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_98,P_poll__networl_98,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_98, P_poll__networl_98
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_99,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_99
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_100,P_poll__networl_100,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_100, P_poll__networl_100
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_101,P_network_101,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_101, P_network_101
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_102,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_102
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_103,P_network_103,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_103, P_network_103
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_104,P_poll__networl_104,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_104, P_poll__networl_104
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_105,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_105
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_106,P_poll__networl_106,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_106, P_poll__networl_106
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_107,P_network_107,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_107, P_network_107
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_108,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_108
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_109,P_poll__networl_109,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_109, P_poll__networl_109
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_110,P_poll__networl_110,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_110, P_poll__networl_110
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_111,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_111
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_114,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_114
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_115,P_poll__networl_115,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_115, P_poll__networl_115
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_116,P_poll__networl_116,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_116, P_poll__networl_116
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_117,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_117
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_118,P_network_118,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_118, P_network_118
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_119,P_network_119,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_119, P_network_119
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_120,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_120
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_121,P_network_121,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_121, P_network_121
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_122,P_network_122,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_122, P_network_122
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_123,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_123
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_124,P_network_124,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_124, P_network_124
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_125,P_network_125,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_125, P_network_125
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_126,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_126
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_127,P_poll__networl_127,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_127, P_poll__networl_127
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_128,P_network_128,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_128, P_network_128
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_129,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_129
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_132,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_132
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_133,P_poll__networl_133,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_133, P_poll__networl_133
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_134,P_poll__networl_134,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_134, P_poll__networl_134
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_135,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_135
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_136,P_poll__networl_136,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_136, P_poll__networl_136
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_137,P_network_137,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_137, P_network_137
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_138,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_138
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_139,P_network_139,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_139, P_network_139
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_140,P_poll__networl_140,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_140, P_poll__networl_140
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_141,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_141
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_142,P_poll__networl_142,
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_142, P_poll__networl_142
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 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
May 31, 2016 9:41:15 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_143,P_network_143,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_143, P_network_143
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_144,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_144
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_145,P_poll__networl_145,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_145, P_poll__networl_145
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_146,P_network_146,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_146, P_network_146
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_147,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_147
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_150,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_150
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_151,P_poll__networl_151,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_151, P_poll__networl_151
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_152,P_network_152,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_152, P_network_152
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_153,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_153
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_154,P_poll__networl_154,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_154, P_poll__networl_154
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_155,P_network_155,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_155, P_network_155
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_156,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_156
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_157,P_network_157,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_157, P_network_157
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_158,P_poll__networl_158,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_158, P_poll__networl_158
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_159,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_159
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_160,P_network_160,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_160, P_network_160
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_161,P_poll__networl_161,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_161, P_poll__networl_161
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_0,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_0
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_3,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_3
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_6,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_6
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_9,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_9
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_12,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_12
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_18,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_18
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 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
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_24,
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_24
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Simplifier simplify
INFO: [fr.lip6.move.gal.impl.GALTypeDeclarationImpl@26cd77cc (name: TM_x_M_x_MT_x_M160), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@13b666b4 (name: TM_x_M_x_MT_x_M8), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2a882681 (name: TM_x_M_x_MT_x_M56), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3f96ef2 (name: TM_x_M_x_MT_x_M19), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@8941d98 (name: TM_x_M_x_MT_x_M140), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1a48f55b (name: TM_x_M_x_MT_x_M67), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5634f627 (name: TM_x_M_x_MT_x_M142), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7c305624 (name: TM_x_M_x_MT_x_M14), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7029653c (name: TM_x_M_x_MT_x_M34), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@45a824d (name: TM_x_M_x_MT_x_M101), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@377d66f (name: TM_x_M_x_MT_x_M121), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2b6c3f70 (name: TM_x_M_x_MT_x_M53), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@664f1c53 (name: TM_x_POS_x_M3), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2b7b6f58 (name: TM_x_M_x_MT_x_M16), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2f65c341 (name: TM_x_M_x_NEGSTEP0), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3d1ecf3b (name: TM_x_M_x_MT_x_M10), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1fb8b89e (name: TM_x_M_x_MT_x_M86), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@85420 (name: TM_x_POS_x_M7), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6724f10e (name: TM_x_M_x_MT_x_M98), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6f6d2847 (name: TM_x_M_x_MT_x_M115), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@99e68b5 (name: TM_x_M_x_MT_x_M124), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@36dd68f1 (name: TM_x_M_x_MT_x_M106), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6f05062b (name: TM_x_M_x_MT_x_M133), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1ae11dd3 (name: TM_x_M_x_MT_x_M49), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@207b0d48 (name: TM_x_M_x_MT_x_M31), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@76b195d (name: TM_x_M_x_MT_x_M134), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6b29771f (name: TM_x_M_x_MT_x_M155), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1502cd38 (name: TM_x_M_x_MT_x_M47), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4481f9bd (name: TM_x_M_x_MT_x_M46), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@42d039ef (name: TM_x_M_x_MT_x_M2), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@454056b (name: TM_x_M_x_MT_x_M55), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@20bd3082 (name: TM_x_POS_x_M1), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3bcebb8f (name: TM_x_M_x_MT_x_M79), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4da929ef (name: TM_x_M_x_MT_x_M107), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@686a192d (name: TM_x_M_x_MT_x_M82), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@c534814 (name: TM_x_POS_x_M10), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4d542218 (name: TM_x_M_x_MT_x_M74), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6d03404e (name: TM_x_POS_x_M2), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2dc4b58a (name: TM_x_M_x_MT_x_M17), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@59464f08 (name: TM_x_M_x_MT_x_M71), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@25b8a2f7 (name: TM_x_M_x_MT_x_M62), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@798e73de (name: TM_x_M_x_NEGSTEP12), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@22a7d2f2 (name: TM_x_M_x_NEGSTEP6), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@46b2e0e4 (name: TM_x_M_x_MT_x_M44), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7511e348 (name: TM_x_M_x_MT_x_M104), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@380ea757 (name: TM_x_M_x_MT_x_M143), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7db644d5 (name: TM_x_M_x_MT_x_M118), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@204bd52d (name: TM_x_M_x_MT_x_M11), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@b6c290a (name: TM_x_M_x_MT_x_M146), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6f64c40c (name: TM_x_M_x_MT_x_M109), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@20bd4fd2 (name: TM_x_POS_x_M4), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@a9339e5 (name: TM_x_M_x_MT_x_M38), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@181cafd (name: TM_x_M_x_MT_x_M35), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@45488836 (name: TM_x_M_x_MT_x_M37), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@eb8d539 (name: TM_x_POS_x_M12), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4644b1c6 (name: TM_x_M_x_MT_x_M7), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@20e1ce62 (name: TM_x_POS_x_M13), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@684138c5 (name: TM_x_M_x_MT_x_M97), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@620bfd8c (name: TM_x_M_x_NEGSTEP9), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@616549c (name: TM_x_M_x_MT_x_M100), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@597050fa (name: TM_x_M_x_MT_x_M103), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7bfa2d74 (name: TM_x_M_x_MT_x_M88), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2dad7323 (name: TM_x_POS_x_M0), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@66ade539 (name: TM_x_M_x_MT_x_M64), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@19324eab (name: TM_x_M_x_MT_x_M161), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1ebb6e20 (name: TM_x_POS_x_M6), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@37dcda42 (name: TM_x_M_x_MT_x_M1), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@467924d8 (name: TM_x_M_x_MT_x_M89), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@cee1b4c (name: TM_x_M_x_MT_x_M154), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5f092eaa (name: TM_x_M_x_MT_x_M125), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6d8dc329 (name: TM_x_M_x_MT_x_M110), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4ca3e806 (name: TM_x_M_x_MT_x_M73), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@450555ac (name: TM_x_M_x_NEGSTEP18), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@69cd4267 (name: TM_x_POS_x_M5), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@67dc7d0 (name: TM_x_M_x_MT_x_M43), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4a81582c (name: TM_x_POS_x_M8), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7c8c6922 (name: TM_x_M_x_MT_x_M68), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7d5e165 (name: TM_x_M_x_MT_x_M128), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3df05c40 (name: TM_x_POS_x_M15), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7b9e4a2a (name: TM_x_M_x_MT_x_M61), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5bb1c104 (name: TM_x_M_x_MT_x_M29), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1447bef2 (name: TM_x_M_x_MT_x_M52), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@22152da0 (name: TM_x_M_x_MT_x_M145), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6ddab96c (name: TM_x_M_x_MT_x_M119), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6ca95b1e (name: TM_x_M_x_MT_x_M13), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@79ae2d13 (name: TM_x_M_x_MT_x_M50), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@49dce561 (name: TM_x_POS_x_M9), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7cb8109 (name: TM_x_M_x_MT_x_M136), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1a48e48e (name: TM_x_M_x_MT_x_M25), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@272600e1 (name: TM_x_M_x_MT_x_M91), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7fc8930f (name: TM_x_M_x_MT_x_M116), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2779acb2 (name: TM_x_M_x_MT_x_M137), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4e38b4ea (name: TM_x_POS_x_M11), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@30c31e10 (name: TM_x_M_x_MT_x_M122), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@63a9ab7d (name: TM_x_M_x_MT_x_M151), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5b1505c3 (name: TM_x_POS_x_M17), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@731660c1 (name: TM_x_M_x_MT_x_M152), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3f07eede (name: TM_x_M_x_MT_x_M65), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3077e4aa (name: TM_x_M_x_MT_x_M32), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@44ba9865 (name: TM_x_M_x_NEGSTEP24), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@12039ae0 (name: TM_x_M_x_MT_x_M20), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@393e6bdd (name: TM_x_M_x_MT_x_M127), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@484313a6 (name: TM_x_M_x_MT_x_M85), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@36642182 (name: TM_x_POS_x_M14), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@563f53d8 (name: TM_x_M_x_MT_x_M28), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@aecfc07 (name: TM_x_M_x_MT_x_M83), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@79e0f00b (name: TM_x_M_x_NEGSTEP3), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1a9ce44 (name: TM_x_M_x_MT_x_M80), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1c1b9de9 (name: TM_x_M_x_MT_x_M92), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@54fb9c08 (name: TM_x_M_x_MT_x_M139), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@752957da (name: TM_x_POS_x_M16), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6c30efc4 (name: TM_x_M_x_MT_x_M26), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5168f69d (name: TM_x_M_x_MT_x_M158), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6d921d6b (name: TM_x_M_x_MT_x_M70), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4f7bb581 (name: TM_x_M_x_MT_x_M157)]
May 31, 2016 9:41:16 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 870 redundant transitions.
May 31, 2016 9:41:16 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityCardinality.gal : 25 ms
May 31, 2016 9:41:16 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSTools
INFO: Time to serialize properties into /home/mcc/execution/ReachabilityCardinality.prop : 0 ms

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_NeoElection-COL-2"
export BK_EXAMINATION="ReachabilityCardinality"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/root/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/S_NeoElection-COL-2.tgz
mv S_NeoElection-COL-2 execution

# this is for BenchKit: explicit launching of the test

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