About the Execution of ITS-Tools for S_NeoElection-COL-2
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 541.270 | 16474.00 | 29271.00 | 255.00 | FF??????FFTF???? | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
.............
=====================================================================
Generated by BenchKit 2-2979
Executing tool itstools
Input is S_NeoElection-COL-2, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r181kn-smll-146444112300987
=====================================================================
--------------------
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-LTLFireability-0
FORMULA_NAME NeoElection-COL-2-LTLFireability-1
FORMULA_NAME NeoElection-COL-2-LTLFireability-10
FORMULA_NAME NeoElection-COL-2-LTLFireability-11
FORMULA_NAME NeoElection-COL-2-LTLFireability-12
FORMULA_NAME NeoElection-COL-2-LTLFireability-13
FORMULA_NAME NeoElection-COL-2-LTLFireability-14
FORMULA_NAME NeoElection-COL-2-LTLFireability-15
FORMULA_NAME NeoElection-COL-2-LTLFireability-2
FORMULA_NAME NeoElection-COL-2-LTLFireability-3
FORMULA_NAME NeoElection-COL-2-LTLFireability-4
FORMULA_NAME NeoElection-COL-2-LTLFireability-5
FORMULA_NAME NeoElection-COL-2-LTLFireability-6
FORMULA_NAME NeoElection-COL-2-LTLFireability-7
FORMULA_NAME NeoElection-COL-2-LTLFireability-8
FORMULA_NAME NeoElection-COL-2-LTLFireability-9
=== Now, execution of the tool begins
BK_START 1464687631671
its-ltl command run as :
/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201605191313/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !((G((X(F((("M_x_M_x_NEGSTEP21.P_negotiation_21>=1")&&("M_x_POS4.P_startNeg__broadcasting_4>=1"))||(("M_x_M_x_NEGSTEP15.P_negotiation_15>=1")&&("M_x_POS2.P_startNeg__broadcasting_2>=1")))))U(((("M0.P_polling_0>=1")||("M1.P_polling_1>=1"))||("M2.P_polling_2>=1"))U((("M0.P_poll__pollEnd_0>=1")||("M1.P_poll__pollEnd_1>=1"))||("M2.P_poll__pollEnd_2>=1"))))))
Formula 0 simplified : !G(XF(("M_x_M_x_NEGSTEP21.P_negotiation_21>=1" & "M_x_POS4.P_startNeg__broadcasting_4>=1") | ("M_x_M_x_NEGSTEP15.P_negotiation_15>=1" & "M_x_POS2.P_startNeg__broadcasting_2>=1")) U (("M0.P_polling_0>=1" | "M1.P_polling_1>=1" | "M2.P_polling_2>=1") U ("M0.P_poll__pollEnd_0>=1" | "M1.P_poll__pollEnd_1>=1" | "M2.P_poll__pollEnd_2>=1")))
11 unique states visited
11 strongly connected components in search stack
11 transitions explored
11 items max in DFS search stack
55 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,0.647334,36696,1,0,10371,951,3554,9211,126,864,124547
an accepting run exists (use option '-e' to print it)
Formula 0 is FALSE accepting run found.
FORMULA NeoElection-COL-2-LTLFireability-0 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 1 : !((F(G(F(F(G((("M0.P_electionInit_0>=1")||("M1.P_electionInit_1>=1"))||("M2.P_electionInit_2>=1"))))))))
Formula 1 simplified : !FGFG("M0.P_electionInit_0>=1" | "M1.P_electionInit_1>=1" | "M2.P_electionInit_2>=1")
2 unique states visited
2 strongly connected components in search stack
2 transitions explored
2 items max in DFS search stack
12 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,0.778879,44164,1,0,24958,951,3595,22737,127,864,187713
an accepting run exists (use option '-e' to print it)
Formula 1 is FALSE accepting run found.
FORMULA NeoElection-COL-2-LTLFireability-1 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 2 : !(((("M0.P_electedPrimary_0>=1")||("M1.P_electedPrimary_1>=1"))||("M2.P_electedPrimary_2>=1")))
Formula 2 simplified : !("M0.P_electedPrimary_0>=1" | "M1.P_electedPrimary_1>=1" | "M2.P_electedPrimary_2>=1")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
1 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,0.783907,44432,1,0,25138,951,3614,23026,128,864,189199
an accepting run exists (use option '-e' to print it)
Formula 2 is FALSE accepting run found.
FORMULA NeoElection-COL-2-LTLFireability-2 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 3 : !(((("M_x_POS1.P_startNeg__broadcasting_1>=1")||("M_x_POS3.P_startNeg__broadcasting_3>=1"))||("M_x_POS5.P_startNeg__broadcasting_5>=1")))
Formula 3 simplified : !("M_x_POS1.P_startNeg__broadcasting_1>=1" | "M_x_POS3.P_startNeg__broadcasting_3>=1" | "M_x_POS5.P_startNeg__broadcasting_5>=1")
3 unique states visited
3 strongly connected components in search stack
3 transitions explored
3 items max in DFS search stack
0 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,0.784947,44432,1,0,25138,951,3629,23026,128,864,189335
an accepting run exists (use option '-e' to print it)
Formula 3 is FALSE accepting run found.
FORMULA NeoElection-COL-2-LTLFireability-3 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 4 : !((F(X((("M0.P_electionInit_0>=1")||("M1.P_electionInit_1>=1"))||("M2.P_electionInit_2>=1")))))
Formula 4 simplified : !FX("M0.P_electionInit_0>=1" | "M1.P_electionInit_1>=1" | "M2.P_electionInit_2>=1")
2 unique states visited
0 strongly connected components in search stack
1 transitions explored
2 items max in DFS search stack
1 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,0.788952,44616,1,0,25138,951,3648,23026,128,864,189403
no accepting run found
Formula 4 is TRUE no accepting run found.
FORMULA NeoElection-COL-2-LTLFireability-4 TRUE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 5 : !((X(((((((((((((((((((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_NEGSTEP1.P_negotiation_1>=1"))&&("M_x_M_x_MT_x_M9.P_network_9>=1"))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_NEGSTEP10.P_negotiation_10>=1"))&&("M_x_M_x_MT_x_M63.P_network_63>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_NEGSTEP10.P_negotiation_10>=1"))&&("M_x_M_x_MT_x_M81.P_network_81>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_NEGSTEP19.P_negotiation_19>=1"))&&("M_x_M_x_MT_x_M117.P_network_117>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_NEGSTEP19.P_negotiation_19>=1"))&&("M_x_M_x_MT_x_M135.P_network_135>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_NEGSTEP19.P_negotiation_19>=1"))&&("M_x_M_x_MT_x_M153.P_network_153>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_NEGSTEP4.P_negotiation_4>=1"))&&("M_x_M_x_MT_x_M9.P_network_9>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_NEGSTEP13.P_negotiation_13>=1"))&&("M_x_M_x_MT_x_M63.P_network_63>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_NEGSTEP13.P_negotiation_13>=1"))&&("M_x_M_x_MT_x_M81.P_network_81>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_NEGSTEP22.P_negotiation_22>=1"))&&("M_x_M_x_MT_x_M117.P_network_117>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_NEGSTEP22.P_negotiation_22>=1"))&&("M_x_M_x_MT_x_M135.P_network_135>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_NEGSTEP22.P_negotiation_22>=1"))&&("M_x_M_x_MT_x_M153.P_network_153>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_NEGSTEP7.P_negotiation_7>=1"))&&("M_x_M_x_MT_x_M9.P_network_9>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_NEGSTEP16.P_negotiation_16>=1"))&&("M_x_M_x_MT_x_M63.P_network_63>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_NEGSTEP16.P_negotiation_16>=1"))&&("M_x_M_x_MT_x_M81.P_network_81>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_NEGSTEP25.P_negotiation_25>=1"))&&("M_x_M_x_MT_x_M117.P_network_117>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_NEGSTEP25.P_negotiation_25>=1"))&&("M_x_M_x_MT_x_M135.P_network_135>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_NEGSTEP25.P_negotiation_25>=1"))&&("M_x_M_x_MT_x_M153.P_network_153>=1")))))
Formula 5 simplified : !X(("M0.P_poll__handlingMessage_0>=1" & "M_x_M_x_MT_x_M9.P_network_9>=1" & "M_x_M_x_NEGSTEP1.P_negotiation_1>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_M_x_MT_x_M63.P_network_63>=1" & "M_x_M_x_NEGSTEP10.P_negotiation_10>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_M_x_MT_x_M81.P_network_81>=1" & "M_x_M_x_NEGSTEP10.P_negotiation_10>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_M_x_MT_x_M117.P_network_117>=1" & "M_x_M_x_NEGSTEP19.P_negotiation_19>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_M_x_MT_x_M135.P_network_135>=1" & "M_x_M_x_NEGSTEP19.P_negotiation_19>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_M_x_MT_x_M153.P_network_153>=1" & "M_x_M_x_NEGSTEP19.P_negotiation_19>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_M_x_MT_x_M9.P_network_9>=1" & "M_x_M_x_NEGSTEP4.P_negotiation_4>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_M_x_MT_x_M63.P_network_63>=1" & "M_x_M_x_NEGSTEP13.P_negotiation_13>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_M_x_MT_x_M81.P_network_81>=1" & "M_x_M_x_NEGSTEP13.P_negotiation_13>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_M_x_MT_x_M117.P_network_117>=1" & "M_x_M_x_NEGSTEP22.P_negotiation_22>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_M_x_MT_x_M135.P_network_135>=1" & "M_x_M_x_NEGSTEP22.P_negotiation_22>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_M_x_MT_x_M153.P_network_153>=1" & "M_x_M_x_NEGSTEP22.P_negotiation_22>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_M_x_MT_x_M9.P_network_9>=1" & "M_x_M_x_NEGSTEP7.P_negotiation_7>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_M_x_MT_x_M63.P_network_63>=1" & "M_x_M_x_NEGSTEP16.P_negotiation_16>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_M_x_MT_x_M81.P_network_81>=1" & "M_x_M_x_NEGSTEP16.P_negotiation_16>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_M_x_MT_x_M117.P_network_117>=1" & "M_x_M_x_NEGSTEP25.P_negotiation_25>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_M_x_MT_x_M135.P_network_135>=1" & "M_x_M_x_NEGSTEP25.P_negotiation_25>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_M_x_MT_x_M153.P_network_153>=1" & "M_x_M_x_NEGSTEP25.P_negotiation_25>=1"))
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
2 ticks for the emptiness check
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
STATS,0,6.14418,56080,1,0,25251,951,3938,23149,129,864,192914
an accepting run exists (use option '-e' to print it)
Formula 5 is FALSE accepting run found.
FORMULA NeoElection-COL-2-LTLFireability-5 FALSE TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN
Checking formula 6 : !((G(X((X((("M0.P_polling_0>=1")||("M1.P_polling_1>=1"))||("M2.P_polling_2>=1")))U(X(((((((((((((((((((((((((((((((((((((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M4.P_network_4>=1"))&&("M_x_BOOL_x_M1.P_masterState_1>=1"))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M22.P_network_22>=1"))&&("M_x_BOOL_x_M1.P_masterState_1>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M40.P_network_40>=1"))&&("M_x_BOOL_x_M1.P_masterState_1>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M58.P_network_58>=1"))&&("M_x_BOOL_x_M7.P_masterState_7>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M76.P_network_76>=1"))&&("M_x_BOOL_x_M7.P_masterState_7>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M94.P_network_94>=1"))&&("M_x_BOOL_x_M7.P_masterState_7>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M112.P_network_112>=1"))&&("M_x_BOOL_x_M13.P_masterState_13>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M130.P_network_130>=1"))&&("M_x_BOOL_x_M13.P_masterState_13>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M148.P_network_148>=1"))&&("M_x_BOOL_x_M13.P_masterState_13>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M4.P_network_4>=1"))&&("M_x_BOOL_x_M4.P_masterState_4>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M22.P_network_22>=1"))&&("M_x_BOOL_x_M4.P_masterState_4>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M40.P_network_40>=1"))&&("M_x_BOOL_x_M4.P_masterState_4>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M58.P_network_58>=1"))&&("M_x_BOOL_x_M10.P_masterState_10>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M76.P_network_76>=1"))&&("M_x_BOOL_x_M10.P_masterState_10>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M94.P_network_94>=1"))&&("M_x_BOOL_x_M10.P_masterState_10>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M112.P_network_112>=1"))&&("M_x_BOOL_x_M16.P_masterState_16>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M130.P_network_130>=1"))&&("M_x_BOOL_x_M16.P_masterState_16>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M148.P_network_148>=1"))&&("M_x_BOOL_x_M16.P_masterState_16>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M5.P_network_5>=1"))&&("M_x_BOOL_x_M2.P_masterState_2>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M23.P_network_23>=1"))&&("M_x_BOOL_x_M2.P_masterState_2>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M41.P_network_41>=1"))&&("M_x_BOOL_x_M2.P_masterState_2>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M59.P_network_59>=1"))&&("M_x_BOOL_x_M8.P_masterState_8>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M77.P_network_77>=1"))&&("M_x_BOOL_x_M8.P_masterState_8>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M95.P_network_95>=1"))&&("M_x_BOOL_x_M8.P_masterState_8>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M113.P_network_113>=1"))&&("M_x_BOOL_x_M14.P_masterState_14>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M131.P_network_131>=1"))&&("M_x_BOOL_x_M14.P_masterState_14>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M149.P_network_149>=1"))&&("M_x_BOOL_x_M14.P_masterState_14>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M5.P_network_5>=1"))&&("M_x_BOOL_x_M5.P_masterState_5>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M23.P_network_23>=1"))&&("M_x_BOOL_x_M5.P_masterState_5>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M41.P_network_41>=1"))&&("M_x_BOOL_x_M5.P_masterState_5>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M59.P_network_59>=1"))&&("M_x_BOOL_x_M11.P_masterState_11>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M77.P_network_77>=1"))&&("M_x_BOOL_x_M11.P_masterState_11>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M95.P_network_95>=1"))&&("M_x_BOOL_x_M11.P_masterState_11>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M113.P_network_113>=1"))&&("M_x_BOOL_x_M17.P_masterState_17>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M131.P_network_131>=1"))&&("M_x_BOOL_x_M17.P_masterState_17>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M149.P_network_149>=1"))&&("M_x_BOOL_x_M17.P_masterState_17>=1"))))))))
Formula 6 simplified : !GX(X("M0.P_polling_0>=1" | "M1.P_polling_1>=1" | "M2.P_polling_2>=1") U X(("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M1.P_masterState_1>=1" & "M_x_M_x_MT_x_M4.P_network_4>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M1.P_masterState_1>=1" & "M_x_M_x_MT_x_M22.P_network_22>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M1.P_masterState_1>=1" & "M_x_M_x_MT_x_M40.P_network_40>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M7.P_masterState_7>=1" & "M_x_M_x_MT_x_M58.P_network_58>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M7.P_masterState_7>=1" & "M_x_M_x_MT_x_M76.P_network_76>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M7.P_masterState_7>=1" & "M_x_M_x_MT_x_M94.P_network_94>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M13.P_masterState_13>=1" & "M_x_M_x_MT_x_M112.P_network_112>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M13.P_masterState_13>=1" & "M_x_M_x_MT_x_M130.P_network_130>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M13.P_masterState_13>=1" & "M_x_M_x_MT_x_M148.P_network_148>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M4.P_masterState_4>=1" & "M_x_M_x_MT_x_M4.P_network_4>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M4.P_masterState_4>=1" & "M_x_M_x_MT_x_M22.P_network_22>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M4.P_masterState_4>=1" & "M_x_M_x_MT_x_M40.P_network_40>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M10.P_masterState_10>=1" & "M_x_M_x_MT_x_M58.P_network_58>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M10.P_masterState_10>=1" & "M_x_M_x_MT_x_M76.P_network_76>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M10.P_masterState_10>=1" & "M_x_M_x_MT_x_M94.P_network_94>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M16.P_masterState_16>=1" & "M_x_M_x_MT_x_M112.P_network_112>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M16.P_masterState_16>=1" & "M_x_M_x_MT_x_M130.P_network_130>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M16.P_masterState_16>=1" & "M_x_M_x_MT_x_M148.P_network_148>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M2.P_masterState_2>=1" & "M_x_M_x_MT_x_M5.P_network_5>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M2.P_masterState_2>=1" & "M_x_M_x_MT_x_M23.P_network_23>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M2.P_masterState_2>=1" & "M_x_M_x_MT_x_M41.P_network_41>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M8.P_masterState_8>=1" & "M_x_M_x_MT_x_M59.P_network_59>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M8.P_masterState_8>=1" & "M_x_M_x_MT_x_M77.P_network_77>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M8.P_masterState_8>=1" & "M_x_M_x_MT_x_M95.P_network_95>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M14.P_masterState_14>=1" & "M_x_M_x_MT_x_M113.P_network_113>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M14.P_masterState_14>=1" & "M_x_M_x_MT_x_M131.P_network_131>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M14.P_masterState_14>=1" & "M_x_M_x_MT_x_M149.P_network_149>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M5.P_masterState_5>=1" & "M_x_M_x_MT_x_M5.P_network_5>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M5.P_masterState_5>=1" & "M_x_M_x_MT_x_M23.P_network_23>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M5.P_masterState_5>=1" & "M_x_M_x_MT_x_M41.P_network_41>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M11.P_masterState_11>=1" & "M_x_M_x_MT_x_M59.P_network_59>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M11.P_masterState_11>=1" & "M_x_M_x_MT_x_M77.P_network_77>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M11.P_masterState_11>=1" & "M_x_M_x_MT_x_M95.P_network_95>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M17.P_masterState_17>=1" & "M_x_M_x_MT_x_M113.P_network_113>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M17.P_masterState_17>=1" & "M_x_M_x_MT_x_M131.P_network_131>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M17.P_masterState_17>=1" & "M_x_M_x_MT_x_M149.P_network_149>=1")))
BK_STOP 1464687648145
--------------------
content from stderr:
+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ LTLFireability = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution LTLFireability -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 LTLFireability -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its
Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=512m; support was removed in 8.0
May 31, 2016 9:40:35 AM fr.lip6.move.gal.application.Application transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 31, 2016 9:40:35 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
May 31, 2016 9:40:36 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1579 ms
May 31, 2016 9:40:37 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 18 places.
May 31, 2016 9:40:37 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: read order :VarOrder [vars=[P_crashed[0], P_crashed[1], P_crashed[2], dead[0], dead[1], dead[2], P_electedPrimary[0], P_electedPrimary[1], P_electedPrimary[2], P_electedSecondary[0], P_electedSecondary[1], P_electedSecondary[2], P_electionFailed[0], P_electionFailed[1], P_electionFailed[2], P_electionInit[0], P_electionInit[1], P_electionInit[2], P_masterList[0], P_masterList[1], P_masterList[2], P_masterList[3], P_masterList[4], P_masterList[5], P_masterList[6], P_masterList[7], P_masterList[8], P_masterList[9], P_masterList[10], P_masterList[11], P_masterList[12], P_masterList[13], P_masterList[14], P_masterList[15], P_masterList[16], P_masterList[17], P_masterState[0], P_masterState[1], P_masterState[2], P_masterState[3], P_masterState[4], P_masterState[5], P_masterState[6], P_masterState[7], P_masterState[8], P_masterState[9], P_masterState[10], P_masterState[11], P_masterState[12], P_masterState[13], P_masterState[14], P_masterState[15], P_masterState[16], P_masterState[17], P_negotiation[0], P_negotiation[1], P_negotiation[2], P_negotiation[3], P_negotiation[4], P_negotiation[5], P_negotiation[6], P_negotiation[7], P_negotiation[8], P_negotiation[9], P_negotiation[10], P_negotiation[11], P_negotiation[12], P_negotiation[13], P_negotiation[14], P_negotiation[15], P_negotiation[16], P_negotiation[17], P_negotiation[18], P_negotiation[19], P_negotiation[20], P_negotiation[21], P_negotiation[22], P_negotiation[23], P_negotiation[24], P_negotiation[25], P_negotiation[26], P_network[0], P_network[1], P_network[2], P_network[3], P_network[4], P_network[5], P_network[6], P_network[7], P_network[8], P_network[9], P_network[10], P_network[11], P_network[12], P_network[13], P_network[14], P_network[15], P_network[16], P_network[17], P_network[18], P_network[19], P_network[20], P_network[21], P_network[22], P_network[23], P_network[24], P_network[25], P_network[26], P_network[27], P_network[28], P_network[29], P_network[30], P_network[31], P_network[32], P_network[33], P_network[34], P_network[35], P_network[36], P_network[37], P_network[38], P_network[39], P_network[40], P_network[41], P_network[42], P_network[43], P_network[44], P_network[45], P_network[46], P_network[47], P_network[48], P_network[49], P_network[50], P_network[51], P_network[52], P_network[53], P_network[54], P_network[55], P_network[56], P_network[57], P_network[58], P_network[59], P_network[60], P_network[61], P_network[62], P_network[63], P_network[64], P_network[65], P_network[66], P_network[67], P_network[68], P_network[69], P_network[70], P_network[71], P_network[72], P_network[73], P_network[74], P_network[75], P_network[76], P_network[77], P_network[78], P_network[79], P_network[80], P_network[81], P_network[82], P_network[83], P_network[84], P_network[85], P_network[86], P_network[87], P_network[88], P_network[89], P_network[90], P_network[91], P_network[92], P_network[93], P_network[94], P_network[95], P_network[96], P_network[97], P_network[98], P_network[99], P_network[100], P_network[101], P_network[102], P_network[103], P_network[104], P_network[105], P_network[106], P_network[107], P_network[108], P_network[109], P_network[110], P_network[111], P_network[112], P_network[113], P_network[114], P_network[115], P_network[116], P_network[117], P_network[118], P_network[119], P_network[120], P_network[121], P_network[122], P_network[123], P_network[124], P_network[125], P_network[126], P_network[127], P_network[128], P_network[129], P_network[130], P_network[131], P_network[132], P_network[133], P_network[134], P_network[135], P_network[136], P_network[137], P_network[138], P_network[139], P_network[140], P_network[141], P_network[142], P_network[143], P_network[144], P_network[145], P_network[146], P_network[147], P_network[148], P_network[149], P_network[150], P_network[151], P_network[152], P_network[153], P_network[154], P_network[155], P_network[156], P_network[157], P_network[158], P_network[159], P_network[160], P_network[161], P_poll__handlingMessage[0], P_poll__handlingMessage[1], P_poll__handlingMessage[2], P_poll__networl[0], P_poll__networl[1], P_poll__networl[2], P_poll__networl[3], P_poll__networl[4], P_poll__networl[5], P_poll__networl[6], P_poll__networl[7], P_poll__networl[8], P_poll__networl[9], P_poll__networl[10], P_poll__networl[11], P_poll__networl[12], P_poll__networl[13], P_poll__networl[14], P_poll__networl[15], P_poll__networl[16], P_poll__networl[17], P_poll__networl[18], P_poll__networl[19], P_poll__networl[20], P_poll__networl[21], P_poll__networl[22], P_poll__networl[23], P_poll__networl[24], P_poll__networl[25], P_poll__networl[26], P_poll__networl[27], P_poll__networl[28], P_poll__networl[29], P_poll__networl[30], P_poll__networl[31], P_poll__networl[32], P_poll__networl[33], P_poll__networl[34], P_poll__networl[35], P_poll__networl[36], P_poll__networl[37], P_poll__networl[38], P_poll__networl[39], P_poll__networl[40], P_poll__networl[41], P_poll__networl[42], P_poll__networl[43], P_poll__networl[44], P_poll__networl[45], P_poll__networl[46], P_poll__networl[47], P_poll__networl[48], P_poll__networl[49], P_poll__networl[50], P_poll__networl[51], P_poll__networl[52], P_poll__networl[53], P_poll__networl[54], P_poll__networl[55], P_poll__networl[56], P_poll__networl[57], P_poll__networl[58], P_poll__networl[59], P_poll__networl[60], P_poll__networl[61], P_poll__networl[62], P_poll__networl[63], P_poll__networl[64], P_poll__networl[65], P_poll__networl[66], P_poll__networl[67], P_poll__networl[68], P_poll__networl[69], P_poll__networl[70], P_poll__networl[71], P_poll__networl[72], P_poll__networl[73], P_poll__networl[74], P_poll__networl[75], P_poll__networl[76], P_poll__networl[77], P_poll__networl[78], P_poll__networl[79], P_poll__networl[80], P_poll__networl[81], P_poll__networl[82], P_poll__networl[83], P_poll__networl[84], P_poll__networl[85], P_poll__networl[86], P_poll__networl[87], P_poll__networl[88], P_poll__networl[89], P_poll__networl[90], P_poll__networl[91], P_poll__networl[92], P_poll__networl[93], P_poll__networl[94], P_poll__networl[95], P_poll__networl[96], P_poll__networl[97], P_poll__networl[98], P_poll__networl[99], P_poll__networl[100], P_poll__networl[101], P_poll__networl[102], P_poll__networl[103], P_poll__networl[104], P_poll__networl[105], P_poll__networl[106], P_poll__networl[107], P_poll__networl[108], P_poll__networl[109], P_poll__networl[110], P_poll__networl[111], P_poll__networl[112], P_poll__networl[113], P_poll__networl[114], P_poll__networl[115], P_poll__networl[116], P_poll__networl[117], P_poll__networl[118], P_poll__networl[119], P_poll__networl[120], P_poll__networl[121], P_poll__networl[122], P_poll__networl[123], P_poll__networl[124], P_poll__networl[125], P_poll__networl[126], P_poll__networl[127], P_poll__networl[128], P_poll__networl[129], P_poll__networl[130], P_poll__networl[131], P_poll__networl[132], P_poll__networl[133], P_poll__networl[134], P_poll__networl[135], P_poll__networl[136], P_poll__networl[137], P_poll__networl[138], P_poll__networl[139], P_poll__networl[140], P_poll__networl[141], P_poll__networl[142], P_poll__networl[143], P_poll__networl[144], P_poll__networl[145], P_poll__networl[146], P_poll__networl[147], P_poll__networl[148], P_poll__networl[149], P_poll__networl[150], P_poll__networl[151], P_poll__networl[152], P_poll__networl[153], P_poll__networl[154], P_poll__networl[155], P_poll__networl[156], P_poll__networl[157], P_poll__networl[158], P_poll__networl[159], P_poll__networl[160], P_poll__networl[161], P_poll__pollEnd[0], P_poll__pollEnd[1], P_poll__pollEnd[2], P_poll__waitingMessage[0], P_poll__waitingMessage[1], P_poll__waitingMessage[2], P_polling[0], P_polling[1], P_polling[2], P_sendAnnPs__broadcasting[0], P_sendAnnPs__broadcasting[1], P_sendAnnPs__broadcasting[2], P_sendAnnPs__broadcasting[3], P_sendAnnPs__broadcasting[4], P_sendAnnPs__broadcasting[5], P_stage[0], P_stage[1], P_stage[2], P_stage[3], P_stage[4], P_stage[5], P_stage[6], P_stage[7], P_stage[8], P_startNeg__broadcasting[0], P_startNeg__broadcasting[1], P_startNeg__broadcasting[2], P_startNeg__broadcasting[3], P_startNeg__broadcasting[4], P_startNeg__broadcasting[5]]]
May 31, 2016 9:40:37 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :M * POS->P-sendAnnPs__broadcasting,P-startNeg__broadcasting,
M * STAGE->P-stage,
M * M * MT * M->P-network,P-poll__networl,
M * POS * M->P-masterList,
M * BOOL * M->P-masterState,
M->P-crashed,dead,P-electedPrimary,P-electedSecondary,P-electionFailed,P-electionInit,P-poll__handlingMessage,P-poll__pollEnd,P-poll__waitingMessage,P-polling,
M * M * NEGSTEP->P-negotiation,
May 31, 2016 9:40:37 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 22 transitions.
May 31, 2016 9:40:37 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains : CompositeGalOrder [children=[VarOrder [vars=[P_sendAnnPs__broadcasting[0], P_startNeg__broadcasting[0]]], VarOrder [vars=[P_sendAnnPs__broadcasting[1], P_startNeg__broadcasting[1]]], VarOrder [vars=[P_sendAnnPs__broadcasting[2], P_startNeg__broadcasting[2]]], VarOrder [vars=[P_sendAnnPs__broadcasting[3], P_startNeg__broadcasting[3]]], VarOrder [vars=[P_sendAnnPs__broadcasting[4], P_startNeg__broadcasting[4]]], VarOrder [vars=[P_sendAnnPs__broadcasting[5], P_startNeg__broadcasting[5]]], VarOrder [vars=[P_stage[0]]], VarOrder [vars=[P_stage[1]]], VarOrder [vars=[P_stage[2]]], VarOrder [vars=[P_stage[3]]], VarOrder [vars=[P_stage[4]]], VarOrder [vars=[P_stage[5]]], VarOrder [vars=[P_stage[6]]], VarOrder [vars=[P_stage[7]]], VarOrder [vars=[P_stage[8]]], VarOrder [vars=[P_network[0], P_poll__networl[0]]], VarOrder [vars=[P_network[1], P_poll__networl[1]]], VarOrder [vars=[P_network[2], P_poll__networl[2]]], VarOrder [vars=[P_network[3], P_poll__networl[3]]], VarOrder [vars=[P_network[4], P_poll__networl[4]]], VarOrder [vars=[P_network[5], P_poll__networl[5]]], VarOrder [vars=[P_network[6], P_poll__networl[6]]], VarOrder [vars=[P_network[7], P_poll__networl[7]]], VarOrder [vars=[P_network[8], P_poll__networl[8]]], VarOrder [vars=[P_network[9], P_poll__networl[9]]], VarOrder [vars=[P_network[10], P_poll__networl[10]]], VarOrder [vars=[P_network[11], P_poll__networl[11]]], VarOrder [vars=[P_network[12], P_poll__networl[12]]], VarOrder [vars=[P_network[13], P_poll__networl[13]]], VarOrder [vars=[P_network[14], P_poll__networl[14]]], VarOrder [vars=[P_network[15], P_poll__networl[15]]], VarOrder [vars=[P_network[16], P_poll__networl[16]]], VarOrder [vars=[P_network[17], P_poll__networl[17]]], VarOrder [vars=[P_network[18], P_poll__networl[18]]], VarOrder [vars=[P_network[19], P_poll__networl[19]]], VarOrder [vars=[P_network[20], P_poll__networl[20]]], VarOrder [vars=[P_network[21], P_poll__networl[21]]], VarOrder [vars=[P_network[22], P_poll__networl[22]]], VarOrder [vars=[P_network[23], P_poll__networl[23]]], VarOrder [vars=[P_network[24], P_poll__networl[24]]], VarOrder [vars=[P_network[25], P_poll__networl[25]]], VarOrder [vars=[P_network[26], P_poll__networl[26]]], VarOrder [vars=[P_network[27], P_poll__networl[27]]], VarOrder [vars=[P_network[28], P_poll__networl[28]]], VarOrder [vars=[P_network[29], P_poll__networl[29]]], VarOrder [vars=[P_network[30], P_poll__networl[30]]], VarOrder [vars=[P_network[31], P_poll__networl[31]]], VarOrder [vars=[P_network[32], P_poll__networl[32]]], VarOrder [vars=[P_network[33], P_poll__networl[33]]], VarOrder [vars=[P_network[34], P_poll__networl[34]]], VarOrder [vars=[P_network[35], P_poll__networl[35]]], VarOrder [vars=[P_network[36], P_poll__networl[36]]], VarOrder [vars=[P_network[37], P_poll__networl[37]]], VarOrder [vars=[P_network[38], P_poll__networl[38]]], VarOrder [vars=[P_network[39], P_poll__networl[39]]], VarOrder [vars=[P_network[40], P_poll__networl[40]]], VarOrder [vars=[P_network[41], P_poll__networl[41]]], VarOrder [vars=[P_network[42], P_poll__networl[42]]], VarOrder [vars=[P_network[43], P_poll__networl[43]]], VarOrder [vars=[P_network[44], P_poll__networl[44]]], VarOrder [vars=[P_network[45], P_poll__networl[45]]], VarOrder [vars=[P_network[46], P_poll__networl[46]]], VarOrder [vars=[P_network[47], P_poll__networl[47]]], VarOrder [vars=[P_network[48], P_poll__networl[48]]], VarOrder [vars=[P_network[49], P_poll__networl[49]]], VarOrder [vars=[P_network[50], P_poll__networl[50]]], VarOrder [vars=[P_network[51], P_poll__networl[51]]], VarOrder [vars=[P_network[52], P_poll__networl[52]]], VarOrder [vars=[P_network[53], P_poll__networl[53]]], VarOrder [vars=[P_network[54], P_poll__networl[54]]], VarOrder [vars=[P_network[55], P_poll__networl[55]]], VarOrder [vars=[P_network[56], P_poll__networl[56]]], VarOrder [vars=[P_network[57], P_poll__networl[57]]], VarOrder [vars=[P_network[58], P_poll__networl[58]]], VarOrder [vars=[P_network[59], P_poll__networl[59]]], VarOrder [vars=[P_network[60], P_poll__networl[60]]], VarOrder [vars=[P_network[61], P_poll__networl[61]]], VarOrder [vars=[P_network[62], P_poll__networl[62]]], VarOrder [vars=[P_network[63], P_poll__networl[63]]], VarOrder [vars=[P_network[64], P_poll__networl[64]]], VarOrder [vars=[P_network[65], P_poll__networl[65]]], VarOrder [vars=[P_network[66], P_poll__networl[66]]], VarOrder [vars=[P_network[67], P_poll__networl[67]]], VarOrder [vars=[P_network[68], P_poll__networl[68]]], VarOrder [vars=[P_network[69], P_poll__networl[69]]], VarOrder [vars=[P_network[70], P_poll__networl[70]]], VarOrder [vars=[P_network[71], P_poll__networl[71]]], VarOrder [vars=[P_network[72], P_poll__networl[72]]], VarOrder [vars=[P_network[73], P_poll__networl[73]]], VarOrder [vars=[P_network[74], P_poll__networl[74]]], VarOrder [vars=[P_network[75], P_poll__networl[75]]], VarOrder [vars=[P_network[76], P_poll__networl[76]]], VarOrder [vars=[P_network[77], P_poll__networl[77]]], VarOrder [vars=[P_network[78], P_poll__networl[78]]], VarOrder [vars=[P_network[79], P_poll__networl[79]]], VarOrder [vars=[P_network[80], P_poll__networl[80]]], VarOrder [vars=[P_network[81], P_poll__networl[81]]], VarOrder [vars=[P_network[82], P_poll__networl[82]]], VarOrder [vars=[P_network[83], P_poll__networl[83]]], VarOrder [vars=[P_network[84], P_poll__networl[84]]], VarOrder [vars=[P_network[85], P_poll__networl[85]]], VarOrder [vars=[P_network[86], P_poll__networl[86]]], VarOrder [vars=[P_network[87], P_poll__networl[87]]], VarOrder [vars=[P_network[88], P_poll__networl[88]]], VarOrder [vars=[P_network[89], P_poll__networl[89]]], VarOrder [vars=[P_network[90], P_poll__networl[90]]], VarOrder [vars=[P_network[91], P_poll__networl[91]]], VarOrder [vars=[P_network[92], P_poll__networl[92]]], VarOrder [vars=[P_network[93], P_poll__networl[93]]], VarOrder [vars=[P_network[94], P_poll__networl[94]]], VarOrder [vars=[P_network[95], P_poll__networl[95]]], VarOrder [vars=[P_network[96], P_poll__networl[96]]], VarOrder [vars=[P_network[97], P_poll__networl[97]]], VarOrder [vars=[P_network[98], P_poll__networl[98]]], VarOrder [vars=[P_network[99], P_poll__networl[99]]], VarOrder [vars=[P_network[100], P_poll__networl[100]]], VarOrder [vars=[P_network[101], P_poll__networl[101]]], VarOrder [vars=[P_network[102], P_poll__networl[102]]], VarOrder [vars=[P_network[103], P_poll__networl[103]]], VarOrder [vars=[P_network[104], P_poll__networl[104]]], VarOrder [vars=[P_network[105], P_poll__networl[105]]], VarOrder [vars=[P_network[106], P_poll__networl[106]]], VarOrder [vars=[P_network[107], P_poll__networl[107]]], VarOrder [vars=[P_network[108], P_poll__networl[108]]], VarOrder [vars=[P_network[109], P_poll__networl[109]]], VarOrder [vars=[P_network[110], P_poll__networl[110]]], VarOrder [vars=[P_network[111], P_poll__networl[111]]], VarOrder [vars=[P_network[112], P_poll__networl[112]]], VarOrder [vars=[P_network[113], P_poll__networl[113]]], VarOrder [vars=[P_network[114], P_poll__networl[114]]], VarOrder [vars=[P_network[115], P_poll__networl[115]]], VarOrder [vars=[P_network[116], P_poll__networl[116]]], VarOrder [vars=[P_network[117], P_poll__networl[117]]], VarOrder [vars=[P_network[118], P_poll__networl[118]]], VarOrder [vars=[P_network[119], P_poll__networl[119]]], VarOrder [vars=[P_network[120], P_poll__networl[120]]], VarOrder [vars=[P_network[121], P_poll__networl[121]]], VarOrder [vars=[P_network[122], P_poll__networl[122]]], VarOrder [vars=[P_network[123], P_poll__networl[123]]], VarOrder [vars=[P_network[124], P_poll__networl[124]]], VarOrder [vars=[P_network[125], P_poll__networl[125]]], VarOrder [vars=[P_network[126], P_poll__networl[126]]], VarOrder [vars=[P_network[127], P_poll__networl[127]]], VarOrder [vars=[P_network[128], P_poll__networl[128]]], VarOrder [vars=[P_network[129], P_poll__networl[129]]], VarOrder [vars=[P_network[130], P_poll__networl[130]]], VarOrder [vars=[P_network[131], P_poll__networl[131]]], VarOrder [vars=[P_network[132], P_poll__networl[132]]], VarOrder [vars=[P_network[133], P_poll__networl[133]]], VarOrder [vars=[P_network[134], P_poll__networl[134]]], VarOrder [vars=[P_network[135], P_poll__networl[135]]], VarOrder [vars=[P_network[136], P_poll__networl[136]]], VarOrder [vars=[P_network[137], P_poll__networl[137]]], VarOrder [vars=[P_network[138], P_poll__networl[138]]], VarOrder [vars=[P_network[139], P_poll__networl[139]]], VarOrder [vars=[P_network[140], P_poll__networl[140]]], VarOrder [vars=[P_network[141], P_poll__networl[141]]], VarOrder [vars=[P_network[142], P_poll__networl[142]]], VarOrder [vars=[P_network[143], P_poll__networl[143]]], VarOrder [vars=[P_network[144], P_poll__networl[144]]], VarOrder [vars=[P_network[145], P_poll__networl[145]]], VarOrder [vars=[P_network[146], P_poll__networl[146]]], VarOrder [vars=[P_network[147], P_poll__networl[147]]], VarOrder [vars=[P_network[148], P_poll__networl[148]]], VarOrder [vars=[P_network[149], P_poll__networl[149]]], VarOrder [vars=[P_network[150], P_poll__networl[150]]], VarOrder [vars=[P_network[151], P_poll__networl[151]]], VarOrder [vars=[P_network[152], P_poll__networl[152]]], VarOrder [vars=[P_network[153], P_poll__networl[153]]], VarOrder [vars=[P_network[154], P_poll__networl[154]]], VarOrder [vars=[P_network[155], P_poll__networl[155]]], VarOrder [vars=[P_network[156], P_poll__networl[156]]], VarOrder [vars=[P_network[157], P_poll__networl[157]]], VarOrder [vars=[P_network[158], P_poll__networl[158]]], VarOrder [vars=[P_network[159], P_poll__networl[159]]], VarOrder [vars=[P_network[160], P_poll__networl[160]]], VarOrder [vars=[P_network[161], P_poll__networl[161]]], VarOrder [vars=[P_masterList[0]]], VarOrder [vars=[P_masterList[1]]], VarOrder [vars=[P_masterList[2]]], VarOrder [vars=[P_masterList[3]]], VarOrder [vars=[P_masterList[4]]], VarOrder [vars=[P_masterList[5]]], VarOrder [vars=[P_masterList[6]]], VarOrder [vars=[P_masterList[7]]], VarOrder [vars=[P_masterList[8]]], VarOrder [vars=[P_masterList[9]]], VarOrder [vars=[P_masterList[10]]], VarOrder [vars=[P_masterList[11]]], VarOrder [vars=[P_masterList[12]]], VarOrder [vars=[P_masterList[13]]], VarOrder [vars=[P_masterList[14]]], VarOrder [vars=[P_masterList[15]]], VarOrder [vars=[P_masterList[16]]], VarOrder [vars=[P_masterList[17]]], VarOrder [vars=[P_masterState[0]]], VarOrder [vars=[P_masterState[1]]], VarOrder [vars=[P_masterState[2]]], VarOrder [vars=[P_masterState[3]]], VarOrder [vars=[P_masterState[4]]], VarOrder [vars=[P_masterState[5]]], VarOrder [vars=[P_masterState[6]]], VarOrder [vars=[P_masterState[7]]], VarOrder [vars=[P_masterState[8]]], VarOrder [vars=[P_masterState[9]]], VarOrder [vars=[P_masterState[10]]], VarOrder [vars=[P_masterState[11]]], VarOrder [vars=[P_masterState[12]]], VarOrder [vars=[P_masterState[13]]], VarOrder [vars=[P_masterState[14]]], VarOrder [vars=[P_masterState[15]]], VarOrder [vars=[P_masterState[16]]], VarOrder [vars=[P_masterState[17]]], VarOrder [vars=[P_crashed[0], dead[0], P_electedPrimary[0], P_electedSecondary[0], P_electionFailed[0], P_electionInit[0], P_poll__handlingMessage[0], P_poll__pollEnd[0], P_poll__waitingMessage[0], P_polling[0]]], VarOrder [vars=[P_crashed[1], dead[1], P_electedPrimary[1], P_electedSecondary[1], P_electionFailed[1], P_electionInit[1], P_poll__handlingMessage[1], P_poll__pollEnd[1], P_poll__waitingMessage[1], P_polling[1]]], VarOrder [vars=[P_crashed[2], dead[2], P_electedPrimary[2], P_electedSecondary[2], P_electionFailed[2], P_electionInit[2], P_poll__handlingMessage[2], P_poll__pollEnd[2], P_poll__waitingMessage[2], P_polling[2]]], VarOrder [vars=[P_negotiation[0]]], VarOrder [vars=[P_negotiation[1]]], VarOrder [vars=[P_negotiation[2]]], VarOrder [vars=[P_negotiation[3]]], VarOrder [vars=[P_negotiation[4]]], VarOrder [vars=[P_negotiation[5]]], VarOrder [vars=[P_negotiation[6]]], VarOrder [vars=[P_negotiation[7]]], VarOrder [vars=[P_negotiation[8]]], VarOrder [vars=[P_negotiation[9]]], VarOrder [vars=[P_negotiation[10]]], VarOrder [vars=[P_negotiation[11]]], VarOrder [vars=[P_negotiation[12]]], VarOrder [vars=[P_negotiation[13]]], VarOrder [vars=[P_negotiation[14]]], VarOrder [vars=[P_negotiation[15]]], VarOrder [vars=[P_negotiation[16]]], VarOrder [vars=[P_negotiation[17]]], VarOrder [vars=[P_negotiation[18]]], VarOrder [vars=[P_negotiation[19]]], VarOrder [vars=[P_negotiation[20]]], VarOrder [vars=[P_negotiation[21]]], VarOrder [vars=[P_negotiation[22]]], VarOrder [vars=[P_negotiation[23]]], VarOrder [vars=[P_negotiation[24]]], VarOrder [vars=[P_negotiation[25]]], VarOrder [vars=[P_negotiation[26]]]]]
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $pm
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $pm
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $p
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $p
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $pm
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $p
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $iam
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $pm
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $s
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $i
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $r
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $i
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $r
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $m
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 26 instantiations of transitions. Total transitions/syncs built is 366
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Instantiator normalizeCalls
INFO: Calls to non existing labels (possibly due to false guards) leads to 6 abort statements.
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 4 fixed domain variables (out of 438 variables) in GAL type NeoElection_COL_2
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 261 constant array cells/variables (out of 438 variables) in type NeoElection_COL_2
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_crashed[0],P_crashed[1],P_crashed[2],P_electionFailed[0],P_electionFailed[1],P_electionFailed[2],P_network[1],P_network[2],P_network[7],P_network[8],P_network[10],P_network[11],P_network[13],P_network[14],P_network[16],P_network[17],P_network[19],P_network[20],P_network[25],P_network[26],P_network[28],P_network[29],P_network[31],P_network[32],P_network[34],P_network[35],P_network[37],P_network[38],P_network[43],P_network[44],P_network[46],P_network[47],P_network[49],P_network[50],P_network[52],P_network[53],P_network[55],P_network[56],P_network[61],P_network[62],P_network[64],P_network[65],P_network[67],P_network[68],P_network[70],P_network[71],P_network[73],P_network[74],P_network[79],P_network[80],P_network[82],P_network[83],P_network[85],P_network[86],P_network[88],P_network[89],P_network[91],P_network[92],P_network[97],P_network[98],P_network[100],P_network[101],P_network[103],P_network[104],P_network[106],P_network[107],P_network[109],P_network[110],P_network[115],P_network[116],P_network[118],P_network[119],P_network[121],P_network[122],P_network[124],P_network[125],P_network[127],P_network[128],P_network[133],P_network[134],P_network[136],P_network[137],P_network[139],P_network[140],P_network[142],P_network[143],P_network[145],P_network[146],P_network[151],P_network[152],P_network[154],P_network[155],P_network[157],P_network[158],P_network[160],P_network[161],dead[0],dead[1],dead[2],P_masterList[0],P_masterList[1],P_masterList[2],P_masterList[3],P_masterList[4],P_masterList[5],P_masterList[6],P_masterList[7],P_masterList[8],P_masterList[9],P_masterList[10],P_masterList[11],P_masterList[12],P_masterList[13],P_masterList[14],P_masterList[15],P_masterList[16],P_masterList[17],P_poll__networl[0],P_poll__networl[1],P_poll__networl[2],P_poll__networl[3],P_poll__networl[6],P_poll__networl[7],P_poll__networl[8],P_poll__networl[9],P_poll__networl[10],P_poll__networl[11],P_poll__networl[12],P_poll__networl[13],P_poll__networl[14],P_poll__networl[15],P_poll__networl[16],P_poll__networl[17],P_poll__networl[18],P_poll__networl[19],P_poll__networl[20],P_poll__networl[21],P_poll__networl[24],P_poll__networl[25],P_poll__networl[26],P_poll__networl[27],P_poll__networl[28],P_poll__networl[29],P_poll__networl[30],P_poll__networl[31],P_poll__networl[32],P_poll__networl[33],P_poll__networl[34],P_poll__networl[35],P_poll__networl[36],P_poll__networl[37],P_poll__networl[38],P_poll__networl[39],P_poll__networl[42],P_poll__networl[43],P_poll__networl[44],P_poll__networl[45],P_poll__networl[46],P_poll__networl[47],P_poll__networl[48],P_poll__networl[49],P_poll__networl[50],P_poll__networl[51],P_poll__networl[52],P_poll__networl[53],P_poll__networl[54],P_poll__networl[55],P_poll__networl[56],P_poll__networl[57],P_poll__networl[60],P_poll__networl[61],P_poll__networl[62],P_poll__networl[63],P_poll__networl[64],P_poll__networl[65],P_poll__networl[66],P_poll__networl[67],P_poll__networl[68],P_poll__networl[69],P_poll__networl[70],P_poll__networl[71],P_poll__networl[72],P_poll__networl[73],P_poll__networl[74],P_poll__networl[75],P_poll__networl[78],P_poll__networl[79],P_poll__networl[80],P_poll__networl[81],P_poll__networl[82],P_poll__networl[83],P_poll__networl[84],P_poll__networl[85],P_poll__networl[86],P_poll__networl[87],P_poll__networl[88],P_poll__networl[89],P_poll__networl[90],P_poll__networl[91],P_poll__networl[92],P_poll__networl[93],P_poll__networl[96],P_poll__networl[97],P_poll__networl[98],P_poll__networl[99],P_poll__networl[100],P_poll__networl[101],P_poll__networl[102],P_poll__networl[103],P_poll__networl[104],P_poll__networl[105],P_poll__networl[106],P_poll__networl[107],P_poll__networl[108],P_poll__networl[109],P_poll__networl[110],P_poll__networl[111],P_poll__networl[114],P_poll__networl[115],P_poll__networl[116],P_poll__networl[117],P_poll__networl[118],P_poll__networl[119],P_poll__networl[120],P_poll__networl[121],P_poll__networl[122],P_poll__networl[123],P_poll__networl[124],P_poll__networl[125],P_poll__networl[126],P_poll__networl[127],P_poll__networl[128],P_poll__networl[129],P_poll__networl[132],P_poll__networl[133],P_poll__networl[134],P_poll__networl[135],P_poll__networl[136],P_poll__networl[137],P_poll__networl[138],P_poll__networl[139],P_poll__networl[140],P_poll__networl[141],P_poll__networl[142],P_poll__networl[143],P_poll__networl[144],P_poll__networl[145],P_poll__networl[146],P_poll__networl[147],P_poll__networl[150],P_poll__networl[151],P_poll__networl[152],P_poll__networl[153],P_poll__networl[154],P_poll__networl[155],P_poll__networl[156],P_poll__networl[157],P_poll__networl[158],P_poll__networl[159],P_poll__networl[160],P_poll__networl[161],
May 31, 2016 9:40:37 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 72 expressions due to constant valuations.
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.Simplifier simplifyFalseTransitions
INFO: Removed 32 false transitions.
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 241 constant array cells/variables (out of 411 variables) in type NeoElection_COL_2
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network[1],P_network[2],P_network[7],P_network[8],P_network[10],P_network[11],P_network[13],P_network[14],P_network[16],P_network[17],P_network[19],P_network[20],P_network[25],P_network[26],P_network[28],P_network[29],P_network[31],P_network[32],P_network[34],P_network[35],P_network[37],P_network[38],P_network[43],P_network[44],P_network[46],P_network[47],P_network[49],P_network[50],P_network[52],P_network[53],P_network[55],P_network[56],P_network[61],P_network[62],P_network[64],P_network[65],P_network[67],P_network[68],P_network[70],P_network[71],P_network[73],P_network[74],P_network[79],P_network[80],P_network[82],P_network[83],P_network[85],P_network[86],P_network[88],P_network[89],P_network[91],P_network[92],P_network[97],P_network[98],P_network[100],P_network[101],P_network[103],P_network[104],P_network[106],P_network[107],P_network[109],P_network[110],P_network[115],P_network[116],P_network[118],P_network[119],P_network[121],P_network[122],P_network[124],P_network[125],P_network[127],P_network[128],P_network[133],P_network[134],P_network[136],P_network[137],P_network[139],P_network[140],P_network[142],P_network[143],P_network[145],P_network[146],P_network[151],P_network[152],P_network[154],P_network[155],P_network[157],P_network[158],P_network[160],P_network[161],P_negotiation[0],P_negotiation[3],P_negotiation[6],P_negotiation[9],P_negotiation[12],P_negotiation[18],P_negotiation[24],P_poll__networl[0],P_poll__networl[1],P_poll__networl[2],P_poll__networl[3],P_poll__networl[6],P_poll__networl[7],P_poll__networl[8],P_poll__networl[9],P_poll__networl[10],P_poll__networl[11],P_poll__networl[12],P_poll__networl[13],P_poll__networl[14],P_poll__networl[15],P_poll__networl[16],P_poll__networl[17],P_poll__networl[18],P_poll__networl[19],P_poll__networl[20],P_poll__networl[21],P_poll__networl[24],P_poll__networl[25],P_poll__networl[26],P_poll__networl[27],P_poll__networl[28],P_poll__networl[29],P_poll__networl[30],P_poll__networl[31],P_poll__networl[32],P_poll__networl[33],P_poll__networl[34],P_poll__networl[35],P_poll__networl[36],P_poll__networl[37],P_poll__networl[38],P_poll__networl[39],P_poll__networl[42],P_poll__networl[43],P_poll__networl[44],P_poll__networl[45],P_poll__networl[46],P_poll__networl[47],P_poll__networl[48],P_poll__networl[49],P_poll__networl[50],P_poll__networl[51],P_poll__networl[52],P_poll__networl[53],P_poll__networl[54],P_poll__networl[55],P_poll__networl[56],P_poll__networl[57],P_poll__networl[60],P_poll__networl[61],P_poll__networl[62],P_poll__networl[63],P_poll__networl[64],P_poll__networl[65],P_poll__networl[66],P_poll__networl[67],P_poll__networl[68],P_poll__networl[69],P_poll__networl[70],P_poll__networl[71],P_poll__networl[72],P_poll__networl[73],P_poll__networl[74],P_poll__networl[75],P_poll__networl[78],P_poll__networl[79],P_poll__networl[80],P_poll__networl[81],P_poll__networl[82],P_poll__networl[83],P_poll__networl[84],P_poll__networl[85],P_poll__networl[86],P_poll__networl[87],P_poll__networl[88],P_poll__networl[89],P_poll__networl[90],P_poll__networl[91],P_poll__networl[92],P_poll__networl[93],P_poll__networl[96],P_poll__networl[97],P_poll__networl[98],P_poll__networl[99],P_poll__networl[100],P_poll__networl[101],P_poll__networl[102],P_poll__networl[103],P_poll__networl[104],P_poll__networl[105],P_poll__networl[106],P_poll__networl[107],P_poll__networl[108],P_poll__networl[109],P_poll__networl[110],P_poll__networl[111],P_poll__networl[114],P_poll__networl[115],P_poll__networl[116],P_poll__networl[117],P_poll__networl[118],P_poll__networl[119],P_poll__networl[120],P_poll__networl[121],P_poll__networl[122],P_poll__networl[123],P_poll__networl[124],P_poll__networl[125],P_poll__networl[126],P_poll__networl[127],P_poll__networl[128],P_poll__networl[129],P_poll__networl[132],P_poll__networl[133],P_poll__networl[134],P_poll__networl[135],P_poll__networl[136],P_poll__networl[137],P_poll__networl[138],P_poll__networl[139],P_poll__networl[140],P_poll__networl[141],P_poll__networl[142],P_poll__networl[143],P_poll__networl[144],P_poll__networl[145],P_poll__networl[146],P_poll__networl[147],P_poll__networl[150],P_poll__networl[151],P_poll__networl[152],P_poll__networl[153],P_poll__networl[154],P_poll__networl[155],P_poll__networl[156],P_poll__networl[157],P_poll__networl[158],P_poll__networl[159],P_poll__networl[160],P_poll__networl[161],
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 241 constant array cells/variables (out of 411 variables) in type NeoElection_COL_2
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network[1],P_network[2],P_network[7],P_network[8],P_network[10],P_network[11],P_network[13],P_network[14],P_network[16],P_network[17],P_network[19],P_network[20],P_network[25],P_network[26],P_network[28],P_network[29],P_network[31],P_network[32],P_network[34],P_network[35],P_network[37],P_network[38],P_network[43],P_network[44],P_network[46],P_network[47],P_network[49],P_network[50],P_network[52],P_network[53],P_network[55],P_network[56],P_network[61],P_network[62],P_network[64],P_network[65],P_network[67],P_network[68],P_network[70],P_network[71],P_network[73],P_network[74],P_network[79],P_network[80],P_network[82],P_network[83],P_network[85],P_network[86],P_network[88],P_network[89],P_network[91],P_network[92],P_network[97],P_network[98],P_network[100],P_network[101],P_network[103],P_network[104],P_network[106],P_network[107],P_network[109],P_network[110],P_network[115],P_network[116],P_network[118],P_network[119],P_network[121],P_network[122],P_network[124],P_network[125],P_network[127],P_network[128],P_network[133],P_network[134],P_network[136],P_network[137],P_network[139],P_network[140],P_network[142],P_network[143],P_network[145],P_network[146],P_network[151],P_network[152],P_network[154],P_network[155],P_network[157],P_network[158],P_network[160],P_network[161],P_negotiation[0],P_negotiation[3],P_negotiation[6],P_negotiation[9],P_negotiation[12],P_negotiation[18],P_negotiation[24],P_poll__networl[0],P_poll__networl[1],P_poll__networl[2],P_poll__networl[3],P_poll__networl[6],P_poll__networl[7],P_poll__networl[8],P_poll__networl[9],P_poll__networl[10],P_poll__networl[11],P_poll__networl[12],P_poll__networl[13],P_poll__networl[14],P_poll__networl[15],P_poll__networl[16],P_poll__networl[17],P_poll__networl[18],P_poll__networl[19],P_poll__networl[20],P_poll__networl[21],P_poll__networl[24],P_poll__networl[25],P_poll__networl[26],P_poll__networl[27],P_poll__networl[28],P_poll__networl[29],P_poll__networl[30],P_poll__networl[31],P_poll__networl[32],P_poll__networl[33],P_poll__networl[34],P_poll__networl[35],P_poll__networl[36],P_poll__networl[37],P_poll__networl[38],P_poll__networl[39],P_poll__networl[42],P_poll__networl[43],P_poll__networl[44],P_poll__networl[45],P_poll__networl[46],P_poll__networl[47],P_poll__networl[48],P_poll__networl[49],P_poll__networl[50],P_poll__networl[51],P_poll__networl[52],P_poll__networl[53],P_poll__networl[54],P_poll__networl[55],P_poll__networl[56],P_poll__networl[57],P_poll__networl[60],P_poll__networl[61],P_poll__networl[62],P_poll__networl[63],P_poll__networl[64],P_poll__networl[65],P_poll__networl[66],P_poll__networl[67],P_poll__networl[68],P_poll__networl[69],P_poll__networl[70],P_poll__networl[71],P_poll__networl[72],P_poll__networl[73],P_poll__networl[74],P_poll__networl[75],P_poll__networl[78],P_poll__networl[79],P_poll__networl[80],P_poll__networl[81],P_poll__networl[82],P_poll__networl[83],P_poll__networl[84],P_poll__networl[85],P_poll__networl[86],P_poll__networl[87],P_poll__networl[88],P_poll__networl[89],P_poll__networl[90],P_poll__networl[91],P_poll__networl[92],P_poll__networl[93],P_poll__networl[96],P_poll__networl[97],P_poll__networl[98],P_poll__networl[99],P_poll__networl[100],P_poll__networl[101],P_poll__networl[102],P_poll__networl[103],P_poll__networl[104],P_poll__networl[105],P_poll__networl[106],P_poll__networl[107],P_poll__networl[108],P_poll__networl[109],P_poll__networl[110],P_poll__networl[111],P_poll__networl[114],P_poll__networl[115],P_poll__networl[116],P_poll__networl[117],P_poll__networl[118],P_poll__networl[119],P_poll__networl[120],P_poll__networl[121],P_poll__networl[122],P_poll__networl[123],P_poll__networl[124],P_poll__networl[125],P_poll__networl[126],P_poll__networl[127],P_poll__networl[128],P_poll__networl[129],P_poll__networl[132],P_poll__networl[133],P_poll__networl[134],P_poll__networl[135],P_poll__networl[136],P_poll__networl[137],P_poll__networl[138],P_poll__networl[139],P_poll__networl[140],P_poll__networl[141],P_poll__networl[142],P_poll__networl[143],P_poll__networl[144],P_poll__networl[145],P_poll__networl[146],P_poll__networl[147],P_poll__networl[150],P_poll__networl[151],P_poll__networl[152],P_poll__networl[153],P_poll__networl[154],P_poll__networl[155],P_poll__networl[156],P_poll__networl[157],P_poll__networl[158],P_poll__networl[159],P_poll__networl[160],P_poll__networl[161],
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 3 uncalled transitions from type NeoElection_COL_2
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 490 ms
May 31, 2016 9:40:38 AM fr.lip6.move.gal.application.Application applyOrder
INFO: Applying decomposition
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 241 constant array cells/variables (out of 411 variables) in type NeoElection_COL_2_flat
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network[1],P_network[2],P_network[7],P_network[8],P_network[10],P_network[11],P_network[13],P_network[14],P_network[16],P_network[17],P_network[19],P_network[20],P_network[25],P_network[26],P_network[28],P_network[29],P_network[31],P_network[32],P_network[34],P_network[35],P_network[37],P_network[38],P_network[43],P_network[44],P_network[46],P_network[47],P_network[49],P_network[50],P_network[52],P_network[53],P_network[55],P_network[56],P_network[61],P_network[62],P_network[64],P_network[65],P_network[67],P_network[68],P_network[70],P_network[71],P_network[73],P_network[74],P_network[79],P_network[80],P_network[82],P_network[83],P_network[85],P_network[86],P_network[88],P_network[89],P_network[91],P_network[92],P_network[97],P_network[98],P_network[100],P_network[101],P_network[103],P_network[104],P_network[106],P_network[107],P_network[109],P_network[110],P_network[115],P_network[116],P_network[118],P_network[119],P_network[121],P_network[122],P_network[124],P_network[125],P_network[127],P_network[128],P_network[133],P_network[134],P_network[136],P_network[137],P_network[139],P_network[140],P_network[142],P_network[143],P_network[145],P_network[146],P_network[151],P_network[152],P_network[154],P_network[155],P_network[157],P_network[158],P_network[160],P_network[161],P_negotiation[0],P_negotiation[3],P_negotiation[6],P_negotiation[9],P_negotiation[12],P_negotiation[18],P_negotiation[24],P_poll__networl[0],P_poll__networl[1],P_poll__networl[2],P_poll__networl[3],P_poll__networl[6],P_poll__networl[7],P_poll__networl[8],P_poll__networl[9],P_poll__networl[10],P_poll__networl[11],P_poll__networl[12],P_poll__networl[13],P_poll__networl[14],P_poll__networl[15],P_poll__networl[16],P_poll__networl[17],P_poll__networl[18],P_poll__networl[19],P_poll__networl[20],P_poll__networl[21],P_poll__networl[24],P_poll__networl[25],P_poll__networl[26],P_poll__networl[27],P_poll__networl[28],P_poll__networl[29],P_poll__networl[30],P_poll__networl[31],P_poll__networl[32],P_poll__networl[33],P_poll__networl[34],P_poll__networl[35],P_poll__networl[36],P_poll__networl[37],P_poll__networl[38],P_poll__networl[39],P_poll__networl[42],P_poll__networl[43],P_poll__networl[44],P_poll__networl[45],P_poll__networl[46],P_poll__networl[47],P_poll__networl[48],P_poll__networl[49],P_poll__networl[50],P_poll__networl[51],P_poll__networl[52],P_poll__networl[53],P_poll__networl[54],P_poll__networl[55],P_poll__networl[56],P_poll__networl[57],P_poll__networl[60],P_poll__networl[61],P_poll__networl[62],P_poll__networl[63],P_poll__networl[64],P_poll__networl[65],P_poll__networl[66],P_poll__networl[67],P_poll__networl[68],P_poll__networl[69],P_poll__networl[70],P_poll__networl[71],P_poll__networl[72],P_poll__networl[73],P_poll__networl[74],P_poll__networl[75],P_poll__networl[78],P_poll__networl[79],P_poll__networl[80],P_poll__networl[81],P_poll__networl[82],P_poll__networl[83],P_poll__networl[84],P_poll__networl[85],P_poll__networl[86],P_poll__networl[87],P_poll__networl[88],P_poll__networl[89],P_poll__networl[90],P_poll__networl[91],P_poll__networl[92],P_poll__networl[93],P_poll__networl[96],P_poll__networl[97],P_poll__networl[98],P_poll__networl[99],P_poll__networl[100],P_poll__networl[101],P_poll__networl[102],P_poll__networl[103],P_poll__networl[104],P_poll__networl[105],P_poll__networl[106],P_poll__networl[107],P_poll__networl[108],P_poll__networl[109],P_poll__networl[110],P_poll__networl[111],P_poll__networl[114],P_poll__networl[115],P_poll__networl[116],P_poll__networl[117],P_poll__networl[118],P_poll__networl[119],P_poll__networl[120],P_poll__networl[121],P_poll__networl[122],P_poll__networl[123],P_poll__networl[124],P_poll__networl[125],P_poll__networl[126],P_poll__networl[127],P_poll__networl[128],P_poll__networl[129],P_poll__networl[132],P_poll__networl[133],P_poll__networl[134],P_poll__networl[135],P_poll__networl[136],P_poll__networl[137],P_poll__networl[138],P_poll__networl[139],P_poll__networl[140],P_poll__networl[141],P_poll__networl[142],P_poll__networl[143],P_poll__networl[144],P_poll__networl[145],P_poll__networl[146],P_poll__networl[147],P_poll__networl[150],P_poll__networl[151],P_poll__networl[152],P_poll__networl[153],P_poll__networl[154],P_poll__networl[155],P_poll__networl[156],P_poll__networl[157],P_poll__networl[158],P_poll__networl[159],P_poll__networl[160],P_poll__networl[161],
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 82 ms
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Partition obtained :[P_sendAnnPs__broadcasting[0], P_startNeg__broadcasting[0], ],[P_sendAnnPs__broadcasting[1], P_startNeg__broadcasting[1], ],[P_sendAnnPs__broadcasting[2], P_startNeg__broadcasting[2], ],[P_sendAnnPs__broadcasting[3], P_startNeg__broadcasting[3], ],[P_sendAnnPs__broadcasting[4], P_startNeg__broadcasting[4], ],[P_sendAnnPs__broadcasting[5], P_startNeg__broadcasting[5], ],[P_stage[0], ],[P_stage[1], ],[P_stage[2], ],[P_stage[3], ],[P_stage[4], ],[P_stage[5], ],[P_stage[6], ],[P_stage[7], ],[P_stage[8], ],[P_network[0], P_poll__networl[0], ],[P_network[1], P_poll__networl[1], ],[P_network[2], P_poll__networl[2], ],[P_network[3], P_poll__networl[3], ],[P_network[4], P_poll__networl[4], ],[P_network[5], P_poll__networl[5], ],[P_network[6], P_poll__networl[6], ],[P_network[7], P_poll__networl[7], ],[P_network[8], P_poll__networl[8], ],[P_network[9], P_poll__networl[9], ],[P_network[10], P_poll__networl[10], ],[P_network[11], P_poll__networl[11], ],[P_network[12], P_poll__networl[12], ],[P_network[13], P_poll__networl[13], ],[P_network[14], P_poll__networl[14], ],[P_network[15], P_poll__networl[15], ],[P_network[16], P_poll__networl[16], ],[P_network[17], P_poll__networl[17], ],[P_network[18], P_poll__networl[18], ],[P_network[19], P_poll__networl[19], ],[P_network[20], P_poll__networl[20], ],[P_network[21], P_poll__networl[21], ],[P_network[22], P_poll__networl[22], ],[P_network[23], P_poll__networl[23], ],[P_network[24], P_poll__networl[24], ],[P_network[25], P_poll__networl[25], ],[P_network[26], P_poll__networl[26], ],[P_network[27], P_poll__networl[27], ],[P_network[28], P_poll__networl[28], ],[P_network[29], P_poll__networl[29], ],[P_network[30], P_poll__networl[30], ],[P_network[31], P_poll__networl[31], ],[P_network[32], P_poll__networl[32], ],[P_network[33], P_poll__networl[33], ],[P_network[34], P_poll__networl[34], ],[P_network[35], P_poll__networl[35], ],[P_network[36], P_poll__networl[36], ],[P_network[37], P_poll__networl[37], ],[P_network[38], P_poll__networl[38], ],[P_network[39], P_poll__networl[39], ],[P_network[40], P_poll__networl[40], ],[P_network[41], P_poll__networl[41], ],[P_network[42], P_poll__networl[42], ],[P_network[43], P_poll__networl[43], ],[P_network[44], P_poll__networl[44], ],[P_network[45], P_poll__networl[45], ],[P_network[46], P_poll__networl[46], ],[P_network[47], P_poll__networl[47], ],[P_network[48], P_poll__networl[48], ],[P_network[49], P_poll__networl[49], ],[P_network[50], P_poll__networl[50], ],[P_network[51], P_poll__networl[51], ],[P_network[52], P_poll__networl[52], ],[P_network[53], P_poll__networl[53], ],[P_network[54], P_poll__networl[54], ],[P_network[55], P_poll__networl[55], ],[P_network[56], P_poll__networl[56], ],[P_network[57], P_poll__networl[57], ],[P_network[58], P_poll__networl[58], ],[P_network[59], P_poll__networl[59], ],[P_network[60], P_poll__networl[60], ],[P_network[61], P_poll__networl[61], ],[P_network[62], P_poll__networl[62], ],[P_network[63], P_poll__networl[63], ],[P_network[64], P_poll__networl[64], ],[P_network[65], P_poll__networl[65], ],[P_network[66], P_poll__networl[66], ],[P_network[67], P_poll__networl[67], ],[P_network[68], P_poll__networl[68], ],[P_network[69], P_poll__networl[69], ],[P_network[70], P_poll__networl[70], ],[P_network[71], P_poll__networl[71], ],[P_network[72], P_poll__networl[72], ],[P_network[73], P_poll__networl[73], ],[P_network[74], P_poll__networl[74], ],[P_network[75], P_poll__networl[75], ],[P_network[76], P_poll__networl[76], ],[P_network[77], P_poll__networl[77], ],[P_network[78], P_poll__networl[78], ],[P_network[79], P_poll__networl[79], ],[P_network[80], P_poll__networl[80], ],[P_network[81], P_poll__networl[81], ],[P_network[82], P_poll__networl[82], ],[P_network[83], P_poll__networl[83], ],[P_network[84], P_poll__networl[84], ],[P_network[85], P_poll__networl[85], ],[P_network[86], P_poll__networl[86], ],[P_network[87], P_poll__networl[87], ],[P_network[88], P_poll__networl[88], ],[P_network[89], P_poll__networl[89], ],[P_network[90], P_poll__networl[90], ],[P_network[91], P_poll__networl[91], ],[P_network[92], P_poll__networl[92], ],[P_network[93], P_poll__networl[93], ],[P_network[94], P_poll__networl[94], ],[P_network[95], P_poll__networl[95], ],[P_network[96], P_poll__networl[96], ],[P_network[97], P_poll__networl[97], ],[P_network[98], P_poll__networl[98], ],[P_network[99], P_poll__networl[99], ],[P_network[100], P_poll__networl[100], ],[P_network[101], P_poll__networl[101], ],[P_network[102], P_poll__networl[102], ],[P_network[103], P_poll__networl[103], ],[P_network[104], P_poll__networl[104], ],[P_network[105], P_poll__networl[105], ],[P_network[106], P_poll__networl[106], ],[P_network[107], P_poll__networl[107], ],[P_network[108], P_poll__networl[108], ],[P_network[109], P_poll__networl[109], ],[P_network[110], P_poll__networl[110], ],[P_network[111], P_poll__networl[111], ],[P_network[112], P_poll__networl[112], ],[P_network[113], P_poll__networl[113], ],[P_network[114], P_poll__networl[114], ],[P_network[115], P_poll__networl[115], ],[P_network[116], P_poll__networl[116], ],[P_network[117], P_poll__networl[117], ],[P_network[118], P_poll__networl[118], ],[P_network[119], P_poll__networl[119], ],[P_network[120], P_poll__networl[120], ],[P_network[121], P_poll__networl[121], ],[P_network[122], P_poll__networl[122], ],[P_network[123], P_poll__networl[123], ],[P_network[124], P_poll__networl[124], ],[P_network[125], P_poll__networl[125], ],[P_network[126], P_poll__networl[126], ],[P_network[127], P_poll__networl[127], ],[P_network[128], P_poll__networl[128], ],[P_network[129], P_poll__networl[129], ],[P_network[130], P_poll__networl[130], ],[P_network[131], P_poll__networl[131], ],[P_network[132], P_poll__networl[132], ],[P_network[133], P_poll__networl[133], ],[P_network[134], P_poll__networl[134], ],[P_network[135], P_poll__networl[135], ],[P_network[136], P_poll__networl[136], ],[P_network[137], P_poll__networl[137], ],[P_network[138], P_poll__networl[138], ],[P_network[139], P_poll__networl[139], ],[P_network[140], P_poll__networl[140], ],[P_network[141], P_poll__networl[141], ],[P_network[142], P_poll__networl[142], ],[P_network[143], P_poll__networl[143], ],[P_network[144], P_poll__networl[144], ],[P_network[145], P_poll__networl[145], ],[P_network[146], P_poll__networl[146], ],[P_network[147], P_poll__networl[147], ],[P_network[148], P_poll__networl[148], ],[P_network[149], P_poll__networl[149], ],[P_network[150], P_poll__networl[150], ],[P_network[151], P_poll__networl[151], ],[P_network[152], P_poll__networl[152], ],[P_network[153], P_poll__networl[153], ],[P_network[154], P_poll__networl[154], ],[P_network[155], P_poll__networl[155], ],[P_network[156], P_poll__networl[156], ],[P_network[157], P_poll__networl[157], ],[P_network[158], P_poll__networl[158], ],[P_network[159], P_poll__networl[159], ],[P_network[160], P_poll__networl[160], ],[P_network[161], P_poll__networl[161], ],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[],[P_masterState[0], ],[P_masterState[1], ],[P_masterState[2], ],[P_masterState[3], ],[P_masterState[4], ],[P_masterState[5], ],[P_masterState[6], ],[P_masterState[7], ],[P_masterState[8], ],[P_masterState[9], ],[P_masterState[10], ],[P_masterState[11], ],[P_masterState[12], ],[P_masterState[13], ],[P_masterState[14], ],[P_masterState[15], ],[P_masterState[16], ],[P_masterState[17], ],[P_electedPrimary[0], P_electedSecondary[0], P_electionInit[0], P_poll__handlingMessage[0], P_poll__pollEnd[0], P_poll__waitingMessage[0], P_polling[0], ],[P_electedPrimary[1], P_electedSecondary[1], P_electionInit[1], P_poll__handlingMessage[1], P_poll__pollEnd[1], P_poll__waitingMessage[1], P_polling[1], ],[P_electedPrimary[2], P_electedSecondary[2], P_electionInit[2], P_poll__handlingMessage[2], P_poll__pollEnd[2], P_poll__waitingMessage[2], P_polling[2], ],[P_negotiation[0], ],[P_negotiation[1], ],[P_negotiation[2], ],[P_negotiation[3], ],[P_negotiation[4], ],[P_negotiation[5], ],[P_negotiation[6], ],[P_negotiation[7], ],[P_negotiation[8], ],[P_negotiation[9], ],[P_negotiation[10], ],[P_negotiation[11], ],[P_negotiation[12], ],[P_negotiation[13], ],[P_negotiation[14], ],[P_negotiation[15], ],[P_negotiation[16], ],[P_negotiation[17], ],[P_negotiation[18], ],[P_negotiation[19], ],[P_negotiation[20], ],[P_negotiation[21], ],[P_negotiation[22], ],[P_negotiation[23], ],[P_negotiation[24], ],[P_negotiation[25], ],[P_negotiation[26], ],
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_electedPrimary to variables to allow decomposition.
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_electedSecondary to variables to allow decomposition.
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_electionInit to variables to allow decomposition.
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_masterState to variables to allow decomposition.
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_negotiation to variables to allow decomposition.
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_network to variables to allow decomposition.
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_poll__handlingMessage to variables to allow decomposition.
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_poll__networl to variables to allow decomposition.
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_poll__pollEnd to variables to allow decomposition.
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_poll__waitingMessage to variables to allow decomposition.
May 31, 2016 9:40:38 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_polling to variables to allow decomposition.
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_sendAnnPs__broadcasting to variables to allow decomposition.
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_stage to variables to allow decomposition.
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array P_startNeg__broadcasting to variables to allow decomposition.
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M0
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M0
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_0,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_0
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M1
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M1
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_1,P_poll__networl_1,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_1, P_poll__networl_1
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M2
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M2
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_2,P_network_2,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_2, P_network_2
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M3
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M3
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_3,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_3
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M6
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M6
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_6,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_6
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M7
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M7
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_7,P_poll__networl_7,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_7, P_poll__networl_7
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M8
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M8
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_8,P_network_8,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_8, P_network_8
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M9
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M9
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_9,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_9
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M10
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M10
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_10,P_poll__networl_10,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_10, P_poll__networl_10
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M11
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M11
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_11,P_network_11,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_11, P_network_11
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M12
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M12
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_12,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_12
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M13
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M13
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_13,P_poll__networl_13,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_13, P_poll__networl_13
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M14
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M14
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_14,P_poll__networl_14,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_14, P_poll__networl_14
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M15
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M15
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_15,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_15
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M16
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M16
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_16,P_poll__networl_16,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_16, P_poll__networl_16
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M17
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M17
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_17,P_poll__networl_17,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_17, P_poll__networl_17
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M18
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M18
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_18,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_18
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M19
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M19
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_19,P_poll__networl_19,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_19, P_poll__networl_19
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M20
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M20
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_20,P_network_20,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_20, P_network_20
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M21
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M21
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_21,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_21
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M24
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M24
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_24,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_24
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M25
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M25
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_25,P_poll__networl_25,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_25, P_poll__networl_25
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M26
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M26
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_26,P_poll__networl_26,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_26, P_poll__networl_26
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M27
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M27
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_27,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_27
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M28
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M28
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_28,P_poll__networl_28,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_28, P_poll__networl_28
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M29
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M29
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_29,P_poll__networl_29,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_29, P_poll__networl_29
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M30
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M30
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_30,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_30
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M31
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M31
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_31,P_poll__networl_31,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_31, P_poll__networl_31
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M32
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M32
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_32,P_poll__networl_32,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_32, P_poll__networl_32
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M33
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M33
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_33,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_33
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M34
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M34
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_34,P_poll__networl_34,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_34, P_poll__networl_34
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M35
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M35
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_35,P_poll__networl_35,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_35, P_poll__networl_35
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M36
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M36
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_36,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_36
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M37
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M37
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_37,P_network_37,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_37, P_network_37
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M38
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M38
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_38,P_poll__networl_38,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_38, P_poll__networl_38
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M39
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M39
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_39,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_39
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M42
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M42
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_42,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_42
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M43
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M43
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_43,P_network_43,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_43, P_network_43
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M44
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M44
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_44,P_network_44,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_44, P_network_44
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M45
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M45
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_45,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_45
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M46
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M46
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_46,P_poll__networl_46,
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_46, P_poll__networl_46
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M47
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M47
May 31, 2016 9:40:39 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_47,P_poll__networl_47,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_47, P_poll__networl_47
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M48
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M48
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_48,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_48
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M49
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M49
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_49,P_poll__networl_49,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_49, P_poll__networl_49
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M50
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M50
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_50,P_poll__networl_50,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_50, P_poll__networl_50
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M51
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M51
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_51,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_51
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M52
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M52
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_52,P_network_52,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_52, P_network_52
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M53
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M53
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_53,P_network_53,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_53, P_network_53
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M54
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M54
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_54,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_54
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M55
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M55
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_55,P_poll__networl_55,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_55, P_poll__networl_55
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M56
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M56
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_56,P_poll__networl_56,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_56, P_poll__networl_56
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M57
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M57
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_57,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_57
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M60
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M60
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_60,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_60
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M61
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M61
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_61,P_poll__networl_61,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_61, P_poll__networl_61
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M62
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M62
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_62,P_poll__networl_62,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_62, P_poll__networl_62
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M63
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M63
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_63,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_63
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M64
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M64
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_64,P_network_64,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_64, P_network_64
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M65
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M65
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_65,P_network_65,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_65, P_network_65
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M66
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M66
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_66,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_66
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M67
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M67
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_67,P_poll__networl_67,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_67, P_poll__networl_67
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M68
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M68
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_68,P_poll__networl_68,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_68, P_poll__networl_68
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M69
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M69
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_69,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_69
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M70
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M70
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_70,P_poll__networl_70,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_70, P_poll__networl_70
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M71
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M71
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_71,P_network_71,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_71, P_network_71
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M72
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M72
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_72,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_72
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M73
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M73
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_73,P_poll__networl_73,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_73, P_poll__networl_73
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M74
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M74
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_74,P_poll__networl_74,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_74, P_poll__networl_74
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M75
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M75
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_75,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_75
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M78
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M78
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_78,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_78
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M79
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M79
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_79,P_poll__networl_79,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_79, P_poll__networl_79
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M80
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M80
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_80,P_network_80,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_80, P_network_80
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M81
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M81
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_81,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_81
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M82
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M82
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_82,P_poll__networl_82,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_82, P_poll__networl_82
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M83
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M83
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_83,P_poll__networl_83,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_83, P_poll__networl_83
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M84
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M84
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_84,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_84
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M85
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M85
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_85,P_poll__networl_85,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_85, P_poll__networl_85
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M86
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M86
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_86,P_poll__networl_86,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_86, P_poll__networl_86
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M87
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M87
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_87,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_87
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M88
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M88
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_88,P_network_88,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_88, P_network_88
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M89
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M89
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_89,P_network_89,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_89, P_network_89
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M90
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M90
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_90,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_90
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M91
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M91
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_91,P_poll__networl_91,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_91, P_poll__networl_91
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M92
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M92
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_92,P_network_92,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_92, P_network_92
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M93
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M93
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_93,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_93
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M96
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M96
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_96,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_96
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M97
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M97
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_97,P_poll__networl_97,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_97, P_poll__networl_97
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M98
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M98
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_98,P_poll__networl_98,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_98, P_poll__networl_98
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M99
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M99
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_99,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_99
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M100
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M100
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_100,P_network_100,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_100, P_network_100
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M101
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M101
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_101,P_poll__networl_101,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_101, P_poll__networl_101
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M102
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M102
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_102,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_102
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M103
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M103
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_103,P_poll__networl_103,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_103, P_poll__networl_103
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M104
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M104
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_104,P_poll__networl_104,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_104, P_poll__networl_104
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M105
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M105
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_105,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_105
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M106
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M106
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_106,P_network_106,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_106, P_network_106
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M107
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M107
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_107,P_network_107,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_107, P_network_107
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M108
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M108
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_108,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_108
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M109
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M109
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_109,P_network_109,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_109, P_network_109
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M110
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M110
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_110,P_poll__networl_110,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_110, P_poll__networl_110
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M111
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M111
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_111,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_111
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M114
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M114
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_114,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_114
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M115
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M115
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_115,P_poll__networl_115,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_115, P_poll__networl_115
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M116
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M116
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_116,P_poll__networl_116,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_116, P_poll__networl_116
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M117
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M117
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_117,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_117
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M118
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M118
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_118,P_poll__networl_118,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_118, P_poll__networl_118
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M119
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M119
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_119,P_poll__networl_119,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_119, P_poll__networl_119
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M120
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M120
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_120,
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_120
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M121
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M121
May 31, 2016 9:40:40 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_121,P_poll__networl_121,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_121, P_poll__networl_121
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M122
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M122
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_122,P_poll__networl_122,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_122, P_poll__networl_122
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M123
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M123
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_123,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_123
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M124
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M124
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_124,P_poll__networl_124,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_124, P_poll__networl_124
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M125
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M125
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_125,P_poll__networl_125,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_125, P_poll__networl_125
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M126
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M126
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_126,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_126
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M127
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M127
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_127,P_poll__networl_127,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_127, P_poll__networl_127
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M128
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M128
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_128,P_network_128,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_128, P_network_128
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M129
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M129
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_129,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_129
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M132
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M132
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_132,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_132
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M133
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M133
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_133,P_poll__networl_133,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_133, P_poll__networl_133
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M134
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M134
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_134,P_poll__networl_134,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_134, P_poll__networl_134
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M135
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M135
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_135,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_135
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M136
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M136
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_136,P_network_136,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_136, P_network_136
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M137
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M137
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_137,P_network_137,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_137, P_network_137
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M138
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M138
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_138,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_138
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M139
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M139
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_139,P_network_139,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_139, P_network_139
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M140
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M140
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_140,P_network_140,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_140, P_network_140
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M141
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M141
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_141,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_141
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M142
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M142
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_142,P_poll__networl_142,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_142, P_poll__networl_142
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M143
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M143
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_143,P_network_143,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_143, P_network_143
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M144
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M144
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_144,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_144
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M145
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M145
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_145,P_poll__networl_145,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_145, P_poll__networl_145
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M146
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M146
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_146,P_network_146,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_146, P_network_146
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M147
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M147
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_147,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_147
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M150
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M150
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_150,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_150
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M151
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M151
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_151,P_network_151,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_151, P_network_151
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M152
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M152
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_152,P_poll__networl_152,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_152, P_poll__networl_152
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M153
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M153
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_153,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_153
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M154
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M154
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_154,P_poll__networl_154,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_154, P_poll__networl_154
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M155
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M155
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_155,P_network_155,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_155, P_network_155
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M156
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M156
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_156,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_156
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M157
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M157
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_157,P_network_157,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_157, P_network_157
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M158
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M158
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_158,P_poll__networl_158,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_158, P_poll__networl_158
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M159
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M159
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_159,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_159
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M160
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M160
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_160,P_network_160,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_160, P_network_160
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M161
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M161
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_161,P_poll__networl_161,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_161, P_poll__networl_161
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP0
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP0
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_0,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_0
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP3
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP3
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_3,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_3
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP6
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP6
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_6,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_6
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP9
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP9
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_9,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_9
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP12
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP12
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_12,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_12
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP18
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP18
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_18,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_18
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP24
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP24
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_24,
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_24
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Simplifier simplify
INFO: [fr.lip6.move.gal.impl.GALTypeDeclarationImpl@25600e60 (name: TM_x_POS_x_M8), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@551f251d (name: TM_x_M_x_MT_x_M68), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@36845587 (name: TM_x_M_x_MT_x_M11), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4568e46b (name: TM_x_M_x_MT_x_M53), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3f17e012 (name: TM_x_M_x_MT_x_M122), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@60314a39 (name: TM_x_M_x_MT_x_M2), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@55571f5e (name: TM_x_M_x_MT_x_M50), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@53884783 (name: TM_x_M_x_MT_x_M13), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2c48905f (name: TM_x_M_x_MT_x_M70), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@111eae09 (name: TM_x_POS_x_M5), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7da72ebe (name: TM_x_M_x_MT_x_M151), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@53bdd2a4 (name: TM_x_M_x_NEGSTEP3), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@31fcd2e3 (name: TM_x_M_x_MT_x_M145), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3ff24fed (name: TM_x_POS_x_M12), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@57020923 (name: TM_x_M_x_MT_x_M17), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4f48296c (name: TM_x_M_x_MT_x_M140), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2a9c29ba (name: TM_x_POS_x_M13), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@14e960c0 (name: TM_x_M_x_NEGSTEP12), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@60d878f4 (name: TM_x_M_x_MT_x_M38), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7921a40c (name: TM_x_M_x_MT_x_M31), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2b3fe9e (name: TM_x_M_x_MT_x_M71), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@77060a29 (name: TM_x_M_x_NEGSTEP0), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2cde0ff (name: TM_x_M_x_MT_x_M32), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3031bd04 (name: TM_x_M_x_MT_x_M64), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@b027738 (name: TM_x_M_x_MT_x_M152), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@85b4160 (name: TM_x_M_x_MT_x_M109), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@44482774 (name: TM_x_M_x_MT_x_M20), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7de4a4d8 (name: TM_x_M_x_MT_x_M158), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4a587e1 (name: TM_x_M_x_MT_x_M92), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@73a41de0 (name: TM_x_M_x_MT_x_M119), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@68602c26 (name: TM_x_M_x_NEGSTEP9), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@416a9223 (name: TM_x_POS_x_M9), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7fb8dff1 (name: TM_x_POS_x_M17), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@611ac656 (name: TM_x_M_x_MT_x_M28), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@15bfa1f1 (name: TM_x_M_x_MT_x_M89), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@73992ed7 (name: TM_x_POS_x_M1), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6dc9e69b (name: TM_x_M_x_MT_x_M146), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@169a94ce (name: TM_x_M_x_MT_x_M25), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@412d517b (name: TM_x_M_x_MT_x_M46), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6af8bdae (name: TM_x_M_x_NEGSTEP18), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@56b37ee9 (name: TM_x_M_x_MT_x_M37), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@504f9412 (name: TM_x_POS_x_M7), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3e380e59 (name: TM_x_M_x_MT_x_M128), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@31749216 (name: TM_x_M_x_MT_x_M91), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@e9651f4 (name: TM_x_POS_x_M2), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4958353d (name: TM_x_M_x_MT_x_M161), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1927ac40 (name: TM_x_M_x_MT_x_M104), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@79994ef0 (name: TM_x_M_x_MT_x_M116), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@47a768ca (name: TM_x_M_x_MT_x_M134), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2641182e (name: TM_x_M_x_MT_x_M65), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@19ac8bc3 (name: TM_x_M_x_MT_x_M160), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@180b2f0 (name: TM_x_M_x_MT_x_M139), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@35d6eda7 (name: TM_x_M_x_MT_x_M106), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@10aea3dc (name: TM_x_M_x_MT_x_M55), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@24029871 (name: TM_x_M_x_MT_x_M142), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@764a1e3d (name: TM_x_M_x_MT_x_M61), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3f5df8d (name: TM_x_POS_x_M0), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2d8076fd (name: TM_x_M_x_MT_x_M107), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@21cdceb2 (name: TM_x_M_x_MT_x_M118), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2ae81c68 (name: TM_x_M_x_MT_x_M136), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6aee016d (name: TM_x_M_x_MT_x_M43), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@70ba2b39 (name: TM_x_M_x_MT_x_M100), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@34a2f126 (name: TM_x_POS_x_M16), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4bb0063a (name: TM_x_M_x_MT_x_M47), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3687bc0d (name: TM_x_POS_x_M10), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@fd27d5e (name: TM_x_M_x_MT_x_M98), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4dab3e26 (name: TM_x_M_x_MT_x_M73), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1a4451cb (name: TM_x_POS_x_M11), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4c286ab9 (name: TM_x_M_x_MT_x_M121), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2dbb542f (name: TM_x_POS_x_M6), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@190fba99 (name: TM_x_M_x_MT_x_M124), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@309fcb06 (name: TM_x_M_x_MT_x_M137), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@abd1327 (name: TM_x_M_x_MT_x_M82), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4022febd (name: TM_x_M_x_MT_x_M155), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@17947234 (name: TM_x_M_x_MT_x_M157), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@65cf0468 (name: TM_x_M_x_MT_x_M29), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@37b7011e (name: TM_x_M_x_MT_x_M26), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@66f7cc6 (name: TM_x_POS_x_M3), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3c7941c8 (name: TM_x_M_x_MT_x_M14), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@28f83b41 (name: TM_x_M_x_MT_x_M35), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7e30df8b (name: TM_x_M_x_MT_x_M67), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@48830a3f (name: TM_x_M_x_MT_x_M110), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3c180da5 (name: TM_x_M_x_MT_x_M7), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@627562cb (name: TM_x_M_x_MT_x_M49), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@21f09f30 (name: TM_x_POS_x_M14), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@215a0c9b (name: TM_x_M_x_MT_x_M74), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1dad1b6f (name: TM_x_M_x_NEGSTEP6), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@216b8aa8 (name: TM_x_M_x_MT_x_M10), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6c808b47 (name: TM_x_M_x_NEGSTEP24), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1bbce377 (name: TM_x_M_x_MT_x_M125), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@190258cc (name: TM_x_POS_x_M15), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7cb7004 (name: TM_x_M_x_MT_x_M86), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3cc78f08 (name: TM_x_M_x_MT_x_M115), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5ba64c76 (name: TM_x_M_x_MT_x_M62), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1a2b76fa (name: TM_x_M_x_MT_x_M127), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5dafd27c (name: TM_x_M_x_MT_x_M97), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@74cfd712 (name: TM_x_M_x_MT_x_M88), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3643ac9d (name: TM_x_M_x_MT_x_M56), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7a90b670 (name: TM_x_M_x_MT_x_M80), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@230714e6 (name: TM_x_M_x_MT_x_M44), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1520efc2 (name: TM_x_M_x_MT_x_M103), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1a38040 (name: TM_x_M_x_MT_x_M16), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@22fd8e1e (name: TM_x_M_x_MT_x_M52), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5adc5b3a (name: TM_x_M_x_MT_x_M85), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4a4840a1 (name: TM_x_M_x_MT_x_M83), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@512146ca (name: TM_x_M_x_MT_x_M34), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1b93c67f (name: TM_x_M_x_MT_x_M19), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2941fab3 (name: TM_x_M_x_MT_x_M8), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@543bfac9 (name: TM_x_M_x_MT_x_M79), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7ab61b45 (name: TM_x_M_x_MT_x_M101), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@630f95fc (name: TM_x_M_x_MT_x_M143), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@75447fbd (name: TM_x_M_x_MT_x_M1), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2bcbc231 (name: TM_x_POS_x_M4), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@53e44718 (name: TM_x_M_x_MT_x_M154), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7f2e33d1 (name: TM_x_M_x_MT_x_M133)]
May 31, 2016 9:40:41 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 870 redundant transitions.
May 31, 2016 9:40:41 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.gal : 38 ms
May 31, 2016 9:40:41 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 16 ms
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_NeoElection-COL-2"
export BK_EXAMINATION="LTLFireability"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/root/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/S_NeoElection-COL-2.tgz
mv S_NeoElection-COL-2 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool itstools"
echo " Input is S_NeoElection-COL-2, examination is LTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r181kn-smll-146444112300987"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLFireability" != "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 "LTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;