fond
Model Checking Contest @ Petri Nets 2015
Bruxelles, Belgium, June 23, 2015
Execution of r117st-ebro-143297544400165
Last Updated
August 19, 2015

About the Execution of ITS-Tools for S_CSRepetitions-COL-07

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15953.380 1794561.00 5403233.00 1377.60 ?T????????F????? 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-2265
Executing tool itstools
Input is S_CSRepetitions-COL-07, examination is ReachabilityCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r117st-ebro-143297544400165
=====================================================================


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

=== Now, execution of the tool begins

BK_START 1433138165147

FORMULA CSRepetitions-COL-07-ReachabilityCardinality-4 FALSE TECHNIQUES TOPOLOGICAL
work folder: /home/mcc/execution
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
unsat
work folder: /home/mcc/execution
FORMULA CSRepetitions-COL-07-ReachabilityCardinality-1 TRUE TECHNIQUES DECISION_DIAGRAMS COLLATERAL_PROCESSING TOPOLOGICAL CEGAR
work folder: /home/mcc/execution
work folder: /home/mcc/execution
work folder: /home/mcc/execution

BK_STOP 1433139959708

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

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

Jun 01, 2015 5:56:11 AM fr.lip6.move.gal.pnml.togal.HLGALTransformer handlePage
INFO: Transformed 5 transitions.
Jun 01, 2015 5:56:11 AM fr.lip6.move.gal.pnml.togal.PnmlToGalTransformer transform
INFO: Computed order based on color domains : CompositeGalOrder [children=[VarOrder [vars=[serverWaiting[0]]], VarOrder [vars=[serverWaiting[1]]], VarOrder [vars=[serverWaiting[2]]], VarOrder [vars=[serverWaiting[3]]], VarOrder [vars=[serverWaiting[4]]], VarOrder [vars=[serverWaiting[5]]], VarOrder [vars=[serverWaiting[6]]], VarOrder [vars=[serverAnwering[0]]], VarOrder [vars=[serverAnwering[1]]], VarOrder [vars=[serverAnwering[2]]], VarOrder [vars=[serverAnwering[3]]], VarOrder [vars=[serverAnwering[4]]], VarOrder [vars=[serverAnwering[5]]], VarOrder [vars=[serverAnwering[6]]], VarOrder [vars=[serverAnwering[7]]], VarOrder [vars=[serverAnwering[8]]], VarOrder [vars=[serverAnwering[9]]], VarOrder [vars=[serverAnwering[10]]], VarOrder [vars=[serverAnwering[11]]], VarOrder [vars=[serverAnwering[12]]], VarOrder [vars=[serverAnwering[13]]], VarOrder [vars=[serverAnwering[14]]], VarOrder [vars=[serverAnwering[15]]], VarOrder [vars=[serverAnwering[16]]], VarOrder [vars=[serverAnwering[17]]], VarOrder [vars=[serverAnwering[18]]], VarOrder [vars=[serverAnwering[19]]], VarOrder [vars=[serverAnwering[20]]], VarOrder [vars=[serverAnwering[21]]], VarOrder [vars=[serverAnwering[22]]], VarOrder [vars=[serverAnwering[23]]], VarOrder [vars=[serverAnwering[24]]], VarOrder [vars=[serverAnwering[25]]], VarOrder [vars=[serverAnwering[26]]], VarOrder [vars=[serverAnwering[27]]], VarOrder [vars=[serverAnwering[28]]], VarOrder [vars=[serverAnwering[29]]], VarOrder [vars=[serverAnwering[30]]], VarOrder [vars=[serverAnwering[31]]], VarOrder [vars=[serverAnwering[32]]], VarOrder [vars=[serverAnwering[33]]], VarOrder [vars=[serverAnwering[34]]], VarOrder [vars=[serverAnwering[35]]], VarOrder [vars=[serverAnwering[36]]], VarOrder [vars=[serverAnwering[37]]], VarOrder [vars=[serverAnwering[38]]], VarOrder [vars=[serverAnwering[39]]], VarOrder [vars=[serverAnwering[40]]], VarOrder [vars=[serverAnwering[41]]], VarOrder [vars=[serverAnwering[42]]], VarOrder [vars=[serverAnwering[43]]], VarOrder [vars=[serverAnwering[44]]], VarOrder [vars=[serverAnwering[45]]], VarOrder [vars=[serverAnwering[46]]], VarOrder [vars=[serverAnwering[47]]], VarOrder [vars=[serverAnwering[48]]], VarOrder [vars=[serverAnwering[49]]], VarOrder [vars=[serverAnwering[50]]], VarOrder [vars=[serverAnwering[51]]], VarOrder [vars=[serverAnwering[52]]], VarOrder [vars=[serverAnwering[53]]], VarOrder [vars=[serverAnwering[54]]], VarOrder [vars=[serverAnwering[55]]], VarOrder [vars=[serverAnwering[56]]], VarOrder [vars=[serverAnwering[57]]], VarOrder [vars=[serverAnwering[58]]], VarOrder [vars=[serverAnwering[59]]], VarOrder [vars=[serverAnwering[60]]], VarOrder [vars=[serverAnwering[61]]], VarOrder [vars=[serverAnwering[62]]], VarOrder [vars=[serverAnwering[63]]], VarOrder [vars=[serverAnwering[64]]], VarOrder [vars=[serverAnwering[65]]], VarOrder [vars=[serverAnwering[66]]], VarOrder [vars=[serverAnwering[67]]], VarOrder [vars=[serverAnwering[68]]], VarOrder [vars=[serverAnwering[69]]], VarOrder [vars=[serverAnwering[70]]], VarOrder [vars=[serverAnwering[71]]], VarOrder [vars=[serverAnwering[72]]], VarOrder [vars=[serverAnwering[73]]], VarOrder [vars=[serverAnwering[74]]], VarOrder [vars=[serverAnwering[75]]], VarOrder [vars=[serverAnwering[76]]], VarOrder [vars=[serverAnwering[77]]], VarOrder [vars=[serverAnwering[78]]], VarOrder [vars=[serverAnwering[79]]], VarOrder [vars=[serverAnwering[80]]], VarOrder [vars=[serverAnwering[81]]], VarOrder [vars=[serverAnwering[82]]], VarOrder [vars=[serverAnwering[83]]], VarOrder [vars=[serverAnwering[84]]], VarOrder [vars=[serverAnwering[85]]], VarOrder [vars=[serverAnwering[86]]], VarOrder [vars=[serverAnwering[87]]], VarOrder [vars=[serverAnwering[88]]], VarOrder [vars=[serverAnwering[89]]], VarOrder [vars=[serverAnwering[90]]], VarOrder [vars=[serverAnwering[91]]], VarOrder [vars=[serverAnwering[92]]], VarOrder [vars=[serverAnwering[93]]], VarOrder [vars=[serverAnwering[94]]], VarOrder [vars=[serverAnwering[95]]], VarOrder [vars=[serverAnwering[96]]], VarOrder [vars=[serverAnwering[97]]], VarOrder [vars=[serverAnwering[98]]], VarOrder [vars=[serverAnwering[99]]], VarOrder [vars=[serverAnwering[100]]], VarOrder [vars=[serverAnwering[101]]], VarOrder [vars=[serverAnwering[102]]], VarOrder [vars=[serverAnwering[103]]], VarOrder [vars=[serverAnwering[104]]], VarOrder [vars=[serverAnwering[105]]], VarOrder [vars=[serverAnwering[106]]], VarOrder [vars=[serverAnwering[107]]], VarOrder [vars=[serverAnwering[108]]], VarOrder [vars=[serverAnwering[109]]], VarOrder [vars=[serverAnwering[110]]], VarOrder [vars=[serverAnwering[111]]], VarOrder [vars=[serverAnwering[112]]], VarOrder [vars=[serverAnwering[113]]], VarOrder [vars=[serverAnwering[114]]], VarOrder [vars=[serverAnwering[115]]], VarOrder [vars=[serverAnwering[116]]], VarOrder [vars=[serverAnwering[117]]], VarOrder [vars=[serverAnwering[118]]], VarOrder [vars=[serverAnwering[119]]], VarOrder [vars=[serverAnwering[120]]], VarOrder [vars=[serverAnwering[121]]], VarOrder [vars=[serverAnwering[122]]], VarOrder [vars=[serverAnwering[123]]], VarOrder [vars=[serverAnwering[124]]], VarOrder [vars=[serverAnwering[125]]], VarOrder [vars=[serverAnwering[126]]], VarOrder [vars=[serverAnwering[127]]], VarOrder [vars=[serverAnwering[128]]], VarOrder [vars=[serverAnwering[129]]], VarOrder [vars=[serverAnwering[130]]], VarOrder [vars=[serverAnwering[131]]], VarOrder [vars=[serverAnwering[132]]], VarOrder [vars=[serverAnwering[133]]], VarOrder [vars=[serverAnwering[134]]], VarOrder [vars=[serverAnwering[135]]], VarOrder [vars=[serverAnwering[136]]], VarOrder [vars=[serverAnwering[137]]], VarOrder [vars=[serverAnwering[138]]], VarOrder [vars=[serverAnwering[139]]], VarOrder [vars=[serverAnwering[140]]], VarOrder [vars=[serverAnwering[141]]], VarOrder [vars=[serverAnwering[142]]], VarOrder [vars=[serverAnwering[143]]], VarOrder [vars=[serverAnwering[144]]], VarOrder [vars=[serverAnwering[145]]], VarOrder [vars=[serverAnwering[146]]], VarOrder [vars=[serverAnwering[147]]], VarOrder [vars=[serverAnwering[148]]], VarOrder [vars=[serverAnwering[149]]], VarOrder [vars=[serverAnwering[150]]], VarOrder [vars=[serverAnwering[151]]], VarOrder [vars=[serverAnwering[152]]], VarOrder [vars=[serverAnwering[153]]], VarOrder [vars=[serverAnwering[154]]], VarOrder [vars=[serverAnwering[155]]], VarOrder [vars=[serverAnwering[156]]], VarOrder [vars=[serverAnwering[157]]], VarOrder [vars=[serverAnwering[158]]], VarOrder [vars=[serverAnwering[159]]], VarOrder [vars=[serverAnwering[160]]], VarOrder [vars=[serverAnwering[161]]], VarOrder [vars=[serverAnwering[162]]], VarOrder [vars=[serverAnwering[163]]], VarOrder [vars=[serverAnwering[164]]], VarOrder [vars=[serverAnwering[165]]], VarOrder [vars=[serverAnwering[166]]], VarOrder [vars=[serverAnwering[167]]], VarOrder [vars=[serverAnwering[168]]], VarOrder [vars=[serverAnwering[169]]], VarOrder [vars=[serverAnwering[170]]], VarOrder [vars=[serverAnwering[171]]], VarOrder [vars=[serverAnwering[172]]], VarOrder [vars=[serverAnwering[173]]], VarOrder [vars=[serverAnwering[174]]], VarOrder [vars=[serverAnwering[175]]], VarOrder [vars=[serverAnwering[176]]], VarOrder [vars=[serverAnwering[177]]], VarOrder [vars=[serverAnwering[178]]], VarOrder [vars=[serverAnwering[179]]], VarOrder [vars=[serverAnwering[180]]], VarOrder [vars=[serverAnwering[181]]], VarOrder [vars=[serverAnwering[182]]], VarOrder [vars=[serverAnwering[183]]], VarOrder [vars=[serverAnwering[184]]], VarOrder [vars=[serverAnwering[185]]], VarOrder [vars=[serverAnwering[186]]], VarOrder [vars=[serverAnwering[187]]], VarOrder [vars=[serverAnwering[188]]], VarOrder [vars=[serverAnwering[189]]], VarOrder [vars=[serverAnwering[190]]], VarOrder [vars=[serverAnwering[191]]], VarOrder [vars=[serverAnwering[192]]], VarOrder [vars=[serverAnwering[193]]], VarOrder [vars=[serverAnwering[194]]], VarOrder [vars=[serverAnwering[195]]], VarOrder [vars=[serverAnwering[196]]], VarOrder [vars=[serverAnwering[197]]], VarOrder [vars=[serverAnwering[198]]], VarOrder [vars=[serverAnwering[199]]], VarOrder [vars=[serverAnwering[200]]], VarOrder [vars=[serverAnwering[201]]], VarOrder [vars=[serverAnwering[202]]], VarOrder [vars=[serverAnwering[203]]], VarOrder [vars=[serverAnwering[204]]], VarOrder [vars=[serverAnwering[205]]], VarOrder [vars=[serverAnwering[206]]], VarOrder [vars=[serverAnwering[207]]], VarOrder [vars=[serverAnwering[208]]], VarOrder [vars=[serverAnwering[209]]], VarOrder [vars=[serverAnwering[210]]], VarOrder [vars=[serverAnwering[211]]], VarOrder [vars=[serverAnwering[212]]], VarOrder [vars=[serverAnwering[213]]], VarOrder [vars=[serverAnwering[214]]], VarOrder [vars=[serverAnwering[215]]], VarOrder [vars=[serverAnwering[216]]], VarOrder [vars=[serverAnwering[217]]], VarOrder [vars=[serverAnwering[218]]], VarOrder [vars=[serverAnwering[219]]], VarOrder [vars=[serverAnwering[220]]], VarOrder [vars=[serverAnwering[221]]], VarOrder [vars=[serverAnwering[222]]], VarOrder [vars=[serverAnwering[223]]], VarOrder [vars=[serverAnwering[224]]], VarOrder [vars=[serverAnwering[225]]], VarOrder [vars=[serverAnwering[226]]], VarOrder [vars=[serverAnwering[227]]], VarOrder [vars=[serverAnwering[228]]], VarOrder [vars=[serverAnwering[229]]], VarOrder [vars=[serverAnwering[230]]], VarOrder [vars=[serverAnwering[231]]], VarOrder [vars=[serverAnwering[232]]], VarOrder [vars=[serverAnwering[233]]], VarOrder [vars=[serverAnwering[234]]], VarOrder [vars=[serverAnwering[235]]], VarOrder [vars=[serverAnwering[236]]], VarOrder [vars=[serverAnwering[237]]], VarOrder [vars=[serverAnwering[238]]], VarOrder [vars=[serverAnwering[239]]], VarOrder [vars=[serverAnwering[240]]], VarOrder [vars=[serverAnwering[241]]], VarOrder [vars=[serverAnwering[242]]], VarOrder [vars=[serverAnwering[243]]], VarOrder [vars=[serverAnwering[244]]], VarOrder [vars=[serverAnwering[245]]], VarOrder [vars=[serverAnwering[246]]], VarOrder [vars=[serverAnwering[247]]], VarOrder [vars=[serverAnwering[248]]], VarOrder [vars=[serverAnwering[249]]], VarOrder [vars=[serverAnwering[250]]], VarOrder [vars=[serverAnwering[251]]], VarOrder [vars=[serverAnwering[252]]], VarOrder [vars=[serverAnwering[253]]], VarOrder [vars=[serverAnwering[254]]], VarOrder [vars=[serverAnwering[255]]], VarOrder [vars=[serverAnwering[256]]], VarOrder [vars=[serverAnwering[257]]], VarOrder [vars=[serverAnwering[258]]], VarOrder [vars=[serverAnwering[259]]], VarOrder [vars=[serverAnwering[260]]], VarOrder [vars=[serverAnwering[261]]], VarOrder [vars=[serverAnwering[262]]], VarOrder [vars=[serverAnwering[263]]], VarOrder [vars=[serverAnwering[264]]], VarOrder [vars=[serverAnwering[265]]], VarOrder [vars=[serverAnwering[266]]], VarOrder [vars=[serverAnwering[267]]], VarOrder [vars=[serverAnwering[268]]], VarOrder [vars=[serverAnwering[269]]], VarOrder [vars=[serverAnwering[270]]], VarOrder [vars=[serverAnwering[271]]], VarOrder [vars=[serverAnwering[272]]], VarOrder [vars=[serverAnwering[273]]], VarOrder [vars=[serverAnwering[274]]], VarOrder [vars=[serverAnwering[275]]], VarOrder [vars=[serverAnwering[276]]], VarOrder [vars=[serverAnwering[277]]], VarOrder [vars=[serverAnwering[278]]], VarOrder [vars=[serverAnwering[279]]], VarOrder [vars=[serverAnwering[280]]], VarOrder [vars=[serverAnwering[281]]], VarOrder [vars=[serverAnwering[282]]], VarOrder [vars=[serverAnwering[283]]], VarOrder [vars=[serverAnwering[284]]], VarOrder [vars=[serverAnwering[285]]], VarOrder [vars=[serverAnwering[286]]], VarOrder [vars=[serverAnwering[287]]], VarOrder [vars=[serverAnwering[288]]], VarOrder [vars=[serverAnwering[289]]], VarOrder [vars=[serverAnwering[290]]], VarOrder [vars=[serverAnwering[291]]], VarOrder [vars=[serverAnwering[292]]], VarOrder [vars=[serverAnwering[293]]], VarOrder [vars=[serverAnwering[294]]], VarOrder [vars=[serverAnwering[295]]], VarOrder [vars=[serverAnwering[296]]], VarOrder [vars=[serverAnwering[297]]], VarOrder [vars=[serverAnwering[298]]], VarOrder [vars=[serverAnwering[299]]], VarOrder [vars=[serverAnwering[300]]], VarOrder [vars=[serverAnwering[301]]], VarOrder [vars=[serverAnwering[302]]], VarOrder [vars=[serverAnwering[303]]], VarOrder [vars=[serverAnwering[304]]], VarOrder [vars=[serverAnwering[305]]], VarOrder [vars=[serverAnwering[306]]], VarOrder [vars=[serverAnwering[307]]], VarOrder [vars=[serverAnwering[308]]], VarOrder [vars=[serverAnwering[309]]], VarOrder [vars=[serverAnwering[310]]], VarOrder [vars=[serverAnwering[311]]], VarOrder [vars=[serverAnwering[312]]], VarOrder [vars=[serverAnwering[313]]], VarOrder [vars=[serverAnwering[314]]], VarOrder [vars=[serverAnwering[315]]], VarOrder [vars=[serverAnwering[316]]], VarOrder [vars=[serverAnwering[317]]], VarOrder [vars=[serverAnwering[318]]], VarOrder [vars=[serverAnwering[319]]], VarOrder [vars=[serverAnwering[320]]], VarOrder [vars=[serverAnwering[321]]], VarOrder [vars=[serverAnwering[322]]], VarOrder [vars=[serverAnwering[323]]], VarOrder [vars=[serverAnwering[324]]], VarOrder [vars=[serverAnwering[325]]], VarOrder [vars=[serverAnwering[326]]], VarOrder [vars=[serverAnwering[327]]], VarOrder [vars=[serverAnwering[328]]], VarOrder [vars=[serverAnwering[329]]], VarOrder [vars=[serverAnwering[330]]], VarOrder [vars=[serverAnwering[331]]], VarOrder [vars=[serverAnwering[332]]], VarOrder [vars=[serverAnwering[333]]], VarOrder [vars=[serverAnwering[334]]], VarOrder [vars=[serverAnwering[335]]], VarOrder [vars=[serverAnwering[336]]], VarOrder [vars=[serverAnwering[337]]], VarOrder [vars=[serverAnwering[338]]], VarOrder [vars=[serverAnwering[339]]], VarOrder [vars=[serverAnwering[340]]], VarOrder [vars=[serverAnwering[341]]], VarOrder [vars=[serverAnwering[342]]], VarOrder [vars=[requestBufferSlots[0]]], VarOrder [vars=[clientSending[0], requestBuffer[0], clientWaiting[0]]], VarOrder [vars=[clientSending[1], requestBuffer[1], clientWaiting[1]]], VarOrder [vars=[clientSending[2], requestBuffer[2], clientWaiting[2]]], VarOrder [vars=[clientSending[3], requestBuffer[3], clientWaiting[3]]], VarOrder [vars=[clientSending[4], requestBuffer[4], clientWaiting[4]]], VarOrder [vars=[clientSending[5], requestBuffer[5], clientWaiting[5]]], VarOrder [vars=[clientSending[6], requestBuffer[6], clientWaiting[6]]], VarOrder [vars=[clientSending[7], requestBuffer[7], clientWaiting[7]]], VarOrder [vars=[clientSending[8], requestBuffer[8], clientWaiting[8]]], VarOrder [vars=[clientSending[9], requestBuffer[9], clientWaiting[9]]], VarOrder [vars=[clientSending[10], requestBuffer[10], clientWaiting[10]]], VarOrder [vars=[clientSending[11], requestBuffer[11], clientWaiting[11]]], VarOrder [vars=[clientSending[12], requestBuffer[12], clientWaiting[12]]], VarOrder [vars=[clientSending[13], requestBuffer[13], clientWaiting[13]]], VarOrder [vars=[clientSending[14], requestBuffer[14], clientWaiting[14]]], VarOrder [vars=[clientSending[15], requestBuffer[15], clientWaiting[15]]], VarOrder [vars=[clientSending[16], requestBuffer[16], clientWaiting[16]]], VarOrder [vars=[clientSending[17], requestBuffer[17], clientWaiting[17]]], VarOrder [vars=[clientSending[18], requestBuffer[18], clientWaiting[18]]], VarOrder [vars=[clientSending[19], requestBuffer[19], clientWaiting[19]]], VarOrder [vars=[clientSending[20], requestBuffer[20], clientWaiting[20]]], VarOrder [vars=[clientSending[21], requestBuffer[21], clientWaiting[21]]], VarOrder [vars=[clientSending[22], requestBuffer[22], clientWaiting[22]]], VarOrder [vars=[clientSending[23], requestBuffer[23], clientWaiting[23]]], VarOrder [vars=[clientSending[24], requestBuffer[24], clientWaiting[24]]], VarOrder [vars=[clientSending[25], requestBuffer[25], clientWaiting[25]]], VarOrder [vars=[clientSending[26], requestBuffer[26], clientWaiting[26]]], VarOrder [vars=[clientSending[27], requestBuffer[27], clientWaiting[27]]], VarOrder [vars=[clientSending[28], requestBuffer[28], clientWaiting[28]]], VarOrder [vars=[clientSending[29], requestBuffer[29], clientWaiting[29]]], VarOrder [vars=[clientSending[30], requestBuffer[30], clientWaiting[30]]], VarOrder [vars=[clientSending[31], requestBuffer[31], clientWaiting[31]]], VarOrder [vars=[clientSending[32], requestBuffer[32], clientWaiting[32]]], VarOrder [vars=[clientSending[33], requestBuffer[33], clientWaiting[33]]], VarOrder [vars=[clientSending[34], requestBuffer[34], clientWaiting[34]]], VarOrder [vars=[clientSending[35], requestBuffer[35], clientWaiting[35]]], VarOrder [vars=[clientSending[36], requestBuffer[36], clientWaiting[36]]], VarOrder [vars=[clientSending[37], requestBuffer[37], clientWaiting[37]]], VarOrder [vars=[clientSending[38], requestBuffer[38], clientWaiting[38]]], VarOrder [vars=[clientSending[39], requestBuffer[39], clientWaiting[39]]], VarOrder [vars=[clientSending[40], requestBuffer[40], clientWaiting[40]]], VarOrder [vars=[clientSending[41], requestBuffer[41], clientWaiting[41]]], VarOrder [vars=[clientSending[42], requestBuffer[42], clientWaiting[42]]], VarOrder [vars=[clientSending[43], requestBuffer[43], clientWaiting[43]]], VarOrder [vars=[clientSending[44], requestBuffer[44], clientWaiting[44]]], VarOrder [vars=[clientSending[45], requestBuffer[45], clientWaiting[45]]], VarOrder [vars=[clientSending[46], requestBuffer[46], clientWaiting[46]]], VarOrder [vars=[clientSending[47], requestBuffer[47], clientWaiting[47]]], VarOrder [vars=[clientSending[48], requestBuffer[48], clientWaiting[48]]]]]
Jun 01, 2015 5:56:11 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property CSRepetitions-COL-07-ReachabilityCardinality-4 is trivially false : it is not verified in initial state.
Jun 01, 2015 5:56:12 AM fr.lip6.move.gal.instantiate.PropertySimplifier rewriteWithInitialState
INFO: Invariant property CSRepetitions-COL-07-ReachabilityCardinality-4 is trivially false : it is not verified in initial state.
Jun 01, 2015 5:56:12 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 805 ms
Jun 01, 2015 5:56:12 AM fr.lip6.move.gal.application.Application applyOrder
INFO: Applying decomposition
Jun 01, 2015 5:56:12 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Decomposing Gal with order
Jun 01, 2015 5:56:12 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 497 ms
Jun 01, 2015 5:56:12 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 455 ms
Jun 01, 2015 5:56:12 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 578 ms
Jun 01, 2015 5:56:13 AM fr.lip6.move.gal.instantiate.CompositeBuilder decomposeWithOrder
INFO: Partition obtained :[serverWaiting[0], ],[serverWaiting[1], ],[serverWaiting[2], ],[serverWaiting[3], ],[serverWaiting[4], ],[serverWaiting[5], ],[serverWaiting[6], ],[serverAnwering[0], ],[serverAnwering[1], ],[serverAnwering[2], ],[serverAnwering[3], ],[serverAnwering[4], ],[serverAnwering[5], ],[serverAnwering[6], ],[serverAnwering[7], ],[serverAnwering[8], ],[serverAnwering[9], ],[serverAnwering[10], ],[serverAnwering[11], ],[serverAnwering[12], ],[serverAnwering[13], ],[serverAnwering[14], ],[serverAnwering[15], ],[serverAnwering[16], ],[serverAnwering[17], ],[serverAnwering[18], ],[serverAnwering[19], ],[serverAnwering[20], ],[serverAnwering[21], ],[serverAnwering[22], ],[serverAnwering[23], ],[serverAnwering[24], ],[serverAnwering[25], ],[serverAnwering[26], ],[serverAnwering[27], ],[serverAnwering[28], ],[serverAnwering[29], ],[serverAnwering[30], ],[serverAnwering[31], ],[serverAnwering[32], ],[serverAnwering[33], ],[serverAnwering[34], ],[serverAnwering[35], ],[serverAnwering[36], ],[serverAnwering[37], ],[serverAnwering[38], ],[serverAnwering[39], ],[serverAnwering[40], ],[serverAnwering[41], ],[serverAnwering[42], ],[serverAnwering[43], ],[serverAnwering[44], ],[serverAnwering[45], ],[serverAnwering[46], ],[serverAnwering[47], ],[serverAnwering[48], ],[serverAnwering[49], ],[serverAnwering[50], ],[serverAnwering[51], ],[serverAnwering[52], ],[serverAnwering[53], ],[serverAnwering[54], ],[serverAnwering[55], ],[serverAnwering[56], ],[serverAnwering[57], ],[serverAnwering[58], ],[serverAnwering[59], ],[serverAnwering[60], ],[serverAnwering[61], ],[serverAnwering[62], ],[serverAnwering[63], ],[serverAnwering[64], ],[serverAnwering[65], ],[serverAnwering[66], ],[serverAnwering[67], ],[serverAnwering[68], ],[serverAnwering[69], ],[serverAnwering[70], ],[serverAnwering[71], ],[serverAnwering[72], ],[serverAnwering[73], ],[serverAnwering[74], ],[serverAnwering[75], ],[serverAnwering[76], ],[serverAnwering[77], ],[serverAnwering[78], ],[serverAnwering[79], ],[serverAnwering[80], ],[serverAnwering[81], ],[serverAnwering[82], ],[serverAnwering[83], ],[serverAnwering[84], ],[serverAnwering[85], ],[serverAnwering[86], ],[serverAnwering[87], ],[serverAnwering[88], ],[serverAnwering[89], ],[serverAnwering[90], ],[serverAnwering[91], ],[serverAnwering[92], ],[serverAnwering[93], ],[serverAnwering[94], ],[serverAnwering[95], ],[serverAnwering[96], ],[serverAnwering[97], ],[serverAnwering[98], ],[serverAnwering[99], ],[serverAnwering[100], ],[serverAnwering[101], ],[serverAnwering[102], ],[serverAnwering[103], ],[serverAnwering[104], ],[serverAnwering[105], ],[serverAnwering[106], ],[serverAnwering[107], ],[serverAnwering[108], ],[serverAnwering[109], ],[serverAnwering[110], ],[serverAnwering[111], ],[serverAnwering[112], ],[serverAnwering[113], ],[serverAnwering[114], ],[serverAnwering[115], ],[serverAnwering[116], ],[serverAnwering[117], ],[serverAnwering[118], ],[serverAnwering[119], ],[serverAnwering[120], ],[serverAnwering[121], ],[serverAnwering[122], ],[serverAnwering[123], ],[serverAnwering[124], ],[serverAnwering[125], ],[serverAnwering[126], ],[serverAnwering[127], ],[serverAnwering[128], ],[serverAnwering[129], ],[serverAnwering[130], ],[serverAnwering[131], ],[serverAnwering[132], ],[serverAnwering[133], ],[serverAnwering[134], ],[serverAnwering[135], ],[serverAnwering[136], ],[serverAnwering[137], ],[serverAnwering[138], ],[serverAnwering[139], ],[serverAnwering[140], ],[serverAnwering[141], ],[serverAnwering[142], ],[serverAnwering[143], ],[serverAnwering[144], ],[serverAnwering[145], ],[serverAnwering[146], ],[serverAnwering[147], ],[serverAnwering[148], ],[serverAnwering[149], ],[serverAnwering[150], ],[serverAnwering[151], ],[serverAnwering[152], ],[serverAnwering[153], ],[serverAnwering[154], ],[serverAnwering[155], ],[serverAnwering[156], ],[serverAnwering[157], ],[serverAnwering[158], ],[serverAnwering[159], ],[serverAnwering[160], ],[serverAnwering[161], ],[serverAnwering[162], ],[serverAnwering[163], ],[serverAnwering[164], ],[serverAnwering[165], ],[serverAnwering[166], ],[serverAnwering[167], ],[serverAnwering[168], ],[serverAnwering[169], ],[serverAnwering[170], ],[serverAnwering[171], ],[serverAnwering[172], ],[serverAnwering[173], ],[serverAnwering[174], ],[serverAnwering[175], ],[serverAnwering[176], ],[serverAnwering[177], ],[serverAnwering[178], ],[serverAnwering[179], ],[serverAnwering[180], ],[serverAnwering[181], ],[serverAnwering[182], ],[serverAnwering[183], ],[serverAnwering[184], ],[serverAnwering[185], ],[serverAnwering[186], ],[serverAnwering[187], ],[serverAnwering[188], ],[serverAnwering[189], ],[serverAnwering[190], ],[serverAnwering[191], ],[serverAnwering[192], ],[serverAnwering[193], ],[serverAnwering[194], ],[serverAnwering[195], ],[serverAnwering[196], ],[serverAnwering[197], ],[serverAnwering[198], ],[serverAnwering[199], ],[serverAnwering[200], ],[serverAnwering[201], ],[serverAnwering[202], ],[serverAnwering[203], ],[serverAnwering[204], ],[serverAnwering[205], ],[serverAnwering[206], ],[serverAnwering[207], ],[serverAnwering[208], ],[serverAnwering[209], ],[serverAnwering[210], ],[serverAnwering[211], ],[serverAnwering[212], ],[serverAnwering[213], ],[serverAnwering[214], ],[serverAnwering[215], ],[serverAnwering[216], ],[serverAnwering[217], ],[serverAnwering[218], ],[serverAnwering[219], ],[serverAnwering[220], ],[serverAnwering[221], ],[serverAnwering[222], ],[serverAnwering[223], ],[serverAnwering[224], ],[serverAnwering[225], ],[serverAnwering[226], ],[serverAnwering[227], ],[serverAnwering[228], ],[serverAnwering[229], ],[serverAnwering[230], ],[serverAnwering[231], ],[serverAnwering[232], ],[serverAnwering[233], ],[serverAnwering[234], ],[serverAnwering[235], ],[serverAnwering[236], ],[serverAnwering[237], ],[serverAnwering[238], ],[serverAnwering[239], ],[serverAnwering[240], ],[serverAnwering[241], ],[serverAnwering[242], ],[serverAnwering[243], ],[serverAnwering[244], ],[serverAnwering[245], ],[serverAnwering[246], ],[serverAnwering[247], ],[serverAnwering[248], ],[serverAnwering[249], ],[serverAnwering[250], ],[serverAnwering[251], ],[serverAnwering[252], ],[serverAnwering[253], ],[serverAnwering[254], ],[serverAnwering[255], ],[serverAnwering[256], ],[serverAnwering[257], ],[serverAnwering[258], ],[serverAnwering[259], ],[serverAnwering[260], ],[serverAnwering[261], ],[serverAnwering[262], ],[serverAnwering[263], ],[serverAnwering[264], ],[serverAnwering[265], ],[serverAnwering[266], ],[serverAnwering[267], ],[serverAnwering[268], ],[serverAnwering[269], ],[serverAnwering[270], ],[serverAnwering[271], ],[serverAnwering[272], ],[serverAnwering[273], ],[serverAnwering[274], ],[serverAnwering[275], ],[serverAnwering[276], ],[serverAnwering[277], ],[serverAnwering[278], ],[serverAnwering[279], ],[serverAnwering[280], ],[serverAnwering[281], ],[serverAnwering[282], ],[serverAnwering[283], ],[serverAnwering[284], ],[serverAnwering[285], ],[serverAnwering[286], ],[serverAnwering[287], ],[serverAnwering[288], ],[serverAnwering[289], ],[serverAnwering[290], ],[serverAnwering[291], ],[serverAnwering[292], ],[serverAnwering[293], ],[serverAnwering[294], ],[serverAnwering[295], ],[serverAnwering[296], ],[serverAnwering[297], ],[serverAnwering[298], ],[serverAnwering[299], ],[serverAnwering[300], ],[serverAnwering[301], ],[serverAnwering[302], ],[serverAnwering[303], ],[serverAnwering[304], ],[serverAnwering[305], ],[serverAnwering[306], ],[serverAnwering[307], ],[serverAnwering[308], ],[serverAnwering[309], ],[serverAnwering[310], ],[serverAnwering[311], ],[serverAnwering[312], ],[serverAnwering[313], ],[serverAnwering[314], ],[serverAnwering[315], ],[serverAnwering[316], ],[serverAnwering[317], ],[serverAnwering[318], ],[serverAnwering[319], ],[serverAnwering[320], ],[serverAnwering[321], ],[serverAnwering[322], ],[serverAnwering[323], ],[serverAnwering[324], ],[serverAnwering[325], ],[serverAnwering[326], ],[serverAnwering[327], ],[serverAnwering[328], ],[serverAnwering[329], ],[serverAnwering[330], ],[serverAnwering[331], ],[serverAnwering[332], ],[serverAnwering[333], ],[serverAnwering[334], ],[serverAnwering[335], ],[serverAnwering[336], ],[serverAnwering[337], ],[serverAnwering[338], ],[serverAnwering[339], ],[serverAnwering[340], ],[serverAnwering[341], ],[serverAnwering[342], ],[requestBufferSlots[0], ],[clientSending[0], requestBuffer[0], clientWaiting[0], ],[clientSending[1], requestBuffer[1], clientWaiting[1], ],[clientSending[2], requestBuffer[2], clientWaiting[2], ],[clientSending[3], requestBuffer[3], clientWaiting[3], ],[clientSending[4], requestBuffer[4], clientWaiting[4], ],[clientSending[5], requestBuffer[5], clientWaiting[5], ],[clientSending[6], requestBuffer[6], clientWaiting[6], ],[clientSending[7], requestBuffer[7], clientWaiting[7], ],[clientSending[8], requestBuffer[8], clientWaiting[8], ],[clientSending[9], requestBuffer[9], clientWaiting[9], ],[clientSending[10], requestBuffer[10], clientWaiting[10], ],[clientSending[11], requestBuffer[11], clientWaiting[11], ],[clientSending[12], requestBuffer[12], clientWaiting[12], ],[clientSending[13], requestBuffer[13], clientWaiting[13], ],[clientSending[14], requestBuffer[14], clientWaiting[14], ],[clientSending[15], requestBuffer[15], clientWaiting[15], ],[clientSending[16], requestBuffer[16], clientWaiting[16], ],[clientSending[17], requestBuffer[17], clientWaiting[17], ],[clientSending[18], requestBuffer[18], clientWaiting[18], ],[clientSending[19], requestBuffer[19], clientWaiting[19], ],[clientSending[20], requestBuffer[20], clientWaiting[20], ],[clientSending[21], requestBuffer[21], clientWaiting[21], ],[clientSending[22], requestBuffer[22], clientWaiting[22], ],[clientSending[23], requestBuffer[23], clientWaiting[23], ],[clientSending[24], requestBuffer[24], clientWaiting[24], ],[clientSending[25], requestBuffer[25], clientWaiting[25], ],[clientSending[26], requestBuffer[26], clientWaiting[26], ],[clientSending[27], requestBuffer[27], clientWaiting[27], ],[clientSending[28], requestBuffer[28], clientWaiting[28], ],[clientSending[29], requestBuffer[29], clientWaiting[29], ],[clientSending[30], requestBuffer[30], clientWaiting[30], ],[clientSending[31], requestBuffer[31], clientWaiting[31], ],[clientSending[32], requestBuffer[32], clientWaiting[32], ],[clientSending[33], requestBuffer[33], clientWaiting[33], ],[clientSending[34], requestBuffer[34], clientWaiting[34], ],[clientSending[35], requestBuffer[35], clientWaiting[35], ],[clientSending[36], requestBuffer[36], clientWaiting[36], ],[clientSending[37], requestBuffer[37], clientWaiting[37], ],[clientSending[38], requestBuffer[38], clientWaiting[38], ],[clientSending[39], requestBuffer[39], clientWaiting[39], ],[clientSending[40], requestBuffer[40], clientWaiting[40], ],[clientSending[41], requestBuffer[41], clientWaiting[41], ],[clientSending[42], requestBuffer[42], clientWaiting[42], ],[clientSending[43], requestBuffer[43], clientWaiting[43], ],[clientSending[44], requestBuffer[44], clientWaiting[44], ],[clientSending[45], requestBuffer[45], clientWaiting[45], ],[clientSending[46], requestBuffer[46], clientWaiting[46], ],[clientSending[47], requestBuffer[47], clientWaiting[47], ],[clientSending[48], requestBuffer[48], clientWaiting[48], ],

