Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
........
=====================================================================
Generated by BenchKit 2-2265
Executing tool itstools
Input is PhilosophersDyn-COL-20, examination is ReachabilityFireabilitySimple
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r061kn-blw3-143254876300741
=====================================================================

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1432649967296

work folder: /home/mcc/execution
unsat
work folder: /home/mcc/execution

BK_STOP 1432651768716

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

Java HotSpot(TM) 64-Bit Server VM warning: ignoring option MaxPermSize=512m; support was removed in 8.0
May 26, 2015 2:19:30 PM fr.lip6.move.gal.application.Application transformPNML
INFO: Parsing pnml file : /home/mcc/execution/model.pnml
May 26, 2015 2:19:30 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
May 26, 2015 2:19:32 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Load time of PNML (colored model parsed with PNMLFW) : 1460 ms
May 26, 2015 2:19:32 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 8 places.
May 26, 2015 2:19:32 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: read order :VarOrder [vars=[HasRight[0], HasRight[1], HasRight[2], HasRight[3], HasRight[4], HasRight[5], HasRight[6], HasRight[7], HasRight[8], HasRight[9], HasRight[10], HasRight[11], HasRight[12], HasRight[13], HasRight[14], HasRight[15], HasRight[16], HasRight[17], HasRight[18], HasRight[19], HasLeft[0], HasLeft[1], HasLeft[2], HasLeft[3], HasLeft[4], HasLeft[5], HasLeft[6], HasLeft[7], HasLeft[8], HasLeft[9], HasLeft[10], HasLeft[11], HasLeft[12], HasLeft[13], HasLeft[14], HasLeft[15], HasLeft[16], HasLeft[17], HasLeft[18], HasLeft[19], WaitRight[0], WaitRight[1], WaitRight[2], WaitRight[3], WaitRight[4], WaitRight[5], WaitRight[6], WaitRight[7], WaitRight[8], WaitRight[9], WaitRight[10], WaitRight[11], WaitRight[12], WaitRight[13], WaitRight[14], WaitRight[15], WaitRight[16], WaitRight[17], WaitRight[18], WaitRight[19], WaitLeft[0], WaitLeft[1], WaitLeft[2], WaitLeft[3], WaitLeft[4], WaitLeft[5], WaitLeft[6], WaitLeft[7], WaitLeft[8], WaitLeft[9], WaitLeft[10], WaitLeft[11], WaitLeft[12], WaitLeft[13], WaitLeft[14], WaitLeft[15], WaitLeft[16], WaitLeft[17], WaitLeft[18], WaitLeft[19], Forks[0], Forks[1], Forks[2], Forks[3], Forks[4], Forks[5], Forks[6], Forks[7], Forks[8], Forks[9], Forks[10], Forks[11], Forks[12], Forks[13], Forks[14], Forks[15], Forks[16], Forks[17], Forks[18], Forks[19], Think[0], Think[1], Think[2], Think[3], Think[4], Think[5], Think[6], Think[7], Think[8], Think[9], Think[10], Think[11], Think[12], Think[13], Think[14], Think[15], Think[16], Think[17], Think[18], Think[19], Outside[0], Outside[1], Outside[2], Outside[3], Outside[4], Outside[5], Outside[6], Outside[7], Outside[8], Outside[9], Outside[10], Outside[11], Outside[12], Outside[13], Outside[14], Outside[15], Outside[16], Outside[17], Outside[18], Outside[19], Neighbourhood[0], Neighbourhood[1], Neighbourhood[2], Neighbourhood[3], Neighbourhood[4], Neighbourhood[5], Neighbourhood[6], Neighbourhood[7], Neighbourhood[8], Neighbourhood[9], Neighbourhood[10], Neighbourhood[11], Neighbourhood[12], Neighbourhood[13], Neighbourhood[14], Neighbourhood[15], Neighbourhood[16], Neighbourhood[17], Neighbourhood[18], Neighbourhood[19], Neighbourhood[20], Neighbourhood[21], Neighbourhood[22], Neighbourhood[23], Neighbourhood[24], Neighbourhood[25], Neighbourhood[26], Neighbourhood[27], Neighbourhood[28], Neighbourhood[29], Neighbourhood[30], Neighbourhood[31], Neighbourhood[32], Neighbourhood[33], Neighbourhood[34], Neighbourhood[35], Neighbourhood[36], Neighbourhood[37], Neighbourhood[38], Neighbourhood[39], Neighbourhood[40], Neighbourhood[41], Neighbourhood[42], Neighbourhood[43], Neighbourhood[44], Neighbourhood[45], Neighbourhood[46], Neighbourhood[47], Neighbourhood[48], Neighbourhood[49], Neighbourhood[50], Neighbourhood[51], Neighbourhood[52], Neighbourhood[53], Neighbourhood[54], Neighbourhood[55], Neighbourhood[56], Neighbourhood[57], Neighbourhood[58], Neighbourhood[59], Neighbourhood[60], Neighbourhood[61], Neighbourhood[62], Neighbourhood[63], Neighbourhood[64], Neighbourhood[65], Neighbourhood[66], Neighbourhood[67], Neighbourhood[68], Neighbourhood[69], Neighbourhood[70], Neighbourhood[71], Neighbourhood[72], Neighbourhood[73], Neighbourhood[74], Neighbourhood[75], Neighbourhood[76], Neighbourhood[77], Neighbourhood[78], Neighbourhood[79], Neighbourhood[80], Neighbourhood[81], Neighbourhood[82], Neighbourhood[83], Neighbourhood[84], Neighbourhood[85], Neighbourhood[86], Neighbourhood[87], Neighbourhood[88], Neighbourhood[89], Neighbourhood[90], Neighbourhood[91], Neighbourhood[92], Neighbourhood[93], Neighbourhood[94], Neighbourhood[95], Neighbourhood[96], Neighbourhood[97], Neighbourhood[98], Neighbourhood[99], Neighbourhood[100], Neighbourhood[101], Neighbourhood[102], Neighbourhood[103], Neighbourhood[104], Neighbourhood[105], Neighbourhood[106], Neighbourhood[107], Neighbourhood[108], Neighbourhood[109], Neighbourhood[110], Neighbourhood[111], Neighbourhood[112], Neighbourhood[113], Neighbourhood[114], Neighbourhood[115], Neighbourhood[116], Neighbourhood[117], Neighbourhood[118], Neighbourhood[119], Neighbourhood[120], Neighbourhood[121], Neighbourhood[122], Neighbourhood[123], Neighbourhood[124], Neighbourhood[125], Neighbourhood[126], Neighbourhood[127], Neighbourhood[128], Neighbourhood[129], Neighbourhood[130], Neighbourhood[131], Neighbourhood[132], Neighbourhood[133], Neighbourhood[134], Neighbourhood[135], Neighbourhood[136], Neighbourhood[137], Neighbourhood[138], Neighbourhood[139], Neighbourhood[140], Neighbourhood[141], Neighbourhood[142], Neighbourhood[143], Neighbourhood[144], Neighbourhood[145], Neighbourhood[146], Neighbourhood[147], Neighbourhood[148], Neighbourhood[149], Neighbourhood[150], Neighbourhood[151], Neighbourhood[152], Neighbourhood[153], Neighbourhood[154], Neighbourhood[155], Neighbourhood[156], Neighbourhood[157], Neighbourhood[158], Neighbourhood[159], Neighbourhood[160], Neighbourhood[161], Neighbourhood[162], Neighbourhood[163], Neighbourhood[164], Neighbourhood[165], Neighbourhood[166], Neighbourhood[167], Neighbourhood[168], Neighbourhood[169], Neighbourhood[170], Neighbourhood[171], Neighbourhood[172], Neighbourhood[173], Neighbourhood[174], Neighbourhood[175], Neighbourhood[176], Neighbourhood[177], Neighbourhood[178], Neighbourhood[179], Neighbourhood[180], Neighbourhood[181], Neighbourhood[182], Neighbourhood[183], Neighbourhood[184], Neighbourhood[185], Neighbourhood[186], Neighbourhood[187], Neighbourhood[188], Neighbourhood[189], Neighbourhood[190], Neighbourhood[191], Neighbourhood[192], Neighbourhood[193], Neighbourhood[194], Neighbourhood[195], Neighbourhood[196], Neighbourhood[197], Neighbourhood[198], Neighbourhood[199], Neighbourhood[200], Neighbourhood[201], Neighbourhood[202], Neighbourhood[203], Neighbourhood[204], Neighbourhood[205], Neighbourhood[206], Neighbourhood[207], Neighbourhood[208], Neighbourhood[209], Neighbourhood[210], Neighbourhood[211], Neighbourhood[212], Neighbourhood[213], Neighbourhood[214], Neighbourhood[215], Neighbourhood[216], Neighbourhood[217], Neighbourhood[218], Neighbourhood[219], Neighbourhood[220], Neighbourhood[221], Neighbourhood[222], Neighbourhood[223], Neighbourhood[224], Neighbourhood[225], Neighbourhood[226], Neighbourhood[227], Neighbourhood[228], Neighbourhood[229], Neighbourhood[230], Neighbourhood[231], Neighbourhood[232], Neighbourhood[233], Neighbourhood[234], Neighbourhood[235], Neighbourhood[236], Neighbourhood[237], Neighbourhood[238], Neighbourhood[239], Neighbourhood[240], Neighbourhood[241], Neighbourhood[242], Neighbourhood[243], Neighbourhood[244], Neighbourhood[245], Neighbourhood[246], Neighbourhood[247], Neighbourhood[248], Neighbourhood[249], Neighbourhood[250], Neighbourhood[251], Neighbourhood[252], Neighbourhood[253], Neighbourhood[254], Neighbourhood[255], Neighbourhood[256], Neighbourhood[257], Neighbourhood[258], Neighbourhood[259], Neighbourhood[260], Neighbourhood[261], Neighbourhood[262], Neighbourhood[263], Neighbourhood[264], Neighbourhood[265], Neighbourhood[266], Neighbourhood[267], Neighbourhood[268], Neighbourhood[269], Neighbourhood[270], Neighbourhood[271], Neighbourhood[272], Neighbourhood[273], Neighbourhood[274], Neighbourhood[275], Neighbourhood[276], Neighbourhood[277], Neighbourhood[278], Neighbourhood[279], Neighbourhood[280], Neighbourhood[281], Neighbourhood[282], Neighbourhood[283], Neighbourhood[284], Neighbourhood[285], Neighbourhood[286], Neighbourhood[287], Neighbourhood[288], Neighbourhood[289], Neighbourhood[290], Neighbourhood[291], Neighbourhood[292], Neighbourhood[293], Neighbourhood[294], Neighbourhood[295], Neighbourhood[296], Neighbourhood[297], Neighbourhood[298], Neighbourhood[299], Neighbourhood[300], Neighbourhood[301], Neighbourhood[302], Neighbourhood[303], Neighbourhood[304], Neighbourhood[305], Neighbourhood[306], Neighbourhood[307], Neighbourhood[308], Neighbourhood[309], Neighbourhood[310], Neighbourhood[311], Neighbourhood[312], Neighbourhood[313], Neighbourhood[314], Neighbourhood[315], Neighbourhood[316], Neighbourhood[317], Neighbourhood[318], Neighbourhood[319], Neighbourhood[320], Neighbourhood[321], Neighbourhood[322], Neighbourhood[323], Neighbourhood[324], Neighbourhood[325], Neighbourhood[326], Neighbourhood[327], Neighbourhood[328], Neighbourhood[329], Neighbourhood[330], Neighbourhood[331], Neighbourhood[332], Neighbourhood[333], Neighbourhood[334], Neighbourhood[335], Neighbourhood[336], Neighbourhood[337], Neighbourhood[338], Neighbourhood[339], Neighbourhood[340], Neighbourhood[341], Neighbourhood[342], Neighbourhood[343], Neighbourhood[344], Neighbourhood[345], Neighbourhood[346], Neighbourhood[347], Neighbourhood[348], Neighbourhood[349], Neighbourhood[350], Neighbourhood[351], Neighbourhood[352], Neighbourhood[353], Neighbourhood[354], Neighbourhood[355], Neighbourhood[356], Neighbourhood[357], Neighbourhood[358], Neighbourhood[359], Neighbourhood[360], Neighbourhood[361], Neighbourhood[362], Neighbourhood[363], Neighbourhood[364], Neighbourhood[365], Neighbourhood[366], Neighbourhood[367], Neighbourhood[368], Neighbourhood[369], Neighbourhood[370], Neighbourhood[371], Neighbourhood[372], Neighbourhood[373], Neighbourhood[374], Neighbourhood[375], Neighbourhood[376], Neighbourhood[377], Neighbourhood[378], Neighbourhood[379], Neighbourhood[380], Neighbourhood[381], Neighbourhood[382], Neighbourhood[383], Neighbourhood[384], Neighbourhood[385], Neighbourhood[386], Neighbourhood[387], Neighbourhood[388], Neighbourhood[389], Neighbourhood[390], Neighbourhood[391], Neighbourhood[392], Neighbourhood[393], Neighbourhood[394], Neighbourhood[395], Neighbourhood[396], Neighbourhood[397], Neighbourhood[398], Neighbourhood[399]]]
May 26, 2015 2:19:32 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: sort/places :Neighbourhood->Neighbourhood,
Philosopher->HasRight,HasLeft,WaitRight,WaitLeft,Forks,Think,Outside,

