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

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

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
399.390 9078.00 23967.00 260.10 T normal

Execution Chart

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

Trace from the execution

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


--------------------
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-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1463934205228


its-ctl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201605191313/bin/its-ctl-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/ReachabilityDeadlock.gal -t CGAL -ctl DEADLOCK
No direction supplied, using forward translation only.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
reachable,241,0.187665,6568,414,23,1523,951,580,889,36,866,0


Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
dead,1,0.356419,11052,134,12,4994,951,2827,4145,123,866,99365

System contains 1 deadlocks (shown below if less than --print-limit option) !
FORMULA NeoElection-COL-2-ReachabilityDeadlock-0 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
[ M_x_M_x_MT_x_M147={[ ]
} M_x_M_x_MT_x_M144={[ ]
} M_x_M_x_MT_x_M150={[ ]
} M_x_M_x_MT_x_M149={[ ]
} M_x_M_x_MT_x_M159={[ ]
} M_x_M_x_MT_x_M148={[ ]
} M_x_M_x_MT_x_M141={[ ]
} M_x_M_x_NEGSTEP20={[ ]
} M_x_M_x_NEGSTEP19={[ ]
} M_x_M_x_MT_x_M123={[ ]
} M_x_M_x_MT_x_M156={[ ]
} M_x_M_x_MT_x_M153={[ ]
} M_x_M_x_MT_x_M120={[ ]
} M_x_BOOL_x_M12={[ ]
} M_x_BOOL_x_M15={[ P_masterState_15=1 ]
} M_x_BOOL_x_M14={[ ]
} M_x_M_x_NEGSTEP25={[ ]
} M_x_BOOL_x_M13={[ ]
} M_x_BOOL_x_M16={[ ]
} M2={[ P_poll__handlingMessage_2=1 ]
} M_x_BOOL_x_M17={[ ]
} M_x_M_x_NEGSTEP26={[ P_negotiation_26=1 ]
} M_x_STAGE7={[ ]
} M_x_STAGE6={[ P_stage_6=1 ]
} M_x_M_x_MT_x_M96={[ ]
} M_x_STAGE8={[ ]
} M_x_M_x_NEGSTEP23={[ P_negotiation_23=1 ]
} M_x_M_x_MT_x_M135={[ ]
} M_x_M_x_MT_x_M138={[ ]
} M_x_M_x_MT_x_M131={[ ]
} M_x_M_x_MT_x_M130={[ ]
} M_x_M_x_NEGSTEP22={[ ]
} M_x_M_x_MT_x_M117={[ ]
} M_x_M_x_MT_x_M42={[ ]
} M_x_M_x_MT_x_M126={[ ]
} M_x_M_x_MT_x_M93={[ ]
} M_x_M_x_MT_x_M108={[ ]
} M_x_POS5={[ ]
} M_x_POS4={[ ]
} M_x_M_x_MT_x_M113={[ ]
} M_x_M_x_NEGSTEP21={[ ]
} M_x_M_x_MT_x_M112={[ ]
} M_x_M_x_MT_x_M129={[ ]
} M_x_M_x_MT_x_M39={[ ]
} M_x_POS3={[ ]
} M_x_POS2={[ ]
} M_x_M_x_NEGSTEP15={[ ]
} M_x_M_x_MT_x_M90={[ ]
} M_x_M_x_MT_x_M95={[ ]
} M_x_M_x_MT_x_M94={[ ]
} M_x_M_x_MT_x_M132={[ ]
} M_x_M_x_MT_x_M105={[ ]
} M_x_M_x_MT_x_M99={[ ]
} M_x_M_x_MT_x_M102={[ ]
} M_x_M_x_MT_x_M75={[ ]
} M_x_M_x_MT_x_M72={[ ]
} M_x_M_x_MT_x_M87={[ ]
} M_x_M_x_MT_x_M77={[ ]
} M_x_M_x_MT_x_M78={[ ]
} M_x_M_x_MT_x_M76={[ ]
} M_x_M_x_MT_x_M69={[ ]
} M_x_BOOL_x_M11={[ ]
} M_x_BOOL_x_M8={[ ]
} M_x_BOOL_x_M9={[ ]
} M1={[ P_poll__handlingMessage_1=1 ]
} M_x_BOOL_x_M10={[ ]
} M_x_BOOL_x_M7={[ ]
} M_x_M_x_MT_x_M84={[ ]
} M_x_BOOL_x_M6={[ P_masterState_6=1 ]
} M_x_M_x_MT_x_M66={[ ]
} M_x_M_x_NEGSTEP16={[ ]
} M_x_M_x_MT_x_M81={[ ]
} M_x_M_x_NEGSTEP10={[ ]
} M_x_M_x_NEGSTEP11={[ ]
} M_x_M_x_NEGSTEP13={[ ]
} M_x_M_x_NEGSTEP17={[ P_negotiation_17=1 ]
} M_x_M_x_NEGSTEP14={[ P_negotiation_14=1 ]
} M_x_STAGE4={[ ]
} M_x_M_x_MT_x_M24={[ ]
} M_x_STAGE3={[ P_stage_3=1 ]
} M_x_STAGE5={[ ]
} M_x_M_x_MT_x_M54={[ ]
} M_x_M_x_MT_x_M59={[ ]
} M_x_M_x_MT_x_M63={[ ]
} M_x_M_x_MT_x_M58={[ ]
} M_x_M_x_MT_x_M111={[ ]
} M_x_M_x_MT_x_M21={[ ]
} M_x_M_x_MT_x_M41={[ ]
} M_x_M_x_MT_x_M40={[ ]
} M_x_M_x_MT_x_M36={[ ]
} M_x_M_x_MT_x_M57={[ ]
} M_x_M_x_MT_x_M114={[ ]
} M_x_M_x_MT_x_M23={[ ]
} M_x_M_x_MT_x_M22={[ ]
} M_x_M_x_MT_x_M18={[ ]
} M_x_M_x_MT_x_M45={[ ]
} M_x_M_x_MT_x_M60={[ ]
} M_x_M_x_MT_x_M27={[ ]
} M_x_M_x_MT_x_M51={[ ]
} M_x_M_x_MT_x_M33={[ ]
} M_x_BOOL_x_M5={[ ]
} M_x_M_x_MT_x_M15={[ ]
} M_x_BOOL_x_M2={[ ]
} M_x_BOOL_x_M4={[ ]
} M0={[ ]
} M_x_M_x_MT_x_M48={[ ]
} M_x_BOOL_x_M3={[ ]
} M_x_BOOL_x_M1={[ ]
} M_x_M_x_MT_x_M30={[ ]
} M_x_BOOL_x_M0={[ ]
} M_x_M_x_MT_x_M12={[ ]
} M_x_M_x_MT_x_M5={[ ]
} M_x_M_x_MT_x_M4={[ ]
} M_x_M_x_MT_x_M6={[ ]
} M_x_M_x_MT_x_M0={[ ]
} M_x_M_x_NEGSTEP7={[ ]
} M_x_M_x_NEGSTEP4={[ ]
} M_x_M_x_NEGSTEP2={[ ]
} M_x_M_x_NEGSTEP1={[ ]
} M_x_M_x_MT_x_M3={[ ]
} M_x_M_x_NEGSTEP8={[ ]
} M_x_M_x_NEGSTEP5={[ ]
} M_x_POS1={[ ]
} M_x_M_x_MT_x_M9={[ ]
} M_x_POS0={[ ]
} M_x_STAGE1={[ ]
} M_x_STAGE0={[ ]
} M_x_STAGE2={[ ]
} ]

