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-2265
Executing tool itstools
Input is S_QuasiCertifProtocol-COL-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r215st-ebro-143344922500781
=====================================================================

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1433637168900

STATE_SPACE STATES 21925408994280 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

BK_STOP 1433637178673

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

Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=512m; support was removed in 8.0
Jun 07, 2015 12:32:52 AM fr.lip6.move.gal.application.Application transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 07, 2015 12:32:52 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 07, 2015 12:32:54 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1936 ms
Jun 07, 2015 12:32:54 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 30 places.
Jun 07, 2015 12:32:54 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: read order :VarOrder [vars=[malicious_reservoir[0], CstopAbort[0], SstopAbort[0], AstopAbort[0], n9[0], n9[1], n9[2], n9[3], n9[4], n9[5], n9[6], n9[7], n9[8], n9[9], n9[10], n9[11], n9[12], n9[13], n9[14], n9[15], n9[16], n9[17], n9[18], n9[19], n9[20], n9[21], n9[22], n9[23], n9[24], n9[25], n9[26], n9[27], n9[28], n9[29], n9[30], n9[31], n9[32], n9[33], n9[34], n9[35], n9[36], n9[37], n9[38], n9[39], n9[40], n9[41], n9[42], n9[43], n9[44], n9[45], n9[46], n9[47], n9[48], n9[49], n9[50], n9[51], n9[52], n9[53], n9[54], n9[55], n9[56], n9[57], n9[58], n9[59], n9[60], n9[61], n9[62], n9[63], n9[64], n9[65], n9[66], n9[67], n9[68], n9[69], n9[70], n9[71], n9[72], n9[73], n9[74], n9[75], n9[76], n9[77], n9[78], n9[79], n9[80], n9[81], n9[82], n9[83], n9[84], n9[85], n9[86], n9[87], n9[88], n9[89], n9[90], n9[91], n9[92], n9[93], n9[94], n9[95], n9[96], n9[97], n9[98], n9[99], n9[100], n9[101], n9[102], n9[103], n9[104], n9[105], n9[106], n9[107], n9[108], n9[109], n9[110], n9[111], n9[112], n9[113], n9[114], n9[115], n9[116], n9[117], n9[118], n9[119], n9[120], n8[0], n8[1], n8[2], n8[3], n8[4], n8[5], n8[6], n8[7], n8[8], n8[9], n8[10], n8[11], n8[12], n8[13], n8[14], n8[15], n8[16], n8[17], n8[18], n8[19], n8[20], n8[21], n8[22], n8[23], n8[24], n8[25], n8[26], n8[27], n8[28], n8[29], n8[30], n8[31], n8[32], n8[33], n8[34], n8[35], n8[36], n8[37], n8[38], n8[39], n8[40], n8[41], n8[42], n8[43], n8[44], n8[45], n8[46], n8[47], n8[48], n8[49], n8[50], n8[51], n8[52], n8[53], n8[54], n8[55], n8[56], n8[57], n8[58], n8[59], n8[60], n8[61], n8[62], n8[63], n8[64], n8[65], n8[66], n8[67], n8[68], n8[69], n8[70], n8[71], n8[72], n8[73], n8[74], n8[75], n8[76], n8[77], n8[78], n8[79], n8[80], n8[81], n8[82], n8[83], n8[84], n8[85], n8[86], n8[87], n8[88], n8[89], n8[90], n8[91], n8[92], n8[93], n8[94], n8[95], n8[96], n8[97], n8[98], n8[99], n8[100], n8[101], n8[102], n8[103], n8[104], n8[105], n8[106], n8[107], n8[108], n8[109], n8[110], n8[111], n8[112], n8[113], n8[114], n8[115], n8[116], n8[117], n8[118], n8[119], n8[120], n7[0], n7[1], n7[2], n7[3], n7[4], n7[5], n7[6], n7[7], n7[8], n7[9], n7[10], n7[11], n7[12], n7[13], n7[14], n7[15], n7[16], n7[17], n7[18], n7[19], n7[20], n7[21], n7[22], n7[23], n7[24], n7[25], n7[26], n7[27], n7[28], n7[29], n7[30], n7[31], n7[32], n7[33], n7[34], n7[35], n7[36], n7[37], n7[38], n7[39], n7[40], n7[41], n7[42], n7[43], n7[44], n7[45], n7[46], n7[47], n7[48], n7[49], n7[50], n7[51], n7[52], n7[53], n7[54], n7[55], n7[56], n7[57], n7[58], n7[59], n7[60], n7[61], n7[62], n7[63], n7[64], n7[65], n7[66], n7[67], n7[68], n7[69], n7[70], n7[71], n7[72], n7[73], n7[74], n7[75], n7[76], n7[77], n7[78], n7[79], n7[80], n7[81], n7[82], n7[83], n7[84], n7[85], n7[86], n7[87], n7[88], n7[89], n7[90], n7[91], n7[92], n7[93], n7[94], n7[95], n7[96], n7[97], n7[98], n7[99], n7[100], n7[101], n7[102], n7[103], n7[104], n7[105], n7[106], n7[107], n7[108], n7[109], n7[110], n7[111], n7[112], n7[113], n7[114], n7[115], n7[116], n7[117], n7[118], n7[119], n7[120], n6[0], n6[1], n6[2], n6[3], n6[4], n6[5], n6[6], n6[7], n6[8], n6[9], n6[10], n5[0], n5[1], n5[2], n5[3], n5[4], n5[5], n5[6], n5[7], n5[8], n5[9], n5[10], n4[0], n4[1], n4[2], n4[3], n4[4], n4[5], n4[6], n4[7], n4[8], n4[9], n4[10], n3[0], n3[1], n3[2], n3[3], n3[4], n3[5], n3[6], n3[7], n3[8], n3[9], n3[10], n2[0], n2[1], n2[2], n2[3], n2[4], n2[5], n2[6], n2[7], n2[8], n2[9], n2[10], n1[0], n1[1], n1[2], n1[3], n1[4], n1[5], n1[6], n1[7], n1[8], n1[9], n1[10], c1[0], c1[1], c1[2], c1[3], c1[4], c1[5], c1[6], c1[7], c1[8], c1[9], c1[10], Cstart[0], Cstart[1], Cstart[2], Cstart[3], Cstart[4], Cstart[5], Cstart[6], Cstart[7], Cstart[8], Cstart[9], Cstart[10], Sstart[0], Sstart[1], Sstart[2], Sstart[3], Sstart[4], Sstart[5], Sstart[6], Sstart[7], Sstart[8], Sstart[9], Sstart[10], s2[0], s2[1], s2[2], s2[3], s2[4], s2[5], s2[6], s2[7], s2[8], s2[9], s2[10], s3[0], s3[1], s3[2], s3[3], s3[4], s3[5], s3[6], s3[7], s3[8], s3[9], s3[10], s4[0], s4[1], s4[2], s4[3], s4[4], s4[5], s4[6], s4[7], s4[8], s4[9], s4[10], s5[0], s5[1], s5[2], s5[3], s5[4], s5[5], s5[6], s5[7], s5[8], s5[9], s5[10], s6[0], s6[1], s6[2], s6[3], s6[4], s6[5], s6[6], s6[7], s6[8], s6[9], s6[10], SstopOK[0], SstopOK[1], SstopOK[2], SstopOK[3], SstopOK[4], SstopOK[5], SstopOK[6], SstopOK[7], SstopOK[8], SstopOK[9], SstopOK[10], a5[0], a4[0], a3[0], a2[0], a1[0], Astart[0], AstopOK[0], CstopOK[0], CstopOK[1], CstopOK[2], CstopOK[3], CstopOK[4], CstopOK[5], CstopOK[6], CstopOK[7], CstopOK[8], CstopOK[9], CstopOK[10]]]
Jun 07, 2015 12:32:54 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :tsidxtsid->n9,n8,n7,
Dot->malicious_reservoir,CstopAbort,SstopAbort,AstopAbort,a5,a4,a3,a2,a1,Astart,AstopOK,
tsid->n6,n5,n4,n3,n2,n1,c1,Cstart,Sstart,s2,s3,s4,s5,s6,SstopOK,CstopOK,

