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 QuasiCertifProtocol-COL-18, examination is ReachabilityFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r075kn-ebro-143262772700805
=====================================================================

--------------------
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 QuasiCertifProtocol-COL-18-ReachabilityFireability-0
FORMULA_NAME QuasiCertifProtocol-COL-18-ReachabilityFireability-1
FORMULA_NAME QuasiCertifProtocol-COL-18-ReachabilityFireability-10
FORMULA_NAME QuasiCertifProtocol-COL-18-ReachabilityFireability-11
FORMULA_NAME QuasiCertifProtocol-COL-18-ReachabilityFireability-12
FORMULA_NAME QuasiCertifProtocol-COL-18-ReachabilityFireability-13
FORMULA_NAME QuasiCertifProtocol-COL-18-ReachabilityFireability-14
FORMULA_NAME QuasiCertifProtocol-COL-18-ReachabilityFireability-15
FORMULA_NAME QuasiCertifProtocol-COL-18-ReachabilityFireability-2
FORMULA_NAME QuasiCertifProtocol-COL-18-ReachabilityFireability-3
FORMULA_NAME QuasiCertifProtocol-COL-18-ReachabilityFireability-4
FORMULA_NAME QuasiCertifProtocol-COL-18-ReachabilityFireability-5
FORMULA_NAME QuasiCertifProtocol-COL-18-ReachabilityFireability-6
FORMULA_NAME QuasiCertifProtocol-COL-18-ReachabilityFireability-7
FORMULA_NAME QuasiCertifProtocol-COL-18-ReachabilityFireability-8
FORMULA_NAME QuasiCertifProtocol-COL-18-ReachabilityFireability-9

=== Now, execution of the tool begins

BK_START 1432836189055

FORMULA QuasiCertifProtocol-COL-18-ReachabilityFireability-15 FALSE TECHNIQUES TOPOLOGICAL
FORMULA QuasiCertifProtocol-COL-18-ReachabilityFireability-5 FALSE TECHNIQUES TOPOLOGICAL
FORMULA QuasiCertifProtocol-COL-18-ReachabilityFireability-4 FALSE TECHNIQUES TOPOLOGICAL
FORMULA QuasiCertifProtocol-COL-18-ReachabilityFireability-2 FALSE TECHNIQUES TOPOLOGICAL
!SESSION 2015-05-28 18:03:09.559 -----------------------------------------------
eclipse.buildId=4.4.2.M20150204-1700
java.version=1.8.0_45
java.vendor=Oracle Corporation
BootLoader constants: OS=linux, ARCH=x86_64, WS=gtk, NL=en_US
Framework arguments: -application fr.lip6.move.gal.application.pnmcc -pnfolder /home/mcc/execution -examination ReachabilityFireability -z3path /home/mcc/BenchKit/bin//z3-4.3.2/bin/z3
Command-line arguments: -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/workspace -os linux -ws gtk -arch x86_64 -consoleLog -pnfolder /home/mcc/execution -examination ReachabilityFireability -z3path /home/mcc/BenchKit/bin//z3-4.3.2/bin/z3

!ENTRY org.eclipse.osgi 4 0 2015-05-28 18:03:27.351
!MESSAGE Application error
!STACK 1
java.lang.NullPointerException
at fr.lip6.move.gal.instantiate.Simplifier.replaceConstantRefs(Simplifier.java:561)
at fr.lip6.move.gal.instantiate.Simplifier.simplifyConstantVariables(Simplifier.java:491)
at fr.lip6.move.gal.instantiate.Simplifier.simplify(Simplifier.java:270)
at fr.lip6.move.gal.instantiate.Simplifier.simplify(Simplifier.java:72)
at fr.lip6.move.gal.instantiate.CompositeBuilder.decomposeWithOrder(CompositeBuilder.java:115)
at fr.lip6.move.gal.application.Application.applyOrder(Application.java:383)
at fr.lip6.move.gal.application.Application.start(Application.java:163)
at org.eclipse.equinox.internal.app.EclipseAppHandle.run(EclipseAppHandle.java:196)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.runApplication(EclipseAppLauncher.java:134)
at org.eclipse.core.runtime.internal.adaptor.EclipseAppLauncher.start(EclipseAppLauncher.java:104)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:380)
at org.eclipse.core.runtime.adaptor.EclipseStarter.run(EclipseStarter.java:235)
at sun.reflect.NativeMethodAccessorImpl.invoke0(Native Method)
at sun.reflect.NativeMethodAccessorImpl.invoke(NativeMethodAccessorImpl.java:62)
at sun.reflect.DelegatingMethodAccessorImpl.invoke(DelegatingMethodAccessorImpl.java:43)
at java.lang.reflect.Method.invoke(Method.java:497)
at org.eclipse.equinox.launcher.Main.invokeFramework(Main.java:648)
at org.eclipse.equinox.launcher.Main.basicRun(Main.java:603)
at org.eclipse.equinox.launcher.Main.run(Main.java:1465)
at org.eclipse.equinox.launcher.Main.main(Main.java:1438)
An error has occurred. See the log file
/home/mcc/workspace/.metadata/.log.

BK_STOP 1432836209193

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

Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=512m; support was removed in 8.0
May 28, 2015 6:03:13 PM fr.lip6.move.gal.application.Application transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 28, 2015 6:03:13 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
May 28, 2015 6:03:15 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 2070 ms
May 28, 2015 6:03:15 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 30 places.
May 28, 2015 6:03:15 PM 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], n9[121], n9[122], n9[123], n9[124], n9[125], n9[126], n9[127], n9[128], n9[129], n9[130], n9[131], n9[132], n9[133], n9[134], n9[135], n9[136], n9[137], n9[138], n9[139], n9[140], n9[141], n9[142], n9[143], n9[144], n9[145], n9[146], n9[147], n9[148], n9[149], n9[150], n9[151], n9[152], n9[153], n9[154], n9[155], n9[156], n9[157], n9[158], n9[159], n9[160], n9[161], n9[162], n9[163], n9[164], n9[165], n9[166], n9[167], n9[168], n9[169], n9[170], n9[171], n9[172], n9[173], n9[174], n9[175], n9[176], n9[177], n9[178], n9[179], n9[180], n9[181], n9[182], n9[183], n9[184], n9[185], n9[186], n9[187], n9[188], n9[189], n9[190], n9[191], n9[192], n9[193], n9[194], n9[195], n9[196], n9[197], n9[198], n9[199], n9[200], n9[201], n9[202], n9[203], n9[204], n9[205], n9[206], n9[207], n9[208], n9[209], n9[210], n9[211], n9[212], n9[213], n9[214], n9[215], n9[216], n9[217], n9[218], n9[219], n9[220], n9[221], n9[222], n9[223], n9[224], n9[225], n9[226], n9[227], n9[228], n9[229], n9[230], n9[231], n9[232], n9[233], n9[234], n9[235], n9[236], n9[237], n9[238], n9[239], n9[240], n9[241], n9[242], n9[243], n9[244], n9[245], n9[246], n9[247], n9[248], n9[249], n9[250], n9[251], n9[252], n9[253], n9[254], n9[255], n9[256], n9[257], n9[258], n9[259], n9[260], n9[261], n9[262], n9[263], n9[264], n9[265], n9[266], n9[267], n9[268], n9[269], n9[270], n9[271], n9[272], n9[273], n9[274], n9[275], n9[276], n9[277], n9[278], n9[279], n9[280], n9[281], n9[282], n9[283], n9[284], n9[285], n9[286], n9[287], n9[288], n9[289], n9[290], n9[291], n9[292], n9[293], n9[294], n9[295], n9[296], n9[297], n9[298], n9[299], n9[300], n9[301], n9[302], n9[303], n9[304], n9[305], n9[306], n9[307], n9[308], n9[309], n9[310], n9[311], n9[312], n9[313], n9[314], n9[315], n9[316], n9[317], n9[318], n9[319], n9[320], n9[321], n9[322], n9[323], n9[324], n9[325], n9[326], n9[327], n9[328], n9[329], n9[330], n9[331], n9[332], n9[333], n9[334], n9[335], n9[336], n9[337], n9[338], n9[339], n9[340], n9[341], n9[342], n9[343], n9[344], n9[345], n9[346], n9[347], n9[348], n9[349], n9[350], n9[351], n9[352], n9[353], n9[354], n9[355], n9[356], n9[357], n9[358], n9[359], n9[360], 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], n8[121], n8[122], n8[123], n8[124], n8[125], n8[126], n8[127], n8[128], n8[129], n8[130], n8[131], n8[132], n8[133], n8[134], n8[135], n8[136], n8[137], n8[138], n8[139], n8[140], n8[141], n8[142], n8[143], n8[144], n8[145], n8[146], n8[147], n8[148], n8[149], n8[150], n8[151], n8[152], n8[153], n8[154], n8[155], n8[156], n8[157], n8[158], n8[159], n8[160], n8[161], n8[162], n8[163], n8[164], n8[165], n8[166], n8[167], n8[168], n8[169], n8[170], n8[171], n8[172], n8[173], n8[174], n8[175], n8[176], n8[177], n8[178], n8[179], n8[180], n8[181], n8[182], n8[183], n8[184], n8[185], n8[186], n8[187], n8[188], n8[189], n8[190], n8[191], n8[192], n8[193], n8[194], n8[195], n8[196], n8[197], n8[198], n8[199], n8[200], n8[201], n8[202], n8[203], n8[204], n8[205], n8[206], n8[207], n8[208], n8[209], n8[210], n8[211], n8[212], n8[213], n8[214], n8[215], n8[216], n8[217], n8[218], n8[219], n8[220], n8[221], n8[222], n8[223], n8[224], n8[225], n8[226], n8[227], n8[228], n8[229], n8[230], n8[231], n8[232], n8[233], n8[234], n8[235], n8[236], n8[237], n8[238], n8[239], n8[240], n8[241], n8[242], n8[243], n8[244], n8[245], n8[246], n8[247], n8[248], n8[249], n8[250], n8[251], n8[252], n8[253], n8[254], n8[255], n8[256], n8[257], n8[258], n8[259], n8[260], n8[261], n8[262], n8[263], n8[264], n8[265], n8[266], n8[267], n8[268], n8[269], n8[270], n8[271], n8[272], n8[273], n8[274], n8[275], n8[276], n8[277], n8[278], n8[279], n8[280], n8[281], n8[282], n8[283], n8[284], n8[285], n8[286], n8[287], n8[288], n8[289], n8[290], n8[291], n8[292], n8[293], n8[294], n8[295], n8[296], n8[297], n8[298], n8[299], n8[300], n8[301], n8[302], n8[303], n8[304], n8[305], n8[306], n8[307], n8[308], n8[309], n8[310], n8[311], n8[312], n8[313], n8[314], n8[315], n8[316], n8[317], n8[318], n8[319], n8[320], n8[321], n8[322], n8[323], n8[324], n8[325], n8[326], n8[327], n8[328], n8[329], n8[330], n8[331], n8[332], n8[333], n8[334], n8[335], n8[336], n8[337], n8[338], n8[339], n8[340], n8[341], n8[342], n8[343], n8[344], n8[345], n8[346], n8[347], n8[348], n8[349], n8[350], n8[351], n8[352], n8[353], n8[354], n8[355], n8[356], n8[357], n8[358], n8[359], n8[360], 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], n7[121], n7[122], n7[123], n7[124], n7[125], n7[126], n7[127], n7[128], n7[129], n7[130], n7[131], n7[132], n7[133], n7[134], n7[135], n7[136], n7[137], n7[138], n7[139], n7[140], n7[141], n7[142], n7[143], n7[144], n7[145], n7[146], n7[147], n7[148], n7[149], n7[150], n7[151], n7[152], n7[153], n7[154], n7[155], n7[156], n7[157], n7[158], n7[159], n7[160], n7[161], n7[162], n7[163], n7[164], n7[165], n7[166], n7[167], n7[168], n7[169], n7[170], n7[171], n7[172], n7[173], n7[174], n7[175], n7[176], n7[177], n7[178], n7[179], n7[180], n7[181], n7[182], n7[183], n7[184], n7[185], n7[186], n7[187], n7[188], n7[189], n7[190], n7[191], n7[192], n7[193], n7[194], n7[195], n7[196], n7[197], n7[198], n7[199], n7[200], n7[201], n7[202], n7[203], n7[204], n7[205], n7[206], n7[207], n7[208], n7[209], n7[210], n7[211], n7[212], n7[213], n7[214], n7[215], n7[216], n7[217], n7[218], n7[219], n7[220], n7[221], n7[222], n7[223], n7[224], n7[225], n7[226], n7[227], n7[228], n7[229], n7[230], n7[231], n7[232], n7[233], n7[234], n7[235], n7[236], n7[237], n7[238], n7[239], n7[240], n7[241], n7[242], n7[243], n7[244], n7[245], n7[246], n7[247], n7[248], n7[249], n7[250], n7[251], n7[252], n7[253], n7[254], n7[255], n7[256], n7[257], n7[258], n7[259], n7[260], n7[261], n7[262], n7[263], n7[264], n7[265], n7[266], n7[267], n7[268], n7[269], n7[270], n7[271], n7[272], n7[273], n7[274], n7[275], n7[276], n7[277], n7[278], n7[279], n7[280], n7[281], n7[282], n7[283], n7[284], n7[285], n7[286], n7[287], n7[288], n7[289], n7[290], n7[291], n7[292], n7[293], n7[294], n7[295], n7[296], n7[297], n7[298], n7[299], n7[300], n7[301], n7[302], n7[303], n7[304], n7[305], n7[306], n7[307], n7[308], n7[309], n7[310], n7[311], n7[312], n7[313], n7[314], n7[315], n7[316], n7[317], n7[318], n7[319], n7[320], n7[321], n7[322], n7[323], n7[324], n7[325], n7[326], n7[327], n7[328], n7[329], n7[330], n7[331], n7[332], n7[333], n7[334], n7[335], n7[336], n7[337], n7[338], n7[339], n7[340], n7[341], n7[342], n7[343], n7[344], n7[345], n7[346], n7[347], n7[348], n7[349], n7[350], n7[351], n7[352], n7[353], n7[354], n7[355], n7[356], n7[357], n7[358], n7[359], n7[360], n6[0], n6[1], n6[2], n6[3], n6[4], n6[5], n6[6], n6[7], n6[8], n6[9], n6[10], n6[11], n6[12], n6[13], n6[14], n6[15], n6[16], n6[17], n6[18], n5[0], n5[1], n5[2], n5[3], n5[4], n5[5], n5[6], n5[7], n5[8], n5[9], n5[10], n5[11], n5[12], n5[13], n5[14], n5[15], n5[16], n5[17], n5[18], n4[0], n4[1], n4[2], n4[3], n4[4], n4[5], n4[6], n4[7], n4[8], n4[9], n4[10], n4[11], n4[12], n4[13], n4[14], n4[15], n4[16], n4[17], n4[18], n3[0], n3[1], n3[2], n3[3], n3[4], n3[5], n3[6], n3[7], n3[8], n3[9], n3[10], n3[11], n3[12], n3[13], n3[14], n3[15], n3[16], n3[17], n3[18], n2[0], n2[1], n2[2], n2[3], n2[4], n2[5], n2[6], n2[7], n2[8], n2[9], n2[10], n2[11], n2[12], n2[13], n2[14], n2[15], n2[16], n2[17], n2[18], n1[0], n1[1], n1[2], n1[3], n1[4], n1[5], n1[6], n1[7], n1[8], n1[9], n1[10], n1[11], n1[12], n1[13], n1[14], n1[15], n1[16], n1[17], n1[18], c1[0], c1[1], c1[2], c1[3], c1[4], c1[5], c1[6], c1[7], c1[8], c1[9], c1[10], c1[11], c1[12], c1[13], c1[14], c1[15], c1[16], c1[17], c1[18], Cstart[0], Cstart[1], Cstart[2], Cstart[3], Cstart[4], Cstart[5], Cstart[6], Cstart[7], Cstart[8], Cstart[9], Cstart[10], Cstart[11], Cstart[12], Cstart[13], Cstart[14], Cstart[15], Cstart[16], Cstart[17], Cstart[18], Sstart[0], Sstart[1], Sstart[2], Sstart[3], Sstart[4], Sstart[5], Sstart[6], Sstart[7], Sstart[8], Sstart[9], Sstart[10], Sstart[11], Sstart[12], Sstart[13], Sstart[14], Sstart[15], Sstart[16], Sstart[17], Sstart[18], s2[0], s2[1], s2[2], s2[3], s2[4], s2[5], s2[6], s2[7], s2[8], s2[9], s2[10], s2[11], s2[12], s2[13], s2[14], s2[15], s2[16], s2[17], s2[18], s3[0], s3[1], s3[2], s3[3], s3[4], s3[5], s3[6], s3[7], s3[8], s3[9], s3[10], s3[11], s3[12], s3[13], s3[14], s3[15], s3[16], s3[17], s3[18], s4[0], s4[1], s4[2], s4[3], s4[4], s4[5], s4[6], s4[7], s4[8], s4[9], s4[10], s4[11], s4[12], s4[13], s4[14], s4[15], s4[16], s4[17], s4[18], s5[0], s5[1], s5[2], s5[3], s5[4], s5[5], s5[6], s5[7], s5[8], s5[9], s5[10], s5[11], s5[12], s5[13], s5[14], s5[15], s5[16], s5[17], s5[18], s6[0], s6[1], s6[2], s6[3], s6[4], s6[5], s6[6], s6[7], s6[8], s6[9], s6[10], s6[11], s6[12], s6[13], s6[14], s6[15], s6[16], s6[17], s6[18], SstopOK[0], SstopOK[1], SstopOK[2], SstopOK[3], SstopOK[4], SstopOK[5], SstopOK[6], SstopOK[7], SstopOK[8], SstopOK[9], SstopOK[10], SstopOK[11], SstopOK[12], SstopOK[13], SstopOK[14], SstopOK[15], SstopOK[16], SstopOK[17], SstopOK[18], 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], CstopOK[11], CstopOK[12], CstopOK[13], CstopOK[14], CstopOK[15], CstopOK[16], CstopOK[17], CstopOK[18]]]
May 28, 2015 6:03:15 PM 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,

