Introduction

Execution Chart

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

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.

export BK_INPUT=Peterson-COL-6
export BK_EXAMINATION=StateSpace
export BK_TOOL=ITS-Tools
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1753
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/Peterson-COL-6
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool ITS-Tools:'
echo ' Test is Peterson-COL-6, examination is StateSpace'
echo =====================================================================
echo
echo --------------------
echo 'content from stdout:'
echo
bash /home/mcc/BenchKit/BenchKit_head.sh

Execution Outputs of ITS-Tools for Peterson/6 (Colored)

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

execution on node 28: cluster1u30.lip6.fr (runId=136966894901841_n_28)
=====================================================================
runnning ITS-Tools on Peterson-COL-6 (StateSpace)
We got on stdout:
Probing ssh
Waiting ssh to respond
Ssh up and responding
=====================================================================
Generated by BenchKit 1.0
Executing tool ITS-Tools:
Test is Peterson-COL-6, examination is StateSpace
=====================================================================

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

START 1370201185
its-reach command run as :

/home/mcc/BenchKit/bin/its-reach -i model.sep.flat.gal -t GAL --quiet
STATE_SPACE TECHNIQUES DECISION_DIAGRAMS
STOP 1370201629

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

initial cost 644748
final cost 356529
TestIdentity[71],BeginLoop[1],BeginLoop[71],BeginLoop[244],TestIdentity[243],BeginLoop[72],BeginLoop[43],TestIdentity[43],TestIdentity[222],BeginLoop[211],TestIdentity[50],BeginLoop[281],BeginLoop[121],TestIdentity[121],BeginLoop[174],BeginLoop[113],BeginLoop[253],BeginLoop[212],BeginLoop[132],BeginLoop[2],BeginLoop[202],BeginLoop[293],BeginLoop[282],BeginLoop[34],TestIdentity[0],BeginLoop[223],BeginLoop[162],BeginLoop[93],BeginLoop[251],BeginLoop[51],BeginLoop[141],BeginLoop[50],BeginLoop[173],BeginLoop[83],TestIdentity[1],TestIdentity[172],TestIdentity[211],BeginLoop[92],TestIdentity[173],TestIdentity[100],TestIdentity[281],BeginLoop[22],BeginLoop[232],BeginLoop[13],BeginLoop[142],TestIdentity[201],TestIdentity[93],TestIdentity[113],TestIdentity[253],BeginLoop[120],BeginLoop[41],BeginLoop[172],TestIdentity[244],BeginLoop[201],BeginLoop[153],TestIdentity[212],TestIdentity[72],TestIdentity[2],BeginLoop[243],BeginLoop[160],BeginLoop[171],BeginLoop[261],BeginLoop[122],TestIdentity[174],TestIdentity[282],BeginLoop[143],TestIdentity[162],TestIdentity[250],BeginLoop[222],BeginLoop[241],BeginLoop[163],IsEndLoop[243],BeginLoop[101],TestIdentity[34],TestIdentity[141],BeginLoop[90],IsEndLoop[0],BeginLoop[31],BeginLoop[191],TestIdentity[132],BeginLoop[183],BeginLoop[100],TestIdentity[120],TestIdentity[202],BeginLoop[44],TestIdentity[92],TestIdentity[292],TestIdentity[293],TestIdentity[143],TestIdentity[82],TestIdentity[160],BeginLoop[260],IsEndLoop[71],TestIdentity[22],TestIdentity[12],IsEndLoop[222],TestIdentity[232],BeginLoop[62],TestIdentity[131],TestIdentity[33],TestIdentity[90],BeginLoop[181],BeginLoop[104],BeginLoop[213],BeginLoop[272],BeginLoop[155],TestIdentity[171],TestIdentity[210],BeginLoop[111],BeginLoop[292],BeginLoop[233],BeginLoop[82],BeginLoop[190],BeginLoop[23],BeginLoop[3],TestIdentity[150],IsEndLoop[250],TestIdentity[83],BeginLoop[12],TestIdentity[152],BeginLoop[283],IsEndLoop[173],TestIdentity[142],TestIdentity[51],TestIdentity[260],IsEndLoop[210],TestIdentity[280],BeginLoop[170],TestIdentity[241],IsEndLoop[70],IsEndLoop[50],IsEndLoop[280],TestIdentity[251],IsEndLoop[201],TestIdentity[31],IsEndLoop[131],BeginLoop[152],IsEndLoop[43],IsEndLoop[42],TestIdentity[170],TestIdentity[70],BeginLoop[73],TestIdentity[261],IsEndLoop[33],IsEndLoop[292],BeginLoop[240],IsEndLoop[252],TestIdentity[223],IsEndLoop[112],BeginLoop[33],TestIdentity[183],BeginLoop[0],TestIdentity[41],IsEndLoop[82],TestIdentity[240],BeginLoop[30],TestIdentity[190],BeginLoop[151],IsEndLoop[211],TestIdentity[13],TestIdentity[30],IsEndLoop[1],IsEndLoop[12],IsEndLoop[281],TestIdentity[191],BeginLoop[254],TestIdentity[163],BeginLoop[114],BeginLoop[85],IsEndLoop[152],TestIdentity[200],BeginLoop[131],TestIdentity[122],TestIdentity[42],IsEndLoop[120],IsEndLoop[161],TestIdentity[252],BeginLoop[242],IsEndLoop[121],TestIdentity[153],TestIdentity[271],BeginLoop[262],BeginLoop[150],IsEndLoop[40],TestIdentity[101],TestIdentity[154],TestIdentity[213],BeginLoop[192],TestIdentity[112],BeginLoop[210],BeginLoop[286],TestIdentity[286],BeginLoop[32],IsEndLoop[92],IsEndLoop[140],TestIdentity[103],TestIdentity[61],IsEndLoop[141],IsEndLoop[154],TestIdentity[84],BeginLoop[20],TestIdentity[3],BeginLoop[52],IsEndLoop[91],BeginLoop[134],IsEndLoop[100],IsEndLoop[271],TestIdentity[181],IsEndLoop[61],IsEndLoop[162],TestIdentity[283],IsEndLoop[103],TestIdentity[155],BeginLoop[280],IsEndLoop[260],BeginLoop[204],IsEndLoop[21],BeginLoop[291],IsEndLoop[172],IsEndLoop[231],TestIdentity[242],BeginLoop[70],TestIdentity[233],BeginLoop[271],TestIdentity[193],TestIdentity[23],TestIdentity[73],IsEndLoop[119],IsEndLoop[190],TestIdentity[104],BeginLoop[103],IsEndLoop[110],BeginLoop[193],IsEndLoop[84],BeginLoop[11],BeginLoop[81],TestIdentity[32],TestIdentity[44],TestIdentity[62],IsEndLoop[232],IsEndLoop[22],TestAlone[173],IsEndLoop[49],TestIdentity[111],BeginLoop[61],IsEndLoop[253],IsEndLoop[113],BeginLoop[221],BeginLoop[250],IsEndLoop[170],IsEndLoop[182],BeginLoop[194],TestIdentity[272],IsEndLoop[240],TestIdentity[151],BeginLoop[252],IsEndLoop[212],IsEndLoop[159],IsEndLoop[180],BeginLoop[42],TestAlone[210],IsEndLoop[30],TestIdentity[291],BeginLoop[154],TestAlone[201],TestAlone[211],TestAlone[1],IsEndLoop[2],BeginLoop[64],TestAlone[280],TestAlone[281],IsEndLoop[282],BeginLoop[84],TestIdentity[81],TestAlone[33],IsEndLoop[89],IsEndLoop[142],BeginLoop[112],TestIdentity[85],TestIdentity[194],TestIdentity[192],TestAlone[70],TestAlone[131],BeginLoop[200],IsEndLoop[259],IsEndLoop[72],TestIdentity[20],IsEndLoop[200],TestIdentity[11],BeginLoop[15],TestIdentity[262],TestIdentity[254],BeginLoop[102],IsEndLoop[93],BeginLoop[125],BeginLoop[94],IsEndLoop[171],TestIdentity[221],TestIdentity[114],IsEndLoop[150],TestAlone[42],TestAlone[252],TestAlone[292],BeginLoop[184],IsEndLoop[189],TestIdentity[52],TestAlone[253],TestAlone[82],TestAlone[113],TestIdentity[134],TestAlone[112],TestIdentity[204],TestAlone[154],BeginLoop[274],IsEndLoop[285],IsEndLoop[133],BeginLoop[290],TestIdentity[290],IsEndLoop[169],BeginLoop[144],TestAlone[244],IsEndLoop[286],TestAlone[212],IsEndLoop[203],TestAlone[120],IsEndLoop[261],TestAlone[84],TestAlone[12],TestAlone[2],TestIdentity[21],TestIdentity[40],TestIdentity[80],TestAlone[174],BeginLoop[80],IsEndLoop[239],IsEndLoop[124],IsEndLoop[242],TestAlone[282],TestAlone[162],IsEndLoop[51],IsEndLoop[99],IsEndLoop[191],TestAlone[34],TestAlone[72],BeginLoop[10],IsEndLoop[183],IsEndLoop[29],TestAlone[0],TestIdentity[10],IsEndLoop[143],TestAlone[160],TestIdentity[102],TestAlone[243],BeginLoop[220],BeginLoop[225],IsEndLoop[14],TestIdentity[161],TestAlone[152],TestAlone[92],TestAlone[90],TestAlone[141],TestAlone[132],IsEndLoop[241],TestIdentity[124],TestAlone[170],TestIdentity[220],IsEndLoop[19],TestAlone[202],TestAlone[240],IsEndLoop[221],TestIdentity[64],EndTurn[40],IsEndLoop[244],IsEndLoop[31],TestAlone[30],TestAlone[260],IsEndLoop[174],IsEndLoop[291],BeginLoop[6],EndTurn[30],BeginLoop[123],IsEndLoop[81],EndTurn[0],EndTurn[34],Turn[0],IsEndLoop[34],TestIdentity[6],TestIdentity[125],Turn[5],TestAlone[103],TestIdentity[110],EndTurn[24],IsEndLoop[63],IsEndLoop[293],EndTurn[4],EndTurn[10],IsEndLoop[11],IsEndLoop[32],TestAlone[22],TestAlone[271],Turn[6],TestAlone[71],IsEndLoop[160],TestAlone[232],Turn[1],TestAlone[171],TestAlone[61],BeginLoop[238],Turn[34],Turn[29],TestAlone[161],Turn[31],IsEndLoop[90],TestIdentity[15],IsEndLoop[151],TestAlone[40],Turn[2],Turn[30],TestAlone[190],EndTurn[22],IsEndLoop[193],Turn[33],TestIdentity[274],IsEndLoop[224],EndTurn[12],IsEndLoop[132],IsEndLoop[290],TestAlone[241],IsEndLoop[273],IsEndLoop[202],Turn[4],BeginLoop[168],IsEndLoop[6],Turn[32],Turn[3],TestTurn[30],TestTurn[0],TestAlone[31],Turn[28],BeginLoop[124],TestAlone[43],IsEndLoop[80],EndTurn[18],IsEndLoop[5],IsEndLoop[10],EndTurn[28],IsEndLoop[216],TestTurn[40],TestAlone[83],TestAlone[142],TestIdentity[238],TestAlone[124],TestAlone[183],IsEndLoop[76],TestIdentity[123],IsEndLoop[220],TestTurn[34],TestTurn[24],TestAlone[261],TestAlone[51],EndTurn[16],EndTurn[6],IsEndLoop[192],IsEndLoop[101],IsEndLoop[194],TestAlone[250],TestTurn[10],TestAlone[6],TestIdentity[184],TestTurn[4],TestAlone[222],TestAlone[251],EndTurn[36],BeginLoop[40],TestAlone[242],TestIdentity[14],BeginLoop[126],TestAlone[140],TestIdentity[168],TestIdentity[225],TestIdentity[76],TestAlone[91],TestAlone[110],TestAlone[41],BeginLoop[76],TestAlone[191],TestAlone[286],IsEndLoop[102],IsEndLoop[149],TestAlone[155],TestAlone[194],TestAlone[163],TestAlone[32],TestIdentity[94],IsEndLoop[130],TestIdentity[144],TestAlone[213],TestAlone[223],IsEndLoop[122],TestAlone[13],TestIdentity[91],TestAlone[76],AskForSection[30],TestAlone[50],TestIdentity[140],BeginLoop[161],IsEndLoop[75],BeginLoop[196],TestAlone[119],AskForSection[0],BeginLoop[195],TestTurn[22],TestAlone[3],BeginLoop[110],TestAlone[285],WantSection[10],TestAlone[122],TestTurn[12],WantSection[0],TestAlone[283],TestTurn[36],IsEndLoop[270],AskForSection[41],TestTurn[6],TestTurn[18],TestAlone[216],IsEndLoop[163],TestIdentity[126],TestAlone[238],TestAlone[21],TestAlone[291],TestTurn[28],TestTurn[16],AskForSection[11],TestAlone[85],TestAlone[231],BeginLoop[263],TestAlone[81],IsEndLoop[289],TestAlone[73],IsEndLoop[60],Idle[5],TestAlone[101],TestAlone[181],Idle[0],TestAlone[168],TestAlone[290],TestAlone[121],AskForSection[23],TestAlone[153],IsEndLoop[79],TestAlone[80],BeginLoop[164],AskForSection[6],BeginLoop[234],AskForSection[36],AskForSection[35],TestAlone[233],IsEndLoop[233],TestAlone[5],IsEndLoop[9],TestAlone[23],TestIdentity[230],IsEndLoop[219],TestAlone[215],TestAlone[125],TestAlone[104],AskForSection[17],TestAlone[293],TestAlone[11],IsEndLoop[83],IsEndLoop[48],IsEndLoop[118],TestAlone[221],IsEndLoop[145],IsEndLoop[23],TestAlone[182],TestAlone[172],TestAlone[44],TestIdentity[196],TestAlone[203],AskForSection[5],BeginLoop[230],TestAlone[14],BeginLoop[24],TestAlone[10],TestAlone[180],IsEndLoop[199],TestAlone[192],TestAlone[254],TestAlone[151],TestAlone[49],TestAlone[204],TestAlone[169],IsEndLoop[251],TestAlone[220],TestAlone[259],WantSection[2],TestAlone[62],BeginLoop[146],TestAlone[20],TestIdentity[119],TestAlone[239],CS[5],TestAlone[126],TestAlone[133],IsEndLoop[41],TestAlone[262],TestIdentity[216],CS[0],TestAlone[159],TestAlone[75],TestAlone[111],Idle[1],TestAlone[134],IsEndLoop[54],IsEndLoop[114],IsEndLoop[262],BeginLoop[28],TestAlone[28],TestIdentity[263],AskForSection[12],TestAlone[100],TestAlone[89],AskForSection[29],TestIdentity[195],IsEndLoop[123],AskForSection[31],TestAlone[200],TestAlone[52],TestAlone[196],IsEndLoop[272],TestIdentity[231],Idle[6],AskForSection[1],IsEndLoop[249],TestAlone[264],IsEndLoop[264],TestAlone[93],TestAlone[29],TestAlone[102],CS[1],TestAlone[258],BeginLoop[53],WantSection[12],WantSection[1],IsEndLoop[125],CS[6],TestAlone[224],AskForSection[13],WantSection[11],EndTurn[41],TestAlone[114],TestAlone[54],TestTurn[17],IsEndLoop[64],IsEndLoop[213],AskForSection[25],TestIdentity[146],TestIdentity[264],TestAlone[123],WantSection[3],BeginLoop[119],EndTurn[11],TestAlone[189],WantSection[13],BeginLoop[214],AskForSection[7],TestAlone[15],BeginLoop[91],AskForSection[22],AskForSection[37],IsEndLoop[52],AskForSection[34],BeginLoop[21],TestIdentity[203],TestTurn[11],TestTurn[41],BeginLoop[55],IsEndLoop[283],IsEndLoop[3],TestIdentity[182],IsEndLoop[13],AskForSection[18],AskForSection[4],TestAlone[274],EndTurn[17],EndTurn[35],IsEndLoop[223],Turn[38],AskForSection[19],TestAlone[145],TestIdentity[234],EndTurn[5],TestAlone[230],AskForSection[28],TestIdentity[53],BeginLoop[216],BeginLoop[284],TestAlone[229],TestAlone[225],TestIdentity[285],AskForSection[24],TestAlone[143],Turn[37],TestAlone[245],TestTurn[23],TestIdentity[133],BeginLoop[140],TestAlone[150],BeginLoop[4],AskForSection[10],AskForSection[40],Turn[36],AskForSection[16],Turn[41],TestIdentity[24],TestAlone[63],IsEndLoop[238],Turn[40],Turn[39],Idle[2],TestAlone[287],TestAlone[272],TestAlone[146],BeginLoop[264],CS[2],TestIdentity[214],IsEndLoop[168],TestIdentity[164],IsEndLoop[181],TestIdentity[54],TestAlone[195],TestAlone[265],WantSection[4],IsEndLoop[258],WantSection[5],Turn[35],TestIdentity[55],BeginLoop[265],TestAlone[273],IsEndLoop[229],TestAlone[48],BeginLoop[14],TestTurn[35],TestAlone[118],TestAlone[99],TestIdentity[259],EndTurn[23],IsEndLoop[73],TestIdentity[284],BeginLoop[203],TestAlone[77],TestAlone[64],TestAlone[55],TestAlone[35],IsEndLoop[39],TestIdentity[49],TestTurn[5],TestIdentity[4],TestIdentity[224],BeginLoop[287],TestIdentity[245],IsEndLoop[167],TestAlone[19],BeginLoop[77],BeginLoop[245],TestAlone[184],IsEndLoop[153],TestAlone[193],TestIdentity[5],TestIdentity[180],IsEndLoop[215],IsEndLoop[104],TestAlone[284],TestAlone[7],TestIdentity[287],TestTurn[37],TestAlone[263],TestAlone[130],TestAlone[4],TestAlone[144],TestAlone[175],IsEndLoop[109],TestTurn[7],WantSection[7],TestTurn[29],TestAlone[78],TestTurn[1],EndTurn[29],TestTurn[31],IsEndLoop[20],TestAlone[217],TestIdentity[28],TestIdentity[77],IsEndLoop[155],IsEndLoop[55],TestAlone[214],TestAlone[270],IsEndLoop[263],TestAlone[94],BeginLoop[74],TestIdentity[270],TestIdentity[265],IsEndLoop[265],BeginLoop[54],IsEndLoop[62],TestTurn[13],IsEndLoop[209],IsEndLoop[111],CS[3],TestAlone[53],Idle[3],TestAlone[289],TestAlone[86],TestAlone[60],TestAlone[117],TestIdentity[169],IsEndLoop[146],IsEndLoop[126],TestAlone[236],TestAlone[257],WantSection[9],BeginLoop[133],TestAlone[47],BeginLoop[231],BeginLoop[259],TestIdentity[239],TestAlone[74],TestAlone[167],IsEndLoop[230],TestAlone[79],IsEndLoop[28],TestTurn[20],IsEndLoop[245],BeginLoop[49],IsEndLoop[195],TestIdentity[74],TestIdentity[145],TestAlone[127],BeginLoop[115],IsEndLoop[204],Turn[9],IsEndLoop[134],IsEndLoop[97],TestIdentity[75],TestAlone[164],BeginLoop[270],EndTurn[1],TestIdentity[60],IsEndLoop[196],TestAlone[219],BeginLoop[285],TestAlone[98],BeginLoop[182],TestAlone[9],TestAlone[199],EndTurn[31],IsEndLoop[53],TestTurn[25],TestAlone[197],TestTurn[14],Turn[13],TestAlone[129],TestAlone[149],Turn[8],Turn[10],Turn[12],WantSection[6],Idle[4],TestAlone[166],Turn[11],EndTurn[37],CS[4],TestTurn[27],EndTurn[7],Turn[7],BeginLoop[239],TestTurn[19],TestAlone[147],TestAlone[97],BeginLoop[169],IsEndLoop[175],TestAlone[57],EndTurn[13],TestAlone[234],IsEndLoop[284],TestAlone[157],IsEndLoop[287],TestAlone[288],TestAlone[105],TestIdentity[175],BeginLoop[224],TestAlone[246],TestAlone[279],IsEndLoop[85],TestIdentity[189],WantSection[8],TestAlone[24],EndTurn[25],TestAlone[209],IsEndLoop[117],IsEndLoop[139],TestAlone[96],TestIdentity[217],IsEndLoop[274],BeginLoop[60],TestTurn[21],BeginLoop[217],IsEndLoop[47],TestAlone[266],BeginLoop[5],TestAlone[156],TestTurn[3],TestTurn[33],IsEndLoop[98],IsEndLoop[257],TestTurn[2],IsEndLoop[15],BeginLoop[175],IsEndLoop[27],TestAlone[56],IsEndLoop[4],TestIdentity[29],IsEndLoop[166],IsEndLoop[144],TestIdentity[63],IsEndLoop[237],TestAlone[115],IsEndLoop[254],IsEndLoop[269],TestAlone[27],IsEndLoop[217],TestTurn[32],IsEndLoop[44],BeginLoop[145],EndTurn[19],TestTurn[26],TestTurn[8],TestAlone[36],TestAlone[218],TestAlone[208],TestAlone[26],BeginLoop[65],TestTurn[38],IsEndLoop[105],TestAlone[176],IsEndLoop[225],TestAlone[139],AskForSection[2],IsEndLoop[96],TestAlone[237],TestAlone[8],IsEndLoop[164],IsEndLoop[77],BeginLoop[35],IsEndLoop[188],TestIdentity[273],EndTurn[20],TestAlone[138],TestAlone[128],IsEndLoop[59],AskForSection[14],AskForSection[32],TestAlone[249],TestAlone[198],EndTurn[21],TestAlone[188],TestAlone[187],AskForSection[20],EndTurn[14],TestIdentity[115],Turn[17],EndTurn[27],IsEndLoop[147],TestAlone[148],TestTurn[15],IsEndLoop[26],TestAlone[107],Turn[14],TestAlone[179],IsEndLoop[74],TestAlone[106],TestIdentity[159],Turn[18],AskForSection[26],Turn[19],AskForSection[8],AskForSection[38],EndTurn[33],IsEndLoop[69],TestAlone[39],BeginLoop[75],EndTurn[3],EndTurn[38],EndTurn[2],TestAlone[255],BeginLoop[180],TestAlone[68],TestAlone[205],TestAlone[267],BeginLoop[189],Turn[16],TestIdentity[89],TestAlone[45],TestAlone[278],IsEndLoop[266],EndTurn[32],IsEndLoop[288],TestAlone[207],BeginLoop[29],Turn[15],TestAlone[69],TestAlone[136],Turn[21],Turn[20],TestTurn[39],TestIdentity[99],IsEndLoop[208],IsEndLoop[35],TestTurn[9],EndTurn[15],TestIdentity[130],EndTurn[8],TestIdentity[118],IsEndLoop[127],TestAlone[247],TestAlone[135],IsEndLoop[187],Turn[26],TestIdentity[48],IsEndLoop[138],TestAlone[87],AskForSection[21],TestAlone[65],TestAlone[37],IsEndLoop[218],EndTurn[26],IsEndLoop[56],IsEndLoop[184],IsEndLoop[197],TestIdentity[258],AskForSection[3],Turn[25],IsEndLoop[246],TestIdentity[98],Turn[24],Turn[27],TestAlone[158],AskForSection[33],TestAlone[16],TestAlone[186],TestAlone[88],Turn[22],IsEndLoop[8],TestAlone[269],BeginLoop[63],IsEndLoop[68],IsEndLoop[148],Turn[23],BeginLoop[98],BeginLoop[156],TestAlone[109],TestAlone[226],TestAlone[256],TestAlone[59],BeginLoop[246],TestAlone[116],IsEndLoop[214],AskForSection[27],TestAlone[46],EndTurn[9],BeginLoop[7],TestAlone[177],AskForSection[15],BeginLoop[127],IsEndLoop[36],IsEndLoop[278],TestIdentity[215],BeginLoop[273],IsEndLoop[176],TestIdentity[127],TestAlone[165],TestIdentity[167],EndTurn[39],TestAlone[275],TestIdentity[147],IsEndLoop[7],BeginLoop[118],TestAlone[268],TestIdentity[246],BeginLoop[99],TestIdentity[229],TestIdentity[65],TestIdentity[35],TestAlone[58],BeginLoop[48],TestAlone[248],AskForSection[39],IsEndLoop[267],TestIdentity[105],TestIdentity[156],TestAlone[38],BeginLoop[135],BeginLoop[147],BeginLoop[205],BeginLoop[197],TestIdentity[197],BeginLoop[176],TestAlone[206],BeginLoop[258],IsEndLoop[106],TestIdentity[289],AskForSection[9],IsEndLoop[279],TestIdentity[266],IsEndLoop[94],BeginLoop[167],BeginLoop[266],TestIdentity[19],TestAlone[95],BeginLoop[56],TestIdentity[56],IsEndLoop[198],TestIdentity[97],TestAlone[178],TestAlone[185],TestIdentity[288],BeginLoop[288],TestIdentity[176],TestIdentity[219],BeginLoop[105],TestAlone[17],IsEndLoop[156],TestAlone[227],IsEndLoop[128],IsEndLoop[234],IsEndLoop[236],IsEndLoop[78],TestIdentity[149],TestAlone[25],TestIdentity[9],IsEndLoop[24],TestAlone[235],BeginLoop[97],TestAlone[18],TestAlone[108],IsEndLoop[205],TestAlone[228],TestIdentity[79],BeginLoop[106],TestIdentity[27],IsEndLoop[179],TestAlone[137],TestAlone[276],TestIdentity[205],TestAlone[66],IsEndLoop[247],BeginLoop[275],BeginLoop[130],TestIdentity[117],TestIdentity[135],IsEndLoop[37],IsEndLoop[16],BeginLoop[255],IsEndLoop[65],IsEndLoop[129],IsEndLoop[158],IsEndLoop[115],TestIdentity[199],BeginLoop[218],TestIdentity[106],BeginLoop[27],TestIdentity[218],IsEndLoop[135],BeginLoop[215],IsEndLoop[226],IsEndLoop[88],TestIdentity[257],BeginLoop[45],IsEndLoop[268],TestIdentity[47],TestIdentity[36],BeginLoop[16],IsEndLoop[58],BeginLoop[289],TestIdentity[209],TestAlone[277],BeginLoop[165],IsEndLoop[275],IsEndLoop[177],TestIdentity[7],TestAlone[67],TestIdentity[166],TestIdentity[255],IsEndLoop[255],IsEndLoop[86],IsEndLoop[57],BeginLoop[219],BeginLoop[159],IsEndLoop[45],BeginLoop[148],BeginLoop[226],TestIdentity[148],TestIdentity[45],BeginLoop[36],IsEndLoop[116],IsEndLoop[87],TestIdentity[139],IsEndLoop[165],IsEndLoop[256],BeginLoop[89],IsEndLoop[228],TestIdentity[188],BeginLoop[149],IsEndLoop[46],TestIdentity[96],BeginLoop[86],TestIdentity[237],TestIdentity[8],BeginLoop[9],TestIdentity[128],IsEndLoop[248],BeginLoop[209],IsEndLoop[18],TestIdentity[16],TestIdentity[275],IsEndLoop[38],TestIdentity[198],IsEndLoop[95],TestIdentity[267],BeginLoop[188],TestIdentity[165],TestIdentity[26],BeginLoop[267],BeginLoop[139],TestIdentity[226],IsEndLoop[25],IsEndLoop[178],IsEndLoop[206],BeginLoop[78],BeginLoop[128],IsEndLoop[17],IsEndLoop[185],IsEndLoop[108],IsEndLoop[227],TestIdentity[69],TestIdentity[247],IsEndLoop[276],BeginLoop[198],IsEndLoop[66],BeginLoop[229],IsEndLoop[137],IsEndLoop[235],IsEndLoop[107],BeginLoop[247],BeginLoop[8],BeginLoop[79],BeginLoop[185],TestIdentity[208],TestIdentity[37],TestIdentity[249],IsEndLoop[157],BeginLoop[199],BeginLoop[69],IsEndLoop[277],TestIdentity[138],IsEndLoop[67],TestIdentity[187],TestIdentity[39],BeginLoop[37],BeginLoop[19],BeginLoop[237],TestIdentity[177],TestIdentity[68],TestIdentity[87],BeginLoop[177],TestIdentity[269],TestIdentity[278],BeginLoop[57],TestIdentity[185],TestIdentity[59],IsEndLoop[136],BeginLoop[279],TestIdentity[268],BeginLoop[117],IsEndLoop[207],BeginLoop[268],IsEndLoop[186],TestIdentity[78],BeginLoop[166],TestIdentity[279],TestIdentity[116],BeginLoop[257],BeginLoop[95],TestIdentity[88],TestIdentity[256],BeginLoop[47],TestIdentity[95],TestIdentity[109],TestIdentity[46],TestIdentity[86],TestIdentity[158],TestIdentity[206],TestIdentity[248],BeginLoop[235],TestIdentity[38],TestIdentity[235],TestIdentity[58],BeginLoop[25],TestIdentity[25],BeginLoop[96],BeginLoop[129],TestIdentity[17],BeginLoop[269],BeginLoop[206],TestIdentity[129],BeginLoop[116],BeginLoop[26],TestIdentity[227],BeginLoop[59],TestIdentity[178],BeginLoop[248],BeginLoop[107],BeginLoop[87],BeginLoop[17],BeginLoop[38],TestIdentity[57],BeginLoop[249],TestIdentity[276],TestIdentity[179],BeginLoop[227],TestIdentity[66],BeginLoop[256],TestIdentity[236],BeginLoop[66],BeginLoop[39],BeginLoop[157],BeginLoop[46],TestIdentity[18],TestIdentity[108],BeginLoop[88],BeginLoop[276],BeginLoop[178],BeginLoop[58],TestIdentity[228],BeginLoop[138],TestIdentity[137],BeginLoop[109],BeginLoop[278],BeginLoop[136],BeginLoop[68],BeginLoop[208],TestIdentity[277],TestIdentity[67],BeginLoop[187],BeginLoop[179],BeginLoop[158],TestIdentity[107],BeginLoop[18],BeginLoop[236],BeginLoop[228],BeginLoop[108],TestIdentity[157],BeginLoop[277],BeginLoop[67],BeginLoop[186],BeginLoop[207],BeginLoop[137],TestIdentity[136],TestIdentity[207],TestIdentity[186],
sparsehash FATAL ERROR: failed to allocate 39 groups

--------------------
content from /tmp/BenchKit_head_log_file.1753: