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-7
export BK_EXAMINATION=StateSpace
export BK_TOOL=ITS-Tools
export BK_RESULT_DIR=/tmp
export BK_LOG_FILE=/tmp/BenchKit_head_log_file.1749
export BIN_DIR=/home/mcc/BenchKit/bin
cd /home/mcc/BenchKit/INPUTS/Peterson-COL-7
echo =====================================================================
echo ' Generated by BenchKit 1.0'
echo ' Executing tool ITS-Tools:'
echo ' Test is Peterson-COL-7, 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/7 (Colored)

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

execution on node 29: cluster1u31.lip6.fr (runId=136966894901842_n_29)
=====================================================================
runnning ITS-Tools on Peterson-COL-7 (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-7, examination is StateSpace
=====================================================================

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

START 1370204269
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 1370204715

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

initial cost 1423069
final cost 561151
TestIdentity[65],BeginLoop[65],BeginLoop[73],TestIdentity[73],BeginLoop[57],TestIdentity[57],BeginLoop[9],BeginLoop[289],BeginLoop[401],BeginLoop[177],BeginLoop[345],TestIdentity[105],BeginLoop[233],BeginLoop[105],BeginLoop[121],BeginLoop[409],BeginLoop[297],BeginLoop[241],TestIdentity[81],BeginLoop[81],BeginLoop[185],BeginLoop[129],BeginLoop[353],BeginLoop[337],BeginLoop[393],BeginLoop[17],BeginLoop[169],TestIdentity[97],BeginLoop[281],BeginLoop[97],BeginLoop[113],BeginLoop[1],BeginLoop[225],TestIdentity[89],BeginLoop[89],BeginLoop[385],BeginLoop[441],BeginLoop[329],BeginLoop[161],BeginLoop[217],BeginLoop[273],TestIdentity[9],BeginLoop[49],TestIdentity[289],TestIdentity[401],TestIdentity[345],TestIdentity[177],TestIdentity[233],BeginLoop[249],TestIdentity[121],BeginLoop[417],BeginLoop[305],TestIdentity[409],TestIdentity[241],TestIdentity[297],BeginLoop[193],BeginLoop[361],BeginLoop[137],TestIdentity[185],TestIdentity[17],TestIdentity[353],TestIdentity[129],TestIdentity[337],TestIdentity[393],BeginLoop[209],TestIdentity[1],BeginLoop[377],TestIdentity[169],BeginLoop[321],TestIdentity[281],IsEndLoop[8],BeginLoop[265],TestIdentity[225],TestIdentity[113],BeginLoop[433],IsEndLoop[65],IsEndLoop[64],IsEndLoop[288],BeginLoop[369],IsEndLoop[176],IsEndLoop[400],IsEndLoop[344],TestIdentity[385],IsEndLoop[232],TestIdentity[441],TestIdentity[49],IsEndLoop[120],TestIdentity[329],BeginLoop[201],TestIdentity[161],IsEndLoop[72],TestIdentity[217],BeginLoop[313],TestIdentity[273],IsEndLoop[408],BeginLoop[25],IsEndLoop[56],IsEndLoop[296],IsEndLoop[73],BeginLoop[425],IsEndLoop[240],BeginLoop[153],IsEndLoop[57],IsEndLoop[128],IsEndLoop[184],IsEndLoop[352],BeginLoop[257],IsEndLoop[336],IsEndLoop[392],TestIdentity[249],IsEndLoop[168],IsEndLoop[112],TestIdentity[8],TestIdentity[417],IsEndLoop[280],IsEndLoop[105],IsEndLoop[224],TestIdentity[305],IsEndLoop[104],IsEndLoop[16],BeginLoop[145],TestIdentity[193],TestIdentity[361],IsEndLoop[0],TestIdentity[137],IsEndLoop[384],IsEndLoop[440],BeginLoop[41],IsEndLoop[328],IsEndLoop[160],TestIdentity[377],TestIdentity[209],IsEndLoop[216],TestIdentity[321],IsEndLoop[272],TestIdentity[265],IsEndLoop[81],TestIdentity[25],TestIdentity[433],IsEndLoop[9],IsEndLoop[80],BeginLoop[33],IsEndLoop[289],TestIdentity[369],IsEndLoop[345],IsEndLoop[401],IsEndLoop[233],IsEndLoop[177],TestIdentity[201],IsEndLoop[248],BeginLoop[66],TestIdentity[313],IsEndLoop[97],IsEndLoop[416],IsEndLoop[304],IsEndLoop[48],IsEndLoop[96],TestIdentity[425],IsEndLoop[409],IsEndLoop[89],IsEndLoop[192],IsEndLoop[241],IsEndLoop[136],IsEndLoop[360],IsEndLoop[297],IsEndLoop[121],TestIdentity[153],IsEndLoop[17],TestIdentity[257],IsEndLoop[88],IsEndLoop[353],IsEndLoop[1],IsEndLoop[337],TestIdentity[41],IsEndLoop[393],IsEndLoop[208],IsEndLoop[376],IsEndLoop[185],IsEndLoop[320],IsEndLoop[264],IsEndLoop[281],TestIdentity[145],IsEndLoop[225],BeginLoop[74],IsEndLoop[432],IsEndLoop[169],BeginLoop[58],TestIdentity[33],IsEndLoop[368],IsEndLoop[49],IsEndLoop[129],IsEndLoop[385],BeginLoop[10],IsEndLoop[152],BeginLoop[290],IsEndLoop[200],IsEndLoop[312],IsEndLoop[329],IsEndLoop[441],IsEndLoop[424],BeginLoop[346],IsEndLoop[256],TestIdentity[16],BeginLoop[402],BeginLoop[234],IsEndLoop[273],BeginLoop[106],IsEndLoop[217],IsEndLoop[113],BeginLoop[178],WantSection[2],TestIdentity[0],IsEndLoop[144],BeginLoop[410],IsEndLoop[249],IsEndLoop[161],BeginLoop[242],BeginLoop[298],IsEndLoop[24],IsEndLoop[417],IsEndLoop[25],IsEndLoop[305],BeginLoop[18],IsEndLoop[361],BeginLoop[354],IsEndLoop[193],BeginLoop[2],BeginLoop[122],BeginLoop[338],IsEndLoop[321],WantSection[0],IsEndLoop[377],BeginLoop[394],IsEndLoop[265],IsEndLoop[41],TestAlone[9],BeginLoop[186],TestAlone[289],TestAlone[345],IsEndLoop[433],BeginLoop[282],TestAlone[401],TestAlone[177],BeginLoop[226],TestAlone[233],BeginLoop[82],IsEndLoop[40],IsEndLoop[209],TestAlone[121],IsEndLoop[369],BeginLoop[170],IsEndLoop[313],IsEndLoop[33],IsEndLoop[425],IsEndLoop[257],BeginLoop[50],TestIdentity[344],IsEndLoop[201],TestIdentity[288],IsEndLoop[32],TestIdentity[176],TestIdentity[400],BeginLoop[386],TestAlone[409],TestAlone[241],TestAlone[297],IsEndLoop[137],TestIdentity[64],TestIdentity[232],TestAlone[17],BeginLoop[130],TestIdentity[120],TestAlone[185],TestAlone[353],BeginLoop[330],BeginLoop[98],BeginLoop[442],TestAlone[1],TestAlone[337],TestAlone[129],TestAlone[393],BeginLoop[274],TestAlone[169],TestAlone[281],TestAlone[225],IsEndLoop[153],BeginLoop[218],TestAlone[113],BeginLoop[90],IsEndLoop[145],TestIdentity[48],BeginLoop[250],TestAlone[344],TestAlone[288],TestAlone[176],TestAlone[400],TestAlone[49],TestAlone[64],BeginLoop[114],TestAlone[232],TestAlone[385],BeginLoop[26],TestAlone[120],TestIdentity[407],TestAlone[441],BeginLoop[418],TestAlone[329],BeginLoop[306],TestAlone[161],TestAlone[217],TestAlone[273],BeginLoop[362],BeginLoop[162],BeginLoop[194],BeginLoop[322],TestIdentity[408],TestIdentity[296],BeginLoop[8],BeginLoop[378],BeginLoop[42],TestAlone[65],TestIdentity[240],BeginLoop[266],TestIdentity[128],TestIdentity[184],TestIdentity[72],TestAlone[408],BeginLoop[434],TestAlone[296],TestIdentity[352],TestAlone[249],TestAlone[240],TestAlone[72],TestAlone[128],TestAlone[417],TestAlone[184],TestAlone[8],TestAlone[305],TestAlone[352],BeginLoop[407],TestAlone[193],TestAlone[25],TestIdentity[56],TestAlone[56],TestAlone[361],TestIdentity[336],TestAlone[336],TestIdentity[392],BeginLoop[370],TestAlone[392],BeginLoop[210],TestAlone[137],TestAlone[112],BeginLoop[34],TestIdentity[112],TestAlone[73],TestAlone[377],BeginLoop[314],TestAlone[168],TestAlone[57],TestAlone[265],TestAlone[321],BeginLoop[426],TestAlone[209],BeginLoop[258],TestAlone[224],TestAlone[280],TestAlone[433],TestIdentity[351],TestIdentity[168],BeginLoop[202],TestAlone[369],TestAlone[41],TestAlone[313],TestAlone[201],TestAlone[425],TestIdentity[224],TestAlone[16],TestAlone[257],TestIdentity[280],TestAlone[153],TestIdentity[66],TestAlone[0],BeginLoop[351],TestIdentity[15],TestAlone[33],Idle[1],BeginLoop[344],BeginLoop[288],TestAlone[105],TestAlone[145],BeginLoop[176],BeginLoop[400],TestAlone[104],BeginLoop[64],BeginLoop[232],TestIdentity[10],BeginLoop[120],BeginLoop[138],TestAlone[384],BeginLoop[15],TestIdentity[24],TestIdentity[290],TestAlone[440],TestIdentity[183],TestIdentity[346],TestIdentity[402],TestAlone[328],TestAlone[160],TestIdentity[234],TestIdentity[74],TestIdentity[295],TestIdentity[71],Idle[0],TestAlone[216],TestAlone[48],TestAlone[272],BeginLoop[183],TestIdentity[58],TestIdentity[127],TestIdentity[239],TestIdentity[415],TestIdentity[178],TestIdentity[410],BeginLoop[71],TestIdentity[399],TestIdentity[298],TestIdentity[242],BeginLoop[154],BeginLoop[295],TestIdentity[18],BeginLoop[127],TestAlone[81],TestIdentity[354],BeginLoop[239],TestIdentity[2],BeginLoop[16],BeginLoop[146],TestIdentity[338],TestIdentity[104],TestIdentity[122],BeginLoop[415],TestIdentity[106],TestIdentity[394],TestIdentity[40],TestIdentity[384],BeginLoop[399],TestIdentity[23],IsEndLoop[407],BeginLoop[0],TestIdentity[282],BeginLoop[23],TestAlone[97],TestIdentity[135],TestIdentity[440],TestIdentity[186],TestIdentity[247],TestIdentity[226],TestIdentity[328],BeginLoop[135],TestIdentity[191],TestIdentity[160],TestAlone[89],BeginLoop[247],TestAlone[248],TestAlone[24],BeginLoop[191],TestAlone[416],TestIdentity[303],TestAlone[304],TestIdentity[216],TestIdentity[63],TestIdentity[170],TestAlone[80],TestIdentity[343],TestIdentity[79],TestAlone[136],TestIdentity[272],BeginLoop[63],TestAlone[192],TestIdentity[32],BeginLoop[79],TestIdentity[50],TestAlone[360],TestIdentity[175],BeginLoop[303],TestIdentity[7],BeginLoop[408],TestIdentity[386],BeginLoop[296],BeginLoop[175],CS[1],BeginLoop[240],BeginLoop[7],BeginLoop[343],TestIdentity[231],BeginLoop[184],TestIdentity[119],TestIdentity[130],BeginLoop[128],TestAlone[40],BeginLoop[72],TestIdentity[442],BeginLoop[352],TestIdentity[330],BeginLoop[231],TestIdentity[82],TestIdentity[274],BeginLoop[119],TestAlone[32],BeginLoop[56],TestAlone[376],CS[0],TestIdentity[447],TestAlone[96],TestAlone[208],TestAlone[264],BeginLoop[336],BeginLoop[392],TestIdentity[218],TestIdentity[55],TestAlone[320],BeginLoop[55],TestIdentity[111],TestAlone[432],BeginLoop[447],IsEndLoop[351],BeginLoop[112],TestAlone[152],IsEndLoop[15],BeginLoop[111],EndTurn[50],TestIdentity[250],TestAlone[88],TestAlone[368],EndTurn[43],TestIdentity[98],TestAlone[351],EndTurn[1],EndTurn[36],IsEndLoop[295],TestAlone[256],BeginLoop[168],Turn[8],IsEndLoop[183],TestIdentity[26],EndTurn[22],TestAlone[424],TestAlone[312],TestAlone[15],TestAlone[200],Turn[14],TestIdentity[114],Turn[9],Turn[13],Turn[11],Turn[12],BeginLoop[224],Turn[15],Turn[10],BeginLoop[280],EndTurn[29],TestIdentity[418],EndTurn[8],TestAlone[144],EndTurn[15],TestIdentity[306],IsEndLoop[71],TestIdentity[362],IsEndLoop[239],TestAlone[183],TestIdentity[90],TestAlone[295],IsEndLoop[406],IsEndLoop[127],WantSection[3],TestIdentity[194],TestAlone[71],IsEndLoop[415],AskForSection[7],TestIdentity[322],IsEndLoop[399],TestIdentity[42],TestAlone[127],TestIdentity[378],TestAlone[239],TestIdentity[391],TestIdentity[162],BeginLoop[48],TestIdentity[266],TestIdentity[287],TestIdentity[248],TestIdentity[434],AskForSection[0],TestIdentity[416],IsEndLoop[350],AskForSection[51],TestIdentity[304],AskForSection[2],AskForSection[1],AskForSection[37],BeginLoop[391],IsEndLoop[14],AskForSection[43],AskForSection[44],AskForSection[50],TestIdentity[80],TestIdentity[136],AskForSection[23],TestIdentity[167],TestIdentity[370],AskForSection[8],BeginLoop[287],TestIdentity[192],AskForSection[30],IsEndLoop[182],BeginLoop[167],AskForSection[22],AskForSection[16],AskForSection[9],AskForSection[36],AskForSection[29],TestIdentity[34],IsEndLoop[70],AskForSection[15],TestIdentity[210],TestIdentity[360],TestIdentity[314],WantSection[1],IsEndLoop[126],TestAlone[23],IsEndLoop[238],TestIdentity[258],TestAlone[247],TestIdentity[426],TestAlone[135],IsEndLoop[294],TestAlone[303],TestAlone[191],TestAlone[343],TestAlone[407],TestAlone[79],TestAlone[63],TestIdentity[202],IsEndLoop[414],TestAlone[7],TestIdentity[335],IsEndLoop[22],TestIdentity[223],TestAlone[175],IsEndLoop[134],TestAlone[119],IsEndLoop[398],BeginLoop[335],TestAlone[231],BeginLoop[223],IsEndLoop[190],IsEndLoop[246],TestIdentity[279],BeginLoop[104],IsEndLoop[247],IsEndLoop[343],IsEndLoop[62],IsEndLoop[23],IsEndLoop[7],IsEndLoop[78],IsEndLoop[303],IsEndLoop[135],IsEndLoop[63],IsEndLoop[191],IsEndLoop[79],BeginLoop[279],IsEndLoop[447],TestTurn[43],BeginLoop[384],IsEndLoop[174],IsEndLoop[175],TestTurn[1],IsEndLoop[119],IsEndLoop[6],IsEndLoop[231],TestTurn[36],TestTurn[50],BeginLoop[440],TestTurn[22],TestIdentity[376],IsEndLoop[302],TestIdentity[138],TestTurn[29],BeginLoop[328],BeginLoop[160],IsEndLoop[230],TestAlone[287],TestTurn[8],IsEndLoop[118],TestTurn[15],TestAlone[55],IsEndLoop[287],TestAlone[111],TestIdentity[264],TestIdentity[208],BeginLoop[216],IsEndLoop[342],TestIdentity[96],Turn[16],BeginLoop[272],Turn[21],Turn[23],Turn[19],Turn[20],Turn[22],Turn[18],Turn[17],IsEndLoop[54],TestAlone[415],EndTurn[49],TestIdentity[320],EndTurn[51],IsEndLoop[359],EndTurn[42],EndTurn[0],IsEndLoop[110],TestAlone[399],Turn[0],TestIdentity[432],IsEndLoop[446],EndTurn[7],Turn[1],EndTurn[30],TestAlone[391],EndTurn[2],EndTurn[37],TestIdentity[152],EndTurn[16],EndTurn[23],EndTurn[14],EndTurn[9],EndTurn[21],EndTurn[28],IsEndLoop[111],IsEndLoop[55],Turn[7],EndTurn[44],TestIdentity[350],EndTurn[35],TestIdentity[154],TestIdentity[368],Turn[6],TestIdentity[88],Turn[2],TestAlone[359],TestAlone[167],TestIdentity[256],BeginLoop[24],TestAlone[350],TestIdentity[424],TestIdentity[359],TestIdentity[312],TestIdentity[146],TestIdentity[200],Turn[5],Turn[3],Turn[4],TestAlone[335],TestIdentity[144],IsEndLoop[166],TestAlone[223],IsEndLoop[286],TestIdentity[255],WantSection[14],TestAlone[279],TestAlone[10],TestIdentity[31],TestAlone[290],TestAlone[66],BeginLoop[255],Idle[7],TestAlone[346],IsEndLoop[391],TestAlone[447],AskForSection[49],TestAlone[402],BeginLoop[31],TestAlone[234],TestIdentity[143],TestTurn[51],IsEndLoop[390],TestTurn[30],TestTurn[2],IsEndLoop[222],TestTurn[37],TestTurn[16],BeginLoop[143],TestTurn[23],TestTurn[9],CS[7],IsEndLoop[334],TestTurn[44],TestIdentity[87],IsEndLoop[167],TestIdentity[311],TestTurn[0],IsEndLoop[278],TestTurn[7],TestTurn[42],TestAlone[74],TestAlone[410],BeginLoop[87],TestAlone[178],TestAlone[298],TestTurn[49],TestAlone[242],TestAlone[342],TestAlone[18],BeginLoop[423],EndTurn[6],EndTurn[13],TestAlone[58],TestAlone[354],BeginLoop[311],TestIdentity[423],TestAlone[2],TestTurn[14],IsEndLoop[122],TestAlone[338],TestAlone[406],BeginLoop[359],IsEndLoop[335],TestTurn[21],TestAlone[14],TestAlone[394],TestIdentity[199],TestTurn[28],BeginLoop[40],TestTurn[35],AskForSection[42],TestIdentity[103],TestAlone[182],WantSection[15],TestAlone[282],TestAlone[255],IsEndLoop[223],TestAlone[31],BeginLoop[199],BeginLoop[103],TestAlone[226],BeginLoop[248],IsEndLoop[279],TestAlone[70],BeginLoop[416],TestAlone[186],TestAlone[126],BeginLoop[304],TestAlone[143],TestAlone[238],TestAlone[311],TestIdentity[271],TestAlone[106],TestAlone[87],BeginLoop[136],BeginLoop[80],IsEndLoop[254],BeginLoop[192],TestAlone[170],EndTurn[55],BeginLoop[271],IsEndLoop[30],TestAlone[122],TestAlone[199],TestIdentity[215],BeginLoop[32],TestAlone[50],TestAlone[294],BeginLoop[360],TestAlone[423],TestAlone[390],IsEndLoop[142],TestIdentity[342],IsEndLoop[130],TestAlone[386],BeginLoop[215],TestAlone[414],IsEndLoop[422],IsEndLoop[86],IsEndLoop[423],TestAlone[442],EndTurn[48],TestAlone[22],TestAlone[134],TestAlone[358],CS[6],TestAlone[190],TestAlone[330],AskForSection[14],TestAlone[246],Idle[6],WantSection[12],TestAlone[274],TestAlone[103],TestAlone[78],TestAlone[271],TestAlone[62],TestTurn[6],TestAlone[398],Turn[48],IsEndLoop[310],TestAlone[215],IsEndLoop[198],Turn[52],Turn[51],TestIdentity[383],Turn[53],TestAlone[6],TestAlone[383],Turn[54],AskForSection[52],IsEndLoop[102],TestTurn[13],Turn[50],Turn[49],AskForSection[3],TestAlone[130],TestAlone[174],EndTurn[20],Turn[55],AskForSection[31],TestAlone[218],AskForSection[38],IsEndLoop[255],WantSection[5],TestAlone[118],TestAlone[230],IsEndLoop[31],AskForSection[17],TestAlone[82],AskForSection[24],TestTurn[48],IsEndLoop[270],AskForSection[10],TestAlone[250],TestTurn[55],IsEndLoop[311],TestAlone[26],IsEndLoop[143],AskForSection[45],IsEndLoop[114],IsEndLoop[87],IsEndLoop[199],IsEndLoop[214],TestAlone[114],TestAlone[418],TestAlone[306],TestTurn[20],TestAlone[302],TestAlone[362],TestAlone[263],TestAlone[98],TestAlone[54],TestTurn[41],BeginLoop[376],TestIdentity[263],TestAlone[47],IsEndLoop[358],TestAlone[110],TestTurn[27],TestAlone[194],WantSection[13],TestTurn[34],BeginLoop[383],EndTurn[41],TestAlone[439],TestAlone[378],TestAlone[42],BeginLoop[264],TestAlone[322],BeginLoop[208],TestAlone[266],TestAlone[446],CS[2],TestAlone[90],BeginLoop[96],IsEndLoop[162],BeginLoop[263],TestAlone[375],TestAlone[434],TestAlone[431],EndTurn[27],BeginLoop[320],TestAlone[166],Idle[2],TestAlone[151],TestAlone[95],IsEndLoop[383],TestAlone[370],TestAlone[286],TestIdentity[390],BeginLoop[432],IsEndLoop[271],IsEndLoop[103],EndTurn[34],TestAlone[162],BeginLoop[350],TestAlone[34],TestAlone[159],IsEndLoop[367],BeginLoop[152],IsEndLoop[262],TestAlone[222],TestAlone[327],IsEndLoop[215],TestAlone[258],TestAlone[314],TestAlone[210],TestAlone[426],TestAlone[367],TestAlone[39],TestIdentity[47],TestAlone[278],BeginLoop[368],IsEndLoop[47],TestAlone[382],TestAlone[202],BeginLoop[256],TestAlone[207],BeginLoop[88],TestAlone[319],BeginLoop[424],BeginLoop[312],BeginLoop[200],TestAlone[334],IsEndLoop[46],IsEndLoop[327],IsEndLoop[263],IsEndLoop[159],BeginLoop[144],BeginLoop[47],IsEndLoop[375],TestIdentity[151],AskForSection[6],IsEndLoop[150],AskForSection[48],TestAlone[30],TestAlone[254],AskForSection[13],TestIdentity[95],TestAlone[138],IsEndLoop[95],TestAlone[374],TestIdentity[375],TestTurn[3],IsEndLoop[138],TestIdentity[14],IsEndLoop[151],TestTurn[31],TestAlone[422],IsEndLoop[94],IsEndLoop[382],BeginLoop[151],TestAlone[142],IsEndLoop[39],TestIdentity[406],TestTurn[52],TestTurn[38],AskForSection[34],TestAlone[86],TestTurn[24],AskForSection[27],IsEndLoop[207],IsEndLoop[319],TestTurn[17],TestAlone[366],AskForSection[41],TestIdentity[182],TestTurn[10],AskForSection[20],TestAlone[198],AskForSection[55],BeginLoop[95],Turn[24],WantSection[4],TestTurn[45],BeginLoop[123],AskForSection[35],Turn[28],Turn[31],Turn[29],TestIdentity[70],Turn[26],Turn[27],Turn[25],IsEndLoop[158],Turn[30],TestIdentity[126],TestIdentity[159],EndTurn[52],EndTurn[3],TestAlone[154],TestIdentity[238],EndTurn[31],TestAlone[102],IsEndLoop[38],TestAlone[270],EndTurn[38],IsEndLoop[439],TestAlone[214],EndTurn[24],TestIdentity[327],TestIdentity[39],EndTurn[17],EndTurn[10],TestAlone[146],IsEndLoop[154],TestAlone[310],IsEndLoop[326],EndTurn[45],IsEndLoop[290],BeginLoop[375],IsEndLoop[10],TestIdentity[414],IsEndLoop[206],IsEndLoop[346],BeginLoop[159],TestIdentity[134],BeginLoop[342],TestAlone[262],TestIdentity[22],IsEndLoop[402],IsEndLoop[66],TestAlone[46],IsEndLoop[431],TestIdentity[207],TestIdentity[190],IsEndLoop[146],IsEndLoop[234],TestTurn[47],TestIdentity[246],BeginLoop[39],TestTurn[33],TestIdentity[78],TestTurn[5],IsEndLoop[318],TestTurn[26],BeginLoop[327],TestAlone[94],IsEndLoop[438],BeginLoop[131],TestAlone[150],AskForSection[21],TestTurn[12],IsEndLoop[410],IsEndLoop[374],TestIdentity[319],TestIdentity[62],IsEndLoop[298],TestTurn[40],IsEndLoop[74],TestAlone[158],IsEndLoop[18],TestTurn[54],TestIdentity[294],TestTurn[19],IsEndLoop[242],TestIdentity[398],IsEndLoop[354],TestIdentity[174],TestIdentity[6],IsEndLoop[430],TestTurn[46],BeginLoop[207],IsEndLoop[2],TestTurn[32],TestAlone[38],TestTurn[4],TestAlone[438],IsEndLoop[58],AskForSection[28],TestIdentity[118],TestTurn[39],TestTurn[11],TestIdentity[230],EndTurn[47],IsEndLoop[338],TestTurn[53],TestTurn[25],TestAlone[206],TestTurn[18],EndTurn[33],EndTurn[5],EndTurn[12],EndTurn[26],Turn[40],TestAlone[430],IsEndLoop[394],BeginLoop[319],EndTurn[40],TestAlone[326],TestIdentity[367],Turn[46],Turn[44],EndTurn[19],Turn[43],Turn[41],Turn[47],Turn[45],AskForSection[4],IsEndLoop[282],Turn[42],TestIdentity[54],AskForSection[32],EndTurn[54],BeginLoop[115],AskForSection[53],TestIdentity[358],AskForSection[46],AskForSection[39],TestIdentity[110],AskForSection[11],TestAlone[318],IsEndLoop[226],AskForSection[25],AskForSection[18],TestIdentity[439],BeginLoop[390],TestIdentity[446],IsEndLoop[106],Turn[32],BeginLoop[439],TestIdentity[166],EndTurn[46],EndTurn[32],IsEndLoop[50],Turn[38],Turn[36],Turn[39],Turn[33],Turn[37],Turn[35],Turn[34],EndTurn[4],WantSection[11],AskForSection[47],EndTurn[11],TestIdentity[431],EndTurn[39],TestIdentity[222],AskForSection[33],IsEndLoop[386],EndTurn[25],EndTurn[18],CS[5],AskForSection[5],IsEndLoop[442],EndTurn[53],IsEndLoop[330],AskForSection[12],AskForSection[26],BeginLoop[431],AskForSection[40],IsEndLoop[274],BeginLoop[163],AskForSection[19],BeginLoop[14],AskForSection[54],IsEndLoop[178],BeginLoop[406],TestIdentity[123],TestIdentity[278],IsEndLoop[349],TestIdentity[382],BeginLoop[182],IsEndLoop[26],IsEndLoop[82],IsEndLoop[250],IsEndLoop[366],TestIdentity[302],IsEndLoop[418],TestAlone[293],IsEndLoop[306],BeginLoop[70],BeginLoop[367],WantSection[7],IsEndLoop[362],BeginLoop[126],IsEndLoop[98],TestIdentity[30],IsEndLoop[322],BeginLoop[238],IsEndLoop[42],IsEndLoop[378],TestIdentity[254],BeginLoop[291],TestIdentity[422],IsEndLoop[186],IsEndLoop[90],IsEndLoop[266],TestIdentity[142],BeginLoop[11],IsEndLoop[434],IsEndLoop[170],BeginLoop[414],TestIdentity[86],IsEndLoop[370],BeginLoop[347],BeginLoop[134],BeginLoop[22],IsEndLoop[34],TestIdentity[198],BeginLoop[190],IsEndLoop[314],BeginLoop[403],IsEndLoop[258],IsEndLoop[426],BeginLoop[67],BeginLoop[246],BeginLoop[78],CS[3],TestIdentity[131],TestIdentity[286],BeginLoop[139],BeginLoop[235],TestAlone[349],BeginLoop[62],TestAlone[301],IsEndLoop[218],TestIdentity[102],IsEndLoop[341],Idle[5],TestIdentity[214],BeginLoop[411],WantSection[9],BeginLoop[174],TestIdentity[270],BeginLoop[6],BeginLoop[398],TestIdentity[374],BeginLoop[299],BeginLoop[75],TestIdentity[334],BeginLoop[118],TestAlone[13],TestAlone[285],BeginLoop[19],BeginLoop[230],IsEndLoop[194],TestAlone[405],TestAlone[181],TestIdentity[46],CS[4],TestIdentity[262],TestIdentity[115],TestAlone[69],BeginLoop[355],BeginLoop[243],TestAlone[125],BeginLoop[358],TestAlone[123],BeginLoop[3],BeginLoop[54],TestAlone[341],IsEndLoop[210],TestIdentity[94],TestAlone[237],BeginLoop[110],BeginLoop[59],TestAlone[333],TestAlone[413],IsEndLoop[389],TestIdentity[150],BeginLoop[339],IsEndLoop[13],TestAlone[133],TestIdentity[291],IsEndLoop[202],TestAlone[21],BeginLoop[166],BeginLoop[294],BeginLoop[446],TestIdentity[11],TestAlone[189],TestAlone[77],TestIdentity[158],IsEndLoop[405],IsEndLoop[181],TestAlone[179],TestAlone[11],TestAlone[61],TestAlone[291],BeginLoop[155],BeginLoop[222],TestAlone[5],BeginLoop[395],IsEndLoop[69],TestIdentity[347],TestAlone[347],TestAlone[357],TestAlone[397],IsEndLoop[125],TestAlone[131],TestAlone[245],TestIdentity[438],TestAlone[403],TestIdentity[403],TestAlone[117],TestAlone[173],TestAlone[67],IsEndLoop[237],TestIdentity[67],BeginLoop[283],IsEndLoop[413],TestAlone[389],BeginLoop[382],TestIdentity[163],IsEndLoop[133],IsEndLoop[21],TestIdentity[38],IsEndLoop[189],TestIdentity[235],TestAlone[309],TestAlone[115],IsEndLoop[77],TestAlone[229],TestAlone[235],IsEndLoop[245],BeginLoop[147],IsEndLoop[61],BeginLoop[278],BeginLoop[227],TestIdentity[411],TestAlone[53],TestIdentity[310],TestIdentity[430],TestAlone[411],TestAlone[109],TestIdentity[206],IsEndLoop[5],IsEndLoop[173],IsEndLoop[397],TestAlone[187],TestIdentity[299],TestAlone[445],IsEndLoop[117],Idle[3],TestAlone[299],TestAlone[19],IsEndLoop[357],TestAlone[165],TestIdentity[75],TestAlone[75],BeginLoop[30],TestAlone[325],TestIdentity[19],IsEndLoop[229],BeginLoop[422],TestAlone[221],BeginLoop[107],TestAlone[355],TestAlone[171],BeginLoop[51],BeginLoop[142],TestAlone[317],BeginLoop[254],TestAlone[3],TestIdentity[355],IsEndLoop[53],TestAlone[339],BeginLoop[86],IsEndLoop[109],TestAlone[59],TestAlone[236],TestIdentity[3],TestIdentity[243],TestAlone[243],BeginLoop[198],TestAlone[395],IsEndLoop[165],BeginLoop[387],IsEndLoop[445],TestIdentity[59],TestIdentity[339],TestAlone[163],BeginLoop[374],TestAlone[277],IsEndLoop[221],BeginLoop[443],TestAlone[29],TestAlone[283],TestAlone[421],TestIdentity[139],BeginLoop[331],BeginLoop[214],TestIdentity[326],BeginLoop[102],TestIdentity[395],TestAlone[141],BeginLoop[275],Idle[4],TestAlone[381],TestAlone[85],TestAlone[227],TestAlone[197],TestAlone[244],IsEndLoop[381],BeginLoop[270],TestAlone[219],TestIdentity[283],WantSection[10],IsEndLoop[277],TestIdentity[318],BeginLoop[302],TestAlone[253],BeginLoop[27],TestAlone[228],BeginLoop[46],TestAlone[51],TestIdentity[366],IsEndLoop[29],BeginLoop[251],TestAlone[373],TestAlone[12],BeginLoop[83],IsEndLoop[421],BeginLoop[419],TestAlone[348],BeginLoop[262],TestAlone[107],TestAlone[213],IsEndLoop[141],BeginLoop[307],TestIdentity[227],IsEndLoop[85],BeginLoop[363],TestAlone[124],BeginLoop[94],TestAlone[404],TestAlone[101],IsEndLoop[253],TestAlone[387],TestAlone[139],IsEndLoop[197],TestAlone[365],TestAlone[68],TestAlone[45],TestAlone[180],TestAlone[292],TestAlone[443],IsEndLoop[373],BeginLoop[323],BeginLoop[99],TestAlone[195],BeginLoop[43],BeginLoop[379],IsEndLoop[293],TestAlone[269],BeginLoop[150],TestAlone[331],BeginLoop[91],BeginLoop[158],BeginLoop[267],IsEndLoop[213],BeginLoop[435],TestAlone[93],TestAlone[437],TestIdentity[51],IsEndLoop[101],TestAlone[275],TestAlone[157],BeginLoop[371],TestIdentity[107],BeginLoop[438],TestAlone[276],TestAlone[261],BeginLoop[35],TestIdentity[155],BeginLoop[286],TestAlone[149],IsEndLoop[269],TestAlone[412],BeginLoop[315],TestAlone[37],TestAlone[211],TestAlone[132],IsEndLoop[45],TestAlone[429],BeginLoop[427],BeginLoop[179],BeginLoop[259],TestAlone[205],TestAlone[20],TestIdentity[387],TestAlone[27],BeginLoop[334],TestAlone[203],TestAlone[76],BeginLoop[38],TestAlone[155],IsEndLoop[261],TestAlone[419],IsEndLoop[93],TestAlone[251],TestAlone[252],TestAlone[83],TestIdentity[443],TestAlone[307],TestAlone[340],TestAlone[356],TestAlone[363],BeginLoop[430],TestIdentity[331],TestIdentity[349],TestAlone[60],IsEndLoop[157],TestIdentity[147],BeginLoop[206],TestAlone[300],TestAlone[4],IsEndLoop[437],IsEndLoop[149],TestAlone[116],TestAlone[147],TestAlone[188],TestIdentity[275],TestAlone[396],TestAlone[379],TestAlone[43],TestAlone[323],TestAlone[99],TestAlone[268],TestAlone[435],TestAlone[267],TestIdentity[13],IsEndLoop[37],TestAlone[371],TestAlone[172],TestAlone[91],TestAlone[35],TestIdentity[405],TestAlone[260],IsEndLoop[429],TestAlone[315],BeginLoop[187],TestIdentity[181],TestAlone[259],TestAlone[427],TestIdentity[27],IsEndLoop[205],TestIdentity[69],TestIdentity[125],BeginLoop[171],TestIdentity[251],TestIdentity[419],TestIdentity[83],IsEndLoop[301],IsEndLoop[365],TestIdentity[341],TestIdentity[307],TestAlone[52],TestIdentity[413],TestIdentity[363],TestIdentity[133],TestAlone[108],TestIdentity[21],TestAlone[388],BeginLoop[366],TestAlone[284],BeginLoop[310],TestIdentity[77],TestAlone[444],TestAlone[164],TestIdentity[323],TestIdentity[189],TestIdentity[379],TestIdentity[43],TestIdentity[99],TestIdentity[61],TestAlone[220],TestIdentity[435],TestIdentity[267],TestIdentity[5],TestIdentity[357],TestIdentity[91],BeginLoop[219],TestIdentity[371],TestIdentity[397],TestIdentity[35],TestIdentity[173],TestAlone[332],TestIdentity[117],TestIdentity[315],TestIdentity[427],TestIdentity[259],TestIdentity[389],BeginLoop[326],TestIdentity[237],TestAlone[28],IsEndLoop[285],TestAlone[420],TestAlone[140],TestAlone[84],IsEndLoop[333],TestAlone[196],IsEndLoop[123],BeginLoop[195],BeginLoop[318],TestIdentity[53],TestAlone[364],TestIdentity[109],TestAlone[380],TestAlone[308],IsEndLoop[11],TestIdentity[445],TestIdentity[165],TestIdentity[12],IsEndLoop[347],IsEndLoop[291],TestAlone[372],TestAlone[44],TestIdentity[245],BeginLoop[211],WantSection[6],TestAlone[212],TestAlone[100],IsEndLoop[403],TestIdentity[348],TestAlone[436],TestIdentity[124],TestIdentity[221],TestAlone[156],IsEndLoop[67],TestAlone[92],TestAlone[324],TestAlone[36],IsEndLoop[131],TestAlone[428],TestAlone[148],BeginLoop[203],TestIdentity[404],TestAlone[204],TestIdentity[292],TestIdentity[179],TestAlone[316],IsEndLoop[309],TestIdentity[68],BeginLoop[349],IsEndLoop[411],TestIdentity[229],IsEndLoop[348],IsEndLoop[179],TestIdentity[421],IsEndLoop[12],IsEndLoop[325],IsEndLoop[19],TestIdentity[180],TestIdentity[29],BeginLoop[13],IsEndLoop[299],TestIdentity[293],TestIdentity[381],IsEndLoop[404],IsEndLoop[317],IsEndLoop[75],BeginLoop[405],IsEndLoop[124],IsEndLoop[115],IsEndLoop[180],IsEndLoop[68],TestIdentity[141],TestIdentity[132],BeginLoop[181],BeginLoop[69],BeginLoop[125],IsEndLoop[355],TestIdentity[412],TestIdentity[85],BeginLoop[12],TestIdentity[197],IsEndLoop[339],IsEndLoop[412],BeginLoop[124],BeginLoop[413],IsEndLoop[132],BeginLoop[133],BeginLoop[341],TestIdentity[20],IsEndLoop[20],TestIdentity[373],BeginLoop[348],BeginLoop[21],IsEndLoop[3],IsEndLoop[340],IsEndLoop[59],WantSection[8],IsEndLoop[76],BeginLoop[292],BeginLoop[77],BeginLoop[404],TestIdentity[76],TestIdentity[277],IsEndLoop[395],TestIdentity[213],IsEndLoop[292],IsEndLoop[60],BeginLoop[189],BeginLoop[61],IsEndLoop[188],IsEndLoop[356],BeginLoop[68],TestIdentity[300],TestIdentity[187],IsEndLoop[4],BeginLoop[357],BeginLoop[5],IsEndLoop[396],TestIdentity[356],IsEndLoop[116],IsEndLoop[172],TestIdentity[171],TestIdentity[365],BeginLoop[397],TestIdentity[101],BeginLoop[173],TestIdentity[340],BeginLoop[117],BeginLoop[132],IsEndLoop[235],IsEndLoop[163],BeginLoop[180],IsEndLoop[187],TestIdentity[253],TestIdentity[116],TestIdentity[45],IsEndLoop[283],BeginLoop[389],BeginLoop[412],IsEndLoop[388],IsEndLoop[51],IsEndLoop[52],TestIdentity[60],IsEndLoop[108],IsEndLoop[171],BeginLoop[53],TestIdentity[4],IsEndLoop[243],TestIdentity[93],BeginLoop[109],IsEndLoop[107],BeginLoop[20],IsEndLoop[164],TestIdentity[437],IsEndLoop[444],BeginLoop[293],IsEndLoop[387],TestIdentity[396],IsEndLoop[220],TestIdentity[157],BeginLoop[165],TestIdentity[269],IsEndLoop[443],BeginLoop[445],IsEndLoop[227],BeginLoop[300],IsEndLoop[139],BeginLoop[76],IsEndLoop[331],BeginLoop[221],TestIdentity[219],TestIdentity[149],TestIdentity[188],TestIdentity[429],TestIdentity[37],TestIdentity[261],TestIdentity[205],IsEndLoop[420],IsEndLoop[27],BeginLoop[356],BeginLoop[237],IsEndLoop[419],IsEndLoop[28],TestIdentity[301],IsEndLoop[300],IsEndLoop[275],IsEndLoop[83],IsEndLoop[155],IsEndLoop[380],IsEndLoop[219],IsEndLoop[307],IsEndLoop[363],BeginLoop[116],TestIdentity[172],IsEndLoop[140],BeginLoop[340],IsEndLoop[379],IsEndLoop[43],IsEndLoop[84],IsEndLoop[99],BeginLoop[421],IsEndLoop[323],IsEndLoop[147],IsEndLoop[196],IsEndLoop[435],IsEndLoop[251],IsEndLoop[371],BeginLoop[29],IsEndLoop[91],BeginLoop[381],IsEndLoop[236],IsEndLoop[372],IsEndLoop[35],TestIdentity[52],IsEndLoop[427],TestIdentity[195],BeginLoop[60],IsEndLoop[315],BeginLoop[245],BeginLoop[4],IsEndLoop[267],BeginLoop[141],IsEndLoop[259],IsEndLoop[212],TestIdentity[284],IsEndLoop[364],TestIdentity[108],TestIdentity[164],IsEndLoop[195],TestIdentity[388],BeginLoop[85],BeginLoop[396],IsEndLoop[100],IsEndLoop[244],TestIdentity[444],TestIdentity[211],BeginLoop[197],IsEndLoop[44],BeginLoop[373],IsEndLoop[92],IsEndLoop[284],TestIdentity[220],IsEndLoop[436],IsEndLoop[211],BeginLoop[229],TestIdentity[332],IsEndLoop[228],IsEndLoop[156],TestIdentity[203],IsEndLoop[332],IsEndLoop[428],IsEndLoop[203],IsEndLoop[36],IsEndLoop[148],TestIdentity[28],BeginLoop[188],IsEndLoop[204],TestIdentity[420],TestIdentity[140],BeginLoop[213],TestIdentity[84],IsEndLoop[308],TestIdentity[364],TestIdentity[333],TestIdentity[285],TestIdentity[380],TestIdentity[308],BeginLoop[365],IsEndLoop[324],TestIdentity[44],TestIdentity[196],TestIdentity[372],BeginLoop[172],BeginLoop[301],TestIdentity[100],IsEndLoop[316],BeginLoop[101],TestIdentity[156],IsEndLoop[276],TestIdentity[436],BeginLoop[52],TestIdentity[92],TestIdentity[212],BeginLoop[164],TestIdentity[324],BeginLoop[45],BeginLoop[284],TestIdentity[428],TestIdentity[36],TestIdentity[148],IsEndLoop[252],BeginLoop[277],TestIdentity[316],BeginLoop[108],BeginLoop[93],TestIdentity[204],TestIdentity[309],BeginLoop[388],BeginLoop[437],IsEndLoop[268],TestIdentity[325],BeginLoop[444],BeginLoop[157],IsEndLoop[260],TestIdentity[317],BeginLoop[332],BeginLoop[429],BeginLoop[149],BeginLoop[253],BeginLoop[37],BeginLoop[140],BeginLoop[205],BeginLoop[28],BeginLoop[220],BeginLoop[420],BeginLoop[84],BeginLoop[364],BeginLoop[269],BeginLoop[308],BeginLoop[380],BeginLoop[156],BeginLoop[44],BeginLoop[236],BeginLoop[100],BeginLoop[261],BeginLoop[372],BeginLoop[436],BeginLoop[324],BeginLoop[92],BeginLoop[244],BeginLoop[148],BeginLoop[428],BeginLoop[36],BeginLoop[196],BeginLoop[285],BeginLoop[333],BeginLoop[316],BeginLoop[228],BeginLoop[212],TestIdentity[236],BeginLoop[276],BeginLoop[204],BeginLoop[309],TestIdentity[244],BeginLoop[252],BeginLoop[325],BeginLoop[268],BeginLoop[260],BeginLoop[317],TestIdentity[228],TestIdentity[276],TestIdentity[252],TestIdentity[268],TestIdentity[260],
sparsehash FATAL ERROR: failed to allocate 41 groups

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