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 NeoElection-COL-2, examination is LTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r040-blw7-149440486400231
=====================================================================

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


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,328.334,240480,1,0,11441,933,3618,10332,121,847,131900
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,328.368,126328,1,0,11795,933,3641,15020,121,847,138209
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,328.903,133680,1,0,11795,933,3725,15020,123,847,139668
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
4 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,1693.64,922244,1,0,11795,933,4430,15020,123,847,143303
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 01, 2017 12:56:45 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 12:56:45 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 01, 2017 12:56:47 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1413 ms
Jun 01, 2017 12:56:47 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 18 places.
Jun 01, 2017 12:56:47 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 01, 2017 12:56:47 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :M * POS->P-sendAnnPs__broadcasting,P-startNeg__broadcasting,
M * STAGE->P-stage,
M * M * MT * M->P-network,P-poll__networl,
M * POS * M->P-masterList,
M * BOOL * M->P-masterState,
M->P-crashed,dead,P-electedPrimary,P-electedSecondary,P-electionFailed,P-electionInit,P-poll__handlingMessage,P-poll__pollEnd,P-poll__waitingMessage,P-polling,
M * M * NEGSTEP->P-negotiation,

Jun 01, 2017 12:56:47 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 22 transitions.
Jun 01, 2017 12:56:47 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 01, 2017 12:56:47 AM fr.lip6.move.gal.application.MccTranslator applyOrder
INFO: Applying decomposition
Jun 01, 2017 12:56:47 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Jun 01, 2017 12:56:47 AM 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 01, 2017 12:56:47 AM fr.lip6.move.gal.instantiate.Instantiator normalizeCalls
INFO: Calls to non existing labels (possibly due to false guards) leads to 6 abort statements.
Jun 01, 2017 12:56:47 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 4 fixed domain variables (out of 438 variables) in GAL type NeoElection_COL_2
Jun 01, 2017 12:56:47 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 261 constant array cells/variables (out of 438 variables) in type NeoElection_COL_2
Jun 01, 2017 12:56:47 AM 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 01, 2017 12:56:47 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Simplified 90 expressions due to constant valuations.
Jun 01, 2017 12:56:47 AM fr.lip6.move.gal.instantiate.Simplifier simplifyFalseTransitions
INFO: Removed 32 false transitions.
Jun 01, 2017 12:56:47 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 241 constant array cells/variables (out of 411 variables) in type NeoElection_COL_2
Jun 01, 2017 12:56:47 AM 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 01, 2017 12:56:47 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 241 constant array cells/variables (out of 411 variables) in type NeoElection_COL_2
Jun 01, 2017 12:56:47 AM 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 01, 2017 12:56:47 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 3 uncalled transitions from type NeoElection_COL_2
Jun 01, 2017 12:56:47 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 303 ms
Jun 01, 2017 12:56:48 AM 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 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M0
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M0
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_0,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_0
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M1
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M1
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_1,P_poll__networl_1,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_1, P_poll__networl_1
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M2
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M2
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_2,P_poll__networl_2,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_2, P_poll__networl_2
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M3
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M3
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_3,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_3
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M6
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M6
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_6,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_6
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M7
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M7
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_7,P_network_7,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_7, P_network_7
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M8
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M8
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_8,P_poll__networl_8,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_8, P_poll__networl_8
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M9
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M9
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_9,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_9
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M10
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M10
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_10,P_poll__networl_10,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_10, P_poll__networl_10
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M11
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M11
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_11,P_poll__networl_11,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_11, P_poll__networl_11
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M12
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M12
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_12,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_12
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M13
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M13
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_13,P_network_13,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_13, P_network_13
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M14
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M14
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_14,P_poll__networl_14,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_14, P_poll__networl_14
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M15
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M15
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_15,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_15
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M16
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M16
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_16,P_network_16,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_16, P_network_16
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M17
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M17
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_17,P_poll__networl_17,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_17, P_poll__networl_17
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M18
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M18
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_18,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_18
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M19
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M19
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_19,P_network_19,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_19, P_network_19
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M20
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M20
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_20,P_poll__networl_20,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_20, P_poll__networl_20
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M21
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M21
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_21,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_21
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M24
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M24
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_24,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_24
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M25
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M25
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_25,P_network_25,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_25, P_network_25
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M26
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M26
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_26,P_poll__networl_26,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_26, P_poll__networl_26
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M27
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M27
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_27,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_27
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M28
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M28
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_28,P_poll__networl_28,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_28, P_poll__networl_28
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M29
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M29
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_29,P_poll__networl_29,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_29, P_poll__networl_29
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M30
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M30
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_30,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_30
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M31
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M31
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_31,P_poll__networl_31,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_31, P_poll__networl_31
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M32
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M32
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_32,P_poll__networl_32,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_32, P_poll__networl_32
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M33
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M33
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_33,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_33
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M34
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M34
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_34,P_network_34,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_34, P_network_34
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M35
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M35
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_35,P_poll__networl_35,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_35, P_poll__networl_35
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M36
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M36
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_36,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_36
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M37
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M37
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_37,P_poll__networl_37,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_37, P_poll__networl_37
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M38
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M38
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_38,P_network_38,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_38, P_network_38
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M39
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M39
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_39,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_39
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M42
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M42
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_42,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_42
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M43
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M43
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_43,P_network_43,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_43, P_network_43
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M44
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M44
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_44,P_poll__networl_44,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_44, P_poll__networl_44
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M45
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M45
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_45,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_45
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M46
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M46
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_46,P_poll__networl_46,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_46, P_poll__networl_46
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M47
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M47
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_47,P_network_47,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_47, P_network_47
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M48
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M48
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_48,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_48
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M49
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M49
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_49,P_poll__networl_49,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_49, P_poll__networl_49
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M50
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M50
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_50,P_network_50,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_50, P_network_50
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M51
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M51
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_51,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_51
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M52
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M52
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_52,P_network_52,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_52, P_network_52
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M53
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M53
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_53,P_poll__networl_53,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_53, P_poll__networl_53
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M54
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M54
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_54,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_54
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M55
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M55
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_55,P_network_55,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_55, P_network_55
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M56
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M56
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_56,P_poll__networl_56,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_56, P_poll__networl_56
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M57
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M57
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_57,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_57
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M60
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M60
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_60,
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_60
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M61
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M61
Jun 01, 2017 12:56:48 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_61,P_network_61,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_61, P_network_61
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M62
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M62
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_62,P_poll__networl_62,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_62, P_poll__networl_62
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M63
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M63
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_63,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_63
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M64
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M64
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_64,P_poll__networl_64,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_64, P_poll__networl_64
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M65
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M65
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_65,P_poll__networl_65,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_65, P_poll__networl_65
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M66
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M66
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_66,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_66
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M67
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M67
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_67,P_poll__networl_67,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_67, P_poll__networl_67
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M68
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M68
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_68,P_network_68,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_68, P_network_68
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M69
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M69
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_69,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_69
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M70
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M70
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_70,P_network_70,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_70, P_network_70
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M71
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M71
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_71,P_poll__networl_71,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_71, P_poll__networl_71
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M72
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M72
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_72,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_72
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M73
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M73
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_73,P_network_73,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_73, P_network_73
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M74
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M74
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_74,P_poll__networl_74,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_74, P_poll__networl_74
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M75
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M75
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_75,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_75
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M78
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M78
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_78,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_78
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M79
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M79
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_79,P_poll__networl_79,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_79, P_poll__networl_79
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M80
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M80
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_80,P_poll__networl_80,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_80, P_poll__networl_80
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M81
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M81
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_81,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_81
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M82
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M82
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_82,P_poll__networl_82,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_82, P_poll__networl_82
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M83
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M83
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_83,P_network_83,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_83, P_network_83
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M84
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M84
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_84,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_84
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M85
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M85
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_85,P_network_85,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_85, P_network_85
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M86
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M86
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_86,P_poll__networl_86,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_86, P_poll__networl_86
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M87
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M87
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_87,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_87
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M88
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M88
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_88,P_poll__networl_88,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_88, P_poll__networl_88
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M89
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M89
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_89,P_network_89,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_89, P_network_89
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M90
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M90
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_90,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_90
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M91
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M91
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_91,P_poll__networl_91,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_91, P_poll__networl_91
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M92
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M92
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_92,P_network_92,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_92, P_network_92
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M93
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M93
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_93,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_93
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M96
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M96
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_96,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_96
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M97
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M97
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_97,P_poll__networl_97,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_97, P_poll__networl_97
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M98
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M98
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_98,P_network_98,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_98, P_network_98
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M99
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M99
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_99,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_99
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M100
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M100
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_100,P_network_100,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_100, P_network_100
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M101
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M101
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_101,P_network_101,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_101, P_network_101
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M102
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M102
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_102,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_102
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M103
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M103
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_103,P_poll__networl_103,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_103, P_poll__networl_103
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M104
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M104
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_104,P_network_104,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_104, P_network_104
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M105
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M105
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_105,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_105
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M106
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M106
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_106,P_poll__networl_106,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_106, P_poll__networl_106
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M107
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M107
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_107,P_poll__networl_107,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_107, P_poll__networl_107
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M108
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M108
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_108,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_108
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M109
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M109
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_109,P_poll__networl_109,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_109, P_poll__networl_109
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M110
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M110
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_110,P_network_110,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_110, P_network_110
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M111
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M111
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_111,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_111
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M114
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M114
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_114,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_114
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M115
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M115
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_115,P_poll__networl_115,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_115, P_poll__networl_115
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M116
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M116
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_116,P_network_116,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_116, P_network_116
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M117
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M117
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_117,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_117
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M118
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M118
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_118,P_poll__networl_118,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_118, P_poll__networl_118
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M119
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M119
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_119,P_network_119,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_119, P_network_119
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M120
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M120
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_120,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_120
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M121
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M121
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_121,P_poll__networl_121,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_121, P_poll__networl_121
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M122
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M122
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_122,P_poll__networl_122,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_122, P_poll__networl_122
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M123
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M123
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_123,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_123
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M124
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M124
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_124,P_poll__networl_124,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_124, P_poll__networl_124
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M125
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M125
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_125,P_network_125,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_125, P_network_125
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M126
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M126
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_126,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_126
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M127
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M127
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_127,P_poll__networl_127,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_127, P_poll__networl_127
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M128
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M128
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_128,P_poll__networl_128,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_128, P_poll__networl_128
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M129
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M129
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_129,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_129
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M132
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M132
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_132,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_132
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M133
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M133
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_133,P_poll__networl_133,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_133, P_poll__networl_133
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M134
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M134
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_134,P_poll__networl_134,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_134, P_poll__networl_134
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M135
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M135
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_135,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_135
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M136
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M136
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_136,P_poll__networl_136,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_136, P_poll__networl_136
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M137
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M137
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_137,P_poll__networl_137,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_137, P_poll__networl_137
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M138
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M138
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_138,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_138
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M139
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M139
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_139,P_poll__networl_139,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_139, P_poll__networl_139
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M140
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M140
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_140,P_poll__networl_140,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_140, P_poll__networl_140
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M141
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M141
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_141,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_141
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M142
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M142
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_142,P_poll__networl_142,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_142, P_poll__networl_142
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M143
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M143
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_143,P_network_143,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_143, P_network_143
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M144
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M144
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_144,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_144
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M145
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M145
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_145,P_network_145,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_145, P_network_145
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M146
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M146
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_146,P_network_146,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_146, P_network_146
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M147
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M147
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_147,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_147
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M150
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M150
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_150,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_150
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M151
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M151
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_151,P_poll__networl_151,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_151, P_poll__networl_151
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M152
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M152
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_152,P_poll__networl_152,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_152, P_poll__networl_152
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M153
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M153
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_153,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_153
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M154
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M154
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_154,P_poll__networl_154,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_154, P_poll__networl_154
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M155
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M155
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_155,P_network_155,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_155, P_network_155
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M156
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M156
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_156,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_156
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M157
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M157
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_157,P_poll__networl_157,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_157, P_poll__networl_157
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M158
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M158
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_158,P_network_158,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_158, P_network_158
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M159
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M159
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_159,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_poll__networl_159
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M160
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M160
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_network_160,P_poll__networl_160,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_network_160, P_poll__networl_160
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 2 fixed domain variables (out of 2 variables) in GAL type TM_x_M_x_MT_x_M161
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 2 constant array cells/variables (out of 2 variables) in type TM_x_M_x_MT_x_M161
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_poll__networl_161,P_network_161,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 2 constant variables :P_poll__networl_161, P_network_161
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP0
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP0
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_0,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_0
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP3
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP3
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_3,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_3
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP6
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP6
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_6,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_6
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP9
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP9
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_9,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_9
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP12
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP12
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_12,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_12
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP18
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP18
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_18,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_18
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1 fixed domain variables (out of 1 variables) in GAL type TM_x_M_x_NEGSTEP24
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1 constant array cells/variables (out of 1 variables) in type TM_x_M_x_NEGSTEP24
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: P_negotiation_24,
Jun 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 1 constant variables :P_negotiation_24
Jun 01, 2017 12:56:49 AM 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 01, 2017 12:56:49 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 840 redundant transitions.
Jun 01, 2017 12:56:49 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/LTLFireability.pnml.gal : 24 ms
Jun 01, 2017 12:56:49 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/execution/LTLFireability.ltl : 4 ms
Jun 01, 2017 12:56:50 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver computeAndDeclareInvariants
INFO: Computed 25 place invariants in 127 ms
Jun 01, 2017 12:56:55 AM fr.lip6.move.gal.gal2smt.bmc.KInductionSolver init
INFO: Proved 170 variables to be positive in 4755 ms
Jun 01, 2017 12:56:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may disable matrix : 343 transitions.
Jun 01, 2017 12:56:55 AM 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 01, 2017 12:56:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :38/343 took 1097 ms. Total solver calls (SAT/UNSAT): 1004(196/808)
Jun 01, 2017 12:56:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :41/343 took 2178 ms. Total solver calls (SAT/UNSAT): 1313(374/939)
Jun 01, 2017 12:56:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :44/343 took 3184 ms. Total solver calls (SAT/UNSAT): 1622(552/1070)
Jun 01, 2017 12:56:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :47/343 took 4239 ms. Total solver calls (SAT/UNSAT): 1940(730/1210)
Jun 01, 2017 12:57:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :50/343 took 5266 ms. Total solver calls (SAT/UNSAT): 2267(908/1359)
Jun 01, 2017 12:57:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :55/343 took 6403 ms. Total solver calls (SAT/UNSAT): 2810(1113/1697)
Jun 01, 2017 12:57:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :65/343 took 7552 ms. Total solver calls (SAT/UNSAT): 3830(1302/2528)
Jun 01, 2017 12:57:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :75/343 took 8673 ms. Total solver calls (SAT/UNSAT): 4853(1491/3362)
Jun 01, 2017 12:57:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :85/343 took 9730 ms. Total solver calls (SAT/UNSAT): 5889(1671/4218)
Jun 01, 2017 12:57:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :95/343 took 10795 ms. Total solver calls (SAT/UNSAT): 6921(1854/5067)
Jun 01, 2017 12:57:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :105/343 took 11880 ms. Total solver calls (SAT/UNSAT): 7953(2040/5913)
Jun 01, 2017 12:57:08 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :115/343 took 12981 ms. Total solver calls (SAT/UNSAT): 8945(2229/6716)
Jun 01, 2017 12:57:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :127/343 took 14073 ms. Total solver calls (SAT/UNSAT): 10261(2391/7870)
Jun 01, 2017 12:57:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :134/343 took 15124 ms. Total solver calls (SAT/UNSAT): 10907(2580/8327)
Jun 01, 2017 12:57:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :147/343 took 16249 ms. Total solver calls (SAT/UNSAT): 12298(2769/9529)
Jun 01, 2017 12:57:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :157/343 took 17357 ms. Total solver calls (SAT/UNSAT): 13343(2958/10385)
Jun 01, 2017 12:57:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :167/343 took 18433 ms. Total solver calls (SAT/UNSAT): 14387(3138/11249)
Jun 01, 2017 12:57:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :177/343 took 19571 ms. Total solver calls (SAT/UNSAT): 15431(3318/12113)
Jun 01, 2017 12:57:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :187/343 took 20696 ms. Total solver calls (SAT/UNSAT): 16433(3507/12926)
Jun 01, 2017 12:57:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :200/343 took 21815 ms. Total solver calls (SAT/UNSAT): 17849(3693/14156)
Jun 01, 2017 12:57:17 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :207/343 took 22836 ms. Total solver calls (SAT/UNSAT): 18522(3873/14649)
Jun 01, 2017 12:57:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :218/343 took 24307 ms. Total solver calls (SAT/UNSAT): 19744(4126/15618)
Jun 01, 2017 12:57:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :221/343 took 25338 ms. Total solver calls (SAT/UNSAT): 20057(4304/15753)
Jun 01, 2017 12:57:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/343 took 26485 ms. Total solver calls (SAT/UNSAT): 20579(4509/16070)
Jun 01, 2017 12:57:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :236/343 took 27626 ms. Total solver calls (SAT/UNSAT): 21632(4698/16934)
Jun 01, 2017 12:57:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :248/343 took 28633 ms. Total solver calls (SAT/UNSAT): 22887(4860/18027)
Jun 01, 2017 12:57:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :255/343 took 29744 ms. Total solver calls (SAT/UNSAT): 23599(5049/18550)
Jun 01, 2017 12:57:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :267/343 took 30816 ms. Total solver calls (SAT/UNSAT): 24837(5211/19626)
Jun 01, 2017 12:57:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :280/343 took 31872 ms. Total solver calls (SAT/UNSAT): 26280(5373/20907)
Jun 01, 2017 12:57:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :305/343 took 32883 ms. Total solver calls (SAT/UNSAT): 29142(5508/23634)
Jun 01, 2017 12:57:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :325/343 took 34182 ms. Total solver calls (SAT/UNSAT): 31403(5694/25709)
Jun 01, 2017 12:57:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :329/343 took 35662 ms. Total solver calls (SAT/UNSAT): 31759(5946/25813)
Jun 01, 2017 12:57:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :332/343 took 36815 ms. Total solver calls (SAT/UNSAT): 32055(6134/25921)
Jun 01, 2017 12:57:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :337/343 took 38316 ms. Total solver calls (SAT/UNSAT): 32531(6396/26135)
Jun 01, 2017 12:57:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete disable matrix. took 38857 ms. Total solver calls (SAT/UNSAT): 33093(6490/26603)
Jun 01, 2017 12:57:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeAblingMatrix
INFO: Computing symmetric may enable matrix : 343 transitions.
Jun 01, 2017 12:57:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :27/343 took 1020 ms. Total solver calls (SAT/UNSAT): 437(194/243)
Jun 01, 2017 12:57:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :40/343 took 2053 ms. Total solver calls (SAT/UNSAT): 1210(197/1013)
Jun 01, 2017 12:57:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :49/343 took 3109 ms. Total solver calls (SAT/UNSAT): 2164(221/1943)
Jun 01, 2017 12:57:38 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :57/343 took 4161 ms. Total solver calls (SAT/UNSAT): 2989(228/2761)
Jun 01, 2017 12:57:39 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :68/343 took 5198 ms. Total solver calls (SAT/UNSAT): 4127(239/3888)
Jun 01, 2017 12:57:40 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :81/343 took 6215 ms. Total solver calls (SAT/UNSAT): 5520(248/5272)
Jun 01, 2017 12:57:41 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :91/343 took 7339 ms. Total solver calls (SAT/UNSAT): 6537(257/6280)
Jun 01, 2017 12:57:42 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :101/343 took 8525 ms. Total solver calls (SAT/UNSAT): 7555(267/7288)
Jun 01, 2017 12:57:43 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :111/343 took 9571 ms. Total solver calls (SAT/UNSAT): 8574(275/8299)
Jun 01, 2017 12:57:44 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :121/343 took 10579 ms. Total solver calls (SAT/UNSAT): 9583(284/9299)
Jun 01, 2017 12:57:45 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :131/343 took 11720 ms. Total solver calls (SAT/UNSAT): 10613(289/10324)
Jun 01, 2017 12:57:46 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :146/343 took 12769 ms. Total solver calls (SAT/UNSAT): 12207(300/11907)
Jun 01, 2017 12:57:47 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :156/343 took 13871 ms. Total solver calls (SAT/UNSAT): 13237(311/12926)
Jun 01, 2017 12:57:48 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :168/343 took 14918 ms. Total solver calls (SAT/UNSAT): 14492(326/14166)
Jun 01, 2017 12:57:49 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :181/343 took 16027 ms. Total solver calls (SAT/UNSAT): 15878(337/15541)
Jun 01, 2017 12:57:51 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :186/343 took 17133 ms. Total solver calls (SAT/UNSAT): 16328(346/15982)
Jun 01, 2017 12:57:52 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :201/343 took 18313 ms. Total solver calls (SAT/UNSAT): 17939(361/17578)
Jun 01, 2017 12:57:53 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :210/343 took 19358 ms. Total solver calls (SAT/UNSAT): 18835(376/18459)
Jun 01, 2017 12:57:54 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :226/343 took 20505 ms. Total solver calls (SAT/UNSAT): 20579(387/20192)
Jun 01, 2017 12:57:55 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :241/343 took 21534 ms. Total solver calls (SAT/UNSAT): 22177(399/21778)
Jun 01, 2017 12:57:56 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :249/343 took 22640 ms. Total solver calls (SAT/UNSAT): 22976(406/22570)
Jun 01, 2017 12:57:57 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :261/343 took 23640 ms. Total solver calls (SAT/UNSAT): 24218(418/23800)
Jun 01, 2017 12:57:58 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :273/343 took 24660 ms. Total solver calls (SAT/UNSAT): 25460(430/25030)
Jun 01, 2017 12:57:59 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :310/343 took 25661 ms. Total solver calls (SAT/UNSAT): 29693(446/29247)
Jun 01, 2017 12:58:00 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :328/343 took 26835 ms. Total solver calls (SAT/UNSAT): 31669(454/31215)
Jun 01, 2017 12:58:01 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Completed :335/343 took 27852 ms. Total solver calls (SAT/UNSAT): 32337(460/31877)
Jun 01, 2017 12:58:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Complete enable matrix. took 28245 ms. Total solver calls (SAT/UNSAT): 33093(462/32631)
Jun 01, 2017 12:58:02 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeCoEnablingMatrix
INFO: Computing symmetric co enabling matrix : 343 transitions.
Jun 01, 2017 12:58:03 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(3/343) took 1023 ms. Total solver calls (SAT/UNSAT): 1366(399/967)
Jun 01, 2017 12:58:04 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(10/343) took 2045 ms. Total solver calls (SAT/UNSAT): 3718(768/2950)
Jun 01, 2017 12:58:05 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(15/343) took 3049 ms. Total solver calls (SAT/UNSAT): 5368(1140/4228)
Jun 01, 2017 12:58:06 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(22/343) took 4273 ms. Total solver calls (SAT/UNSAT): 7636(1599/6037)
Jun 01, 2017 12:58:07 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(38/343) took 5721 ms. Total solver calls (SAT/UNSAT): 12636(2036/10600)
Jun 01, 2017 12:58:09 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(43/343) took 7040 ms. Total solver calls (SAT/UNSAT): 14146(2558/11588)
Jun 01, 2017 12:58:10 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(47/343) took 8341 ms. Total solver calls (SAT/UNSAT): 15336(3071/12265)
Jun 01, 2017 12:58:11 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(50/343) took 9343 ms. Total solver calls (SAT/UNSAT): 16218(3408/12810)
Jun 01, 2017 12:58:12 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(55/343) took 10535 ms. Total solver calls (SAT/UNSAT): 17668(3849/13819)
Jun 01, 2017 12:58:13 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(59/343) took 11679 ms. Total solver calls (SAT/UNSAT): 18810(4251/14559)
Jun 01, 2017 12:58:14 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(66/343) took 12773 ms. Total solver calls (SAT/UNSAT): 20770(4656/16114)
Jun 01, 2017 12:58:15 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(73/343) took 13797 ms. Total solver calls (SAT/UNSAT): 22681(5031/17650)
Jun 01, 2017 12:58:16 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(77/343) took 14821 ms. Total solver calls (SAT/UNSAT): 23751(5409/18342)
Jun 01, 2017 12:58:18 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(84/343) took 15849 ms. Total solver calls (SAT/UNSAT): 25585(5781/19804)
Jun 01, 2017 12:58:19 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(92/343) took 17021 ms. Total solver calls (SAT/UNSAT): 27621(6227/21394)
Jun 01, 2017 12:58:20 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(100/343) took 18136 ms. Total solver calls (SAT/UNSAT): 29593(6651/22942)
Jun 01, 2017 12:58:21 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(105/343) took 19186 ms. Total solver calls (SAT/UNSAT): 30793(7071/23722)
Jun 01, 2017 12:58:22 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(113/343) took 20304 ms. Total solver calls (SAT/UNSAT): 32661(7496/25165)
Jun 01, 2017 12:58:23 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(119/343) took 21380 ms. Total solver calls (SAT/UNSAT): 34020(7923/26097)
Jun 01, 2017 12:58:24 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(130/343) took 22443 ms. Total solver calls (SAT/UNSAT): 36418(8307/28111)
Jun 01, 2017 12:58:25 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(136/343) took 23469 ms. Total solver calls (SAT/UNSAT): 37675(8714/28961)
Jun 01, 2017 12:58:26 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(148/343) took 24582 ms. Total solver calls (SAT/UNSAT): 40081(9119/30962)
Jun 01, 2017 12:58:27 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(157/343) took 25613 ms. Total solver calls (SAT/UNSAT): 41791(9512/32279)
Jun 01, 2017 12:58:28 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(167/343) took 26716 ms. Total solver calls (SAT/UNSAT): 43596(9933/33663)
Jun 01, 2017 12:58:29 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(175/343) took 27736 ms. Total solver calls (SAT/UNSAT): 44968(10232/34736)
Jun 01, 2017 12:58:30 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(185/343) took 28795 ms. Total solver calls (SAT/UNSAT): 46593(10625/35968)
Jun 01, 2017 12:58:31 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(199/343) took 29808 ms. Total solver calls (SAT/UNSAT): 48700(10992/37708)
Jun 01, 2017 12:58:33 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(208/343) took 30862 ms. Total solver calls (SAT/UNSAT): 49951(11394/38557)
Jun 01, 2017 12:58:34 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(224/343) took 31944 ms. Total solver calls (SAT/UNSAT): 51975(11790/40185)
Jun 01, 2017 12:58:35 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(242/343) took 32948 ms. Total solver calls (SAT/UNSAT): 53946(12119/41827)
Jun 01, 2017 12:58:36 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of enabling matrix(266/343) took 34010 ms. Total solver calls (SAT/UNSAT): 56070(12491/43579)
Jun 01, 2017 12:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver printStats
INFO: Computation of Finished enabling matrix. took 34903 ms. Total solver calls (SAT/UNSAT): 58996(12726/46270)
Jun 01, 2017 12:58:37 AM fr.lip6.move.gal.gal2smt.bmc.NecessaryEnablingsolver computeDoNotAccord
INFO: Computing Do-Not-Accords matrix : 343 transitions.
Jun 01, 2017 1:55:14 AM fr.lip6.move.gal.itstools.ProcessController$1 run
WARNING: null
Jun 01, 2017 1:55:14 AM fr.lip6.move.gal.itstools.ProcessController forwardStream
WARNING: Stream closed
Jun 01, 2017 1:55:14 AM 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="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/NeoElection-COL-2.tgz
mv NeoElection-COL-2 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool itstools"
echo " Input is 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 r040-blw7-149440486400231"
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 ;