MCC'2017 - Execution of r210-smll-149581174200101

About the Execution of ITS-Tools for Referendum-COL-0500

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
342.540	9616.00	16827.00	246.40	500 500 500 500 500 500 500 1 500 1 500 1 500 500 500 500	normal

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.............
=====================================================================
Generated by BenchKit 2-3254
Executing tool itstools
Input is Referendum-COL-0500, examination is UpperBounds
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r210-smll-149581174200101
=====================================================================

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

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

The expected result is a vector of positive values
NUM_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME Referendum-COL-0500-UpperBounds-0
FORMULA_NAME Referendum-COL-0500-UpperBounds-1
FORMULA_NAME Referendum-COL-0500-UpperBounds-10
FORMULA_NAME Referendum-COL-0500-UpperBounds-11
FORMULA_NAME Referendum-COL-0500-UpperBounds-12
FORMULA_NAME Referendum-COL-0500-UpperBounds-13
FORMULA_NAME Referendum-COL-0500-UpperBounds-14
FORMULA_NAME Referendum-COL-0500-UpperBounds-15
FORMULA_NAME Referendum-COL-0500-UpperBounds-2
FORMULA_NAME Referendum-COL-0500-UpperBounds-3
FORMULA_NAME Referendum-COL-0500-UpperBounds-4
FORMULA_NAME Referendum-COL-0500-UpperBounds-5
FORMULA_NAME Referendum-COL-0500-UpperBounds-6
FORMULA_NAME Referendum-COL-0500-UpperBounds-7
FORMULA_NAME Referendum-COL-0500-UpperBounds-8
FORMULA_NAME Referendum-COL-0500-UpperBounds-9

=== Now, execution of the tool begins

BK_START 1496278112891

its-reach command run as :

/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/UpperBounds.pnml.gal -t CGAL -reachable-file UpperBounds.prop --nowitness
Loading property file UpperBounds.prop.
Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum\_COL\_0500\_flat\_flat,3.63603e+238,3.15714,14860,2,4000,5,12505,6,0,4007,8001,0
Total reachable state count : 3.636029179586993683265444291665825203311e+238