Jun 07, 2015 12:32:54 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 26 transitions.
Jun 07, 2015 12:32:54 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains : CompositeGalOrder [children=[VarOrder [vars=[n9[0], n8[0], n7[0]]], VarOrder [vars=[n9[1], n8[1], n7[1]]], VarOrder [vars=[n9[2], n8[2], n7[2]]], VarOrder [vars=[n9[3], n8[3], n7[3]]], VarOrder [vars=[n9[4], n8[4], n7[4]]], VarOrder [vars=[n9[5], n8[5], n7[5]]], VarOrder [vars=[n9[6], n8[6], n7[6]]], VarOrder [vars=[n9[7], n8[7], n7[7]]], VarOrder [vars=[n9[8], n8[8], n7[8]]], VarOrder [vars=[n9[9], n8[9], n7[9]]], VarOrder [vars=[n9[10], n8[10], n7[10]]], VarOrder [vars=[n9[11], n8[11], n7[11]]], VarOrder [vars=[n9[12], n8[12], n7[12]]], VarOrder [vars=[n9[13], n8[13], n7[13]]], VarOrder [vars=[n9[14], n8[14], n7[14]]], VarOrder [vars=[n9[15], n8[15], n7[15]]], VarOrder [vars=[n9[16], n8[16], n7[16]]], VarOrder [vars=[n9[17], n8[17], n7[17]]], VarOrder [vars=[n9[18], n8[18], n7[18]]], VarOrder [vars=[n9[19], n8[19], n7[19]]], VarOrder [vars=[n9[20], n8[20], n7[20]]], VarOrder [vars=[n9[21], n8[21], n7[21]]], VarOrder [vars=[n9[22], n8[22], n7[22]]], VarOrder [vars=[n9[23], n8[23], n7[23]]], VarOrder [vars=[n9[24], n8[24], n7[24]]], VarOrder [vars=[n9[25], n8[25], n7[25]]], VarOrder [vars=[n9[26], n8[26], n7[26]]], VarOrder [vars=[n9[27], n8[27], n7[27]]], VarOrder [vars=[n9[28], n8[28], n7[28]]], VarOrder [vars=[n9[29], n8[29], n7[29]]], VarOrder [vars=[n9[30], n8[30], n7[30]]], VarOrder [vars=[n9[31], n8[31], n7[31]]], VarOrder [vars=[n9[32], n8[32], n7[32]]], VarOrder [vars=[n9[33], n8[33], n7[33]]], VarOrder [vars=[n9[34], n8[34], n7[34]]], VarOrder [vars=[n9[35], n8[35], n7[35]]], VarOrder [vars=[n9[36], n8[36], n7[36]]], VarOrder [vars=[n9[37], n8[37], n7[37]]], VarOrder [vars=[n9[38], n8[38], n7[38]]], VarOrder [vars=[n9[39], n8[39], n7[39]]], VarOrder [vars=[n9[40], n8[40], n7[40]]], VarOrder [vars=[n9[41], n8[41], n7[41]]], VarOrder [vars=[n9[42], n8[42], n7[42]]], VarOrder [vars=[n9[43], n8[43], n7[43]]], VarOrder [vars=[n9[44], n8[44], n7[44]]], VarOrder [vars=[n9[45], n8[45], n7[45]]], VarOrder [vars=[n9[46], n8[46], n7[46]]], VarOrder [vars=[n9[47], n8[47], n7[47]]], VarOrder [vars=[n9[48], n8[48], n7[48]]], VarOrder [vars=[n9[49], n8[49], n7[49]]], VarOrder [vars=[n9[50], n8[50], n7[50]]], VarOrder [vars=[n9[51], n8[51], n7[51]]], VarOrder [vars=[n9[52], n8[52], n7[52]]], VarOrder [vars=[n9[53], n8[53], n7[53]]], VarOrder [vars=[n9[54], n8[54], n7[54]]], VarOrder [vars=[n9[55], n8[55], n7[55]]], VarOrder [vars=[n9[56], n8[56], n7[56]]], VarOrder [vars=[n9[57], n8[57], n7[57]]], VarOrder [vars=[n9[58], n8[58], n7[58]]], VarOrder [vars=[n9[59], n8[59], n7[59]]], VarOrder [vars=[n9[60], n8[60], n7[60]]], VarOrder [vars=[n9[61], n8[61], n7[61]]], VarOrder [vars=[n9[62], n8[62], n7[62]]], VarOrder [vars=[n9[63], n8[63], n7[63]]], VarOrder [vars=[n9[64], n8[64], n7[64]]], VarOrder [vars=[n9[65], n8[65], n7[65]]], VarOrder [vars=[n9[66], n8[66], n7[66]]], VarOrder [vars=[n9[67], n8[67], n7[67]]], VarOrder [vars=[n9[68], n8[68], n7[68]]], VarOrder [vars=[n9[69], n8[69], n7[69]]], VarOrder [vars=[n9[70], n8[70], n7[70]]], VarOrder [vars=[n9[71], n8[71], n7[71]]], VarOrder [vars=[n9[72], n8[72], n7[72]]], VarOrder [vars=[n9[73], n8[73], n7[73]]], VarOrder [vars=[n9[74], n8[74], n7[74]]], VarOrder [vars=[n9[75], n8[75], n7[75]]], VarOrder [vars=[n9[76], n8[76], n7[76]]], VarOrder [vars=[n9[77], n8[77], n7[77]]], VarOrder [vars=[n9[78], n8[78], n7[78]]], VarOrder [vars=[n9[79], n8[79], n7[79]]], VarOrder [vars=[n9[80], n8[80], n7[80]]], VarOrder [vars=[n9[81], n8[81], n7[81]]], VarOrder [vars=[n9[82], n8[82], n7[82]]], VarOrder [vars=[n9[83], n8[83], n7[83]]], VarOrder [vars=[n9[84], n8[84], n7[84]]], VarOrder [vars=[n9[85], n8[85], n7[85]]], VarOrder [vars=[n9[86], n8[86], n7[86]]], VarOrder [vars=[n9[87], n8[87], n7[87]]], VarOrder [vars=[n9[88], n8[88], n7[88]]], VarOrder [vars=[n9[89], n8[89], n7[89]]], VarOrder [vars=[n9[90], n8[90], n7[90]]], VarOrder [vars=[n9[91], n8[91], n7[91]]], VarOrder [vars=[n9[92], n8[92], n7[92]]], VarOrder [vars=[n9[93], n8[93], n7[93]]], VarOrder [vars=[n9[94], n8[94], n7[94]]], VarOrder [vars=[n9[95], n8[95], n7[95]]], VarOrder [vars=[n9[96], n8[96], n7[96]]], VarOrder [vars=[n9[97], n8[97], n7[97]]], VarOrder [vars=[n9[98], n8[98], n7[98]]], VarOrder [vars=[n9[99], n8[99], n7[99]]], VarOrder [vars=[n9[100], n8[100], n7[100]]], VarOrder [vars=[n9[101], n8[101], n7[101]]], VarOrder [vars=[n9[102], n8[102], n7[102]]], VarOrder [vars=[n9[103], n8[103], n7[103]]], VarOrder [vars=[n9[104], n8[104], n7[104]]], VarOrder [vars=[n9[105], n8[105], n7[105]]], VarOrder [vars=[n9[106], n8[106], n7[106]]], VarOrder [vars=[n9[107], n8[107], n7[107]]], VarOrder [vars=[n9[108], n8[108], n7[108]]], VarOrder [vars=[n9[109], n8[109], n7[109]]], VarOrder [vars=[n9[110], n8[110], n7[110]]], VarOrder [vars=[n9[111], n8[111], n7[111]]], VarOrder [vars=[n9[112], n8[112], n7[112]]], VarOrder [vars=[n9[113], n8[113], n7[113]]], VarOrder [vars=[n9[114], n8[114], n7[114]]], VarOrder [vars=[n9[115], n8[115], n7[115]]], VarOrder [vars=[n9[116], n8[116], n7[116]]], VarOrder [vars=[n9[117], n8[117], n7[117]]], VarOrder [vars=[n9[118], n8[118], n7[118]]], VarOrder [vars=[n9[119], n8[119], n7[119]]], VarOrder [vars=[n9[120], n8[120], n7[120]]], VarOrder [vars=[malicious_reservoir[0]]], VarOrder [vars=[CstopAbort[0]]], VarOrder [vars=[SstopAbort[0]]], VarOrder [vars=[AstopAbort[0]]], VarOrder [vars=[a5[0]]], VarOrder [vars=[a4[0]]], VarOrder [vars=[a3[0]]], VarOrder [vars=[a2[0]]], VarOrder [vars=[a1[0]]], VarOrder [vars=[Astart[0]]], VarOrder [vars=[AstopOK[0]]], VarOrder [vars=[n6[0], n5[0], n4[0], n3[0], n2[0], n1[0], c1[0], Cstart[0], Sstart[0], s2[0], s3[0], s4[0], s5[0], s6[0], SstopOK[0], CstopOK[0]]], VarOrder [vars=[n6[1], n5[1], n4[1], n3[1], n2[1], n1[1], c1[1], Cstart[1], Sstart[1], s2[1], s3[1], s4[1], s5[1], s6[1], SstopOK[1], CstopOK[1]]], VarOrder [vars=[n6[2], n5[2], n4[2], n3[2], n2[2], n1[2], c1[2], Cstart[2], Sstart[2], s2[2], s3[2], s4[2], s5[2], s6[2], SstopOK[2], CstopOK[2]]], VarOrder [vars=[n6[3], n5[3], n4[3], n3[3], n2[3], n1[3], c1[3], Cstart[3], Sstart[3], s2[3], s3[3], s4[3], s5[3], s6[3], SstopOK[3], CstopOK[3]]], VarOrder [vars=[n6[4], n5[4], n4[4], n3[4], n2[4], n1[4], c1[4], Cstart[4], Sstart[4], s2[4], s3[4], s4[4], s5[4], s6[4], SstopOK[4], CstopOK[4]]], VarOrder [vars=[n6[5], n5[5], n4[5], n3[5], n2[5], n1[5], c1[5], Cstart[5], Sstart[5], s2[5], s3[5], s4[5], s5[5], s6[5], SstopOK[5], CstopOK[5]]], VarOrder [vars=[n6[6], n5[6], n4[6], n3[6], n2[6], n1[6], c1[6], Cstart[6], Sstart[6], s2[6], s3[6], s4[6], s5[6], s6[6], SstopOK[6], CstopOK[6]]], VarOrder [vars=[n6[7], n5[7], n4[7], n3[7], n2[7], n1[7], c1[7], Cstart[7], Sstart[7], s2[7], s3[7], s4[7], s5[7], s6[7], SstopOK[7], CstopOK[7]]], VarOrder [vars=[n6[8], n5[8], n4[8], n3[8], n2[8], n1[8], c1[8], Cstart[8], Sstart[8], s2[8], s3[8], s4[8], s5[8], s6[8], SstopOK[8], CstopOK[8]]], VarOrder [vars=[n6[9], n5[9], n4[9], n3[9], n2[9], n1[9], c1[9], Cstart[9], Sstart[9], s2[9], s3[9], s4[9], s5[9], s6[9], SstopOK[9], CstopOK[9]]], VarOrder [vars=[n6[10], n5[10], n4[10], n3[10], n2[10], n1[10], c1[10], Cstart[10], Sstart[10], s2[10], s3[10], s4[10], s5[10], s6[10], SstopOK[10], CstopOK[10]]]]]
Jun 07, 2015 12:32:54 AM fr.lip6.move.gal.application.Application applyOrder
INFO: Applying decomposition
Jun 07, 2015 12:32:54 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 330 constant array cells/variables (out of 550 variables)
n8[11],n8[12],n8[13],n8[14],n8[15],n8[16],n8[17],n8[18],n8[19],n8[20],n8[21],n8[22],n8[23],n8[24],n8[25],n8[26],n8[27],n8[28],n8[29],n8[30],n8[31],n8[32],n8[33],n8[34],n8[35],n8[36],n8[37],n8[38],n8[39],n8[40],n8[41],n8[42],n8[43],n8[44],n8[45],n8[46],n8[47],n8[48],n8[49],n8[50],n8[51],n8[52],n8[53],n8[54],n8[55],n8[56],n8[57],n8[58],n8[59],n8[60],n8[61],n8[62],n8[63],n8[64],n8[65],n8[66],n8[67],n8[68],n8[69],n8[70],n8[71],n8[72],n8[73],n8[74],n8[75],n8[76],n8[77],n8[78],n8[79],n8[80],n8[81],n8[82],n8[83],n8[84],n8[85],n8[86],n8[87],n8[88],n8[89],n8[90],n8[91],n8[92],n8[93],n8[94],n8[95],n8[96],n8[97],n8[98],n8[99],n8[100],n8[101],n8[102],n8[103],n8[104],n8[105],n8[106],n8[107],n8[108],n8[109],n8[110],n8[111],n8[112],n8[113],n8[114],n8[115],n8[116],n8[117],n8[118],n8[119],n8[120],n9[11],n9[12],n9[13],n9[14],n9[15],n9[16],n9[17],n9[18],n9[19],n9[20],n9[21],n9[22],n9[23],n9[24],n9[25],n9[26],n9[27],n9[28],n9[29],n9[30],n9[31],n9[32],n9[33],n9[34],n9[35],n9[36],n9[37],n9[38],n9[39],n9[40],n9[41],n9[42],n9[43],n9[44],n9[45],n9[46],n9[47],n9[48],n9[49],n9[50],n9[51],n9[52],n9[53],n9[54],n9[55],n9[56],n9[57],n9[58],n9[59],n9[60],n9[61],n9[62],n9[63],n9[64],n9[65],n9[66],n9[67],n9[68],n9[69],n9[70],n9[71],n9[72],n9[73],n9[74],n9[75],n9[76],n9[77],n9[78],n9[79],n9[80],n9[81],n9[82],n9[83],n9[84],n9[85],n9[86],n9[87],n9[88],n9[89],n9[90],n9[91],n9[92],n9[93],n9[94],n9[95],n9[96],n9[97],n9[98],n9[99],n9[100],n9[101],n9[102],n9[103],n9[104],n9[105],n9[106],n9[107],n9[108],n9[109],n9[110],n9[111],n9[112],n9[113],n9[114],n9[115],n9[116],n9[117],n9[118],n9[119],n9[120],n7[11],n7[12],n7[13],n7[14],n7[15],n7[16],n7[17],n7[18],n7[19],n7[20],n7[21],n7[22],n7[23],n7[24],n7[25],n7[26],n7[27],n7[28],n7[29],n7[30],n7[31],n7[32],n7[33],n7[34],n7[35],n7[36],n7[37],n7[38],n7[39],n7[40],n7[41],n7[42],n7[43],n7[44],n7[45],n7[46],n7[47],n7[48],n7[49],n7[50],n7[51],n7[52],n7[53],n7[54],n7[55],n7[56],n7[57],n7[58],n7[59],n7[60],n7[61],n7[62],n7[63],n7[64],n7[65],n7[66],n7[67],n7[68],n7[69],n7[70],n7[71],n7[72],n7[73],n7[74],n7[75],n7[76],n7[77],n7[78],n7[79],n7[80],n7[81],n7[82],n7[83],n7[84],n7[85],n7[86],n7[87],n7[88],n7[89],n7[90],n7[91],n7[92],n7[93],n7[94],n7[95],n7[96],n7[97],n7[98],n7[99],n7[100],n7[101],n7[102],n7[103],n7[104],n7[105],n7[106],n7[107],n7[108],n7[109],n7[110],n7[111],n7[112],n7[113],n7[114],n7[115],n7[116],n7[117],n7[118],n7[119],n7[120],
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 330 constant array cells/variables (out of 550 variables)
n8[11],n8[12],n8[13],n8[14],n8[15],n8[16],n8[17],n8[18],n8[19],n8[20],n8[21],n8[22],n8[23],n8[24],n8[25],n8[26],n8[27],n8[28],n8[29],n8[30],n8[31],n8[32],n8[33],n8[34],n8[35],n8[36],n8[37],n8[38],n8[39],n8[40],n8[41],n8[42],n8[43],n8[44],n8[45],n8[46],n8[47],n8[48],n8[49],n8[50],n8[51],n8[52],n8[53],n8[54],n8[55],n8[56],n8[57],n8[58],n8[59],n8[60],n8[61],n8[62],n8[63],n8[64],n8[65],n8[66],n8[67],n8[68],n8[69],n8[70],n8[71],n8[72],n8[73],n8[74],n8[75],n8[76],n8[77],n8[78],n8[79],n8[80],n8[81],n8[82],n8[83],n8[84],n8[85],n8[86],n8[87],n8[88],n8[89],n8[90],n8[91],n8[92],n8[93],n8[94],n8[95],n8[96],n8[97],n8[98],n8[99],n8[100],n8[101],n8[102],n8[103],n8[104],n8[105],n8[106],n8[107],n8[108],n8[109],n8[110],n8[111],n8[112],n8[113],n8[114],n8[115],n8[116],n8[117],n8[118],n8[119],n8[120],n9[11],n9[12],n9[13],n9[14],n9[15],n9[16],n9[17],n9[18],n9[19],n9[20],n9[21],n9[22],n9[23],n9[24],n9[25],n9[26],n9[27],n9[28],n9[29],n9[30],n9[31],n9[32],n9[33],n9[34],n9[35],n9[36],n9[37],n9[38],n9[39],n9[40],n9[41],n9[42],n9[43],n9[44],n9[45],n9[46],n9[47],n9[48],n9[49],n9[50],n9[51],n9[52],n9[53],n9[54],n9[55],n9[56],n9[57],n9[58],n9[59],n9[60],n9[61],n9[62],n9[63],n9[64],n9[65],n9[66],n9[67],n9[68],n9[69],n9[70],n9[71],n9[72],n9[73],n9[74],n9[75],n9[76],n9[77],n9[78],n9[79],n9[80],n9[81],n9[82],n9[83],n9[84],n9[85],n9[86],n9[87],n9[88],n9[89],n9[90],n9[91],n9[92],n9[93],n9[94],n9[95],n9[96],n9[97],n9[98],n9[99],n9[100],n9[101],n9[102],n9[103],n9[104],n9[105],n9[106],n9[107],n9[108],n9[109],n9[110],n9[111],n9[112],n9[113],n9[114],n9[115],n9[116],n9[117],n9[118],n9[119],n9[120],n7[11],n7[12],n7[13],n7[14],n7[15],n7[16],n7[17],n7[18],n7[19],n7[20],n7[21],n7[22],n7[23],n7[24],n7[25],n7[26],n7[27],n7[28],n7[29],n7[30],n7[31],n7[32],n7[33],n7[34],n7[35],n7[36],n7[37],n7[38],n7[39],n7[40],n7[41],n7[42],n7[43],n7[44],n7[45],n7[46],n7[47],n7[48],n7[49],n7[50],n7[51],n7[52],n7[53],n7[54],n7[55],n7[56],n7[57],n7[58],n7[59],n7[60],n7[61],n7[62],n7[63],n7[64],n7[65],n7[66],n7[67],n7[68],n7[69],n7[70],n7[71],n7[72],n7[73],n7[74],n7[75],n7[76],n7[77],n7[78],n7[79],n7[80],n7[81],n7[82],n7[83],n7[84],n7[85],n7[86],n7[87],n7[88],n7[89],n7[90],n7[91],n7[92],n7[93],n7[94],n7[95],n7[96],n7[97],n7[98],n7[99],n7[100],n7[101],n7[102],n7[103],n7[104],n7[105],n7[106],n7[107],n7[108],n7[109],n7[110],n7[111],n7[112],n7[113],n7[114],n7[115],n7[116],n7[117],n7[118],n7[119],n7[120],
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 296 ms
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Partition obtained :[n9[0], n8[0], n7[0], ],[n9[1], n8[1], n7[1], ],[n9[2], n8[2], n7[2], ],[n9[3], n8[3], n7[3], ],[n9[4], n8[4], n7[4], ],[n9[5], n8[5], n7[5], ],[n9[6], n8[6], n7[6], ],[n9[7], n8[7], n7[7], ],[n9[8], n8[8], n7[8], ],[n9[9], n8[9], n7[9], ],[n9[10], n8[10], n7[10], ],[n9[11], n8[11], n7[11], ],[n9[12], n8[12], n7[12], ],[n9[13], n8[13], n7[13], ],[n9[14], n8[14], n7[14], ],[n9[15], n8[15], n7[15], ],[n9[16], n8[16], n7[16], ],[n9[17], n8[17], n7[17], ],[n9[18], n8[18], n7[18], ],[n9[19], n8[19], n7[19], ],[n9[20], n8[20], n7[20], ],[n9[21], n8[21], n7[21], ],[n9[22], n8[22], n7[22], ],[n9[23], n8[23], n7[23], ],[n9[24], n8[24], n7[24], ],[n9[25], n8[25], n7[25], ],[n9[26], n8[26], n7[26], ],[n9[27], n8[27], n7[27], ],[n9[28], n8[28], n7[28], ],[n9[29], n8[29], n7[29], ],[n9[30], n8[30], n7[30], ],[n9[31], n8[31], n7[31], ],[n9[32], n8[32], n7[32], ],[n9[33], n8[33], n7[33], ],[n9[34], n8[34], n7[34], ],[n9[35], n8[35], n7[35], ],[n9[36], n8[36], n7[36], ],[n9[37], n8[37], n7[37], ],[n9[38], n8[38], n7[38], ],[n9[39], n8[39], n7[39], ],[n9[40], n8[40], n7[40], ],[n9[41], n8[41], n7[41], ],[n9[42], n8[42], n7[42], ],[n9[43], n8[43], n7[43], ],[n9[44], n8[44], n7[44], ],[n9[45], n8[45], n7[45], ],[n9[46], n8[46], n7[46], ],[n9[47], n8[47], n7[47], ],[n9[48], n8[48], n7[48], ],[n9[49], n8[49], n7[49], ],[n9[50], n8[50], n7[50], ],[n9[51], n8[51], n7[51], ],[n9[52], n8[52], n7[52], ],[n9[53], n8[53], n7[53], ],[n9[54], n8[54], n7[54], ],[n9[55], n8[55], n7[55], ],[n9[56], n8[56], n7[56], ],[n9[57], n8[57], n7[57], ],[n9[58], n8[58], n7[58], ],[n9[59], n8[59], n7[59], ],[n9[60], n8[60], n7[60], ],[n9[61], n8[61], n7[61], ],[n9[62], n8[62], n7[62], ],[n9[63], n8[63], n7[63], ],[n9[64], n8[64], n7[64], ],[n9[65], n8[65], n7[65], ],[n9[66], n8[66], n7[66], ],[n9[67], n8[67], n7[67], ],[n9[68], n8[68], n7[68], ],[n9[69], n8[69], n7[69], ],[n9[70], n8[70], n7[70], ],[n9[71], n8[71], n7[71], ],[n9[72], n8[72], n7[72], ],[n9[73], n8[73], n7[73], ],[n9[74], n8[74], n7[74], ],[n9[75], n8[75], n7[75], ],[n9[76], n8[76], n7[76], ],[n9[77], n8[77], n7[77], ],[n9[78], n8[78], n7[78], ],[n9[79], n8[79], n7[79], ],[n9[80], n8[80], n7[80], ],[n9[81], n8[81], n7[81], ],[n9[82], n8[82], n7[82], ],[n9[83], n8[83], n7[83], ],[n9[84], n8[84], n7[84], ],[n9[85], n8[85], n7[85], ],[n9[86], n8[86], n7[86], ],[n9[87], n8[87], n7[87], ],[n9[88], n8[88], n7[88], ],[n9[89], n8[89], n7[89], ],[n9[90], n8[90], n7[90], ],[n9[91], n8[91], n7[91], ],[n9[92], n8[92], n7[92], ],[n9[93], n8[93], n7[93], ],[n9[94], n8[94], n7[94], ],[n9[95], n8[95], n7[95], ],[n9[96], n8[96], n7[96], ],[n9[97], n8[97], n7[97], ],[n9[98], n8[98], n7[98], ],[n9[99], n8[99], n7[99], ],[n9[100], n8[100], n7[100], ],[n9[101], n8[101], n7[101], ],[n9[102], n8[102], n7[102], ],[n9[103], n8[103], n7[103], ],[n9[104], n8[104], n7[104], ],[n9[105], n8[105], n7[105], ],[n9[106], n8[106], n7[106], ],[n9[107], n8[107], n7[107], ],[n9[108], n8[108], n7[108], ],[n9[109], n8[109], n7[109], ],[n9[110], n8[110], n7[110], ],[n9[111], n8[111], n7[111], ],[n9[112], n8[112], n7[112], ],[n9[113], n8[113], n7[113], ],[n9[114], n8[114], n7[114], ],[n9[115], n8[115], n7[115], ],[n9[116], n8[116], n7[116], ],[n9[117], n8[117], n7[117], ],[n9[118], n8[118], n7[118], ],[n9[119], n8[119], n7[119], ],[n9[120], n8[120], n7[120], ],[malicious_reservoir[0], ],[CstopAbort[0], ],[SstopAbort[0], ],[AstopAbort[0], ],[a5[0], ],[a4[0], ],[a3[0], ],[a2[0], ],[a1[0], ],[Astart[0], ],[AstopOK[0], ],[n6[0], n5[0], n4[0], n3[0], n2[0], n1[0], c1[0], Cstart[0], Sstart[0], s2[0], s3[0], s4[0], s5[0], s6[0], SstopOK[0], CstopOK[0], ],[n6[1], n5[1], n4[1], n3[1], n2[1], n1[1], c1[1], Cstart[1], Sstart[1], s2[1], s3[1], s4[1], s5[1], s6[1], SstopOK[1], CstopOK[1], ],[n6[2], n5[2], n4[2], n3[2], n2[2], n1[2], c1[2], Cstart[2], Sstart[2], s2[2], s3[2], s4[2], s5[2], s6[2], SstopOK[2], CstopOK[2], ],[n6[3], n5[3], n4[3], n3[3], n2[3], n1[3], c1[3], Cstart[3], Sstart[3], s2[3], s3[3], s4[3], s5[3], s6[3], SstopOK[3], CstopOK[3], ],[n6[4], n5[4], n4[4], n3[4], n2[4], n1[4], c1[4], Cstart[4], Sstart[4], s2[4], s3[4], s4[4], s5[4], s6[4], SstopOK[4], CstopOK[4], ],[n6[5], n5[5], n4[5], n3[5], n2[5], n1[5], c1[5], Cstart[5], Sstart[5], s2[5], s3[5], s4[5], s5[5], s6[5], SstopOK[5], CstopOK[5], ],[n6[6], n5[6], n4[6], n3[6], n2[6], n1[6], c1[6], Cstart[6], Sstart[6], s2[6], s3[6], s4[6], s5[6], s6[6], SstopOK[6], CstopOK[6], ],[n6[7], n5[7], n4[7], n3[7], n2[7], n1[7], c1[7], Cstart[7], Sstart[7], s2[7], s3[7], s4[7], s5[7], s6[7], SstopOK[7], CstopOK[7], ],[n6[8], n5[8], n4[8], n3[8], n2[8], n1[8], c1[8], Cstart[8], Sstart[8], s2[8], s3[8], s4[8], s5[8], s6[8], SstopOK[8], CstopOK[8], ],[n6[9], n5[9], n4[9], n3[9], n2[9], n1[9], c1[9], Cstart[9], Sstart[9], s2[9], s3[9], s4[9], s5[9], s6[9], SstopOK[9], CstopOK[9], ],[n6[10], n5[10], n4[10], n3[10], n2[10], n1[10], c1[10], Cstart[10], Sstart[10], s2[10], s3[10], s4[10], s5[10], s6[10], SstopOK[10], CstopOK[10], ],

Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n9 to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n8 to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n7 to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n6 to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n5 to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n4 to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n3 to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n2 to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n1 to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array c1 to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array Cstart to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array Sstart to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array s2 to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array s3 to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array s4 to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array s5 to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array s6 to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array SstopOK to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array CstopOK to variables to allow decomposition.
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_11,n9_11,n8_11,
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_11, n9_11, n8_11
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_12,n9_12,n8_12,
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_12, n9_12, n8_12
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_13,n7_13,n9_13,
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_13, n7_13, n9_13
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_14,n9_14,n7_14,
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_14, n9_14, n7_14
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_15,n9_15,n8_15,
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_15, n9_15, n8_15
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_16,n7_16,n9_16,
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_16, n7_16, n9_16
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_17,n7_17,n9_17,
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_17, n7_17, n9_17
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_18,n9_18,n7_18,
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_18, n9_18, n7_18
Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:55 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_19,n8_19,n7_19,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_19, n8_19, n7_19
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_20,n7_20,n9_20,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_20, n7_20, n9_20
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_21,n7_21,n8_21,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_21, n7_21, n8_21
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_22,n7_22,n9_22,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_22, n7_22, n9_22
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_23,n7_23,n9_23,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_23, n7_23, n9_23
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_24,n9_24,n7_24,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_24, n9_24, n7_24
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_25,n7_25,n9_25,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_25, n7_25, n9_25
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_26,n7_26,n9_26,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_26, n7_26, n9_26
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_27,n8_27,n7_27,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_27, n8_27, n7_27
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_28,n9_28,n8_28,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_28, n9_28, n8_28
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_29,n9_29,n8_29,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_29, n9_29, n8_29
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_30,n8_30,n7_30,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_30, n8_30, n7_30
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_31,n9_31,n8_31,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_31, n9_31, n8_31
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_32,n7_32,n8_32,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_32, n7_32, n8_32
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_33,n9_33,n8_33,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_33, n9_33, n8_33
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_34,n9_34,n8_34,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_34, n9_34, n8_34
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_35,n7_35,n8_35,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_35, n7_35, n8_35
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_36,n9_36,n8_36,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_36, n9_36, n8_36
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_37,n8_37,n7_37,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_37, n8_37, n7_37
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_38,n9_38,n8_38,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_38, n9_38, n8_38
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_39,n8_39,n7_39,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_39, n8_39, n7_39
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_40,n8_40,n7_40,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_40, n8_40, n7_40
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_41,n7_41,n9_41,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_41, n7_41, n9_41
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_42,n9_42,n7_42,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_42, n9_42, n7_42
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_43,n9_43,n8_43,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_43, n9_43, n8_43
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_44,n8_44,n7_44,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_44, n8_44, n7_44
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_45,n9_45,n7_45,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_45, n9_45, n7_45
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_46,n9_46,n7_46,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_46, n9_46, n7_46
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_47,n8_47,n7_47,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_47, n8_47, n7_47
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_48,n9_48,n8_48,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_48, n9_48, n8_48
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_49,n9_49,n8_49,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_49, n9_49, n8_49
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_50,n7_50,n9_50,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_50, n7_50, n9_50
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_51,n7_51,n9_51,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_51, n7_51, n9_51
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_52,n7_52,n9_52,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_52, n7_52, n9_52
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_53,n8_53,n9_53,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_53, n8_53, n9_53
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_54,n9_54,n7_54,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_54, n9_54, n7_54
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_55,n9_55,n7_55,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_55, n9_55, n7_55
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_56,n9_56,n8_56,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_56, n9_56, n8_56
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_57,n9_57,n8_57,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_57, n9_57, n8_57
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_58,n9_58,n8_58,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_58, n9_58, n8_58
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_59,n9_59,n7_59,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_59, n9_59, n7_59
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_60,n9_60,n7_60,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_60, n9_60, n7_60
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_61,n9_61,n8_61,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_61, n9_61, n8_61
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_62,n7_62,n9_62,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_62, n7_62, n9_62
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_63,n7_63,n8_63,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_63, n7_63, n8_63
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_64,n8_64,n7_64,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_64, n8_64, n7_64
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_65,n7_65,n8_65,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_65, n7_65, n8_65
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_66,n7_66,n9_66,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_66, n7_66, n9_66
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_67,n7_67,n8_67,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_67, n7_67, n8_67
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_68,n7_68,n8_68,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_68, n7_68, n8_68
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_69,n8_69,n7_69,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_69, n8_69, n7_69
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_70,n9_70,n8_70,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_70, n9_70, n8_70
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_71,n8_71,n9_71,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_71, n8_71, n9_71
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_72,n7_72,n9_72,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_72, n7_72, n9_72
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_73,n8_73,n7_73,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_73, n8_73, n7_73
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_74,n9_74,n8_74,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_74, n9_74, n8_74
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_75,n9_75,n7_75,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_75, n9_75, n7_75
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_76,n7_76,n9_76,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_76, n7_76, n9_76
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_77,n7_77,n8_77,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_77, n7_77, n8_77
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_78,n8_78,n9_78,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_78, n8_78, n9_78
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_79,n9_79,n8_79,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_79, n9_79, n8_79
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_80,n9_80,n8_80,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_80, n9_80, n8_80
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_81,n9_81,n8_81,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_81, n9_81, n8_81
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_82,n7_82,n8_82,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_82, n7_82, n8_82
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_83,n8_83,n7_83,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_83, n8_83, n7_83
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_84,n7_84,n8_84,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_84, n7_84, n8_84
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_85,n7_85,n8_85,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_85, n7_85, n8_85
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_86,n8_86,n7_86,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_86, n8_86, n7_86
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_87,n9_87,n8_87,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_87, n9_87, n8_87
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_88,n8_88,n7_88,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_88, n8_88, n7_88
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_89,n9_89,n8_89,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_89, n9_89, n8_89
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_90,n8_90,n7_90,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_90, n8_90, n7_90
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_91,n7_91,n9_91,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_91, n7_91, n9_91
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_92,n8_92,n9_92,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_92, n8_92, n9_92
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_93,n8_93,n7_93,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_93, n8_93, n7_93
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_94,n8_94,n9_94,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_94, n8_94, n9_94
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_95,n8_95,n9_95,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_95, n8_95, n9_95
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_96,n7_96,n9_96,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_96, n7_96, n9_96
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_97,n9_97,n8_97,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_97, n9_97, n8_97
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_98,n7_98,n9_98,
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_98, n7_98, n9_98
Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:56 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_99,n7_99,n8_99,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_99, n7_99, n8_99
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_100,n9_100,n7_100,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_100, n9_100, n7_100
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_101,n9_101,n7_101,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_101, n9_101, n7_101
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_102,n9_102,n8_102,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_102, n9_102, n8_102
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_103,n7_103,n8_103,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_103, n7_103, n8_103
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_104,n7_104,n8_104,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_104, n7_104, n8_104
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_105,n7_105,n8_105,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_105, n7_105, n8_105
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_106,n9_106,n7_106,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_106, n9_106, n7_106
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_107,n9_107,n8_107,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_107, n9_107, n8_107
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_108,n8_108,n7_108,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_108, n8_108, n7_108
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_109,n8_109,n9_109,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_109, n8_109, n9_109
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_110,n8_110,n9_110,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_110, n8_110, n9_110
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_111,n7_111,n8_111,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_111, n7_111, n8_111
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n8_112,n9_112,n7_112,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n8_112, n9_112, n7_112
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_113,n9_113,n8_113,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_113, n9_113, n8_113
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_114,n9_114,n8_114,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_114, n9_114, n8_114
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_115,n7_115,n8_115,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_115, n7_115, n8_115
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_116,n9_116,n8_116,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_116, n9_116, n8_116
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_117,n7_117,n8_117,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_117, n7_117, n8_117
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_118,n8_118,n9_118,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n7_118, n8_118, n9_118
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_119,n8_119,n7_119,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_119, n8_119, n7_119
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n9_120,n8_120,n7_120,
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Removed 3 constant variables :n9_120, n8_120, n7_120
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Simplifier simplify
INFO: Removed 110 GAL types that were empty due to variable simplifications.
Jun 07, 2015 12:32:57 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 20 redundant transitions.
Jun 07, 2015 12:32:57 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/model.pnml.gal : 30 ms
Jun 07, 2015 12:32:57 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: No display to refresh.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="S_QuasiCertifProtocol-COL-10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/users/gast00/fkordon/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/S_QuasiCertifProtocol-COL-10.tgz
mv S_QuasiCertifProtocol-COL-10 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2265"
echo " Executing tool itstools"
echo " Input is S_QuasiCertifProtocol-COL-10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r215st-ebro-143344922500781"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "ReachabilityComputeBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.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 ;