May 28, 2015 6:03:15 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 26 transitions.
May 28, 2015 6:03:15 PM 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=[n9[121], n8[121], n7[121]]], VarOrder [vars=[n9[122], n8[122], n7[122]]], VarOrder [vars=[n9[123], n8[123], n7[123]]], VarOrder [vars=[n9[124], n8[124], n7[124]]], VarOrder [vars=[n9[125], n8[125], n7[125]]], VarOrder [vars=[n9[126], n8[126], n7[126]]], VarOrder [vars=[n9[127], n8[127], n7[127]]], VarOrder [vars=[n9[128], n8[128], n7[128]]], VarOrder [vars=[n9[129], n8[129], n7[129]]], VarOrder [vars=[n9[130], n8[130], n7[130]]], VarOrder [vars=[n9[131], n8[131], n7[131]]], VarOrder [vars=[n9[132], n8[132], n7[132]]], VarOrder [vars=[n9[133], n8[133], n7[133]]], VarOrder [vars=[n9[134], n8[134], n7[134]]], VarOrder [vars=[n9[135], n8[135], n7[135]]], VarOrder [vars=[n9[136], n8[136], n7[136]]], VarOrder [vars=[n9[137], n8[137], n7[137]]], VarOrder [vars=[n9[138], n8[138], n7[138]]], VarOrder [vars=[n9[139], n8[139], n7[139]]], VarOrder [vars=[n9[140], n8[140], n7[140]]], VarOrder [vars=[n9[141], n8[141], n7[141]]], VarOrder [vars=[n9[142], n8[142], n7[142]]], VarOrder [vars=[n9[143], n8[143], n7[143]]], VarOrder [vars=[n9[144], n8[144], n7[144]]], VarOrder [vars=[n9[145], n8[145], n7[145]]], VarOrder [vars=[n9[146], n8[146], n7[146]]], VarOrder [vars=[n9[147], n8[147], n7[147]]], VarOrder [vars=[n9[148], n8[148], n7[148]]], VarOrder [vars=[n9[149], n8[149], n7[149]]], VarOrder [vars=[n9[150], n8[150], n7[150]]], VarOrder [vars=[n9[151], n8[151], n7[151]]], VarOrder [vars=[n9[152], n8[152], n7[152]]], VarOrder [vars=[n9[153], n8[153], n7[153]]], VarOrder [vars=[n9[154], n8[154], n7[154]]], VarOrder [vars=[n9[155], n8[155], n7[155]]], VarOrder [vars=[n9[156], n8[156], n7[156]]], VarOrder [vars=[n9[157], n8[157], n7[157]]], VarOrder [vars=[n9[158], n8[158], n7[158]]], VarOrder [vars=[n9[159], n8[159], n7[159]]], VarOrder [vars=[n9[160], n8[160], n7[160]]], VarOrder [vars=[n9[161], n8[161], n7[161]]], VarOrder [vars=[n9[162], n8[162], n7[162]]], VarOrder [vars=[n9[163], n8[163], n7[163]]], VarOrder [vars=[n9[164], n8[164], n7[164]]], VarOrder [vars=[n9[165], n8[165], n7[165]]], VarOrder [vars=[n9[166], n8[166], n7[166]]], VarOrder [vars=[n9[167], n8[167], n7[167]]], VarOrder [vars=[n9[168], n8[168], n7[168]]], VarOrder [vars=[n9[169], n8[169], n7[169]]], VarOrder [vars=[n9[170], n8[170], n7[170]]], VarOrder [vars=[n9[171], n8[171], n7[171]]], VarOrder [vars=[n9[172], n8[172], n7[172]]], VarOrder [vars=[n9[173], n8[173], n7[173]]], VarOrder [vars=[n9[174], n8[174], n7[174]]], VarOrder [vars=[n9[175], n8[175], n7[175]]], VarOrder [vars=[n9[176], n8[176], n7[176]]], VarOrder [vars=[n9[177], n8[177], n7[177]]], VarOrder [vars=[n9[178], n8[178], n7[178]]], VarOrder [vars=[n9[179], n8[179], n7[179]]], VarOrder [vars=[n9[180], n8[180], n7[180]]], VarOrder [vars=[n9[181], n8[181], n7[181]]], VarOrder [vars=[n9[182], n8[182], n7[182]]], VarOrder [vars=[n9[183], n8[183], n7[183]]], VarOrder [vars=[n9[184], n8[184], n7[184]]], VarOrder [vars=[n9[185], n8[185], n7[185]]], VarOrder [vars=[n9[186], n8[186], n7[186]]], VarOrder [vars=[n9[187], n8[187], n7[187]]], VarOrder [vars=[n9[188], n8[188], n7[188]]], VarOrder [vars=[n9[189], n8[189], n7[189]]], VarOrder [vars=[n9[190], n8[190], n7[190]]], VarOrder [vars=[n9[191], n8[191], n7[191]]], VarOrder [vars=[n9[192], n8[192], n7[192]]], VarOrder [vars=[n9[193], n8[193], n7[193]]], VarOrder [vars=[n9[194], n8[194], n7[194]]], VarOrder [vars=[n9[195], n8[195], n7[195]]], VarOrder [vars=[n9[196], n8[196], n7[196]]], VarOrder [vars=[n9[197], n8[197], n7[197]]], VarOrder [vars=[n9[198], n8[198], n7[198]]], VarOrder [vars=[n9[199], n8[199], n7[199]]], VarOrder [vars=[n9[200], n8[200], n7[200]]], VarOrder [vars=[n9[201], n8[201], n7[201]]], VarOrder [vars=[n9[202], n8[202], n7[202]]], VarOrder [vars=[n9[203], n8[203], n7[203]]], VarOrder [vars=[n9[204], n8[204], n7[204]]], VarOrder [vars=[n9[205], n8[205], n7[205]]], VarOrder [vars=[n9[206], n8[206], n7[206]]], VarOrder [vars=[n9[207], n8[207], n7[207]]], VarOrder [vars=[n9[208], n8[208], n7[208]]], VarOrder [vars=[n9[209], n8[209], n7[209]]], VarOrder [vars=[n9[210], n8[210], n7[210]]], VarOrder [vars=[n9[211], n8[211], n7[211]]], VarOrder [vars=[n9[212], n8[212], n7[212]]], VarOrder [vars=[n9[213], n8[213], n7[213]]], VarOrder [vars=[n9[214], n8[214], n7[214]]], VarOrder [vars=[n9[215], n8[215], n7[215]]], VarOrder [vars=[n9[216], n8[216], n7[216]]], VarOrder [vars=[n9[217], n8[217], n7[217]]], VarOrder [vars=[n9[218], n8[218], n7[218]]], VarOrder [vars=[n9[219], n8[219], n7[219]]], VarOrder [vars=[n9[220], n8[220], n7[220]]], VarOrder [vars=[n9[221], n8[221], n7[221]]], VarOrder [vars=[n9[222], n8[222], n7[222]]], VarOrder [vars=[n9[223], n8[223], n7[223]]], VarOrder [vars=[n9[224], n8[224], n7[224]]], VarOrder [vars=[n9[225], n8[225], n7[225]]], VarOrder [vars=[n9[226], n8[226], n7[226]]], VarOrder [vars=[n9[227], n8[227], n7[227]]], VarOrder [vars=[n9[228], n8[228], n7[228]]], VarOrder [vars=[n9[229], n8[229], n7[229]]], VarOrder [vars=[n9[230], n8[230], n7[230]]], VarOrder [vars=[n9[231], n8[231], n7[231]]], VarOrder [vars=[n9[232], n8[232], n7[232]]], VarOrder [vars=[n9[233], n8[233], n7[233]]], VarOrder [vars=[n9[234], n8[234], n7[234]]], VarOrder [vars=[n9[235], n8[235], n7[235]]], VarOrder [vars=[n9[236], n8[236], n7[236]]], VarOrder [vars=[n9[237], n8[237], n7[237]]], VarOrder [vars=[n9[238], n8[238], n7[238]]], VarOrder [vars=[n9[239], n8[239], n7[239]]], VarOrder [vars=[n9[240], n8[240], n7[240]]], VarOrder [vars=[n9[241], n8[241], n7[241]]], VarOrder [vars=[n9[242], n8[242], n7[242]]], VarOrder [vars=[n9[243], n8[243], n7[243]]], VarOrder [vars=[n9[244], n8[244], n7[244]]], VarOrder [vars=[n9[245], n8[245], n7[245]]], VarOrder [vars=[n9[246], n8[246], n7[246]]], VarOrder [vars=[n9[247], n8[247], n7[247]]], VarOrder [vars=[n9[248], n8[248], n7[248]]], VarOrder [vars=[n9[249], n8[249], n7[249]]], VarOrder [vars=[n9[250], n8[250], n7[250]]], VarOrder [vars=[n9[251], n8[251], n7[251]]], VarOrder [vars=[n9[252], n8[252], n7[252]]], VarOrder [vars=[n9[253], n8[253], n7[253]]], VarOrder [vars=[n9[254], n8[254], n7[254]]], VarOrder [vars=[n9[255], n8[255], n7[255]]], VarOrder [vars=[n9[256], n8[256], n7[256]]], VarOrder [vars=[n9[257], n8[257], n7[257]]], VarOrder [vars=[n9[258], n8[258], n7[258]]], VarOrder [vars=[n9[259], n8[259], n7[259]]], VarOrder [vars=[n9[260], n8[260], n7[260]]], VarOrder [vars=[n9[261], n8[261], n7[261]]], VarOrder [vars=[n9[262], n8[262], n7[262]]], VarOrder [vars=[n9[263], n8[263], n7[263]]], VarOrder [vars=[n9[264], n8[264], n7[264]]], VarOrder [vars=[n9[265], n8[265], n7[265]]], VarOrder [vars=[n9[266], n8[266], n7[266]]], VarOrder [vars=[n9[267], n8[267], n7[267]]], VarOrder [vars=[n9[268], n8[268], n7[268]]], VarOrder [vars=[n9[269], n8[269], n7[269]]], VarOrder [vars=[n9[270], n8[270], n7[270]]], VarOrder [vars=[n9[271], n8[271], n7[271]]], VarOrder [vars=[n9[272], n8[272], n7[272]]], VarOrder [vars=[n9[273], n8[273], n7[273]]], VarOrder [vars=[n9[274], n8[274], n7[274]]], VarOrder [vars=[n9[275], n8[275], n7[275]]], VarOrder [vars=[n9[276], n8[276], n7[276]]], VarOrder [vars=[n9[277], n8[277], n7[277]]], VarOrder [vars=[n9[278], n8[278], n7[278]]], VarOrder [vars=[n9[279], n8[279], n7[279]]], VarOrder [vars=[n9[280], n8[280], n7[280]]], VarOrder [vars=[n9[281], n8[281], n7[281]]], VarOrder [vars=[n9[282], n8[282], n7[282]]], VarOrder [vars=[n9[283], n8[283], n7[283]]], VarOrder [vars=[n9[284], n8[284], n7[284]]], VarOrder [vars=[n9[285], n8[285], n7[285]]], VarOrder [vars=[n9[286], n8[286], n7[286]]], VarOrder [vars=[n9[287], n8[287], n7[287]]], VarOrder [vars=[n9[288], n8[288], n7[288]]], VarOrder [vars=[n9[289], n8[289], n7[289]]], VarOrder [vars=[n9[290], n8[290], n7[290]]], VarOrder [vars=[n9[291], n8[291], n7[291]]], VarOrder [vars=[n9[292], n8[292], n7[292]]], VarOrder [vars=[n9[293], n8[293], n7[293]]], VarOrder [vars=[n9[294], n8[294], n7[294]]], VarOrder [vars=[n9[295], n8[295], n7[295]]], VarOrder [vars=[n9[296], n8[296], n7[296]]], VarOrder [vars=[n9[297], n8[297], n7[297]]], VarOrder [vars=[n9[298], n8[298], n7[298]]], VarOrder [vars=[n9[299], n8[299], n7[299]]], VarOrder [vars=[n9[300], n8[300], n7[300]]], VarOrder [vars=[n9[301], n8[301], n7[301]]], VarOrder [vars=[n9[302], n8[302], n7[302]]], VarOrder [vars=[n9[303], n8[303], n7[303]]], VarOrder [vars=[n9[304], n8[304], n7[304]]], VarOrder [vars=[n9[305], n8[305], n7[305]]], VarOrder [vars=[n9[306], n8[306], n7[306]]], VarOrder [vars=[n9[307], n8[307], n7[307]]], VarOrder [vars=[n9[308], n8[308], n7[308]]], VarOrder [vars=[n9[309], n8[309], n7[309]]], VarOrder [vars=[n9[310], n8[310], n7[310]]], VarOrder [vars=[n9[311], n8[311], n7[311]]], VarOrder [vars=[n9[312], n8[312], n7[312]]], VarOrder [vars=[n9[313], n8[313], n7[313]]], VarOrder [vars=[n9[314], n8[314], n7[314]]], VarOrder [vars=[n9[315], n8[315], n7[315]]], VarOrder [vars=[n9[316], n8[316], n7[316]]], VarOrder [vars=[n9[317], n8[317], n7[317]]], VarOrder [vars=[n9[318], n8[318], n7[318]]], VarOrder [vars=[n9[319], n8[319], n7[319]]], VarOrder [vars=[n9[320], n8[320], n7[320]]], VarOrder [vars=[n9[321], n8[321], n7[321]]], VarOrder [vars=[n9[322], n8[322], n7[322]]], VarOrder [vars=[n9[323], n8[323], n7[323]]], VarOrder [vars=[n9[324], n8[324], n7[324]]], VarOrder [vars=[n9[325], n8[325], n7[325]]], VarOrder [vars=[n9[326], n8[326], n7[326]]], VarOrder [vars=[n9[327], n8[327], n7[327]]], VarOrder [vars=[n9[328], n8[328], n7[328]]], VarOrder [vars=[n9[329], n8[329], n7[329]]], VarOrder [vars=[n9[330], n8[330], n7[330]]], VarOrder [vars=[n9[331], n8[331], n7[331]]], VarOrder [vars=[n9[332], n8[332], n7[332]]], VarOrder [vars=[n9[333], n8[333], n7[333]]], VarOrder [vars=[n9[334], n8[334], n7[334]]], VarOrder [vars=[n9[335], n8[335], n7[335]]], VarOrder [vars=[n9[336], n8[336], n7[336]]], VarOrder [vars=[n9[337], n8[337], n7[337]]], VarOrder [vars=[n9[338], n8[338], n7[338]]], VarOrder [vars=[n9[339], n8[339], n7[339]]], VarOrder [vars=[n9[340], n8[340], n7[340]]], VarOrder [vars=[n9[341], n8[341], n7[341]]], VarOrder [vars=[n9[342], n8[342], n7[342]]], VarOrder [vars=[n9[343], n8[343], n7[343]]], VarOrder [vars=[n9[344], n8[344], n7[344]]], VarOrder [vars=[n9[345], n8[345], n7[345]]], VarOrder [vars=[n9[346], n8[346], n7[346]]], VarOrder [vars=[n9[347], n8[347], n7[347]]], VarOrder [vars=[n9[348], n8[348], n7[348]]], VarOrder [vars=[n9[349], n8[349], n7[349]]], VarOrder [vars=[n9[350], n8[350], n7[350]]], VarOrder [vars=[n9[351], n8[351], n7[351]]], VarOrder [vars=[n9[352], n8[352], n7[352]]], VarOrder [vars=[n9[353], n8[353], n7[353]]], VarOrder [vars=[n9[354], n8[354], n7[354]]], VarOrder [vars=[n9[355], n8[355], n7[355]]], VarOrder [vars=[n9[356], n8[356], n7[356]]], VarOrder [vars=[n9[357], n8[357], n7[357]]], VarOrder [vars=[n9[358], n8[358], n7[358]]], VarOrder [vars=[n9[359], n8[359], n7[359]]], VarOrder [vars=[n9[360], n8[360], n7[360]]], 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]]], VarOrder [vars=[n6[11], n5[11], n4[11], n3[11], n2[11], n1[11], c1[11], Cstart[11], Sstart[11], s2[11], s3[11], s4[11], s5[11], s6[11], SstopOK[11], CstopOK[11]]], VarOrder [vars=[n6[12], n5[12], n4[12], n3[12], n2[12], n1[12], c1[12], Cstart[12], Sstart[12], s2[12], s3[12], s4[12], s5[12], s6[12], SstopOK[12], CstopOK[12]]], VarOrder [vars=[n6[13], n5[13], n4[13], n3[13], n2[13], n1[13], c1[13], Cstart[13], Sstart[13], s2[13], s3[13], s4[13], s5[13], s6[13], SstopOK[13], CstopOK[13]]], VarOrder [vars=[n6[14], n5[14], n4[14], n3[14], n2[14], n1[14], c1[14], Cstart[14], Sstart[14], s2[14], s3[14], s4[14], s5[14], s6[14], SstopOK[14], CstopOK[14]]], VarOrder [vars=[n6[15], n5[15], n4[15], n3[15], n2[15], n1[15], c1[15], Cstart[15], Sstart[15], s2[15], s3[15], s4[15], s5[15], s6[15], SstopOK[15], CstopOK[15]]], VarOrder [vars=[n6[16], n5[16], n4[16], n3[16], n2[16], n1[16], c1[16], Cstart[16], Sstart[16], s2[16], s3[16], s4[16], s5[16], s6[16], SstopOK[16], CstopOK[16]]], VarOrder [vars=[n6[17], n5[17], n4[17], n3[17], n2[17], n1[17], c1[17], Cstart[17], Sstart[17], s2[17], s3[17], s4[17], s5[17], s6[17], SstopOK[17], CstopOK[17]]], VarOrder [vars=[n6[18], n5[18], n4[18], n3[18], n2[18], n1[18], c1[18], Cstart[18], Sstart[18], s2[18], s3[18], s4[18], s5[18], s6[18], SstopOK[18], CstopOK[18]]]]]
May 28, 2015 6:03:15 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1026 constant array cells/variables (out of 1398 variables)
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],n8[121],n8[122],n8[123],n8[124],n8[125],n8[126],n8[127],n8[128],n8[129],n8[130],n8[131],n8[132],n8[133],n8[134],n8[135],n8[136],n8[137],n8[138],n8[139],n8[140],n8[141],n8[142],n8[143],n8[144],n8[145],n8[146],n8[147],n8[148],n8[149],n8[150],n8[151],n8[152],n8[153],n8[154],n8[155],n8[156],n8[157],n8[158],n8[159],n8[160],n8[161],n8[162],n8[163],n8[164],n8[165],n8[166],n8[167],n8[168],n8[169],n8[170],n8[171],n8[172],n8[173],n8[174],n8[175],n8[176],n8[177],n8[178],n8[179],n8[180],n8[181],n8[182],n8[183],n8[184],n8[185],n8[186],n8[187],n8[188],n8[189],n8[190],n8[191],n8[192],n8[193],n8[194],n8[195],n8[196],n8[197],n8[198],n8[199],n8[200],n8[201],n8[202],n8[203],n8[204],n8[205],n8[206],n8[207],n8[208],n8[209],n8[210],n8[211],n8[212],n8[213],n8[214],n8[215],n8[216],n8[217],n8[218],n8[219],n8[220],n8[221],n8[222],n8[223],n8[224],n8[225],n8[226],n8[227],n8[228],n8[229],n8[230],n8[231],n8[232],n8[233],n8[234],n8[235],n8[236],n8[237],n8[238],n8[239],n8[240],n8[241],n8[242],n8[243],n8[244],n8[245],n8[246],n8[247],n8[248],n8[249],n8[250],n8[251],n8[252],n8[253],n8[254],n8[255],n8[256],n8[257],n8[258],n8[259],n8[260],n8[261],n8[262],n8[263],n8[264],n8[265],n8[266],n8[267],n8[268],n8[269],n8[270],n8[271],n8[272],n8[273],n8[274],n8[275],n8[276],n8[277],n8[278],n8[279],n8[280],n8[281],n8[282],n8[283],n8[284],n8[285],n8[286],n8[287],n8[288],n8[289],n8[290],n8[291],n8[292],n8[293],n8[294],n8[295],n8[296],n8[297],n8[298],n8[299],n8[300],n8[301],n8[302],n8[303],n8[304],n8[305],n8[306],n8[307],n8[308],n8[309],n8[310],n8[311],n8[312],n8[313],n8[314],n8[315],n8[316],n8[317],n8[318],n8[319],n8[320],n8[321],n8[322],n8[323],n8[324],n8[325],n8[326],n8[327],n8[328],n8[329],n8[330],n8[331],n8[332],n8[333],n8[334],n8[335],n8[336],n8[337],n8[338],n8[339],n8[340],n8[341],n8[342],n8[343],n8[344],n8[345],n8[346],n8[347],n8[348],n8[349],n8[350],n8[351],n8[352],n8[353],n8[354],n8[355],n8[356],n8[357],n8[358],n8[359],n8[360],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],n9[121],n9[122],n9[123],n9[124],n9[125],n9[126],n9[127],n9[128],n9[129],n9[130],n9[131],n9[132],n9[133],n9[134],n9[135],n9[136],n9[137],n9[138],n9[139],n9[140],n9[141],n9[142],n9[143],n9[144],n9[145],n9[146],n9[147],n9[148],n9[149],n9[150],n9[151],n9[152],n9[153],n9[154],n9[155],n9[156],n9[157],n9[158],n9[159],n9[160],n9[161],n9[162],n9[163],n9[164],n9[165],n9[166],n9[167],n9[168],n9[169],n9[170],n9[171],n9[172],n9[173],n9[174],n9[175],n9[176],n9[177],n9[178],n9[179],n9[180],n9[181],n9[182],n9[183],n9[184],n9[185],n9[186],n9[187],n9[188],n9[189],n9[190],n9[191],n9[192],n9[193],n9[194],n9[195],n9[196],n9[197],n9[198],n9[199],n9[200],n9[201],n9[202],n9[203],n9[204],n9[205],n9[206],n9[207],n9[208],n9[209],n9[210],n9[211],n9[212],n9[213],n9[214],n9[215],n9[216],n9[217],n9[218],n9[219],n9[220],n9[221],n9[222],n9[223],n9[224],n9[225],n9[226],n9[227],n9[228],n9[229],n9[230],n9[231],n9[232],n9[233],n9[234],n9[235],n9[236],n9[237],n9[238],n9[239],n9[240],n9[241],n9[242],n9[243],n9[244],n9[245],n9[246],n9[247],n9[248],n9[249],n9[250],n9[251],n9[252],n9[253],n9[254],n9[255],n9[256],n9[257],n9[258],n9[259],n9[260],n9[261],n9[262],n9[263],n9[264],n9[265],n9[266],n9[267],n9[268],n9[269],n9[270],n9[271],n9[272],n9[273],n9[274],n9[275],n9[276],n9[277],n9[278],n9[279],n9[280],n9[281],n9[282],n9[283],n9[284],n9[285],n9[286],n9[287],n9[288],n9[289],n9[290],n9[291],n9[292],n9[293],n9[294],n9[295],n9[296],n9[297],n9[298],n9[299],n9[300],n9[301],n9[302],n9[303],n9[304],n9[305],n9[306],n9[307],n9[308],n9[309],n9[310],n9[311],n9[312],n9[313],n9[314],n9[315],n9[316],n9[317],n9[318],n9[319],n9[320],n9[321],n9[322],n9[323],n9[324],n9[325],n9[326],n9[327],n9[328],n9[329],n9[330],n9[331],n9[332],n9[333],n9[334],n9[335],n9[336],n9[337],n9[338],n9[339],n9[340],n9[341],n9[342],n9[343],n9[344],n9[345],n9[346],n9[347],n9[348],n9[349],n9[350],n9[351],n9[352],n9[353],n9[354],n9[355],n9[356],n9[357],n9[358],n9[359],n9[360],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],n7[121],n7[122],n7[123],n7[124],n7[125],n7[126],n7[127],n7[128],n7[129],n7[130],n7[131],n7[132],n7[133],n7[134],n7[135],n7[136],n7[137],n7[138],n7[139],n7[140],n7[141],n7[142],n7[143],n7[144],n7[145],n7[146],n7[147],n7[148],n7[149],n7[150],n7[151],n7[152],n7[153],n7[154],n7[155],n7[156],n7[157],n7[158],n7[159],n7[160],n7[161],n7[162],n7[163],n7[164],n7[165],n7[166],n7[167],n7[168],n7[169],n7[170],n7[171],n7[172],n7[173],n7[174],n7[175],n7[176],n7[177],n7[178],n7[179],n7[180],n7[181],n7[182],n7[183],n7[184],n7[185],n7[186],n7[187],n7[188],n7[189],n7[190],n7[191],n7[192],n7[193],n7[194],n7[195],n7[196],n7[197],n7[198],n7[199],n7[200],n7[201],n7[202],n7[203],n7[204],n7[205],n7[206],n7[207],n7[208],n7[209],n7[210],n7[211],n7[212],n7[213],n7[214],n7[215],n7[216],n7[217],n7[218],n7[219],n7[220],n7[221],n7[222],n7[223],n7[224],n7[225],n7[226],n7[227],n7[228],n7[229],n7[230],n7[231],n7[232],n7[233],n7[234],n7[235],n7[236],n7[237],n7[238],n7[239],n7[240],n7[241],n7[242],n7[243],n7[244],n7[245],n7[246],n7[247],n7[248],n7[249],n7[250],n7[251],n7[252],n7[253],n7[254],n7[255],n7[256],n7[257],n7[258],n7[259],n7[260],n7[261],n7[262],n7[263],n7[264],n7[265],n7[266],n7[267],n7[268],n7[269],n7[270],n7[271],n7[272],n7[273],n7[274],n7[275],n7[276],n7[277],n7[278],n7[279],n7[280],n7[281],n7[282],n7[283],n7[284],n7[285],n7[286],n7[287],n7[288],n7[289],n7[290],n7[291],n7[292],n7[293],n7[294],n7[295],n7[296],n7[297],n7[298],n7[299],n7[300],n7[301],n7[302],n7[303],n7[304],n7[305],n7[306],n7[307],n7[308],n7[309],n7[310],n7[311],n7[312],n7[313],n7[314],n7[315],n7[316],n7[317],n7[318],n7[319],n7[320],n7[321],n7[322],n7[323],n7[324],n7[325],n7[326],n7[327],n7[328],n7[329],n7[330],n7[331],n7[332],n7[333],n7[334],n7[335],n7[336],n7[337],n7[338],n7[339],n7[340],n7[341],n7[342],n7[343],n7[344],n7[345],n7[346],n7[347],n7[348],n7[349],n7[350],n7[351],n7[352],n7[353],n7[354],n7[355],n7[356],n7[357],n7[358],n7[359],n7[360],
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property QuasiCertifProtocol-COL-18-ReachabilityFireability-2 is trivially false : it is not verified in initial state.
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property QuasiCertifProtocol-COL-18-ReachabilityFireability-4 is trivially false : it is not verified in initial state.
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property QuasiCertifProtocol-COL-18-ReachabilityFireability-5 is trivially false : it is not verified in initial state.
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property QuasiCertifProtocol-COL-18-ReachabilityFireability-15 is trivially false : it is not verified in initial state.
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1026 constant array cells/variables (out of 1398 variables)
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],n8[121],n8[122],n8[123],n8[124],n8[125],n8[126],n8[127],n8[128],n8[129],n8[130],n8[131],n8[132],n8[133],n8[134],n8[135],n8[136],n8[137],n8[138],n8[139],n8[140],n8[141],n8[142],n8[143],n8[144],n8[145],n8[146],n8[147],n8[148],n8[149],n8[150],n8[151],n8[152],n8[153],n8[154],n8[155],n8[156],n8[157],n8[158],n8[159],n8[160],n8[161],n8[162],n8[163],n8[164],n8[165],n8[166],n8[167],n8[168],n8[169],n8[170],n8[171],n8[172],n8[173],n8[174],n8[175],n8[176],n8[177],n8[178],n8[179],n8[180],n8[181],n8[182],n8[183],n8[184],n8[185],n8[186],n8[187],n8[188],n8[189],n8[190],n8[191],n8[192],n8[193],n8[194],n8[195],n8[196],n8[197],n8[198],n8[199],n8[200],n8[201],n8[202],n8[203],n8[204],n8[205],n8[206],n8[207],n8[208],n8[209],n8[210],n8[211],n8[212],n8[213],n8[214],n8[215],n8[216],n8[217],n8[218],n8[219],n8[220],n8[221],n8[222],n8[223],n8[224],n8[225],n8[226],n8[227],n8[228],n8[229],n8[230],n8[231],n8[232],n8[233],n8[234],n8[235],n8[236],n8[237],n8[238],n8[239],n8[240],n8[241],n8[242],n8[243],n8[244],n8[245],n8[246],n8[247],n8[248],n8[249],n8[250],n8[251],n8[252],n8[253],n8[254],n8[255],n8[256],n8[257],n8[258],n8[259],n8[260],n8[261],n8[262],n8[263],n8[264],n8[265],n8[266],n8[267],n8[268],n8[269],n8[270],n8[271],n8[272],n8[273],n8[274],n8[275],n8[276],n8[277],n8[278],n8[279],n8[280],n8[281],n8[282],n8[283],n8[284],n8[285],n8[286],n8[287],n8[288],n8[289],n8[290],n8[291],n8[292],n8[293],n8[294],n8[295],n8[296],n8[297],n8[298],n8[299],n8[300],n8[301],n8[302],n8[303],n8[304],n8[305],n8[306],n8[307],n8[308],n8[309],n8[310],n8[311],n8[312],n8[313],n8[314],n8[315],n8[316],n8[317],n8[318],n8[319],n8[320],n8[321],n8[322],n8[323],n8[324],n8[325],n8[326],n8[327],n8[328],n8[329],n8[330],n8[331],n8[332],n8[333],n8[334],n8[335],n8[336],n8[337],n8[338],n8[339],n8[340],n8[341],n8[342],n8[343],n8[344],n8[345],n8[346],n8[347],n8[348],n8[349],n8[350],n8[351],n8[352],n8[353],n8[354],n8[355],n8[356],n8[357],n8[358],n8[359],n8[360],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],n9[121],n9[122],n9[123],n9[124],n9[125],n9[126],n9[127],n9[128],n9[129],n9[130],n9[131],n9[132],n9[133],n9[134],n9[135],n9[136],n9[137],n9[138],n9[139],n9[140],n9[141],n9[142],n9[143],n9[144],n9[145],n9[146],n9[147],n9[148],n9[149],n9[150],n9[151],n9[152],n9[153],n9[154],n9[155],n9[156],n9[157],n9[158],n9[159],n9[160],n9[161],n9[162],n9[163],n9[164],n9[165],n9[166],n9[167],n9[168],n9[169],n9[170],n9[171],n9[172],n9[173],n9[174],n9[175],n9[176],n9[177],n9[178],n9[179],n9[180],n9[181],n9[182],n9[183],n9[184],n9[185],n9[186],n9[187],n9[188],n9[189],n9[190],n9[191],n9[192],n9[193],n9[194],n9[195],n9[196],n9[197],n9[198],n9[199],n9[200],n9[201],n9[202],n9[203],n9[204],n9[205],n9[206],n9[207],n9[208],n9[209],n9[210],n9[211],n9[212],n9[213],n9[214],n9[215],n9[216],n9[217],n9[218],n9[219],n9[220],n9[221],n9[222],n9[223],n9[224],n9[225],n9[226],n9[227],n9[228],n9[229],n9[230],n9[231],n9[232],n9[233],n9[234],n9[235],n9[236],n9[237],n9[238],n9[239],n9[240],n9[241],n9[242],n9[243],n9[244],n9[245],n9[246],n9[247],n9[248],n9[249],n9[250],n9[251],n9[252],n9[253],n9[254],n9[255],n9[256],n9[257],n9[258],n9[259],n9[260],n9[261],n9[262],n9[263],n9[264],n9[265],n9[266],n9[267],n9[268],n9[269],n9[270],n9[271],n9[272],n9[273],n9[274],n9[275],n9[276],n9[277],n9[278],n9[279],n9[280],n9[281],n9[282],n9[283],n9[284],n9[285],n9[286],n9[287],n9[288],n9[289],n9[290],n9[291],n9[292],n9[293],n9[294],n9[295],n9[296],n9[297],n9[298],n9[299],n9[300],n9[301],n9[302],n9[303],n9[304],n9[305],n9[306],n9[307],n9[308],n9[309],n9[310],n9[311],n9[312],n9[313],n9[314],n9[315],n9[316],n9[317],n9[318],n9[319],n9[320],n9[321],n9[322],n9[323],n9[324],n9[325],n9[326],n9[327],n9[328],n9[329],n9[330],n9[331],n9[332],n9[333],n9[334],n9[335],n9[336],n9[337],n9[338],n9[339],n9[340],n9[341],n9[342],n9[343],n9[344],n9[345],n9[346],n9[347],n9[348],n9[349],n9[350],n9[351],n9[352],n9[353],n9[354],n9[355],n9[356],n9[357],n9[358],n9[359],n9[360],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],n7[121],n7[122],n7[123],n7[124],n7[125],n7[126],n7[127],n7[128],n7[129],n7[130],n7[131],n7[132],n7[133],n7[134],n7[135],n7[136],n7[137],n7[138],n7[139],n7[140],n7[141],n7[142],n7[143],n7[144],n7[145],n7[146],n7[147],n7[148],n7[149],n7[150],n7[151],n7[152],n7[153],n7[154],n7[155],n7[156],n7[157],n7[158],n7[159],n7[160],n7[161],n7[162],n7[163],n7[164],n7[165],n7[166],n7[167],n7[168],n7[169],n7[170],n7[171],n7[172],n7[173],n7[174],n7[175],n7[176],n7[177],n7[178],n7[179],n7[180],n7[181],n7[182],n7[183],n7[184],n7[185],n7[186],n7[187],n7[188],n7[189],n7[190],n7[191],n7[192],n7[193],n7[194],n7[195],n7[196],n7[197],n7[198],n7[199],n7[200],n7[201],n7[202],n7[203],n7[204],n7[205],n7[206],n7[207],n7[208],n7[209],n7[210],n7[211],n7[212],n7[213],n7[214],n7[215],n7[216],n7[217],n7[218],n7[219],n7[220],n7[221],n7[222],n7[223],n7[224],n7[225],n7[226],n7[227],n7[228],n7[229],n7[230],n7[231],n7[232],n7[233],n7[234],n7[235],n7[236],n7[237],n7[238],n7[239],n7[240],n7[241],n7[242],n7[243],n7[244],n7[245],n7[246],n7[247],n7[248],n7[249],n7[250],n7[251],n7[252],n7[253],n7[254],n7[255],n7[256],n7[257],n7[258],n7[259],n7[260],n7[261],n7[262],n7[263],n7[264],n7[265],n7[266],n7[267],n7[268],n7[269],n7[270],n7[271],n7[272],n7[273],n7[274],n7[275],n7[276],n7[277],n7[278],n7[279],n7[280],n7[281],n7[282],n7[283],n7[284],n7[285],n7[286],n7[287],n7[288],n7[289],n7[290],n7[291],n7[292],n7[293],n7[294],n7[295],n7[296],n7[297],n7[298],n7[299],n7[300],n7[301],n7[302],n7[303],n7[304],n7[305],n7[306],n7[307],n7[308],n7[309],n7[310],n7[311],n7[312],n7[313],n7[314],n7[315],n7[316],n7[317],n7[318],n7[319],n7[320],n7[321],n7[322],n7[323],n7[324],n7[325],n7[326],n7[327],n7[328],n7[329],n7[330],n7[331],n7[332],n7[333],n7[334],n7[335],n7[336],n7[337],n7[338],n7[339],n7[340],n7[341],n7[342],n7[343],n7[344],n7[345],n7[346],n7[347],n7[348],n7[349],n7[350],n7[351],n7[352],n7[353],n7[354],n7[355],n7[356],n7[357],n7[358],n7[359],n7[360],
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property QuasiCertifProtocol-COL-18-ReachabilityFireability-2 is trivially false : it is not verified in initial state.
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property QuasiCertifProtocol-COL-18-ReachabilityFireability-4 is trivially false : it is not verified in initial state.
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property QuasiCertifProtocol-COL-18-ReachabilityFireability-5 is trivially false : it is not verified in initial state.
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property QuasiCertifProtocol-COL-18-ReachabilityFireability-15 is trivially false : it is not verified in initial state.
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 298 ms
May 28, 2015 6:03:16 PM fr.lip6.move.gal.application.Application applyOrder
INFO: Applying decomposition
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1026 constant array cells/variables (out of 1398 variables)
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],n8[121],n8[122],n8[123],n8[124],n8[125],n8[126],n8[127],n8[128],n8[129],n8[130],n8[131],n8[132],n8[133],n8[134],n8[135],n8[136],n8[137],n8[138],n8[139],n8[140],n8[141],n8[142],n8[143],n8[144],n8[145],n8[146],n8[147],n8[148],n8[149],n8[150],n8[151],n8[152],n8[153],n8[154],n8[155],n8[156],n8[157],n8[158],n8[159],n8[160],n8[161],n8[162],n8[163],n8[164],n8[165],n8[166],n8[167],n8[168],n8[169],n8[170],n8[171],n8[172],n8[173],n8[174],n8[175],n8[176],n8[177],n8[178],n8[179],n8[180],n8[181],n8[182],n8[183],n8[184],n8[185],n8[186],n8[187],n8[188],n8[189],n8[190],n8[191],n8[192],n8[193],n8[194],n8[195],n8[196],n8[197],n8[198],n8[199],n8[200],n8[201],n8[202],n8[203],n8[204],n8[205],n8[206],n8[207],n8[208],n8[209],n8[210],n8[211],n8[212],n8[213],n8[214],n8[215],n8[216],n8[217],n8[218],n8[219],n8[220],n8[221],n8[222],n8[223],n8[224],n8[225],n8[226],n8[227],n8[228],n8[229],n8[230],n8[231],n8[232],n8[233],n8[234],n8[235],n8[236],n8[237],n8[238],n8[239],n8[240],n8[241],n8[242],n8[243],n8[244],n8[245],n8[246],n8[247],n8[248],n8[249],n8[250],n8[251],n8[252],n8[253],n8[254],n8[255],n8[256],n8[257],n8[258],n8[259],n8[260],n8[261],n8[262],n8[263],n8[264],n8[265],n8[266],n8[267],n8[268],n8[269],n8[270],n8[271],n8[272],n8[273],n8[274],n8[275],n8[276],n8[277],n8[278],n8[279],n8[280],n8[281],n8[282],n8[283],n8[284],n8[285],n8[286],n8[287],n8[288],n8[289],n8[290],n8[291],n8[292],n8[293],n8[294],n8[295],n8[296],n8[297],n8[298],n8[299],n8[300],n8[301],n8[302],n8[303],n8[304],n8[305],n8[306],n8[307],n8[308],n8[309],n8[310],n8[311],n8[312],n8[313],n8[314],n8[315],n8[316],n8[317],n8[318],n8[319],n8[320],n8[321],n8[322],n8[323],n8[324],n8[325],n8[326],n8[327],n8[328],n8[329],n8[330],n8[331],n8[332],n8[333],n8[334],n8[335],n8[336],n8[337],n8[338],n8[339],n8[340],n8[341],n8[342],n8[343],n8[344],n8[345],n8[346],n8[347],n8[348],n8[349],n8[350],n8[351],n8[352],n8[353],n8[354],n8[355],n8[356],n8[357],n8[358],n8[359],n8[360],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],n7[121],n7[122],n7[123],n7[124],n7[125],n7[126],n7[127],n7[128],n7[129],n7[130],n7[131],n7[132],n7[133],n7[134],n7[135],n7[136],n7[137],n7[138],n7[139],n7[140],n7[141],n7[142],n7[143],n7[144],n7[145],n7[146],n7[147],n7[148],n7[149],n7[150],n7[151],n7[152],n7[153],n7[154],n7[155],n7[156],n7[157],n7[158],n7[159],n7[160],n7[161],n7[162],n7[163],n7[164],n7[165],n7[166],n7[167],n7[168],n7[169],n7[170],n7[171],n7[172],n7[173],n7[174],n7[175],n7[176],n7[177],n7[178],n7[179],n7[180],n7[181],n7[182],n7[183],n7[184],n7[185],n7[186],n7[187],n7[188],n7[189],n7[190],n7[191],n7[192],n7[193],n7[194],n7[195],n7[196],n7[197],n7[198],n7[199],n7[200],n7[201],n7[202],n7[203],n7[204],n7[205],n7[206],n7[207],n7[208],n7[209],n7[210],n7[211],n7[212],n7[213],n7[214],n7[215],n7[216],n7[217],n7[218],n7[219],n7[220],n7[221],n7[222],n7[223],n7[224],n7[225],n7[226],n7[227],n7[228],n7[229],n7[230],n7[231],n7[232],n7[233],n7[234],n7[235],n7[236],n7[237],n7[238],n7[239],n7[240],n7[241],n7[242],n7[243],n7[244],n7[245],n7[246],n7[247],n7[248],n7[249],n7[250],n7[251],n7[252],n7[253],n7[254],n7[255],n7[256],n7[257],n7[258],n7[259],n7[260],n7[261],n7[262],n7[263],n7[264],n7[265],n7[266],n7[267],n7[268],n7[269],n7[270],n7[271],n7[272],n7[273],n7[274],n7[275],n7[276],n7[277],n7[278],n7[279],n7[280],n7[281],n7[282],n7[283],n7[284],n7[285],n7[286],n7[287],n7[288],n7[289],n7[290],n7[291],n7[292],n7[293],n7[294],n7[295],n7[296],n7[297],n7[298],n7[299],n7[300],n7[301],n7[302],n7[303],n7[304],n7[305],n7[306],n7[307],n7[308],n7[309],n7[310],n7[311],n7[312],n7[313],n7[314],n7[315],n7[316],n7[317],n7[318],n7[319],n7[320],n7[321],n7[322],n7[323],n7[324],n7[325],n7[326],n7[327],n7[328],n7[329],n7[330],n7[331],n7[332],n7[333],n7[334],n7[335],n7[336],n7[337],n7[338],n7[339],n7[340],n7[341],n7[342],n7[343],n7[344],n7[345],n7[346],n7[347],n7[348],n7[349],n7[350],n7[351],n7[352],n7[353],n7[354],n7[355],n7[356],n7[357],n7[358],n7[359],n7[360],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],n9[121],n9[122],n9[123],n9[124],n9[125],n9[126],n9[127],n9[128],n9[129],n9[130],n9[131],n9[132],n9[133],n9[134],n9[135],n9[136],n9[137],n9[138],n9[139],n9[140],n9[141],n9[142],n9[143],n9[144],n9[145],n9[146],n9[147],n9[148],n9[149],n9[150],n9[151],n9[152],n9[153],n9[154],n9[155],n9[156],n9[157],n9[158],n9[159],n9[160],n9[161],n9[162],n9[163],n9[164],n9[165],n9[166],n9[167],n9[168],n9[169],n9[170],n9[171],n9[172],n9[173],n9[174],n9[175],n9[176],n9[177],n9[178],n9[179],n9[180],n9[181],n9[182],n9[183],n9[184],n9[185],n9[186],n9[187],n9[188],n9[189],n9[190],n9[191],n9[192],n9[193],n9[194],n9[195],n9[196],n9[197],n9[198],n9[199],n9[200],n9[201],n9[202],n9[203],n9[204],n9[205],n9[206],n9[207],n9[208],n9[209],n9[210],n9[211],n9[212],n9[213],n9[214],n9[215],n9[216],n9[217],n9[218],n9[219],n9[220],n9[221],n9[222],n9[223],n9[224],n9[225],n9[226],n9[227],n9[228],n9[229],n9[230],n9[231],n9[232],n9[233],n9[234],n9[235],n9[236],n9[237],n9[238],n9[239],n9[240],n9[241],n9[242],n9[243],n9[244],n9[245],n9[246],n9[247],n9[248],n9[249],n9[250],n9[251],n9[252],n9[253],n9[254],n9[255],n9[256],n9[257],n9[258],n9[259],n9[260],n9[261],n9[262],n9[263],n9[264],n9[265],n9[266],n9[267],n9[268],n9[269],n9[270],n9[271],n9[272],n9[273],n9[274],n9[275],n9[276],n9[277],n9[278],n9[279],n9[280],n9[281],n9[282],n9[283],n9[284],n9[285],n9[286],n9[287],n9[288],n9[289],n9[290],n9[291],n9[292],n9[293],n9[294],n9[295],n9[296],n9[297],n9[298],n9[299],n9[300],n9[301],n9[302],n9[303],n9[304],n9[305],n9[306],n9[307],n9[308],n9[309],n9[310],n9[311],n9[312],n9[313],n9[314],n9[315],n9[316],n9[317],n9[318],n9[319],n9[320],n9[321],n9[322],n9[323],n9[324],n9[325],n9[326],n9[327],n9[328],n9[329],n9[330],n9[331],n9[332],n9[333],n9[334],n9[335],n9[336],n9[337],n9[338],n9[339],n9[340],n9[341],n9[342],n9[343],n9[344],n9[345],n9[346],n9[347],n9[348],n9[349],n9[350],n9[351],n9[352],n9[353],n9[354],n9[355],n9[356],n9[357],n9[358],n9[359],n9[360],
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1026 constant array cells/variables (out of 1398 variables)
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],n9[121],n9[122],n9[123],n9[124],n9[125],n9[126],n9[127],n9[128],n9[129],n9[130],n9[131],n9[132],n9[133],n9[134],n9[135],n9[136],n9[137],n9[138],n9[139],n9[140],n9[141],n9[142],n9[143],n9[144],n9[145],n9[146],n9[147],n9[148],n9[149],n9[150],n9[151],n9[152],n9[153],n9[154],n9[155],n9[156],n9[157],n9[158],n9[159],n9[160],n9[161],n9[162],n9[163],n9[164],n9[165],n9[166],n9[167],n9[168],n9[169],n9[170],n9[171],n9[172],n9[173],n9[174],n9[175],n9[176],n9[177],n9[178],n9[179],n9[180],n9[181],n9[182],n9[183],n9[184],n9[185],n9[186],n9[187],n9[188],n9[189],n9[190],n9[191],n9[192],n9[193],n9[194],n9[195],n9[196],n9[197],n9[198],n9[199],n9[200],n9[201],n9[202],n9[203],n9[204],n9[205],n9[206],n9[207],n9[208],n9[209],n9[210],n9[211],n9[212],n9[213],n9[214],n9[215],n9[216],n9[217],n9[218],n9[219],n9[220],n9[221],n9[222],n9[223],n9[224],n9[225],n9[226],n9[227],n9[228],n9[229],n9[230],n9[231],n9[232],n9[233],n9[234],n9[235],n9[236],n9[237],n9[238],n9[239],n9[240],n9[241],n9[242],n9[243],n9[244],n9[245],n9[246],n9[247],n9[248],n9[249],n9[250],n9[251],n9[252],n9[253],n9[254],n9[255],n9[256],n9[257],n9[258],n9[259],n9[260],n9[261],n9[262],n9[263],n9[264],n9[265],n9[266],n9[267],n9[268],n9[269],n9[270],n9[271],n9[272],n9[273],n9[274],n9[275],n9[276],n9[277],n9[278],n9[279],n9[280],n9[281],n9[282],n9[283],n9[284],n9[285],n9[286],n9[287],n9[288],n9[289],n9[290],n9[291],n9[292],n9[293],n9[294],n9[295],n9[296],n9[297],n9[298],n9[299],n9[300],n9[301],n9[302],n9[303],n9[304],n9[305],n9[306],n9[307],n9[308],n9[309],n9[310],n9[311],n9[312],n9[313],n9[314],n9[315],n9[316],n9[317],n9[318],n9[319],n9[320],n9[321],n9[322],n9[323],n9[324],n9[325],n9[326],n9[327],n9[328],n9[329],n9[330],n9[331],n9[332],n9[333],n9[334],n9[335],n9[336],n9[337],n9[338],n9[339],n9[340],n9[341],n9[342],n9[343],n9[344],n9[345],n9[346],n9[347],n9[348],n9[349],n9[350],n9[351],n9[352],n9[353],n9[354],n9[355],n9[356],n9[357],n9[358],n9[359],n9[360],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],n7[121],n7[122],n7[123],n7[124],n7[125],n7[126],n7[127],n7[128],n7[129],n7[130],n7[131],n7[132],n7[133],n7[134],n7[135],n7[136],n7[137],n7[138],n7[139],n7[140],n7[141],n7[142],n7[143],n7[144],n7[145],n7[146],n7[147],n7[148],n7[149],n7[150],n7[151],n7[152],n7[153],n7[154],n7[155],n7[156],n7[157],n7[158],n7[159],n7[160],n7[161],n7[162],n7[163],n7[164],n7[165],n7[166],n7[167],n7[168],n7[169],n7[170],n7[171],n7[172],n7[173],n7[174],n7[175],n7[176],n7[177],n7[178],n7[179],n7[180],n7[181],n7[182],n7[183],n7[184],n7[185],n7[186],n7[187],n7[188],n7[189],n7[190],n7[191],n7[192],n7[193],n7[194],n7[195],n7[196],n7[197],n7[198],n7[199],n7[200],n7[201],n7[202],n7[203],n7[204],n7[205],n7[206],n7[207],n7[208],n7[209],n7[210],n7[211],n7[212],n7[213],n7[214],n7[215],n7[216],n7[217],n7[218],n7[219],n7[220],n7[221],n7[222],n7[223],n7[224],n7[225],n7[226],n7[227],n7[228],n7[229],n7[230],n7[231],n7[232],n7[233],n7[234],n7[235],n7[236],n7[237],n7[238],n7[239],n7[240],n7[241],n7[242],n7[243],n7[244],n7[245],n7[246],n7[247],n7[248],n7[249],n7[250],n7[251],n7[252],n7[253],n7[254],n7[255],n7[256],n7[257],n7[258],n7[259],n7[260],n7[261],n7[262],n7[263],n7[264],n7[265],n7[266],n7[267],n7[268],n7[269],n7[270],n7[271],n7[272],n7[273],n7[274],n7[275],n7[276],n7[277],n7[278],n7[279],n7[280],n7[281],n7[282],n7[283],n7[284],n7[285],n7[286],n7[287],n7[288],n7[289],n7[290],n7[291],n7[292],n7[293],n7[294],n7[295],n7[296],n7[297],n7[298],n7[299],n7[300],n7[301],n7[302],n7[303],n7[304],n7[305],n7[306],n7[307],n7[308],n7[309],n7[310],n7[311],n7[312],n7[313],n7[314],n7[315],n7[316],n7[317],n7[318],n7[319],n7[320],n7[321],n7[322],n7[323],n7[324],n7[325],n7[326],n7[327],n7[328],n7[329],n7[330],n7[331],n7[332],n7[333],n7[334],n7[335],n7[336],n7[337],n7[338],n7[339],n7[340],n7[341],n7[342],n7[343],n7[344],n7[345],n7[346],n7[347],n7[348],n7[349],n7[350],n7[351],n7[352],n7[353],n7[354],n7[355],n7[356],n7[357],n7[358],n7[359],n7[360],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],n8[121],n8[122],n8[123],n8[124],n8[125],n8[126],n8[127],n8[128],n8[129],n8[130],n8[131],n8[132],n8[133],n8[134],n8[135],n8[136],n8[137],n8[138],n8[139],n8[140],n8[141],n8[142],n8[143],n8[144],n8[145],n8[146],n8[147],n8[148],n8[149],n8[150],n8[151],n8[152],n8[153],n8[154],n8[155],n8[156],n8[157],n8[158],n8[159],n8[160],n8[161],n8[162],n8[163],n8[164],n8[165],n8[166],n8[167],n8[168],n8[169],n8[170],n8[171],n8[172],n8[173],n8[174],n8[175],n8[176],n8[177],n8[178],n8[179],n8[180],n8[181],n8[182],n8[183],n8[184],n8[185],n8[186],n8[187],n8[188],n8[189],n8[190],n8[191],n8[192],n8[193],n8[194],n8[195],n8[196],n8[197],n8[198],n8[199],n8[200],n8[201],n8[202],n8[203],n8[204],n8[205],n8[206],n8[207],n8[208],n8[209],n8[210],n8[211],n8[212],n8[213],n8[214],n8[215],n8[216],n8[217],n8[218],n8[219],n8[220],n8[221],n8[222],n8[223],n8[224],n8[225],n8[226],n8[227],n8[228],n8[229],n8[230],n8[231],n8[232],n8[233],n8[234],n8[235],n8[236],n8[237],n8[238],n8[239],n8[240],n8[241],n8[242],n8[243],n8[244],n8[245],n8[246],n8[247],n8[248],n8[249],n8[250],n8[251],n8[252],n8[253],n8[254],n8[255],n8[256],n8[257],n8[258],n8[259],n8[260],n8[261],n8[262],n8[263],n8[264],n8[265],n8[266],n8[267],n8[268],n8[269],n8[270],n8[271],n8[272],n8[273],n8[274],n8[275],n8[276],n8[277],n8[278],n8[279],n8[280],n8[281],n8[282],n8[283],n8[284],n8[285],n8[286],n8[287],n8[288],n8[289],n8[290],n8[291],n8[292],n8[293],n8[294],n8[295],n8[296],n8[297],n8[298],n8[299],n8[300],n8[301],n8[302],n8[303],n8[304],n8[305],n8[306],n8[307],n8[308],n8[309],n8[310],n8[311],n8[312],n8[313],n8[314],n8[315],n8[316],n8[317],n8[318],n8[319],n8[320],n8[321],n8[322],n8[323],n8[324],n8[325],n8[326],n8[327],n8[328],n8[329],n8[330],n8[331],n8[332],n8[333],n8[334],n8[335],n8[336],n8[337],n8[338],n8[339],n8[340],n8[341],n8[342],n8[343],n8[344],n8[345],n8[346],n8[347],n8[348],n8[349],n8[350],n8[351],n8[352],n8[353],n8[354],n8[355],n8[356],n8[357],n8[358],n8[359],n8[360],
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1026 constant array cells/variables (out of 1398 variables)
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],n8[121],n8[122],n8[123],n8[124],n8[125],n8[126],n8[127],n8[128],n8[129],n8[130],n8[131],n8[132],n8[133],n8[134],n8[135],n8[136],n8[137],n8[138],n8[139],n8[140],n8[141],n8[142],n8[143],n8[144],n8[145],n8[146],n8[147],n8[148],n8[149],n8[150],n8[151],n8[152],n8[153],n8[154],n8[155],n8[156],n8[157],n8[158],n8[159],n8[160],n8[161],n8[162],n8[163],n8[164],n8[165],n8[166],n8[167],n8[168],n8[169],n8[170],n8[171],n8[172],n8[173],n8[174],n8[175],n8[176],n8[177],n8[178],n8[179],n8[180],n8[181],n8[182],n8[183],n8[184],n8[185],n8[186],n8[187],n8[188],n8[189],n8[190],n8[191],n8[192],n8[193],n8[194],n8[195],n8[196],n8[197],n8[198],n8[199],n8[200],n8[201],n8[202],n8[203],n8[204],n8[205],n8[206],n8[207],n8[208],n8[209],n8[210],n8[211],n8[212],n8[213],n8[214],n8[215],n8[216],n8[217],n8[218],n8[219],n8[220],n8[221],n8[222],n8[223],n8[224],n8[225],n8[226],n8[227],n8[228],n8[229],n8[230],n8[231],n8[232],n8[233],n8[234],n8[235],n8[236],n8[237],n8[238],n8[239],n8[240],n8[241],n8[242],n8[243],n8[244],n8[245],n8[246],n8[247],n8[248],n8[249],n8[250],n8[251],n8[252],n8[253],n8[254],n8[255],n8[256],n8[257],n8[258],n8[259],n8[260],n8[261],n8[262],n8[263],n8[264],n8[265],n8[266],n8[267],n8[268],n8[269],n8[270],n8[271],n8[272],n8[273],n8[274],n8[275],n8[276],n8[277],n8[278],n8[279],n8[280],n8[281],n8[282],n8[283],n8[284],n8[285],n8[286],n8[287],n8[288],n8[289],n8[290],n8[291],n8[292],n8[293],n8[294],n8[295],n8[296],n8[297],n8[298],n8[299],n8[300],n8[301],n8[302],n8[303],n8[304],n8[305],n8[306],n8[307],n8[308],n8[309],n8[310],n8[311],n8[312],n8[313],n8[314],n8[315],n8[316],n8[317],n8[318],n8[319],n8[320],n8[321],n8[322],n8[323],n8[324],n8[325],n8[326],n8[327],n8[328],n8[329],n8[330],n8[331],n8[332],n8[333],n8[334],n8[335],n8[336],n8[337],n8[338],n8[339],n8[340],n8[341],n8[342],n8[343],n8[344],n8[345],n8[346],n8[347],n8[348],n8[349],n8[350],n8[351],n8[352],n8[353],n8[354],n8[355],n8[356],n8[357],n8[358],n8[359],n8[360],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],n9[121],n9[122],n9[123],n9[124],n9[125],n9[126],n9[127],n9[128],n9[129],n9[130],n9[131],n9[132],n9[133],n9[134],n9[135],n9[136],n9[137],n9[138],n9[139],n9[140],n9[141],n9[142],n9[143],n9[144],n9[145],n9[146],n9[147],n9[148],n9[149],n9[150],n9[151],n9[152],n9[153],n9[154],n9[155],n9[156],n9[157],n9[158],n9[159],n9[160],n9[161],n9[162],n9[163],n9[164],n9[165],n9[166],n9[167],n9[168],n9[169],n9[170],n9[171],n9[172],n9[173],n9[174],n9[175],n9[176],n9[177],n9[178],n9[179],n9[180],n9[181],n9[182],n9[183],n9[184],n9[185],n9[186],n9[187],n9[188],n9[189],n9[190],n9[191],n9[192],n9[193],n9[194],n9[195],n9[196],n9[197],n9[198],n9[199],n9[200],n9[201],n9[202],n9[203],n9[204],n9[205],n9[206],n9[207],n9[208],n9[209],n9[210],n9[211],n9[212],n9[213],n9[214],n9[215],n9[216],n9[217],n9[218],n9[219],n9[220],n9[221],n9[222],n9[223],n9[224],n9[225],n9[226],n9[227],n9[228],n9[229],n9[230],n9[231],n9[232],n9[233],n9[234],n9[235],n9[236],n9[237],n9[238],n9[239],n9[240],n9[241],n9[242],n9[243],n9[244],n9[245],n9[246],n9[247],n9[248],n9[249],n9[250],n9[251],n9[252],n9[253],n9[254],n9[255],n9[256],n9[257],n9[258],n9[259],n9[260],n9[261],n9[262],n9[263],n9[264],n9[265],n9[266],n9[267],n9[268],n9[269],n9[270],n9[271],n9[272],n9[273],n9[274],n9[275],n9[276],n9[277],n9[278],n9[279],n9[280],n9[281],n9[282],n9[283],n9[284],n9[285],n9[286],n9[287],n9[288],n9[289],n9[290],n9[291],n9[292],n9[293],n9[294],n9[295],n9[296],n9[297],n9[298],n9[299],n9[300],n9[301],n9[302],n9[303],n9[304],n9[305],n9[306],n9[307],n9[308],n9[309],n9[310],n9[311],n9[312],n9[313],n9[314],n9[315],n9[316],n9[317],n9[318],n9[319],n9[320],n9[321],n9[322],n9[323],n9[324],n9[325],n9[326],n9[327],n9[328],n9[329],n9[330],n9[331],n9[332],n9[333],n9[334],n9[335],n9[336],n9[337],n9[338],n9[339],n9[340],n9[341],n9[342],n9[343],n9[344],n9[345],n9[346],n9[347],n9[348],n9[349],n9[350],n9[351],n9[352],n9[353],n9[354],n9[355],n9[356],n9[357],n9[358],n9[359],n9[360],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],n7[121],n7[122],n7[123],n7[124],n7[125],n7[126],n7[127],n7[128],n7[129],n7[130],n7[131],n7[132],n7[133],n7[134],n7[135],n7[136],n7[137],n7[138],n7[139],n7[140],n7[141],n7[142],n7[143],n7[144],n7[145],n7[146],n7[147],n7[148],n7[149],n7[150],n7[151],n7[152],n7[153],n7[154],n7[155],n7[156],n7[157],n7[158],n7[159],n7[160],n7[161],n7[162],n7[163],n7[164],n7[165],n7[166],n7[167],n7[168],n7[169],n7[170],n7[171],n7[172],n7[173],n7[174],n7[175],n7[176],n7[177],n7[178],n7[179],n7[180],n7[181],n7[182],n7[183],n7[184],n7[185],n7[186],n7[187],n7[188],n7[189],n7[190],n7[191],n7[192],n7[193],n7[194],n7[195],n7[196],n7[197],n7[198],n7[199],n7[200],n7[201],n7[202],n7[203],n7[204],n7[205],n7[206],n7[207],n7[208],n7[209],n7[210],n7[211],n7[212],n7[213],n7[214],n7[215],n7[216],n7[217],n7[218],n7[219],n7[220],n7[221],n7[222],n7[223],n7[224],n7[225],n7[226],n7[227],n7[228],n7[229],n7[230],n7[231],n7[232],n7[233],n7[234],n7[235],n7[236],n7[237],n7[238],n7[239],n7[240],n7[241],n7[242],n7[243],n7[244],n7[245],n7[246],n7[247],n7[248],n7[249],n7[250],n7[251],n7[252],n7[253],n7[254],n7[255],n7[256],n7[257],n7[258],n7[259],n7[260],n7[261],n7[262],n7[263],n7[264],n7[265],n7[266],n7[267],n7[268],n7[269],n7[270],n7[271],n7[272],n7[273],n7[274],n7[275],n7[276],n7[277],n7[278],n7[279],n7[280],n7[281],n7[282],n7[283],n7[284],n7[285],n7[286],n7[287],n7[288],n7[289],n7[290],n7[291],n7[292],n7[293],n7[294],n7[295],n7[296],n7[297],n7[298],n7[299],n7[300],n7[301],n7[302],n7[303],n7[304],n7[305],n7[306],n7[307],n7[308],n7[309],n7[310],n7[311],n7[312],n7[313],n7[314],n7[315],n7[316],n7[317],n7[318],n7[319],n7[320],n7[321],n7[322],n7[323],n7[324],n7[325],n7[326],n7[327],n7[328],n7[329],n7[330],n7[331],n7[332],n7[333],n7[334],n7[335],n7[336],n7[337],n7[338],n7[339],n7[340],n7[341],n7[342],n7[343],n7[344],n7[345],n7[346],n7[347],n7[348],n7[349],n7[350],n7[351],n7[352],n7[353],n7[354],n7[355],n7[356],n7[357],n7[358],n7[359],n7[360],
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1026 constant array cells/variables (out of 1398 variables)
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],n8[121],n8[122],n8[123],n8[124],n8[125],n8[126],n8[127],n8[128],n8[129],n8[130],n8[131],n8[132],n8[133],n8[134],n8[135],n8[136],n8[137],n8[138],n8[139],n8[140],n8[141],n8[142],n8[143],n8[144],n8[145],n8[146],n8[147],n8[148],n8[149],n8[150],n8[151],n8[152],n8[153],n8[154],n8[155],n8[156],n8[157],n8[158],n8[159],n8[160],n8[161],n8[162],n8[163],n8[164],n8[165],n8[166],n8[167],n8[168],n8[169],n8[170],n8[171],n8[172],n8[173],n8[174],n8[175],n8[176],n8[177],n8[178],n8[179],n8[180],n8[181],n8[182],n8[183],n8[184],n8[185],n8[186],n8[187],n8[188],n8[189],n8[190],n8[191],n8[192],n8[193],n8[194],n8[195],n8[196],n8[197],n8[198],n8[199],n8[200],n8[201],n8[202],n8[203],n8[204],n8[205],n8[206],n8[207],n8[208],n8[209],n8[210],n8[211],n8[212],n8[213],n8[214],n8[215],n8[216],n8[217],n8[218],n8[219],n8[220],n8[221],n8[222],n8[223],n8[224],n8[225],n8[226],n8[227],n8[228],n8[229],n8[230],n8[231],n8[232],n8[233],n8[234],n8[235],n8[236],n8[237],n8[238],n8[239],n8[240],n8[241],n8[242],n8[243],n8[244],n8[245],n8[246],n8[247],n8[248],n8[249],n8[250],n8[251],n8[252],n8[253],n8[254],n8[255],n8[256],n8[257],n8[258],n8[259],n8[260],n8[261],n8[262],n8[263],n8[264],n8[265],n8[266],n8[267],n8[268],n8[269],n8[270],n8[271],n8[272],n8[273],n8[274],n8[275],n8[276],n8[277],n8[278],n8[279],n8[280],n8[281],n8[282],n8[283],n8[284],n8[285],n8[286],n8[287],n8[288],n8[289],n8[290],n8[291],n8[292],n8[293],n8[294],n8[295],n8[296],n8[297],n8[298],n8[299],n8[300],n8[301],n8[302],n8[303],n8[304],n8[305],n8[306],n8[307],n8[308],n8[309],n8[310],n8[311],n8[312],n8[313],n8[314],n8[315],n8[316],n8[317],n8[318],n8[319],n8[320],n8[321],n8[322],n8[323],n8[324],n8[325],n8[326],n8[327],n8[328],n8[329],n8[330],n8[331],n8[332],n8[333],n8[334],n8[335],n8[336],n8[337],n8[338],n8[339],n8[340],n8[341],n8[342],n8[343],n8[344],n8[345],n8[346],n8[347],n8[348],n8[349],n8[350],n8[351],n8[352],n8[353],n8[354],n8[355],n8[356],n8[357],n8[358],n8[359],n8[360],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],n7[121],n7[122],n7[123],n7[124],n7[125],n7[126],n7[127],n7[128],n7[129],n7[130],n7[131],n7[132],n7[133],n7[134],n7[135],n7[136],n7[137],n7[138],n7[139],n7[140],n7[141],n7[142],n7[143],n7[144],n7[145],n7[146],n7[147],n7[148],n7[149],n7[150],n7[151],n7[152],n7[153],n7[154],n7[155],n7[156],n7[157],n7[158],n7[159],n7[160],n7[161],n7[162],n7[163],n7[164],n7[165],n7[166],n7[167],n7[168],n7[169],n7[170],n7[171],n7[172],n7[173],n7[174],n7[175],n7[176],n7[177],n7[178],n7[179],n7[180],n7[181],n7[182],n7[183],n7[184],n7[185],n7[186],n7[187],n7[188],n7[189],n7[190],n7[191],n7[192],n7[193],n7[194],n7[195],n7[196],n7[197],n7[198],n7[199],n7[200],n7[201],n7[202],n7[203],n7[204],n7[205],n7[206],n7[207],n7[208],n7[209],n7[210],n7[211],n7[212],n7[213],n7[214],n7[215],n7[216],n7[217],n7[218],n7[219],n7[220],n7[221],n7[222],n7[223],n7[224],n7[225],n7[226],n7[227],n7[228],n7[229],n7[230],n7[231],n7[232],n7[233],n7[234],n7[235],n7[236],n7[237],n7[238],n7[239],n7[240],n7[241],n7[242],n7[243],n7[244],n7[245],n7[246],n7[247],n7[248],n7[249],n7[250],n7[251],n7[252],n7[253],n7[254],n7[255],n7[256],n7[257],n7[258],n7[259],n7[260],n7[261],n7[262],n7[263],n7[264],n7[265],n7[266],n7[267],n7[268],n7[269],n7[270],n7[271],n7[272],n7[273],n7[274],n7[275],n7[276],n7[277],n7[278],n7[279],n7[280],n7[281],n7[282],n7[283],n7[284],n7[285],n7[286],n7[287],n7[288],n7[289],n7[290],n7[291],n7[292],n7[293],n7[294],n7[295],n7[296],n7[297],n7[298],n7[299],n7[300],n7[301],n7[302],n7[303],n7[304],n7[305],n7[306],n7[307],n7[308],n7[309],n7[310],n7[311],n7[312],n7[313],n7[314],n7[315],n7[316],n7[317],n7[318],n7[319],n7[320],n7[321],n7[322],n7[323],n7[324],n7[325],n7[326],n7[327],n7[328],n7[329],n7[330],n7[331],n7[332],n7[333],n7[334],n7[335],n7[336],n7[337],n7[338],n7[339],n7[340],n7[341],n7[342],n7[343],n7[344],n7[345],n7[346],n7[347],n7[348],n7[349],n7[350],n7[351],n7[352],n7[353],n7[354],n7[355],n7[356],n7[357],n7[358],n7[359],n7[360],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],n9[121],n9[122],n9[123],n9[124],n9[125],n9[126],n9[127],n9[128],n9[129],n9[130],n9[131],n9[132],n9[133],n9[134],n9[135],n9[136],n9[137],n9[138],n9[139],n9[140],n9[141],n9[142],n9[143],n9[144],n9[145],n9[146],n9[147],n9[148],n9[149],n9[150],n9[151],n9[152],n9[153],n9[154],n9[155],n9[156],n9[157],n9[158],n9[159],n9[160],n9[161],n9[162],n9[163],n9[164],n9[165],n9[166],n9[167],n9[168],n9[169],n9[170],n9[171],n9[172],n9[173],n9[174],n9[175],n9[176],n9[177],n9[178],n9[179],n9[180],n9[181],n9[182],n9[183],n9[184],n9[185],n9[186],n9[187],n9[188],n9[189],n9[190],n9[191],n9[192],n9[193],n9[194],n9[195],n9[196],n9[197],n9[198],n9[199],n9[200],n9[201],n9[202],n9[203],n9[204],n9[205],n9[206],n9[207],n9[208],n9[209],n9[210],n9[211],n9[212],n9[213],n9[214],n9[215],n9[216],n9[217],n9[218],n9[219],n9[220],n9[221],n9[222],n9[223],n9[224],n9[225],n9[226],n9[227],n9[228],n9[229],n9[230],n9[231],n9[232],n9[233],n9[234],n9[235],n9[236],n9[237],n9[238],n9[239],n9[240],n9[241],n9[242],n9[243],n9[244],n9[245],n9[246],n9[247],n9[248],n9[249],n9[250],n9[251],n9[252],n9[253],n9[254],n9[255],n9[256],n9[257],n9[258],n9[259],n9[260],n9[261],n9[262],n9[263],n9[264],n9[265],n9[266],n9[267],n9[268],n9[269],n9[270],n9[271],n9[272],n9[273],n9[274],n9[275],n9[276],n9[277],n9[278],n9[279],n9[280],n9[281],n9[282],n9[283],n9[284],n9[285],n9[286],n9[287],n9[288],n9[289],n9[290],n9[291],n9[292],n9[293],n9[294],n9[295],n9[296],n9[297],n9[298],n9[299],n9[300],n9[301],n9[302],n9[303],n9[304],n9[305],n9[306],n9[307],n9[308],n9[309],n9[310],n9[311],n9[312],n9[313],n9[314],n9[315],n9[316],n9[317],n9[318],n9[319],n9[320],n9[321],n9[322],n9[323],n9[324],n9[325],n9[326],n9[327],n9[328],n9[329],n9[330],n9[331],n9[332],n9[333],n9[334],n9[335],n9[336],n9[337],n9[338],n9[339],n9[340],n9[341],n9[342],n9[343],n9[344],n9[345],n9[346],n9[347],n9[348],n9[349],n9[350],n9[351],n9[352],n9[353],n9[354],n9[355],n9[356],n9[357],n9[358],n9[359],n9[360],
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 418 ms
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1026 constant array cells/variables (out of 1398 variables)
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],n9[121],n9[122],n9[123],n9[124],n9[125],n9[126],n9[127],n9[128],n9[129],n9[130],n9[131],n9[132],n9[133],n9[134],n9[135],n9[136],n9[137],n9[138],n9[139],n9[140],n9[141],n9[142],n9[143],n9[144],n9[145],n9[146],n9[147],n9[148],n9[149],n9[150],n9[151],n9[152],n9[153],n9[154],n9[155],n9[156],n9[157],n9[158],n9[159],n9[160],n9[161],n9[162],n9[163],n9[164],n9[165],n9[166],n9[167],n9[168],n9[169],n9[170],n9[171],n9[172],n9[173],n9[174],n9[175],n9[176],n9[177],n9[178],n9[179],n9[180],n9[181],n9[182],n9[183],n9[184],n9[185],n9[186],n9[187],n9[188],n9[189],n9[190],n9[191],n9[192],n9[193],n9[194],n9[195],n9[196],n9[197],n9[198],n9[199],n9[200],n9[201],n9[202],n9[203],n9[204],n9[205],n9[206],n9[207],n9[208],n9[209],n9[210],n9[211],n9[212],n9[213],n9[214],n9[215],n9[216],n9[217],n9[218],n9[219],n9[220],n9[221],n9[222],n9[223],n9[224],n9[225],n9[226],n9[227],n9[228],n9[229],n9[230],n9[231],n9[232],n9[233],n9[234],n9[235],n9[236],n9[237],n9[238],n9[239],n9[240],n9[241],n9[242],n9[243],n9[244],n9[245],n9[246],n9[247],n9[248],n9[249],n9[250],n9[251],n9[252],n9[253],n9[254],n9[255],n9[256],n9[257],n9[258],n9[259],n9[260],n9[261],n9[262],n9[263],n9[264],n9[265],n9[266],n9[267],n9[268],n9[269],n9[270],n9[271],n9[272],n9[273],n9[274],n9[275],n9[276],n9[277],n9[278],n9[279],n9[280],n9[281],n9[282],n9[283],n9[284],n9[285],n9[286],n9[287],n9[288],n9[289],n9[290],n9[291],n9[292],n9[293],n9[294],n9[295],n9[296],n9[297],n9[298],n9[299],n9[300],n9[301],n9[302],n9[303],n9[304],n9[305],n9[306],n9[307],n9[308],n9[309],n9[310],n9[311],n9[312],n9[313],n9[314],n9[315],n9[316],n9[317],n9[318],n9[319],n9[320],n9[321],n9[322],n9[323],n9[324],n9[325],n9[326],n9[327],n9[328],n9[329],n9[330],n9[331],n9[332],n9[333],n9[334],n9[335],n9[336],n9[337],n9[338],n9[339],n9[340],n9[341],n9[342],n9[343],n9[344],n9[345],n9[346],n9[347],n9[348],n9[349],n9[350],n9[351],n9[352],n9[353],n9[354],n9[355],n9[356],n9[357],n9[358],n9[359],n9[360],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],n7[121],n7[122],n7[123],n7[124],n7[125],n7[126],n7[127],n7[128],n7[129],n7[130],n7[131],n7[132],n7[133],n7[134],n7[135],n7[136],n7[137],n7[138],n7[139],n7[140],n7[141],n7[142],n7[143],n7[144],n7[145],n7[146],n7[147],n7[148],n7[149],n7[150],n7[151],n7[152],n7[153],n7[154],n7[155],n7[156],n7[157],n7[158],n7[159],n7[160],n7[161],n7[162],n7[163],n7[164],n7[165],n7[166],n7[167],n7[168],n7[169],n7[170],n7[171],n7[172],n7[173],n7[174],n7[175],n7[176],n7[177],n7[178],n7[179],n7[180],n7[181],n7[182],n7[183],n7[184],n7[185],n7[186],n7[187],n7[188],n7[189],n7[190],n7[191],n7[192],n7[193],n7[194],n7[195],n7[196],n7[197],n7[198],n7[199],n7[200],n7[201],n7[202],n7[203],n7[204],n7[205],n7[206],n7[207],n7[208],n7[209],n7[210],n7[211],n7[212],n7[213],n7[214],n7[215],n7[216],n7[217],n7[218],n7[219],n7[220],n7[221],n7[222],n7[223],n7[224],n7[225],n7[226],n7[227],n7[228],n7[229],n7[230],n7[231],n7[232],n7[233],n7[234],n7[235],n7[236],n7[237],n7[238],n7[239],n7[240],n7[241],n7[242],n7[243],n7[244],n7[245],n7[246],n7[247],n7[248],n7[249],n7[250],n7[251],n7[252],n7[253],n7[254],n7[255],n7[256],n7[257],n7[258],n7[259],n7[260],n7[261],n7[262],n7[263],n7[264],n7[265],n7[266],n7[267],n7[268],n7[269],n7[270],n7[271],n7[272],n7[273],n7[274],n7[275],n7[276],n7[277],n7[278],n7[279],n7[280],n7[281],n7[282],n7[283],n7[284],n7[285],n7[286],n7[287],n7[288],n7[289],n7[290],n7[291],n7[292],n7[293],n7[294],n7[295],n7[296],n7[297],n7[298],n7[299],n7[300],n7[301],n7[302],n7[303],n7[304],n7[305],n7[306],n7[307],n7[308],n7[309],n7[310],n7[311],n7[312],n7[313],n7[314],n7[315],n7[316],n7[317],n7[318],n7[319],n7[320],n7[321],n7[322],n7[323],n7[324],n7[325],n7[326],n7[327],n7[328],n7[329],n7[330],n7[331],n7[332],n7[333],n7[334],n7[335],n7[336],n7[337],n7[338],n7[339],n7[340],n7[341],n7[342],n7[343],n7[344],n7[345],n7[346],n7[347],n7[348],n7[349],n7[350],n7[351],n7[352],n7[353],n7[354],n7[355],n7[356],n7[357],n7[358],n7[359],n7[360],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],n8[121],n8[122],n8[123],n8[124],n8[125],n8[126],n8[127],n8[128],n8[129],n8[130],n8[131],n8[132],n8[133],n8[134],n8[135],n8[136],n8[137],n8[138],n8[139],n8[140],n8[141],n8[142],n8[143],n8[144],n8[145],n8[146],n8[147],n8[148],n8[149],n8[150],n8[151],n8[152],n8[153],n8[154],n8[155],n8[156],n8[157],n8[158],n8[159],n8[160],n8[161],n8[162],n8[163],n8[164],n8[165],n8[166],n8[167],n8[168],n8[169],n8[170],n8[171],n8[172],n8[173],n8[174],n8[175],n8[176],n8[177],n8[178],n8[179],n8[180],n8[181],n8[182],n8[183],n8[184],n8[185],n8[186],n8[187],n8[188],n8[189],n8[190],n8[191],n8[192],n8[193],n8[194],n8[195],n8[196],n8[197],n8[198],n8[199],n8[200],n8[201],n8[202],n8[203],n8[204],n8[205],n8[206],n8[207],n8[208],n8[209],n8[210],n8[211],n8[212],n8[213],n8[214],n8[215],n8[216],n8[217],n8[218],n8[219],n8[220],n8[221],n8[222],n8[223],n8[224],n8[225],n8[226],n8[227],n8[228],n8[229],n8[230],n8[231],n8[232],n8[233],n8[234],n8[235],n8[236],n8[237],n8[238],n8[239],n8[240],n8[241],n8[242],n8[243],n8[244],n8[245],n8[246],n8[247],n8[248],n8[249],n8[250],n8[251],n8[252],n8[253],n8[254],n8[255],n8[256],n8[257],n8[258],n8[259],n8[260],n8[261],n8[262],n8[263],n8[264],n8[265],n8[266],n8[267],n8[268],n8[269],n8[270],n8[271],n8[272],n8[273],n8[274],n8[275],n8[276],n8[277],n8[278],n8[279],n8[280],n8[281],n8[282],n8[283],n8[284],n8[285],n8[286],n8[287],n8[288],n8[289],n8[290],n8[291],n8[292],n8[293],n8[294],n8[295],n8[296],n8[297],n8[298],n8[299],n8[300],n8[301],n8[302],n8[303],n8[304],n8[305],n8[306],n8[307],n8[308],n8[309],n8[310],n8[311],n8[312],n8[313],n8[314],n8[315],n8[316],n8[317],n8[318],n8[319],n8[320],n8[321],n8[322],n8[323],n8[324],n8[325],n8[326],n8[327],n8[328],n8[329],n8[330],n8[331],n8[332],n8[333],n8[334],n8[335],n8[336],n8[337],n8[338],n8[339],n8[340],n8[341],n8[342],n8[343],n8[344],n8[345],n8[346],n8[347],n8[348],n8[349],n8[350],n8[351],n8[352],n8[353],n8[354],n8[355],n8[356],n8[357],n8[358],n8[359],n8[360],
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 411 ms
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1026 constant array cells/variables (out of 1398 variables)
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],n8[121],n8[122],n8[123],n8[124],n8[125],n8[126],n8[127],n8[128],n8[129],n8[130],n8[131],n8[132],n8[133],n8[134],n8[135],n8[136],n8[137],n8[138],n8[139],n8[140],n8[141],n8[142],n8[143],n8[144],n8[145],n8[146],n8[147],n8[148],n8[149],n8[150],n8[151],n8[152],n8[153],n8[154],n8[155],n8[156],n8[157],n8[158],n8[159],n8[160],n8[161],n8[162],n8[163],n8[164],n8[165],n8[166],n8[167],n8[168],n8[169],n8[170],n8[171],n8[172],n8[173],n8[174],n8[175],n8[176],n8[177],n8[178],n8[179],n8[180],n8[181],n8[182],n8[183],n8[184],n8[185],n8[186],n8[187],n8[188],n8[189],n8[190],n8[191],n8[192],n8[193],n8[194],n8[195],n8[196],n8[197],n8[198],n8[199],n8[200],n8[201],n8[202],n8[203],n8[204],n8[205],n8[206],n8[207],n8[208],n8[209],n8[210],n8[211],n8[212],n8[213],n8[214],n8[215],n8[216],n8[217],n8[218],n8[219],n8[220],n8[221],n8[222],n8[223],n8[224],n8[225],n8[226],n8[227],n8[228],n8[229],n8[230],n8[231],n8[232],n8[233],n8[234],n8[235],n8[236],n8[237],n8[238],n8[239],n8[240],n8[241],n8[242],n8[243],n8[244],n8[245],n8[246],n8[247],n8[248],n8[249],n8[250],n8[251],n8[252],n8[253],n8[254],n8[255],n8[256],n8[257],n8[258],n8[259],n8[260],n8[261],n8[262],n8[263],n8[264],n8[265],n8[266],n8[267],n8[268],n8[269],n8[270],n8[271],n8[272],n8[273],n8[274],n8[275],n8[276],n8[277],n8[278],n8[279],n8[280],n8[281],n8[282],n8[283],n8[284],n8[285],n8[286],n8[287],n8[288],n8[289],n8[290],n8[291],n8[292],n8[293],n8[294],n8[295],n8[296],n8[297],n8[298],n8[299],n8[300],n8[301],n8[302],n8[303],n8[304],n8[305],n8[306],n8[307],n8[308],n8[309],n8[310],n8[311],n8[312],n8[313],n8[314],n8[315],n8[316],n8[317],n8[318],n8[319],n8[320],n8[321],n8[322],n8[323],n8[324],n8[325],n8[326],n8[327],n8[328],n8[329],n8[330],n8[331],n8[332],n8[333],n8[334],n8[335],n8[336],n8[337],n8[338],n8[339],n8[340],n8[341],n8[342],n8[343],n8[344],n8[345],n8[346],n8[347],n8[348],n8[349],n8[350],n8[351],n8[352],n8[353],n8[354],n8[355],n8[356],n8[357],n8[358],n8[359],n8[360],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],n9[121],n9[122],n9[123],n9[124],n9[125],n9[126],n9[127],n9[128],n9[129],n9[130],n9[131],n9[132],n9[133],n9[134],n9[135],n9[136],n9[137],n9[138],n9[139],n9[140],n9[141],n9[142],n9[143],n9[144],n9[145],n9[146],n9[147],n9[148],n9[149],n9[150],n9[151],n9[152],n9[153],n9[154],n9[155],n9[156],n9[157],n9[158],n9[159],n9[160],n9[161],n9[162],n9[163],n9[164],n9[165],n9[166],n9[167],n9[168],n9[169],n9[170],n9[171],n9[172],n9[173],n9[174],n9[175],n9[176],n9[177],n9[178],n9[179],n9[180],n9[181],n9[182],n9[183],n9[184],n9[185],n9[186],n9[187],n9[188],n9[189],n9[190],n9[191],n9[192],n9[193],n9[194],n9[195],n9[196],n9[197],n9[198],n9[199],n9[200],n9[201],n9[202],n9[203],n9[204],n9[205],n9[206],n9[207],n9[208],n9[209],n9[210],n9[211],n9[212],n9[213],n9[214],n9[215],n9[216],n9[217],n9[218],n9[219],n9[220],n9[221],n9[222],n9[223],n9[224],n9[225],n9[226],n9[227],n9[228],n9[229],n9[230],n9[231],n9[232],n9[233],n9[234],n9[235],n9[236],n9[237],n9[238],n9[239],n9[240],n9[241],n9[242],n9[243],n9[244],n9[245],n9[246],n9[247],n9[248],n9[249],n9[250],n9[251],n9[252],n9[253],n9[254],n9[255],n9[256],n9[257],n9[258],n9[259],n9[260],n9[261],n9[262],n9[263],n9[264],n9[265],n9[266],n9[267],n9[268],n9[269],n9[270],n9[271],n9[272],n9[273],n9[274],n9[275],n9[276],n9[277],n9[278],n9[279],n9[280],n9[281],n9[282],n9[283],n9[284],n9[285],n9[286],n9[287],n9[288],n9[289],n9[290],n9[291],n9[292],n9[293],n9[294],n9[295],n9[296],n9[297],n9[298],n9[299],n9[300],n9[301],n9[302],n9[303],n9[304],n9[305],n9[306],n9[307],n9[308],n9[309],n9[310],n9[311],n9[312],n9[313],n9[314],n9[315],n9[316],n9[317],n9[318],n9[319],n9[320],n9[321],n9[322],n9[323],n9[324],n9[325],n9[326],n9[327],n9[328],n9[329],n9[330],n9[331],n9[332],n9[333],n9[334],n9[335],n9[336],n9[337],n9[338],n9[339],n9[340],n9[341],n9[342],n9[343],n9[344],n9[345],n9[346],n9[347],n9[348],n9[349],n9[350],n9[351],n9[352],n9[353],n9[354],n9[355],n9[356],n9[357],n9[358],n9[359],n9[360],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],n7[121],n7[122],n7[123],n7[124],n7[125],n7[126],n7[127],n7[128],n7[129],n7[130],n7[131],n7[132],n7[133],n7[134],n7[135],n7[136],n7[137],n7[138],n7[139],n7[140],n7[141],n7[142],n7[143],n7[144],n7[145],n7[146],n7[147],n7[148],n7[149],n7[150],n7[151],n7[152],n7[153],n7[154],n7[155],n7[156],n7[157],n7[158],n7[159],n7[160],n7[161],n7[162],n7[163],n7[164],n7[165],n7[166],n7[167],n7[168],n7[169],n7[170],n7[171],n7[172],n7[173],n7[174],n7[175],n7[176],n7[177],n7[178],n7[179],n7[180],n7[181],n7[182],n7[183],n7[184],n7[185],n7[186],n7[187],n7[188],n7[189],n7[190],n7[191],n7[192],n7[193],n7[194],n7[195],n7[196],n7[197],n7[198],n7[199],n7[200],n7[201],n7[202],n7[203],n7[204],n7[205],n7[206],n7[207],n7[208],n7[209],n7[210],n7[211],n7[212],n7[213],n7[214],n7[215],n7[216],n7[217],n7[218],n7[219],n7[220],n7[221],n7[222],n7[223],n7[224],n7[225],n7[226],n7[227],n7[228],n7[229],n7[230],n7[231],n7[232],n7[233],n7[234],n7[235],n7[236],n7[237],n7[238],n7[239],n7[240],n7[241],n7[242],n7[243],n7[244],n7[245],n7[246],n7[247],n7[248],n7[249],n7[250],n7[251],n7[252],n7[253],n7[254],n7[255],n7[256],n7[257],n7[258],n7[259],n7[260],n7[261],n7[262],n7[263],n7[264],n7[265],n7[266],n7[267],n7[268],n7[269],n7[270],n7[271],n7[272],n7[273],n7[274],n7[275],n7[276],n7[277],n7[278],n7[279],n7[280],n7[281],n7[282],n7[283],n7[284],n7[285],n7[286],n7[287],n7[288],n7[289],n7[290],n7[291],n7[292],n7[293],n7[294],n7[295],n7[296],n7[297],n7[298],n7[299],n7[300],n7[301],n7[302],n7[303],n7[304],n7[305],n7[306],n7[307],n7[308],n7[309],n7[310],n7[311],n7[312],n7[313],n7[314],n7[315],n7[316],n7[317],n7[318],n7[319],n7[320],n7[321],n7[322],n7[323],n7[324],n7[325],n7[326],n7[327],n7[328],n7[329],n7[330],n7[331],n7[332],n7[333],n7[334],n7[335],n7[336],n7[337],n7[338],n7[339],n7[340],n7[341],n7[342],n7[343],n7[344],n7[345],n7[346],n7[347],n7[348],n7[349],n7[350],n7[351],n7[352],n7[353],n7[354],n7[355],n7[356],n7[357],n7[358],n7[359],n7[360],
May 28, 2015 6:03:16 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 549 ms
May 28, 2015 6:03:18 PM 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], ],[n9[121], n8[121], n7[121], ],[n9[122], n8[122], n7[122], ],[n9[123], n8[123], n7[123], ],[n9[124], n8[124], n7[124], ],[n9[125], n8[125], n7[125], ],[n9[126], n8[126], n7[126], ],[n9[127], n8[127], n7[127], ],[n9[128], n8[128], n7[128], ],[n9[129], n8[129], n7[129], ],[n9[130], n8[130], n7[130], ],[n9[131], n8[131], n7[131], ],[n9[132], n8[132], n7[132], ],[n9[133], n8[133], n7[133], ],[n9[134], n8[134], n7[134], ],[n9[135], n8[135], n7[135], ],[n9[136], n8[136], n7[136], ],[n9[137], n8[137], n7[137], ],[n9[138], n8[138], n7[138], ],[n9[139], n8[139], n7[139], ],[n9[140], n8[140], n7[140], ],[n9[141], n8[141], n7[141], ],[n9[142], n8[142], n7[142], ],[n9[143], n8[143], n7[143], ],[n9[144], n8[144], n7[144], ],[n9[145], n8[145], n7[145], ],[n9[146], n8[146], n7[146], ],[n9[147], n8[147], n7[147], ],[n9[148], n8[148], n7[148], ],[n9[149], n8[149], n7[149], ],[n9[150], n8[150], n7[150], ],[n9[151], n8[151], n7[151], ],[n9[152], n8[152], n7[152], ],[n9[153], n8[153], n7[153], ],[n9[154], n8[154], n7[154], ],[n9[155], n8[155], n7[155], ],[n9[156], n8[156], n7[156], ],[n9[157], n8[157], n7[157], ],[n9[158], n8[158], n7[158], ],[n9[159], n8[159], n7[159], ],[n9[160], n8[160], n7[160], ],[n9[161], n8[161], n7[161], ],[n9[162], n8[162], n7[162], ],[n9[163], n8[163], n7[163], ],[n9[164], n8[164], n7[164], ],[n9[165], n8[165], n7[165], ],[n9[166], n8[166], n7[166], ],[n9[167], n8[167], n7[167], ],[n9[168], n8[168], n7[168], ],[n9[169], n8[169], n7[169], ],[n9[170], n8[170], n7[170], ],[n9[171], n8[171], n7[171], ],[n9[172], n8[172], n7[172], ],[n9[173], n8[173], n7[173], ],[n9[174], n8[174], n7[174], ],[n9[175], n8[175], n7[175], ],[n9[176], n8[176], n7[176], ],[n9[177], n8[177], n7[177], ],[n9[178], n8[178], n7[178], ],[n9[179], n8[179], n7[179], ],[n9[180], n8[180], n7[180], ],[n9[181], n8[181], n7[181], ],[n9[182], n8[182], n7[182], ],[n9[183], n8[183], n7[183], ],[n9[184], n8[184], n7[184], ],[n9[185], n8[185], n7[185], ],[n9[186], n8[186], n7[186], ],[n9[187], n8[187], n7[187], ],[n9[188], n8[188], n7[188], ],[n9[189], n8[189], n7[189], ],[n9[190], n8[190], n7[190], ],[n9[191], n8[191], n7[191], ],[n9[192], n8[192], n7[192], ],[n9[193], n8[193], n7[193], ],[n9[194], n8[194], n7[194], ],[n9[195], n8[195], n7[195], ],[n9[196], n8[196], n7[196], ],[n9[197], n8[197], n7[197], ],[n9[198], n8[198], n7[198], ],[n9[199], n8[199], n7[199], ],[n9[200], n8[200], n7[200], ],[n9[201], n8[201], n7[201], ],[n9[202], n8[202], n7[202], ],[n9[203], n8[203], n7[203], ],[n9[204], n8[204], n7[204], ],[n9[205], n8[205], n7[205], ],[n9[206], n8[206], n7[206], ],[n9[207], n8[207], n7[207], ],[n9[208], n8[208], n7[208], ],[n9[209], n8[209], n7[209], ],[n9[210], n8[210], n7[210], ],[n9[211], n8[211], n7[211], ],[n9[212], n8[212], n7[212], ],[n9[213], n8[213], n7[213], ],[n9[214], n8[214], n7[214], ],[n9[215], n8[215], n7[215], ],[n9[216], n8[216], n7[216], ],[n9[217], n8[217], n7[217], ],[n9[218], n8[218], n7[218], ],[n9[219], n8[219], n7[219], ],[n9[220], n8[220], n7[220], ],[n9[221], n8[221], n7[221], ],[n9[222], n8[222], n7[222], ],[n9[223], n8[223], n7[223], ],[n9[224], n8[224], n7[224], ],[n9[225], n8[225], n7[225], ],[n9[226], n8[226], n7[226], ],[n9[227], n8[227], n7[227], ],[n9[228], n8[228], n7[228], ],[n9[229], n8[229], n7[229], ],[n9[230], n8[230], n7[230], ],[n9[231], n8[231], n7[231], ],[n9[232], n8[232], n7[232], ],[n9[233], n8[233], n7[233], ],[n9[234], n8[234], n7[234], ],[n9[235], n8[235], n7[235], ],[n9[236], n8[236], n7[236], ],[n9[237], n8[237], n7[237], ],[n9[238], n8[238], n7[238], ],[n9[239], n8[239], n7[239], ],[n9[240], n8[240], n7[240], ],[n9[241], n8[241], n7[241], ],[n9[242], n8[242], n7[242], ],[n9[243], n8[243], n7[243], ],[n9[244], n8[244], n7[244], ],[n9[245], n8[245], n7[245], ],[n9[246], n8[246], n7[246], ],[n9[247], n8[247], n7[247], ],[n9[248], n8[248], n7[248], ],[n9[249], n8[249], n7[249], ],[n9[250], n8[250], n7[250], ],[n9[251], n8[251], n7[251], ],[n9[252], n8[252], n7[252], ],[n9[253], n8[253], n7[253], ],[n9[254], n8[254], n7[254], ],[n9[255], n8[255], n7[255], ],[n9[256], n8[256], n7[256], ],[n9[257], n8[257], n7[257], ],[n9[258], n8[258], n7[258], ],[n9[259], n8[259], n7[259], ],[n9[260], n8[260], n7[260], ],[n9[261], n8[261], n7[261], ],[n9[262], n8[262], n7[262], ],[n9[263], n8[263], n7[263], ],[n9[264], n8[264], n7[264], ],[n9[265], n8[265], n7[265], ],[n9[266], n8[266], n7[266], ],[n9[267], n8[267], n7[267], ],[n9[268], n8[268], n7[268], ],[n9[269], n8[269], n7[269], ],[n9[270], n8[270], n7[270], ],[n9[271], n8[271], n7[271], ],[n9[272], n8[272], n7[272], ],[n9[273], n8[273], n7[273], ],[n9[274], n8[274], n7[274], ],[n9[275], n8[275], n7[275], ],[n9[276], n8[276], n7[276], ],[n9[277], n8[277], n7[277], ],[n9[278], n8[278], n7[278], ],[n9[279], n8[279], n7[279], ],[n9[280], n8[280], n7[280], ],[n9[281], n8[281], n7[281], ],[n9[282], n8[282], n7[282], ],[n9[283], n8[283], n7[283], ],[n9[284], n8[284], n7[284], ],[n9[285], n8[285], n7[285], ],[n9[286], n8[286], n7[286], ],[n9[287], n8[287], n7[287], ],[n9[288], n8[288], n7[288], ],[n9[289], n8[289], n7[289], ],[n9[290], n8[290], n7[290], ],[n9[291], n8[291], n7[291], ],[n9[292], n8[292], n7[292], ],[n9[293], n8[293], n7[293], ],[n9[294], n8[294], n7[294], ],[n9[295], n8[295], n7[295], ],[n9[296], n8[296], n7[296], ],[n9[297], n8[297], n7[297], ],[n9[298], n8[298], n7[298], ],[n9[299], n8[299], n7[299], ],[n9[300], n8[300], n7[300], ],[n9[301], n8[301], n7[301], ],[n9[302], n8[302], n7[302], ],[n9[303], n8[303], n7[303], ],[n9[304], n8[304], n7[304], ],[n9[305], n8[305], n7[305], ],[n9[306], n8[306], n7[306], ],[n9[307], n8[307], n7[307], ],[n9[308], n8[308], n7[308], ],[n9[309], n8[309], n7[309], ],[n9[310], n8[310], n7[310], ],[n9[311], n8[311], n7[311], ],[n9[312], n8[312], n7[312], ],[n9[313], n8[313], n7[313], ],[n9[314], n8[314], n7[314], ],[n9[315], n8[315], n7[315], ],[n9[316], n8[316], n7[316], ],[n9[317], n8[317], n7[317], ],[n9[318], n8[318], n7[318], ],[n9[319], n8[319], n7[319], ],[n9[320], n8[320], n7[320], ],[n9[321], n8[321], n7[321], ],[n9[322], n8[322], n7[322], ],[n9[323], n8[323], n7[323], ],[n9[324], n8[324], n7[324], ],[n9[325], n8[325], n7[325], ],[n9[326], n8[326], n7[326], ],[n9[327], n8[327], n7[327], ],[n9[328], n8[328], n7[328], ],[n9[329], n8[329], n7[329], ],[n9[330], n8[330], n7[330], ],[n9[331], n8[331], n7[331], ],[n9[332], n8[332], n7[332], ],[n9[333], n8[333], n7[333], ],[n9[334], n8[334], n7[334], ],[n9[335], n8[335], n7[335], ],[n9[336], n8[336], n7[336], ],[n9[337], n8[337], n7[337], ],[n9[338], n8[338], n7[338], ],[n9[339], n8[339], n7[339], ],[n9[340], n8[340], n7[340], ],[n9[341], n8[341], n7[341], ],[n9[342], n8[342], n7[342], ],[n9[343], n8[343], n7[343], ],[n9[344], n8[344], n7[344], ],[n9[345], n8[345], n7[345], ],[n9[346], n8[346], n7[346], ],[n9[347], n8[347], n7[347], ],[n9[348], n8[348], n7[348], ],[n9[349], n8[349], n7[349], ],[n9[350], n8[350], n7[350], ],[n9[351], n8[351], n7[351], ],[n9[352], n8[352], n7[352], ],[n9[353], n8[353], n7[353], ],[n9[354], n8[354], n7[354], ],[n9[355], n8[355], n7[355], ],[n9[356], n8[356], n7[356], ],[n9[357], n8[357], n7[357], ],[n9[358], n8[358], n7[358], ],[n9[359], n8[359], n7[359], ],[n9[360], n8[360], n7[360], ],[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], ],[n6[11], n5[11], n4[11], n3[11], n2[11], n1[11], c1[11], Cstart[11], Sstart[11], s2[11], s3[11], s4[11], s5[11], s6[11], SstopOK[11], CstopOK[11], ],[n6[12], n5[12], n4[12], n3[12], n2[12], n1[12], c1[12], Cstart[12], Sstart[12], s2[12], s3[12], s4[12], s5[12], s6[12], SstopOK[12], CstopOK[12], ],[n6[13], n5[13], n4[13], n3[13], n2[13], n1[13], c1[13], Cstart[13], Sstart[13], s2[13], s3[13], s4[13], s5[13], s6[13], SstopOK[13], CstopOK[13], ],[n6[14], n5[14], n4[14], n3[14], n2[14], n1[14], c1[14], Cstart[14], Sstart[14], s2[14], s3[14], s4[14], s5[14], s6[14], SstopOK[14], CstopOK[14], ],[n6[15], n5[15], n4[15], n3[15], n2[15], n1[15], c1[15], Cstart[15], Sstart[15], s2[15], s3[15], s4[15], s5[15], s6[15], SstopOK[15], CstopOK[15], ],[n6[16], n5[16], n4[16], n3[16], n2[16], n1[16], c1[16], Cstart[16], Sstart[16], s2[16], s3[16], s4[16], s5[16], s6[16], SstopOK[16], CstopOK[16], ],[n6[17], n5[17], n4[17], n3[17], n2[17], n1[17], c1[17], Cstart[17], Sstart[17], s2[17], s3[17], s4[17], s5[17], s6[17], SstopOK[17], CstopOK[17], ],[n6[18], n5[18], n4[18], n3[18], n2[18], n1[18], c1[18], Cstart[18], Sstart[18], s2[18], s3[18], s4[18], s5[18], s6[18], SstopOK[18], CstopOK[18], ],