BK_STOP 1463934214306

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ ReachabilityDeadlock = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution ReachabilityDeadlock -its
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -XX:MaxPermSize=512m -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.100.v20150511-1540.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination ReachabilityDeadlock -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=512m; support was removed in 8.0
May 22, 2016 4:23:29 PM fr.lip6.move.gal.application.Application transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 22, 2016 4:23:29 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 22, 2016 4:23:30 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1572 ms
May 22, 2016 4:23:30 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 18 places.
May 22, 2016 4:23:30 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 22, 2016 4:23:30 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 22, 2016 4:23:30 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 22 transitions.
May 22, 2016 4:23:30 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 22, 2016 4:23:30 PM fr.lip6.move.gal.logic.togal.ToGalTransformer toGal
WARNING: Unknown predicate type in boolean expression fr.lip6.move.gal.logic.impl.DeadlockImpl
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $pm
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $pm
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $p
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $p
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $pm
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $p
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $pm
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $i
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $r
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $i
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $r
May 22, 2016 4:23:30 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 26 instantiations of transitions. Total transitions/syncs built is 366
May 22, 2016 4:23:31 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 22, 2016 4:23:31 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 22, 2016 4:23:31 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 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_crashed[0],P_crashed[1],P_crashed[2],P_electionFailed[0],P_electionFailed[1],P_electionFailed[2],P_network[1],P_network[2],P_network[7],P_network[8],P_network[10],P_network[11],P_network[13],P_network[14],P_network[16],P_network[17],P_network[19],P_network[20],P_network[25],P_network[26],P_network[28],P_network[29],P_network[31],P_network[32],P_network[34],P_network[35],P_network[37],P_network[38],P_network[43],P_network[44],P_network[46],P_network[47],P_network[49],P_network[50],P_network[52],P_network[53],P_network[55],P_network[56],P_network[61],P_network[62],P_network[64],P_network[65],P_network[67],P_network[68],P_network[70],P_network[71],P_network[73],P_network[74],P_network[79],P_network[80],P_network[82],P_network[83],P_network[85],P_network[86],P_network[88],P_network[89],P_network[91],P_network[92],P_network[97],P_network[98],P_network[100],P_network[101],P_network[103],P_network[104],P_network[106],P_network[107],P_network[109],P_network[110],P_network[115],P_network[116],P_network[118],P_network[119],P_network[121],P_network[122],P_network[124],P_network[125],P_network[127],P_network[128],P_network[133],P_network[134],P_network[136],P_network[137],P_network[139],P_network[140],P_network[142],P_network[143],P_network[145],P_network[146],P_network[151],P_network[152],P_network[154],P_network[155],P_network[157],P_network[158],P_network[160],P_network[161],dead[0],dead[1],dead[2],P_masterList[0],P_masterList[1],P_masterList[2],P_masterList[3],P_masterList[4],P_masterList[5],P_masterList[6],P_masterList[7],P_masterList[8],P_masterList[9],P_masterList[10],P_masterList[11],P_masterList[12],P_masterList[13],P_masterList[14],P_masterList[15],P_masterList[16],P_masterList[17],P_poll__networl[0],P_poll__networl[1],P_poll__networl[2],P_poll__networl[3],P_poll__networl[6],P_poll__networl[7],P_poll__networl[8],P_poll__networl[9],P_poll__networl[10],P_poll__networl[11],P_poll__networl[12],P_poll__networl[13],P_poll__networl[14],P_poll__networl[15],P_poll__networl[16],P_poll__networl[17],P_poll__networl[18],P_poll__networl[19],P_poll__networl[20],P_poll__networl[21],P_poll__networl[24],P_poll__networl[25],P_poll__networl[26],P_poll__networl[27],P_poll__networl[28],P_poll__networl[29],P_poll__networl[30],P_poll__networl[31],P_poll__networl[32],P_poll__networl[33],P_poll__networl[34],P_poll__networl[35],P_poll__networl[36],P_poll__networl[37],P_poll__networl[38],P_poll__networl[39],P_poll__networl[42],P_poll__networl[43],P_poll__networl[44],P_poll__networl[45],P_poll__networl[46],P_poll__networl[47],P_poll__networl[48],P_poll__networl[49],P_poll__networl[50],P_poll__networl[51],P_poll__networl[52],P_poll__networl[53],P_poll__networl[54],P_poll__networl[55],P_poll__networl[56],P_poll__networl[57],P_poll__networl[60],P_poll__networl[61],P_poll__networl[62],P_poll__networl[63],P_poll__networl[64],P_poll__networl[65],P_poll__networl[66],P_poll__networl[67],P_poll__networl[68],P_poll__networl[69],P_poll__networl[70],P_poll__networl[71],P_poll__networl[72],P_poll__networl[73],P_poll__networl[74],P_poll__networl[75],P_poll__networl[78],P_poll__networl[79],P_poll__networl[80],P_poll__networl[81],P_poll__networl[82],P_poll__networl[83],P_poll__networl[84],P_poll__networl[85],P_poll__networl[86],P_poll__networl[87],P_poll__networl[88],P_poll__networl[89],P_poll__networl[90],P_poll__networl[91],P_poll__networl[92],P_poll__networl[93],P_poll__networl[96],P_poll__networl[97],P_poll__networl[98],P_poll__networl[99],P_poll__networl[100],P_poll__networl[101],P_poll__networl[102],P_poll__networl[103],P_poll__networl[104],P_poll__networl[105],P_poll__networl[106],P_poll__networl[107],P_poll__networl[108],P_poll__networl[109],P_poll__networl[110],P_poll__networl[111],P_poll__networl[114],P_poll__networl[115],P_poll__networl[116],P_poll__networl[117],P_poll__networl[118],P_poll__networl[119],P_poll__networl[120],P_poll__networl[121],P_poll__networl[122],P_poll__networl[123],P_poll__networl[124],P_poll__networl[125],P_poll__networl[126],P_poll__networl[127],P_poll__networl[128],P_poll__networl[129],P_poll__networl[132],P_poll__networl[133],P_poll__networl[134],P_poll__networl[135],P_poll__networl[136],P_poll__networl[137],P_poll__networl[138],P_poll__networl[139],P_poll__networl[140],P_poll__networl[141],P_poll__networl[142],P_poll__networl[143],P_poll__networl[144],P_poll__networl[145],P_poll__networl[146],P_poll__networl[147],P_poll__networl[150],P_poll__networl[151],P_poll__networl[152],P_poll__networl[153],P_poll__networl[154],P_poll__networl[155],P_poll__networl[156],P_poll__networl[157],P_poll__networl[158],P_poll__networl[159],P_poll__networl[160],P_poll__networl[161],
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 36 expressions due to constant valuations.
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.Simplifier simplifyFalseTransitions
INFO: Removed 32 false transitions.
May 22, 2016 4:23:31 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 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network[1],P_network[2],P_network[7],P_network[8],P_network[10],P_network[11],P_network[13],P_network[14],P_network[16],P_network[17],P_network[19],P_network[20],P_network[25],P_network[26],P_network[28],P_network[29],P_network[31],P_network[32],P_network[34],P_network[35],P_network[37],P_network[38],P_network[43],P_network[44],P_network[46],P_network[47],P_network[49],P_network[50],P_network[52],P_network[53],P_network[55],P_network[56],P_network[61],P_network[62],P_network[64],P_network[65],P_network[67],P_network[68],P_network[70],P_network[71],P_network[73],P_network[74],P_network[79],P_network[80],P_network[82],P_network[83],P_network[85],P_network[86],P_network[88],P_network[89],P_network[91],P_network[92],P_network[97],P_network[98],P_network[100],P_network[101],P_network[103],P_network[104],P_network[106],P_network[107],P_network[109],P_network[110],P_network[115],P_network[116],P_network[118],P_network[119],P_network[121],P_network[122],P_network[124],P_network[125],P_network[127],P_network[128],P_network[133],P_network[134],P_network[136],P_network[137],P_network[139],P_network[140],P_network[142],P_network[143],P_network[145],P_network[146],P_network[151],P_network[152],P_network[154],P_network[155],P_network[157],P_network[158],P_network[160],P_network[161],P_negotiation[0],P_negotiation[3],P_negotiation[6],P_negotiation[9],P_negotiation[12],P_negotiation[18],P_negotiation[24],P_poll__networl[0],P_poll__networl[1],P_poll__networl[2],P_poll__networl[3],P_poll__networl[6],P_poll__networl[7],P_poll__networl[8],P_poll__networl[9],P_poll__networl[10],P_poll__networl[11],P_poll__networl[12],P_poll__networl[13],P_poll__networl[14],P_poll__networl[15],P_poll__networl[16],P_poll__networl[17],P_poll__networl[18],P_poll__networl[19],P_poll__networl[20],P_poll__networl[21],P_poll__networl[24],P_poll__networl[25],P_poll__networl[26],P_poll__networl[27],P_poll__networl[28],P_poll__networl[29],P_poll__networl[30],P_poll__networl[31],P_poll__networl[32],P_poll__networl[33],P_poll__networl[34],P_poll__networl[35],P_poll__networl[36],P_poll__networl[37],P_poll__networl[38],P_poll__networl[39],P_poll__networl[42],P_poll__networl[43],P_poll__networl[44],P_poll__networl[45],P_poll__networl[46],P_poll__networl[47],P_poll__networl[48],P_poll__networl[49],P_poll__networl[50],P_poll__networl[51],P_poll__networl[52],P_poll__networl[53],P_poll__networl[54],P_poll__networl[55],P_poll__networl[56],P_poll__networl[57],P_poll__networl[60],P_poll__networl[61],P_poll__networl[62],P_poll__networl[63],P_poll__networl[64],P_poll__networl[65],P_poll__networl[66],P_poll__networl[67],P_poll__networl[68],P_poll__networl[69],P_poll__networl[70],P_poll__networl[71],P_poll__networl[72],P_poll__networl[73],P_poll__networl[74],P_poll__networl[75],P_poll__networl[78],P_poll__networl[79],P_poll__networl[80],P_poll__networl[81],P_poll__networl[82],P_poll__networl[83],P_poll__networl[84],P_poll__networl[85],P_poll__networl[86],P_poll__networl[87],P_poll__networl[88],P_poll__networl[89],P_poll__networl[90],P_poll__networl[91],P_poll__networl[92],P_poll__networl[93],P_poll__networl[96],P_poll__networl[97],P_poll__networl[98],P_poll__networl[99],P_poll__networl[100],P_poll__networl[101],P_poll__networl[102],P_poll__networl[103],P_poll__networl[104],P_poll__networl[105],P_poll__networl[106],P_poll__networl[107],P_poll__networl[108],P_poll__networl[109],P_poll__networl[110],P_poll__networl[111],P_poll__networl[114],P_poll__networl[115],P_poll__networl[116],P_poll__networl[117],P_poll__networl[118],P_poll__networl[119],P_poll__networl[120],P_poll__networl[121],P_poll__networl[122],P_poll__networl[123],P_poll__networl[124],P_poll__networl[125],P_poll__networl[126],P_poll__networl[127],P_poll__networl[128],P_poll__networl[129],P_poll__networl[132],P_poll__networl[133],P_poll__networl[134],P_poll__networl[135],P_poll__networl[136],P_poll__networl[137],P_poll__networl[138],P_poll__networl[139],P_poll__networl[140],P_poll__networl[141],P_poll__networl[142],P_poll__networl[143],P_poll__networl[144],P_poll__networl[145],P_poll__networl[146],P_poll__networl[147],P_poll__networl[150],P_poll__networl[151],P_poll__networl[152],P_poll__networl[153],P_poll__networl[154],P_poll__networl[155],P_poll__networl[156],P_poll__networl[157],P_poll__networl[158],P_poll__networl[159],P_poll__networl[160],P_poll__networl[161],
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NeoElection-COL-2-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
May 22, 2016 4:23:31 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 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network[1],P_network[2],P_network[7],P_network[8],P_network[10],P_network[11],P_network[13],P_network[14],P_network[16],P_network[17],P_network[19],P_network[20],P_network[25],P_network[26],P_network[28],P_network[29],P_network[31],P_network[32],P_network[34],P_network[35],P_network[37],P_network[38],P_network[43],P_network[44],P_network[46],P_network[47],P_network[49],P_network[50],P_network[52],P_network[53],P_network[55],P_network[56],P_network[61],P_network[62],P_network[64],P_network[65],P_network[67],P_network[68],P_network[70],P_network[71],P_network[73],P_network[74],P_network[79],P_network[80],P_network[82],P_network[83],P_network[85],P_network[86],P_network[88],P_network[89],P_network[91],P_network[92],P_network[97],P_network[98],P_network[100],P_network[101],P_network[103],P_network[104],P_network[106],P_network[107],P_network[109],P_network[110],P_network[115],P_network[116],P_network[118],P_network[119],P_network[121],P_network[122],P_network[124],P_network[125],P_network[127],P_network[128],P_network[133],P_network[134],P_network[136],P_network[137],P_network[139],P_network[140],P_network[142],P_network[143],P_network[145],P_network[146],P_network[151],P_network[152],P_network[154],P_network[155],P_network[157],P_network[158],P_network[160],P_network[161],P_negotiation[0],P_negotiation[3],P_negotiation[6],P_negotiation[9],P_negotiation[12],P_negotiation[18],P_negotiation[24],P_poll__networl[0],P_poll__networl[1],P_poll__networl[2],P_poll__networl[3],P_poll__networl[6],P_poll__networl[7],P_poll__networl[8],P_poll__networl[9],P_poll__networl[10],P_poll__networl[11],P_poll__networl[12],P_poll__networl[13],P_poll__networl[14],P_poll__networl[15],P_poll__networl[16],P_poll__networl[17],P_poll__networl[18],P_poll__networl[19],P_poll__networl[20],P_poll__networl[21],P_poll__networl[24],P_poll__networl[25],P_poll__networl[26],P_poll__networl[27],P_poll__networl[28],P_poll__networl[29],P_poll__networl[30],P_poll__networl[31],P_poll__networl[32],P_poll__networl[33],P_poll__networl[34],P_poll__networl[35],P_poll__networl[36],P_poll__networl[37],P_poll__networl[38],P_poll__networl[39],P_poll__networl[42],P_poll__networl[43],P_poll__networl[44],P_poll__networl[45],P_poll__networl[46],P_poll__networl[47],P_poll__networl[48],P_poll__networl[49],P_poll__networl[50],P_poll__networl[51],P_poll__networl[52],P_poll__networl[53],P_poll__networl[54],P_poll__networl[55],P_poll__networl[56],P_poll__networl[57],P_poll__networl[60],P_poll__networl[61],P_poll__networl[62],P_poll__networl[63],P_poll__networl[64],P_poll__networl[65],P_poll__networl[66],P_poll__networl[67],P_poll__networl[68],P_poll__networl[69],P_poll__networl[70],P_poll__networl[71],P_poll__networl[72],P_poll__networl[73],P_poll__networl[74],P_poll__networl[75],P_poll__networl[78],P_poll__networl[79],P_poll__networl[80],P_poll__networl[81],P_poll__networl[82],P_poll__networl[83],P_poll__networl[84],P_poll__networl[85],P_poll__networl[86],P_poll__networl[87],P_poll__networl[88],P_poll__networl[89],P_poll__networl[90],P_poll__networl[91],P_poll__networl[92],P_poll__networl[93],P_poll__networl[96],P_poll__networl[97],P_poll__networl[98],P_poll__networl[99],P_poll__networl[100],P_poll__networl[101],P_poll__networl[102],P_poll__networl[103],P_poll__networl[104],P_poll__networl[105],P_poll__networl[106],P_poll__networl[107],P_poll__networl[108],P_poll__networl[109],P_poll__networl[110],P_poll__networl[111],P_poll__networl[114],P_poll__networl[115],P_poll__networl[116],P_poll__networl[117],P_poll__networl[118],P_poll__networl[119],P_poll__networl[120],P_poll__networl[121],P_poll__networl[122],P_poll__networl[123],P_poll__networl[124],P_poll__networl[125],P_poll__networl[126],P_poll__networl[127],P_poll__networl[128],P_poll__networl[129],P_poll__networl[132],P_poll__networl[133],P_poll__networl[134],P_poll__networl[135],P_poll__networl[136],P_poll__networl[137],P_poll__networl[138],P_poll__networl[139],P_poll__networl[140],P_poll__networl[141],P_poll__networl[142],P_poll__networl[143],P_poll__networl[144],P_poll__networl[145],P_poll__networl[146],P_poll__networl[147],P_poll__networl[150],P_poll__networl[151],P_poll__networl[152],P_poll__networl[153],P_poll__networl[154],P_poll__networl[155],P_poll__networl[156],P_poll__networl[157],P_poll__networl[158],P_poll__networl[159],P_poll__networl[160],P_poll__networl[161],
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NeoElection-COL-2-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 3 uncalled transitions from type NeoElection_COL_2
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 756 ms
May 22, 2016 4:23:31 PM fr.lip6.move.gal.application.Application applyOrder
INFO: Applying decomposition
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 22, 2016 4:23:31 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 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network[1],P_network[2],P_network[7],P_network[8],P_network[10],P_network[11],P_network[13],P_network[14],P_network[16],P_network[17],P_network[19],P_network[20],P_network[25],P_network[26],P_network[28],P_network[29],P_network[31],P_network[32],P_network[34],P_network[35],P_network[37],P_network[38],P_network[43],P_network[44],P_network[46],P_network[47],P_network[49],P_network[50],P_network[52],P_network[53],P_network[55],P_network[56],P_network[61],P_network[62],P_network[64],P_network[65],P_network[67],P_network[68],P_network[70],P_network[71],P_network[73],P_network[74],P_network[79],P_network[80],P_network[82],P_network[83],P_network[85],P_network[86],P_network[88],P_network[89],P_network[91],P_network[92],P_network[97],P_network[98],P_network[100],P_network[101],P_network[103],P_network[104],P_network[106],P_network[107],P_network[109],P_network[110],P_network[115],P_network[116],P_network[118],P_network[119],P_network[121],P_network[122],P_network[124],P_network[125],P_network[127],P_network[128],P_network[133],P_network[134],P_network[136],P_network[137],P_network[139],P_network[140],P_network[142],P_network[143],P_network[145],P_network[146],P_network[151],P_network[152],P_network[154],P_network[155],P_network[157],P_network[158],P_network[160],P_network[161],P_negotiation[0],P_negotiation[3],P_negotiation[6],P_negotiation[9],P_negotiation[12],P_negotiation[18],P_negotiation[24],P_poll__networl[0],P_poll__networl[1],P_poll__networl[2],P_poll__networl[3],P_poll__networl[6],P_poll__networl[7],P_poll__networl[8],P_poll__networl[9],P_poll__networl[10],P_poll__networl[11],P_poll__networl[12],P_poll__networl[13],P_poll__networl[14],P_poll__networl[15],P_poll__networl[16],P_poll__networl[17],P_poll__networl[18],P_poll__networl[19],P_poll__networl[20],P_poll__networl[21],P_poll__networl[24],P_poll__networl[25],P_poll__networl[26],P_poll__networl[27],P_poll__networl[28],P_poll__networl[29],P_poll__networl[30],P_poll__networl[31],P_poll__networl[32],P_poll__networl[33],P_poll__networl[34],P_poll__networl[35],P_poll__networl[36],P_poll__networl[37],P_poll__networl[38],P_poll__networl[39],P_poll__networl[42],P_poll__networl[43],P_poll__networl[44],P_poll__networl[45],P_poll__networl[46],P_poll__networl[47],P_poll__networl[48],P_poll__networl[49],P_poll__networl[50],P_poll__networl[51],P_poll__networl[52],P_poll__networl[53],P_poll__networl[54],P_poll__networl[55],P_poll__networl[56],P_poll__networl[57],P_poll__networl[60],P_poll__networl[61],P_poll__networl[62],P_poll__networl[63],P_poll__networl[64],P_poll__networl[65],P_poll__networl[66],P_poll__networl[67],P_poll__networl[68],P_poll__networl[69],P_poll__networl[70],P_poll__networl[71],P_poll__networl[72],P_poll__networl[73],P_poll__networl[74],P_poll__networl[75],P_poll__networl[78],P_poll__networl[79],P_poll__networl[80],P_poll__networl[81],P_poll__networl[82],P_poll__networl[83],P_poll__networl[84],P_poll__networl[85],P_poll__networl[86],P_poll__networl[87],P_poll__networl[88],P_poll__networl[89],P_poll__networl[90],P_poll__networl[91],P_poll__networl[92],P_poll__networl[93],P_poll__networl[96],P_poll__networl[97],P_poll__networl[98],P_poll__networl[99],P_poll__networl[100],P_poll__networl[101],P_poll__networl[102],P_poll__networl[103],P_poll__networl[104],P_poll__networl[105],P_poll__networl[106],P_poll__networl[107],P_poll__networl[108],P_poll__networl[109],P_poll__networl[110],P_poll__networl[111],P_poll__networl[114],P_poll__networl[115],P_poll__networl[116],P_poll__networl[117],P_poll__networl[118],P_poll__networl[119],P_poll__networl[120],P_poll__networl[121],P_poll__networl[122],P_poll__networl[123],P_poll__networl[124],P_poll__networl[125],P_poll__networl[126],P_poll__networl[127],P_poll__networl[128],P_poll__networl[129],P_poll__networl[132],P_poll__networl[133],P_poll__networl[134],P_poll__networl[135],P_poll__networl[136],P_poll__networl[137],P_poll__networl[138],P_poll__networl[139],P_poll__networl[140],P_poll__networl[141],P_poll__networl[142],P_poll__networl[143],P_poll__networl[144],P_poll__networl[145],P_poll__networl[146],P_poll__networl[147],P_poll__networl[150],P_poll__networl[151],P_poll__networl[152],P_poll__networl[153],P_poll__networl[154],P_poll__networl[155],P_poll__networl[156],P_poll__networl[157],P_poll__networl[158],P_poll__networl[159],P_poll__networl[160],P_poll__networl[161],
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NeoElection-COL-2-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 131 ms
May 22, 2016 4:23:31 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 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_electedPrimary to variables to allow decomposition.
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_electedSecondary to variables to allow decomposition.
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_electionInit to variables to allow decomposition.
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_masterState to variables to allow decomposition.
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_negotiation to variables to allow decomposition.
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_network to variables to allow decomposition.
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_poll__handlingMessage to variables to allow decomposition.
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_poll__networl to variables to allow decomposition.
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_poll__pollEnd to variables to allow decomposition.
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_poll__waitingMessage to variables to allow decomposition.
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_polling to variables to allow decomposition.
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_sendAnnPs__broadcasting to variables to allow decomposition.
May 22, 2016 4:23:31 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_stage to variables to allow decomposition.
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_startNeg__broadcasting to variables to allow decomposition.
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_0,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_0
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_1,P_network_1,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_1, P_network_1
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_2,P_poll__networl_2,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_2, P_poll__networl_2
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_3,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_3
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_6,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_6
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_7,P_network_7,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_7, P_network_7
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_8,P_network_8,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_8, P_network_8
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_9,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_9
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_10,P_poll__networl_10,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_10, P_poll__networl_10
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_11,P_poll__networl_11,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_11, P_poll__networl_11
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_12,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_12
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_13,P_network_13,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_13, P_network_13
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_14,P_poll__networl_14,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_14, P_poll__networl_14
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_15,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_15
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_16,P_poll__networl_16,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_16, P_poll__networl_16
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_17,P_network_17,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_17, P_network_17
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_18,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_18
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_19,P_poll__networl_19,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_19, P_poll__networl_19
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_20,P_network_20,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_20, P_network_20
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_21,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_21
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_24,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_24
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_25,P_poll__networl_25,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_25, P_poll__networl_25
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_26,P_poll__networl_26,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_26, P_poll__networl_26
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_27,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_27
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_28,P_poll__networl_28,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_28, P_poll__networl_28
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_29,P_network_29,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_29, P_network_29
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_30,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_30
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_31,P_poll__networl_31,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_31, P_poll__networl_31
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_32,P_network_32,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_32, P_network_32
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_33,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_33
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_34,P_poll__networl_34,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_34, P_poll__networl_34
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_35,P_network_35,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_35, P_network_35
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_36,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_36
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_37,P_poll__networl_37,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_37, P_poll__networl_37
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_38,P_network_38,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_38, P_network_38
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_39,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_39
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_42,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_42
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_43,P_poll__networl_43,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_43, P_poll__networl_43
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_44,P_poll__networl_44,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_44, P_poll__networl_44
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_45,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_45
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_46,P_network_46,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_46, P_network_46
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_47,P_poll__networl_47,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_47, P_poll__networl_47
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_48,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_48
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_49,P_network_49,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_49, P_network_49
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_50,P_network_50,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_50, P_network_50
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_51,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_51
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_52,P_network_52,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_52, P_network_52
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_53,P_poll__networl_53,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_53, P_poll__networl_53
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_54,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_54
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_55,P_network_55,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_55, P_network_55
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_56,P_network_56,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_56, P_network_56
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_57,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_57
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_60,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_60
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_61,P_poll__networl_61,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_61, P_poll__networl_61
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_62,P_network_62,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_62, P_network_62
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_63,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_63
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_64,P_network_64,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_64, P_network_64
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_65,P_network_65,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_65, P_network_65
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_66,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_66
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_67,P_poll__networl_67,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_67, P_poll__networl_67
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_68,P_poll__networl_68,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_68, P_poll__networl_68
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_69,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_69
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_70,P_poll__networl_70,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_70, P_poll__networl_70
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_71,P_network_71,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_71, P_network_71
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_72,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_72
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_73,P_network_73,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_73, P_network_73
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_74,P_network_74,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_74, P_network_74
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_75,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_75
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_78,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_78
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_79,P_network_79,
May 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_79, P_network_79
May 22, 2016 4:23:32 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 22, 2016 4:23:32 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 22, 2016 4:23:32 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_80,P_network_80,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_80, P_network_80
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_81,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_81
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_82,P_poll__networl_82,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_82, P_poll__networl_82
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_83,P_network_83,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_83, P_network_83
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_84,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_84
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_85,P_network_85,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_85, P_network_85
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_86,P_network_86,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_86, P_network_86
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_87,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_87
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_88,P_network_88,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_88, P_network_88
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_89,P_poll__networl_89,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_89, P_poll__networl_89
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_90,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_90
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_91,P_network_91,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_91, P_network_91
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_92,P_poll__networl_92,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_92, P_poll__networl_92
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_93,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_93
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_96,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_96
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_97,P_poll__networl_97,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_97, P_poll__networl_97
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_98,P_network_98,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_98, P_network_98
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_99,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_99
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_100,P_poll__networl_100,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_100, P_poll__networl_100
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_101,P_network_101,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_101, P_network_101
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_102,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_102
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_103,P_network_103,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_103, P_network_103
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_104,P_poll__networl_104,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_104, P_poll__networl_104
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_105,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_105
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_106,P_network_106,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_106, P_network_106
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_107,P_poll__networl_107,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_107, P_poll__networl_107
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_108,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_108
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_109,P_poll__networl_109,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_109, P_poll__networl_109
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_110,P_poll__networl_110,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_110, P_poll__networl_110
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_111,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_111
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_114,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_114
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_115,P_network_115,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_115, P_network_115
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_116,P_network_116,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_116, P_network_116
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_117,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_117
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_118,P_network_118,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_118, P_network_118
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_119,P_network_119,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_119, P_network_119
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_120,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_120
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_121,P_network_121,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_121, P_network_121
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_122,P_poll__networl_122,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_122, P_poll__networl_122
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_123,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_123
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_124,P_poll__networl_124,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_124, P_poll__networl_124
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_125,P_poll__networl_125,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_125, P_poll__networl_125
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_126,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_126
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_127,P_poll__networl_127,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_127, P_poll__networl_127
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_128,P_poll__networl_128,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_128, P_poll__networl_128
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_129,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_129
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_132,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_132
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_133,P_poll__networl_133,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_133, P_poll__networl_133
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_134,P_poll__networl_134,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_134, P_poll__networl_134
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_135,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_135
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_136,P_poll__networl_136,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_136, P_poll__networl_136
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_137,P_network_137,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_137, P_network_137
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_138,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_138
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_139,P_network_139,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_139, P_network_139
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_140,P_network_140,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_140, P_network_140
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_141,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_141
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_142,P_poll__networl_142,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_142, P_poll__networl_142
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_143,P_poll__networl_143,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_143, P_poll__networl_143
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_144,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_144
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_145,P_poll__networl_145,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_145, P_poll__networl_145
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_146,P_poll__networl_146,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_146, P_poll__networl_146
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_147,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_147
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_150,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_150
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_151,P_network_151,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_151, P_network_151
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_152,P_network_152,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_152, P_network_152
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_153,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_153
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_154,P_poll__networl_154,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_154, P_poll__networl_154
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_155,P_poll__networl_155,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_155, P_poll__networl_155
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_156,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_156
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_157,P_poll__networl_157,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_157, P_poll__networl_157
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_158,P_network_158,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_158, P_network_158
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_159,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_159
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_160,P_network_160,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_160, P_network_160
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_161,P_network_161,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_161, P_network_161
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_0,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_0
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_3,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_3
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_6,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_6
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_9,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_9
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_12,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_12
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_18,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_18
May 22, 2016 4:23:33 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 22, 2016 4:23:33 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 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_24,
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_24
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Simplifier simplify
INFO: [fr.lip6.move.gal.impl.GALTypeDeclarationImpl@13b666b4 (name: TM_x_M_x_MT_x_M53), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5af850f1 (name: TM_x_M_x_MT_x_M17), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7b159d1b (name: TM_x_M_x_MT_x_M7), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@68a0a4ae (name: TM_x_M_x_MT_x_M43), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@34692767 (name: TM_x_M_x_NEGSTEP3), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@77d5c4c6 (name: TM_x_M_x_MT_x_M106), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1a48f55b (name: TM_x_M_x_MT_x_M109), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@502cd238 (name: TM_x_M_x_MT_x_M2), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@16fc3be9 (name: TM_x_POS_x_M14), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1b3fff29 (name: TM_x_POS_x_M12), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@74d6d5ca (name: TM_x_POS_x_M7), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@20961f8b (name: TM_x_M_x_MT_x_M68), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7307e418 (name: TM_x_M_x_MT_x_M11), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@286e2b71 (name: TM_x_POS_x_M10), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@71adea8d (name: TM_x_POS_x_M5), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@333ab718 (name: TM_x_M_x_MT_x_M64), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@647dcc5e (name: TM_x_M_x_MT_x_M16), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5166f042 (name: TM_x_M_x_MT_x_M142), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7be29ac4 (name: TM_x_M_x_MT_x_M14), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@9cdceeb (name: TM_x_M_x_MT_x_M26), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6724f10e (name: TM_x_M_x_MT_x_M139), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6f6d2847 (name: TM_x_M_x_MT_x_M158), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5303762f (name: TM_x_M_x_MT_x_M79), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5a637c4f (name: TM_x_M_x_MT_x_M140), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5d55eb7a (name: TM_x_M_x_MT_x_M92), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2c84d6c4 (name: TM_x_M_x_MT_x_M46), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3bcebb8f (name: TM_x_M_x_MT_x_M122), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@151ce559 (name: TM_x_M_x_MT_x_M32), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2114955c (name: TM_x_M_x_MT_x_M151), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@632d8166 (name: TM_x_M_x_MT_x_M31), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@67f07fa1 (name: TM_x_M_x_MT_x_M118), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@74239871 (name: TM_x_POS_x_M17), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@357f7e2d (name: TM_x_M_x_NEGSTEP12), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@34f636a5 (name: TM_x_M_x_MT_x_M91), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4e1fd34b (name: TM_x_M_x_MT_x_M20), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6859080d (name: TM_x_M_x_MT_x_M121), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@46b2e0e4 (name: TM_x_M_x_MT_x_M89), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7511e348 (name: TM_x_M_x_MT_x_M146), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4f90b4c9 (name: TM_x_POS_x_M13), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@ca72afb (name: TM_x_M_x_MT_x_M62), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7db644d5 (name: TM_x_POS_x_M1), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@61668c05 (name: TM_x_M_x_NEGSTEP9), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@566b1b0f (name: TM_x_M_x_MT_x_M67), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7152ee36 (name: TM_x_M_x_MT_x_M128), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1540b926 (name: TM_x_M_x_MT_x_M56), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@50fd7d94 (name: TM_x_M_x_MT_x_M37), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2627da4c (name: TM_x_M_x_MT_x_M85), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@59e6fb8a (name: TM_x_M_x_MT_x_M1), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7241872c (name: TM_x_M_x_MT_x_M73), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4928a347 (name: TM_x_M_x_MT_x_M82), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@efa6a81 (name: TM_x_M_x_MT_x_M29), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7080e8fc (name: TM_x_M_x_MT_x_M103), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@33b3e47 (name: TM_x_M_x_MT_x_M154), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5a59f3d9 (name: TM_x_M_x_MT_x_M25), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4644b1c6 (name: TM_x_M_x_MT_x_M52), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@56b9a73c (name: TM_x_M_x_NEGSTEP6), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3094111c (name: TM_x_M_x_MT_x_M74), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7f9f3516 (name: TM_x_M_x_MT_x_M86), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@49842c0d (name: TM_x_POS_x_M6), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@616549c (name: TM_x_M_x_MT_x_M143), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@597050fa (name: TM_x_M_x_MT_x_M145), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2ef99072 (name: TM_x_M_x_MT_x_M80), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@61427cd3 (name: TM_x_M_x_MT_x_M61), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@100ed29a (name: TM_x_M_x_MT_x_M133), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1cb3de26 (name: TM_x_M_x_MT_x_M10), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@247246ea (name: TM_x_M_x_MT_x_M8), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3ef2816a (name: TM_x_POS_x_M4), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@373efaa2 (name: TM_x_M_x_NEGSTEP24), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@67dc7d0 (name: TM_x_M_x_MT_x_M88), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7c8c6922 (name: TM_x_M_x_MT_x_M110), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5afd2f4e (name: TM_x_POS_x_M15), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7b9e4a2a (name: TM_x_M_x_MT_x_M104), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@644ae4ff (name: TM_x_M_x_MT_x_M119), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2381a837 (name: TM_x_M_x_MT_x_M13), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6ddab96c (name: TM_x_POS_x_M2), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7fcbed77 (name: TM_x_M_x_MT_x_M65), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4058b398 (name: TM_x_M_x_MT_x_M134), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@426753a6 (name: TM_x_M_x_MT_x_M44), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3116e9d2 (name: TM_x_M_x_MT_x_M49), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1a48e48e (name: TM_x_M_x_MT_x_M70), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@40e28324 (name: TM_x_POS_x_M9), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1baf1268 (name: TM_x_M_x_MT_x_M83), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6e8fa647 (name: TM_x_M_x_MT_x_M136), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@75f5293c (name: TM_x_M_x_MT_x_M101), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@171a6fd1 (name: TM_x_M_x_MT_x_M107), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@70cc0601 (name: TM_x_M_x_MT_x_M160), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@34e0d52e (name: TM_x_M_x_MT_x_M98), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@22b0fe7e (name: TM_x_POS_x_M0), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3e5f458f (name: TM_x_POS_x_M16), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2a2d0cff (name: TM_x_M_x_MT_x_M47), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@763960eb (name: TM_x_M_x_MT_x_M127), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@43bda665 (name: TM_x_M_x_MT_x_M55), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3d1f809 (name: TM_x_M_x_MT_x_M125), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4b27a3fc (name: TM_x_M_x_MT_x_M161), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1e364cea (name: TM_x_M_x_NEGSTEP0), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6816b0cb (name: TM_x_M_x_MT_x_M157), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7451338e (name: TM_x_M_x_MT_x_M97), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1377e395 (name: TM_x_M_x_MT_x_M38), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@52d04234 (name: TM_x_M_x_MT_x_M100), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@badf24b (name: TM_x_M_x_MT_x_M28), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2081c267 (name: TM_x_M_x_MT_x_M116), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1362f4 (name: TM_x_M_x_MT_x_M152), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6ad4d333 (name: TM_x_POS_x_M11), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@312eb (name: TM_x_M_x_MT_x_M50), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@66121af9 (name: TM_x_M_x_NEGSTEP18), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@36aacc46 (name: TM_x_M_x_MT_x_M19), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@78fd9a11 (name: TM_x_M_x_MT_x_M34), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5e05f3eb (name: TM_x_POS_x_M8), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6c30efc4 (name: TM_x_M_x_MT_x_M71), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@12eb281f (name: TM_x_M_x_MT_x_M137), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@47970962 (name: TM_x_M_x_MT_x_M155), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@27211dd9 (name: TM_x_M_x_MT_x_M115), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@d0993f0 (name: TM_x_M_x_MT_x_M35), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1b94df68 (name: TM_x_POS_x_M3), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4cc5c43b (name: TM_x_M_x_MT_x_M124)]
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 870 redundant transitions.
May 22, 2016 4:23:33 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Reachable property NeoElection-COL-2-ReachabilityDeadlock-0 is trivially true : it is verified in initial state.
May 22, 2016 4:23:33 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityDeadlock.gal : 23 ms

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NeoElection-COL-2"
export BK_EXAMINATION="ReachabilityDeadlock"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/root/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/NeoElection-COL-2.tgz
mv NeoElection-COL-2 execution

# this is for BenchKit: explicit launching of the test

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