About the Execution of Spot 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 |
| 260.310 | 8286.00 | 7535.00 | 112.70 | ?F?F???F????F??? | 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-3254
Executing tool spot
Input is S_NeoElection-COL-2, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r116-blw7-149441645100230
=====================================================================
--------------------
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-LTLCardinality-0
FORMULA_NAME NeoElection-COL-2-LTLCardinality-1
FORMULA_NAME NeoElection-COL-2-LTLCardinality-10
FORMULA_NAME NeoElection-COL-2-LTLCardinality-11
FORMULA_NAME NeoElection-COL-2-LTLCardinality-12
FORMULA_NAME NeoElection-COL-2-LTLCardinality-13
FORMULA_NAME NeoElection-COL-2-LTLCardinality-14
FORMULA_NAME NeoElection-COL-2-LTLCardinality-15
FORMULA_NAME NeoElection-COL-2-LTLCardinality-2
FORMULA_NAME NeoElection-COL-2-LTLCardinality-3
FORMULA_NAME NeoElection-COL-2-LTLCardinality-4
FORMULA_NAME NeoElection-COL-2-LTLCardinality-5
FORMULA_NAME NeoElection-COL-2-LTLCardinality-6
FORMULA_NAME NeoElection-COL-2-LTLCardinality-7
FORMULA_NAME NeoElection-COL-2-LTLCardinality-8
FORMULA_NAME NeoElection-COL-2-LTLCardinality-9
=== Now, execution of the tool begins
BK_START 1496167330541
Built models for command :
CommandLine [args=[/home/mcc/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201704071458/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/BenchKit/INPUTS/S_NeoElection-COL-2/LTLCardinality.gal, -t, CGAL, -LTL, /home/mcc/BenchKit/INPUTS/S_NeoElection-COL-2/LTLCardinality.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/BenchKit/INPUTS/S_NeoElection-COL-2]
gal2c command run as :
/home/mcc/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/gal2c /home/mcc/BenchKit/INPUTS/S_NeoElection-COL-2/LTLCardinality.gal
FORMULA NeoElection-COL-2-LTLCardinality-1 FALSE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION
FORMULA NeoElection-COL-2-LTLCardinality-6 FALSE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION
FORMULA NeoElection-COL-2-LTLCardinality-11 FALSE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION
FORMULA NeoElection-COL-2-LTLCardinality-15 FALSE TECHNIQUES SEQUENTIAL_PROCESSING EXPLICIT STATE_COMPRESSION
BK_STOP 1496167338827
--------------------
content from stderr:
+ 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/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/BenchKit/INPUTS/S_NeoElection-COL-2 -examination LTLCardinality -z3path /home/mcc/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/z3/bin/z3 -yices2path /home/mcc/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/yices/bin/yices -onlyGal
OpenJDK 64-Bit Server VM warning: ignoring option MaxPermSize=512m; support was removed in 8.0
May 30, 2017 6:02:12 PM fr.lip6.move.gal.application.Application transformPNML
INFO: Parsing pnml file : /home/mcc/BenchKit/INPUTS/S_NeoElection-COL-2/model.pnml
May 30, 2017 6:02:12 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
May 30, 2017 6:02:14 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1852 ms
May 30, 2017 6:02:14 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 18 places.
May 30, 2017 6:02:14 PM 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 30, 2017 6:02:14 PM 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 30, 2017 6:02:14 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 22 transitions.
May 30, 2017 6:02:14 PM 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 30, 2017 6:02:14 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/BenchKit/INPUTS/S_NeoElection-COL-2/model.pnml.img.gal : 27 ms
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $pm
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $pm
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $p
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $p
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $pm
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $p
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $pm
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $i
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $r
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $i
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 30, 2017 6:02:14 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $r
May 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 105 instantiations of transitions. Total transitions/syncs built is 366
May 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.Instantiator normalizeCalls
INFO: Calls to non existing labels (possibly due to false guards) leads to 6 abort statements.
May 30, 2017 6:02:15 PM 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 30, 2017 6:02:15 PM 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 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: 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],dead[0],dead[1],dead[2],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],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],
May 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 450 expressions due to constant valuations.
May 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.Simplifier simplifyFalseTransitions
INFO: Removed 32 false transitions.
May 30, 2017 6:02:15 PM 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 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: 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],P_negotiation[0],P_negotiation[3],P_negotiation[6],P_negotiation[9],P_negotiation[12],P_negotiation[18],P_negotiation[24],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],
May 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 14 expressions due to constant valuations.
May 30, 2017 6:02:15 PM 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 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: 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],P_negotiation[0],P_negotiation[3],P_negotiation[6],P_negotiation[9],P_negotiation[12],P_negotiation[18],P_negotiation[24],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],
May 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 3 uncalled transitions from type NeoElection_COL_2
May 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 669 ms
May 30, 2017 6:02:15 PM fr.lip6.move.gal.application.Application applyOrder
INFO: Applying decomposition
May 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 30, 2017 6:02:15 PM 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 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: 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],P_negotiation[0],P_negotiation[3],P_negotiation[6],P_negotiation[9],P_negotiation[12],P_negotiation[18],P_negotiation[24],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],
May 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 107 ms
May 30, 2017 6:02:15 PM 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 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_electedPrimary to variables to allow decomposition.
May 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_electedSecondary to variables to allow decomposition.
May 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_electionInit to variables to allow decomposition.
May 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_masterState to variables to allow decomposition.
May 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_negotiation to variables to allow decomposition.
May 30, 2017 6:02:15 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_network to variables to allow decomposition.
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_poll__handlingMessage to variables to allow decomposition.
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_poll__networl to variables to allow decomposition.
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_poll__pollEnd to variables to allow decomposition.
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_poll__waitingMessage to variables to allow decomposition.
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_polling to variables to allow decomposition.
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_sendAnnPs__broadcasting to variables to allow decomposition.
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_stage to variables to allow decomposition.
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_startNeg__broadcasting to variables to allow decomposition.
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_0,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_0
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_1,P_poll__networl_1,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_1, P_poll__networl_1
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_2,P_poll__networl_2,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_2, P_poll__networl_2
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_3,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_3
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_6,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_6
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_7,P_network_7,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_7, P_network_7
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_8,P_network_8,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_8, P_network_8
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_9,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_9
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_10,P_network_10,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_10, P_network_10
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_11,P_poll__networl_11,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_11, P_poll__networl_11
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_12,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_12
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_13,P_poll__networl_13,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_13, P_poll__networl_13
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_14,P_poll__networl_14,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_14, P_poll__networl_14
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_15,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_15
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_16,P_poll__networl_16,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_16, P_poll__networl_16
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_17,P_network_17,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_17, P_network_17
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_18,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_18
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_19,P_poll__networl_19,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_19, P_poll__networl_19
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_20,P_poll__networl_20,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_20, P_poll__networl_20
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_21,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_21
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_24,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_24
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_25,P_network_25,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_25, P_network_25
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_26,P_poll__networl_26,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_26, P_poll__networl_26
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_27,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_27
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_28,P_network_28,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_28, P_network_28
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_29,P_poll__networl_29,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_29, P_poll__networl_29
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_30,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_30
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_31,P_poll__networl_31,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_31, P_poll__networl_31
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_32,P_poll__networl_32,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_32, P_poll__networl_32
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_33,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_33
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_34,P_network_34,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_34, P_network_34
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_35,P_network_35,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_35, P_network_35
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_36,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_36
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_37,P_poll__networl_37,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_37, P_poll__networl_37
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_38,P_poll__networl_38,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_38, P_poll__networl_38
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_39,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_39
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_42,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_42
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_43,P_network_43,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_43, P_network_43
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_44,P_network_44,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_44, P_network_44
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_45,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_45
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_46,P_network_46,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_46, P_network_46
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_47,P_network_47,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_47, P_network_47
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_48,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_48
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_49,P_poll__networl_49,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_49, P_poll__networl_49
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_50,P_poll__networl_50,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_50, P_poll__networl_50
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_51,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_51
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_52,P_network_52,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_52, P_network_52
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_53,P_network_53,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_53, P_network_53
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_54,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_54
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_55,P_poll__networl_55,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_55, P_poll__networl_55
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_56,P_network_56,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_56, P_network_56
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_57,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_57
May 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM 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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_60,
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_60
May 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:16 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_61,P_poll__networl_61,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_61, P_poll__networl_61
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_62,P_network_62,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_62, P_network_62
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_63,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_63
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_64,P_network_64,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_64, P_network_64
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_65,P_poll__networl_65,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_65, P_poll__networl_65
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_66,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_66
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_67,P_poll__networl_67,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_67, P_poll__networl_67
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_68,P_poll__networl_68,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_68, P_poll__networl_68
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_69,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_69
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_70,P_poll__networl_70,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_70, P_poll__networl_70
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_71,P_network_71,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_71, P_network_71
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_72,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_72
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_73,P_poll__networl_73,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_73, P_poll__networl_73
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_74,P_poll__networl_74,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_74, P_poll__networl_74
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_75,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_75
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_78,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_78
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_79,P_poll__networl_79,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_79, P_poll__networl_79
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_80,P_network_80,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_80, P_network_80
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_81,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_81
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_82,P_network_82,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_82, P_network_82
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_83,P_poll__networl_83,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_83, P_poll__networl_83
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_84,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_84
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_85,P_poll__networl_85,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_85, P_poll__networl_85
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_86,P_network_86,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_86, P_network_86
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_87,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_87
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_88,P_poll__networl_88,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_88, P_poll__networl_88
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_89,P_poll__networl_89,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_89, P_poll__networl_89
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_90,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_90
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_91,P_network_91,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_91, P_network_91
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_92,P_poll__networl_92,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_92, P_poll__networl_92
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_93,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_93
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_96,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_96
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_97,P_poll__networl_97,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_97, P_poll__networl_97
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_98,P_poll__networl_98,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_98, P_poll__networl_98
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_99,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_99
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_100,P_network_100,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_100, P_network_100
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_101,P_poll__networl_101,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_101, P_poll__networl_101
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_102,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_102
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_103,P_poll__networl_103,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_103, P_poll__networl_103
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_104,P_network_104,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_104, P_network_104
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_105,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_105
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_106,P_poll__networl_106,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_106, P_poll__networl_106
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_107,P_network_107,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_107, P_network_107
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_108,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_108
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_109,P_poll__networl_109,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_109, P_poll__networl_109
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_110,P_network_110,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_110, P_network_110
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_111,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_111
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_114,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_114
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_115,P_poll__networl_115,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_115, P_poll__networl_115
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_116,P_poll__networl_116,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_116, P_poll__networl_116
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_117,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_117
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_118,P_poll__networl_118,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_118, P_poll__networl_118
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_119,P_poll__networl_119,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_119, P_poll__networl_119
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_120,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_120
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_121,P_network_121,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_121, P_network_121
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_122,P_network_122,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_122, P_network_122
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_123,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_123
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_124,P_network_124,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_124, P_network_124
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_125,P_network_125,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_125, P_network_125
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_126,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_126
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_127,P_poll__networl_127,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_127, P_poll__networl_127
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_128,P_poll__networl_128,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_128, P_poll__networl_128
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_129,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_129
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_132,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_132
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_133,P_network_133,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_133, P_network_133
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_134,P_poll__networl_134,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_134, P_poll__networl_134
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_135,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_135
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_136,P_network_136,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_136, P_network_136
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_137,P_network_137,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_137, P_network_137
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_138,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_138
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_139,P_poll__networl_139,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_139, P_poll__networl_139
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_140,P_poll__networl_140,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_140, P_poll__networl_140
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_141,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_141
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_142,P_poll__networl_142,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_142, P_poll__networl_142
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_143,P_poll__networl_143,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_143, P_poll__networl_143
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_144,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_144
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_145,P_network_145,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_145, P_network_145
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_146,P_network_146,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_146, P_network_146
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_147,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_147
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_150,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_150
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_151,P_network_151,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_151, P_network_151
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_152,P_network_152,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_152, P_network_152
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_153,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_153
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_154,P_poll__networl_154,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_154, P_poll__networl_154
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_155,P_poll__networl_155,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_155, P_poll__networl_155
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_156,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_156
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_157,P_network_157,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_157, P_network_157
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_158,P_poll__networl_158,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_158, P_poll__networl_158
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_159,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_159
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_160,P_poll__networl_160,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_160, P_poll__networl_160
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_161,P_network_161,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_161, P_network_161
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_0,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_0
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_3,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_3
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_6,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_6
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_9,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_9
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_12,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_12
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_18,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_18
May 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM 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 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_24,
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_24
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Simplifier simplify
INFO: [fr.lip6.move.gal.impl.GALTypeDeclarationImpl@68183f19 (name: TM_x_M_x_MT_x_M38), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1e954b94 (name: TM_x_POS_x_M4), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5816fd13 (name: TM_x_M_x_MT_x_M1), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5d233d7 (name: TM_x_M_x_MT_x_M136), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@71103416 (name: TM_x_M_x_MT_x_M34), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@ab118b8 (name: TM_x_M_x_MT_x_M79), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@61cbd0c0 (name: TM_x_M_x_MT_x_M53), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@130f8e03 (name: TM_x_M_x_MT_x_M139), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7c63146c (name: TM_x_M_x_MT_x_M103), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2583418c (name: TM_x_POS_x_M7), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5c176a0f (name: TM_x_POS_x_M14), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3df3e1e9 (name: TM_x_M_x_MT_x_M134), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@b69be74 (name: TM_x_M_x_MT_x_M122), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5d1acb3a (name: TM_x_M_x_MT_x_M85), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@398f97ae (name: TM_x_POS_x_M6), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6a8b47ac (name: TM_x_M_x_MT_x_M157), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@34883fa2 (name: TM_x_M_x_MT_x_M26), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@503a3c11 (name: TM_x_M_x_MT_x_M110), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4295b0b8 (name: TM_x_M_x_MT_x_M10), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@486bd746 (name: TM_x_M_x_MT_x_M146), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5047fc77 (name: TM_x_M_x_MT_x_M92), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@442bb11b (name: TM_x_POS_x_M17), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7e654c (name: TM_x_M_x_MT_x_M31), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@f777d41 (name: TM_x_M_x_MT_x_M62), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@21d131e7 (name: TM_x_M_x_MT_x_M73), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@11ae5497 (name: TM_x_M_x_MT_x_M49), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1fe275d8 (name: TM_x_M_x_MT_x_M2), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4c32d208 (name: TM_x_M_x_MT_x_M98), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3005133e (name: TM_x_M_x_MT_x_M13), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@77e467d9 (name: TM_x_M_x_MT_x_M160), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4ab0ebf0 (name: TM_x_M_x_MT_x_M86), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4b7feb38 (name: TM_x_M_x_MT_x_M17), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@11581810 (name: TM_x_M_x_MT_x_M55), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@67eb43a0 (name: TM_x_M_x_MT_x_M89), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@f083345 (name: TM_x_M_x_MT_x_M67), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1c63d92e (name: TM_x_M_x_MT_x_M161), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@65354578 (name: TM_x_POS_x_M13), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4c12e25d (name: TM_x_M_x_MT_x_M109), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6afec4b1 (name: TM_x_M_x_NEGSTEP24), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@ab8b1ef (name: TM_x_M_x_MT_x_M11), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1822f675 (name: TM_x_M_x_MT_x_M25), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1c322b6a (name: TM_x_M_x_NEGSTEP0), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2cfde5a4 (name: TM_x_M_x_MT_x_M28), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@12026d62 (name: TM_x_M_x_MT_x_M152), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@592aad4c (name: TM_x_M_x_MT_x_M70), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@64cde9a5 (name: TM_x_M_x_MT_x_M127), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6804a46a (name: TM_x_M_x_MT_x_M133), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6acec4a1 (name: TM_x_M_x_MT_x_M101), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@67b920c9 (name: TM_x_POS_x_M5), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1d21fd5a (name: TM_x_M_x_MT_x_M43), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@206d4413 (name: TM_x_M_x_MT_x_M8), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@571f6b61 (name: TM_x_M_x_NEGSTEP9), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6dbf203c (name: TM_x_M_x_MT_x_M145), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@eba003e (name: TM_x_M_x_MT_x_M106), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@49f8b57d (name: TM_x_M_x_MT_x_M56), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7a5151d7 (name: TM_x_M_x_MT_x_M142), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5b2235a5 (name: TM_x_M_x_MT_x_M104), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@74aae322 (name: TM_x_M_x_MT_x_M64), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3faadc24 (name: TM_x_M_x_MT_x_M100), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@18bc2d32 (name: TM_x_POS_x_M1), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@278e721e (name: TM_x_POS_x_M12), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7a8d001b (name: TM_x_M_x_NEGSTEP3), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2fc2305a (name: TM_x_M_x_NEGSTEP6), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2fe26f79 (name: TM_x_M_x_MT_x_M80), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5319f982 (name: TM_x_M_x_MT_x_M82), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7085261e (name: TM_x_M_x_MT_x_M151), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5efb3259 (name: TM_x_M_x_MT_x_M128), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3cfd9459 (name: TM_x_POS_x_M0), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@38328799 (name: TM_x_M_x_MT_x_M61), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6e9e4332 (name: TM_x_M_x_MT_x_M97), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@720f0fa2 (name: TM_x_M_x_MT_x_M32), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7923cb8d (name: TM_x_M_x_MT_x_M37), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@339b1c34 (name: TM_x_M_x_MT_x_M29), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4528c187 (name: TM_x_POS_x_M11), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3f13c9a2 (name: TM_x_M_x_MT_x_M143), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3f6fa2dd (name: TM_x_POS_x_M9), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6a4859fc (name: TM_x_M_x_MT_x_M20), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3e3a7482 (name: TM_x_M_x_MT_x_M52), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@42985121 (name: TM_x_M_x_MT_x_M118), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5c51a7eb (name: TM_x_M_x_MT_x_M74), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@659b0c20 (name: TM_x_M_x_MT_x_M107), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@489f5b24 (name: TM_x_M_x_MT_x_M116), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@11fe6743 (name: TM_x_POS_x_M8), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7252e3ec (name: TM_x_M_x_MT_x_M121), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4c66b3d9 (name: TM_x_M_x_MT_x_M7), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@19a7e618 (name: TM_x_M_x_MT_x_M14), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5f30bcf3 (name: TM_x_POS_x_M15), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4ed74b13 (name: TM_x_M_x_MT_x_M83), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@24945f50 (name: TM_x_M_x_MT_x_M137), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3044dd80 (name: TM_x_M_x_MT_x_M155), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@665e0a9b (name: TM_x_M_x_MT_x_M158), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@65653da2 (name: TM_x_M_x_MT_x_M140), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@b8da646 (name: TM_x_M_x_MT_x_M115), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@610576c8 (name: TM_x_M_x_MT_x_M65), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@497f0cb2 (name: TM_x_M_x_MT_x_M119), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@c9f1951 (name: TM_x_M_x_MT_x_M19), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@72d9bd09 (name: TM_x_M_x_MT_x_M47), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@391720c3 (name: TM_x_M_x_MT_x_M68), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@fb74661 (name: TM_x_M_x_MT_x_M16), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4e9a4142 (name: TM_x_POS_x_M3), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@56d5a50f (name: TM_x_M_x_MT_x_M46), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@45dac901 (name: TM_x_M_x_NEGSTEP12), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@728ad254 (name: TM_x_M_x_MT_x_M44), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@105fa381 (name: TM_x_M_x_MT_x_M88), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1b2092fe (name: TM_x_M_x_MT_x_M91), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4cb25b53 (name: TM_x_POS_x_M2), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7a986079 (name: TM_x_POS_x_M10), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@503e1cd9 (name: TM_x_M_x_MT_x_M35), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6409a2e4 (name: TM_x_M_x_MT_x_M124), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@54e24511 (name: TM_x_M_x_MT_x_M125), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@b7a2b89 (name: TM_x_POS_x_M16), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6f6a3391 (name: TM_x_M_x_NEGSTEP18), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@ed5cf29 (name: TM_x_M_x_MT_x_M50), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@735beda7 (name: TM_x_M_x_MT_x_M71), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@762078dc (name: TM_x_M_x_MT_x_M154)]
May 30, 2017 6:02:17 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 867 redundant transitions.
May 30, 2017 6:02:17 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/BenchKit/INPUTS/S_NeoElection-COL-2/LTLCardinality.gal : 8 ms
May 30, 2017 6:02:17 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/BenchKit/INPUTS/S_NeoElection-COL-2/LTLCardinality.ltl : 10 ms
Bus error
Segmentation fault
Bus error
Segmentation fault
Bus error
Bus error
Segmentation fault
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="LTLCardinality"
export BK_TOOL="spot"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/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-3254"
echo " Executing tool spot"
echo " Input is S_NeoElection-COL-2, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r116-blw7-149441645100230"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.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 ;