May 28, 2015 6:03:18 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n9 to variables to allow decomposition.
May 28, 2015 6:03:18 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n8 to variables to allow decomposition.
May 28, 2015 6:03:21 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n7 to variables to allow decomposition.
May 28, 2015 6:03:21 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n6 to variables to allow decomposition.
May 28, 2015 6:03:23 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n5 to variables to allow decomposition.
May 28, 2015 6:03:23 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n4 to variables to allow decomposition.
May 28, 2015 6:03:23 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n3 to variables to allow decomposition.
May 28, 2015 6:03:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n2 to variables to allow decomposition.
May 28, 2015 6:03:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array n1 to variables to allow decomposition.
May 28, 2015 6:03:24 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array c1 to variables to allow decomposition.
May 28, 2015 6:03:26 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array Cstart to variables to allow decomposition.
May 28, 2015 6:03:26 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array Sstart to variables to allow decomposition.
May 28, 2015 6:03:26 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array s2 to variables to allow decomposition.
May 28, 2015 6:03:26 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array s3 to variables to allow decomposition.
May 28, 2015 6:03:26 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array s4 to variables to allow decomposition.
May 28, 2015 6:03:26 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array s5 to variables to allow decomposition.
May 28, 2015 6:03:26 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array s6 to variables to allow decomposition.
May 28, 2015 6:03:26 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array SstopOK to variables to allow decomposition.
May 28, 2015 6:03:26 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array CstopOK to variables to allow decomposition.
May 28, 2015 6:03:27 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 1026 fixed domain variables (out of 1398 variables)