Jun 01, 2015 5:56:13 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array clientSending to variables to allow decomposition.
Jun 01, 2015 5:56:18 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array requestBuffer to variables to allow decomposition.
Jun 01, 2015 5:56:18 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array serverWaiting to variables to allow decomposition.
Jun 01, 2015 5:56:18 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array clientWaiting to variables to allow decomposition.
Jun 01, 2015 5:56:19 AM fr.lip6.move.gal.instantiate.CompositeBuilder rewriteArraysToAllowPartition
INFO: Rewriting array serverAnwering to variables to allow decomposition.
Jun 01, 2015 5:56:20 AM fr.lip6.move.gal.instantiate.Instantiator fuseIsomorphicEffects
INFO: Removed a total of 637 redundant transitions.
Jun 01, 2015 5:56:20 AM fr.lip6.move.gal.cegar.support.SupportManager computeSupport
INFO: For property CSRepetitions-COL-07-ReachabilityCardinality-0:[invariant] : (((!(((((((((((((((((((((((((((((((((((((((((((((((((clientWaiting_0+clientWaiting_1)+clientWaiting_2)+clientWaiting_3)+clientWaiting_4)+clientWaiting_5)+clientWaiting_6)+clientWaiting_7)+clientWaiting_8)+clientWaiting_9)+clientWaiting_10)+clientWaiting_11)+clientWaiting_12)+clientWaiting_13)+clientWaiting_14)+clientWaiting_15)+clientWaiting_16)+clientWaiting_17)+clientWaiting_18)+clientWaiting_19)+clientWaiting_20)+clientWaiting_21)+clientWaiting_22)+clientWaiting_23)+clientWaiting_24)+clientWaiting_25)+clientWaiting_26)+clientWaiting_27)+clientWaiting_28)+clientWaiting_29)+clientWaiting_30)+clientWaiting_31)+clientWaiting_32)+clientWaiting_33)+clientWaiting_34)+clientWaiting_35)+clientWaiting_36)+clientWaiting_37)+clientWaiting_38)+clientWaiting_39)+clientWaiting_40)+clientWaiting_41)+clientWaiting_42)+clientWaiting_43)+clientWaiting_44)+clientWaiting_45)+clientWaiting_46)+clientWaiting_47)+clientWaiting_48)<=((((((((((((((((((((((((((((((((((((((((((((((((requestBuffer_0+requestBuffer_1)+requestBuffer_2)+requestBuffer_3)+requestBuffer_4)+requestBuffer_5)+requestBuffer_6)+requestBuffer_7)+requestBuffer_8)+requestBuffer_9)+requestBuffer_10)+requestBuffer_11)+requestBuffer_12)+requestBuffer_13)+requestBuffer_14)+requestBuffer_15)+requestBuffer_16)+requestBuffer_17)+requestBuffer_18)+requestBuffer_19)+requestBuffer_20)+requestBuffer_21)+requestBuffer_22)+requestBuffer_23)+requestBuffer_24)+requestBuffer_25)+requestBuffer_26)+requestBuffer_27)+requestBuffer_28)+requestBuffer_29)+requestBuffer_30)+requestBuffer_31)+requestBuffer_32)+requestBuffer_33)+requestBuffer_34)+requestBuffer_35)+requestBuffer_36)+requestBuffer_37)+requestBuffer_38)+requestBuffer_39)+requestBuffer_40)+requestBuffer_41)+requestBuffer_42)+requestBuffer_43)+requestBuffer_44)+requestBuffer_45)+requestBuffer_46)+requestBuffer_47)+requestBuffer_48)))||((((((((((((((((((((((((((((((((((((((((((((((((((clientWaiting_0+clientWaiting_1)+clientWaiting_2)+clientWaiting_3)+clientWaiting_4)+clientWaiting_5)+clientWaiting_6)+clientWaiting_7)+clientWaiting_8)+clientWaiting_9)+clientWaiting_10)+clientWaiting_11)+clientWaiting_12)+clientWaiting_13)+clientWaiting_14)+clientWaiting_15)+clientWaiting_16)+clientWaiting_17)+clientWaiting_18)+clientWaiting_19)+clientWaiting_20)+clientWaiting_21)+clientWaiting_22)+clientWaiting_23)+clientWaiting_24)+clientWaiting_25)+clientWaiting_26)+clientWaiting_27)+clientWaiting_28)+clientWaiting_29)+clientWaiting_30)+clientWaiting_31)+clientWaiting_32)+clientWaiting_33)+clientWaiting_34)+clientWaiting_35)+clientWaiting_36)+clientWaiting_37)+clientWaiting_38)+clientWaiting_39)+clientWaiting_40)+clientWaiting_41)+clientWaiting_42)+clientWaiting_43)+clientWaiting_44)+clientWaiting_45)+clientWaiting_46)+clientWaiting_47)+clientWaiting_48)>=3)&&(requestBufferSlots_0<=((((((((((((((((((((((((((((((((((((((((((((((((clientSending_0+clientSending_1)+clientSending_2)+clientSending_3)+clientSending_4)+clientSending_5)+clientSending_6)+clientSending_7)+clientSending_8)+clientSending_9)+clientSending_10)+clientSending_11)+clientSending_12)+clientSending_13)+clientSending_14)+clientSending_15)+clientSending_16)+clientSending_17)+clientSending_18)+clientSending_19)+clientSending_20)+clientSending_21)+clientSending_22)+clientSending_23)+clientSending_24)+clientSending_25)+clientSending_26)+clientSending_27)+clientSending_28)+clientSending_29)+clientSending_30)+clientSending_31)+clientSending_32)+clientSending_33)+clientSending_34)+clientSending_35)+clientSending_36)+clientSending_37)+clientSending_38)+clientSending_39)+clientSending_40)+clientSending_41)+clientSending_42)+clientSending_43)+clientSending_44)+clientSending_45)+clientSending_46)+clientSending_47)+clientSending_48))))||(((((((((((((((((((((((((((((((((((((((((((((((((((clientSending_0+clientSending_1)+clientSending_2)+clientSending_3)+clientSending_4)+clientSending_5)+clientSending_6)+clientSending_7)+clientSending_8)+clientSending_9)+clientSending_10)+clientSending_11)+clientSending_12)+clientSending_13)+clientSending_14)+clientSending_15)+clientSending_16)+clientSending_17)+clientSending_18)+clientSending_19)+clientSending_20)+clientSending_21)+clientSending_22)+clientSending_23)+clientSending_24)+clientSending_25)+clientSending_26)+clientSending_27)+clientSending_28)+clientSending_29)+clientSending_30)+clientSending_31)+clientSending_32)+clientSending_33)+clientSending_34)+clientSending_35)+clientSending_36)+clientSending_37)+clientSending_38)+clientSending_39)+clientSending_40)+clientSending_41)+clientSending_42)+clientSending_43)+clientSending_44)+clientSending_45)+clientSending_46)+clientSending_47)+clientSending_48)>=1)||(((((((serverWaiting_0+serverWaiting_1)+serverWaiting_2)+serverWaiting_3)+serverWaiting_4)+serverWaiting_5)+serverWaiting_6)<=((((((serverWaiting_0+serverWaiting_1)+serverWaiting_2)+serverWaiting_3)+serverWaiting_4)+serverWaiting_5)+serverWaiting_6)))||(!(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((serverAnwering_0+serverAnwering_1)+serverAnwering_2)+serverAnwering_3)+serverAnwering_4)+serverAnwering_5)+serverAnwering_6)+serverAnwering_7)+serverAnwering_8)+serverAnwering_9)+serverAnwering_10)+serverAnwering_11)+serverAnwering_12)+serverAnwering_13)+serverAnwering_14)+serverAnwering_15)+serverAnwering_16)+serverAnwering_17)+serverAnwering_18)+serverAnwering_19)+serverAnwering_20)+serverAnwering_21)+serverAnwering_22)+serverAnwering_23)+serverAnwering_24)+serverAnwering_25)+serverAnwering_26)+serverAnwering_27)+serverAnwering_28)+serverAnwering_29)+serverAnwering_30)+serverAnwering_31)+serverAnwering_32)+serverAnwering_33)+serverAnwering_34)+serverAnwering_35)+serverAnwering_36)+serverAnwering_37)+serverAnwering_38)+serverAnwering_39)+serverAnwering_40)+serverAnwering_41)+serverAnwering_42)+serverAnwering_43)+serverAnwering_44)+serverAnwering_45)+serverAnwering_46)+serverAnwering_47)+serverAnwering_48)+serverAnwering_49)+serverAnwering_50)+serverAnwering_51)+serverAnwering_52)+serverAnwering_53)+serverAnwering_54)+serverAnwering_55)+serverAnwering_56)+serverAnwering_57)+serverAnwering_58)+serverAnwering_59)+serverAnwering_60)+serverAnwering_61)+serverAnwering_62)+serverAnwering_63)+serverAnwering_64)+serverAnwering_65)+serverAnwering_66)+serverAnwering_67)+serverAnwering_68)+serverAnwering_69)+serverAnwering_70)+serverAnwering_71)+serverAnwering_72)+serverAnwering_73)+serverAnwering_74)+serverAnwering_75)+serverAnwering_76)+serverAnwering_77)+serverAnwering_78)+serverAnwering_79)+serverAnwering_80)+serverAnwering_81)+serverAnwering_82)+serverAnwering_83)+serverAnwering_84)+serverAnwering_85)+serverAnwering_86)+serverAnwering_87)+serverAnwering_88)+serverAnwering_89)+serverAnwering_90)+serverAnwering_91)+serverAnwering_92)+serverAnwering_93)+serverAnwering_94)+serverAnwering_95)+serverAnwering_96)+serverAnwering_97)+serverAnwering_98)+serverAnwering_99)+serverAnwering_100)+serverAnwering_101)+serverAnwering_102)+serverAnwering_103)+serverAnwering_104)+serverAnwering_105)+serverAnwering_106)+serverAnwering_107)+serverAnwering_108)+serverAnwering_109)+serverAnwering_110)+serverAnwering_111)+serverAnwering_112)+serverAnwering_113)+serverAnwering_114)+serverAnwering_115)+serverAnwering_116)+serverAnwering_117)+serverAnwering_118)+serverAnwering_119)+serverAnwering_120)+serverAnwering_121)+serverAnwering_122)+serverAnwering_123)+serverAnwering_124)+serverAnwering_125)+serverAnwering_126)+serverAnwering_127)+serverAnwering_128)+serverAnwering_129)+serverAnwering_130)+serverAnwering_131)+serverAnwering_132)+serverAnwering_133)+serverAnwering_134)+serverAnwering_135)+serverAnwering_136)+serverAnwering_137)+serverAnwering_138)+serverAnwering_139)+serverAnwering_140)+serverAnwering_141)+serverAnwering_142)+serverAnwering_143)+serverAnwering_144)+serverAnwering_145)+serverAnwering_146)+serverAnwering_147)+serverAnwering_148)+serverAnwering_149)+serverAnwering_150)+serverAnwering_151)+serverAnwering_152)+serverAnwering_153)+serverAnwering_154)+serverAnwering_155)+serverAnwering_156)+serverAnwering_157)+serverAnwering_158)+serverAnwering_159)+serverAnwering_160)+serverAnwering_161)+serverAnwering_162)+serverAnwering_163)+serverAnwering_164)+serverAnwering_165)+serverAnwering_166)+serverAnwering_167)+serverAnwering_168)+serverAnwering_169)+serverAnwering_170)+serverAnwering_171)+serverAnwering_172)+serverAnwering_173)+serverAnwering_174)+serverAnwering_175)+serverAnwering_176)+serverAnwering_177)+serverAnwering_178)+serverAnwering_179)+serverAnwering_180)+serverAnwering_181)+serverAnwering_182)+serverAnwering_183)+serverAnwering_184)+serverAnwering_185)+serverAnwering_186)+serverAnwering_187)+serverAnwering_188)+serverAnwering_189)+serverAnwering_190)+serverAnwering_191)+serverAnwering_192)+serverAnwering_193)+serverAnwering_194)+serverAnwering_195)+serverAnwering_196)+serverAnwering_197)+serverAnwering_198)+serverAnwering_199)+serverAnwering_200)+serverAnwering_201)+serverAnwering_202)+serverAnwering_203)+serverAnwering_204)+serverAnwering_205)+serverAnwering_206)+serverAnwering_207)+serverAnwering_208)+serverAnwering_209)+serverAnwering_210)+serverAnwering_211)+serverAnwering_212)+serverAnwering_213)+serverAnwering_214)+serverAnwering_215)+serverAnwering_216)+serverAnwering_217)+serverAnwering_218)+serverAnwering_219)+serverAnwering_220)+serverAnwering_221)+serverAnwering_222)+serverAnwering_223)+serverAnwering_224)+serverAnwering_225)+serverAnwering_226)+serverAnwering_227)+serverAnwering_228)+serverAnwering_229)+serverAnwering_230)+serverAnwering_231)+serverAnwering_232)+serverAnwering_233)+serverAnwering_234)+serverAnwering_235)+serverAnwering_236)+serverAnwering_237)+serverAnwering_238)+serverAnwering_239)+serverAnwering_240)+serverAnwering_241)+serverAnwering_242)+serverAnwering_243)+serverAnwering_244)+serverAnwering_245)+serverAnwering_246)+serverAnwering_247)+serverAnwering_248)+serverAnwering_249)+serverAnwering_250)+serverAnwering_251)+serverAnwering_252)+serverAnwering_253)+serverAnwering_254)+serverAnwering_255)+serverAnwering_256)+serverAnwering_257)+serverAnwering_258)+serverAnwering_259)+serverAnwering_260)+serverAnwering_261)+serverAnwering_262)+serverAnwering_263)+serverAnwering_264)+serverAnwering_265)+serverAnwering_266)+serverAnwering_267)+serverAnwering_268)+serverAnwering_269)+serverAnwering_270)+serverAnwering_271)+serverAnwering_272)+serverAnwering_273)+serverAnwering_274)+serverAnwering_275)+serverAnwering_276)+serverAnwering_277)+serverAnwering_278)+serverAnwering_279)+serverAnwering_280)+serverAnwering_281)+serverAnwering_282)+serverAnwering_283)+serverAnwering_284)+serverAnwering_285)+serverAnwering_286)+serverAnwering_287)+serverAnwering_288)+serverAnwering_289)+serverAnwering_290)+serverAnwering_291)+serverAnwering_292)+serverAnwering_293)+serverAnwering_294)+serverAnwering_295)+serverAnwering_296)+serverAnwering_297)+serverAnwering_298)+serverAnwering_299)+serverAnwering_300)+serverAnwering_301)+serverAnwering_302)+serverAnwering_303)+serverAnwering_304)+serverAnwering_305)+serverAnwering_306)+serverAnwering_307)+serverAnwering_308)+serverAnwering_309)+serverAnwering_310)+serverAnwering_311)+serverAnwering_312)+serverAnwering_313)+serverAnwering_314)+serverAnwering_315)+serverAnwering_316)+serverAnwering_317)+serverAnwering_318)+serverAnwering_319)+serverAnwering_320)+serverAnwering_321)+serverAnwering_322)+serverAnwering_323)+serverAnwering_324)+serverAnwering_325)+serverAnwering_326)+serverAnwering_327)+serverAnwering_328)+serverAnwering_329)+serverAnwering_330)+serverAnwering_331)+serverAnwering_332)+serverAnwering_333)+serverAnwering_334)+serverAnwering_335)+serverAnwering_336)+serverAnwering_337)+serverAnwering_338)+serverAnwering_339)+serverAnwering_340)+serverAnwering_341)+serverAnwering_342)>=2)))) found Support [clientWaiting_0, clientWaiting_1, clientWaiting_2, clientWaiting_3, clientWaiting_4, clientWaiting_5, clientWaiting_6, clientWaiting_7, clientWaiting_8, clientWaiting_9, clientWaiting_10, clientWaiting_11, clientWaiting_12, clientWaiting_13, clientWaiting_14, clientWaiting_15, clientWaiting_16, clientWaiting_17, clientWaiting_18, clientWaiting_19, clientWaiting_20, clientWaiting_21, clientWaiting_22, clientWaiting_23, clientWaiting_24, clientWaiting_25, clientWaiting_26, clientWaiting_27, clientWaiting_28, clientWaiting_29, clientWaiting_30, clientWaiting_31, clientWaiting_32, clientWaiting_33, clientWaiting_34, clientWaiting_35, clientWaiting_36, clientWaiting_37, clientWaiting_38, clientWaiting_39, clientWaiting_40, clientWaiting_41, clientWaiting_42, clientWaiting_43, clientWaiting_44, clientWaiting_45, clientWaiting_46, clientWaiting_47, clientWaiting_48, requestBuffer_0, requestBuffer_1, requestBuffer_2, requestBuffer_3, requestBuffer_4, requestBuffer_5, requestBuffer_6, requestBuffer_7, requestBuffer_8, requestBuffer_9, requestBuffer_10, requestBuffer_11, requestBuffer_12, requestBuffer_13, requestBuffer_14, requestBuffer_15, requestBuffer_16, requestBuffer_17, requestBuffer_18, requestBuffer_19, requestBuffer_20, requestBuffer_21, requestBuffer_22, requestBuffer_23, requestBuffer_24, requestBuffer_25, requestBuffer_26, requestBuffer_27, requestBuffer_28, requestBuffer_29, requestBuffer_30, requestBuffer_31, requestBuffer_32, requestBuffer_33, requestBuffer_34, requestBuffer_35, requestBuffer_36, requestBuffer_37, requestBuffer_38, requestBuffer_39, requestBuffer_40, requestBuffer_41, requestBuffer_42, requestBuffer_43, requestBuffer_44, requestBuffer_45, requestBuffer_46, requestBuffer_47, requestBuffer_48, requestBufferSlots_0, clientSending_0, clientSending_1, clientSending_2, clientSending_3, clientSending_4, clientSending_5, clientSending_6, clientSending_7, clientSending_8, clientSending_9, clientSending_10, clientSending_11, clientSending_12, clientSending_13, clientSending_14, clientSending_15, clientSending_16, clientSending_17, clientSending_18, clientSending_19, clientSending_20, clientSending_21, clientSending_22, clientSending_23, clientSending_24, clientSending_25, clientSending_26, clientSending_27, clientSending_28, clientSending_29, clientSending_30, clientSending_31, clientSending_32, clientSending_33, clientSending_34, clientSending_35, clientSending_36, clientSending_37, clientSending_38, clientSending_39, clientSending_40, clientSending_41, clientSending_42, clientSending_43, clientSending_44, clientSending_45, clientSending_46, clientSending_47, clientSending_48, serverWaiting_0, serverWaiting_1, serverWaiting_2, serverWaiting_3, serverWaiting_4, serverWaiting_5, serverWaiting_6, serverAnwering_0, serverAnwering_1, serverAnwering_2, serverAnwering_3, serverAnwering_4, serverAnwering_5, serverAnwering_6, serverAnwering_7, serverAnwering_8, serverAnwering_9, serverAnwering_10, serverAnwering_11, serverAnwering_12, serverAnwering_13, serverAnwering_14, serverAnwering_15, serverAnwering_16, serverAnwering_17, serverAnwering_18, serverAnwering_19, serverAnwering_20, serverAnwering_21, serverAnwering_22, serverAnwering_23, serverAnwering_24, serverAnwering_25, serverAnwering_26, serverAnwering_27, serverAnwering_28, serverAnwering_29, serverAnwering_30, serverAnwering_31, serverAnwering_32, serverAnwering_33, serverAnwering_34, serverAnwering_35, serverAnwering_36, serverAnwering_37, serverAnwering_38, serverAnwering_39, serverAnwering_40, serverAnwering_41, serverAnwering_42, serverAnwering_43, serverAnwering_44, serverAnwering_45, serverAnwering_46, serverAnwering_47, serverAnwering_48, serverAnwering_49, serverAnwering_50, serverAnwering_51, serverAnwering_52, serverAnwering_53, serverAnwering_54, serverAnwering_55, serverAnwering_56, serverAnwering_57, serverAnwering_58, serverAnwering_59, serverAnwering_60, serverAnwering_61, serverAnwering_62, serverAnwering_63, serverAnwering_64, serverAnwering_65, serverAnwering_66, serverAnwering_67, serverAnwering_68, serverAnwering_69, serverAnwering_70, serverAnwering_71, serverAnwering_72, serverAnwering_73, serverAnwering_74, serverAnwering_75, serverAnwering_76, serverAnwering_77, serverAnwering_78, serverAnwering_79, serverAnwering_80, serverAnwering_81, serverAnwering_82, serverAnwering_83, serverAnwering_84, serverAnwering_85, serverAnwering_86, serverAnwering_87, serverAnwering_88, serverAnwering_89, serverAnwering_90, serverAnwering_91, serverAnwering_92, serverAnwering_93, serverAnwering_94, serverAnwering_95, serverAnwering_96, serverAnwering_97, serverAnwering_98, serverAnwering_99, serverAnwering_100, serverAnwering_101, serverAnwering_102, serverAnwering_103, serverAnwering_104, serverAnwering_105, serverAnwering_106, serverAnwering_107, serverAnwering_108, serverAnwering_109, serverAnwering_110, serverAnwering_111, serverAnwering_112, serverAnwering_113, serverAnwering_114, serverAnwering_115, serverAnwering_116, serverAnwering_117, serverAnwering_118, serverAnwering_119, serverAnwering_120, serverAnwering_121, serverAnwering_122, serverAnwering_123, serverAnwering_124, serverAnwering_125, serverAnwering_126, serverAnwering_127, serverAnwering_128, serverAnwering_129, serverAnwering_130, serverAnwering_131, serverAnwering_132, serverAnwering_133, serverAnwering_134, serverAnwering_135, serverAnwering_136, serverAnwering_137, serverAnwering_138, serverAnwering_139, serverAnwering_140, serverAnwering_141, serverAnwering_142, serverAnwering_143, serverAnwering_144, serverAnwering_145, serverAnwering_146, serverAnwering_147, serverAnwering_148, serverAnwering_149, serverAnwering_150, serverAnwering_151, serverAnwering_152, serverAnwering_153, serverAnwering_154, serverAnwering_155, serverAnwering_156, serverAnwering_157, serverAnwering_158, serverAnwering_159, serverAnwering_160, serverAnwering_161, serverAnwering_162, serverAnwering_163, serverAnwering_164, serverAnwering_165, serverAnwering_166, serverAnwering_167, serverAnwering_168, serverAnwering_169, serverAnwering_170, serverAnwering_171, serverAnwering_172, serverAnwering_173, serverAnwering_174, serverAnwering_175, serverAnwering_176, serverAnwering_177, serverAnwering_178, serverAnwering_179, serverAnwering_180, serverAnwering_181, serverAnwering_182, serverAnwering_183, serverAnwering_184, serverAnwering_185, serverAnwering_186, serverAnwering_187, serverAnwering_188, serverAnwering_189, serverAnwering_190, serverAnwering_191, serverAnwering_192, serverAnwering_193, serverAnwering_194, serverAnwering_195, serverAnwering_196, serverAnwering_197, serverAnwering_198, serverAnwering_199, serverAnwering_200, serverAnwering_201, serverAnwering_202, serverAnwering_203, serverAnwering_204, serverAnwering_205, serverAnwering_206, serverAnwering_207, serverAnwering_208, serverAnwering_209, serverAnwering_210, serverAnwering_211, serverAnwering_212, serverAnwering_213, serverAnwering_214, serverAnwering_215, serverAnwering_216, serverAnwering_217, serverAnwering_218, serverAnwering_219, serverAnwering_220, serverAnwering_221, serverAnwering_222, serverAnwering_223, serverAnwering_224, serverAnwering_225, serverAnwering_226, serverAnwering_227, serverAnwering_228, serverAnwering_229, serverAnwering_230, serverAnwering_231, serverAnwering_232, serverAnwering_233, serverAnwering_234, serverAnwering_235, serverAnwering_236, serverAnwering_237, serverAnwering_238, serverAnwering_239, serverAnwering_240, serverAnwering_241, serverAnwering_242, serverAnwering_243, serverAnwering_244, serverAnwering_245, serverAnwering_246, serverAnwering_247, serverAnwering_248, serverAnwering_249, serverAnwering_250, serverAnwering_251, serverAnwering_252, serverAnwering_253, serverAnwering_254, serverAnwering_255, serverAnwering_256, serverAnwering_257, serverAnwering_258, serverAnwering_259, serverAnwering_260, serverAnwering_261, serverAnwering_262, serverAnwering_263, serverAnwering_264, serverAnwering_265, serverAnwering_266, serverAnwering_267, serverAnwering_268, serverAnwering_269, serverAnwering_270, serverAnwering_271, serverAnwering_272, serverAnwering_273, serverAnwering_274, serverAnwering_275, serverAnwering_276, serverAnwering_277, serverAnwering_278, serverAnwering_279, serverAnwering_280, serverAnwering_281, serverAnwering_282, serverAnwering_283, serverAnwering_284, serverAnwering_285, serverAnwering_286, serverAnwering_287, serverAnwering_288, serverAnwering_289, serverAnwering_290, serverAnwering_291, serverAnwering_292, serverAnwering_293, serverAnwering_294, serverAnwering_295, serverAnwering_296, serverAnwering_297, serverAnwering_298, serverAnwering_299, serverAnwering_300, serverAnwering_301, serverAnwering_302, serverAnwering_303, serverAnwering_304, serverAnwering_305, serverAnwering_306, serverAnwering_307, serverAnwering_308, serverAnwering_309, serverAnwering_310, serverAnwering_311, serverAnwering_312, serverAnwering_313, serverAnwering_314, serverAnwering_315, serverAnwering_316, serverAnwering_317, serverAnwering_318, serverAnwering_319, serverAnwering_320, serverAnwering_321, serverAnwering_322, serverAnwering_323, serverAnwering_324, serverAnwering_325, serverAnwering_326, serverAnwering_327, serverAnwering_328, serverAnwering_329, serverAnwering_330, serverAnwering_331, serverAnwering_332, serverAnwering_333, serverAnwering_334, serverAnwering_335, serverAnwering_336, serverAnwering_337, serverAnwering_338, serverAnwering_339, serverAnwering_340, serverAnwering_341, serverAnwering_342]
Jun 01, 2015 5:56:20 AM fr.lip6.move.gal.cegar.support.SupportManager computeSupport
INFO: Computing abstraction support, depth 0, found support 498
Jun 01, 2015 5:56:20 AM fr.lip6.move.gal.cegar.abstractor.BoundComputer compute
INFO: Bounding GAL to K = 7
Jun 01, 2015 5:56:20 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/ReachabilityCardinality.gal : 70 ms
Jun 01, 2015 5:56:20 AM fr.lip6.move.gal.cegar.abstractor.VariablesAbstractor abstractUsingSupport
INFO: Abstracting GAL, removed 0 / 498 variable(s)
Jun 01, 2015 5:56:20 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: No display to refresh.
Jun 01, 2015 5:56:20 AM fr.lip6.move.gal.cegar.checkers.CEGARChecker check
INFO: Checking abstraction for property CSRepetitions-COL-07-ReachabilityCardinality-0(refined 0 times)...
Jun 01, 2015 5:56:20 AM fr.lip6.move.gal.cegar.checkers.CEGARChecker check
INFO: Running its-reach -reachable on the abstraction...
Jun 01, 2015 5:56:20 AM fr.lip6.move.serialization.SerializationUtil serializePropertiesForITSTools
INFO: Time to serialize properties into /home/mcc/execution/ReachabilityCardinality.prop : 21 ms
Jun 01, 2015 5:56:21 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 742 uncalled transitions.
Jun 01, 2015 5:56:21 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 1197 uncalled transitions.
Jun 01, 2015 5:56:21 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 343 fixed domain variables (out of 498 variables)