Verifying 16 reachability properties.
Min sum of variable value : 0
Maximum sum along a path : 500
Bounds property Referendum-COL-0500-UpperBounds-0 :0 <= 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] <= 500
FORMULA Referendum-COL-0500-UpperBounds-0 500 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum-COL-0500-UpperBounds-0,0,3.20122,14992,1,0,7,12505,9,1,9010,8001,4
Min sum of variable value : 0
Maximum sum along a path : 500
Bounds property Referendum-COL-0500-UpperBounds-1 :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] <= 500
FORMULA Referendum-COL-0500-UpperBounds-1 500 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum-COL-0500-UpperBounds-1,0,3.25217,15228,1,0,8,14997,10,1,12512,13985,5
Min sum of variable value : 0
Maximum sum along a path : 500
Bounds property Referendum-COL-0500-UpperBounds-2 :0 <= 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] <= 500
FORMULA Referendum-COL-0500-UpperBounds-2 500 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum-COL-0500-UpperBounds-2,0,3.30152,16016,1,0,9,17994,11,1,16010,17978,6
Min sum of variable value : 0
Maximum sum along a path : 1
Bounds property Referendum-COL-0500-UpperBounds-3 :0 <= ready[0] <= 1
FORMULA Referendum-COL-0500-UpperBounds-3 1 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum-COL-0500-UpperBounds-3,0,3.33157,16572,1,0,10,19495,12,1,19014,22479,7
Min sum of variable value : 0
Maximum sum along a path : 500
Bounds property Referendum-COL-0500-UpperBounds-4 :0 <= 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] <= 500
FORMULA Referendum-COL-0500-UpperBounds-4 500 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum-COL-0500-UpperBounds-4,0,3.35703,16724,1,0,10,19495,12,1,19014,22479,7
Min sum of variable value : 0
Maximum sum along a path : 1
Bounds property Referendum-COL-0500-UpperBounds-5 :0 <= ready[0] <= 1
FORMULA Referendum-COL-0500-UpperBounds-5 1 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum-COL-0500-UpperBounds-5,0,3.37433,16736,1,0,10,19495,12,1,19014,22479,7
Min sum of variable value : 0
Maximum sum along a path : 500
Bounds property Referendum-COL-0500-UpperBounds-6 :0 <= 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] <= 500
FORMULA Referendum-COL-0500-UpperBounds-6 500 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum-COL-0500-UpperBounds-6,0,3.40235,16736,1,0,10,19495,12,1,19014,22479,7
Min sum of variable value : 0
Maximum sum along a path : 500
Bounds property Referendum-COL-0500-UpperBounds-7 :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] <= 500
FORMULA Referendum-COL-0500-UpperBounds-7 500 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum-COL-0500-UpperBounds-7,0,3.4292,16736,1,0,10,19495,12,1,19014,22479,7
Min sum of variable value : 0
Maximum sum along a path : 500
Bounds property Referendum-COL-0500-UpperBounds-8 :0 <= 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] <= 500
FORMULA Referendum-COL-0500-UpperBounds-8 500 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum-COL-0500-UpperBounds-8,0,3.45549,16736,1,0,10,19495,12,1,19014,22479,7
Min sum of variable value : 0
Maximum sum along a path : 500
Bounds property Referendum-COL-0500-UpperBounds-9 :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] <= 500
FORMULA Referendum-COL-0500-UpperBounds-9 500 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum-COL-0500-UpperBounds-9,0,3.48094,16736,1,0,10,19495,12,1,19014,22479,7
Min sum of variable value : 0
Maximum sum along a path : 500
Bounds property Referendum-COL-0500-UpperBounds-10 :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] <= 500
FORMULA Referendum-COL-0500-UpperBounds-10 500 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum-COL-0500-UpperBounds-10,0,3.50825,16736,1,0,10,19495,12,1,19014,22479,7
Min sum of variable value : 0
Maximum sum along a path : 500
Bounds property Referendum-COL-0500-UpperBounds-11 :0 <= 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] <= 500
FORMULA Referendum-COL-0500-UpperBounds-11 500 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum-COL-0500-UpperBounds-11,0,3.53479,16736,1,0,10,19495,12,1,19014,22479,7
Min sum of variable value : 0
Maximum sum along a path : 500
Bounds property Referendum-COL-0500-UpperBounds-12 :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] <= 500
FORMULA Referendum-COL-0500-UpperBounds-12 500 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum-COL-0500-UpperBounds-12,0,3.56042,16736,1,0,10,19495,12,1,19014,22479,7
Min sum of variable value : 0
Maximum sum along a path : 500
Bounds property Referendum-COL-0500-UpperBounds-13 :0 <= 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] <= 500
FORMULA Referendum-COL-0500-UpperBounds-13 500 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum-COL-0500-UpperBounds-13,0,3.58587,16736,1,0,10,19495,12,1,19014,22479,7
Min sum of variable value : 0
Maximum sum along a path : 500
Bounds property Referendum-COL-0500-UpperBounds-14 :0 <= 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] <= 500
FORMULA Referendum-COL-0500-UpperBounds-14 500 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum-COL-0500-UpperBounds-14,0,3.61065,16736,1,0,10,19495,12,1,19014,22479,7
Min sum of variable value : 0
Maximum sum along a path : 1
Bounds property Referendum-COL-0500-UpperBounds-15 :0 <= ready[0] <= 1
FORMULA Referendum-COL-0500-UpperBounds-15 1 TECHNIQUES DECISION_DIAGRAMS TOPOLOGICAL USE_NUPN

