fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest @ Petri Nets 2017
7th edition, Zaragoza, Spain, June 27, 2017
Execution of r120-blw7-149441651900231
Last Updated
June 27, 2017

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
6165.410 3600000.00 7130475.00 358.80 FF??????FF?????? normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
......
=====================================================================
Generated by BenchKit 2-3254
Executing tool 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 r120-blw7-149441651900231
=====================================================================

--------------------
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 1496432661161


Using solver YICES2 to compute partial order matrices.
Built C files in :
/home/mcc/execution
its-ltl command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-ltl-linux64 --gc-threshold 2000000 -i /home/mcc/execution/LTLFireability.pnml.gal -t CGAL -LTL /home/mcc/execution/LTLFireability.ltl -c -stutter-deadlock
Read 16 LTL properties
Checking formula 0 : !(((G(((((((((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M6.P_network_6>=1"))||(("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M24.P_network_24>=1")))||(("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M42.P_network_42>=1")))||(("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M60.P_network_60>=1")))||(("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M78.P_network_78>=1")))||(("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M96.P_network_96>=1")))||(("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M114.P_network_114>=1")))||(("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M132.P_network_132>=1")))||(("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M150.P_network_150>=1"))))U(X(((((((((("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M15.P_network_15>=1"))||(("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M33.P_network_33>=1")))||(("M0.P_poll__handlingMessage_0>=1")&&("M_x_M_x_MT_x_M51.P_network_51>=1")))||(("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M69.P_network_69>=1")))||(("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M87.P_network_87>=1")))||(("M1.P_poll__handlingMessage_1>=1")&&("M_x_M_x_MT_x_M105.P_network_105>=1")))||(("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M123.P_network_123>=1")))||(("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M141.P_network_141>=1")))||(("M2.P_poll__handlingMessage_2>=1")&&("M_x_M_x_MT_x_M159.P_network_159>=1"))))))
Formula 0 simplified : !(G(("M0.P_poll__handlingMessage_0>=1" & "M_x_M_x_MT_x_M6.P_network_6>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_M_x_MT_x_M24.P_network_24>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_M_x_MT_x_M42.P_network_42>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_M_x_MT_x_M60.P_network_60>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_M_x_MT_x_M78.P_network_78>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_M_x_MT_x_M96.P_network_96>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_M_x_MT_x_M114.P_network_114>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_M_x_MT_x_M132.P_network_132>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_M_x_MT_x_M150.P_network_150>=1")) U X(("M0.P_poll__handlingMessage_0>=1" & "M_x_M_x_MT_x_M15.P_network_15>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_M_x_MT_x_M33.P_network_33>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_M_x_MT_x_M51.P_network_51>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_M_x_MT_x_M69.P_network_69>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_M_x_MT_x_M87.P_network_87>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_M_x_MT_x_M105.P_network_105>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_M_x_MT_x_M123.P_network_123>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_M_x_MT_x_M141.P_network_141>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_M_x_MT_x_M159.P_network_159>=1")))
Presburger conditions satisfied. Using coverability to approximate state space in K-Induction.
// Phase 1: matrix 343 rows 170 cols
invariant : 1'M_x_POS0:P_sendAnnPs__broadcasting_0 + -1'M_x_STAGE1:P_stage_1 + 1'M0:P_electedPrimary_0= 0
invariant : 1'M_x_M_x_NEGSTEP1:P_negotiation_1 + 1'M_x_M_x_NEGSTEP2:P_negotiation_2= 0
invariant : 1'M_x_POS0:P_startNeg__broadcasting_0 + 1'M0:P_electionInit_0= 0
invariant : 1'M_x_M_x_NEGSTEP13:P_negotiation_13 + 1'M_x_M_x_NEGSTEP14:P_negotiation_14= 1
invariant : 1'M_x_M_x_NEGSTEP19:P_negotiation_19 + 1'M_x_M_x_NEGSTEP20:P_negotiation_20= 0
invariant : 1'M_x_BOOL_x_M0:P_masterState_0 + 1'M_x_BOOL_x_M1:P_masterState_1 + 1'M_x_BOOL_x_M2:P_masterState_2 + 1'M_x_BOOL_x_M3:P_masterState_3 + 1'M_x_BOOL_x_M4:P_masterState_4 + 1'M_x_BOOL_x_M5:P_masterState_5= 0
invariant : 1'M_x_BOOL_x_M6:P_masterState_6 + 1'M_x_BOOL_x_M7:P_masterState_7 + 1'M_x_BOOL_x_M8:P_masterState_8 + 1'M_x_BOOL_x_M9:P_masterState_9 + 1'M_x_BOOL_x_M10:P_masterState_10 + 1'M_x_BOOL_x_M11:P_masterState_11= 1
invariant : 1'M_x_M_x_NEGSTEP10:P_negotiation_10 + 1'M_x_M_x_NEGSTEP11:P_negotiation_11= 0
invariant : 1'M_x_BOOL_x_M12:P_masterState_12 + 1'M_x_BOOL_x_M13:P_masterState_13 + 1'M_x_BOOL_x_M14:P_masterState_14 + 1'M_x_BOOL_x_M15:P_masterState_15 + 1'M_x_BOOL_x_M16:P_masterState_16 + 1'M_x_BOOL_x_M17:P_masterState_17= 1
invariant : 1'M_x_POS2:P_startNeg__broadcasting_2 + 1'M1:P_electionInit_1 + 1'M_x_M_x_NEGSTEP16:P_negotiation_16 + 1'M_x_M_x_NEGSTEP17:P_negotiation_17= 1
invariant : -1'M_x_POS4:P_startNeg__broadcasting_4 + -1'M2:P_electionInit_2 + 1'M_x_M_x_NEGSTEP21:P_negotiation_21= 0
invariant : 1'M_x_STAGE3:P_stage_3 + 1'M_x_STAGE4:P_stage_4 + 1'M_x_STAGE5:P_stage_5= 1
invariant : 1'M_x_POS1:P_sendAnnPs__broadcasting_1 + 1'M_x_POS1:P_startNeg__broadcasting_1 + 1'M_x_STAGE0:P_stage_0 + 1'M_x_STAGE1:P_stage_1 + 1'M0:P_electedSecondary_0 + 1'M0:P_poll__handlingMessage_0 + 1'M0:P_poll__pollEnd_0 + 1'M0:P_polling_0= 0
invariant : 1'M_x_POS4:P_sendAnnPs__broadcasting_4 + 1'M_x_POS4:P_startNeg__broadcasting_4 + 1'M_x_POS5:P_sendAnnPs__broadcasting_5 + 1'M_x_POS5:P_startNeg__broadcasting_5 + 1'M_x_STAGE6:P_stage_6 + 1'M2:P_electedPrimary_2 + 1'M2:P_electedSecondary_2 + 1'M2:P_electionInit_2 + 1'M2:P_poll__handlingMessage_2 + 1'M2:P_poll__pollEnd_2 + 1'M2:P_polling_2= 2
invariant : 1'M_x_M_x_NEGSTEP7:P_negotiation_7 + 1'M_x_M_x_NEGSTEP8:P_negotiation_8= 0
invariant : -1'M_x_STAGE3:P_stage_3 + 1'M1:P_poll__waitingMessage_1= -1
invariant : 1'M_x_STAGE6:P_stage_6 + 1'M_x_STAGE7:P_stage_7 + 1'M_x_STAGE8:P_stage_8= 1
invariant : -1'M_x_STAGE6:P_stage_6 + 1'M2:P_poll__waitingMessage_2= -1
invariant : 1'M_x_STAGE0:P_stage_0 + 1'M_x_STAGE1:P_stage_1 + 1'M_x_STAGE2:P_stage_2= 0
invariant : 1'M_x_M_x_NEGSTEP4:P_negotiation_4 + 1'M_x_M_x_NEGSTEP5:P_negotiation_5= 0
invariant : 1'M_x_POS2:P_sendAnnPs__broadcasting_2 + 1'M_x_POS2:P_startNeg__broadcasting_2 + 1'M_x_POS3:P_sendAnnPs__broadcasting_3 + 1'M_x_POS3:P_startNeg__broadcasting_3 + 1'M_x_STAGE3:P_stage_3 + 1'M1:P_electedPrimary_1 + 1'M1:P_electedSecondary_1 + 1'M1:P_electionInit_1 + 1'M1:P_poll__handlingMessage_1 + 1'M1:P_poll__pollEnd_1 + 1'M1:P_polling_1= 2
invariant : 1'M_x_M_x_NEGSTEP25:P_negotiation_25 + 1'M_x_M_x_NEGSTEP26:P_negotiation_26= 1
invariant : 1'M_x_POS4:P_startNeg__broadcasting_4 + 1'M2:P_electionInit_2 + 1'M_x_M_x_NEGSTEP22:P_negotiation_22 + 1'M_x_M_x_NEGSTEP23:P_negotiation_23= 1
invariant : -1'M_x_STAGE0:P_stage_0 + 1'M0:P_poll__waitingMessage_0= 0
invariant : -1'M_x_POS2:P_startNeg__broadcasting_2 + -1'M1:P_electionInit_1 + 1'M_x_M_x_NEGSTEP15:P_negotiation_15= 0
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
21 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,332.307,240488,1,0,11441,933,3618,10328,121,847,131916
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 : !((X(G((X((("M_x_POS1.P_sendAnnPs__broadcasting_1>=1")||("M_x_POS3.P_sendAnnPs__broadcasting_3>=1"))||("M_x_POS5.P_sendAnnPs__broadcasting_5>=1")))U(("M_x_POS4.P_sendAnnPs__broadcasting_4>=1")||("M_x_POS2.P_sendAnnPs__broadcasting_2>=1"))))))
Formula 1 simplified : !XG(X("M_x_POS1.P_sendAnnPs__broadcasting_1>=1" | "M_x_POS3.P_sendAnnPs__broadcasting_3>=1" | "M_x_POS5.P_sendAnnPs__broadcasting_5>=1") U ("M_x_POS2.P_sendAnnPs__broadcasting_2>=1" | "M_x_POS4.P_sendAnnPs__broadcasting_4>=1"))
36 unique states visited
36 strongly connected components in search stack
37 transitions explored
36 items max in DFS search stack
3 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,332.339,126352,1,0,11795,933,3641,14987,121,847,138241
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 : !(((((((("M_x_STAGE0.P_stage_0>=1")&&("M_x_M_x_NEGSTEP5.P_negotiation_5>=1"))&&("M_x_M_x_NEGSTEP8.P_negotiation_8>=1"))&&("M_x_BOOL_x_M3.P_masterState_3>=1"))&&("M0.P_poll__waitingMessage_0>=1"))||((((("M_x_STAGE3.P_stage_3>=1")&&("M_x_M_x_NEGSTEP14.P_negotiation_14>=1"))&&("M_x_M_x_NEGSTEP17.P_negotiation_17>=1"))&&("M_x_BOOL_x_M9.P_masterState_9>=1"))&&("M1.P_poll__waitingMessage_1>=1")))||((((("M_x_STAGE6.P_stage_6>=1")&&("M_x_M_x_NEGSTEP23.P_negotiation_23>=1"))&&("M_x_M_x_NEGSTEP26.P_negotiation_26>=1"))&&("M_x_BOOL_x_M15.P_masterState_15>=1"))&&("M2.P_poll__waitingMessage_2>=1"))))
Formula 2 simplified : !(("M0.P_poll__waitingMessage_0>=1" & "M_x_BOOL_x_M3.P_masterState_3>=1" & "M_x_M_x_NEGSTEP5.P_negotiation_5>=1" & "M_x_M_x_NEGSTEP8.P_negotiation_8>=1" & "M_x_STAGE0.P_stage_0>=1") | ("M1.P_poll__waitingMessage_1>=1" & "M_x_BOOL_x_M9.P_masterState_9>=1" & "M_x_M_x_NEGSTEP14.P_negotiation_14>=1" & "M_x_M_x_NEGSTEP17.P_negotiation_17>=1" & "M_x_STAGE3.P_stage_3>=1") | ("M2.P_poll__waitingMessage_2>=1" & "M_x_BOOL_x_M15.P_masterState_15>=1" & "M_x_M_x_NEGSTEP23.P_negotiation_23>=1" & "M_x_M_x_NEGSTEP26.P_negotiation_26>=1" & "M_x_STAGE6.P_stage_6>=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,332.894,133684,1,0,11795,933,3725,14987,123,847,139700
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 : !((G(G(X(G(((((((((((((((((((((((((((((((((((((("M1.P_poll__handlingMessage_1>=1")&&("M_x_BOOL_x_M6.P_masterState_6>=1"))&&("M_x_M_x_MT_x_M66.P_network_66>=1"))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_BOOL_x_M6.P_masterState_6>=1"))&&("M_x_M_x_MT_x_M84.P_network_84>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_BOOL_x_M6.P_masterState_6>=1"))&&("M_x_M_x_MT_x_M102.P_network_102>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_BOOL_x_M12.P_masterState_12>=1"))&&("M_x_M_x_MT_x_M120.P_network_120>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_BOOL_x_M12.P_masterState_12>=1"))&&("M_x_M_x_MT_x_M138.P_network_138>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_BOOL_x_M12.P_masterState_12>=1"))&&("M_x_M_x_MT_x_M156.P_network_156>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_BOOL_x_M1.P_masterState_1>=1"))&&("M_x_M_x_MT_x_M12.P_network_12>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_BOOL_x_M1.P_masterState_1>=1"))&&("M_x_M_x_MT_x_M30.P_network_30>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_BOOL_x_M1.P_masterState_1>=1"))&&("M_x_M_x_MT_x_M48.P_network_48>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_BOOL_x_M13.P_masterState_13>=1"))&&("M_x_M_x_MT_x_M120.P_network_120>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_BOOL_x_M13.P_masterState_13>=1"))&&("M_x_M_x_MT_x_M138.P_network_138>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_BOOL_x_M13.P_masterState_13>=1"))&&("M_x_M_x_MT_x_M156.P_network_156>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_BOOL_x_M2.P_masterState_2>=1"))&&("M_x_M_x_MT_x_M12.P_network_12>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_BOOL_x_M2.P_masterState_2>=1"))&&("M_x_M_x_MT_x_M30.P_network_30>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_BOOL_x_M2.P_masterState_2>=1"))&&("M_x_M_x_MT_x_M48.P_network_48>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_BOOL_x_M8.P_masterState_8>=1"))&&("M_x_M_x_MT_x_M66.P_network_66>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_BOOL_x_M8.P_masterState_8>=1"))&&("M_x_M_x_MT_x_M84.P_network_84>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_BOOL_x_M8.P_masterState_8>=1"))&&("M_x_M_x_MT_x_M102.P_network_102>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_BOOL_x_M9.P_masterState_9>=1"))&&("M_x_M_x_MT_x_M66.P_network_66>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_BOOL_x_M9.P_masterState_9>=1"))&&("M_x_M_x_MT_x_M84.P_network_84>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_BOOL_x_M9.P_masterState_9>=1"))&&("M_x_M_x_MT_x_M102.P_network_102>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_BOOL_x_M15.P_masterState_15>=1"))&&("M_x_M_x_MT_x_M120.P_network_120>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_BOOL_x_M15.P_masterState_15>=1"))&&("M_x_M_x_MT_x_M138.P_network_138>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_BOOL_x_M15.P_masterState_15>=1"))&&("M_x_M_x_MT_x_M156.P_network_156>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_BOOL_x_M4.P_masterState_4>=1"))&&("M_x_M_x_MT_x_M12.P_network_12>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_BOOL_x_M4.P_masterState_4>=1"))&&("M_x_M_x_MT_x_M30.P_network_30>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_BOOL_x_M4.P_masterState_4>=1"))&&("M_x_M_x_MT_x_M48.P_network_48>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_BOOL_x_M16.P_masterState_16>=1"))&&("M_x_M_x_MT_x_M120.P_network_120>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_BOOL_x_M16.P_masterState_16>=1"))&&("M_x_M_x_MT_x_M138.P_network_138>=1")))||((("M2.P_poll__handlingMessage_2>=1")&&("M_x_BOOL_x_M16.P_masterState_16>=1"))&&("M_x_M_x_MT_x_M156.P_network_156>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_BOOL_x_M5.P_masterState_5>=1"))&&("M_x_M_x_MT_x_M12.P_network_12>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_BOOL_x_M5.P_masterState_5>=1"))&&("M_x_M_x_MT_x_M30.P_network_30>=1")))||((("M0.P_poll__handlingMessage_0>=1")&&("M_x_BOOL_x_M5.P_masterState_5>=1"))&&("M_x_M_x_MT_x_M48.P_network_48>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_BOOL_x_M11.P_masterState_11>=1"))&&("M_x_M_x_MT_x_M66.P_network_66>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_BOOL_x_M11.P_masterState_11>=1"))&&("M_x_M_x_MT_x_M84.P_network_84>=1")))||((("M1.P_poll__handlingMessage_1>=1")&&("M_x_BOOL_x_M11.P_masterState_11>=1"))&&("M_x_M_x_MT_x_M102.P_network_102>=1"))))))))
Formula 3 simplified : !GXG(("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M6.P_masterState_6>=1" & "M_x_M_x_MT_x_M66.P_network_66>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M6.P_masterState_6>=1" & "M_x_M_x_MT_x_M84.P_network_84>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M6.P_masterState_6>=1" & "M_x_M_x_MT_x_M102.P_network_102>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M12.P_masterState_12>=1" & "M_x_M_x_MT_x_M120.P_network_120>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M12.P_masterState_12>=1" & "M_x_M_x_MT_x_M138.P_network_138>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M12.P_masterState_12>=1" & "M_x_M_x_MT_x_M156.P_network_156>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M1.P_masterState_1>=1" & "M_x_M_x_MT_x_M12.P_network_12>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M1.P_masterState_1>=1" & "M_x_M_x_MT_x_M30.P_network_30>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M1.P_masterState_1>=1" & "M_x_M_x_MT_x_M48.P_network_48>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M13.P_masterState_13>=1" & "M_x_M_x_MT_x_M120.P_network_120>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M13.P_masterState_13>=1" & "M_x_M_x_MT_x_M138.P_network_138>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M13.P_masterState_13>=1" & "M_x_M_x_MT_x_M156.P_network_156>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M2.P_masterState_2>=1" & "M_x_M_x_MT_x_M12.P_network_12>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M2.P_masterState_2>=1" & "M_x_M_x_MT_x_M30.P_network_30>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M2.P_masterState_2>=1" & "M_x_M_x_MT_x_M48.P_network_48>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M8.P_masterState_8>=1" & "M_x_M_x_MT_x_M66.P_network_66>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M8.P_masterState_8>=1" & "M_x_M_x_MT_x_M84.P_network_84>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M8.P_masterState_8>=1" & "M_x_M_x_MT_x_M102.P_network_102>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M9.P_masterState_9>=1" & "M_x_M_x_MT_x_M66.P_network_66>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M9.P_masterState_9>=1" & "M_x_M_x_MT_x_M84.P_network_84>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M9.P_masterState_9>=1" & "M_x_M_x_MT_x_M102.P_network_102>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M15.P_masterState_15>=1" & "M_x_M_x_MT_x_M120.P_network_120>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M15.P_masterState_15>=1" & "M_x_M_x_MT_x_M138.P_network_138>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M15.P_masterState_15>=1" & "M_x_M_x_MT_x_M156.P_network_156>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M4.P_masterState_4>=1" & "M_x_M_x_MT_x_M12.P_network_12>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M4.P_masterState_4>=1" & "M_x_M_x_MT_x_M30.P_network_30>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M4.P_masterState_4>=1" & "M_x_M_x_MT_x_M48.P_network_48>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M16.P_masterState_16>=1" & "M_x_M_x_MT_x_M120.P_network_120>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M16.P_masterState_16>=1" & "M_x_M_x_MT_x_M138.P_network_138>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M16.P_masterState_16>=1" & "M_x_M_x_MT_x_M156.P_network_156>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M5.P_masterState_5>=1" & "M_x_M_x_MT_x_M12.P_network_12>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M5.P_masterState_5>=1" & "M_x_M_x_MT_x_M30.P_network_30>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M5.P_masterState_5>=1" & "M_x_M_x_MT_x_M48.P_network_48>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M11.P_masterState_11>=1" & "M_x_M_x_MT_x_M66.P_network_66>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M11.P_masterState_11>=1" & "M_x_M_x_MT_x_M84.P_network_84>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M11.P_masterState_11>=1" & "M_x_M_x_MT_x_M102.P_network_102>=1"))
4 unique states visited
4 strongly connected components in search stack
4 transitions explored
4 items max in DFS search stack
3 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,1694.46,922276,1,0,11795,933,4430,14987,123,847,143335
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 : !((X(F(((((((((((((((((((((((((((((((((((((((((((((((((((((((("M_x_M_x_MT_x_M0.P_network_0>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M0.P_masterState_0>=1"))||((("M_x_M_x_MT_x_M18.P_network_18>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M0.P_masterState_0>=1")))||((("M_x_M_x_MT_x_M36.P_network_36>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M0.P_masterState_0>=1")))||((("M_x_M_x_MT_x_M54.P_network_54>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M6.P_masterState_6>=1")))||((("M_x_M_x_MT_x_M72.P_network_72>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M6.P_masterState_6>=1")))||((("M_x_M_x_MT_x_M90.P_network_90>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M6.P_masterState_6>=1")))||((("M_x_M_x_MT_x_M108.P_network_108>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M12.P_masterState_12>=1")))||((("M_x_M_x_MT_x_M126.P_network_126>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M12.P_masterState_12>=1")))||((("M_x_M_x_MT_x_M144.P_network_144>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M12.P_masterState_12>=1")))||((("M_x_M_x_MT_x_M0.P_network_0>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M1.P_masterState_1>=1")))||((("M_x_M_x_MT_x_M18.P_network_18>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M1.P_masterState_1>=1")))||((("M_x_M_x_MT_x_M36.P_network_36>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M1.P_masterState_1>=1")))||((("M_x_M_x_MT_x_M54.P_network_54>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M7.P_masterState_7>=1")))||((("M_x_M_x_MT_x_M72.P_network_72>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M7.P_masterState_7>=1")))||((("M_x_M_x_MT_x_M90.P_network_90>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M7.P_masterState_7>=1")))||((("M_x_M_x_MT_x_M108.P_network_108>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M13.P_masterState_13>=1")))||((("M_x_M_x_MT_x_M126.P_network_126>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M13.P_masterState_13>=1")))||((("M_x_M_x_MT_x_M144.P_network_144>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M13.P_masterState_13>=1")))||((("M_x_M_x_MT_x_M0.P_network_0>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M2.P_masterState_2>=1")))||((("M_x_M_x_MT_x_M18.P_network_18>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M2.P_masterState_2>=1")))||((("M_x_M_x_MT_x_M36.P_network_36>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M2.P_masterState_2>=1")))||((("M_x_M_x_MT_x_M54.P_network_54>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M8.P_masterState_8>=1")))||((("M_x_M_x_MT_x_M72.P_network_72>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M8.P_masterState_8>=1")))||((("M_x_M_x_MT_x_M90.P_network_90>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M8.P_masterState_8>=1")))||((("M_x_M_x_MT_x_M108.P_network_108>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M14.P_masterState_14>=1")))||((("M_x_M_x_MT_x_M126.P_network_126>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M14.P_masterState_14>=1")))||((("M_x_M_x_MT_x_M144.P_network_144>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M14.P_masterState_14>=1")))||((("M_x_M_x_MT_x_M0.P_network_0>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M3.P_masterState_3>=1")))||((("M_x_M_x_MT_x_M18.P_network_18>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M3.P_masterState_3>=1")))||((("M_x_M_x_MT_x_M36.P_network_36>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M3.P_masterState_3>=1")))||((("M_x_M_x_MT_x_M54.P_network_54>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M9.P_masterState_9>=1")))||((("M_x_M_x_MT_x_M72.P_network_72>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M9.P_masterState_9>=1")))||((("M_x_M_x_MT_x_M90.P_network_90>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M9.P_masterState_9>=1")))||((("M_x_M_x_MT_x_M108.P_network_108>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M15.P_masterState_15>=1")))||((("M_x_M_x_MT_x_M126.P_network_126>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M15.P_masterState_15>=1")))||((("M_x_M_x_MT_x_M144.P_network_144>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M15.P_masterState_15>=1")))||((("M_x_M_x_MT_x_M0.P_network_0>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M4.P_masterState_4>=1")))||((("M_x_M_x_MT_x_M18.P_network_18>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M4.P_masterState_4>=1")))||((("M_x_M_x_MT_x_M36.P_network_36>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M4.P_masterState_4>=1")))||((("M_x_M_x_MT_x_M54.P_network_54>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M10.P_masterState_10>=1")))||((("M_x_M_x_MT_x_M72.P_network_72>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M10.P_masterState_10>=1")))||((("M_x_M_x_MT_x_M90.P_network_90>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M10.P_masterState_10>=1")))||((("M_x_M_x_MT_x_M108.P_network_108>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M16.P_masterState_16>=1")))||((("M_x_M_x_MT_x_M126.P_network_126>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M16.P_masterState_16>=1")))||((("M_x_M_x_MT_x_M144.P_network_144>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M16.P_masterState_16>=1")))||((("M_x_M_x_MT_x_M0.P_network_0>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M5.P_masterState_5>=1")))||((("M_x_M_x_MT_x_M18.P_network_18>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M5.P_masterState_5>=1")))||((("M_x_M_x_MT_x_M36.P_network_36>=1")&&("M0.P_poll__handlingMessage_0>=1"))&&("M_x_BOOL_x_M5.P_masterState_5>=1")))||((("M_x_M_x_MT_x_M54.P_network_54>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M11.P_masterState_11>=1")))||((("M_x_M_x_MT_x_M72.P_network_72>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M11.P_masterState_11>=1")))||((("M_x_M_x_MT_x_M90.P_network_90>=1")&&("M1.P_poll__handlingMessage_1>=1"))&&("M_x_BOOL_x_M11.P_masterState_11>=1")))||((("M_x_M_x_MT_x_M108.P_network_108>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M17.P_masterState_17>=1")))||((("M_x_M_x_MT_x_M126.P_network_126>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M17.P_masterState_17>=1")))||((("M_x_M_x_MT_x_M144.P_network_144>=1")&&("M2.P_poll__handlingMessage_2>=1"))&&("M_x_BOOL_x_M17.P_masterState_17>=1"))))))
Formula 4 simplified : !XF(("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M0.P_masterState_0>=1" & "M_x_M_x_MT_x_M0.P_network_0>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M0.P_masterState_0>=1" & "M_x_M_x_MT_x_M18.P_network_18>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M0.P_masterState_0>=1" & "M_x_M_x_MT_x_M36.P_network_36>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M6.P_masterState_6>=1" & "M_x_M_x_MT_x_M54.P_network_54>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M6.P_masterState_6>=1" & "M_x_M_x_MT_x_M72.P_network_72>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M6.P_masterState_6>=1" & "M_x_M_x_MT_x_M90.P_network_90>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M12.P_masterState_12>=1" & "M_x_M_x_MT_x_M108.P_network_108>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M12.P_masterState_12>=1" & "M_x_M_x_MT_x_M126.P_network_126>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M12.P_masterState_12>=1" & "M_x_M_x_MT_x_M144.P_network_144>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M1.P_masterState_1>=1" & "M_x_M_x_MT_x_M0.P_network_0>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M1.P_masterState_1>=1" & "M_x_M_x_MT_x_M18.P_network_18>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M1.P_masterState_1>=1" & "M_x_M_x_MT_x_M36.P_network_36>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M7.P_masterState_7>=1" & "M_x_M_x_MT_x_M54.P_network_54>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M7.P_masterState_7>=1" & "M_x_M_x_MT_x_M72.P_network_72>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M7.P_masterState_7>=1" & "M_x_M_x_MT_x_M90.P_network_90>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M13.P_masterState_13>=1" & "M_x_M_x_MT_x_M108.P_network_108>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M13.P_masterState_13>=1" & "M_x_M_x_MT_x_M126.P_network_126>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M13.P_masterState_13>=1" & "M_x_M_x_MT_x_M144.P_network_144>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M2.P_masterState_2>=1" & "M_x_M_x_MT_x_M0.P_network_0>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M2.P_masterState_2>=1" & "M_x_M_x_MT_x_M18.P_network_18>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M2.P_masterState_2>=1" & "M_x_M_x_MT_x_M36.P_network_36>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M8.P_masterState_8>=1" & "M_x_M_x_MT_x_M54.P_network_54>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M8.P_masterState_8>=1" & "M_x_M_x_MT_x_M72.P_network_72>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M8.P_masterState_8>=1" & "M_x_M_x_MT_x_M90.P_network_90>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M14.P_masterState_14>=1" & "M_x_M_x_MT_x_M108.P_network_108>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M14.P_masterState_14>=1" & "M_x_M_x_MT_x_M126.P_network_126>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M14.P_masterState_14>=1" & "M_x_M_x_MT_x_M144.P_network_144>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M3.P_masterState_3>=1" & "M_x_M_x_MT_x_M0.P_network_0>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M3.P_masterState_3>=1" & "M_x_M_x_MT_x_M18.P_network_18>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M3.P_masterState_3>=1" & "M_x_M_x_MT_x_M36.P_network_36>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M9.P_masterState_9>=1" & "M_x_M_x_MT_x_M54.P_network_54>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M9.P_masterState_9>=1" & "M_x_M_x_MT_x_M72.P_network_72>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M9.P_masterState_9>=1" & "M_x_M_x_MT_x_M90.P_network_90>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M15.P_masterState_15>=1" & "M_x_M_x_MT_x_M108.P_network_108>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M15.P_masterState_15>=1" & "M_x_M_x_MT_x_M126.P_network_126>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M15.P_masterState_15>=1" & "M_x_M_x_MT_x_M144.P_network_144>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M4.P_masterState_4>=1" & "M_x_M_x_MT_x_M0.P_network_0>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M4.P_masterState_4>=1" & "M_x_M_x_MT_x_M18.P_network_18>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M4.P_masterState_4>=1" & "M_x_M_x_MT_x_M36.P_network_36>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M10.P_masterState_10>=1" & "M_x_M_x_MT_x_M54.P_network_54>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M10.P_masterState_10>=1" & "M_x_M_x_MT_x_M72.P_network_72>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M10.P_masterState_10>=1" & "M_x_M_x_MT_x_M90.P_network_90>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M16.P_masterState_16>=1" & "M_x_M_x_MT_x_M108.P_network_108>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M16.P_masterState_16>=1" & "M_x_M_x_MT_x_M126.P_network_126>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M16.P_masterState_16>=1" & "M_x_M_x_MT_x_M144.P_network_144>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M5.P_masterState_5>=1" & "M_x_M_x_MT_x_M0.P_network_0>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M5.P_masterState_5>=1" & "M_x_M_x_MT_x_M18.P_network_18>=1") | ("M0.P_poll__handlingMessage_0>=1" & "M_x_BOOL_x_M5.P_masterState_5>=1" & "M_x_M_x_MT_x_M36.P_network_36>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M11.P_masterState_11>=1" & "M_x_M_x_MT_x_M54.P_network_54>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M11.P_masterState_11>=1" & "M_x_M_x_MT_x_M72.P_network_72>=1") | ("M1.P_poll__handlingMessage_1>=1" & "M_x_BOOL_x_M11.P_masterState_11>=1" & "M_x_M_x_MT_x_M90.P_network_90>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M17.P_masterState_17>=1" & "M_x_M_x_MT_x_M108.P_network_108>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M17.P_masterState_17>=1" & "M_x_M_x_MT_x_M126.P_network_126>=1") | ("M2.P_poll__handlingMessage_2>=1" & "M_x_BOOL_x_M17.P_masterState_17>=1" & "M_x_M_x_MT_x_M144.P_network_144>=1"))
Detected timeout of ITS tools.

BK_TIME_CONFINEMENT_REACHED

--------------------
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 -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination LTLFireability -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 02, 2017 7:44:22 PM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 02, 2017 7:44:22 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 02, 2017 7:44:23 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1579 ms
Jun 02, 2017 7:44:23 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 18 places.
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :M * POS->P-sendAnnPs__broadcasting,P-startNeg__broadcasting,
M * STAGE->P-stage,
M * M * MT * M->P-network,P-poll__networl,
M * POS * M->P-masterList,
M * BOOL * M->P-masterState,
M->P-crashed,dead,P-electedPrimary,P-electedSecondary,P-electionFailed,P-electionInit,P-poll__handlingMessage,P-poll__pollEnd,P-poll__waitingMessage,P-polling,
M * M * NEGSTEP->P-negotiation,

Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 22 transitions.
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.instantiate.Instantiator instantiateParameters
INFO: On-the-fly reduction of False transitions avoided exploring 125 instantiations of transitions. Total transitions/syncs built is 366
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.instantiate.Instantiator normalizeCalls
INFO: Calls to non existing labels (possibly due to false guards) leads to 6 abort statements.
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 4 fixed domain variables (out of 438 variables) in GAL type NeoElection_COL_2
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 261 constant array cells/variables (out of 438 variables) in type NeoElection_COL_2
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_crashed[0-2], P_poll__networl[0-3,6-21,24-39,42-57,60-75,78-93,96-111,114-129,132-147,150-161], P_masterList[0-17], dead[0-2], P_electionFailed[0-2], P_network[1-2,7-8,10-11,13-14,16-17,19-20,25-26,28-29,31-32,34-35,37-38,43-44,46-47,49-50,52-53,55-56,61-62,64-65,67-68,70-71,73-74,79-80,82-83,85-86,88-89,91-92,97-98,100-101,103-104,106-107,109-110,115-116,118-119,121-122,124-125,127-128,133-134,136-137,139-140,142-143,145-146,151-152,154-155,157-158,160-161],
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 90 expressions due to constant valuations.
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.instantiate.Simplifier simplifyFalseTransitions
INFO: Removed 32 false transitions.
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 241 constant array cells/variables (out of 411 variables) in type NeoElection_COL_2
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl[0-3,6-21,24-39,42-57,60-75,78-93,96-111,114-129,132-147,150-161], P_negotiation[0,3,6,9,12,18,24], P_network[1-2,7-8,10-11,13-14,16-17,19-20,25-26,28-29,31-32,34-35,37-38,43-44,46-47,49-50,52-53,55-56,61-62,64-65,67-68,70-71,73-74,79-80,82-83,85-86,88-89,91-92,97-98,100-101,103-104,106-107,109-110,115-116,118-119,121-122,124-125,127-128,133-134,136-137,139-140,142-143,145-146,151-152,154-155,157-158,160-161],
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 241 constant array cells/variables (out of 411 variables) in type NeoElection_COL_2
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl[0-3,6-21,24-39,42-57,60-75,78-93,96-111,114-129,132-147,150-161], P_negotiation[0,3,6,9,12,18,24], P_network[1-2,7-8,10-11,13-14,16-17,19-20,25-26,28-29,31-32,34-35,37-38,43-44,46-47,49-50,52-53,55-56,61-62,64-65,67-68,70-71,73-74,79-80,82-83,85-86,88-89,91-92,97-98,100-101,103-104,106-107,109-110,115-116,118-119,121-122,124-125,127-128,133-134,136-137,139-140,142-143,145-146,151-152,154-155,157-158,160-161],
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 3 uncalled transitions from type NeoElection_COL_2
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 275 ms
Jun 02, 2017 7:44:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting arrays P_electedPrimary, P_electedSecondary, P_electionInit, P_masterState, P_negotiation, P_network, P_poll__handlingMessage, P_poll__networl, P_poll__pollEnd, P_poll__waitingMessage, P_polling, P_sendAnnPs__broadcasting, P_stage, P_startNeg__broadcasting to variables to allow decomposition.
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M0
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M0
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_0,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_0
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M1
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M1
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_1,P_poll__networl_1,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_1, P_poll__networl_1
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M2
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M2
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_2,P_poll__networl_2,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_2, P_poll__networl_2
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M3
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M3
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_3,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_3
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M6
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M6
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_6,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_6
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M7
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M7
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_7,P_network_7,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_7, P_network_7
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M8
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M8
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_8,P_poll__networl_8,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_8, P_poll__networl_8
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M9
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M9
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_9,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_9
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M10
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M10
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_10,P_poll__networl_10,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_10, P_poll__networl_10
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M11
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M11
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_11,P_poll__networl_11,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_11, P_poll__networl_11
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M12
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M12
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_12,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_12
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M13
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M13
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_13,P_network_13,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_13, P_network_13
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M14
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M14
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_14,P_poll__networl_14,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_14, P_poll__networl_14
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M15
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M15
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_15,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_15
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M16
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M16
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_16,P_network_16,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_16, P_network_16
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M17
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M17
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_17,P_poll__networl_17,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_17, P_poll__networl_17
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M18
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M18
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_18,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_18
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M19
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M19
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_19,P_network_19,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_19, P_network_19
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M20
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M20
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_20,P_poll__networl_20,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_20, P_poll__networl_20
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M21
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M21
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_21,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_21
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M24
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M24
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_24,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_24
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M25
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M25
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_25,P_network_25,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_25, P_network_25
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M26
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M26
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_26,P_poll__networl_26,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_26, P_poll__networl_26
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M27
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M27
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_27,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_27
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M28
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M28
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_28,P_poll__networl_28,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_28, P_poll__networl_28
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M29
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M29
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_29,P_poll__networl_29,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_29, P_poll__networl_29
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M30
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M30
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_30,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_30
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M31
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M31
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_31,P_poll__networl_31,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_31, P_poll__networl_31
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M32
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M32
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_32,P_poll__networl_32,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_32, P_poll__networl_32
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M33
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M33
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_33,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_33
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M34
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M34
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_34,P_network_34,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_34, P_network_34
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M35
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M35
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_35,P_poll__networl_35,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_35, P_poll__networl_35
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M36
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M36
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_36,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_36
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M37
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M37
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_37,P_poll__networl_37,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_37, P_poll__networl_37
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M38
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M38
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_38,P_network_38,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_38, P_network_38
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M39
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M39
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_39,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_39
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M42
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M42
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_42,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_42
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M43
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M43
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_43,P_network_43,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_43, P_network_43
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M44
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M44
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_44,P_poll__networl_44,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_44, P_poll__networl_44
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M45
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M45
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_45,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_45
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M46
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M46
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_46,P_poll__networl_46,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_46, P_poll__networl_46
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M47
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M47
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_47,P_network_47,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_47, P_network_47
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M48
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M48
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_48,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_48
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M49
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M49
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_49,P_poll__networl_49,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_49, P_poll__networl_49
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M50
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M50
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_50,P_network_50,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_50, P_network_50
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M51
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M51
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_51,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_51
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M52
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M52
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_52,P_network_52,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_52, P_network_52
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M53
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M53
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_53,P_poll__networl_53,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_53, P_poll__networl_53
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M54
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M54
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_54,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_54
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M55
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M55
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_55,P_network_55,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_55, P_network_55
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M56
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M56
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_56,P_poll__networl_56,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_56, P_poll__networl_56
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M57
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M57
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_57,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_57
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M60
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M60
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_60,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_60
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M61
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M61
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_61,P_network_61,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_61, P_network_61
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M62
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M62
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_62,P_poll__networl_62,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_62, P_poll__networl_62
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M63
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M63
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_63,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_63
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M64
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M64
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_64,P_poll__networl_64,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_64, P_poll__networl_64
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M65
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M65
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_65,P_poll__networl_65,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_65, P_poll__networl_65
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M66
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M66
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_66,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_66
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M67
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M67
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_67,P_poll__networl_67,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_67, P_poll__networl_67
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M68
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M68
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_68,P_network_68,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_68, P_network_68
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M69
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M69
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_69,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_69
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M70
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M70
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_70,P_network_70,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_70, P_network_70
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M71
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M71
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_71,P_poll__networl_71,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_71, P_poll__networl_71
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M72
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M72
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_72,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_72
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M73
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M73
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_73,P_network_73,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_73, P_network_73
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M74
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M74
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_74,P_poll__networl_74,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_74, P_poll__networl_74
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M75
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M75
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_75,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_75
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M78
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M78
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_78,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_78
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M79
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M79
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_79,P_poll__networl_79,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_79, P_poll__networl_79
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M80
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M80
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_80,P_poll__networl_80,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_80, P_poll__networl_80
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M81
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M81
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_81,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_81
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M82
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M82
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_82,P_poll__networl_82,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_82, P_poll__networl_82
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M83
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M83
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_83,P_network_83,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_83, P_network_83
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M84
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M84
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_84,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_84
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M85
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M85
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_85,P_network_85,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_85, P_network_85
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M86
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M86
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_86,P_poll__networl_86,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_86, P_poll__networl_86
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M87
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M87
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_87,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_87
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M88
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M88
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_88,P_poll__networl_88,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_88, P_poll__networl_88
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M89
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M89
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_89,P_network_89,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_89, P_network_89
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M90
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M90
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_90,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_90
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M91
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M91
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_91,P_poll__networl_91,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_91, P_poll__networl_91
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M92
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M92
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_92,P_network_92,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_92, P_network_92
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M93
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M93
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_93,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_93
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M96
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M96
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_96,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_96
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M97
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M97
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_97,P_poll__networl_97,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_97, P_poll__networl_97
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M98
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M98
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_98,P_network_98,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_98, P_network_98
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M99
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M99
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_99,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_99
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M100
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M100
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_100,P_network_100,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_100, P_network_100
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M101
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M101
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_101,P_network_101,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_101, P_network_101
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M102
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M102
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_102,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_102
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M103
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M103
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_103,P_poll__networl_103,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_103, P_poll__networl_103
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M104
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M104
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_104,P_network_104,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_104, P_network_104
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M105
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M105
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_105,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_105
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M106
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M106
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_106,P_poll__networl_106,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_106, P_poll__networl_106
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M107
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M107
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_107,P_poll__networl_107,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_107, P_poll__networl_107
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M108
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M108
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_108,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_108
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M109
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M109
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_109,P_poll__networl_109,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_109, P_poll__networl_109
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M110
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M110
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_110,P_network_110,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_110, P_network_110
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M111
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M111
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_111,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_111
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M114
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M114
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_114,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_114
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M115
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M115
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_115,P_poll__networl_115,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_115, P_poll__networl_115
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M116
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M116
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_116,P_network_116,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_116, P_network_116
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M117
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M117
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_117,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_117
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M118
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M118
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_118,P_poll__networl_118,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_118, P_poll__networl_118
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M119
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M119
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_119,P_network_119,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_119, P_network_119
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M120
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M120
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_120,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_120
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M121
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M121
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_121,P_poll__networl_121,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_121, P_poll__networl_121
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M122
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M122
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_122,P_poll__networl_122,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_122, P_poll__networl_122
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M123
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M123
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_123,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_123
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M124
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M124
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_124,P_poll__networl_124,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_124, P_poll__networl_124
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M125
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M125
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_125,P_network_125,
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_125, P_network_125
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M126
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M126
Jun 02, 2017 7:44:25 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_126,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_126
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M127
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M127
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_127,P_poll__networl_127,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_127, P_poll__networl_127
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M128
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M128
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_128,P_poll__networl_128,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_128, P_poll__networl_128
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M129
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M129
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_129,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_129
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M132
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M132
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_132,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_132
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M133
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M133
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_133,P_poll__networl_133,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_133, P_poll__networl_133
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M134
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M134
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_134,P_poll__networl_134,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_134, P_poll__networl_134
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M135
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M135
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_135,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_135
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M136
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M136
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_136,P_poll__networl_136,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_136, P_poll__networl_136
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M137
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M137
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_137,P_poll__networl_137,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_137, P_poll__networl_137
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M138
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M138
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_138,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_138
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M139
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M139
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_139,P_poll__networl_139,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_139, P_poll__networl_139
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M140
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M140
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_140,P_poll__networl_140,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_140, P_poll__networl_140
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M141
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M141
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_141,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_141
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M142
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M142
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_142,P_poll__networl_142,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_142, P_poll__networl_142
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M143
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M143
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_143,P_network_143,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_143, P_network_143
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M144
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M144
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_144,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_144
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M145
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M145
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_145,P_network_145,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_145, P_network_145
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M146
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M146
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_146,P_network_146,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_146, P_network_146
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M147
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M147
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_147,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_147
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M150
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M150
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_150,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_150
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M151
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M151
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_151,P_poll__networl_151,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_151, P_poll__networl_151
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M152
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M152
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_152,P_poll__networl_152,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_152, P_poll__networl_152
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M153
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M153
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_153,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_153
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M154
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M154
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_154,P_poll__networl_154,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_154, P_poll__networl_154
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M155
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M155
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_155,P_network_155,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_155, P_network_155
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M156
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M156
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_156,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_156
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M157
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M157
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_157,P_poll__networl_157,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_157, P_poll__networl_157
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M158
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M158
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_158,P_network_158,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_158, P_network_158
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M159
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M159
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_159,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_159
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M160
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M160
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_160,P_poll__networl_160,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_160, P_poll__networl_160
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M161
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M161
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_161,P_network_161,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_161, P_network_161
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP0
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP0
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_0,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_0
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP3
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP3
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_3,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_3
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP6
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP6
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_6,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_6
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP9
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP9
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_9,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_9
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP12
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP12
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_12,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_12
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP18
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP18
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_18,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_18
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP24
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP24
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_24,
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_24
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Simplifier simplify
INFO: [fr.lip6.move.gal.impl.GALTypeDeclarationImpl@26104214 (name: TM_x_M_x_MT_x_M146), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5f3a413f (name: TM_x_M_x_MT_x_M37), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@150ae70c (name: TM_x_M_x_MT_x_M2), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@c1f6a16 (name: TM_x_M_x_MT_x_M13), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2455c95c (name: TM_x_M_x_MT_x_M127), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4b684a63 (name: TM_x_M_x_MT_x_M65), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@457cb870 (name: TM_x_M_x_MT_x_M61), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@590b1f1e (name: TM_x_M_x_MT_x_M67), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6d9ebd88 (name: TM_x_M_x_MT_x_M143), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1f3f9e8 (name: TM_x_M_x_MT_x_M43), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@38f005ee (name: TM_x_M_x_MT_x_M100), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@f308a2f (name: TM_x_M_x_MT_x_M161), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@471a163a (name: TM_x_POS_x_M9), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6892edb0 (name: TM_x_M_x_MT_x_M68), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@63ddb5ff (name: TM_x_M_x_MT_x_M85), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@36c7c2e5 (name: TM_x_M_x_MT_x_M157), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@39f326d6 (name: TM_x_M_x_NEGSTEP9), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3255707f (name: TM_x_M_x_MT_x_M52), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3fa0f38a (name: TM_x_M_x_MT_x_M89), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1b9e0eb0 (name: TM_x_POS_x_M4), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2700252f (name: TM_x_M_x_MT_x_M70), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@23258315 (name: TM_x_M_x_MT_x_M137), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@180aca39 (name: TM_x_POS_x_M15), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@f62fe59 (name: TM_x_M_x_MT_x_M97), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@26948caa (name: TM_x_M_x_MT_x_M134), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@448c64b3 (name: TM_x_M_x_MT_x_M44), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@78a689e7 (name: TM_x_M_x_MT_x_M56), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@51252d61 (name: TM_x_M_x_MT_x_M115), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2bae60e8 (name: TM_x_POS_x_M5), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6080eac7 (name: TM_x_M_x_MT_x_M158), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3e36657e (name: TM_x_M_x_MT_x_M82), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@94cdf07 (name: TM_x_M_x_MT_x_M17), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4a256169 (name: TM_x_POS_x_M12), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6bea2f1 (name: TM_x_M_x_NEGSTEP3), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4d5aa20b (name: TM_x_M_x_MT_x_M107), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3c521d01 (name: TM_x_M_x_MT_x_M46), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4d2f087a (name: TM_x_M_x_MT_x_M155), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@702a0b7d (name: TM_x_M_x_NEGSTEP18), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@34ab40f1 (name: TM_x_M_x_MT_x_M88), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3f33316e (name: TM_x_M_x_MT_x_M47), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@48ea0ab7 (name: TM_x_M_x_MT_x_M121), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@515a3e3a (name: TM_x_M_x_MT_x_M34), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2df9d099 (name: TM_x_M_x_MT_x_M104), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7f5c7538 (name: TM_x_M_x_MT_x_M101), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@44cb66af (name: TM_x_M_x_MT_x_M151), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@10fec61 (name: TM_x_POS_x_M0), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3c242c57 (name: TM_x_M_x_MT_x_M139), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6ee60495 (name: TM_x_POS_x_M2), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1f6b8c1f (name: TM_x_POS_x_M8), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1c2d64 (name: TM_x_M_x_MT_x_M80), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3ed476a8 (name: TM_x_M_x_MT_x_M25), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2f2f6aaa (name: TM_x_M_x_MT_x_M91), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@385865dd (name: TM_x_M_x_MT_x_M140), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@8c7d34d (name: TM_x_M_x_MT_x_M154), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5f24bda8 (name: TM_x_M_x_MT_x_M19), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5e0cc49d (name: TM_x_M_x_MT_x_M73), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7e30dfa4 (name: TM_x_M_x_MT_x_M118), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@380d3099 (name: TM_x_M_x_MT_x_M128), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@70eb197f (name: TM_x_M_x_MT_x_M160), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@df31866 (name: TM_x_M_x_MT_x_M110), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@75321ba4 (name: TM_x_POS_x_M6), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@650c9a94 (name: TM_x_POS_x_M3), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1f554ccc (name: TM_x_M_x_MT_x_M8), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@60e4d95 (name: TM_x_M_x_MT_x_M38), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3616678d (name: TM_x_M_x_NEGSTEP24), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2aad9c31 (name: TM_x_M_x_MT_x_M20), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@44e4247a (name: TM_x_M_x_MT_x_M50), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2cb74f29 (name: TM_x_M_x_MT_x_M74), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5694920a (name: TM_x_M_x_NEGSTEP6), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2dac0733 (name: TM_x_M_x_MT_x_M49), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7d1b2084 (name: TM_x_M_x_MT_x_M98), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4c0410a7 (name: TM_x_M_x_MT_x_M64), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@635234f5 (name: TM_x_M_x_MT_x_M16), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2b3c7194 (name: TM_x_M_x_MT_x_M145), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@466eddc6 (name: TM_x_POS_x_M1), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@14c77f6d (name: TM_x_M_x_MT_x_M1), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6d63a79 (name: TM_x_M_x_MT_x_M28), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7a552fe4 (name: TM_x_M_x_MT_x_M136), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@797f26ce (name: TM_x_POS_x_M14), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4203a7b1 (name: TM_x_M_x_MT_x_M10), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@be74f53 (name: TM_x_M_x_MT_x_M53), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6e2b679e (name: TM_x_M_x_MT_x_M55), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2e29a193 (name: TM_x_M_x_MT_x_M79), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@79c5de78 (name: TM_x_POS_x_M16), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4ddc0962 (name: TM_x_M_x_MT_x_M152), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@26a4b864 (name: TM_x_M_x_MT_x_M83), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@4086b547 (name: TM_x_M_x_MT_x_M11), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@3e9ed2c (name: TM_x_M_x_MT_x_M124), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@746be7ac (name: TM_x_POS_x_M7), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@5d1915d1 (name: TM_x_POS_x_M13), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7c5abd91 (name: TM_x_M_x_MT_x_M125), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1f7354be (name: TM_x_M_x_MT_x_M122), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@41a42c6b (name: TM_x_M_x_MT_x_M106), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@353112e1 (name: TM_x_M_x_MT_x_M7), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@9ed1f3f (name: TM_x_POS_x_M11), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@177bd3ae (name: TM_x_M_x_MT_x_M29), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@2290ca46 (name: TM_x_POS_x_M10), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@532ad0fd (name: TM_x_M_x_MT_x_M32), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@423692e1 (name: TM_x_M_x_MT_x_M116), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@779e0b46 (name: TM_x_M_x_MT_x_M62), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6be87b35 (name: TM_x_M_x_NEGSTEP12), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@452ba1c9 (name: TM_x_M_x_MT_x_M142), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@47636c86 (name: TM_x_M_x_MT_x_M31), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@514332a5 (name: TM_x_M_x_MT_x_M71), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@43885360 (name: TM_x_M_x_MT_x_M35), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@6ce7fb0c (name: TM_x_POS_x_M17), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7943d3ac (name: TM_x_M_x_MT_x_M92), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@48754a85 (name: TM_x_M_x_MT_x_M86), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7a668497 (name: TM_x_M_x_MT_x_M103), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@70163ce4 (name: TM_x_M_x_MT_x_M119), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7d6ec39c (name: TM_x_M_x_MT_x_M133), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@21a9e25a (name: TM_x_M_x_NEGSTEP0), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@7d950a61 (name: TM_x_M_x_MT_x_M26), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@191fe3e3 (name: TM_x_M_x_MT_x_M14), fr.lip6.move.gal.impl.GALTypeDeclarationImpl@1eb0b74d (name: TM_x_M_x_MT_x_M109)]
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 840 redundant transitions.
Jun 02, 2017 7:44:26 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 21 ms
Jun 02, 2017 7:44:26 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 5 ms
Jun 02, 2017 7:44:26 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 25 place invariants in 88 ms
Jun 02, 2017 7:44:31 PM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 170 variables to be positive in 4324 ms
Jun 02, 2017 7:44:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 343 transitions.
Jun 02, 2017 7:44:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :0/343 took 3 ms. Total solver calls (SAT/UNSAT): 4(1/3)
Jun 02, 2017 7:44:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/343 took 1105 ms. Total solver calls (SAT/UNSAT): 1004(196/808)
Jun 02, 2017 7:44:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :43/343 took 2517 ms. Total solver calls (SAT/UNSAT): 1519(458/1061)
Jun 02, 2017 7:44:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/343 took 3997 ms. Total solver calls (SAT/UNSAT): 1940(730/1210)
Jun 02, 2017 7:44:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/343 took 5444 ms. Total solver calls (SAT/UNSAT): 2491(992/1499)
Jun 02, 2017 7:44:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :58/343 took 6573 ms. Total solver calls (SAT/UNSAT): 3093(1194/1899)
Jun 02, 2017 7:44:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/343 took 7705 ms. Total solver calls (SAT/UNSAT): 4127(1383/2744)
Jun 02, 2017 7:44:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :78/343 took 8810 ms. Total solver calls (SAT/UNSAT): 5166(1572/3594)
Jun 02, 2017 7:44:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/343 took 9886 ms. Total solver calls (SAT/UNSAT): 6537(1752/4785)
Jun 02, 2017 7:44:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/343 took 10944 ms. Total solver calls (SAT/UNSAT): 7555(1932/5623)
Jun 02, 2017 7:44:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/343 took 12029 ms. Total solver calls (SAT/UNSAT): 8574(2121/6453)
Jun 02, 2017 7:44:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :118/343 took 13145 ms. Total solver calls (SAT/UNSAT): 9257(2310/6947)
Jun 02, 2017 7:44:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :130/343 took 14147 ms. Total solver calls (SAT/UNSAT): 10525(2472/8053)
Jun 02, 2017 7:44:46 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :137/343 took 15248 ms. Total solver calls (SAT/UNSAT): 11216(2661/8555)
Jun 02, 2017 7:44:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :150/343 took 16365 ms. Total solver calls (SAT/UNSAT): 12611(2850/9761)
Jun 02, 2017 7:44:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :163/343 took 17467 ms. Total solver calls (SAT/UNSAT): 13999(3036/10963)
Jun 02, 2017 7:44:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :173/343 took 18536 ms. Total solver calls (SAT/UNSAT): 15028(3219/11809)
Jun 02, 2017 7:44:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :183/343 took 19583 ms. Total solver calls (SAT/UNSAT): 16057(3399/12658)
Jun 02, 2017 7:44:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :190/343 took 20660 ms. Total solver calls (SAT/UNSAT): 16746(3588/13158)
Jun 02, 2017 7:44:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :203/343 took 21761 ms. Total solver calls (SAT/UNSAT): 18119(3768/14351)
Jun 02, 2017 7:44:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/343 took 22849 ms. Total solver calls (SAT/UNSAT): 18835(3948/14887)
Jun 02, 2017 7:44:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/343 took 23863 ms. Total solver calls (SAT/UNSAT): 19744(4126/15618)
Jun 02, 2017 7:44:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/343 took 24873 ms. Total solver calls (SAT/UNSAT): 20057(4304/15753)
Jun 02, 2017 7:44:56 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :224/343 took 25884 ms. Total solver calls (SAT/UNSAT): 20372(4482/15890)
Jun 02, 2017 7:44:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :235/343 took 26995 ms. Total solver calls (SAT/UNSAT): 21529(4671/16858)
Jun 02, 2017 7:44:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/343 took 28046 ms. Total solver calls (SAT/UNSAT): 22797(4833/17964)
Jun 02, 2017 7:45:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :253/343 took 29074 ms. Total solver calls (SAT/UNSAT): 23393(4995/18398)
Jun 02, 2017 7:45:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :266/343 took 30223 ms. Total solver calls (SAT/UNSAT): 24749(5184/19565)
Jun 02, 2017 7:45:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/343 took 31364 ms. Total solver calls (SAT/UNSAT): 26280(5373/20907)
Jun 02, 2017 7:45:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :307/343 took 32471 ms. Total solver calls (SAT/UNSAT): 29366(5532/23834)
Jun 02, 2017 7:45:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :325/343 took 33499 ms. Total solver calls (SAT/UNSAT): 31403(5694/25709)
Jun 02, 2017 7:45:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/343 took 34852 ms. Total solver calls (SAT/UNSAT): 31759(5946/25813)
Jun 02, 2017 7:45:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/343 took 35856 ms. Total solver calls (SAT/UNSAT): 32055(6134/25921)
Jun 02, 2017 7:45:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/343 took 37261 ms. Total solver calls (SAT/UNSAT): 32531(6396/26135)
Jun 02, 2017 7:45:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 37798 ms. Total solver calls (SAT/UNSAT): 33093(6490/26603)
Jun 02, 2017 7:45:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 343 transitions.
Jun 02, 2017 7:45:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/343 took 1013 ms. Total solver calls (SAT/UNSAT): 437(194/243)
Jun 02, 2017 7:45:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/343 took 2032 ms. Total solver calls (SAT/UNSAT): 1313(198/1115)
Jun 02, 2017 7:45:12 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :52/343 took 3206 ms. Total solver calls (SAT/UNSAT): 2491(223/2268)
Jun 02, 2017 7:45:13 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :64/343 took 4323 ms. Total solver calls (SAT/UNSAT): 3741(233/3508)
Jun 02, 2017 7:45:14 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :74/343 took 5427 ms. Total solver calls (SAT/UNSAT): 4764(243/4521)
Jun 02, 2017 7:45:15 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :84/343 took 6478 ms. Total solver calls (SAT/UNSAT): 5785(252/5533)
Jun 02, 2017 7:45:16 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :96/343 took 7512 ms. Total solver calls (SAT/UNSAT): 7024(264/6760)
Jun 02, 2017 7:45:17 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :109/343 took 8595 ms. Total solver calls (SAT/UNSAT): 8396(273/8123)
Jun 02, 2017 7:45:18 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :114/343 took 9668 ms. Total solver calls (SAT/UNSAT): 8841(278/8563)
Jun 02, 2017 7:45:19 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :129/343 took 10694 ms. Total solver calls (SAT/UNSAT): 10437(287/10150)
Jun 02, 2017 7:45:20 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :140/343 took 11701 ms. Total solver calls (SAT/UNSAT): 11555(296/11259)
Jun 02, 2017 7:45:21 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :154/343 took 12908 ms. Total solver calls (SAT/UNSAT): 13057(307/12750)
Jun 02, 2017 7:45:22 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :164/343 took 13994 ms. Total solver calls (SAT/UNSAT): 14089(320/13769)
Jun 02, 2017 7:45:23 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :174/343 took 15064 ms. Total solver calls (SAT/UNSAT): 15118(331/14787)
Jun 02, 2017 7:45:24 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :184/343 took 16146 ms. Total solver calls (SAT/UNSAT): 16147(344/15803)
Jun 02, 2017 7:45:26 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :199/343 took 17202 ms. Total solver calls (SAT/UNSAT): 17761(357/17404)
Jun 02, 2017 7:45:27 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :204/343 took 18285 ms. Total solver calls (SAT/UNSAT): 18209(366/17843)
Jun 02, 2017 7:45:28 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :222/343 took 19285 ms. Total solver calls (SAT/UNSAT): 20177(384/19793)
Jun 02, 2017 7:45:29 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :232/343 took 20336 ms. Total solver calls (SAT/UNSAT): 21203(393/20810)
Jun 02, 2017 7:45:30 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :247/343 took 21476 ms. Total solver calls (SAT/UNSAT): 22797(403/22394)
Jun 02, 2017 7:45:31 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :259/343 took 22476 ms. Total solver calls (SAT/UNSAT): 24041(415/23626)
Jun 02, 2017 7:45:32 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/343 took 23580 ms. Total solver calls (SAT/UNSAT): 24837(422/24415)
Jun 02, 2017 7:45:33 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :299/343 took 24589 ms. Total solver calls (SAT/UNSAT): 28443(442/28001)
Jun 02, 2017 7:45:34 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :326/343 took 25639 ms. Total solver calls (SAT/UNSAT): 31492(452/31040)
Jun 02, 2017 7:45:35 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :333/343 took 26659 ms. Total solver calls (SAT/UNSAT): 32158(458/31700)
Jun 02, 2017 7:45:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 27484 ms. Total solver calls (SAT/UNSAT): 33093(462/32631)
Jun 02, 2017 7:45:36 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 343 transitions.
Jun 02, 2017 7:45:37 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/343) took 1022 ms. Total solver calls (SAT/UNSAT): 1366(399/967)
Jun 02, 2017 7:45:38 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/343) took 2052 ms. Total solver calls (SAT/UNSAT): 3718(768/2950)
Jun 02, 2017 7:45:39 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(16/343) took 3070 ms. Total solver calls (SAT/UNSAT): 5695(1140/4555)
Jun 02, 2017 7:45:40 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/343) took 4264 ms. Total solver calls (SAT/UNSAT): 7636(1599/6037)
Jun 02, 2017 7:45:41 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/343) took 5664 ms. Total solver calls (SAT/UNSAT): 12636(2036/10600)
Jun 02, 2017 7:45:43 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/343) took 6978 ms. Total solver calls (SAT/UNSAT): 14146(2558/11588)
Jun 02, 2017 7:45:44 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/343) took 8256 ms. Total solver calls (SAT/UNSAT): 15336(3071/12265)
Jun 02, 2017 7:45:45 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(52/343) took 9556 ms. Total solver calls (SAT/UNSAT): 16801(3575/13226)
Jun 02, 2017 7:45:47 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(57/343) took 10782 ms. Total solver calls (SAT/UNSAT): 18241(4062/14179)
Jun 02, 2017 7:45:48 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(64/343) took 11816 ms. Total solver calls (SAT/UNSAT): 20215(4449/15766)
Jun 02, 2017 7:45:49 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(69/343) took 13037 ms. Total solver calls (SAT/UNSAT): 21595(4929/16666)
Jun 02, 2017 7:45:50 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(76/343) took 14094 ms. Total solver calls (SAT/UNSAT): 23485(5321/18164)
Jun 02, 2017 7:45:51 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(83/343) took 15116 ms. Total solver calls (SAT/UNSAT): 25326(5687/19639)
Jun 02, 2017 7:45:52 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(91/343) took 16354 ms. Total solver calls (SAT/UNSAT): 27370(6132/21238)
Jun 02, 2017 7:45:53 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(96/343) took 17420 ms. Total solver calls (SAT/UNSAT): 28615(6558/22057)
Jun 02, 2017 7:45:54 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(104/343) took 18567 ms. Total solver calls (SAT/UNSAT): 30555(6993/23562)
Jun 02, 2017 7:45:55 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(112/343) took 19676 ms. Total solver calls (SAT/UNSAT): 32431(7413/25018)
Jun 02, 2017 7:45:57 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(118/343) took 20792 ms. Total solver calls (SAT/UNSAT): 33796(7856/25940)
Jun 02, 2017 7:45:58 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(129/343) took 21834 ms. Total solver calls (SAT/UNSAT): 36205(8229/27976)
Jun 02, 2017 7:45:59 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(135/343) took 22900 ms. Total solver calls (SAT/UNSAT): 37468(8652/28816)
Jun 02, 2017 7:46:00 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(147/343) took 24015 ms. Total solver calls (SAT/UNSAT): 39886(9057/30829)
Jun 02, 2017 7:46:01 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(156/343) took 25059 ms. Total solver calls (SAT/UNSAT): 41605(9453/32152)
Jun 02, 2017 7:46:02 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(166/343) took 26176 ms. Total solver calls (SAT/UNSAT): 43420(9878/33542)
Jun 02, 2017 7:46:03 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(176/343) took 27242 ms. Total solver calls (SAT/UNSAT): 45135(10281/34854)
Jun 02, 2017 7:46:04 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(186/343) took 28297 ms. Total solver calls (SAT/UNSAT): 46750(10683/36067)
Jun 02, 2017 7:46:05 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(200/343) took 29330 ms. Total solver calls (SAT/UNSAT): 48843(11046/37797)
Jun 02, 2017 7:46:06 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(210/343) took 30396 ms. Total solver calls (SAT/UNSAT): 50218(11463/38755)
Jun 02, 2017 7:46:07 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(226/343) took 31405 ms. Total solver calls (SAT/UNSAT): 52210(11829/40381)
Jun 02, 2017 7:46:08 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(248/343) took 32484 ms. Total solver calls (SAT/UNSAT): 54531(12215/42316)
Jun 02, 2017 7:46:09 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(272/343) took 33488 ms. Total solver calls (SAT/UNSAT): 56511(12576/43935)
Jun 02, 2017 7:46:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 34086 ms. Total solver calls (SAT/UNSAT): 58996(12726/46270)
Jun 02, 2017 7:46:10 PM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 343 transitions.
Jun 02, 2017 8:42:52 PM fr.lip6.move.gal.itstools.ProcessController$1 run
WARNING: null
Jun 02, 2017 8:42:52 PM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed
Jun 02, 2017 8:42:52 PM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed

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="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool 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 r120-blw7-149441651900231"
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 '' LTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;