Jun 01, 2015 5:56:21 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 661 ms
Jun 01, 2015 5:56:21 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/work/abstract.gal : 5 ms
Jun 01, 2015 5:56:26 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-07-ReachabilityCardinality-0(UNSAT) depth K=1 took 14013 ms
Jun 01, 2015 5:56:34 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-07-ReachabilityCardinality-1(UNSAT) depth K=1 took 7504 ms
Jun 01, 2015 5:56:42 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-07-ReachabilityCardinality-2(UNSAT) depth K=1 took 7926 ms
Jun 01, 2015 5:56:52 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-07-ReachabilityCardinality-3(UNSAT) depth K=1 took 10473 ms
Jun 01, 2015 5:57:00 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-07-ReachabilityCardinality-5(UNSAT) depth K=1 took 7349 ms
Jun 01, 2015 5:57:08 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-07-ReachabilityCardinality-6(UNSAT) depth K=1 took 8789 ms
Jun 01, 2015 5:57:16 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-07-ReachabilityCardinality-7(UNSAT) depth K=1 took 7784 ms
Jun 01, 2015 5:57:23 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-07-ReachabilityCardinality-8(UNSAT) depth K=1 took 6961 ms
Jun 01, 2015 5:57:30 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-07-ReachabilityCardinality-9(UNSAT) depth K=1 took 6839 ms
Jun 01, 2015 5:57:37 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-07-ReachabilityCardinality-10(UNSAT) depth K=1 took 6818 ms
Jun 01, 2015 5:57:44 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-07-ReachabilityCardinality-11(UNSAT) depth K=1 took 7210 ms
Jun 01, 2015 5:57:51 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-07-ReachabilityCardinality-12(UNSAT) depth K=1 took 6864 ms
Jun 01, 2015 5:57:58 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-07-ReachabilityCardinality-13(UNSAT) depth K=1 took 6904 ms
Jun 01, 2015 5:58:05 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-07-ReachabilityCardinality-14(UNSAT) depth K=1 took 6855 ms
Jun 01, 2015 5:58:12 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-07-ReachabilityCardinality-15(UNSAT) depth K=1 took 7354 ms
Jun 01, 2015 5:58:27 AM fr.lip6.move.gal.gal2smt.Gal2SMTFrontEnd checkProperties
INFO: SMT solution for property CSRepetitions-COL-07-ReachabilityCardinality-0(UNSAT) depth K=6 took 15391 ms
Jun 01, 2015 6:11:23 AM fr.lip6.move.gal.cegar.checkers.ITSLauncher run
INFO: Run of its-reach took 902357 ms
java.lang.NullPointerException
at fr.lip6.move.gal.cegar.checkers.CEGARChecker.check(CEGARChecker.java:48)
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)
Jun 01, 2015 6:11:23 AM fr.lip6.move.gal.application.Application$3 run
WARNING: Aborting CEGAR check of property CSRepetitions-COL-07-ReachabilityCardinality-0 due to an exception when running procedure.
Jun 01, 2015 6:11:23 AM fr.lip6.move.gal.cegar.support.SupportManager computeSupport
INFO: For property CSRepetitions-COL-07-ReachabilityCardinality-1:[reachable] : (((((((((((((((((((((((((((((((((((((((((((((((((clientWaiting_0+clientWaiting_1)+clientWaiting_2)+clientWaiting_3)+clientWaiting_4)+clientWaiting_5)+clientWaiting_6)+clientWaiting_7)+clientWaiting_8)+clientWaiting_9)+clientWaiting_10)+clientWaiting_11)+clientWaiting_12)+clientWaiting_13)+clientWaiting_14)+clientWaiting_15)+clientWaiting_16)+clientWaiting_17)+clientWaiting_18)+clientWaiting_19)+clientWaiting_20)+clientWaiting_21)+clientWaiting_22)+clientWaiting_23)+clientWaiting_24)+clientWaiting_25)+clientWaiting_26)+clientWaiting_27)+clientWaiting_28)+clientWaiting_29)+clientWaiting_30)+clientWaiting_31)+clientWaiting_32)+clientWaiting_33)+clientWaiting_34)+clientWaiting_35)+clientWaiting_36)+clientWaiting_37)+clientWaiting_38)+clientWaiting_39)+clientWaiting_40)+clientWaiting_41)+clientWaiting_42)+clientWaiting_43)+clientWaiting_44)+clientWaiting_45)+clientWaiting_46)+clientWaiting_47)+clientWaiting_48)<=requestBufferSlots_0) found Support [clientWaiting_0, clientWaiting_1, clientWaiting_2, clientWaiting_3, clientWaiting_4, clientWaiting_5, clientWaiting_6, clientWaiting_7, clientWaiting_8, clientWaiting_9, clientWaiting_10, clientWaiting_11, clientWaiting_12, clientWaiting_13, clientWaiting_14, clientWaiting_15, clientWaiting_16, clientWaiting_17, clientWaiting_18, clientWaiting_19, clientWaiting_20, clientWaiting_21, clientWaiting_22, clientWaiting_23, clientWaiting_24, clientWaiting_25, clientWaiting_26, clientWaiting_27, clientWaiting_28, clientWaiting_29, clientWaiting_30, clientWaiting_31, clientWaiting_32, clientWaiting_33, clientWaiting_34, clientWaiting_35, clientWaiting_36, clientWaiting_37, clientWaiting_38, clientWaiting_39, clientWaiting_40, clientWaiting_41, clientWaiting_42, clientWaiting_43, clientWaiting_44, clientWaiting_45, clientWaiting_46, clientWaiting_47, clientWaiting_48, requestBufferSlots_0]
Jun 01, 2015 6:11:23 AM fr.lip6.move.gal.cegar.support.SupportManager computeSupport
INFO: Computing abstraction support, depth 0, found support 50
Jun 01, 2015 6:11:23 AM fr.lip6.move.gal.cegar.abstractor.BoundComputer compute
INFO: Bounding GAL to K = 7
Jun 01, 2015 6:11:23 AM fr.lip6.move.gal.cegar.abstractor.VariablesAbstractor abstractUsingSupport
INFO: Abstracting GAL, removed 448 / 498 variable(s)
Jun 01, 2015 6:11:23 AM fr.lip6.move.gal.cegar.checkers.CEGARChecker check
INFO: Checking abstraction for property CSRepetitions-COL-07-ReachabilityCardinality-1(refined 0 times)...
Jun 01, 2015 6:11:23 AM fr.lip6.move.gal.cegar.checkers.CEGARChecker check
INFO: Running its-reach -reachable on the abstraction...
Jun 01, 2015 6:11:23 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 343 uncalled transitions.
Jun 01, 2015 6:11:23 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 68 ms
Jun 01, 2015 6:11:23 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/work/abstract.gal : 1 ms
Jun 01, 2015 6:11:23 AM fr.lip6.move.gal.cegar.checkers.ITSLauncher run
INFO: Run of its-reach took 550 ms
Jun 01, 2015 6:11:23 AM fr.lip6.move.gal.cegar.checkers.CEGARChecker check
INFO: Found trace: [prepareRequest_0, prepareRequest_1, prepareRequest_2, prepareRequest_3, prepareRequest_4, prepareRequest_5, prepareRequest_6, prepareRequest_7, prepareRequest_8, prepareRequest_9, prepareRequest_10, prepareRequest_11, prepareRequest_12, prepareRequest_13, prepareRequest_14, prepareRequest_15, prepareRequest_16, prepareRequest_17, prepareRequest_18, prepareRequest_19, prepareRequest_20, prepareRequest_21, prepareRequest_22, prepareRequest_23, prepareRequest_24, prepareRequest_25, prepareRequest_26, prepareRequest_27, prepareRequest_28, prepareRequest_29, prepareRequest_30, prepareRequest_31, prepareRequest_32, prepareRequest_33, prepareRequest_34, prepareRequest_35, prepareRequest_36, prepareRequest_37, prepareRequest_38, prepareRequest_39, prepareRequest_40, prepareRequest_41]
Jun 01, 2015 6:11:23 AM fr.lip6.move.gal.cegar.checkers.CEGARChecker check
INFO: Running its-reach -trace [prepareRequest_0, prepareRequest_1, prepareRequest_2, prepareRequest_3, prepareRequest_4, prepareRequest_5, prepareRequest_6, prepareRequest_7, prepareRequest_8, prepareRequest_9, prepareRequest_10, prepareRequest_11, prepareRequest_12, prepareRequest_13, prepareRequest_14, prepareRequest_15, prepareRequest_16, prepareRequest_17, prepareRequest_18, prepareRequest_19, prepareRequest_20, prepareRequest_21, prepareRequest_22, prepareRequest_23, prepareRequest_24, prepareRequest_25, prepareRequest_26, prepareRequest_27, prepareRequest_28, prepareRequest_29, prepareRequest_30, prepareRequest_31, prepareRequest_32, prepareRequest_33, prepareRequest_34, prepareRequest_35, prepareRequest_36, prepareRequest_37, prepareRequest_38, prepareRequest_39, prepareRequest_40, prepareRequest_41] on the original GAL...
Jun 01, 2015 6:11:24 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 234 ms
Jun 01, 2015 6:11:24 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/work/abstract.gal : 36 ms
Jun 01, 2015 6:11:24 AM fr.lip6.move.gal.cegar.checkers.ITSLauncher run
INFO: Run of its-reach took 611 ms
Jun 01, 2015 6:11:24 AM fr.lip6.move.gal.cegar.checkers.CEGARChecker check
INFO: A valid concrete trace has been found by model-checking the abstraction after 0 refinement steps.
Jun 01, 2015 6:11:24 AM fr.lip6.move.gal.cegar.support.SupportManager computeSupport
INFO: For property CSRepetitions-COL-07-ReachabilityCardinality-2:[invariant] : (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((serverAnwering_0+serverAnwering_1)+serverAnwering_2)+serverAnwering_3)+serverAnwering_4)+serverAnwering_5)+serverAnwering_6)+serverAnwering_7)+serverAnwering_8)+serverAnwering_9)+serverAnwering_10)+serverAnwering_11)+serverAnwering_12)+serverAnwering_13)+serverAnwering_14)+serverAnwering_15)+serverAnwering_16)+serverAnwering_17)+serverAnwering_18)+serverAnwering_19)+serverAnwering_20)+serverAnwering_21)+serverAnwering_22)+serverAnwering_23)+serverAnwering_24)+serverAnwering_25)+serverAnwering_26)+serverAnwering_27)+serverAnwering_28)+serverAnwering_29)+serverAnwering_30)+serverAnwering_31)+serverAnwering_32)+serverAnwering_33)+serverAnwering_34)+serverAnwering_35)+serverAnwering_36)+serverAnwering_37)+serverAnwering_38)+serverAnwering_39)+serverAnwering_40)+serverAnwering_41)+serverAnwering_42)+serverAnwering_43)+serverAnwering_44)+serverAnwering_45)+serverAnwering_46)+serverAnwering_47)+serverAnwering_48)+serverAnwering_49)+serverAnwering_50)+serverAnwering_51)+serverAnwering_52)+serverAnwering_53)+serverAnwering_54)+serverAnwering_55)+serverAnwering_56)+serverAnwering_57)+serverAnwering_58)+serverAnwering_59)+serverAnwering_60)+serverAnwering_61)+serverAnwering_62)+serverAnwering_63)+serverAnwering_64)+serverAnwering_65)+serverAnwering_66)+serverAnwering_67)+serverAnwering_68)+serverAnwering_69)+serverAnwering_70)+serverAnwering_71)+serverAnwering_72)+serverAnwering_73)+serverAnwering_74)+serverAnwering_75)+serverAnwering_76)+serverAnwering_77)+serverAnwering_78)+serverAnwering_79)+serverAnwering_80)+serverAnwering_81)+serverAnwering_82)+serverAnwering_83)+serverAnwering_84)+serverAnwering_85)+serverAnwering_86)+serverAnwering_87)+serverAnwering_88)+serverAnwering_89)+serverAnwering_90)+serverAnwering_91)+serverAnwering_92)+serverAnwering_93)+serverAnwering_94)+serverAnwering_95)+serverAnwering_96)+serverAnwering_97)+serverAnwering_98)+serverAnwering_99)+serverAnwering_100)+serverAnwering_101)+serverAnwering_102)+serverAnwering_103)+serverAnwering_104)+serverAnwering_105)+serverAnwering_106)+serverAnwering_107)+serverAnwering_108)+serverAnwering_109)+serverAnwering_110)+serverAnwering_111)+serverAnwering_112)+serverAnwering_113)+serverAnwering_114)+serverAnwering_115)+serverAnwering_116)+serverAnwering_117)+serverAnwering_118)+serverAnwering_119)+serverAnwering_120)+serverAnwering_121)+serverAnwering_122)+serverAnwering_123)+serverAnwering_124)+serverAnwering_125)+serverAnwering_126)+serverAnwering_127)+serverAnwering_128)+serverAnwering_129)+serverAnwering_130)+serverAnwering_131)+serverAnwering_132)+serverAnwering_133)+serverAnwering_134)+serverAnwering_135)+serverAnwering_136)+serverAnwering_137)+serverAnwering_138)+serverAnwering_139)+serverAnwering_140)+serverAnwering_141)+serverAnwering_142)+serverAnwering_143)+serverAnwering_144)+serverAnwering_145)+serverAnwering_146)+serverAnwering_147)+serverAnwering_148)+serverAnwering_149)+serverAnwering_150)+serverAnwering_151)+serverAnwering_152)+serverAnwering_153)+serverAnwering_154)+serverAnwering_155)+serverAnwering_156)+serverAnwering_157)+serverAnwering_158)+serverAnwering_159)+serverAnwering_160)+serverAnwering_161)+serverAnwering_162)+serverAnwering_163)+serverAnwering_164)+serverAnwering_165)+serverAnwering_166)+serverAnwering_167)+serverAnwering_168)+serverAnwering_169)+serverAnwering_170)+serverAnwering_171)+serverAnwering_172)+serverAnwering_173)+serverAnwering_174)+serverAnwering_175)+serverAnwering_176)+serverAnwering_177)+serverAnwering_178)+serverAnwering_179)+serverAnwering_180)+serverAnwering_181)+serverAnwering_182)+serverAnwering_183)+serverAnwering_184)+serverAnwering_185)+serverAnwering_186)+serverAnwering_187)+serverAnwering_188)+serverAnwering_189)+serverAnwering_190)+serverAnwering_191)+serverAnwering_192)+serverAnwering_193)+serverAnwering_194)+serverAnwering_195)+serverAnwering_196)+serverAnwering_197)+serverAnwering_198)+serverAnwering_199)+serverAnwering_200)+serverAnwering_201)+serverAnwering_202)+serverAnwering_203)+serverAnwering_204)+serverAnwering_205)+serverAnwering_206)+serverAnwering_207)+serverAnwering_208)+serverAnwering_209)+serverAnwering_210)+serverAnwering_211)+serverAnwering_212)+serverAnwering_213)+serverAnwering_214)+serverAnwering_215)+serverAnwering_216)+serverAnwering_217)+serverAnwering_218)+serverAnwering_219)+serverAnwering_220)+serverAnwering_221)+serverAnwering_222)+serverAnwering_223)+serverAnwering_224)+serverAnwering_225)+serverAnwering_226)+serverAnwering_227)+serverAnwering_228)+serverAnwering_229)+serverAnwering_230)+serverAnwering_231)+serverAnwering_232)+serverAnwering_233)+serverAnwering_234)+serverAnwering_235)+serverAnwering_236)+serverAnwering_237)+serverAnwering_238)+serverAnwering_239)+serverAnwering_240)+serverAnwering_241)+serverAnwering_242)+serverAnwering_243)+serverAnwering_244)+serverAnwering_245)+serverAnwering_246)+serverAnwering_247)+serverAnwering_248)+serverAnwering_249)+serverAnwering_250)+serverAnwering_251)+serverAnwering_252)+serverAnwering_253)+serverAnwering_254)+serverAnwering_255)+serverAnwering_256)+serverAnwering_257)+serverAnwering_258)+serverAnwering_259)+serverAnwering_260)+serverAnwering_261)+serverAnwering_262)+serverAnwering_263)+serverAnwering_264)+serverAnwering_265)+serverAnwering_266)+serverAnwering_267)+serverAnwering_268)+serverAnwering_269)+serverAnwering_270)+serverAnwering_271)+serverAnwering_272)+serverAnwering_273)+serverAnwering_274)+serverAnwering_275)+serverAnwering_276)+serverAnwering_277)+serverAnwering_278)+serverAnwering_279)+serverAnwering_280)+serverAnwering_281)+serverAnwering_282)+serverAnwering_283)+serverAnwering_284)+serverAnwering_285)+serverAnwering_286)+serverAnwering_287)+serverAnwering_288)+serverAnwering_289)+serverAnwering_290)+serverAnwering_291)+serverAnwering_292)+serverAnwering_293)+serverAnwering_294)+serverAnwering_295)+serverAnwering_296)+serverAnwering_297)+serverAnwering_298)+serverAnwering_299)+serverAnwering_300)+serverAnwering_301)+serverAnwering_302)+serverAnwering_303)+serverAnwering_304)+serverAnwering_305)+serverAnwering_306)+serverAnwering_307)+serverAnwering_308)+serverAnwering_309)+serverAnwering_310)+serverAnwering_311)+serverAnwering_312)+serverAnwering_313)+serverAnwering_314)+serverAnwering_315)+serverAnwering_316)+serverAnwering_317)+serverAnwering_318)+serverAnwering_319)+serverAnwering_320)+serverAnwering_321)+serverAnwering_322)+serverAnwering_323)+serverAnwering_324)+serverAnwering_325)+serverAnwering_326)+serverAnwering_327)+serverAnwering_328)+serverAnwering_329)+serverAnwering_330)+serverAnwering_331)+serverAnwering_332)+serverAnwering_333)+serverAnwering_334)+serverAnwering_335)+serverAnwering_336)+serverAnwering_337)+serverAnwering_338)+serverAnwering_339)+serverAnwering_340)+serverAnwering_341)+serverAnwering_342)<=((((((((((((((((((((((((((((((((((((((((((((((((requestBuffer_0+requestBuffer_1)+requestBuffer_2)+requestBuffer_3)+requestBuffer_4)+requestBuffer_5)+requestBuffer_6)+requestBuffer_7)+requestBuffer_8)+requestBuffer_9)+requestBuffer_10)+requestBuffer_11)+requestBuffer_12)+requestBuffer_13)+requestBuffer_14)+requestBuffer_15)+requestBuffer_16)+requestBuffer_17)+requestBuffer_18)+requestBuffer_19)+requestBuffer_20)+requestBuffer_21)+requestBuffer_22)+requestBuffer_23)+requestBuffer_24)+requestBuffer_25)+requestBuffer_26)+requestBuffer_27)+requestBuffer_28)+requestBuffer_29)+requestBuffer_30)+requestBuffer_31)+requestBuffer_32)+requestBuffer_33)+requestBuffer_34)+requestBuffer_35)+requestBuffer_36)+requestBuffer_37)+requestBuffer_38)+requestBuffer_39)+requestBuffer_40)+requestBuffer_41)+requestBuffer_42)+requestBuffer_43)+requestBuffer_44)+requestBuffer_45)+requestBuffer_46)+requestBuffer_47)+requestBuffer_48)) found Support [serverAnwering_0, serverAnwering_1, serverAnwering_2, serverAnwering_3, serverAnwering_4, serverAnwering_5, serverAnwering_6, serverAnwering_7, serverAnwering_8, serverAnwering_9, serverAnwering_10, serverAnwering_11, serverAnwering_12, serverAnwering_13, serverAnwering_14, serverAnwering_15, serverAnwering_16, serverAnwering_17, serverAnwering_18, serverAnwering_19, serverAnwering_20, serverAnwering_21, serverAnwering_22, serverAnwering_23, serverAnwering_24, serverAnwering_25, serverAnwering_26, serverAnwering_27, serverAnwering_28, serverAnwering_29, serverAnwering_30, serverAnwering_31, serverAnwering_32, serverAnwering_33, serverAnwering_34, serverAnwering_35, serverAnwering_36, serverAnwering_37, serverAnwering_38, serverAnwering_39, serverAnwering_40, serverAnwering_41, serverAnwering_42, serverAnwering_43, serverAnwering_44, serverAnwering_45, serverAnwering_46, serverAnwering_47, serverAnwering_48, serverAnwering_49, serverAnwering_50, serverAnwering_51, serverAnwering_52, serverAnwering_53, serverAnwering_54, serverAnwering_55, serverAnwering_56, serverAnwering_57, serverAnwering_58, serverAnwering_59, serverAnwering_60, serverAnwering_61, serverAnwering_62, serverAnwering_63, serverAnwering_64, serverAnwering_65, serverAnwering_66, serverAnwering_67, serverAnwering_68, serverAnwering_69, serverAnwering_70, serverAnwering_71, serverAnwering_72, serverAnwering_73, serverAnwering_74, serverAnwering_75, serverAnwering_76, serverAnwering_77, serverAnwering_78, serverAnwering_79, serverAnwering_80, serverAnwering_81, serverAnwering_82, serverAnwering_83, serverAnwering_84, serverAnwering_85, serverAnwering_86, serverAnwering_87, serverAnwering_88, serverAnwering_89, serverAnwering_90, serverAnwering_91, serverAnwering_92, serverAnwering_93, serverAnwering_94, serverAnwering_95, serverAnwering_96, serverAnwering_97, serverAnwering_98, serverAnwering_99, serverAnwering_100, serverAnwering_101, serverAnwering_102, serverAnwering_103, serverAnwering_104, serverAnwering_105, serverAnwering_106, serverAnwering_107, serverAnwering_108, serverAnwering_109, serverAnwering_110, serverAnwering_111, serverAnwering_112, serverAnwering_113, serverAnwering_114, serverAnwering_115, serverAnwering_116, serverAnwering_117, serverAnwering_118, serverAnwering_119, serverAnwering_120, serverAnwering_121, serverAnwering_122, serverAnwering_123, serverAnwering_124, serverAnwering_125, serverAnwering_126, serverAnwering_127, serverAnwering_128, serverAnwering_129, serverAnwering_130, serverAnwering_131, serverAnwering_132, serverAnwering_133, serverAnwering_134, serverAnwering_135, serverAnwering_136, serverAnwering_137, serverAnwering_138, serverAnwering_139, serverAnwering_140, serverAnwering_141, serverAnwering_142, serverAnwering_143, serverAnwering_144, serverAnwering_145, serverAnwering_146, serverAnwering_147, serverAnwering_148, serverAnwering_149, serverAnwering_150, serverAnwering_151, serverAnwering_152, serverAnwering_153, serverAnwering_154, serverAnwering_155, serverAnwering_156, serverAnwering_157, serverAnwering_158, serverAnwering_159, serverAnwering_160, serverAnwering_161, serverAnwering_162, serverAnwering_163, serverAnwering_164, serverAnwering_165, serverAnwering_166, serverAnwering_167, serverAnwering_168, serverAnwering_169, serverAnwering_170, serverAnwering_171, serverAnwering_172, serverAnwering_173, serverAnwering_174, serverAnwering_175, serverAnwering_176, serverAnwering_177, serverAnwering_178, serverAnwering_179, serverAnwering_180, serverAnwering_181, serverAnwering_182, serverAnwering_183, serverAnwering_184, serverAnwering_185, serverAnwering_186, serverAnwering_187, serverAnwering_188, serverAnwering_189, serverAnwering_190, serverAnwering_191, serverAnwering_192, serverAnwering_193, serverAnwering_194, serverAnwering_195, serverAnwering_196, serverAnwering_197, serverAnwering_198, serverAnwering_199, serverAnwering_200, serverAnwering_201, serverAnwering_202, serverAnwering_203, serverAnwering_204, serverAnwering_205, serverAnwering_206, serverAnwering_207, serverAnwering_208, serverAnwering_209, serverAnwering_210, serverAnwering_211, serverAnwering_212, serverAnwering_213, serverAnwering_214, serverAnwering_215, serverAnwering_216, serverAnwering_217, serverAnwering_218, serverAnwering_219, serverAnwering_220, serverAnwering_221, serverAnwering_222, serverAnwering_223, serverAnwering_224, serverAnwering_225, serverAnwering_226, serverAnwering_227, serverAnwering_228, serverAnwering_229, serverAnwering_230, serverAnwering_231, serverAnwering_232, serverAnwering_233, serverAnwering_234, serverAnwering_235, serverAnwering_236, serverAnwering_237, serverAnwering_238, serverAnwering_239, serverAnwering_240, serverAnwering_241, serverAnwering_242, serverAnwering_243, serverAnwering_244, serverAnwering_245, serverAnwering_246, serverAnwering_247, serverAnwering_248, serverAnwering_249, serverAnwering_250, serverAnwering_251, serverAnwering_252, serverAnwering_253, serverAnwering_254, serverAnwering_255, serverAnwering_256, serverAnwering_257, serverAnwering_258, serverAnwering_259, serverAnwering_260, serverAnwering_261, serverAnwering_262, serverAnwering_263, serverAnwering_264, serverAnwering_265, serverAnwering_266, serverAnwering_267, serverAnwering_268, serverAnwering_269, serverAnwering_270, serverAnwering_271, serverAnwering_272, serverAnwering_273, serverAnwering_274, serverAnwering_275, serverAnwering_276, serverAnwering_277, serverAnwering_278, serverAnwering_279, serverAnwering_280, serverAnwering_281, serverAnwering_282, serverAnwering_283, serverAnwering_284, serverAnwering_285, serverAnwering_286, serverAnwering_287, serverAnwering_288, serverAnwering_289, serverAnwering_290, serverAnwering_291, serverAnwering_292, serverAnwering_293, serverAnwering_294, serverAnwering_295, serverAnwering_296, serverAnwering_297, serverAnwering_298, serverAnwering_299, serverAnwering_300, serverAnwering_301, serverAnwering_302, serverAnwering_303, serverAnwering_304, serverAnwering_305, serverAnwering_306, serverAnwering_307, serverAnwering_308, serverAnwering_309, serverAnwering_310, serverAnwering_311, serverAnwering_312, serverAnwering_313, serverAnwering_314, serverAnwering_315, serverAnwering_316, serverAnwering_317, serverAnwering_318, serverAnwering_319, serverAnwering_320, serverAnwering_321, serverAnwering_322, serverAnwering_323, serverAnwering_324, serverAnwering_325, serverAnwering_326, serverAnwering_327, serverAnwering_328, serverAnwering_329, serverAnwering_330, serverAnwering_331, serverAnwering_332, serverAnwering_333, serverAnwering_334, serverAnwering_335, serverAnwering_336, serverAnwering_337, serverAnwering_338, serverAnwering_339, serverAnwering_340, serverAnwering_341, serverAnwering_342, requestBuffer_0, requestBuffer_1, requestBuffer_2, requestBuffer_3, requestBuffer_4, requestBuffer_5, requestBuffer_6, requestBuffer_7, requestBuffer_8, requestBuffer_9, requestBuffer_10, requestBuffer_11, requestBuffer_12, requestBuffer_13, requestBuffer_14, requestBuffer_15, requestBuffer_16, requestBuffer_17, requestBuffer_18, requestBuffer_19, requestBuffer_20, requestBuffer_21, requestBuffer_22, requestBuffer_23, requestBuffer_24, requestBuffer_25, requestBuffer_26, requestBuffer_27, requestBuffer_28, requestBuffer_29, requestBuffer_30, requestBuffer_31, requestBuffer_32, requestBuffer_33, requestBuffer_34, requestBuffer_35, requestBuffer_36, requestBuffer_37, requestBuffer_38, requestBuffer_39, requestBuffer_40, requestBuffer_41, requestBuffer_42, requestBuffer_43, requestBuffer_44, requestBuffer_45, requestBuffer_46, requestBuffer_47, requestBuffer_48]
Jun 01, 2015 6:11:24 AM fr.lip6.move.gal.cegar.support.SupportManager computeSupport
INFO: Computing abstraction support, depth 0, found support 392
Jun 01, 2015 6:11:24 AM fr.lip6.move.gal.cegar.abstractor.BoundComputer compute
INFO: Bounding GAL to K = 7
Jun 01, 2015 6:11:24 AM fr.lip6.move.gal.cegar.abstractor.VariablesAbstractor abstractUsingSupport
INFO: Abstracting GAL, removed 106 / 498 variable(s)
Jun 01, 2015 6:11:24 AM fr.lip6.move.gal.cegar.checkers.CEGARChecker check
INFO: Checking abstraction for property CSRepetitions-COL-07-ReachabilityCardinality-2(refined 0 times)...
Jun 01, 2015 6:11:24 AM fr.lip6.move.gal.cegar.checkers.CEGARChecker check
INFO: Running its-reach -reachable on the abstraction...
Jun 01, 2015 6:11:25 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 742 uncalled transitions.
Jun 01, 2015 6:11:25 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 1029 uncalled transitions.
Jun 01, 2015 6:11:25 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 343 fixed domain variables (out of 392 variables)

