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 '
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 ;