About the Execution of Spot for Referendum-COL-0500
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
269.910 | 16235.00 | 15551.00 | 572.40 | [undef] | Cannot compute |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-3254
Executing tool spot
Input is Referendum-COL-0500, examination is LTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r206-smll-149581169600104
=====================================================================
--------------------
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 Referendum-COL-0500-LTLCardinality-0
FORMULA_NAME Referendum-COL-0500-LTLCardinality-1
FORMULA_NAME Referendum-COL-0500-LTLCardinality-10
FORMULA_NAME Referendum-COL-0500-LTLCardinality-11
FORMULA_NAME Referendum-COL-0500-LTLCardinality-12
FORMULA_NAME Referendum-COL-0500-LTLCardinality-13
FORMULA_NAME Referendum-COL-0500-LTLCardinality-14
FORMULA_NAME Referendum-COL-0500-LTLCardinality-15
FORMULA_NAME Referendum-COL-0500-LTLCardinality-2
FORMULA_NAME Referendum-COL-0500-LTLCardinality-3
FORMULA_NAME Referendum-COL-0500-LTLCardinality-4
FORMULA_NAME Referendum-COL-0500-LTLCardinality-5
FORMULA_NAME Referendum-COL-0500-LTLCardinality-6
FORMULA_NAME Referendum-COL-0500-LTLCardinality-7
FORMULA_NAME Referendum-COL-0500-LTLCardinality-8
FORMULA_NAME Referendum-COL-0500-LTLCardinality-9
=== Now, execution of the tool begins
BK_START 1496175961170
Built models for command :
CommandLine [args=[/home/mcc/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201704071458/bin/its-ltl-linux64, --gc-threshold, 2000000, -i, /home/mcc/BenchKit/INPUTS/Referendum-COL-0500/LTLCardinality.gal, -t, CGAL, -LTL, /home/mcc/BenchKit/INPUTS/Referendum-COL-0500/LTLCardinality.ltl, -c, -stutter-deadlock], workingDir=/home/mcc/BenchKit/INPUTS/Referendum-COL-0500]
gal2c command run as :
/home/mcc/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/gal2c /home/mcc/BenchKit/INPUTS/Referendum-COL-0500/LTLCardinality.gal
BK_STOP 1496175977405
--------------------
content from stderr:
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -XX:MaxPermSize=512m -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/BenchKit/INPUTS/Referendum-COL-0500 -examination LTLCardinality -z3path /home/mcc/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/z3/bin/z3 -yices2path /home/mcc/ITSTools/pnmcc/fr.lip6.move.gal.benchmark/yices/bin/yices -onlyGal
OpenJDK 64-Bit Server VM warning: ignoring option MaxPermSize=512m; support was removed in 8.0
May 30, 2017 8:26:05 PM fr.lip6.move.gal.application.Application transformPNML
INFO: Parsing pnml file : /home/mcc/BenchKit/INPUTS/Referendum-COL-0500/model.pnml
May 30, 2017 8:26:05 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 30, 2017 8:26:07 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 2220 ms
May 30, 2017 8:26:07 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 4 places.
May 30, 2017 8:26:07 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: read order :VarOrder [vars=[ready[0], voted_no[0], voted_no[1], voted_no[2], voted_no[3], voted_no[4], voted_no[5], voted_no[6], voted_no[7], voted_no[8], voted_no[9], voted_no[10], voted_no[11], voted_no[12], voted_no[13], voted_no[14], voted_no[15], voted_no[16], voted_no[17], voted_no[18], voted_no[19], voted_no[20], voted_no[21], voted_no[22], voted_no[23], voted_no[24], voted_no[25], voted_no[26], voted_no[27], voted_no[28], voted_no[29], voted_no[30], voted_no[31], voted_no[32], voted_no[33], voted_no[34], voted_no[35], voted_no[36], voted_no[37], voted_no[38], voted_no[39], voted_no[40], voted_no[41], voted_no[42], voted_no[43], voted_no[44], voted_no[45], voted_no[46], voted_no[47], voted_no[48], voted_no[49], voted_no[50], voted_no[51], voted_no[52], voted_no[53], voted_no[54], voted_no[55], voted_no[56], voted_no[57], voted_no[58], voted_no[59], voted_no[60], voted_no[61], voted_no[62], voted_no[63], voted_no[64], voted_no[65], voted_no[66], voted_no[67], voted_no[68], voted_no[69], voted_no[70], voted_no[71], voted_no[72], voted_no[73], voted_no[74], voted_no[75], voted_no[76], voted_no[77], voted_no[78], voted_no[79], voted_no[80], voted_no[81], voted_no[82], voted_no[83], voted_no[84], voted_no[85], voted_no[86], voted_no[87], voted_no[88], voted_no[89], voted_no[90], voted_no[91], voted_no[92], voted_no[93], voted_no[94], voted_no[95], voted_no[96], voted_no[97], voted_no[98], voted_no[99], voted_no[100], voted_no[101], voted_no[102], voted_no[103], voted_no[104], voted_no[105], voted_no[106], voted_no[107], voted_no[108], voted_no[109], voted_no[110], voted_no[111], voted_no[112], voted_no[113], voted_no[114], voted_no[115], voted_no[116], voted_no[117], voted_no[118], voted_no[119], voted_no[120], voted_no[121], voted_no[122], voted_no[123], voted_no[124], voted_no[125], voted_no[126], voted_no[127], voted_no[128], voted_no[129], voted_no[130], voted_no[131], voted_no[132], voted_no[133], voted_no[134], voted_no[135], voted_no[136], voted_no[137], voted_no[138], voted_no[139], voted_no[140], voted_no[141], voted_no[142], voted_no[143], voted_no[144], voted_no[145], voted_no[146], voted_no[147], voted_no[148], voted_no[149], voted_no[150], voted_no[151], voted_no[152], voted_no[153], voted_no[154], voted_no[155], voted_no[156], voted_no[157], voted_no[158], voted_no[159], voted_no[160], voted_no[161], voted_no[162], voted_no[163], voted_no[164], voted_no[165], voted_no[166], voted_no[167], voted_no[168], voted_no[169], voted_no[170], voted_no[171], voted_no[172], voted_no[173], voted_no[174], voted_no[175], voted_no[176], voted_no[177], voted_no[178], voted_no[179], voted_no[180], voted_no[181], voted_no[182], voted_no[183], voted_no[184], voted_no[185], voted_no[186], voted_no[187], voted_no[188], voted_no[189], voted_no[190], voted_no[191], voted_no[192], voted_no[193], voted_no[194], voted_no[195], voted_no[196], voted_no[197], voted_no[198], voted_no[199], voted_no[200], voted_no[201], voted_no[202], voted_no[203], voted_no[204], voted_no[205], voted_no[206], voted_no[207], voted_no[208], voted_no[209], voted_no[210], voted_no[211], voted_no[212], voted_no[213], voted_no[214], voted_no[215], voted_no[216], voted_no[217], voted_no[218], voted_no[219], voted_no[220], voted_no[221], voted_no[222], voted_no[223], voted_no[224], voted_no[225], voted_no[226], voted_no[227], voted_no[228], voted_no[229], voted_no[230], voted_no[231], voted_no[232], voted_no[233], voted_no[234], voted_no[235], voted_no[236], voted_no[237], voted_no[238], voted_no[239], voted_no[240], voted_no[241], voted_no[242], voted_no[243], voted_no[244], voted_no[245], voted_no[246], voted_no[247], voted_no[248], voted_no[249], voted_no[250], voted_no[251], voted_no[252], voted_no[253], voted_no[254], voted_no[255], voted_no[256], voted_no[257], voted_no[258], voted_no[259], voted_no[260], voted_no[261], voted_no[262], voted_no[263], voted_no[264], voted_no[265], voted_no[266], voted_no[267], voted_no[268], voted_no[269], voted_no[270], voted_no[271], voted_no[272], voted_no[273], voted_no[274], voted_no[275], voted_no[276], voted_no[277], voted_no[278], voted_no[279], voted_no[280], voted_no[281], voted_no[282], voted_no[283], voted_no[284], voted_no[285], voted_no[286], voted_no[287], voted_no[288], voted_no[289], voted_no[290], voted_no[291], voted_no[292], voted_no[293], voted_no[294], voted_no[295], voted_no[296], voted_no[297], voted_no[298], voted_no[299], voted_no[300], voted_no[301], voted_no[302], voted_no[303], voted_no[304], voted_no[305], voted_no[306], voted_no[307], voted_no[308], voted_no[309], voted_no[310], voted_no[311], voted_no[312], voted_no[313], voted_no[314], voted_no[315], voted_no[316], voted_no[317], voted_no[318], voted_no[319], voted_no[320], voted_no[321], voted_no[322], voted_no[323], voted_no[324], voted_no[325], voted_no[326], voted_no[327], voted_no[328], voted_no[329], voted_no[330], voted_no[331], voted_no[332], voted_no[333], voted_no[334], voted_no[335], voted_no[336], voted_no[337], voted_no[338], voted_no[339], voted_no[340], voted_no[341], voted_no[342], voted_no[343], voted_no[344], voted_no[345], voted_no[346], voted_no[347], voted_no[348], voted_no[349], voted_no[350], voted_no[351], voted_no[352], voted_no[353], voted_no[354], voted_no[355], voted_no[356], voted_no[357], voted_no[358], voted_no[359], voted_no[360], voted_no[361], voted_no[362], voted_no[363], voted_no[364], voted_no[365], voted_no[366], voted_no[367], voted_no[368], voted_no[369], voted_no[370], voted_no[371], voted_no[372], voted_no[373], voted_no[374], voted_no[375], voted_no[376], voted_no[377], voted_no[378], voted_no[379], voted_no[380], voted_no[381], voted_no[382], voted_no[383], voted_no[384], voted_no[385], voted_no[386], voted_no[387], voted_no[388], voted_no[389], voted_no[390], voted_no[391], voted_no[392], voted_no[393], voted_no[394], voted_no[395], voted_no[396], voted_no[397], voted_no[398], voted_no[399], voted_no[400], voted_no[401], voted_no[402], voted_no[403], voted_no[404], voted_no[405], voted_no[406], voted_no[407], voted_no[408], voted_no[409], voted_no[410], voted_no[411], voted_no[412], voted_no[413], voted_no[414], voted_no[415], voted_no[416], voted_no[417], voted_no[418], voted_no[419], voted_no[420], voted_no[421], voted_no[422], voted_no[423], voted_no[424], voted_no[425], voted_no[426], voted_no[427], voted_no[428], voted_no[429], voted_no[430], voted_no[431], voted_no[432], voted_no[433], voted_no[434], voted_no[435], voted_no[436], voted_no[437], voted_no[438], voted_no[439], voted_no[440], voted_no[441], voted_no[442], voted_no[443], voted_no[444], voted_no[445], voted_no[446], voted_no[447], voted_no[448], voted_no[449], voted_no[450], voted_no[451], voted_no[452], voted_no[453], voted_no[454], voted_no[455], voted_no[456], voted_no[457], voted_no[458], voted_no[459], voted_no[460], voted_no[461], voted_no[462], voted_no[463], voted_no[464], voted_no[465], voted_no[466], voted_no[467], voted_no[468], voted_no[469], voted_no[470], voted_no[471], voted_no[472], voted_no[473], voted_no[474], voted_no[475], voted_no[476], voted_no[477], voted_no[478], voted_no[479], voted_no[480], voted_no[481], voted_no[482], voted_no[483], voted_no[484], voted_no[485], voted_no[486], voted_no[487], voted_no[488], voted_no[489], voted_no[490], voted_no[491], voted_no[492], voted_no[493], voted_no[494], voted_no[495], voted_no[496], voted_no[497], voted_no[498], voted_no[499], voted_yes[0], voted_yes[1], voted_yes[2], voted_yes[3], voted_yes[4], voted_yes[5], voted_yes[6], voted_yes[7], voted_yes[8], voted_yes[9], voted_yes[10], voted_yes[11], voted_yes[12], voted_yes[13], voted_yes[14], voted_yes[15], voted_yes[16], voted_yes[17], voted_yes[18], voted_yes[19], voted_yes[20], voted_yes[21], voted_yes[22], voted_yes[23], voted_yes[24], voted_yes[25], voted_yes[26], voted_yes[27], voted_yes[28], voted_yes[29], voted_yes[30], voted_yes[31], voted_yes[32], voted_yes[33], voted_yes[34], voted_yes[35], voted_yes[36], voted_yes[37], voted_yes[38], voted_yes[39], voted_yes[40], voted_yes[41], voted_yes[42], voted_yes[43], voted_yes[44], voted_yes[45], voted_yes[46], voted_yes[47], voted_yes[48], voted_yes[49], voted_yes[50], voted_yes[51], voted_yes[52], voted_yes[53], voted_yes[54], voted_yes[55], voted_yes[56], voted_yes[57], voted_yes[58], voted_yes[59], voted_yes[60], voted_yes[61], voted_yes[62], voted_yes[63], voted_yes[64], voted_yes[65], voted_yes[66], voted_yes[67], voted_yes[68], voted_yes[69], voted_yes[70], voted_yes[71], voted_yes[72], voted_yes[73], voted_yes[74], voted_yes[75], voted_yes[76], voted_yes[77], voted_yes[78], voted_yes[79], voted_yes[80], voted_yes[81], voted_yes[82], voted_yes[83], voted_yes[84], voted_yes[85], voted_yes[86], voted_yes[87], voted_yes[88], voted_yes[89], voted_yes[90], voted_yes[91], voted_yes[92], voted_yes[93], voted_yes[94], voted_yes[95], voted_yes[96], voted_yes[97], voted_yes[98], voted_yes[99], voted_yes[100], voted_yes[101], voted_yes[102], voted_yes[103], voted_yes[104], voted_yes[105], voted_yes[106], voted_yes[107], voted_yes[108], voted_yes[109], voted_yes[110], voted_yes[111], voted_yes[112], voted_yes[113], voted_yes[114], voted_yes[115], voted_yes[116], voted_yes[117], voted_yes[118], voted_yes[119], voted_yes[120], voted_yes[121], voted_yes[122], voted_yes[123], voted_yes[124], voted_yes[125], voted_yes[126], voted_yes[127], voted_yes[128], voted_yes[129], voted_yes[130], voted_yes[131], voted_yes[132], voted_yes[133], voted_yes[134], voted_yes[135], voted_yes[136], voted_yes[137], voted_yes[138], voted_yes[139], voted_yes[140], voted_yes[141], voted_yes[142], voted_yes[143], voted_yes[144], voted_yes[145], voted_yes[146], voted_yes[147], voted_yes[148], voted_yes[149], voted_yes[150], voted_yes[151], voted_yes[152], voted_yes[153], voted_yes[154], voted_yes[155], voted_yes[156], voted_yes[157], voted_yes[158], voted_yes[159], voted_yes[160], voted_yes[161], voted_yes[162], voted_yes[163], voted_yes[164], voted_yes[165], voted_yes[166], voted_yes[167], voted_yes[168], voted_yes[169], voted_yes[170], voted_yes[171], voted_yes[172], voted_yes[173], voted_yes[174], voted_yes[175], voted_yes[176], voted_yes[177], voted_yes[178], voted_yes[179], voted_yes[180], voted_yes[181], voted_yes[182], voted_yes[183], voted_yes[184], voted_yes[185], voted_yes[186], voted_yes[187], voted_yes[188], voted_yes[189], voted_yes[190], voted_yes[191], voted_yes[192], voted_yes[193], voted_yes[194], voted_yes[195], voted_yes[196], voted_yes[197], voted_yes[198], voted_yes[199], voted_yes[200], voted_yes[201], voted_yes[202], voted_yes[203], voted_yes[204], voted_yes[205], voted_yes[206], voted_yes[207], voted_yes[208], voted_yes[209], voted_yes[210], voted_yes[211], voted_yes[212], voted_yes[213], voted_yes[214], voted_yes[215], voted_yes[216], voted_yes[217], voted_yes[218], voted_yes[219], voted_yes[220], voted_yes[221], voted_yes[222], voted_yes[223], voted_yes[224], voted_yes[225], voted_yes[226], voted_yes[227], voted_yes[228], voted_yes[229], voted_yes[230], voted_yes[231], voted_yes[232], voted_yes[233], voted_yes[234], voted_yes[235], voted_yes[236], voted_yes[237], voted_yes[238], voted_yes[239], voted_yes[240], voted_yes[241], voted_yes[242], voted_yes[243], voted_yes[244], voted_yes[245], voted_yes[246], voted_yes[247], voted_yes[248], voted_yes[249], voted_yes[250], voted_yes[251], voted_yes[252], voted_yes[253], voted_yes[254], voted_yes[255], voted_yes[256], voted_yes[257], voted_yes[258], voted_yes[259], voted_yes[260], voted_yes[261], voted_yes[262], voted_yes[263], voted_yes[264], voted_yes[265], voted_yes[266], voted_yes[267], voted_yes[268], voted_yes[269], voted_yes[270], voted_yes[271], voted_yes[272], voted_yes[273], voted_yes[274], voted_yes[275], voted_yes[276], voted_yes[277], voted_yes[278], voted_yes[279], voted_yes[280], voted_yes[281], voted_yes[282], voted_yes[283], voted_yes[284], voted_yes[285], voted_yes[286], voted_yes[287], voted_yes[288], voted_yes[289], voted_yes[290], voted_yes[291], voted_yes[292], voted_yes[293], voted_yes[294], voted_yes[295], voted_yes[296], voted_yes[297], voted_yes[298], voted_yes[299], voted_yes[300], voted_yes[301], voted_yes[302], voted_yes[303], voted_yes[304], voted_yes[305], voted_yes[306], voted_yes[307], voted_yes[308], voted_yes[309], voted_yes[310], voted_yes[311], voted_yes[312], voted_yes[313], voted_yes[314], voted_yes[315], voted_yes[316], voted_yes[317], voted_yes[318], voted_yes[319], voted_yes[320], voted_yes[321], voted_yes[322], voted_yes[323], voted_yes[324], voted_yes[325], voted_yes[326], voted_yes[327], voted_yes[328], voted_yes[329], voted_yes[330], voted_yes[331], voted_yes[332], voted_yes[333], voted_yes[334], voted_yes[335], voted_yes[336], voted_yes[337], voted_yes[338], voted_yes[339], voted_yes[340], voted_yes[341], voted_yes[342], voted_yes[343], voted_yes[344], voted_yes[345], voted_yes[346], voted_yes[347], voted_yes[348], voted_yes[349], voted_yes[350], voted_yes[351], voted_yes[352], voted_yes[353], voted_yes[354], voted_yes[355], voted_yes[356], voted_yes[357], voted_yes[358], voted_yes[359], voted_yes[360], voted_yes[361], voted_yes[362], voted_yes[363], voted_yes[364], voted_yes[365], voted_yes[366], voted_yes[367], voted_yes[368], voted_yes[369], voted_yes[370], voted_yes[371], voted_yes[372], voted_yes[373], voted_yes[374], voted_yes[375], voted_yes[376], voted_yes[377], voted_yes[378], voted_yes[379], voted_yes[380], voted_yes[381], voted_yes[382], voted_yes[383], voted_yes[384], voted_yes[385], voted_yes[386], voted_yes[387], voted_yes[388], voted_yes[389], voted_yes[390], voted_yes[391], voted_yes[392], voted_yes[393], voted_yes[394], voted_yes[395], voted_yes[396], voted_yes[397], voted_yes[398], voted_yes[399], voted_yes[400], voted_yes[401], voted_yes[402], voted_yes[403], voted_yes[404], voted_yes[405], voted_yes[406], voted_yes[407], voted_yes[408], voted_yes[409], voted_yes[410], voted_yes[411], voted_yes[412], voted_yes[413], voted_yes[414], voted_yes[415], voted_yes[416], voted_yes[417], voted_yes[418], voted_yes[419], voted_yes[420], voted_yes[421], voted_yes[422], voted_yes[423], voted_yes[424], voted_yes[425], voted_yes[426], voted_yes[427], voted_yes[428], voted_yes[429], voted_yes[430], voted_yes[431], voted_yes[432], voted_yes[433], voted_yes[434], voted_yes[435], voted_yes[436], voted_yes[437], voted_yes[438], voted_yes[439], voted_yes[440], voted_yes[441], voted_yes[442], voted_yes[443], voted_yes[444], voted_yes[445], voted_yes[446], voted_yes[447], voted_yes[448], voted_yes[449], voted_yes[450], voted_yes[451], voted_yes[452], voted_yes[453], voted_yes[454], voted_yes[455], voted_yes[456], voted_yes[457], voted_yes[458], voted_yes[459], voted_yes[460], voted_yes[461], voted_yes[462], voted_yes[463], voted_yes[464], voted_yes[465], voted_yes[466], voted_yes[467], voted_yes[468], voted_yes[469], voted_yes[470], voted_yes[471], voted_yes[472], voted_yes[473], voted_yes[474], voted_yes[475], voted_yes[476], voted_yes[477], voted_yes[478], voted_yes[479], voted_yes[480], voted_yes[481], voted_yes[482], voted_yes[483], voted_yes[484], voted_yes[485], voted_yes[486], voted_yes[487], voted_yes[488], voted_yes[489], voted_yes[490], voted_yes[491], voted_yes[492], voted_yes[493], voted_yes[494], voted_yes[495], voted_yes[496], voted_yes[497], voted_yes[498], voted_yes[499], voting[0], voting[1], voting[2], voting[3], voting[4], voting[5], voting[6], voting[7], voting[8], voting[9], voting[10], voting[11], voting[12], voting[13], voting[14], voting[15], voting[16], voting[17], voting[18], voting[19], voting[20], voting[21], voting[22], voting[23], voting[24], voting[25], voting[26], voting[27], voting[28], voting[29], voting[30], voting[31], voting[32], voting[33], voting[34], voting[35], voting[36], voting[37], voting[38], voting[39], voting[40], voting[41], voting[42], voting[43], voting[44], voting[45], voting[46], voting[47], voting[48], voting[49], voting[50], voting[51], voting[52], voting[53], voting[54], voting[55], voting[56], voting[57], voting[58], voting[59], voting[60], voting[61], voting[62], voting[63], voting[64], voting[65], voting[66], voting[67], voting[68], voting[69], voting[70], voting[71], voting[72], voting[73], voting[74], voting[75], voting[76], voting[77], voting[78], voting[79], voting[80], voting[81], voting[82], voting[83], voting[84], voting[85], voting[86], voting[87], voting[88], voting[89], voting[90], voting[91], voting[92], voting[93], voting[94], voting[95], voting[96], voting[97], voting[98], voting[99], voting[100], voting[101], voting[102], voting[103], voting[104], voting[105], voting[106], voting[107], voting[108], voting[109], voting[110], voting[111], voting[112], voting[113], voting[114], voting[115], voting[116], voting[117], voting[118], voting[119], voting[120], voting[121], voting[122], voting[123], voting[124], voting[125], voting[126], voting[127], voting[128], voting[129], voting[130], voting[131], voting[132], voting[133], voting[134], voting[135], voting[136], voting[137], voting[138], voting[139], voting[140], voting[141], voting[142], voting[143], voting[144], voting[145], voting[146], voting[147], voting[148], voting[149], voting[150], voting[151], voting[152], voting[153], voting[154], voting[155], voting[156], voting[157], voting[158], voting[159], voting[160], voting[161], voting[162], voting[163], voting[164], voting[165], voting[166], voting[167], voting[168], voting[169], voting[170], voting[171], voting[172], voting[173], voting[174], voting[175], voting[176], voting[177], voting[178], voting[179], voting[180], voting[181], voting[182], voting[183], voting[184], voting[185], voting[186], voting[187], voting[188], voting[189], voting[190], voting[191], voting[192], voting[193], voting[194], voting[195], voting[196], voting[197], voting[198], voting[199], voting[200], voting[201], voting[202], voting[203], voting[204], voting[205], voting[206], voting[207], voting[208], voting[209], voting[210], voting[211], voting[212], voting[213], voting[214], voting[215], voting[216], voting[217], voting[218], voting[219], voting[220], voting[221], voting[222], voting[223], voting[224], voting[225], voting[226], voting[227], voting[228], voting[229], voting[230], voting[231], voting[232], voting[233], voting[234], voting[235], voting[236], voting[237], voting[238], voting[239], voting[240], voting[241], voting[242], voting[243], voting[244], voting[245], voting[246], voting[247], voting[248], voting[249], voting[250], voting[251], voting[252], voting[253], voting[254], voting[255], voting[256], voting[257], voting[258], voting[259], voting[260], voting[261], voting[262], voting[263], voting[264], voting[265], voting[266], voting[267], voting[268], voting[269], voting[270], voting[271], voting[272], voting[273], voting[274], voting[275], voting[276], voting[277], voting[278], voting[279], voting[280], voting[281], voting[282], voting[283], voting[284], voting[285], voting[286], voting[287], voting[288], voting[289], voting[290], voting[291], voting[292], voting[293], voting[294], voting[295], voting[296], voting[297], voting[298], voting[299], voting[300], voting[301], voting[302], voting[303], voting[304], voting[305], voting[306], voting[307], voting[308], voting[309], voting[310], voting[311], voting[312], voting[313], voting[314], voting[315], voting[316], voting[317], voting[318], voting[319], voting[320], voting[321], voting[322], voting[323], voting[324], voting[325], voting[326], voting[327], voting[328], voting[329], voting[330], voting[331], voting[332], voting[333], voting[334], voting[335], voting[336], voting[337], voting[338], voting[339], voting[340], voting[341], voting[342], voting[343], voting[344], voting[345], voting[346], voting[347], voting[348], voting[349], voting[350], voting[351], voting[352], voting[353], voting[354], voting[355], voting[356], voting[357], voting[358], voting[359], voting[360], voting[361], voting[362], voting[363], voting[364], voting[365], voting[366], voting[367], voting[368], voting[369], voting[370], voting[371], voting[372], voting[373], voting[374], voting[375], voting[376], voting[377], voting[378], voting[379], voting[380], voting[381], voting[382], voting[383], voting[384], voting[385], voting[386], voting[387], voting[388], voting[389], voting[390], voting[391], voting[392], voting[393], voting[394], voting[395], voting[396], voting[397], voting[398], voting[399], voting[400], voting[401], voting[402], voting[403], voting[404], voting[405], voting[406], voting[407], voting[408], voting[409], voting[410], voting[411], voting[412], voting[413], voting[414], voting[415], voting[416], voting[417], voting[418], voting[419], voting[420], voting[421], voting[422], voting[423], voting[424], voting[425], voting[426], voting[427], voting[428], voting[429], voting[430], voting[431], voting[432], voting[433], voting[434], voting[435], voting[436], voting[437], voting[438], voting[439], voting[440], voting[441], voting[442], voting[443], voting[444], voting[445], voting[446], voting[447], voting[448], voting[449], voting[450], voting[451], voting[452], voting[453], voting[454], voting[455], voting[456], voting[457], voting[458], voting[459], voting[460], voting[461], voting[462], voting[463], voting[464], voting[465], voting[466], voting[467], voting[468], voting[469], voting[470], voting[471], voting[472], voting[473], voting[474], voting[475], voting[476], voting[477], voting[478], voting[479], voting[480], voting[481], voting[482], voting[483], voting[484], voting[485], voting[486], voting[487], voting[488], voting[489], voting[490], voting[491], voting[492], voting[493], voting[494], voting[495], voting[496], voting[497], voting[498], voting[499]]]
May 30, 2017 8:26:07 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :Dot->ready,
Voters->voted_no,voted_yes,voting,
May 30, 2017 8:26:08 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 3 transitions.
May 30, 2017 8:26:08 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains : CompositeGalOrder [children=[VarOrder [vars=[ready[0]]], VarOrder [vars=[voted_no[0], voted_yes[0], voting[0]]], VarOrder [vars=[voted_no[1], voted_yes[1], voting[1]]], VarOrder [vars=[voted_no[2], voted_yes[2], voting[2]]], VarOrder [vars=[voted_no[3], voted_yes[3], voting[3]]], VarOrder [vars=[voted_no[4], voted_yes[4], voting[4]]], VarOrder [vars=[voted_no[5], voted_yes[5], voting[5]]], VarOrder [vars=[voted_no[6], voted_yes[6], voting[6]]], VarOrder [vars=[voted_no[7], voted_yes[7], voting[7]]], VarOrder [vars=[voted_no[8], voted_yes[8], voting[8]]], VarOrder [vars=[voted_no[9], voted_yes[9], voting[9]]], VarOrder [vars=[voted_no[10], voted_yes[10], voting[10]]], VarOrder [vars=[voted_no[11], voted_yes[11], voting[11]]], VarOrder [vars=[voted_no[12], voted_yes[12], voting[12]]], VarOrder [vars=[voted_no[13], voted_yes[13], voting[13]]], VarOrder [vars=[voted_no[14], voted_yes[14], voting[14]]], VarOrder [vars=[voted_no[15], voted_yes[15], voting[15]]], VarOrder [vars=[voted_no[16], voted_yes[16], voting[16]]], VarOrder [vars=[voted_no[17], voted_yes[17], voting[17]]], VarOrder [vars=[voted_no[18], voted_yes[18], voting[18]]], VarOrder [vars=[voted_no[19], voted_yes[19], voting[19]]], VarOrder [vars=[voted_no[20], voted_yes[20], voting[20]]], VarOrder [vars=[voted_no[21], voted_yes[21], voting[21]]], VarOrder [vars=[voted_no[22], voted_yes[22], voting[22]]], VarOrder [vars=[voted_no[23], voted_yes[23], voting[23]]], VarOrder [vars=[voted_no[24], voted_yes[24], voting[24]]], VarOrder [vars=[voted_no[25], voted_yes[25], voting[25]]], VarOrder [vars=[voted_no[26], voted_yes[26], voting[26]]], VarOrder [vars=[voted_no[27], voted_yes[27], voting[27]]], VarOrder [vars=[voted_no[28], voted_yes[28], voting[28]]], VarOrder [vars=[voted_no[29], voted_yes[29], voting[29]]], VarOrder [vars=[voted_no[30], voted_yes[30], voting[30]]], VarOrder [vars=[voted_no[31], voted_yes[31], voting[31]]], VarOrder [vars=[voted_no[32], voted_yes[32], voting[32]]], VarOrder [vars=[voted_no[33], voted_yes[33], voting[33]]], VarOrder [vars=[voted_no[34], voted_yes[34], voting[34]]], VarOrder [vars=[voted_no[35], voted_yes[35], voting[35]]], VarOrder [vars=[voted_no[36], voted_yes[36], voting[36]]], VarOrder [vars=[voted_no[37], voted_yes[37], voting[37]]], VarOrder [vars=[voted_no[38], voted_yes[38], voting[38]]], VarOrder [vars=[voted_no[39], voted_yes[39], voting[39]]], VarOrder [vars=[voted_no[40], voted_yes[40], voting[40]]], VarOrder [vars=[voted_no[41], voted_yes[41], voting[41]]], VarOrder [vars=[voted_no[42], voted_yes[42], voting[42]]], VarOrder [vars=[voted_no[43], voted_yes[43], voting[43]]], VarOrder [vars=[voted_no[44], voted_yes[44], voting[44]]], VarOrder [vars=[voted_no[45], voted_yes[45], voting[45]]], VarOrder [vars=[voted_no[46], voted_yes[46], voting[46]]], VarOrder [vars=[voted_no[47], voted_yes[47], voting[47]]], VarOrder [vars=[voted_no[48], voted_yes[48], voting[48]]], VarOrder [vars=[voted_no[49], voted_yes[49], voting[49]]], VarOrder [vars=[voted_no[50], voted_yes[50], voting[50]]], VarOrder [vars=[voted_no[51], voted_yes[51], voting[51]]], VarOrder [vars=[voted_no[52], voted_yes[52], voting[52]]], VarOrder [vars=[voted_no[53], voted_yes[53], voting[53]]], VarOrder [vars=[voted_no[54], voted_yes[54], voting[54]]], VarOrder [vars=[voted_no[55], voted_yes[55], voting[55]]], VarOrder [vars=[voted_no[56], voted_yes[56], voting[56]]], VarOrder [vars=[voted_no[57], voted_yes[57], voting[57]]], VarOrder [vars=[voted_no[58], voted_yes[58], voting[58]]], VarOrder [vars=[voted_no[59], voted_yes[59], voting[59]]], VarOrder [vars=[voted_no[60], voted_yes[60], voting[60]]], VarOrder [vars=[voted_no[61], voted_yes[61], voting[61]]], VarOrder [vars=[voted_no[62], voted_yes[62], voting[62]]], VarOrder [vars=[voted_no[63], voted_yes[63], voting[63]]], VarOrder [vars=[voted_no[64], voted_yes[64], voting[64]]], VarOrder [vars=[voted_no[65], voted_yes[65], voting[65]]], VarOrder [vars=[voted_no[66], voted_yes[66], voting[66]]], VarOrder [vars=[voted_no[67], voted_yes[67], voting[67]]], VarOrder [vars=[voted_no[68], voted_yes[68], voting[68]]], VarOrder [vars=[voted_no[69], voted_yes[69], voting[69]]], VarOrder [vars=[voted_no[70], voted_yes[70], voting[70]]], VarOrder [vars=[voted_no[71], voted_yes[71], voting[71]]], VarOrder [vars=[voted_no[72], voted_yes[72], voting[72]]], VarOrder [vars=[voted_no[73], voted_yes[73], voting[73]]], VarOrder [vars=[voted_no[74], voted_yes[74], voting[74]]], VarOrder [vars=[voted_no[75], voted_yes[75], voting[75]]], VarOrder [vars=[voted_no[76], voted_yes[76], voting[76]]], VarOrder [vars=[voted_no[77], voted_yes[77], voting[77]]], VarOrder [vars=[voted_no[78], voted_yes[78], voting[78]]], VarOrder [vars=[voted_no[79], voted_yes[79], voting[79]]], VarOrder [vars=[voted_no[80], voted_yes[80], voting[80]]], VarOrder [vars=[voted_no[81], voted_yes[81], voting[81]]], VarOrder [vars=[voted_no[82], voted_yes[82], voting[82]]], VarOrder [vars=[voted_no[83], voted_yes[83], voting[83]]], VarOrder [vars=[voted_no[84], voted_yes[84], voting[84]]], VarOrder [vars=[voted_no[85], voted_yes[85], voting[85]]], VarOrder [vars=[voted_no[86], voted_yes[86], voting[86]]], VarOrder [vars=[voted_no[87], voted_yes[87], voting[87]]], VarOrder [vars=[voted_no[88], voted_yes[88], voting[88]]], VarOrder [vars=[voted_no[89], voted_yes[89], voting[89]]], VarOrder [vars=[voted_no[90], voted_yes[90], voting[90]]], VarOrder [vars=[voted_no[91], voted_yes[91], voting[91]]], VarOrder [vars=[voted_no[92], voted_yes[92], voting[92]]], VarOrder [vars=[voted_no[93], voted_yes[93], voting[93]]], VarOrder [vars=[voted_no[94], voted_yes[94], voting[94]]], VarOrder [vars=[voted_no[95], voted_yes[95], voting[95]]], VarOrder [vars=[voted_no[96], voted_yes[96], voting[96]]], VarOrder [vars=[voted_no[97], voted_yes[97], voting[97]]], VarOrder [vars=[voted_no[98], voted_yes[98], voting[98]]], VarOrder [vars=[voted_no[99], voted_yes[99], voting[99]]], VarOrder [vars=[voted_no[100], voted_yes[100], voting[100]]], VarOrder [vars=[voted_no[101], voted_yes[101], voting[101]]], VarOrder [vars=[voted_no[102], voted_yes[102], voting[102]]], VarOrder [vars=[voted_no[103], voted_yes[103], voting[103]]], VarOrder [vars=[voted_no[104], voted_yes[104], voting[104]]], VarOrder [vars=[voted_no[105], voted_yes[105], voting[105]]], VarOrder [vars=[voted_no[106], voted_yes[106], voting[106]]], VarOrder [vars=[voted_no[107], voted_yes[107], voting[107]]], VarOrder [vars=[voted_no[108], voted_yes[108], voting[108]]], VarOrder [vars=[voted_no[109], voted_yes[109], voting[109]]], VarOrder [vars=[voted_no[110], voted_yes[110], voting[110]]], VarOrder [vars=[voted_no[111], voted_yes[111], voting[111]]], VarOrder [vars=[voted_no[112], voted_yes[112], voting[112]]], VarOrder [vars=[voted_no[113], voted_yes[113], voting[113]]], VarOrder [vars=[voted_no[114], voted_yes[114], voting[114]]], VarOrder [vars=[voted_no[115], voted_yes[115], voting[115]]], VarOrder [vars=[voted_no[116], voted_yes[116], voting[116]]], VarOrder [vars=[voted_no[117], voted_yes[117], voting[117]]], VarOrder [vars=[voted_no[118], voted_yes[118], voting[118]]], VarOrder [vars=[voted_no[119], voted_yes[119], voting[119]]], VarOrder [vars=[voted_no[120], voted_yes[120], voting[120]]], VarOrder [vars=[voted_no[121], voted_yes[121], voting[121]]], VarOrder [vars=[voted_no[122], voted_yes[122], voting[122]]], VarOrder [vars=[voted_no[123], voted_yes[123], voting[123]]], VarOrder [vars=[voted_no[124], voted_yes[124], voting[124]]], VarOrder [vars=[voted_no[125], voted_yes[125], voting[125]]], VarOrder [vars=[voted_no[126], voted_yes[126], voting[126]]], VarOrder [vars=[voted_no[127], voted_yes[127], voting[127]]], VarOrder [vars=[voted_no[128], voted_yes[128], voting[128]]], VarOrder [vars=[voted_no[129], voted_yes[129], voting[129]]], VarOrder [vars=[voted_no[130], voted_yes[130], voting[130]]], VarOrder [vars=[voted_no[131], voted_yes[131], voting[131]]], VarOrder [vars=[voted_no[132], voted_yes[132], voting[132]]], VarOrder [vars=[voted_no[133], voted_yes[133], voting[133]]], VarOrder [vars=[voted_no[134], voted_yes[134], voting[134]]], VarOrder [vars=[voted_no[135], voted_yes[135], voting[135]]], VarOrder [vars=[voted_no[136], voted_yes[136], voting[136]]], VarOrder [vars=[voted_no[137], voted_yes[137], voting[137]]], VarOrder [vars=[voted_no[138], voted_yes[138], voting[138]]], VarOrder [vars=[voted_no[139], voted_yes[139], voting[139]]], VarOrder [vars=[voted_no[140], voted_yes[140], voting[140]]], VarOrder [vars=[voted_no[141], voted_yes[141], voting[141]]], VarOrder [vars=[voted_no[142], voted_yes[142], voting[142]]], VarOrder [vars=[voted_no[143], voted_yes[143], voting[143]]], VarOrder [vars=[voted_no[144], voted_yes[144], voting[144]]], VarOrder [vars=[voted_no[145], voted_yes[145], voting[145]]], VarOrder [vars=[voted_no[146], voted_yes[146], voting[146]]], VarOrder [vars=[voted_no[147], voted_yes[147], voting[147]]], VarOrder [vars=[voted_no[148], voted_yes[148], voting[148]]], VarOrder [vars=[voted_no[149], voted_yes[149], voting[149]]], VarOrder [vars=[voted_no[150], voted_yes[150], voting[150]]], VarOrder [vars=[voted_no[151], voted_yes[151], voting[151]]], VarOrder [vars=[voted_no[152], voted_yes[152], voting[152]]], VarOrder [vars=[voted_no[153], voted_yes[153], voting[153]]], VarOrder [vars=[voted_no[154], voted_yes[154], voting[154]]], VarOrder [vars=[voted_no[155], voted_yes[155], voting[155]]], VarOrder [vars=[voted_no[156], voted_yes[156], voting[156]]], VarOrder [vars=[voted_no[157], voted_yes[157], voting[157]]], VarOrder [vars=[voted_no[158], voted_yes[158], voting[158]]], VarOrder [vars=[voted_no[159], voted_yes[159], voting[159]]], VarOrder [vars=[voted_no[160], voted_yes[160], voting[160]]], VarOrder [vars=[voted_no[161], voted_yes[161], voting[161]]], VarOrder [vars=[voted_no[162], voted_yes[162], voting[162]]], VarOrder [vars=[voted_no[163], voted_yes[163], voting[163]]], VarOrder [vars=[voted_no[164], voted_yes[164], voting[164]]], VarOrder [vars=[voted_no[165], voted_yes[165], voting[165]]], VarOrder [vars=[voted_no[166], voted_yes[166], voting[166]]], VarOrder [vars=[voted_no[167], voted_yes[167], voting[167]]], VarOrder [vars=[voted_no[168], voted_yes[168], voting[168]]], VarOrder [vars=[voted_no[169], voted_yes[169], voting[169]]], VarOrder [vars=[voted_no[170], voted_yes[170], voting[170]]], VarOrder [vars=[voted_no[171], voted_yes[171], voting[171]]], VarOrder [vars=[voted_no[172], voted_yes[172], voting[172]]], VarOrder [vars=[voted_no[173], voted_yes[173], voting[173]]], VarOrder [vars=[voted_no[174], voted_yes[174], voting[174]]], VarOrder [vars=[voted_no[175], voted_yes[175], voting[175]]], VarOrder [vars=[voted_no[176], voted_yes[176], voting[176]]], VarOrder [vars=[voted_no[177], voted_yes[177], voting[177]]], VarOrder [vars=[voted_no[178], voted_yes[178], voting[178]]], VarOrder [vars=[voted_no[179], voted_yes[179], voting[179]]], VarOrder [vars=[voted_no[180], voted_yes[180], voting[180]]], VarOrder [vars=[voted_no[181], voted_yes[181], voting[181]]], VarOrder [vars=[voted_no[182], voted_yes[182], voting[182]]], VarOrder [vars=[voted_no[183], voted_yes[183], voting[183]]], VarOrder [vars=[voted_no[184], voted_yes[184], voting[184]]], VarOrder [vars=[voted_no[185], voted_yes[185], voting[185]]], VarOrder [vars=[voted_no[186], voted_yes[186], voting[186]]], VarOrder [vars=[voted_no[187], voted_yes[187], voting[187]]], VarOrder [vars=[voted_no[188], voted_yes[188], voting[188]]], VarOrder [vars=[voted_no[189], voted_yes[189], voting[189]]], VarOrder [vars=[voted_no[190], voted_yes[190], voting[190]]], VarOrder [vars=[voted_no[191], voted_yes[191], voting[191]]], VarOrder [vars=[voted_no[192], voted_yes[192], voting[192]]], VarOrder [vars=[voted_no[193], voted_yes[193], voting[193]]], VarOrder [vars=[voted_no[194], voted_yes[194], voting[194]]], VarOrder [vars=[voted_no[195], voted_yes[195], voting[195]]], VarOrder [vars=[voted_no[196], voted_yes[196], voting[196]]], VarOrder [vars=[voted_no[197], voted_yes[197], voting[197]]], VarOrder [vars=[voted_no[198], voted_yes[198], voting[198]]], VarOrder [vars=[voted_no[199], voted_yes[199], voting[199]]], VarOrder [vars=[voted_no[200], voted_yes[200], voting[200]]], VarOrder [vars=[voted_no[201], voted_yes[201], voting[201]]], VarOrder [vars=[voted_no[202], voted_yes[202], voting[202]]], VarOrder [vars=[voted_no[203], voted_yes[203], voting[203]]], VarOrder [vars=[voted_no[204], voted_yes[204], voting[204]]], VarOrder [vars=[voted_no[205], voted_yes[205], voting[205]]], VarOrder [vars=[voted_no[206], voted_yes[206], voting[206]]], VarOrder [vars=[voted_no[207], voted_yes[207], voting[207]]], VarOrder [vars=[voted_no[208], voted_yes[208], voting[208]]], VarOrder [vars=[voted_no[209], voted_yes[209], voting[209]]], VarOrder [vars=[voted_no[210], voted_yes[210], voting[210]]], VarOrder [vars=[voted_no[211], voted_yes[211], voting[211]]], VarOrder [vars=[voted_no[212], voted_yes[212], voting[212]]], VarOrder [vars=[voted_no[213], voted_yes[213], voting[213]]], VarOrder [vars=[voted_no[214], voted_yes[214], voting[214]]], VarOrder [vars=[voted_no[215], voted_yes[215], voting[215]]], VarOrder [vars=[voted_no[216], voted_yes[216], voting[216]]], VarOrder [vars=[voted_no[217], voted_yes[217], voting[217]]], VarOrder [vars=[voted_no[218], voted_yes[218], voting[218]]], VarOrder [vars=[voted_no[219], voted_yes[219], voting[219]]], VarOrder [vars=[voted_no[220], voted_yes[220], voting[220]]], VarOrder [vars=[voted_no[221], voted_yes[221], voting[221]]], VarOrder [vars=[voted_no[222], voted_yes[222], voting[222]]], VarOrder [vars=[voted_no[223], voted_yes[223], voting[223]]], VarOrder [vars=[voted_no[224], voted_yes[224], voting[224]]], VarOrder [vars=[voted_no[225], voted_yes[225], voting[225]]], VarOrder [vars=[voted_no[226], voted_yes[226], voting[226]]], VarOrder [vars=[voted_no[227], voted_yes[227], voting[227]]], VarOrder [vars=[voted_no[228], voted_yes[228], voting[228]]], VarOrder [vars=[voted_no[229], voted_yes[229], voting[229]]], VarOrder [vars=[voted_no[230], voted_yes[230], voting[230]]], VarOrder [vars=[voted_no[231], voted_yes[231], voting[231]]], VarOrder [vars=[voted_no[232], voted_yes[232], voting[232]]], VarOrder [vars=[voted_no[233], voted_yes[233], voting[233]]], VarOrder [vars=[voted_no[234], voted_yes[234], voting[234]]], VarOrder [vars=[voted_no[235], voted_yes[235], voting[235]]], VarOrder [vars=[voted_no[236], voted_yes[236], voting[236]]], VarOrder [vars=[voted_no[237], voted_yes[237], voting[237]]], VarOrder [vars=[voted_no[238], voted_yes[238], voting[238]]], VarOrder [vars=[voted_no[239], voted_yes[239], voting[239]]], VarOrder [vars=[voted_no[240], voted_yes[240], voting[240]]], VarOrder [vars=[voted_no[241], voted_yes[241], voting[241]]], VarOrder [vars=[voted_no[242], voted_yes[242], voting[242]]], VarOrder [vars=[voted_no[243], voted_yes[243], voting[243]]], VarOrder [vars=[voted_no[244], voted_yes[244], voting[244]]], VarOrder [vars=[voted_no[245], voted_yes[245], voting[245]]], VarOrder [vars=[voted_no[246], voted_yes[246], voting[246]]], VarOrder [vars=[voted_no[247], voted_yes[247], voting[247]]], VarOrder [vars=[voted_no[248], voted_yes[248], voting[248]]], VarOrder [vars=[voted_no[249], voted_yes[249], voting[249]]], VarOrder [vars=[voted_no[250], voted_yes[250], voting[250]]], VarOrder [vars=[voted_no[251], voted_yes[251], voting[251]]], VarOrder [vars=[voted_no[252], voted_yes[252], voting[252]]], VarOrder [vars=[voted_no[253], voted_yes[253], voting[253]]], VarOrder [vars=[voted_no[254], voted_yes[254], voting[254]]], VarOrder [vars=[voted_no[255], voted_yes[255], voting[255]]], VarOrder [vars=[voted_no[256], voted_yes[256], voting[256]]], VarOrder [vars=[voted_no[257], voted_yes[257], voting[257]]], VarOrder [vars=[voted_no[258], voted_yes[258], voting[258]]], VarOrder [vars=[voted_no[259], voted_yes[259], voting[259]]], VarOrder [vars=[voted_no[260], voted_yes[260], voting[260]]], VarOrder [vars=[voted_no[261], voted_yes[261], voting[261]]], VarOrder [vars=[voted_no[262], voted_yes[262], voting[262]]], VarOrder [vars=[voted_no[263], voted_yes[263], voting[263]]], VarOrder [vars=[voted_no[264], voted_yes[264], voting[264]]], VarOrder [vars=[voted_no[265], voted_yes[265], voting[265]]], VarOrder [vars=[voted_no[266], voted_yes[266], voting[266]]], VarOrder [vars=[voted_no[267], voted_yes[267], voting[267]]], VarOrder [vars=[voted_no[268], voted_yes[268], voting[268]]], VarOrder [vars=[voted_no[269], voted_yes[269], voting[269]]], VarOrder [vars=[voted_no[270], voted_yes[270], voting[270]]], VarOrder [vars=[voted_no[271], voted_yes[271], voting[271]]], VarOrder [vars=[voted_no[272], voted_yes[272], voting[272]]], VarOrder [vars=[voted_no[273], voted_yes[273], voting[273]]], VarOrder [vars=[voted_no[274], voted_yes[274], voting[274]]], VarOrder [vars=[voted_no[275], voted_yes[275], voting[275]]], VarOrder [vars=[voted_no[276], voted_yes[276], voting[276]]], VarOrder [vars=[voted_no[277], voted_yes[277], voting[277]]], VarOrder [vars=[voted_no[278], voted_yes[278], voting[278]]], VarOrder [vars=[voted_no[279], voted_yes[279], voting[279]]], VarOrder [vars=[voted_no[280], voted_yes[280], voting[280]]], VarOrder [vars=[voted_no[281], voted_yes[281], voting[281]]], VarOrder [vars=[voted_no[282], voted_yes[282], voting[282]]], VarOrder [vars=[voted_no[283], voted_yes[283], voting[283]]], VarOrder [vars=[voted_no[284], voted_yes[284], voting[284]]], VarOrder [vars=[voted_no[285], voted_yes[285], voting[285]]], VarOrder [vars=[voted_no[286], voted_yes[286], voting[286]]], VarOrder [vars=[voted_no[287], voted_yes[287], voting[287]]], VarOrder [vars=[voted_no[288], voted_yes[288], voting[288]]], VarOrder [vars=[voted_no[289], voted_yes[289], voting[289]]], VarOrder [vars=[voted_no[290], voted_yes[290], voting[290]]], VarOrder [vars=[voted_no[291], voted_yes[291], voting[291]]], VarOrder [vars=[voted_no[292], voted_yes[292], voting[292]]], VarOrder [vars=[voted_no[293], voted_yes[293], voting[293]]], VarOrder [vars=[voted_no[294], voted_yes[294], voting[294]]], VarOrder [vars=[voted_no[295], voted_yes[295], voting[295]]], VarOrder [vars=[voted_no[296], voted_yes[296], voting[296]]], VarOrder [vars=[voted_no[297], voted_yes[297], voting[297]]], VarOrder [vars=[voted_no[298], voted_yes[298], voting[298]]], VarOrder [vars=[voted_no[299], voted_yes[299], voting[299]]], VarOrder [vars=[voted_no[300], voted_yes[300], voting[300]]], VarOrder [vars=[voted_no[301], voted_yes[301], voting[301]]], VarOrder [vars=[voted_no[302], voted_yes[302], voting[302]]], VarOrder [vars=[voted_no[303], voted_yes[303], voting[303]]], VarOrder [vars=[voted_no[304], voted_yes[304], voting[304]]], VarOrder [vars=[voted_no[305], voted_yes[305], voting[305]]], VarOrder [vars=[voted_no[306], voted_yes[306], voting[306]]], VarOrder [vars=[voted_no[307], voted_yes[307], voting[307]]], VarOrder [vars=[voted_no[308], voted_yes[308], voting[308]]], VarOrder [vars=[voted_no[309], voted_yes[309], voting[309]]], VarOrder [vars=[voted_no[310], voted_yes[310], voting[310]]], VarOrder [vars=[voted_no[311], voted_yes[311], voting[311]]], VarOrder [vars=[voted_no[312], voted_yes[312], voting[312]]], VarOrder [vars=[voted_no[313], voted_yes[313], voting[313]]], VarOrder [vars=[voted_no[314], voted_yes[314], voting[314]]], VarOrder [vars=[voted_no[315], voted_yes[315], voting[315]]], VarOrder [vars=[voted_no[316], voted_yes[316], voting[316]]], VarOrder [vars=[voted_no[317], voted_yes[317], voting[317]]], VarOrder [vars=[voted_no[318], voted_yes[318], voting[318]]], VarOrder [vars=[voted_no[319], voted_yes[319], voting[319]]], VarOrder [vars=[voted_no[320], voted_yes[320], voting[320]]], VarOrder [vars=[voted_no[321], voted_yes[321], voting[321]]], VarOrder [vars=[voted_no[322], voted_yes[322], voting[322]]], VarOrder [vars=[voted_no[323], voted_yes[323], voting[323]]], VarOrder [vars=[voted_no[324], voted_yes[324], voting[324]]], VarOrder [vars=[voted_no[325], voted_yes[325], voting[325]]], VarOrder [vars=[voted_no[326], voted_yes[326], voting[326]]], VarOrder [vars=[voted_no[327], voted_yes[327], voting[327]]], VarOrder [vars=[voted_no[328], voted_yes[328], voting[328]]], VarOrder [vars=[voted_no[329], voted_yes[329], voting[329]]], VarOrder [vars=[voted_no[330], voted_yes[330], voting[330]]], VarOrder [vars=[voted_no[331], voted_yes[331], voting[331]]], VarOrder [vars=[voted_no[332], voted_yes[332], voting[332]]], VarOrder [vars=[voted_no[333], voted_yes[333], voting[333]]], VarOrder [vars=[voted_no[334], voted_yes[334], voting[334]]], VarOrder [vars=[voted_no[335], voted_yes[335], voting[335]]], VarOrder [vars=[voted_no[336], voted_yes[336], voting[336]]], VarOrder [vars=[voted_no[337], voted_yes[337], voting[337]]], VarOrder [vars=[voted_no[338], voted_yes[338], voting[338]]], VarOrder [vars=[voted_no[339], voted_yes[339], voting[339]]], VarOrder [vars=[voted_no[340], voted_yes[340], voting[340]]], VarOrder [vars=[voted_no[341], voted_yes[341], voting[341]]], VarOrder [vars=[voted_no[342], voted_yes[342], voting[342]]], VarOrder [vars=[voted_no[343], voted_yes[343], voting[343]]], VarOrder [vars=[voted_no[344], voted_yes[344], voting[344]]], VarOrder [vars=[voted_no[345], voted_yes[345], voting[345]]], VarOrder [vars=[voted_no[346], voted_yes[346], voting[346]]], VarOrder [vars=[voted_no[347], voted_yes[347], voting[347]]], VarOrder [vars=[voted_no[348], voted_yes[348], voting[348]]], VarOrder [vars=[voted_no[349], voted_yes[349], voting[349]]], VarOrder [vars=[voted_no[350], voted_yes[350], voting[350]]], VarOrder [vars=[voted_no[351], voted_yes[351], voting[351]]], VarOrder [vars=[voted_no[352], voted_yes[352], voting[352]]], VarOrder [vars=[voted_no[353], voted_yes[353], voting[353]]], VarOrder [vars=[voted_no[354], voted_yes[354], voting[354]]], VarOrder [vars=[voted_no[355], voted_yes[355], voting[355]]], VarOrder [vars=[voted_no[356], voted_yes[356], voting[356]]], VarOrder [vars=[voted_no[357], voted_yes[357], voting[357]]], VarOrder [vars=[voted_no[358], voted_yes[358], voting[358]]], VarOrder [vars=[voted_no[359], voted_yes[359], voting[359]]], VarOrder [vars=[voted_no[360], voted_yes[360], voting[360]]], VarOrder [vars=[voted_no[361], voted_yes[361], voting[361]]], VarOrder [vars=[voted_no[362], voted_yes[362], voting[362]]], VarOrder [vars=[voted_no[363], voted_yes[363], voting[363]]], VarOrder [vars=[voted_no[364], voted_yes[364], voting[364]]], VarOrder [vars=[voted_no[365], voted_yes[365], voting[365]]], VarOrder [vars=[voted_no[366], voted_yes[366], voting[366]]], VarOrder [vars=[voted_no[367], voted_yes[367], voting[367]]], VarOrder [vars=[voted_no[368], voted_yes[368], voting[368]]], VarOrder [vars=[voted_no[369], voted_yes[369], voting[369]]], VarOrder [vars=[voted_no[370], voted_yes[370], voting[370]]], VarOrder [vars=[voted_no[371], voted_yes[371], voting[371]]], VarOrder [vars=[voted_no[372], voted_yes[372], voting[372]]], VarOrder [vars=[voted_no[373], voted_yes[373], voting[373]]], VarOrder [vars=[voted_no[374], voted_yes[374], voting[374]]], VarOrder [vars=[voted_no[375], voted_yes[375], voting[375]]], VarOrder [vars=[voted_no[376], voted_yes[376], voting[376]]], VarOrder [vars=[voted_no[377], voted_yes[377], voting[377]]], VarOrder [vars=[voted_no[378], voted_yes[378], voting[378]]], VarOrder [vars=[voted_no[379], voted_yes[379], voting[379]]], VarOrder [vars=[voted_no[380], voted_yes[380], voting[380]]], VarOrder [vars=[voted_no[381], voted_yes[381], voting[381]]], VarOrder [vars=[voted_no[382], voted_yes[382], voting[382]]], VarOrder [vars=[voted_no[383], voted_yes[383], voting[383]]], VarOrder [vars=[voted_no[384], voted_yes[384], voting[384]]], VarOrder [vars=[voted_no[385], voted_yes[385], voting[385]]], VarOrder [vars=[voted_no[386], voted_yes[386], voting[386]]], VarOrder [vars=[voted_no[387], voted_yes[387], voting[387]]], VarOrder [vars=[voted_no[388], voted_yes[388], voting[388]]], VarOrder [vars=[voted_no[389], voted_yes[389], voting[389]]], VarOrder [vars=[voted_no[390], voted_yes[390], voting[390]]], VarOrder [vars=[voted_no[391], voted_yes[391], voting[391]]], VarOrder [vars=[voted_no[392], voted_yes[392], voting[392]]], VarOrder [vars=[voted_no[393], voted_yes[393], voting[393]]], VarOrder [vars=[voted_no[394], voted_yes[394], voting[394]]], VarOrder [vars=[voted_no[395], voted_yes[395], voting[395]]], VarOrder [vars=[voted_no[396], voted_yes[396], voting[396]]], VarOrder [vars=[voted_no[397], voted_yes[397], voting[397]]], VarOrder [vars=[voted_no[398], voted_yes[398], voting[398]]], VarOrder [vars=[voted_no[399], voted_yes[399], voting[399]]], VarOrder [vars=[voted_no[400], voted_yes[400], voting[400]]], VarOrder [vars=[voted_no[401], voted_yes[401], voting[401]]], VarOrder [vars=[voted_no[402], voted_yes[402], voting[402]]], VarOrder [vars=[voted_no[403], voted_yes[403], voting[403]]], VarOrder [vars=[voted_no[404], voted_yes[404], voting[404]]], VarOrder [vars=[voted_no[405], voted_yes[405], voting[405]]], VarOrder [vars=[voted_no[406], voted_yes[406], voting[406]]], VarOrder [vars=[voted_no[407], voted_yes[407], voting[407]]], VarOrder [vars=[voted_no[408], voted_yes[408], voting[408]]], VarOrder [vars=[voted_no[409], voted_yes[409], voting[409]]], VarOrder [vars=[voted_no[410], voted_yes[410], voting[410]]], VarOrder [vars=[voted_no[411], voted_yes[411], voting[411]]], VarOrder [vars=[voted_no[412], voted_yes[412], voting[412]]], VarOrder [vars=[voted_no[413], voted_yes[413], voting[413]]], VarOrder [vars=[voted_no[414], voted_yes[414], voting[414]]], VarOrder [vars=[voted_no[415], voted_yes[415], voting[415]]], VarOrder [vars=[voted_no[416], voted_yes[416], voting[416]]], VarOrder [vars=[voted_no[417], voted_yes[417], voting[417]]], VarOrder [vars=[voted_no[418], voted_yes[418], voting[418]]], VarOrder [vars=[voted_no[419], voted_yes[419], voting[419]]], VarOrder [vars=[voted_no[420], voted_yes[420], voting[420]]], VarOrder [vars=[voted_no[421], voted_yes[421], voting[421]]], VarOrder [vars=[voted_no[422], voted_yes[422], voting[422]]], VarOrder [vars=[voted_no[423], voted_yes[423], voting[423]]], VarOrder [vars=[voted_no[424], voted_yes[424], voting[424]]], VarOrder [vars=[voted_no[425], voted_yes[425], voting[425]]], VarOrder [vars=[voted_no[426], voted_yes[426], voting[426]]], VarOrder [vars=[voted_no[427], voted_yes[427], voting[427]]], VarOrder [vars=[voted_no[428], voted_yes[428], voting[428]]], VarOrder [vars=[voted_no[429], voted_yes[429], voting[429]]], VarOrder [vars=[voted_no[430], voted_yes[430], voting[430]]], VarOrder [vars=[voted_no[431], voted_yes[431], voting[431]]], VarOrder [vars=[voted_no[432], voted_yes[432], voting[432]]], VarOrder [vars=[voted_no[433], voted_yes[433], voting[433]]], VarOrder [vars=[voted_no[434], voted_yes[434], voting[434]]], VarOrder [vars=[voted_no[435], voted_yes[435], voting[435]]], VarOrder [vars=[voted_no[436], voted_yes[436], voting[436]]], VarOrder [vars=[voted_no[437], voted_yes[437], voting[437]]], VarOrder [vars=[voted_no[438], voted_yes[438], voting[438]]], VarOrder [vars=[voted_no[439], voted_yes[439], voting[439]]], VarOrder [vars=[voted_no[440], voted_yes[440], voting[440]]], VarOrder [vars=[voted_no[441], voted_yes[441], voting[441]]], VarOrder [vars=[voted_no[442], voted_yes[442], voting[442]]], VarOrder [vars=[voted_no[443], voted_yes[443], voting[443]]], VarOrder [vars=[voted_no[444], voted_yes[444], voting[444]]], VarOrder [vars=[voted_no[445], voted_yes[445], voting[445]]], VarOrder [vars=[voted_no[446], voted_yes[446], voting[446]]], VarOrder [vars=[voted_no[447], voted_yes[447], voting[447]]], VarOrder [vars=[voted_no[448], voted_yes[448], voting[448]]], VarOrder [vars=[voted_no[449], voted_yes[449], voting[449]]], VarOrder [vars=[voted_no[450], voted_yes[450], voting[450]]], VarOrder [vars=[voted_no[451], voted_yes[451], voting[451]]], VarOrder [vars=[voted_no[452], voted_yes[452], voting[452]]], VarOrder [vars=[voted_no[453], voted_yes[453], voting[453]]], VarOrder [vars=[voted_no[454], voted_yes[454], voting[454]]], VarOrder [vars=[voted_no[455], voted_yes[455], voting[455]]], VarOrder [vars=[voted_no[456], voted_yes[456], voting[456]]], VarOrder [vars=[voted_no[457], voted_yes[457], voting[457]]], VarOrder [vars=[voted_no[458], voted_yes[458], voting[458]]], VarOrder [vars=[voted_no[459], voted_yes[459], voting[459]]], VarOrder [vars=[voted_no[460], voted_yes[460], voting[460]]], VarOrder [vars=[voted_no[461], voted_yes[461], voting[461]]], VarOrder [vars=[voted_no[462], voted_yes[462], voting[462]]], VarOrder [vars=[voted_no[463], voted_yes[463], voting[463]]], VarOrder [vars=[voted_no[464], voted_yes[464], voting[464]]], VarOrder [vars=[voted_no[465], voted_yes[465], voting[465]]], VarOrder [vars=[voted_no[466], voted_yes[466], voting[466]]], VarOrder [vars=[voted_no[467], voted_yes[467], voting[467]]], VarOrder [vars=[voted_no[468], voted_yes[468], voting[468]]], VarOrder [vars=[voted_no[469], voted_yes[469], voting[469]]], VarOrder [vars=[voted_no[470], voted_yes[470], voting[470]]], VarOrder [vars=[voted_no[471], voted_yes[471], voting[471]]], VarOrder [vars=[voted_no[472], voted_yes[472], voting[472]]], VarOrder [vars=[voted_no[473], voted_yes[473], voting[473]]], VarOrder [vars=[voted_no[474], voted_yes[474], voting[474]]], VarOrder [vars=[voted_no[475], voted_yes[475], voting[475]]], VarOrder [vars=[voted_no[476], voted_yes[476], voting[476]]], VarOrder [vars=[voted_no[477], voted_yes[477], voting[477]]], VarOrder [vars=[voted_no[478], voted_yes[478], voting[478]]], VarOrder [vars=[voted_no[479], voted_yes[479], voting[479]]], VarOrder [vars=[voted_no[480], voted_yes[480], voting[480]]], VarOrder [vars=[voted_no[481], voted_yes[481], voting[481]]], VarOrder [vars=[voted_no[482], voted_yes[482], voting[482]]], VarOrder [vars=[voted_no[483], voted_yes[483], voting[483]]], VarOrder [vars=[voted_no[484], voted_yes[484], voting[484]]], VarOrder [vars=[voted_no[485], voted_yes[485], voting[485]]], VarOrder [vars=[voted_no[486], voted_yes[486], voting[486]]], VarOrder [vars=[voted_no[487], voted_yes[487], voting[487]]], VarOrder [vars=[voted_no[488], voted_yes[488], voting[488]]], VarOrder [vars=[voted_no[489], voted_yes[489], voting[489]]], VarOrder [vars=[voted_no[490], voted_yes[490], voting[490]]], VarOrder [vars=[voted_no[491], voted_yes[491], voting[491]]], VarOrder [vars=[voted_no[492], voted_yes[492], voting[492]]], VarOrder [vars=[voted_no[493], voted_yes[493], voting[493]]], VarOrder [vars=[voted_no[494], voted_yes[494], voting[494]]], VarOrder [vars=[voted_no[495], voted_yes[495], voting[495]]], VarOrder [vars=[voted_no[496], voted_yes[496], voting[496]]], VarOrder [vars=[voted_no[497], voted_yes[497], voting[497]]], VarOrder [vars=[voted_no[498], voted_yes[498], voting[498]]], VarOrder [vars=[voted_no[499], voted_yes[499], voting[499]]]]]
May 30, 2017 8:26:08 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/BenchKit/INPUTS/Referendum-COL-0500/model.pnml.img.gal : 36 ms
May 30, 2017 8:26:10 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 1124 ms
May 30, 2017 8:26:10 PM fr.lip6.move.gal.application.Application applyOrder
INFO: Applying decomposition
May 30, 2017 8:26:10 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 30, 2017 8:26:10 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 766 ms
May 30, 2017 8:26:11 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Partition obtained :[ready[0], ],[voted_no[0], voted_yes[0], voting[0], ],[voted_no[1], voted_yes[1], voting[1], ],[voted_no[2], voted_yes[2], voting[2], ],[voted_no[3], voted_yes[3], voting[3], ],[voted_no[4], voted_yes[4], voting[4], ],[voted_no[5], voted_yes[5], voting[5], ],[voted_no[6], voted_yes[6], voting[6], ],[voted_no[7], voted_yes[7], voting[7], ],[voted_no[8], voted_yes[8], voting[8], ],[voted_no[9], voted_yes[9], voting[9], ],[voted_no[10], voted_yes[10], voting[10], ],[voted_no[11], voted_yes[11], voting[11], ],[voted_no[12], voted_yes[12], voting[12], ],[voted_no[13], voted_yes[13], voting[13], ],[voted_no[14], voted_yes[14], voting[14], ],[voted_no[15], voted_yes[15], voting[15], ],[voted_no[16], voted_yes[16], voting[16], ],[voted_no[17], voted_yes[17], voting[17], ],[voted_no[18], voted_yes[18], voting[18], ],[voted_no[19], voted_yes[19], voting[19], ],[voted_no[20], voted_yes[20], voting[20], ],[voted_no[21], voted_yes[21], voting[21], ],[voted_no[22], voted_yes[22], voting[22], ],[voted_no[23], voted_yes[23], voting[23], ],[voted_no[24], voted_yes[24], voting[24], ],[voted_no[25], voted_yes[25], voting[25], ],[voted_no[26], voted_yes[26], voting[26], ],[voted_no[27], voted_yes[27], voting[27], ],[voted_no[28], voted_yes[28], voting[28], ],[voted_no[29], voted_yes[29], voting[29], ],[voted_no[30], voted_yes[30], voting[30], ],[voted_no[31], voted_yes[31], voting[31], ],[voted_no[32], voted_yes[32], voting[32], ],[voted_no[33], voted_yes[33], voting[33], ],[voted_no[34], voted_yes[34], voting[34], ],[voted_no[35], voted_yes[35], voting[35], ],[voted_no[36], voted_yes[36], voting[36], ],[voted_no[37], voted_yes[37], voting[37], ],[voted_no[38], voted_yes[38], voting[38], ],[voted_no[39], voted_yes[39], voting[39], ],[voted_no[40], voted_yes[40], voting[40], ],[voted_no[41], voted_yes[41], voting[41], ],[voted_no[42], voted_yes[42], voting[42], ],[voted_no[43], voted_yes[43], voting[43], ],[voted_no[44], voted_yes[44], voting[44], ],[voted_no[45], voted_yes[45], voting[45], ],[voted_no[46], voted_yes[46], voting[46], ],[voted_no[47], voted_yes[47], voting[47], ],[voted_no[48], voted_yes[48], voting[48], ],[voted_no[49], voted_yes[49], voting[49], ],[voted_no[50], voted_yes[50], voting[50], ],[voted_no[51], voted_yes[51], voting[51], ],[voted_no[52], voted_yes[52], voting[52], ],[voted_no[53], voted_yes[53], voting[53], ],[voted_no[54], voted_yes[54], voting[54], ],[voted_no[55], voted_yes[55], voting[55], ],[voted_no[56], voted_yes[56], voting[56], ],[voted_no[57], voted_yes[57], voting[57], ],[voted_no[58], voted_yes[58], voting[58], ],[voted_no[59], voted_yes[59], voting[59], ],[voted_no[60], voted_yes[60], voting[60], ],[voted_no[61], voted_yes[61], voting[61], ],[voted_no[62], voted_yes[62], voting[62], ],[voted_no[63], voted_yes[63], voting[63], ],[voted_no[64], voted_yes[64], voting[64], ],[voted_no[65], voted_yes[65], voting[65], ],[voted_no[66], voted_yes[66], voting[66], ],[voted_no[67], voted_yes[67], voting[67], ],[voted_no[68], voted_yes[68], voting[68], ],[voted_no[69], voted_yes[69], voting[69], ],[voted_no[70], voted_yes[70], voting[70], ],[voted_no[71], voted_yes[71], voting[71], ],[voted_no[72], voted_yes[72], voting[72], ],[voted_no[73], voted_yes[73], voting[73], ],[voted_no[74], voted_yes[74], voting[74], ],[voted_no[75], voted_yes[75], voting[75], ],[voted_no[76], voted_yes[76], voting[76], ],[voted_no[77], voted_yes[77], voting[77], ],[voted_no[78], voted_yes[78], voting[78], ],[voted_no[79], voted_yes[79], voting[79], ],[voted_no[80], voted_yes[80], voting[80], ],[voted_no[81], voted_yes[81], voting[81], ],[voted_no[82], voted_yes[82], voting[82], ],[voted_no[83], voted_yes[83], voting[83], ],[voted_no[84], voted_yes[84], voting[84], ],[voted_no[85], voted_yes[85], voting[85], ],[voted_no[86], voted_yes[86], voting[86], ],[voted_no[87], voted_yes[87], voting[87], ],[voted_no[88], voted_yes[88], voting[88], ],[voted_no[89], voted_yes[89], voting[89], ],[voted_no[90], voted_yes[90], voting[90], ],[voted_no[91], voted_yes[91], voting[91], ],[voted_no[92], voted_yes[92], voting[92], ],[voted_no[93], voted_yes[93], voting[93], ],[voted_no[94], voted_yes[94], voting[94], ],[voted_no[95], voted_yes[95], voting[95], ],[voted_no[96], voted_yes[96], voting[96], ],[voted_no[97], voted_yes[97], voting[97], ],[voted_no[98], voted_yes[98], voting[98], ],[voted_no[99], voted_yes[99], voting[99], ],[voted_no[100], voted_yes[100], voting[100], ],[voted_no[101], voted_yes[101], voting[101], ],[voted_no[102], voted_yes[102], voting[102], ],[voted_no[103], voted_yes[103], voting[103], ],[voted_no[104], voted_yes[104], voting[104], ],[voted_no[105], voted_yes[105], voting[105], ],[voted_no[106], voted_yes[106], voting[106], ],[voted_no[107], voted_yes[107], voting[107], ],[voted_no[108], voted_yes[108], voting[108], ],[voted_no[109], voted_yes[109], voting[109], ],[voted_no[110], voted_yes[110], voting[110], ],[voted_no[111], voted_yes[111], voting[111], ],[voted_no[112], voted_yes[112], voting[112], ],[voted_no[113], voted_yes[113], voting[113], ],[voted_no[114], voted_yes[114], voting[114], ],[voted_no[115], voted_yes[115], voting[115], ],[voted_no[116], voted_yes[116], voting[116], ],[voted_no[117], voted_yes[117], voting[117], ],[voted_no[118], voted_yes[118], voting[118], ],[voted_no[119], voted_yes[119], voting[119], ],[voted_no[120], voted_yes[120], voting[120], ],[voted_no[121], voted_yes[121], voting[121], ],[voted_no[122], voted_yes[122], voting[122], ],[voted_no[123], voted_yes[123], voting[123], ],[voted_no[124], voted_yes[124], voting[124], ],[voted_no[125], voted_yes[125], voting[125], ],[voted_no[126], voted_yes[126], voting[126], ],[voted_no[127], voted_yes[127], voting[127], ],[voted_no[128], voted_yes[128], voting[128], ],[voted_no[129], voted_yes[129], voting[129], ],[voted_no[130], voted_yes[130], voting[130], ],[voted_no[131], voted_yes[131], voting[131], ],[voted_no[132], voted_yes[132], voting[132], ],[voted_no[133], voted_yes[133], voting[133], ],[voted_no[134], voted_yes[134], voting[134], ],[voted_no[135], voted_yes[135], voting[135], ],[voted_no[136], voted_yes[136], voting[136], ],[voted_no[137], voted_yes[137], voting[137], ],[voted_no[138], voted_yes[138], voting[138], ],[voted_no[139], voted_yes[139], voting[139], ],[voted_no[140], voted_yes[140], voting[140], ],[voted_no[141], voted_yes[141], voting[141], ],[voted_no[142], voted_yes[142], voting[142], ],[voted_no[143], voted_yes[143], voting[143], ],[voted_no[144], voted_yes[144], voting[144], ],[voted_no[145], voted_yes[145], voting[145], ],[voted_no[146], voted_yes[146], voting[146], ],[voted_no[147], voted_yes[147], voting[147], ],[voted_no[148], voted_yes[148], voting[148], ],[voted_no[149], voted_yes[149], voting[149], ],[voted_no[150], voted_yes[150], voting[150], ],[voted_no[151], voted_yes[151], voting[151], ],[voted_no[152], voted_yes[152], voting[152], ],[voted_no[153], voted_yes[153], voting[153], ],[voted_no[154], voted_yes[154], voting[154], ],[voted_no[155], voted_yes[155], voting[155], ],[voted_no[156], voted_yes[156], voting[156], ],[voted_no[157], voted_yes[157], voting[157], ],[voted_no[158], voted_yes[158], voting[158], ],[voted_no[159], voted_yes[159], voting[159], ],[voted_no[160], voted_yes[160], voting[160], ],[voted_no[161], voted_yes[161], voting[161], ],[voted_no[162], voted_yes[162], voting[162], ],[voted_no[163], voted_yes[163], voting[163], ],[voted_no[164], voted_yes[164], voting[164], ],[voted_no[165], voted_yes[165], voting[165], ],[voted_no[166], voted_yes[166], voting[166], ],[voted_no[167], voted_yes[167], voting[167], ],[voted_no[168], voted_yes[168], voting[168], ],[voted_no[169], voted_yes[169], voting[169], ],[voted_no[170], voted_yes[170], voting[170], ],[voted_no[171], voted_yes[171], voting[171], ],[voted_no[172], voted_yes[172], voting[172], ],[voted_no[173], voted_yes[173], voting[173], ],[voted_no[174], voted_yes[174], voting[174], ],[voted_no[175], voted_yes[175], voting[175], ],[voted_no[176], voted_yes[176], voting[176], ],[voted_no[177], voted_yes[177], voting[177], ],[voted_no[178], voted_yes[178], voting[178], ],[voted_no[179], voted_yes[179], voting[179], ],[voted_no[180], voted_yes[180], voting[180], ],[voted_no[181], voted_yes[181], voting[181], ],[voted_no[182], voted_yes[182], voting[182], ],[voted_no[183], voted_yes[183], voting[183], ],[voted_no[184], voted_yes[184], voting[184], ],[voted_no[185], voted_yes[185], voting[185], ],[voted_no[186], voted_yes[186], voting[186], ],[voted_no[187], voted_yes[187], voting[187], ],[voted_no[188], voted_yes[188], voting[188], ],[voted_no[189], voted_yes[189], voting[189], ],[voted_no[190], voted_yes[190], voting[190], ],[voted_no[191], voted_yes[191], voting[191], ],[voted_no[192], voted_yes[192], voting[192], ],[voted_no[193], voted_yes[193], voting[193], ],[voted_no[194], voted_yes[194], voting[194], ],[voted_no[195], voted_yes[195], voting[195], ],[voted_no[196], voted_yes[196], voting[196], ],[voted_no[197], voted_yes[197], voting[197], ],[voted_no[198], voted_yes[198], voting[198], ],[voted_no[199], voted_yes[199], voting[199], ],[voted_no[200], voted_yes[200], voting[200], ],[voted_no[201], voted_yes[201], voting[201], ],[voted_no[202], voted_yes[202], voting[202], ],[voted_no[203], voted_yes[203], voting[203], ],[voted_no[204], voted_yes[204], voting[204], ],[voted_no[205], voted_yes[205], voting[205], ],[voted_no[206], voted_yes[206], voting[206], ],[voted_no[207], voted_yes[207], voting[207], ],[voted_no[208], voted_yes[208], voting[208], ],[voted_no[209], voted_yes[209], voting[209], ],[voted_no[210], voted_yes[210], voting[210], ],[voted_no[211], voted_yes[211], voting[211], ],[voted_no[212], voted_yes[212], voting[212], ],[voted_no[213], voted_yes[213], voting[213], ],[voted_no[214], voted_yes[214], voting[214], ],[voted_no[215], voted_yes[215], voting[215], ],[voted_no[216], voted_yes[216], voting[216], ],[voted_no[217], voted_yes[217], voting[217], ],[voted_no[218], voted_yes[218], voting[218], ],[voted_no[219], voted_yes[219], voting[219], ],[voted_no[220], voted_yes[220], voting[220], ],[voted_no[221], voted_yes[221], voting[221], ],[voted_no[222], voted_yes[222], voting[222], ],[voted_no[223], voted_yes[223], voting[223], ],[voted_no[224], voted_yes[224], voting[224], ],[voted_no[225], voted_yes[225], voting[225], ],[voted_no[226], voted_yes[226], voting[226], ],[voted_no[227], voted_yes[227], voting[227], ],[voted_no[228], voted_yes[228], voting[228], ],[voted_no[229], voted_yes[229], voting[229], ],[voted_no[230], voted_yes[230], voting[230], ],[voted_no[231], voted_yes[231], voting[231], ],[voted_no[232], voted_yes[232], voting[232], ],[voted_no[233], voted_yes[233], voting[233], ],[voted_no[234], voted_yes[234], voting[234], ],[voted_no[235], voted_yes[235], voting[235], ],[voted_no[236], voted_yes[236], voting[236], ],[voted_no[237], voted_yes[237], voting[237], ],[voted_no[238], voted_yes[238], voting[238], ],[voted_no[239], voted_yes[239], voting[239], ],[voted_no[240], voted_yes[240], voting[240], ],[voted_no[241], voted_yes[241], voting[241], ],[voted_no[242], voted_yes[242], voting[242], ],[voted_no[243], voted_yes[243], voting[243], ],[voted_no[244], voted_yes[244], voting[244], ],[voted_no[245], voted_yes[245], voting[245], ],[voted_no[246], voted_yes[246], voting[246], ],[voted_no[247], voted_yes[247], voting[247], ],[voted_no[248], voted_yes[248], voting[248], ],[voted_no[249], voted_yes[249], voting[249], ],[voted_no[250], voted_yes[250], voting[250], ],[voted_no[251], voted_yes[251], voting[251], ],[voted_no[252], voted_yes[252], voting[252], ],[voted_no[253], voted_yes[253], voting[253], ],[voted_no[254], voted_yes[254], voting[254], ],[voted_no[255], voted_yes[255], voting[255], ],[voted_no[256], voted_yes[256], voting[256], ],[voted_no[257], voted_yes[257], voting[257], ],[voted_no[258], voted_yes[258], voting[258], ],[voted_no[259], voted_yes[259], voting[259], ],[voted_no[260], voted_yes[260], voting[260], ],[voted_no[261], voted_yes[261], voting[261], ],[voted_no[262], voted_yes[262], voting[262], ],[voted_no[263], voted_yes[263], voting[263], ],[voted_no[264], voted_yes[264], voting[264], ],[voted_no[265], voted_yes[265], voting[265], ],[voted_no[266], voted_yes[266], voting[266], ],[voted_no[267], voted_yes[267], voting[267], ],[voted_no[268], voted_yes[268], voting[268], ],[voted_no[269], voted_yes[269], voting[269], ],[voted_no[270], voted_yes[270], voting[270], ],[voted_no[271], voted_yes[271], voting[271], ],[voted_no[272], voted_yes[272], voting[272], ],[voted_no[273], voted_yes[273], voting[273], ],[voted_no[274], voted_yes[274], voting[274], ],[voted_no[275], voted_yes[275], voting[275], ],[voted_no[276], voted_yes[276], voting[276], ],[voted_no[277], voted_yes[277], voting[277], ],[voted_no[278], voted_yes[278], voting[278], ],[voted_no[279], voted_yes[279], voting[279], ],[voted_no[280], voted_yes[280], voting[280], ],[voted_no[281], voted_yes[281], voting[281], ],[voted_no[282], voted_yes[282], voting[282], ],[voted_no[283], voted_yes[283], voting[283], ],[voted_no[284], voted_yes[284], voting[284], ],[voted_no[285], voted_yes[285], voting[285], ],[voted_no[286], voted_yes[286], voting[286], ],[voted_no[287], voted_yes[287], voting[287], ],[voted_no[288], voted_yes[288], voting[288], ],[voted_no[289], voted_yes[289], voting[289], ],[voted_no[290], voted_yes[290], voting[290], ],[voted_no[291], voted_yes[291], voting[291], ],[voted_no[292], voted_yes[292], voting[292], ],[voted_no[293], voted_yes[293], voting[293], ],[voted_no[294], voted_yes[294], voting[294], ],[voted_no[295], voted_yes[295], voting[295], ],[voted_no[296], voted_yes[296], voting[296], ],[voted_no[297], voted_yes[297], voting[297], ],[voted_no[298], voted_yes[298], voting[298], ],[voted_no[299], voted_yes[299], voting[299], ],[voted_no[300], voted_yes[300], voting[300], ],[voted_no[301], voted_yes[301], voting[301], ],[voted_no[302], voted_yes[302], voting[302], ],[voted_no[303], voted_yes[303], voting[303], ],[voted_no[304], voted_yes[304], voting[304], ],[voted_no[305], voted_yes[305], voting[305], ],[voted_no[306], voted_yes[306], voting[306], ],[voted_no[307], voted_yes[307], voting[307], ],[voted_no[308], voted_yes[308], voting[308], ],[voted_no[309], voted_yes[309], voting[309], ],[voted_no[310], voted_yes[310], voting[310], ],[voted_no[311], voted_yes[311], voting[311], ],[voted_no[312], voted_yes[312], voting[312], ],[voted_no[313], voted_yes[313], voting[313], ],[voted_no[314], voted_yes[314], voting[314], ],[voted_no[315], voted_yes[315], voting[315], ],[voted_no[316], voted_yes[316], voting[316], ],[voted_no[317], voted_yes[317], voting[317], ],[voted_no[318], voted_yes[318], voting[318], ],[voted_no[319], voted_yes[319], voting[319], ],[voted_no[320], voted_yes[320], voting[320], ],[voted_no[321], voted_yes[321], voting[321], ],[voted_no[322], voted_yes[322], voting[322], ],[voted_no[323], voted_yes[323], voting[323], ],[voted_no[324], voted_yes[324], voting[324], ],[voted_no[325], voted_yes[325], voting[325], ],[voted_no[326], voted_yes[326], voting[326], ],[voted_no[327], voted_yes[327], voting[327], ],[voted_no[328], voted_yes[328], voting[328], ],[voted_no[329], voted_yes[329], voting[329], ],[voted_no[330], voted_yes[330], voting[330], ],[voted_no[331], voted_yes[331], voting[331], ],[voted_no[332], voted_yes[332], voting[332], ],[voted_no[333], voted_yes[333], voting[333], ],[voted_no[334], voted_yes[334], voting[334], ],[voted_no[335], voted_yes[335], voting[335], ],[voted_no[336], voted_yes[336], voting[336], ],[voted_no[337], voted_yes[337], voting[337], ],[voted_no[338], voted_yes[338], voting[338], ],[voted_no[339], voted_yes[339], voting[339], ],[voted_no[340], voted_yes[340], voting[340], ],[voted_no[341], voted_yes[341], voting[341], ],[voted_no[342], voted_yes[342], voting[342], ],[voted_no[343], voted_yes[343], voting[343], ],[voted_no[344], voted_yes[344], voting[344], ],[voted_no[345], voted_yes[345], voting[345], ],[voted_no[346], voted_yes[346], voting[346], ],[voted_no[347], voted_yes[347], voting[347], ],[voted_no[348], voted_yes[348], voting[348], ],[voted_no[349], voted_yes[349], voting[349], ],[voted_no[350], voted_yes[350], voting[350], ],[voted_no[351], voted_yes[351], voting[351], ],[voted_no[352], voted_yes[352], voting[352], ],[voted_no[353], voted_yes[353], voting[353], ],[voted_no[354], voted_yes[354], voting[354], ],[voted_no[355], voted_yes[355], voting[355], ],[voted_no[356], voted_yes[356], voting[356], ],[voted_no[357], voted_yes[357], voting[357], ],[voted_no[358], voted_yes[358], voting[358], ],[voted_no[359], voted_yes[359], voting[359], ],[voted_no[360], voted_yes[360], voting[360], ],[voted_no[361], voted_yes[361], voting[361], ],[voted_no[362], voted_yes[362], voting[362], ],[voted_no[363], voted_yes[363], voting[363], ],[voted_no[364], voted_yes[364], voting[364], ],[voted_no[365], voted_yes[365], voting[365], ],[voted_no[366], voted_yes[366], voting[366], ],[voted_no[367], voted_yes[367], voting[367], ],[voted_no[368], voted_yes[368], voting[368], ],[voted_no[369], voted_yes[369], voting[369], ],[voted_no[370], voted_yes[370], voting[370], ],[voted_no[371], voted_yes[371], voting[371], ],[voted_no[372], voted_yes[372], voting[372], ],[voted_no[373], voted_yes[373], voting[373], ],[voted_no[374], voted_yes[374], voting[374], ],[voted_no[375], voted_yes[375], voting[375], ],[voted_no[376], voted_yes[376], voting[376], ],[voted_no[377], voted_yes[377], voting[377], ],[voted_no[378], voted_yes[378], voting[378], ],[voted_no[379], voted_yes[379], voting[379], ],[voted_no[380], voted_yes[380], voting[380], ],[voted_no[381], voted_yes[381], voting[381], ],[voted_no[382], voted_yes[382], voting[382], ],[voted_no[383], voted_yes[383], voting[383], ],[voted_no[384], voted_yes[384], voting[384], ],[voted_no[385], voted_yes[385], voting[385], ],[voted_no[386], voted_yes[386], voting[386], ],[voted_no[387], voted_yes[387], voting[387], ],[voted_no[388], voted_yes[388], voting[388], ],[voted_no[389], voted_yes[389], voting[389], ],[voted_no[390], voted_yes[390], voting[390], ],[voted_no[391], voted_yes[391], voting[391], ],[voted_no[392], voted_yes[392], voting[392], ],[voted_no[393], voted_yes[393], voting[393], ],[voted_no[394], voted_yes[394], voting[394], ],[voted_no[395], voted_yes[395], voting[395], ],[voted_no[396], voted_yes[396], voting[396], ],[voted_no[397], voted_yes[397], voting[397], ],[voted_no[398], voted_yes[398], voting[398], ],[voted_no[399], voted_yes[399], voting[399], ],[voted_no[400], voted_yes[400], voting[400], ],[voted_no[401], voted_yes[401], voting[401], ],[voted_no[402], voted_yes[402], voting[402], ],[voted_no[403], voted_yes[403], voting[403], ],[voted_no[404], voted_yes[404], voting[404], ],[voted_no[405], voted_yes[405], voting[405], ],[voted_no[406], voted_yes[406], voting[406], ],[voted_no[407], voted_yes[407], voting[407], ],[voted_no[408], voted_yes[408], voting[408], ],[voted_no[409], voted_yes[409], voting[409], ],[voted_no[410], voted_yes[410], voting[410], ],[voted_no[411], voted_yes[411], voting[411], ],[voted_no[412], voted_yes[412], voting[412], ],[voted_no[413], voted_yes[413], voting[413], ],[voted_no[414], voted_yes[414], voting[414], ],[voted_no[415], voted_yes[415], voting[415], ],[voted_no[416], voted_yes[416], voting[416], ],[voted_no[417], voted_yes[417], voting[417], ],[voted_no[418], voted_yes[418], voting[418], ],[voted_no[419], voted_yes[419], voting[419], ],[voted_no[420], voted_yes[420], voting[420], ],[voted_no[421], voted_yes[421], voting[421], ],[voted_no[422], voted_yes[422], voting[422], ],[voted_no[423], voted_yes[423], voting[423], ],[voted_no[424], voted_yes[424], voting[424], ],[voted_no[425], voted_yes[425], voting[425], ],[voted_no[426], voted_yes[426], voting[426], ],[voted_no[427], voted_yes[427], voting[427], ],[voted_no[428], voted_yes[428], voting[428], ],[voted_no[429], voted_yes[429], voting[429], ],[voted_no[430], voted_yes[430], voting[430], ],[voted_no[431], voted_yes[431], voting[431], ],[voted_no[432], voted_yes[432], voting[432], ],[voted_no[433], voted_yes[433], voting[433], ],[voted_no[434], voted_yes[434], voting[434], ],[voted_no[435], voted_yes[435], voting[435], ],[voted_no[436], voted_yes[436], voting[436], ],[voted_no[437], voted_yes[437], voting[437], ],[voted_no[438], voted_yes[438], voting[438], ],[voted_no[439], voted_yes[439], voting[439], ],[voted_no[440], voted_yes[440], voting[440], ],[voted_no[441], voted_yes[441], voting[441], ],[voted_no[442], voted_yes[442], voting[442], ],[voted_no[443], voted_yes[443], voting[443], ],[voted_no[444], voted_yes[444], voting[444], ],[voted_no[445], voted_yes[445], voting[445], ],[voted_no[446], voted_yes[446], voting[446], ],[voted_no[447], voted_yes[447], voting[447], ],[voted_no[448], voted_yes[448], voting[448], ],[voted_no[449], voted_yes[449], voting[449], ],[voted_no[450], voted_yes[450], voting[450], ],[voted_no[451], voted_yes[451], voting[451], ],[voted_no[452], voted_yes[452], voting[452], ],[voted_no[453], voted_yes[453], voting[453], ],[voted_no[454], voted_yes[454], voting[454], ],[voted_no[455], voted_yes[455], voting[455], ],[voted_no[456], voted_yes[456], voting[456], ],[voted_no[457], voted_yes[457], voting[457], ],[voted_no[458], voted_yes[458], voting[458], ],[voted_no[459], voted_yes[459], voting[459], ],[voted_no[460], voted_yes[460], voting[460], ],[voted_no[461], voted_yes[461], voting[461], ],[voted_no[462], voted_yes[462], voting[462], ],[voted_no[463], voted_yes[463], voting[463], ],[voted_no[464], voted_yes[464], voting[464], ],[voted_no[465], voted_yes[465], voting[465], ],[voted_no[466], voted_yes[466], voting[466], ],[voted_no[467], voted_yes[467], voting[467], ],[voted_no[468], voted_yes[468], voting[468], ],[voted_no[469], voted_yes[469], voting[469], ],[voted_no[470], voted_yes[470], voting[470], ],[voted_no[471], voted_yes[471], voting[471], ],[voted_no[472], voted_yes[472], voting[472], ],[voted_no[473], voted_yes[473], voting[473], ],[voted_no[474], voted_yes[474], voting[474], ],[voted_no[475], voted_yes[475], voting[475], ],[voted_no[476], voted_yes[476], voting[476], ],[voted_no[477], voted_yes[477], voting[477], ],[voted_no[478], voted_yes[478], voting[478], ],[voted_no[479], voted_yes[479], voting[479], ],[voted_no[480], voted_yes[480], voting[480], ],[voted_no[481], voted_yes[481], voting[481], ],[voted_no[482], voted_yes[482], voting[482], ],[voted_no[483], voted_yes[483], voting[483], ],[voted_no[484], voted_yes[484], voting[484], ],[voted_no[485], voted_yes[485], voting[485], ],[voted_no[486], voted_yes[486], voting[486], ],[voted_no[487], voted_yes[487], voting[487], ],[voted_no[488], voted_yes[488], voting[488], ],[voted_no[489], voted_yes[489], voting[489], ],[voted_no[490], voted_yes[490], voting[490], ],[voted_no[491], voted_yes[491], voting[491], ],[voted_no[492], voted_yes[492], voting[492], ],[voted_no[493], voted_yes[493], voting[493], ],[voted_no[494], voted_yes[494], voting[494], ],[voted_no[495], voted_yes[495], voting[495], ],[voted_no[496], voted_yes[496], voting[496], ],[voted_no[497], voted_yes[497], voting[497], ],[voted_no[498], voted_yes[498], voting[498], ],[voted_no[499], voted_yes[499], voting[499], ],
May 30, 2017 8:26:11 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array voted_no to variables to allow decomposition.
May 30, 2017 8:26:12 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array voted_yes to variables to allow decomposition.
May 30, 2017 8:26:12 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array voting to variables to allow decomposition.
May 30, 2017 8:26:14 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/BenchKit/INPUTS/Referendum-COL-0500/LTLCardinality.gal : 58 ms
May 30, 2017 8:26:14 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSLTLTools
INFO: Time to serialize properties into /home/mcc/BenchKit/INPUTS/Referendum-COL-0500/LTLCardinality.ltl : 75 ms
Segmentation fault
Segmentation fault
Segmentation fault
Segmentation fault
Bus error
Bus error
Bus error
Bus error
Segmentation fault
Segmentation fault
Segmentation fault
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="Referendum-COL-0500"
export BK_EXAMINATION="LTLCardinality"
export BK_TOOL="spot"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
tar xzf /home/mcc/BenchKit/INPUTS/Referendum-COL-0500.tgz
mv Referendum-COL-0500 execution
# this is for BenchKit: explicit launching of the test
cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-3254"
echo " Executing tool spot"
echo " Input is Referendum-COL-0500, examination is LTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r206-smll-149581169600104"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "LTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "LTLCardinality" != "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 "LTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property LTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "LTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;