May 26, 2015 2:19:32 PM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 7 transitions.
May 26, 2015 2:19:32 PM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains : CompositeGalOrder [children=[VarOrder [vars=[Neighbourhood[0]]], VarOrder [vars=[Neighbourhood[1]]], VarOrder [vars=[Neighbourhood[2]]], VarOrder [vars=[Neighbourhood[3]]], VarOrder [vars=[Neighbourhood[4]]], VarOrder [vars=[Neighbourhood[5]]], VarOrder [vars=[Neighbourhood[6]]], VarOrder [vars=[Neighbourhood[7]]], VarOrder [vars=[Neighbourhood[8]]], VarOrder [vars=[Neighbourhood[9]]], VarOrder [vars=[Neighbourhood[10]]], VarOrder [vars=[Neighbourhood[11]]], VarOrder [vars=[Neighbourhood[12]]], VarOrder [vars=[Neighbourhood[13]]], VarOrder [vars=[Neighbourhood[14]]], VarOrder [vars=[Neighbourhood[15]]], VarOrder [vars=[Neighbourhood[16]]], VarOrder [vars=[Neighbourhood[17]]], VarOrder [vars=[Neighbourhood[18]]], VarOrder [vars=[Neighbourhood[19]]], VarOrder [vars=[Neighbourhood[20]]], VarOrder [vars=[Neighbourhood[21]]], VarOrder [vars=[Neighbourhood[22]]], VarOrder [vars=[Neighbourhood[23]]], VarOrder [vars=[Neighbourhood[24]]], VarOrder [vars=[Neighbourhood[25]]], VarOrder [vars=[Neighbourhood[26]]], VarOrder [vars=[Neighbourhood[27]]], VarOrder [vars=[Neighbourhood[28]]], VarOrder [vars=[Neighbourhood[29]]], VarOrder [vars=[Neighbourhood[30]]], VarOrder [vars=[Neighbourhood[31]]], VarOrder [vars=[Neighbourhood[32]]], VarOrder [vars=[Neighbourhood[33]]], VarOrder [vars=[Neighbourhood[34]]], VarOrder [vars=[Neighbourhood[35]]], VarOrder [vars=[Neighbourhood[36]]], VarOrder [vars=[Neighbourhood[37]]], VarOrder [vars=[Neighbourhood[38]]], VarOrder [vars=[Neighbourhood[39]]], VarOrder [vars=[Neighbourhood[40]]], VarOrder [vars=[Neighbourhood[41]]], VarOrder [vars=[Neighbourhood[42]]], VarOrder [vars=[Neighbourhood[43]]], VarOrder [vars=[Neighbourhood[44]]], VarOrder [vars=[Neighbourhood[45]]], VarOrder [vars=[Neighbourhood[46]]], VarOrder [vars=[Neighbourhood[47]]], VarOrder [vars=[Neighbourhood[48]]], VarOrder [vars=[Neighbourhood[49]]], VarOrder [vars=[Neighbourhood[50]]], VarOrder [vars=[Neighbourhood[51]]], VarOrder [vars=[Neighbourhood[52]]], VarOrder [vars=[Neighbourhood[53]]], VarOrder [vars=[Neighbourhood[54]]], VarOrder [vars=[Neighbourhood[55]]], VarOrder [vars=[Neighbourhood[56]]], VarOrder [vars=[Neighbourhood[57]]], VarOrder [vars=[Neighbourhood[58]]], VarOrder [vars=[Neighbourhood[59]]], VarOrder [vars=[Neighbourhood[60]]], VarOrder [vars=[Neighbourhood[61]]], VarOrder [vars=[Neighbourhood[62]]], VarOrder [vars=[Neighbourhood[63]]], VarOrder [vars=[Neighbourhood[64]]], VarOrder [vars=[Neighbourhood[65]]], VarOrder [vars=[Neighbourhood[66]]], VarOrder [vars=[Neighbourhood[67]]], VarOrder [vars=[Neighbourhood[68]]], VarOrder [vars=[Neighbourhood[69]]], VarOrder [vars=[Neighbourhood[70]]], VarOrder [vars=[Neighbourhood[71]]], VarOrder [vars=[Neighbourhood[72]]], VarOrder [vars=[Neighbourhood[73]]], VarOrder [vars=[Neighbourhood[74]]], VarOrder [vars=[Neighbourhood[75]]], VarOrder [vars=[Neighbourhood[76]]], VarOrder [vars=[Neighbourhood[77]]], VarOrder [vars=[Neighbourhood[78]]], VarOrder [vars=[Neighbourhood[79]]], VarOrder [vars=[Neighbourhood[80]]], VarOrder [vars=[Neighbourhood[81]]], VarOrder [vars=[Neighbourhood[82]]], VarOrder [vars=[Neighbourhood[83]]], VarOrder [vars=[Neighbourhood[84]]], VarOrder [vars=[Neighbourhood[85]]], VarOrder [vars=[Neighbourhood[86]]], VarOrder [vars=[Neighbourhood[87]]], VarOrder [vars=[Neighbourhood[88]]], VarOrder [vars=[Neighbourhood[89]]], VarOrder [vars=[Neighbourhood[90]]], VarOrder [vars=[Neighbourhood[91]]], VarOrder [vars=[Neighbourhood[92]]], VarOrder [vars=[Neighbourhood[93]]], VarOrder [vars=[Neighbourhood[94]]], VarOrder [vars=[Neighbourhood[95]]], VarOrder [vars=[Neighbourhood[96]]], VarOrder [vars=[Neighbourhood[97]]], VarOrder [vars=[Neighbourhood[98]]], VarOrder [vars=[Neighbourhood[99]]], VarOrder [vars=[Neighbourhood[100]]], VarOrder [vars=[Neighbourhood[101]]], VarOrder [vars=[Neighbourhood[102]]], VarOrder [vars=[Neighbourhood[103]]], VarOrder [vars=[Neighbourhood[104]]], VarOrder [vars=[Neighbourhood[105]]], VarOrder [vars=[Neighbourhood[106]]], VarOrder [vars=[Neighbourhood[107]]], VarOrder [vars=[Neighbourhood[108]]], VarOrder [vars=[Neighbourhood[109]]], VarOrder [vars=[Neighbourhood[110]]], VarOrder [vars=[Neighbourhood[111]]], VarOrder [vars=[Neighbourhood[112]]], VarOrder [vars=[Neighbourhood[113]]], VarOrder [vars=[Neighbourhood[114]]], VarOrder [vars=[Neighbourhood[115]]], VarOrder [vars=[Neighbourhood[116]]], VarOrder [vars=[Neighbourhood[117]]], VarOrder [vars=[Neighbourhood[118]]], VarOrder [vars=[Neighbourhood[119]]], VarOrder [vars=[Neighbourhood[120]]], VarOrder [vars=[Neighbourhood[121]]], VarOrder [vars=[Neighbourhood[122]]], VarOrder [vars=[Neighbourhood[123]]], VarOrder [vars=[Neighbourhood[124]]], VarOrder [vars=[Neighbourhood[125]]], VarOrder [vars=[Neighbourhood[126]]], VarOrder [vars=[Neighbourhood[127]]], VarOrder [vars=[Neighbourhood[128]]], VarOrder [vars=[Neighbourhood[129]]], VarOrder [vars=[Neighbourhood[130]]], VarOrder [vars=[Neighbourhood[131]]], VarOrder [vars=[Neighbourhood[132]]], VarOrder [vars=[Neighbourhood[133]]], VarOrder [vars=[Neighbourhood[134]]], VarOrder [vars=[Neighbourhood[135]]], VarOrder [vars=[Neighbourhood[136]]], VarOrder [vars=[Neighbourhood[137]]], VarOrder [vars=[Neighbourhood[138]]], VarOrder [vars=[Neighbourhood[139]]], VarOrder [vars=[Neighbourhood[140]]], VarOrder [vars=[Neighbourhood[141]]], VarOrder [vars=[Neighbourhood[142]]], VarOrder [vars=[Neighbourhood[143]]], VarOrder [vars=[Neighbourhood[144]]], VarOrder [vars=[Neighbourhood[145]]], VarOrder [vars=[Neighbourhood[146]]], VarOrder [vars=[Neighbourhood[147]]], VarOrder [vars=[Neighbourhood[148]]], VarOrder [vars=[Neighbourhood[149]]], VarOrder [vars=[Neighbourhood[150]]], VarOrder [vars=[Neighbourhood[151]]], VarOrder [vars=[Neighbourhood[152]]], VarOrder [vars=[Neighbourhood[153]]], VarOrder [vars=[Neighbourhood[154]]], VarOrder [vars=[Neighbourhood[155]]], VarOrder [vars=[Neighbourhood[156]]], VarOrder [vars=[Neighbourhood[157]]], VarOrder [vars=[Neighbourhood[158]]], VarOrder [vars=[Neighbourhood[159]]], VarOrder [vars=[Neighbourhood[160]]], VarOrder [vars=[Neighbourhood[161]]], VarOrder [vars=[Neighbourhood[162]]], VarOrder [vars=[Neighbourhood[163]]], VarOrder [vars=[Neighbourhood[164]]], VarOrder [vars=[Neighbourhood[165]]], VarOrder [vars=[Neighbourhood[166]]], VarOrder [vars=[Neighbourhood[167]]], VarOrder [vars=[Neighbourhood[168]]], VarOrder [vars=[Neighbourhood[169]]], VarOrder [vars=[Neighbourhood[170]]], VarOrder [vars=[Neighbourhood[171]]], VarOrder [vars=[Neighbourhood[172]]], VarOrder [vars=[Neighbourhood[173]]], VarOrder [vars=[Neighbourhood[174]]], VarOrder [vars=[Neighbourhood[175]]], VarOrder [vars=[Neighbourhood[176]]], VarOrder [vars=[Neighbourhood[177]]], VarOrder [vars=[Neighbourhood[178]]], VarOrder [vars=[Neighbourhood[179]]], VarOrder [vars=[Neighbourhood[180]]], VarOrder [vars=[Neighbourhood[181]]], VarOrder [vars=[Neighbourhood[182]]], VarOrder [vars=[Neighbourhood[183]]], VarOrder [vars=[Neighbourhood[184]]], VarOrder [vars=[Neighbourhood[185]]], VarOrder [vars=[Neighbourhood[186]]], VarOrder [vars=[Neighbourhood[187]]], VarOrder [vars=[Neighbourhood[188]]], VarOrder [vars=[Neighbourhood[189]]], VarOrder [vars=[Neighbourhood[190]]], VarOrder [vars=[Neighbourhood[191]]], VarOrder [vars=[Neighbourhood[192]]], VarOrder [vars=[Neighbourhood[193]]], VarOrder [vars=[Neighbourhood[194]]], VarOrder [vars=[Neighbourhood[195]]], VarOrder [vars=[Neighbourhood[196]]], VarOrder [vars=[Neighbourhood[197]]], VarOrder [vars=[Neighbourhood[198]]], VarOrder [vars=[Neighbourhood[199]]], VarOrder [vars=[Neighbourhood[200]]], VarOrder [vars=[Neighbourhood[201]]], VarOrder [vars=[Neighbourhood[202]]], VarOrder [vars=[Neighbourhood[203]]], VarOrder [vars=[Neighbourhood[204]]], VarOrder [vars=[Neighbourhood[205]]], VarOrder [vars=[Neighbourhood[206]]], VarOrder [vars=[Neighbourhood[207]]], VarOrder [vars=[Neighbourhood[208]]], VarOrder [vars=[Neighbourhood[209]]], VarOrder [vars=[Neighbourhood[210]]], VarOrder [vars=[Neighbourhood[211]]], VarOrder [vars=[Neighbourhood[212]]], VarOrder [vars=[Neighbourhood[213]]], VarOrder [vars=[Neighbourhood[214]]], VarOrder [vars=[Neighbourhood[215]]], VarOrder [vars=[Neighbourhood[216]]], VarOrder [vars=[Neighbourhood[217]]], VarOrder [vars=[Neighbourhood[218]]], VarOrder [vars=[Neighbourhood[219]]], VarOrder [vars=[Neighbourhood[220]]], VarOrder [vars=[Neighbourhood[221]]], VarOrder [vars=[Neighbourhood[222]]], VarOrder [vars=[Neighbourhood[223]]], VarOrder [vars=[Neighbourhood[224]]], VarOrder [vars=[Neighbourhood[225]]], VarOrder [vars=[Neighbourhood[226]]], VarOrder [vars=[Neighbourhood[227]]], VarOrder [vars=[Neighbourhood[228]]], VarOrder [vars=[Neighbourhood[229]]], VarOrder [vars=[Neighbourhood[230]]], VarOrder [vars=[Neighbourhood[231]]], VarOrder [vars=[Neighbourhood[232]]], VarOrder [vars=[Neighbourhood[233]]], VarOrder [vars=[Neighbourhood[234]]], VarOrder [vars=[Neighbourhood[235]]], VarOrder [vars=[Neighbourhood[236]]], VarOrder [vars=[Neighbourhood[237]]], VarOrder [vars=[Neighbourhood[238]]], VarOrder [vars=[Neighbourhood[239]]], VarOrder [vars=[Neighbourhood[240]]], VarOrder [vars=[Neighbourhood[241]]], VarOrder [vars=[Neighbourhood[242]]], VarOrder [vars=[Neighbourhood[243]]], VarOrder [vars=[Neighbourhood[244]]], VarOrder [vars=[Neighbourhood[245]]], VarOrder [vars=[Neighbourhood[246]]], VarOrder [vars=[Neighbourhood[247]]], VarOrder [vars=[Neighbourhood[248]]], VarOrder [vars=[Neighbourhood[249]]], VarOrder [vars=[Neighbourhood[250]]], VarOrder [vars=[Neighbourhood[251]]], VarOrder [vars=[Neighbourhood[252]]], VarOrder [vars=[Neighbourhood[253]]], VarOrder [vars=[Neighbourhood[254]]], VarOrder [vars=[Neighbourhood[255]]], VarOrder [vars=[Neighbourhood[256]]], VarOrder [vars=[Neighbourhood[257]]], VarOrder [vars=[Neighbourhood[258]]], VarOrder [vars=[Neighbourhood[259]]], VarOrder [vars=[Neighbourhood[260]]], VarOrder [vars=[Neighbourhood[261]]], VarOrder [vars=[Neighbourhood[262]]], VarOrder [vars=[Neighbourhood[263]]], VarOrder [vars=[Neighbourhood[264]]], VarOrder [vars=[Neighbourhood[265]]], VarOrder [vars=[Neighbourhood[266]]], VarOrder [vars=[Neighbourhood[267]]], VarOrder [vars=[Neighbourhood[268]]], VarOrder [vars=[Neighbourhood[269]]], VarOrder [vars=[Neighbourhood[270]]], VarOrder [vars=[Neighbourhood[271]]], VarOrder [vars=[Neighbourhood[272]]], VarOrder [vars=[Neighbourhood[273]]], VarOrder [vars=[Neighbourhood[274]]], VarOrder [vars=[Neighbourhood[275]]], VarOrder [vars=[Neighbourhood[276]]], VarOrder [vars=[Neighbourhood[277]]], VarOrder [vars=[Neighbourhood[278]]], VarOrder [vars=[Neighbourhood[279]]], VarOrder [vars=[Neighbourhood[280]]], VarOrder [vars=[Neighbourhood[281]]], VarOrder [vars=[Neighbourhood[282]]], VarOrder [vars=[Neighbourhood[283]]], VarOrder [vars=[Neighbourhood[284]]], VarOrder [vars=[Neighbourhood[285]]], VarOrder [vars=[Neighbourhood[286]]], VarOrder [vars=[Neighbourhood[287]]], VarOrder [vars=[Neighbourhood[288]]], VarOrder [vars=[Neighbourhood[289]]], VarOrder [vars=[Neighbourhood[290]]], VarOrder [vars=[Neighbourhood[291]]], VarOrder [vars=[Neighbourhood[292]]], VarOrder [vars=[Neighbourhood[293]]], VarOrder [vars=[Neighbourhood[294]]], VarOrder [vars=[Neighbourhood[295]]], VarOrder [vars=[Neighbourhood[296]]], VarOrder [vars=[Neighbourhood[297]]], VarOrder [vars=[Neighbourhood[298]]], VarOrder [vars=[Neighbourhood[299]]], VarOrder [vars=[Neighbourhood[300]]], VarOrder [vars=[Neighbourhood[301]]], VarOrder [vars=[Neighbourhood[302]]], VarOrder [vars=[Neighbourhood[303]]], VarOrder [vars=[Neighbourhood[304]]], VarOrder [vars=[Neighbourhood[305]]], VarOrder [vars=[Neighbourhood[306]]], VarOrder [vars=[Neighbourhood[307]]], VarOrder [vars=[Neighbourhood[308]]], VarOrder [vars=[Neighbourhood[309]]], VarOrder [vars=[Neighbourhood[310]]], VarOrder [vars=[Neighbourhood[311]]], VarOrder [vars=[Neighbourhood[312]]], VarOrder [vars=[Neighbourhood[313]]], VarOrder [vars=[Neighbourhood[314]]], VarOrder [vars=[Neighbourhood[315]]], VarOrder [vars=[Neighbourhood[316]]], VarOrder [vars=[Neighbourhood[317]]], VarOrder [vars=[Neighbourhood[318]]], VarOrder [vars=[Neighbourhood[319]]], VarOrder [vars=[Neighbourhood[320]]], VarOrder [vars=[Neighbourhood[321]]], VarOrder [vars=[Neighbourhood[322]]], VarOrder [vars=[Neighbourhood[323]]], VarOrder [vars=[Neighbourhood[324]]], VarOrder [vars=[Neighbourhood[325]]], VarOrder [vars=[Neighbourhood[326]]], VarOrder [vars=[Neighbourhood[327]]], VarOrder [vars=[Neighbourhood[328]]], VarOrder [vars=[Neighbourhood[329]]], VarOrder [vars=[Neighbourhood[330]]], VarOrder [vars=[Neighbourhood[331]]], VarOrder [vars=[Neighbourhood[332]]], VarOrder [vars=[Neighbourhood[333]]], VarOrder [vars=[Neighbourhood[334]]], VarOrder [vars=[Neighbourhood[335]]], VarOrder [vars=[Neighbourhood[336]]], VarOrder [vars=[Neighbourhood[337]]], VarOrder [vars=[Neighbourhood[338]]], VarOrder [vars=[Neighbourhood[339]]], VarOrder [vars=[Neighbourhood[340]]], VarOrder [vars=[Neighbourhood[341]]], VarOrder [vars=[Neighbourhood[342]]], VarOrder [vars=[Neighbourhood[343]]], VarOrder [vars=[Neighbourhood[344]]], VarOrder [vars=[Neighbourhood[345]]], VarOrder [vars=[Neighbourhood[346]]], VarOrder [vars=[Neighbourhood[347]]], VarOrder [vars=[Neighbourhood[348]]], VarOrder [vars=[Neighbourhood[349]]], VarOrder [vars=[Neighbourhood[350]]], VarOrder [vars=[Neighbourhood[351]]], VarOrder [vars=[Neighbourhood[352]]], VarOrder [vars=[Neighbourhood[353]]], VarOrder [vars=[Neighbourhood[354]]], VarOrder [vars=[Neighbourhood[355]]], VarOrder [vars=[Neighbourhood[356]]], VarOrder [vars=[Neighbourhood[357]]], VarOrder [vars=[Neighbourhood[358]]], VarOrder [vars=[Neighbourhood[359]]], VarOrder [vars=[Neighbourhood[360]]], VarOrder [vars=[Neighbourhood[361]]], VarOrder [vars=[Neighbourhood[362]]], VarOrder [vars=[Neighbourhood[363]]], VarOrder [vars=[Neighbourhood[364]]], VarOrder [vars=[Neighbourhood[365]]], VarOrder [vars=[Neighbourhood[366]]], VarOrder [vars=[Neighbourhood[367]]], VarOrder [vars=[Neighbourhood[368]]], VarOrder [vars=[Neighbourhood[369]]], VarOrder [vars=[Neighbourhood[370]]], VarOrder [vars=[Neighbourhood[371]]], VarOrder [vars=[Neighbourhood[372]]], VarOrder [vars=[Neighbourhood[373]]], VarOrder [vars=[Neighbourhood[374]]], VarOrder [vars=[Neighbourhood[375]]], VarOrder [vars=[Neighbourhood[376]]], VarOrder [vars=[Neighbourhood[377]]], VarOrder [vars=[Neighbourhood[378]]], VarOrder [vars=[Neighbourhood[379]]], VarOrder [vars=[Neighbourhood[380]]], VarOrder [vars=[Neighbourhood[381]]], VarOrder [vars=[Neighbourhood[382]]], VarOrder [vars=[Neighbourhood[383]]], VarOrder [vars=[Neighbourhood[384]]], VarOrder [vars=[Neighbourhood[385]]], VarOrder [vars=[Neighbourhood[386]]], VarOrder [vars=[Neighbourhood[387]]], VarOrder [vars=[Neighbourhood[388]]], VarOrder [vars=[Neighbourhood[389]]], VarOrder [vars=[Neighbourhood[390]]], VarOrder [vars=[Neighbourhood[391]]], VarOrder [vars=[Neighbourhood[392]]], VarOrder [vars=[Neighbourhood[393]]], VarOrder [vars=[Neighbourhood[394]]], VarOrder [vars=[Neighbourhood[395]]], VarOrder [vars=[Neighbourhood[396]]], VarOrder [vars=[Neighbourhood[397]]], VarOrder [vars=[Neighbourhood[398]]], VarOrder [vars=[Neighbourhood[399]]], VarOrder [vars=[HasRight[0], HasLeft[0], WaitRight[0], WaitLeft[0], Forks[0], Think[0], Outside[0]]], VarOrder [vars=[HasRight[1], HasLeft[1], WaitRight[1], WaitLeft[1], Forks[1], Think[1], Outside[1]]], VarOrder [vars=[HasRight[2], HasLeft[2], WaitRight[2], WaitLeft[2], Forks[2], Think[2], Outside[2]]], VarOrder [vars=[HasRight[3], HasLeft[3], WaitRight[3], WaitLeft[3], Forks[3], Think[3], Outside[3]]], VarOrder [vars=[HasRight[4], HasLeft[4], WaitRight[4], WaitLeft[4], Forks[4], Think[4], Outside[4]]], VarOrder [vars=[HasRight[5], HasLeft[5], WaitRight[5], WaitLeft[5], Forks[5], Think[5], Outside[5]]], VarOrder [vars=[HasRight[6], HasLeft[6], WaitRight[6], WaitLeft[6], Forks[6], Think[6], Outside[6]]], VarOrder [vars=[HasRight[7], HasLeft[7], WaitRight[7], WaitLeft[7], Forks[7], Think[7], Outside[7]]], VarOrder [vars=[HasRight[8], HasLeft[8], WaitRight[8], WaitLeft[8], Forks[8], Think[8], Outside[8]]], VarOrder [vars=[HasRight[9], HasLeft[9], WaitRight[9], WaitLeft[9], Forks[9], Think[9], Outside[9]]], VarOrder [vars=[HasRight[10], HasLeft[10], WaitRight[10], WaitLeft[10], Forks[10], Think[10], Outside[10]]], VarOrder [vars=[HasRight[11], HasLeft[11], WaitRight[11], WaitLeft[11], Forks[11], Think[11], Outside[11]]], VarOrder [vars=[HasRight[12], HasLeft[12], WaitRight[12], WaitLeft[12], Forks[12], Think[12], Outside[12]]], VarOrder [vars=[HasRight[13], HasLeft[13], WaitRight[13], WaitLeft[13], Forks[13], Think[13], Outside[13]]], VarOrder [vars=[HasRight[14], HasLeft[14], WaitRight[14], WaitLeft[14], Forks[14], Think[14], Outside[14]]], VarOrder [vars=[HasRight[15], HasLeft[15], WaitRight[15], WaitLeft[15], Forks[15], Think[15], Outside[15]]], VarOrder [vars=[HasRight[16], HasLeft[16], WaitRight[16], WaitLeft[16], Forks[16], Think[16], Outside[16]]], VarOrder [vars=[HasRight[17], HasLeft[17], WaitRight[17], WaitLeft[17], Forks[17], Think[17], Outside[17]]], VarOrder [vars=[HasRight[18], HasLeft[18], WaitRight[18], WaitLeft[18], Forks[18], Think[18], Outside[18]]], VarOrder [vars=[HasRight[19], HasLeft[19], WaitRight[19], WaitLeft[19], Forks[19], Think[19], Outside[19]]]]]
May 26, 2015 2:19:33 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $r
May 26, 2015 2:19:33 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $p
May 26, 2015 2:19:33 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $l
May 26, 2015 2:19:33 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $r
May 26, 2015 2:19:33 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $p
May 26, 2015 2:19:33 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Found a deeply bound parameter : $l
May 26, 2015 2:19:33 PM fr.lip6.move.gal.instantiate.Instantiator separateParameters
INFO: Fused parameters : $p and $q
May 26, 2015 2:19:40 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 7024 ms
May 26, 2015 2:19:42 PM fr.lip6.move.gal.application.Application applyOrder
INFO: Applying decomposition
May 26, 2015 2:19:42 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
May 26, 2015 2:19:51 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 9192 ms
May 26, 2015 2:19:51 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 8673 ms
May 26, 2015 2:19:51 PM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Partition obtained :[Neighbourhood[0], ],[Neighbourhood[1], ],[Neighbourhood[2], ],[Neighbourhood[3], ],[Neighbourhood[4], ],[Neighbourhood[5], ],[Neighbourhood[6], ],[Neighbourhood[7], ],[Neighbourhood[8], ],[Neighbourhood[9], ],[Neighbourhood[10], ],[Neighbourhood[11], ],[Neighbourhood[12], ],[Neighbourhood[13], ],[Neighbourhood[14], ],[Neighbourhood[15], ],[Neighbourhood[16], ],[Neighbourhood[17], ],[Neighbourhood[18], ],[Neighbourhood[19], ],[Neighbourhood[20], ],[Neighbourhood[21], ],[Neighbourhood[22], ],[Neighbourhood[23], ],[Neighbourhood[24], ],[Neighbourhood[25], ],[Neighbourhood[26], ],[Neighbourhood[27], ],[Neighbourhood[28], ],[Neighbourhood[29], ],[Neighbourhood[30], ],[Neighbourhood[31], ],[Neighbourhood[32], ],[Neighbourhood[33], ],[Neighbourhood[34], ],[Neighbourhood[35], ],[Neighbourhood[36], ],[Neighbourhood[37], ],[Neighbourhood[38], ],[Neighbourhood[39], ],[Neighbourhood[40], ],[Neighbourhood[41], ],[Neighbourhood[42], ],[Neighbourhood[43], ],[Neighbourhood[44], ],[Neighbourhood[45], ],[Neighbourhood[46], ],[Neighbourhood[47], ],[Neighbourhood[48], ],[Neighbourhood[49], ],[Neighbourhood[50], ],[Neighbourhood[51], ],[Neighbourhood[52], ],[Neighbourhood[53], ],[Neighbourhood[54], ],[Neighbourhood[55], ],[Neighbourhood[56], ],[Neighbourhood[57], ],[Neighbourhood[58], ],[Neighbourhood[59], ],[Neighbourhood[60], ],[Neighbourhood[61], ],[Neighbourhood[62], ],[Neighbourhood[63], ],[Neighbourhood[64], ],[Neighbourhood[65], ],[Neighbourhood[66], ],[Neighbourhood[67], ],[Neighbourhood[68], ],[Neighbourhood[69], ],[Neighbourhood[70], ],[Neighbourhood[71], ],[Neighbourhood[72], ],[Neighbourhood[73], ],[Neighbourhood[74], ],[Neighbourhood[75], ],[Neighbourhood[76], ],[Neighbourhood[77], ],[Neighbourhood[78], ],[Neighbourhood[79], ],[Neighbourhood[80], ],[Neighbourhood[81], ],[Neighbourhood[82], ],[Neighbourhood[83], ],[Neighbourhood[84], ],[Neighbourhood[85], ],[Neighbourhood[86], ],[Neighbourhood[87], ],[Neighbourhood[88], ],[Neighbourhood[89], ],[Neighbourhood[90], ],[Neighbourhood[91], ],[Neighbourhood[92], ],[Neighbourhood[93], ],[Neighbourhood[94], ],[Neighbourhood[95], ],[Neighbourhood[96], ],[Neighbourhood[97], ],[Neighbourhood[98], ],[Neighbourhood[99], ],[Neighbourhood[100], ],[Neighbourhood[101], ],[Neighbourhood[102], ],[Neighbourhood[103], ],[Neighbourhood[104], ],[Neighbourhood[105], ],[Neighbourhood[106], ],[Neighbourhood[107], ],[Neighbourhood[108], ],[Neighbourhood[109], ],[Neighbourhood[110], ],[Neighbourhood[111], ],[Neighbourhood[112], ],[Neighbourhood[113], ],[Neighbourhood[114], ],[Neighbourhood[115], ],[Neighbourhood[116], ],[Neighbourhood[117], ],[Neighbourhood[118], ],[Neighbourhood[119], ],[Neighbourhood[120], ],[Neighbourhood[121], ],[Neighbourhood[122], ],[Neighbourhood[123], ],[Neighbourhood[124], ],[Neighbourhood[125], ],[Neighbourhood[126], ],[Neighbourhood[127], ],[Neighbourhood[128], ],[Neighbourhood[129], ],[Neighbourhood[130], ],[Neighbourhood[131], ],[Neighbourhood[132], ],[Neighbourhood[133], ],[Neighbourhood[134], ],[Neighbourhood[135], ],[Neighbourhood[136], ],[Neighbourhood[137], ],[Neighbourhood[138], ],[Neighbourhood[139], ],[Neighbourhood[140], ],[Neighbourhood[141], ],[Neighbourhood[142], ],[Neighbourhood[143], ],[Neighbourhood[144], ],[Neighbourhood[145], ],[Neighbourhood[146], ],[Neighbourhood[147], ],[Neighbourhood[148], ],[Neighbourhood[149], ],[Neighbourhood[150], ],[Neighbourhood[151], ],[Neighbourhood[152], ],[Neighbourhood[153], ],[Neighbourhood[154], ],[Neighbourhood[155], ],[Neighbourhood[156], ],[Neighbourhood[157], ],[Neighbourhood[158], ],[Neighbourhood[159], ],[Neighbourhood[160], ],[Neighbourhood[161], ],[Neighbourhood[162], ],[Neighbourhood[163], ],[Neighbourhood[164], ],[Neighbourhood[165], ],[Neighbourhood[166], ],[Neighbourhood[167], ],[Neighbourhood[168], ],[Neighbourhood[169], ],[Neighbourhood[170], ],[Neighbourhood[171], ],[Neighbourhood[172], ],[Neighbourhood[173], ],[Neighbourhood[174], ],[Neighbourhood[175], ],[Neighbourhood[176], ],[Neighbourhood[177], ],[Neighbourhood[178], ],[Neighbourhood[179], ],[Neighbourhood[180], ],[Neighbourhood[181], ],[Neighbourhood[182], ],[Neighbourhood[183], ],[Neighbourhood[184], ],[Neighbourhood[185], ],[Neighbourhood[186], ],[Neighbourhood[187], ],[Neighbourhood[188], ],[Neighbourhood[189], ],[Neighbourhood[190], ],[Neighbourhood[191], ],[Neighbourhood[192], ],[Neighbourhood[193], ],[Neighbourhood[194], ],[Neighbourhood[195], ],[Neighbourhood[196], ],[Neighbourhood[197], ],[Neighbourhood[198], ],[Neighbourhood[199], ],[Neighbourhood[200], ],[Neighbourhood[201], ],[Neighbourhood[202], ],[Neighbourhood[203], ],[Neighbourhood[204], ],[Neighbourhood[205], ],[Neighbourhood[206], ],[Neighbourhood[207], ],[Neighbourhood[208], ],[Neighbourhood[209], ],[Neighbourhood[210], ],[Neighbourhood[211], ],[Neighbourhood[212], ],[Neighbourhood[213], ],[Neighbourhood[214], ],[Neighbourhood[215], ],[Neighbourhood[216], ],[Neighbourhood[217], ],[Neighbourhood[218], ],[Neighbourhood[219], ],[Neighbourhood[220], ],[Neighbourhood[221], ],[Neighbourhood[222], ],[Neighbourhood[223], ],[Neighbourhood[224], ],[Neighbourhood[225], ],[Neighbourhood[226], ],[Neighbourhood[227], ],[Neighbourhood[228], ],[Neighbourhood[229], ],[Neighbourhood[230], ],[Neighbourhood[231], ],[Neighbourhood[232], ],[Neighbourhood[233], ],[Neighbourhood[234], ],[Neighbourhood[235], ],[Neighbourhood[236], ],[Neighbourhood[237], ],[Neighbourhood[238], ],[Neighbourhood[239], ],[Neighbourhood[240], ],[Neighbourhood[241], ],[Neighbourhood[242], ],[Neighbourhood[243], ],[Neighbourhood[244], ],[Neighbourhood[245], ],[Neighbourhood[246], ],[Neighbourhood[247], ],[Neighbourhood[248], ],[Neighbourhood[249], ],[Neighbourhood[250], ],[Neighbourhood[251], ],[Neighbourhood[252], ],[Neighbourhood[253], ],[Neighbourhood[254], ],[Neighbourhood[255], ],[Neighbourhood[256], ],[Neighbourhood[257], ],[Neighbourhood[258], ],[Neighbourhood[259], ],[Neighbourhood[260], ],[Neighbourhood[261], ],[Neighbourhood[262], ],[Neighbourhood[263], ],[Neighbourhood[264], ],[Neighbourhood[265], ],[Neighbourhood[266], ],[Neighbourhood[267], ],[Neighbourhood[268], ],[Neighbourhood[269], ],[Neighbourhood[270], ],[Neighbourhood[271], ],[Neighbourhood[272], ],[Neighbourhood[273], ],[Neighbourhood[274], ],[Neighbourhood[275], ],[Neighbourhood[276], ],[Neighbourhood[277], ],[Neighbourhood[278], ],[Neighbourhood[279], ],[Neighbourhood[280], ],[Neighbourhood[281], ],[Neighbourhood[282], ],[Neighbourhood[283], ],[Neighbourhood[284], ],[Neighbourhood[285], ],[Neighbourhood[286], ],[Neighbourhood[287], ],[Neighbourhood[288], ],[Neighbourhood[289], ],[Neighbourhood[290], ],[Neighbourhood[291], ],[Neighbourhood[292], ],[Neighbourhood[293], ],[Neighbourhood[294], ],[Neighbourhood[295], ],[Neighbourhood[296], ],[Neighbourhood[297], ],[Neighbourhood[298], ],[Neighbourhood[299], ],[Neighbourhood[300], ],[Neighbourhood[301], ],[Neighbourhood[302], ],[Neighbourhood[303], ],[Neighbourhood[304], ],[Neighbourhood[305], ],[Neighbourhood[306], ],[Neighbourhood[307], ],[Neighbourhood[308], ],[Neighbourhood[309], ],[Neighbourhood[310], ],[Neighbourhood[311], ],[Neighbourhood[312], ],[Neighbourhood[313], ],[Neighbourhood[314], ],[Neighbourhood[315], ],[Neighbourhood[316], ],[Neighbourhood[317], ],[Neighbourhood[318], ],[Neighbourhood[319], ],[Neighbourhood[320], ],[Neighbourhood[321], ],[Neighbourhood[322], ],[Neighbourhood[323], ],[Neighbourhood[324], ],[Neighbourhood[325], ],[Neighbourhood[326], ],[Neighbourhood[327], ],[Neighbourhood[328], ],[Neighbourhood[329], ],[Neighbourhood[330], ],[Neighbourhood[331], ],[Neighbourhood[332], ],[Neighbourhood[333], ],[Neighbourhood[334], ],[Neighbourhood[335], ],[Neighbourhood[336], ],[Neighbourhood[337], ],[Neighbourhood[338], ],[Neighbourhood[339], ],[Neighbourhood[340], ],[Neighbourhood[341], ],[Neighbourhood[342], ],[Neighbourhood[343], ],[Neighbourhood[344], ],[Neighbourhood[345], ],[Neighbourhood[346], ],[Neighbourhood[347], ],[Neighbourhood[348], ],[Neighbourhood[349], ],[Neighbourhood[350], ],[Neighbourhood[351], ],[Neighbourhood[352], ],[Neighbourhood[353], ],[Neighbourhood[354], ],[Neighbourhood[355], ],[Neighbourhood[356], ],[Neighbourhood[357], ],[Neighbourhood[358], ],[Neighbourhood[359], ],[Neighbourhood[360], ],[Neighbourhood[361], ],[Neighbourhood[362], ],[Neighbourhood[363], ],[Neighbourhood[364], ],[Neighbourhood[365], ],[Neighbourhood[366], ],[Neighbourhood[367], ],[Neighbourhood[368], ],[Neighbourhood[369], ],[Neighbourhood[370], ],[Neighbourhood[371], ],[Neighbourhood[372], ],[Neighbourhood[373], ],[Neighbourhood[374], ],[Neighbourhood[375], ],[Neighbourhood[376], ],[Neighbourhood[377], ],[Neighbourhood[378], ],[Neighbourhood[379], ],[Neighbourhood[380], ],[Neighbourhood[381], ],[Neighbourhood[382], ],[Neighbourhood[383], ],[Neighbourhood[384], ],[Neighbourhood[385], ],[Neighbourhood[386], ],[Neighbourhood[387], ],[Neighbourhood[388], ],[Neighbourhood[389], ],[Neighbourhood[390], ],[Neighbourhood[391], ],[Neighbourhood[392], ],[Neighbourhood[393], ],[Neighbourhood[394], ],[Neighbourhood[395], ],[Neighbourhood[396], ],[Neighbourhood[397], ],[Neighbourhood[398], ],[Neighbourhood[399], ],[HasRight[0], HasLeft[0], WaitRight[0], WaitLeft[0], Forks[0], Think[0], Outside[0], ],[HasRight[1], HasLeft[1], WaitRight[1], WaitLeft[1], Forks[1], Think[1], Outside[1], ],[HasRight[2], HasLeft[2], WaitRight[2], WaitLeft[2], Forks[2], Think[2], Outside[2], ],[HasRight[3], HasLeft[3], WaitRight[3], WaitLeft[3], Forks[3], Think[3], Outside[3], ],[HasRight[4], HasLeft[4], WaitRight[4], WaitLeft[4], Forks[4], Think[4], Outside[4], ],[HasRight[5], HasLeft[5], WaitRight[5], WaitLeft[5], Forks[5], Think[5], Outside[5], ],[HasRight[6], HasLeft[6], WaitRight[6], WaitLeft[6], Forks[6], Think[6], Outside[6], ],[HasRight[7], HasLeft[7], WaitRight[7], WaitLeft[7], Forks[7], Think[7], Outside[7], ],[HasRight[8], HasLeft[8], WaitRight[8], WaitLeft[8], Forks[8], Think[8], Outside[8], ],[HasRight[9], HasLeft[9], WaitRight[9], WaitLeft[9], Forks[9], Think[9], Outside[9], ],[HasRight[10], HasLeft[10], WaitRight[10], WaitLeft[10], Forks[10], Think[10], Outside[10], ],[HasRight[11], HasLeft[11], WaitRight[11], WaitLeft[11], Forks[11], Think[11], Outside[11], ],[HasRight[12], HasLeft[12], WaitRight[12], WaitLeft[12], Forks[12], Think[12], Outside[12], ],[HasRight[13], HasLeft[13], WaitRight[13], WaitLeft[13], Forks[13], Think[13], Outside[13], ],[HasRight[14], HasLeft[14], WaitRight[14], WaitLeft[14], Forks[14], Think[14], Outside[14], ],[HasRight[15], HasLeft[15], WaitRight[15], WaitLeft[15], Forks[15], Think[15], Outside[15], ],[HasRight[16], HasLeft[16], WaitRight[16], WaitLeft[16], Forks[16], Think[16], Outside[16], ],[HasRight[17], HasLeft[17], WaitRight[17], WaitLeft[17], Forks[17], Think[17], Outside[17], ],[HasRight[18], HasLeft[18], WaitRight[18], WaitLeft[18], Forks[18], Think[18], Outside[18], ],[HasRight[19], HasLeft[19], WaitRight[19], WaitLeft[19], Forks[19], Think[19], Outside[19], ],