Jun 01, 2015 6:11:25 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 227 ms
Jun 01, 2015 6:11:25 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/work/abstract.gal : 4 ms
Jun 01, 2015 6:11:25 AM fr.lip6.move.gal.cegar.checkers.ITSLauncher run
INFO: Run of its-reach took 565 ms
java.lang.NullPointerException
at fr.lip6.move.gal.cegar.checkers.CEGARChecker.check(CEGARChecker.java:48)
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)
Jun 01, 2015 6:11:25 AM fr.lip6.move.gal.application.Application$3 run
WARNING: Aborting CEGAR check of property CSRepetitions-COL-07-ReachabilityCardinality-2 due to an exception when running procedure.
Jun 01, 2015 6:11:25 AM fr.lip6.move.gal.cegar.support.SupportManager computeSupport
INFO: For property CSRepetitions-COL-07-ReachabilityCardinality-3:[reachable] : (((!(((((((((((((((((((((((((((((((((((((((((((((((((clientSending_0+clientSending_1)+clientSending_2)+clientSending_3)+clientSending_4)+clientSending_5)+clientSending_6)+clientSending_7)+clientSending_8)+clientSending_9)+clientSending_10)+clientSending_11)+clientSending_12)+clientSending_13)+clientSending_14)+clientSending_15)+clientSending_16)+clientSending_17)+clientSending_18)+clientSending_19)+clientSending_20)+clientSending_21)+clientSending_22)+clientSending_23)+clientSending_24)+clientSending_25)+clientSending_26)+clientSending_27)+clientSending_28)+clientSending_29)+clientSending_30)+clientSending_31)+clientSending_32)+clientSending_33)+clientSending_34)+clientSending_35)+clientSending_36)+clientSending_37)+clientSending_38)+clientSending_39)+clientSending_40)+clientSending_41)+clientSending_42)+clientSending_43)+clientSending_44)+clientSending_45)+clientSending_46)+clientSending_47)+clientSending_48)>=3))||(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((serverAnwering_0+serverAnwering_1)+serverAnwering_2)+serverAnwering_3)+serverAnwering_4)+serverAnwering_5)+serverAnwering_6)+serverAnwering_7)+serverAnwering_8)+serverAnwering_9)+serverAnwering_10)+serverAnwering_11)+serverAnwering_12)+serverAnwering_13)+serverAnwering_14)+serverAnwering_15)+serverAnwering_16)+serverAnwering_17)+serverAnwering_18)+serverAnwering_19)+serverAnwering_20)+serverAnwering_21)+serverAnwering_22)+serverAnwering_23)+serverAnwering_24)+serverAnwering_25)+serverAnwering_26)+serverAnwering_27)+serverAnwering_28)+serverAnwering_29)+serverAnwering_30)+serverAnwering_31)+serverAnwering_32)+serverAnwering_33)+serverAnwering_34)+serverAnwering_35)+serverAnwering_36)+serverAnwering_37)+serverAnwering_38)+serverAnwering_39)+serverAnwering_40)+serverAnwering_41)+serverAnwering_42)+serverAnwering_43)+serverAnwering_44)+serverAnwering_45)+serverAnwering_46)+serverAnwering_47)+serverAnwering_48)+serverAnwering_49)+serverAnwering_50)+serverAnwering_51)+serverAnwering_52)+serverAnwering_53)+serverAnwering_54)+serverAnwering_55)+serverAnwering_56)+serverAnwering_57)+serverAnwering_58)+serverAnwering_59)+serverAnwering_60)+serverAnwering_61)+serverAnwering_62)+serverAnwering_63)+serverAnwering_64)+serverAnwering_65)+serverAnwering_66)+serverAnwering_67)+serverAnwering_68)+serverAnwering_69)+serverAnwering_70)+serverAnwering_71)+serverAnwering_72)+serverAnwering_73)+serverAnwering_74)+serverAnwering_75)+serverAnwering_76)+serverAnwering_77)+serverAnwering_78)+serverAnwering_79)+serverAnwering_80)+serverAnwering_81)+serverAnwering_82)+serverAnwering_83)+serverAnwering_84)+serverAnwering_85)+serverAnwering_86)+serverAnwering_87)+serverAnwering_88)+serverAnwering_89)+serverAnwering_90)+serverAnwering_91)+serverAnwering_92)+serverAnwering_93)+serverAnwering_94)+serverAnwering_95)+serverAnwering_96)+serverAnwering_97)+serverAnwering_98)+serverAnwering_99)+serverAnwering_100)+serverAnwering_101)+serverAnwering_102)+serverAnwering_103)+serverAnwering_104)+serverAnwering_105)+serverAnwering_106)+serverAnwering_107)+serverAnwering_108)+serverAnwering_109)+serverAnwering_110)+serverAnwering_111)+serverAnwering_112)+serverAnwering_113)+serverAnwering_114)+serverAnwering_115)+serverAnwering_116)+serverAnwering_117)+serverAnwering_118)+serverAnwering_119)+serverAnwering_120)+serverAnwering_121)+serverAnwering_122)+serverAnwering_123)+serverAnwering_124)+serverAnwering_125)+serverAnwering_126)+serverAnwering_127)+serverAnwering_128)+serverAnwering_129)+serverAnwering_130)+serverAnwering_131)+serverAnwering_132)+serverAnwering_133)+serverAnwering_134)+serverAnwering_135)+serverAnwering_136)+serverAnwering_137)+serverAnwering_138)+serverAnwering_139)+serverAnwering_140)+serverAnwering_141)+serverAnwering_142)+serverAnwering_143)+serverAnwering_144)+serverAnwering_145)+serverAnwering_146)+serverAnwering_147)+serverAnwering_148)+serverAnwering_149)+serverAnwering_150)+serverAnwering_151)+serverAnwering_152)+serverAnwering_153)+serverAnwering_154)+serverAnwering_155)+serverAnwering_156)+serverAnwering_157)+serverAnwering_158)+serverAnwering_159)+serverAnwering_160)+serverAnwering_161)+serverAnwering_162)+serverAnwering_163)+serverAnwering_164)+serverAnwering_165)+serverAnwering_166)+serverAnwering_167)+serverAnwering_168)+serverAnwering_169)+serverAnwering_170)+serverAnwering_171)+serverAnwering_172)+serverAnwering_173)+serverAnwering_174)+serverAnwering_175)+serverAnwering_176)+serverAnwering_177)+serverAnwering_178)+serverAnwering_179)+serverAnwering_180)+serverAnwering_181)+serverAnwering_182)+serverAnwering_183)+serverAnwering_184)+serverAnwering_185)+serverAnwering_186)+serverAnwering_187)+serverAnwering_188)+serverAnwering_189)+serverAnwering_190)+serverAnwering_191)+serverAnwering_192)+serverAnwering_193)+serverAnwering_194)+serverAnwering_195)+serverAnwering_196)+serverAnwering_197)+serverAnwering_198)+serverAnwering_199)+serverAnwering_200)+serverAnwering_201)+serverAnwering_202)+serverAnwering_203)+serverAnwering_204)+serverAnwering_205)+serverAnwering_206)+serverAnwering_207)+serverAnwering_208)+serverAnwering_209)+serverAnwering_210)+serverAnwering_211)+serverAnwering_212)+serverAnwering_213)+serverAnwering_214)+serverAnwering_215)+serverAnwering_216)+serverAnwering_217)+serverAnwering_218)+serverAnwering_219)+serverAnwering_220)+serverAnwering_221)+serverAnwering_222)+serverAnwering_223)+serverAnwering_224)+serverAnwering_225)+serverAnwering_226)+serverAnwering_227)+serverAnwering_228)+serverAnwering_229)+serverAnwering_230)+serverAnwering_231)+serverAnwering_232)+serverAnwering_233)+serverAnwering_234)+serverAnwering_235)+serverAnwering_236)+serverAnwering_237)+serverAnwering_238)+serverAnwering_239)+serverAnwering_240)+serverAnwering_241)+serverAnwering_242)+serverAnwering_243)+serverAnwering_244)+serverAnwering_245)+serverAnwering_246)+serverAnwering_247)+serverAnwering_248)+serverAnwering_249)+serverAnwering_250)+serverAnwering_251)+serverAnwering_252)+serverAnwering_253)+serverAnwering_254)+serverAnwering_255)+serverAnwering_256)+serverAnwering_257)+serverAnwering_258)+serverAnwering_259)+serverAnwering_260)+serverAnwering_261)+serverAnwering_262)+serverAnwering_263)+serverAnwering_264)+serverAnwering_265)+serverAnwering_266)+serverAnwering_267)+serverAnwering_268)+serverAnwering_269)+serverAnwering_270)+serverAnwering_271)+serverAnwering_272)+serverAnwering_273)+serverAnwering_274)+serverAnwering_275)+serverAnwering_276)+serverAnwering_277)+serverAnwering_278)+serverAnwering_279)+serverAnwering_280)+serverAnwering_281)+serverAnwering_282)+serverAnwering_283)+serverAnwering_284)+serverAnwering_285)+serverAnwering_286)+serverAnwering_287)+serverAnwering_288)+serverAnwering_289)+serverAnwering_290)+serverAnwering_291)+serverAnwering_292)+serverAnwering_293)+serverAnwering_294)+serverAnwering_295)+serverAnwering_296)+serverAnwering_297)+serverAnwering_298)+serverAnwering_299)+serverAnwering_300)+serverAnwering_301)+serverAnwering_302)+serverAnwering_303)+serverAnwering_304)+serverAnwering_305)+serverAnwering_306)+serverAnwering_307)+serverAnwering_308)+serverAnwering_309)+serverAnwering_310)+serverAnwering_311)+serverAnwering_312)+serverAnwering_313)+serverAnwering_314)+serverAnwering_315)+serverAnwering_316)+serverAnwering_317)+serverAnwering_318)+serverAnwering_319)+serverAnwering_320)+serverAnwering_321)+serverAnwering_322)+serverAnwering_323)+serverAnwering_324)+serverAnwering_325)+serverAnwering_326)+serverAnwering_327)+serverAnwering_328)+serverAnwering_329)+serverAnwering_330)+serverAnwering_331)+serverAnwering_332)+serverAnwering_333)+serverAnwering_334)+serverAnwering_335)+serverAnwering_336)+serverAnwering_337)+serverAnwering_338)+serverAnwering_339)+serverAnwering_340)+serverAnwering_341)+serverAnwering_342)>=2))&&(!((((((((serverWaiting_0+serverWaiting_1)+serverWaiting_2)+serverWaiting_3)+serverWaiting_4)+serverWaiting_5)+serverWaiting_6)>=2)&&(((((((serverWaiting_0+serverWaiting_1)+serverWaiting_2)+serverWaiting_3)+serverWaiting_4)+serverWaiting_5)+serverWaiting_6)<=((((((serverWaiting_0+serverWaiting_1)+serverWaiting_2)+serverWaiting_3)+serverWaiting_4)+serverWaiting_5)+serverWaiting_6))))) found Support [clientSending_0, clientSending_1, clientSending_2, clientSending_3, clientSending_4, clientSending_5, clientSending_6, clientSending_7, clientSending_8, clientSending_9, clientSending_10, clientSending_11, clientSending_12, clientSending_13, clientSending_14, clientSending_15, clientSending_16, clientSending_17, clientSending_18, clientSending_19, clientSending_20, clientSending_21, clientSending_22, clientSending_23, clientSending_24, clientSending_25, clientSending_26, clientSending_27, clientSending_28, clientSending_29, clientSending_30, clientSending_31, clientSending_32, clientSending_33, clientSending_34, clientSending_35, clientSending_36, clientSending_37, clientSending_38, clientSending_39, clientSending_40, clientSending_41, clientSending_42, clientSending_43, clientSending_44, clientSending_45, clientSending_46, clientSending_47, clientSending_48, serverAnwering_0, serverAnwering_1, serverAnwering_2, serverAnwering_3, serverAnwering_4, serverAnwering_5, serverAnwering_6, serverAnwering_7, serverAnwering_8, serverAnwering_9, serverAnwering_10, serverAnwering_11, serverAnwering_12, serverAnwering_13, serverAnwering_14, serverAnwering_15, serverAnwering_16, serverAnwering_17, serverAnwering_18, serverAnwering_19, serverAnwering_20, serverAnwering_21, serverAnwering_22, serverAnwering_23, serverAnwering_24, serverAnwering_25, serverAnwering_26, serverAnwering_27, serverAnwering_28, serverAnwering_29, serverAnwering_30, serverAnwering_31, serverAnwering_32, serverAnwering_33, serverAnwering_34, serverAnwering_35, serverAnwering_36, serverAnwering_37, serverAnwering_38, serverAnwering_39, serverAnwering_40, serverAnwering_41, serverAnwering_42, serverAnwering_43, serverAnwering_44, serverAnwering_45, serverAnwering_46, serverAnwering_47, serverAnwering_48, serverAnwering_49, serverAnwering_50, serverAnwering_51, serverAnwering_52, serverAnwering_53, serverAnwering_54, serverAnwering_55, serverAnwering_56, serverAnwering_57, serverAnwering_58, serverAnwering_59, serverAnwering_60, serverAnwering_61, serverAnwering_62, serverAnwering_63, serverAnwering_64, serverAnwering_65, serverAnwering_66, serverAnwering_67, serverAnwering_68, serverAnwering_69, serverAnwering_70, serverAnwering_71, serverAnwering_72, serverAnwering_73, serverAnwering_74, serverAnwering_75, serverAnwering_76, serverAnwering_77, serverAnwering_78, serverAnwering_79, serverAnwering_80, serverAnwering_81, serverAnwering_82, serverAnwering_83, serverAnwering_84, serverAnwering_85, serverAnwering_86, serverAnwering_87, serverAnwering_88, serverAnwering_89, serverAnwering_90, serverAnwering_91, serverAnwering_92, serverAnwering_93, serverAnwering_94, serverAnwering_95, serverAnwering_96, serverAnwering_97, serverAnwering_98, serverAnwering_99, serverAnwering_100, serverAnwering_101, serverAnwering_102, serverAnwering_103, serverAnwering_104, serverAnwering_105, serverAnwering_106, serverAnwering_107, serverAnwering_108, serverAnwering_109, serverAnwering_110, serverAnwering_111, serverAnwering_112, serverAnwering_113, serverAnwering_114, serverAnwering_115, serverAnwering_116, serverAnwering_117, serverAnwering_118, serverAnwering_119, serverAnwering_120, serverAnwering_121, serverAnwering_122, serverAnwering_123, serverAnwering_124, serverAnwering_125, serverAnwering_126, serverAnwering_127, serverAnwering_128, serverAnwering_129, serverAnwering_130, serverAnwering_131, serverAnwering_132, serverAnwering_133, serverAnwering_134, serverAnwering_135, serverAnwering_136, serverAnwering_137, serverAnwering_138, serverAnwering_139, serverAnwering_140, serverAnwering_141, serverAnwering_142, serverAnwering_143, serverAnwering_144, serverAnwering_145, serverAnwering_146, serverAnwering_147, serverAnwering_148, serverAnwering_149, serverAnwering_150, serverAnwering_151, serverAnwering_152, serverAnwering_153, serverAnwering_154, serverAnwering_155, serverAnwering_156, serverAnwering_157, serverAnwering_158, serverAnwering_159, serverAnwering_160, serverAnwering_161, serverAnwering_162, serverAnwering_163, serverAnwering_164, serverAnwering_165, serverAnwering_166, serverAnwering_167, serverAnwering_168, serverAnwering_169, serverAnwering_170, serverAnwering_171, serverAnwering_172, serverAnwering_173, serverAnwering_174, serverAnwering_175, serverAnwering_176, serverAnwering_177, serverAnwering_178, serverAnwering_179, serverAnwering_180, serverAnwering_181, serverAnwering_182, serverAnwering_183, serverAnwering_184, serverAnwering_185, serverAnwering_186, serverAnwering_187, serverAnwering_188, serverAnwering_189, serverAnwering_190, serverAnwering_191, serverAnwering_192, serverAnwering_193, serverAnwering_194, serverAnwering_195, serverAnwering_196, serverAnwering_197, serverAnwering_198, serverAnwering_199, serverAnwering_200, serverAnwering_201, serverAnwering_202, serverAnwering_203, serverAnwering_204, serverAnwering_205, serverAnwering_206, serverAnwering_207, serverAnwering_208, serverAnwering_209, serverAnwering_210, serverAnwering_211, serverAnwering_212, serverAnwering_213, serverAnwering_214, serverAnwering_215, serverAnwering_216, serverAnwering_217, serverAnwering_218, serverAnwering_219, serverAnwering_220, serverAnwering_221, serverAnwering_222, serverAnwering_223, serverAnwering_224, serverAnwering_225, serverAnwering_226, serverAnwering_227, serverAnwering_228, serverAnwering_229, serverAnwering_230, serverAnwering_231, serverAnwering_232, serverAnwering_233, serverAnwering_234, serverAnwering_235, serverAnwering_236, serverAnwering_237, serverAnwering_238, serverAnwering_239, serverAnwering_240, serverAnwering_241, serverAnwering_242, serverAnwering_243, serverAnwering_244, serverAnwering_245, serverAnwering_246, serverAnwering_247, serverAnwering_248, serverAnwering_249, serverAnwering_250, serverAnwering_251, serverAnwering_252, serverAnwering_253, serverAnwering_254, serverAnwering_255, serverAnwering_256, serverAnwering_257, serverAnwering_258, serverAnwering_259, serverAnwering_260, serverAnwering_261, serverAnwering_262, serverAnwering_263, serverAnwering_264, serverAnwering_265, serverAnwering_266, serverAnwering_267, serverAnwering_268, serverAnwering_269, serverAnwering_270, serverAnwering_271, serverAnwering_272, serverAnwering_273, serverAnwering_274, serverAnwering_275, serverAnwering_276, serverAnwering_277, serverAnwering_278, serverAnwering_279, serverAnwering_280, serverAnwering_281, serverAnwering_282, serverAnwering_283, serverAnwering_284, serverAnwering_285, serverAnwering_286, serverAnwering_287, serverAnwering_288, serverAnwering_289, serverAnwering_290, serverAnwering_291, serverAnwering_292, serverAnwering_293, serverAnwering_294, serverAnwering_295, serverAnwering_296, serverAnwering_297, serverAnwering_298, serverAnwering_299, serverAnwering_300, serverAnwering_301, serverAnwering_302, serverAnwering_303, serverAnwering_304, serverAnwering_305, serverAnwering_306, serverAnwering_307, serverAnwering_308, serverAnwering_309, serverAnwering_310, serverAnwering_311, serverAnwering_312, serverAnwering_313, serverAnwering_314, serverAnwering_315, serverAnwering_316, serverAnwering_317, serverAnwering_318, serverAnwering_319, serverAnwering_320, serverAnwering_321, serverAnwering_322, serverAnwering_323, serverAnwering_324, serverAnwering_325, serverAnwering_326, serverAnwering_327, serverAnwering_328, serverAnwering_329, serverAnwering_330, serverAnwering_331, serverAnwering_332, serverAnwering_333, serverAnwering_334, serverAnwering_335, serverAnwering_336, serverAnwering_337, serverAnwering_338, serverAnwering_339, serverAnwering_340, serverAnwering_341, serverAnwering_342, serverWaiting_0, serverWaiting_1, serverWaiting_2, serverWaiting_3, serverWaiting_4, serverWaiting_5, serverWaiting_6]
Jun 01, 2015 6:11:25 AM fr.lip6.move.gal.cegar.support.SupportManager computeSupport
INFO: Computing abstraction support, depth 0, found support 399
Jun 01, 2015 6:11:25 AM fr.lip6.move.gal.cegar.abstractor.BoundComputer compute
INFO: Bounding GAL to K = 7
Jun 01, 2015 6:11:25 AM fr.lip6.move.gal.cegar.abstractor.VariablesAbstractor abstractUsingSupport
INFO: Abstracting GAL, removed 99 / 498 variable(s)
Jun 01, 2015 6:11:25 AM fr.lip6.move.gal.cegar.checkers.CEGARChecker check
INFO: Checking abstraction for property CSRepetitions-COL-07-ReachabilityCardinality-3(refined 0 times)...
Jun 01, 2015 6:11:25 AM fr.lip6.move.gal.cegar.checkers.CEGARChecker check
INFO: Running its-reach -reachable on the abstraction...
Jun 01, 2015 6:11:25 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 742 uncalled transitions.
Jun 01, 2015 6:11:26 AM fr.lip6.move.gal.instantiate.Simplifier removeUncalledTransitions
INFO: Removed 1197 uncalled transitions.
Jun 01, 2015 6:11:26 AM fr.lip6.move.gal.instantiate.DomainAnalyzer computeVariableDomains
INFO: Found a total of 343 fixed domain variables (out of 399 variables)

Jun 01, 2015 6:11:26 AM fr.lip6.move.gal.instantiate.GALRewriter flatten
INFO: Flatten gal took : 238 ms
Jun 01, 2015 6:11:26 AM fr.lip6.move.serialization.SerializationUtil systemToFile
INFO: Time to serialize gal into /home/mcc/execution/work/abstract.gal : 5 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)

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

tar xzf /home/mcc/BenchKit/INPUTS/S_CSRepetitions-COL-07.tgz
mv S_CSRepetitions-COL-07 execution

# this is for BenchKit: explicit launching of the test

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