May 28, 2015 6:03:27 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 1026 constant array cells/variables (out of 1398 variables)
n9_195,n9_240,n7_54,n7_358,n9_48,n7_279,n9_324,n9_138,n9_93,n8_261,n7_149,n7_267,n8_276,n9_59,n8_280,n9_218,n8_259,n7_328,n8_324,n9_272,n7_248,n8_338,n9_120,n8_325,n8_160,n7_233,n9_267,n9_329,n7_44,n9_223,n9_245,n9_20,n8_272,n9_318,n7_148,n9_101,n9_131,n9_181,n7_104,n8_321,n7_169,n9_146,n8_54,n9_266,n7_224,n7_80,n8_121,n9_203,n7_171,n9_40,n8_99,n8_345,n9_213,n9_143,n8_82,n7_45,n7_25,n7_108,n9_140,n7_62,n7_166,n8_344,n7_30,n7_218,n7_296,n9_133,n8_241,n8_47,n7_21,n7_186,n9_134,n7_196,n9_27,n9_167,n8_202,n9_99,n8_317,n7_163,n8_232,n7_61,n8_239,n7_52,n7_92,n9_191,n8_328,n9_72,n7_355,n7_121,n7_322,n8_59,n8_149,n8_335,n7_82,n7_63,n7_331,n7_270,n9_344,n8_309,n7_89,n8_189,n9_275,n9_78,n8_296,n9_278,n9_252,n8_199,n7_124,n7_243,n8_216,n8_101,n9_256,n9_113,n9_297,n7_234,n8_103,n8_220,n8_310,n7_221,n8_36,n8_196,n7_156,n7_27,n9_41,n9_161,n7_161,n9_28,n8_266,n7_261,n8_20,n9_354,n8_162,n7_205,n9_352,n8_95,n8_229,n7_26,n9_349,n8_123,n9_215,n7_180,n7_348,n8_71,n7_147,n9_199,n9_56,n7_150,n8_245,n7_191,n7_56,n7_318,n8_192,n9_190,n8_178,n8_191,n7_297,n9_82,n8_295,n8_73,n8_91,n9_208,n8_208,n8_297,n9_230,n7_126,n9_182,n8_153,n9_276,n9_122,n9_317,n9_63,n7_300,n8_24,n8_194,n8_348,n8_306,n9_321,n9_71,n7_134,n7_260,n7_343,n7_304,n9_155,n8_100,n7_190,n7_246,n9_68,n7_251,n9_74,n8_179,n7_294,n7_135,n8_38,n7_136,n9_185,n9_87,n8_289,n9_271,n7_113,n9_348,n9_163,n8_340,n7_208,n9_137,n8_285,n7_29,n7_194,n7_154,n7_231,n9_279,n8_119,n8_75,n7_349,n7_240,n7_237,n8_301,n8_141,n9_81,n8_281,n8_247,n8_315,n7_48,n8_212,n7_273,n7_276,n9_177,n7_235,n8_56,n9_333,n8_177,n7_83,n7_195,n9_114,n8_34,n9_75,n7_323,n9_339,n8_125,n8_332,n7_197,n7_60,n8_98,n7_85,n8_107,n7_66,n9_86,n7_164,n7_262,n8_243,n7_242,n8_124,n9_49,n7_212,n7_337,n9_219,n8_195,n8_120,n7_258,n8_254,n8_256,n8_19,n9_343,n8_322,n7_307,n7_333,n7_118,n7_334,n9_151,n9_350,n8_60,n9_270,n8_227,n8_356,n8_312,n7_202,n9_291,n7_76,n8_257,n7_292,n9_173,n9_274,n7_132,n8_251,n7_91,n7_236,n9_247,n7_78,n9_222,n9_214,n7_58,n7_316,n9_283,n7_271,n9_358,n7_319,n7_97,n7_70,n8_84,n7_114,n8_320,n9_353,n7_177,n9_338,n8_268,n7_327,n8_41,n8_143,n9_171,n7_107,n9_260,n9_45,n9_112,n9_248,n7_51,n9_231,n9_106,n9_300,n8_23,n7_90,n8_112,n8_235,n9_301,n8_319,n7_230,n9_104,n7_350,n9_42,n7_339,n7_272,n9_109,n7_299,n8_35,n9_64,n9_69,n8_46,n8_253,n8_201,n7_209,n8_139,n8_274,n7_210,n9_88,n8_210,n8_287,n8_263,n9_325,n9_202,n8_72,n7_175,n7_179,n8_264,n8_300,n8_21,n9_34,n9_305,n7_49,n9_236,n8_171,n7_228,n8_224,n7_117,n7_109,n9_323,n8_81,n7_222,n7_252,n9_243,n8_314,n9_298,n8_115,n7_162,n9_355,n8_292,n9_328,n7_59,n7_239,n8_58,n8_211,n8_339,n8_349,n9_115,n9_337,n7_359,n8_135,n7_310,n8_205,n7_34,n9_233,n9_127,n8_108,n9_308,n7_288,n9_128,n8_358,n7_77,n8_351,n9_85,n8_161,n9_73,n7_173,n8_222,n9_310,n8_311,n9_201,n9_36,n8_69,n7_39,n9_70,n9_117,n7_86,n9_62,n7_127,n8_44,n9_119,n7_176,n7_269,n8_145,n9_65,n9_142,n7_346,n9_251,n9_257,n9_261,n8_223,n9_289,n9_160,n7_226,n9_294,n9_347,n9_227,n7_158,n7_268,n8_45,n9_89,n9_180,n7_309,n9_147,n7_193,n8_270,n9_184,n9_22,n8_33,n8_110,n7_57,n7_115,n9_174,n7_69,n8_234,n9_92,n8_238,n8_166,n8_57,n7_88,n9_295,n8_126,n8_175,n7_317,n7_198,n8_244,n9_186,n9_242,n9_211,n8_333,n7_47,n7_24,n7_259,n9_168,n9_200,n8_207,n8_233,n7_330,n9_205,n9_95,n7_138,n7_311,n8_97,n9_130,n9_58,n9_108,n8_252,n9_100,n8_341,n8_80,n9_30,n9_322,n7_229,n7_245,n8_240,n7_37,n7_256,n8_62,n7_145,n9_285,n7_341,n9_204,n7_354,n8_63,n8_104,n8_74,n8_246,n9_77,n9_315,n7_356,n9_37,n9_277,n9_194,n8_284,n8_303,n8_157,n9_172,n8_271,n8_142,n7_75,n7_336,n9_157,n9_192,n9_196,n9_197,n7_137,n7_283,n7_263,n7_360,n9_98,n8_28,n8_43,n8_131,n8_170,n9_313,n7_192,n9_94,n8_219,n8_93,n8_217,n7_94,n8_181,n9_124,n7_306,n8_32,n9_249,n7_254,n7_321,n7_187,n8_262,n9_296,n8_174,n9_178,n8_83,n7_250,n9_238,n7_290,n9_35,n9_226,n8_294,n7_28,n9_217,n7_172,n9_158,n8_193,n7_216,n9_221,n9_123,n9_342,n8_122,n8_305,n9_330,n9_357,n7_141,n8_231,n7_184,n9_139,n9_67,n7_170,n8_169,n7_308,n8_106,n9_309,n8_134,n7_274,n8_184,n8_334,n8_114,n9_332,n9_61,n8_197,n8_85,n9_189,n9_220,n7_325,n9_340,n7_23,n9_359,n7_123,n9_269,n8_249,n9_111,n7_278,n7_249,n7_131,n9_102,n9_84,n9_360,n8_282,n8_138,n7_153,n7_223,n9_284,n9_38,n8_140,n7_36,n9_159,n8_129,n8_286,n9_83,n8_25,n7_287,n8_111,n9_90,n8_279,n8_283,n7_206,n8_226,n8_278,n7_342,n9_314,n8_304,n9_303,n8_355,n7_46,n7_329,n7_87,n7_157,n7_264,n8_269,n9_287,n9_166,n8_188,n8_360,n7_142,n9_53,n7_303,n9_326,n9_239,n9_107,n7_32,n7_214,n8_31,n8_127,n8_163,n8_165,n9_135,n7_227,n8_359,n9_162,n9_244,n7_144,n9_254,n9_165,n9_341,n8_357,n7_305,n9_110,n7_140,n8_354,n7_129,n8_260,n8_206,n8_337,n8_316,n9_183,n7_257,n9_304,n7_22,n8_86,n9_253,n7_332,n8_150,n8_302,n7_106,n8_30,n9_268,n8_329,n8_172,n7_159,n8_109,n9_105,n8_350,n9_258,n9_228,n7_188,n7_225,n9_290,n7_213,n9_50,n8_22,n9_121,n8_48,n7_151,n9_33,n9_193,n8_26,n8_94,n8_90,n7_160,n8_159,n7_95,n7_71,n8_275,n7_324,n7_315,n9_319,n8_265,n9_280,n8_230,n8_323,n7_241,n7_174,n7_219,n7_353,n8_116,n7_201,n8_258,n8_200,n7_155,n9_26,n8_291,n8_326,n8_39,n7_182,n7_238,n7_281,n9_273,n8_105,n7_35,n8_61,n8_176,n7_122,n7_280,n7_79,n9_259,n9_51,n9_91,n8_347,n7_112,n9_156,n7_255,n9_126,n8_336,n8_204,n8_29,n9_29,n9_60,n9_210,n9_212,n7_244,n8_180,n8_343,n9_154,n9_176,n8_288,n8_49,n8_130,n8_353,n7_50,n7_55,n9_209,n7_167,n7_98,n7_178,n8_70,n7_345,n9_170,n8_255,n9_346,n9_312,n7_289,n8_185,n9_125,n9_246,n8_64,n8_76,n9_132,n8_221,n7_72,n9_234,n7_338,n8_50,n8_250,n7_352,n8_190,n8_225,n7_265,n7_351,n9_175,n9_264,n8_42,n9_235,n7_74,n9_187,n8_51,n7_185,n7_200,n7_313,n9_149,n8_186,n7_119,n9_334,n8_156,n9_136,n9_150,n7_81,n8_158,n7_125,n7_139,n8_214,n8_167,n8_77,n9_241,n8_92,n7_183,n8_65,n8_168,n8_293,n9_281,n7_33,n7_143,n7_320,n9_351,n7_285,n7_40,n7_232,n9_97,n9_320,n9_46,n7_120,n8_273,n7_215,n9_265,n7_312,n9_39,n9_145,n8_88,n7_64,n9_232,n9_282,n8_53,n9_19,n9_262,n8_55,n9_293,n7_189,n7_282,n9_225,n8_68,n9_327,n9_206,n8_27,n7_277,n7_266,n8_89,n8_79,n9_79,n9_307,n9_144,n8_113,n9_224,n8_313,n8_308,n8_102,n8_331,n8_40,n9_164,n8_248,n9_179,n7_20,n7_31,n7_116,n7_295,n9_141,n7_103,n9_96,n7_247,n9_345,n8_346,n7_53,n8_164,n8_117,n8_151,n9_47,n9_286,n8_213,n7_73,n9_250,n8_182,n7_314,n8_203,n8_307,n7_41,n7_130,n9_356,n8_327,n8_152,n7_101,n9_21,n9_23,n9_288,n8_128,n7_110,n8_148,n7_102,n9_103,n7_199,n7_207,n9_255,n8_228,n7_220,n8_67,n7_253,n9_57,n8_146,n7_298,n9_316,n7_65,n9_292,n9_216,n8_66,n8_299,n7_96,n7_165,n9_263,n8_218,n9_43,n7_93,n7_286,n7_340,n8_330,n8_136,n9_54,n8_173,n8_237,n7_335,n9_52,n7_128,n7_344,n8_236,n7_42,n8_144,n9_299,n9_311,n9_153,n7_217,n7_84,n9_331,n7_133,n7_152,n8_342,n7_146,n7_43,n7_302,n9_306,n8_96,n9_169,n8_52,n8_318,n8_187,n8_352,n8_242,n9_237,n7_181,n7_357,n9_24,n9_207,n9_336,n7_203,n7_291,n9_198,n9_148,n9_118,n8_155,n8_198,n9_55,n7_67,n7_68,n9_302,n8_147,n8_78,n9_76,n8_132,n7_204,n7_211,n7_301,n8_209,n9_31,n9_116,n9_66,n9_44,n9_152,n7_99,n8_37,n8_87,n7_38,n7_275,n8_267,n7_19,n8_298,n7_168,n7_284,n8_154,n8_277,n9_188,n7_326,n7_100,n8_137,n7_347,n8_118,n7_111,n7_293,n8_290,n9_32,n7_105,n8_183,n9_80,n9_25,n9_229,n8_215,n9_335,n8_133,n9_129,
May 28, 2015 6:03:27 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 3 fixed domain variables (out of 3 variables)

May 28, 2015 6:03:27 PM fr.lip6.move.gal.instantiate.Simplifier simplifyConstantVariables
INFO: Found a total of 3 constant array cells/variables (out of 3 variables)
n7_19,n9_19,n8_19,

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="QuasiCertifProtocol-COL-18"
export BK_EXAMINATION="ReachabilityFireability"
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/QuasiCertifProtocol-COL-18.tgz
mv QuasiCertifProtocol-COL-18 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 QuasiCertifProtocol-COL-18, examination is ReachabilityFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r075kn-ebro-143262772700805"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityFireability" = "ReachabilityComputeBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityFireability" != "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 "ReachabilityFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityFireability.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 '' ReachabilityFireability.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 ;