May 26, 2015 2:19:51 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array HasRight to variables to allow decomposition.
May 26, 2015 2:20:00 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 17278 ms
May 26, 2015 2:22:15 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array HasLeft to variables to allow decomposition.
May 26, 2015 2:24:20 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array WaitRight to variables to allow decomposition.
May 26, 2015 2:25:58 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array WaitLeft to variables to allow decomposition.
May 26, 2015 2:28:00 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array Forks to variables to allow decomposition.
May 26, 2015 2:29:56 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array Think to variables to allow decomposition.
May 26, 2015 2:31:30 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array Outside to variables to allow decomposition.
May 26, 2015 2:32:57 PM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array Neighbourhood to variables to allow decomposition.
May 26, 2015 2:37:08 PM fr.lip6.move.gal.cegar.support.SupportManager computeSupport
INFO: For property PhilosophersDyn-COL-20-ReachabilityFireabilitySimple-0:[reachable] : ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((HasLeft_0>=1)&&(Neighbourhood_0>=1))&&(HasRight_0>=1))||(((HasLeft_0>=1)&&(Neighbourhood_1>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_2>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_3>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_4>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_5>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_6>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_7>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_8>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_9>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_10>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_11>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_12>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_13>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_14>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_15>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_16>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_17>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_18>=1))&&(HasRight_0>=1)))||(((HasLeft_0>=1)&&(Neighbourhood_19>=1))&&(HasRight_0>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_20>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_21>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_22>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_23>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_24>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_25>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_26>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_27>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_28>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_29>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_30>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_31>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_32>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_33>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_34>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_35>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_36>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_37>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_38>=1))&&(HasRight_1>=1)))||(((HasLeft_1>=1)&&(Neighbourhood_39>=1))&&(HasRight_1>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_40>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_41>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_42>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_43>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_44>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_45>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_46>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_47>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_48>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_49>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_50>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_51>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_52>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_53>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_54>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_55>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_56>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_57>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_58>=1))&&(HasRight_2>=1)))||(((HasLeft_2>=1)&&(Neighbourhood_59>=1))&&(HasRight_2>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_60>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_61>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_62>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_63>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_64>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_65>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_66>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_67>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_68>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_69>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_70>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_71>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_72>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_73>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_74>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_75>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_76>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_77>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_78>=1))&&(HasRight_3>=1)))||(((HasLeft_3>=1)&&(Neighbourhood_79>=1))&&(HasRight_3>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_80>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_81>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_82>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_83>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_84>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_85>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_86>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_87>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_88>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_89>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_90>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_91>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_92>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_93>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_94>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_95>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_96>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_97>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_98>=1))&&(HasRight_4>=1)))||(((HasLeft_4>=1)&&(Neighbourhood_99>=1))&&(HasRight_4>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_100>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_101>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_102>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_103>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_104>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_105>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_106>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_107>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_108>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_109>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_110>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_111>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_112>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_113>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_114>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_115>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_116>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_117>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_118>=1))&&(HasRight_5>=1)))||(((HasLeft_5>=1)&&(Neighbourhood_119>=1))&&(HasRight_5>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_120>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_121>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_122>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_123>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_124>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_125>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_126>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_127>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_128>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_129>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_130>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_131>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_132>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_133>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_134>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_135>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_136>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_137>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_138>=1))&&(HasRight_6>=1)))||(((HasLeft_6>=1)&&(Neighbourhood_139>=1))&&(HasRight_6>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_140>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_141>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_142>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_143>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_144>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_145>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_146>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_147>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_148>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_149>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_150>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_151>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_152>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_153>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_154>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_155>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_156>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_157>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_158>=1))&&(HasRight_7>=1)))||(((HasLeft_7>=1)&&(Neighbourhood_159>=1))&&(HasRight_7>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_160>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_161>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_162>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_163>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_164>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_165>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_166>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_167>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_168>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_169>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_170>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_171>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_172>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_173>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_174>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_175>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_176>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_177>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_178>=1))&&(HasRight_8>=1)))||(((HasLeft_8>=1)&&(Neighbourhood_179>=1))&&(HasRight_8>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_180>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_181>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_182>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_183>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_184>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_185>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_186>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_187>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_188>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_189>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_190>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_191>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_192>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_193>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_194>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_195>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_196>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_197>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_198>=1))&&(HasRight_9>=1)))||(((HasLeft_9>=1)&&(Neighbourhood_199>=1))&&(HasRight_9>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_200>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_201>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_202>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_203>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_204>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_205>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_206>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_207>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_208>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_209>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_210>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_211>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_212>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_213>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_214>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_215>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_216>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_217>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_218>=1))&&(HasRight_10>=1)))||(((HasLeft_10>=1)&&(Neighbourhood_219>=1))&&(HasRight_10>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_220>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_221>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_222>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_223>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_224>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_225>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_226>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_227>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_228>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_229>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_230>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_231>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_232>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_233>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_234>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_235>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_236>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_237>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_238>=1))&&(HasRight_11>=1)))||(((HasLeft_11>=1)&&(Neighbourhood_239>=1))&&(HasRight_11>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_240>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_241>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_242>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_243>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_244>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_245>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_246>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_247>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_248>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_249>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_250>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_251>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_252>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_253>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_254>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_255>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_256>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_257>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_258>=1))&&(HasRight_12>=1)))||(((HasLeft_12>=1)&&(Neighbourhood_259>=1))&&(HasRight_12>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_260>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_261>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_262>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_263>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_264>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_265>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_266>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_267>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_268>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_269>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_270>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_271>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_272>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_273>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_274>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_275>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_276>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_277>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_278>=1))&&(HasRight_13>=1)))||(((HasLeft_13>=1)&&(Neighbourhood_279>=1))&&(HasRight_13>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_280>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_281>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_282>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_283>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_284>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_285>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_286>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_287>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_288>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_289>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_290>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_291>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_292>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_293>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_294>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_295>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_296>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_297>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_298>=1))&&(HasRight_14>=1)))||(((HasLeft_14>=1)&&(Neighbourhood_299>=1))&&(HasRight_14>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_300>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_301>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_302>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_303>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_304>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_305>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_306>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_307>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_308>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_309>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_310>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_311>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_312>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_313>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_314>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_315>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_316>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_317>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_318>=1))&&(HasRight_15>=1)))||(((HasLeft_15>=1)&&(Neighbourhood_319>=1))&&(HasRight_15>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_320>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_321>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_322>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_323>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_324>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_325>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_326>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_327>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_328>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_329>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_330>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_331>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_332>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_333>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_334>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_335>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_336>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_337>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_338>=1))&&(HasRight_16>=1)))||(((HasLeft_16>=1)&&(Neighbourhood_339>=1))&&(HasRight_16>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_340>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_341>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_342>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_343>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_344>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_345>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_346>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_347>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_348>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_349>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_350>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_351>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_352>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_353>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_354>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_355>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_356>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_357>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_358>=1))&&(HasRight_17>=1)))||(((HasLeft_17>=1)&&(Neighbourhood_359>=1))&&(HasRight_17>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_360>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_361>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_362>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_363>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_364>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_365>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_366>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_367>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_368>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_369>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_370>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_371>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_372>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_373>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_374>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_375>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_376>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_377>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_378>=1))&&(HasRight_18>=1)))||(((HasLeft_18>=1)&&(Neighbourhood_379>=1))&&(HasRight_18>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_380>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_381>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_382>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_383>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_384>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_385>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_386>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_387>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_388>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_389>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_390>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_391>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_392>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_393>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_394>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_395>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_396>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_397>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_398>=1))&&(HasRight_19>=1)))||(((HasLeft_19>=1)&&(Neighbourhood_399>=1))&&(HasRight_19>=1))) found Support [HasLeft_0, Neighbourhood_0, HasRight_0, Neighbourhood_1, Neighbourhood_2, Neighbourhood_3, Neighbourhood_4, Neighbourhood_5, Neighbourhood_6, Neighbourhood_7, Neighbourhood_8, Neighbourhood_9, Neighbourhood_10, Neighbourhood_11, Neighbourhood_12, Neighbourhood_13, Neighbourhood_14, Neighbourhood_15, Neighbourhood_16, Neighbourhood_17, Neighbourhood_18, Neighbourhood_19, HasLeft_1, Neighbourhood_20, HasRight_1, Neighbourhood_21, Neighbourhood_22, Neighbourhood_23, Neighbourhood_24, Neighbourhood_25, Neighbourhood_26, Neighbourhood_27, Neighbourhood_28, Neighbourhood_29, Neighbourhood_30, Neighbourhood_31, Neighbourhood_32, Neighbourhood_33, Neighbourhood_34, Neighbourhood_35, Neighbourhood_36, Neighbourhood_37, Neighbourhood_38, Neighbourhood_39, HasLeft_2, Neighbourhood_40, HasRight_2, Neighbourhood_41, Neighbourhood_42, Neighbourhood_43, Neighbourhood_44, Neighbourhood_45, Neighbourhood_46, Neighbourhood_47, Neighbourhood_48, Neighbourhood_49, Neighbourhood_50, Neighbourhood_51, Neighbourhood_52, Neighbourhood_53, Neighbourhood_54, Neighbourhood_55, Neighbourhood_56, Neighbourhood_57, Neighbourhood_58, Neighbourhood_59, HasLeft_3, Neighbourhood_60, HasRight_3, Neighbourhood_61, Neighbourhood_62, Neighbourhood_63, Neighbourhood_64, Neighbourhood_65, Neighbourhood_66, Neighbourhood_67, Neighbourhood_68, Neighbourhood_69, Neighbourhood_70, Neighbourhood_71, Neighbourhood_72, Neighbourhood_73, Neighbourhood_74, Neighbourhood_75, Neighbourhood_76, Neighbourhood_77, Neighbourhood_78, Neighbourhood_79, HasLeft_4, Neighbourhood_80, HasRight_4, Neighbourhood_81, Neighbourhood_82, Neighbourhood_83, Neighbourhood_84, Neighbourhood_85, Neighbourhood_86, Neighbourhood_87, Neighbourhood_88, Neighbourhood_89, Neighbourhood_90, Neighbourhood_91, Neighbourhood_92, Neighbourhood_93, Neighbourhood_94, Neighbourhood_95, Neighbourhood_96, Neighbourhood_97, Neighbourhood_98, Neighbourhood_99, HasLeft_5, Neighbourhood_100, HasRight_5, Neighbourhood_101, Neighbourhood_102, Neighbourhood_103, Neighbourhood_104, Neighbourhood_105, Neighbourhood_106, Neighbourhood_107, Neighbourhood_108, Neighbourhood_109, Neighbourhood_110, Neighbourhood_111, Neighbourhood_112, Neighbourhood_113, Neighbourhood_114, Neighbourhood_115, Neighbourhood_116, Neighbourhood_117, Neighbourhood_118, Neighbourhood_119, HasLeft_6, Neighbourhood_120, HasRight_6, Neighbourhood_121, Neighbourhood_122, Neighbourhood_123, Neighbourhood_124, Neighbourhood_125, Neighbourhood_126, Neighbourhood_127, Neighbourhood_128, Neighbourhood_129, Neighbourhood_130, Neighbourhood_131, Neighbourhood_132, Neighbourhood_133, Neighbourhood_134, Neighbourhood_135, Neighbourhood_136, Neighbourhood_137, Neighbourhood_138, Neighbourhood_139, HasLeft_7, Neighbourhood_140, HasRight_7, Neighbourhood_141, Neighbourhood_142, Neighbourhood_143, Neighbourhood_144, Neighbourhood_145, Neighbourhood_146, Neighbourhood_147, Neighbourhood_148, Neighbourhood_149, Neighbourhood_150, Neighbourhood_151, Neighbourhood_152, Neighbourhood_153, Neighbourhood_154, Neighbourhood_155, Neighbourhood_156, Neighbourhood_157, Neighbourhood_158, Neighbourhood_159, HasLeft_8, Neighbourhood_160, HasRight_8, Neighbourhood_161, Neighbourhood_162, Neighbourhood_163, Neighbourhood_164, Neighbourhood_165, Neighbourhood_166, Neighbourhood_167, Neighbourhood_168, Neighbourhood_169, Neighbourhood_170, Neighbourhood_171, Neighbourhood_172, Neighbourhood_173, Neighbourhood_174, Neighbourhood_175, Neighbourhood_176, Neighbourhood_177, Neighbourhood_178, Neighbourhood_179, HasLeft_9, Neighbourhood_180, HasRight_9, Neighbourhood_181, Neighbourhood_182, Neighbourhood_183, Neighbourhood_184, Neighbourhood_185, Neighbourhood_186, Neighbourhood_187, Neighbourhood_188, Neighbourhood_189, Neighbourhood_190, Neighbourhood_191, Neighbourhood_192, Neighbourhood_193, Neighbourhood_194, Neighbourhood_195, Neighbourhood_196, Neighbourhood_197, Neighbourhood_198, Neighbourhood_199, HasLeft_10, Neighbourhood_200, HasRight_10, Neighbourhood_201, Neighbourhood_202, Neighbourhood_203, Neighbourhood_204, Neighbourhood_205, Neighbourhood_206, Neighbourhood_207, Neighbourhood_208, Neighbourhood_209, Neighbourhood_210, Neighbourhood_211, Neighbourhood_212, Neighbourhood_213, Neighbourhood_214, Neighbourhood_215, Neighbourhood_216, Neighbourhood_217, Neighbourhood_218, Neighbourhood_219, HasLeft_11, Neighbourhood_220, HasRight_11, Neighbourhood_221, Neighbourhood_222, Neighbourhood_223, Neighbourhood_224, Neighbourhood_225, Neighbourhood_226, Neighbourhood_227, Neighbourhood_228, Neighbourhood_229, Neighbourhood_230, Neighbourhood_231, Neighbourhood_232, Neighbourhood_233, Neighbourhood_234, Neighbourhood_235, Neighbourhood_236, Neighbourhood_237, Neighbourhood_238, Neighbourhood_239, HasLeft_12, Neighbourhood_240, HasRight_12, Neighbourhood_241, Neighbourhood_242, Neighbourhood_243, Neighbourhood_244, Neighbourhood_245, Neighbourhood_246, Neighbourhood_247, Neighbourhood_248, Neighbourhood_249, Neighbourhood_250, Neighbourhood_251, Neighbourhood_252, Neighbourhood_253, Neighbourhood_254, Neighbourhood_255, Neighbourhood_256, Neighbourhood_257, Neighbourhood_258, Neighbourhood_259, HasLeft_13, Neighbourhood_260, HasRight_13, Neighbourhood_261, Neighbourhood_262, Neighbourhood_263, Neighbourhood_264, Neighbourhood_265, Neighbourhood_266, Neighbourhood_267, Neighbourhood_268, Neighbourhood_269, Neighbourhood_270, Neighbourhood_271, Neighbourhood_272, Neighbourhood_273, Neighbourhood_274, Neighbourhood_275, Neighbourhood_276, Neighbourhood_277, Neighbourhood_278, Neighbourhood_279, HasLeft_14, Neighbourhood_280, HasRight_14, Neighbourhood_281, Neighbourhood_282, Neighbourhood_283, Neighbourhood_284, Neighbourhood_285, Neighbourhood_286, Neighbourhood_287, Neighbourhood_288, Neighbourhood_289, Neighbourhood_290, Neighbourhood_291, Neighbourhood_292, Neighbourhood_293, Neighbourhood_294, Neighbourhood_295, Neighbourhood_296, Neighbourhood_297, Neighbourhood_298, Neighbourhood_299, HasLeft_15, Neighbourhood_300, HasRight_15, Neighbourhood_301, Neighbourhood_302, Neighbourhood_303, Neighbourhood_304, Neighbourhood_305, Neighbourhood_306, Neighbourhood_307, Neighbourhood_308, Neighbourhood_309, Neighbourhood_310, Neighbourhood_311, Neighbourhood_312, Neighbourhood_313, Neighbourhood_314, Neighbourhood_315, Neighbourhood_316, Neighbourhood_317, Neighbourhood_318, Neighbourhood_319, HasLeft_16, Neighbourhood_320, HasRight_16, Neighbourhood_321, Neighbourhood_322, Neighbourhood_323, Neighbourhood_324, Neighbourhood_325, Neighbourhood_326, Neighbourhood_327, Neighbourhood_328, Neighbourhood_329, Neighbourhood_330, Neighbourhood_331, Neighbourhood_332, Neighbourhood_333, Neighbourhood_334, Neighbourhood_335, Neighbourhood_336, Neighbourhood_337, Neighbourhood_338, Neighbourhood_339, HasLeft_17, Neighbourhood_340, HasRight_17, Neighbourhood_341, Neighbourhood_342, Neighbourhood_343, Neighbourhood_344, Neighbourhood_345, Neighbourhood_346, Neighbourhood_347, Neighbourhood_348, Neighbourhood_349, Neighbourhood_350, Neighbourhood_351, Neighbourhood_352, Neighbourhood_353, Neighbourhood_354, Neighbourhood_355, Neighbourhood_356, Neighbourhood_357, Neighbourhood_358, Neighbourhood_359, HasLeft_18, Neighbourhood_360, HasRight_18, Neighbourhood_361, Neighbourhood_362, Neighbourhood_363, Neighbourhood_364, Neighbourhood_365, Neighbourhood_366, Neighbourhood_367, Neighbourhood_368, Neighbourhood_369, Neighbourhood_370, Neighbourhood_371, Neighbourhood_372, Neighbourhood_373, Neighbourhood_374, Neighbourhood_375, Neighbourhood_376, Neighbourhood_377, Neighbourhood_378, Neighbourhood_379, HasLeft_19, Neighbourhood_380, HasRight_19, Neighbourhood_381, Neighbourhood_382, Neighbourhood_383, Neighbourhood_384, Neighbourhood_385, Neighbourhood_386, Neighbourhood_387, Neighbourhood_388, Neighbourhood_389, Neighbourhood_390, Neighbourhood_391, Neighbourhood_392, Neighbourhood_393, Neighbourhood_394, Neighbourhood_395, Neighbourhood_396, Neighbourhood_397, Neighbourhood_398, Neighbourhood_399]
May 26, 2015 2:37:21 PM fr.lip6.move.gal.cegar.support.SupportManager computeSupport
INFO: Computing abstraction support, depth 0, found support 440
May 26, 2015 2:37:21 PM fr.lip6.move.gal.cegar.abstractor.BoundComputer compute
INFO: Bounding GAL to K = 1
May 26, 2015 2:37:43 PM fr.lip6.move.gal.cegar.abstractor.VariablesAbstractor abstractUsingSupport
INFO: Abstracting GAL, removed 100 / 540 variable(s)
May 26, 2015 2:38:06 PM fr.lip6.move.gal.cegar.checkers.CEGARChecker check
INFO: Checking abstraction for property PhilosophersDyn-COL-20-ReachabilityFireabilitySimple-0(refined 0 times)...
May 26, 2015 2:38:06 PM fr.lip6.move.gal.cegar.checkers.CEGARChecker check
INFO: Running its-reach -reachable on the abstraction...
May 26, 2015 2:38:06 PM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 77380 redundant transitions.
May 26, 2015 2:38:24 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityFireabilitySimple.gal : 9698 ms
May 26, 2015 2:38:24 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: No display to refresh.
May 26, 2015 2:38:24 PM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSTools
INFO: Time to serialize properties into /home/mcc/execution/ReachabilityFireabilitySimple.prop : 59 ms
May 26, 2015 2:39:14 PM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 800 uncalled transitions.
May 26, 2015 2:40:02 PM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 120 uncalled transitions.
May 26, 2015 2:40:02 PM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 20 fixed domain variables (out of 440 variables)