Model ,|S| ,Time ,Mem(kb) ,fin. SDD ,fin. DDD ,peak SDD ,peak DDD ,SDD Hom ,SDD cache peak ,DDD Hom ,DDD cachepeak ,SHom cache
Referendum-COL-0500-UpperBounds-15,0,3.62909,16736,1,0,10,19495,12,1,19014,22479,7
Exit code :0

BK_STOP 1496278122507

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ UpperBounds = StateSpace ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution UpperBounds -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
+ ulimit -s 65536
+ java -Dosgi.requiredJavaVersion=1.6 -Xss8m -Xms40m -Xmx8192m -Declipse.pde.launch=true -Dfile.encoding=UTF-8 -classpath /home/mcc/BenchKit//eclipse/plugins/org.eclipse.equinox.launcher_1.3.201.v20161025-1711.jar org.eclipse.equinox.launcher.Main -application fr.lip6.move.gal.application.pnmcc -data /home/mcc/BenchKit//workspace -os linux -ws gtk -arch x86_64 -nl en_US -consoleLog -pnfolder /home/mcc/execution -examination UpperBounds -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -smt
Jun 01, 2017 12:48:35 AM fr.lip6.move.gal.application.MccTranslator transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
Jun 01, 2017 12:48:35 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
Jun 01, 2017 12:48:37 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1512 ms
Jun 01, 2017 12:48:37 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 4 places.
Jun 01, 2017 12:48:37 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Computed order using colors.
Jun 01, 2017 12:48:37 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :Dot->ready,
Voters->voted_no,voted_yes,voting,

Jun 01, 2017 12:48:37 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 3 transitions.
Jun 01, 2017 12:48:37 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains.
Jun 01, 2017 12:48:38 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 604 ms
Jun 01, 2017 12:48:38 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 359 ms
Jun 01, 2017 12:48:38 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/UpperBounds.pnml.gal : 58 ms
Jun 01, 2017 12:48:38 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSTools
INFO: Time to serialize properties into /home/mcc/execution/UpperBounds.prop : 15 ms
Jun 01, 2017 12:48:42 AM fr.lip6.move.gal.itstools.Runner runTool
INFO: Standard error output from running tool CommandLine [args=[/home/mcc/BenchKit/eclipse/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.201705302212/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/UpperBounds.pnml.gal, -t, CGAL, -reachable-file, UpperBounds.prop, --nowitness], workingDir=/home/mcc/execution]
Read property : Referendum-COL-0500-UpperBounds-0 with value :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]
Read property : Referendum-COL-0500-UpperBounds-1 with value :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]
Read property : Referendum-COL-0500-UpperBounds-2 with value :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]
Read property : Referendum-COL-0500-UpperBounds-3 with value :ready[0]
Read property : Referendum-COL-0500-UpperBounds-4 with value :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]
Read property : Referendum-COL-0500-UpperBounds-5 with value :ready[0]
Read property : Referendum-COL-0500-UpperBounds-6 with value :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]
Read property : Referendum-COL-0500-UpperBounds-7 with value :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]
Read property : Referendum-COL-0500-UpperBounds-8 with value :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]
Read property : Referendum-COL-0500-UpperBounds-9 with value :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]
Read property : Referendum-COL-0500-UpperBounds-10 with value :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]
Read property : Referendum-COL-0500-UpperBounds-11 with value :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]
Read property : Referendum-COL-0500-UpperBounds-12 with value :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]
Read property : Referendum-COL-0500-UpperBounds-13 with value :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]
Read property : Referendum-COL-0500-UpperBounds-14 with value :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]
Read property : Referendum-COL-0500-UpperBounds-15 with value :ready[0]

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/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 itstools"
echo " Input is Referendum-COL-0500, examination is UpperBounds"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r210-smll-149581174200101"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "UpperBounds" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "UpperBounds" != "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 "UpperBounds.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property UpperBounds.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "UpperBounds.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 '' UpperBounds.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 ;