May 26, 2015 2:40:02 PM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 98139 ms
May 26, 2015 2:40:02 PM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/work/abstract.gal : 243 ms
May 26, 2015 2:48:47 PM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property PhilosophersDyn-COL-20-ReachabilityFireabilitySimple-0(UNSAT) depth K=1 took 1736158 ms
java.lang.IllegalThreadStateException: process hasn't exited
at java.lang.UNIXProcess.exitValue(UNIXProcess.java:421)
at fr.lip6.move.gal.itstools.ProcessController.execute(ProcessController.java:125)
at fr.lip6.move.gal.cegar.checkers.ITSLauncher.run(ITSLauncher.java:99)
at fr.lip6.move.gal.cegar.checkers.ITSLauncher.run(ITSLauncher.java:56)
at fr.lip6.move.gal.cegar.checkers.ITSPropertyCheckerAdapter.check(ITSPropertyCheckerAdapter.java:72)
at fr.lip6.move.gal.cegar.checkers.CEGARChecker.check(CEGARChecker.java:46)
at fr.lip6.move.gal.cegar.frontend.CegarFrontEnd.processGal(CegarFrontEnd.java:24)
at fr.lip6.move.gal.application.Application$3.run(Application.java:354)
at java.lang.Thread.run(Thread.java:745)
May 26, 2015 2:49:28 PM fr.lip6.move.gal.application.Application$3 run
WARNING: Aborting CEGAR check of property PhilosophersDyn-COL-20-ReachabilityFireabilitySimple-0 due to an exception when running procedure.

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="PhilosophersDyn-COL-20"
export BK_EXAMINATION="ReachabilityFireabilitySimple"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/user/u8/hulinhub/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/PhilosophersDyn-COL-20.tgz
mv PhilosophersDyn-COL-20 execution

# this is for BenchKit: explicit launching of the test

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